WATCH: 0.00 CPU 0.01 WC

/CW/home-0/sutcliff/CASC/23/Problems/FNE/FNE056.p 300 sec 
WATCH: 2.98 CPU 3.02 WC

WATCH: 5.98 CPU 6.03 WC

WATCH: 8.99 CPU 9.04 WC

WATCH: 12.00 CPU 12.05 WC

WATCH: 15.00 CPU 15.06 WC

WATCH: 18.01 CPU 18.07 WC

WATCH: 21.01 CPU 21.08 WC

WATCH: 24.01 CPU 24.09 WC

WATCH: 27.01 CPU 27.10 WC

WATCH: 30.02 CPU 30.11 WC

WATCH: 33.03 CPU 33.12 WC

WATCH: 36.03 CPU 36.13 WC

WATCH: 39.03 CPU 39.14 WC

WATCH: 42.04 CPU 42.14 WC

WATCH: 45.05 CPU 45.15 WC

WATCH: 48.05 CPU 48.16 WC

WATCH: 51.06 CPU 51.17 WC

WATCH: 54.05 CPU 54.18 WC

WATCH: 57.06 CPU 57.19 WC

WATCH: 60.07 CPU 60.20 WC

WATCH: 63.07 CPU 63.21 WC

WATCH: 66.07 CPU 66.22 WC

WATCH: 69.08 CPU 69.23 WC

WATCH: 72.09 CPU 72.24 WC

WATCH: 75.09 CPU 75.25 WC

WATCH: 78.09 CPU 78.26 WC

WATCH: 81.10 CPU 81.27 WC

WATCH: 84.10 CPU 84.28 WC

WATCH: 87.11 CPU 87.29 WC

WATCH: 90.11 CPU 90.30 WC

WATCH: 93.12 CPU 93.31 WC

WATCH: 96.12 CPU 96.32 WC

WATCH: 99.13 CPU 99.33 WC
   

WATCH: 102.13 CPU 102.34 WC

WATCH: 105.13 CPU 105.35 WC

WATCH: 108.13 CPU 108.36 WC

WATCH: 111.14 CPU 111.37 WC
+++

WATCH: 114.14 CPU 114.38 WC

WATCH: 117.14 CPU 117.39 WC

WATCH: 120.15 CPU 120.40 WC

WATCH: 123.15 CPU 123.41 WC

WATCH: 126.15 CPU 126.42 WC

WATCH: 129.16 CPU 129.43 WC

WATCH: 132.16 CPU 132.44 WC

WATCH: 135.16 CPU 135.45 WC

WATCH: 138.17 CPU 138.46 WC

WATCH: 141.17 CPU 141.47 WC

WATCH: 144.17 CPU 144.48 WC

WATCH: 147.18 CPU 147.49 WC

WATCH: 150.18 CPU 150.50 WC

WATCH: 153.19 CPU 153.51 WC

WATCH: 156.19 CPU 156.52 WC

WATCH: 159.19 CPU 159.52 WC

WATCH: 162.20 CPU 162.54 WC

WATCH: 165.20 CPU 165.55 WC

WATCH: 168.20 CPU 168.56 WC

WATCH: 171.22 CPU 171.57 WC

WATCH: 174.22 CPU 174.58 WC

WATCH: 177.22 CPU 177.59 WC

WATCH: 180.22 CPU 180.60 WC

WATCH: 183.23 CPU 183.61 WC

WATCH: 186.23 CPU 186.62 WC

WATCH: 189.24 CPU 189.63 WC

WATCH: 192.25 CPU 192.63 WC

WATCH: 195.25 CPU 195.64 WC

WATCH: 198.25 CPU 198.65 WC

WATCH: 201.26 CPU 201.66 WC

WATCH: 204.27 CPU 204.67 WC

WATCH: 207.26 CPU 207.68 WC

WATCH: 210.27 CPU 210.69 WC

WATCH: 213.27 CPU 213.70 WC

WATCH: 216.28 CPU 216.71 WC

WATCH: 219.29 CPU 219.72 WC

WATCH: 222.29 CPU 222.73 WC

WATCH: 225.29 CPU 225.74 WC

WATCH: 228.30 CPU 228.75 WC

WATCH: 231.30 CPU 231.76 WC

WATCH: 234.30 CPU 234.77 WC

WATCH: 237.32 CPU 237.78 WC

WATCH: 240.32 CPU 240.79 WC

WATCH: 243.32 CPU 243.80 WC

WATCH: 246.32 CPU 246.81 WC

WATCH: 249.34 CPU 249.82 WC

WATCH: 252.34 CPU 252.83 WC

WATCH: 255.35 CPU 255.84 WC

WATCH: 258.34 CPU 258.85 WC

WATCH: 261.35 CPU 261.86 WC

WATCH: 264.35 CPU 264.87 WC

WATCH: 267.35 CPU 267.88 WC

WATCH: 270.36 CPU 270.89 WC

WATCH: 273.37 CPU 273.90 WC

WATCH: 276.37 CPU 276.91 WC

WATCH: 279.37 CPU 279.92 WC

WATCH: 282.38 CPU 282.93 WC

WATCH: 285.38 CPU 285.94 WC

WATCH: 288.39 CPU 288.95 WC

WATCH: 291.40 CPU 291.96 WC

WATCH: 294.40 CPU 294.97 WC

WATCH: 297.41 CPU 297.98 WC

WATCH: 300.41 CPU 300.99 WC
   
FINAL WATCH: 300.41 CPU 301.10 WC