WATCH: 0.00 CPU 0.01 WC

/CW/home-0/sutcliff/CASC/23/Problems/FEP/FEP021.p 300 sec 
WATCH: 2.94 CPU 3.02 WC

WATCH: 5.95 CPU 6.03 WC

WATCH: 8.95 CPU 9.04 WC

WATCH: 11.96 CPU 12.05 WC

WATCH: 14.96 CPU 15.06 WC

WATCH: 17.97 CPU 18.07 WC

WATCH: 20.97 CPU 21.08 WC

WATCH: 23.98 CPU 24.09 WC

WATCH: 26.98 CPU 27.10 WC

WATCH: 29.98 CPU 30.11 WC

WATCH: 32.99 CPU 33.12 WC

WATCH: 35.99 CPU 36.13 WC

WATCH: 39.00 CPU 39.14 WC

WATCH: 42.00 CPU 42.15 WC

WATCH: 45.01 CPU 45.16 WC

WATCH: 48.01 CPU 48.17 WC

WATCH: 51.02 CPU 51.18 WC

WATCH: 54.01 CPU 54.19 WC

WATCH: 57.02 CPU 57.19 WC

WATCH: 60.02 CPU 60.20 WC

WATCH: 63.03 CPU 63.21 WC

WATCH: 66.03 CPU 66.22 WC

WATCH: 69.04 CPU 69.23 WC

WATCH: 72.04 CPU 72.24 WC

WATCH: 75.05 CPU 75.25 WC

WATCH: 78.05 CPU 78.26 WC

WATCH: 81.06 CPU 81.27 WC

WATCH: 84.06 CPU 84.28 WC

WATCH: 87.07 CPU 87.29 WC

WATCH: 90.08 CPU 90.30 WC

WATCH: 93.08 CPU 93.31 WC

WATCH: 96.09 CPU 96.32 WC

WATCH: 99.09 CPU 99.33 WC

+++

WATCH: 102.07 CPU 102.34 WC

WATCH: 105.07 CPU 105.35 WC

WATCH: 108.08 CPU 108.36 WC

WATCH: 111.09 CPU 111.37 WC

WATCH: 114.09 CPU 114.38 WC

WATCH: 117.09 CPU 117.39 WC

WATCH: 120.10 CPU 120.40 WC

WATCH: 123.10 CPU 123.41 WC

WATCH: 126.11 CPU 126.42 WC

WATCH: 129.11 CPU 129.43 WC

WATCH: 132.11 CPU 132.44 WC

WATCH: 135.12 CPU 135.45 WC

WATCH: 138.12 CPU 138.46 WC

WATCH: 141.13 CPU 141.47 WC

WATCH: 144.14 CPU 144.48 WC

WATCH: 147.14 CPU 147.49 WC

WATCH: 150.14 CPU 150.50 WC

WATCH: 153.15 CPU 153.51 WC

WATCH: 156.15 CPU 156.52 WC

WATCH: 159.16 CPU 159.53 WC

WATCH: 162.16 CPU 162.54 WC

WATCH: 165.17 CPU 165.55 WC

WATCH: 168.17 CPU 168.56 WC

WATCH: 171.17 CPU 171.57 WC

WATCH: 174.18 CPU 174.58 WC

WATCH: 177.18 CPU 177.59 WC

WATCH: 180.19 CPU 180.60 WC

WATCH: 183.19 CPU 183.61 WC

WATCH: 186.20 CPU 186.62 WC

WATCH: 189.21 CPU 189.63 WC

WATCH: 192.22 CPU 192.65 WC

WATCH: 195.23 CPU 195.66 WC

WATCH: 198.23 CPU 198.67 WC

WATCH: 201.24 CPU 201.69 WC

WATCH: 204.25 CPU 204.70 WC

WATCH: 207.25 CPU 207.71 WC

WATCH: 210.26 CPU 210.72 WC

WATCH: 213.27 CPU 213.74 WC

WATCH: 216.28 CPU 216.75 WC

WATCH: 219.29 CPU 219.76 WC

WATCH: 222.29 CPU 222.78 WC

WATCH: 225.30 CPU 225.79 WC

WATCH: 228.31 CPU 228.80 WC

WATCH: 231.32 CPU 231.82 WC

WATCH: 234.32 CPU 234.83 WC

WATCH: 237.33 CPU 237.84 WC

WATCH: 240.34 CPU 240.86 WC

WATCH: 243.35 CPU 243.87 WC

WATCH: 246.36 CPU 246.88 WC

WATCH: 249.36 CPU 249.89 WC

WATCH: 252.37 CPU 252.91 WC

WATCH: 255.38 CPU 255.92 WC

WATCH: 258.38 CPU 258.93 WC

WATCH: 261.39 CPU 261.94 WC

WATCH: 264.39 CPU 264.95 WC

WATCH: 267.40 CPU 267.96 WC

WATCH: 270.40 CPU 270.97 WC

WATCH: 273.41 CPU 273.98 WC

WATCH: 276.42 CPU 276.99 WC

WATCH: 279.43 CPU 280.01 WC

WATCH: 282.43 CPU 283.02 WC

WATCH: 285.44 CPU 286.03 WC

WATCH: 288.44 CPU 289.05 WC

WATCH: 291.45 CPU 292.05 WC

WATCH: 294.45 CPU 295.06 WC

WATCH: 297.46 CPU 298.07 WC

WATCH: 300.46 CPU 301.08 WC

FINAL WATCH: 300.46 CPU 301.20 WC