WATCH: 0.00 CPU 0.01 WC

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

WATCH: 5.97 CPU 6.03 WC

WATCH: 8.99 CPU 9.04 WC

WATCH: 11.99 CPU 12.05 WC

WATCH: 14.99 CPU 15.06 WC

WATCH: 18.00 CPU 18.06 WC

WATCH: 21.00 CPU 21.07 WC

WATCH: 24.01 CPU 24.09 WC

WATCH: 27.02 CPU 27.10 WC

WATCH: 30.02 CPU 30.11 WC

WATCH: 33.02 CPU 33.12 WC

WATCH: 36.04 CPU 36.13 WC

WATCH: 39.04 CPU 39.15 WC

WATCH: 42.06 CPU 42.16 WC

WATCH: 45.06 CPU 45.18 WC

WATCH: 48.07 CPU 48.19 WC

WATCH: 51.07 CPU 51.20 WC

WATCH: 54.07 CPU 54.21 WC

WATCH: 57.09 CPU 57.22 WC

WATCH: 60.09 CPU 60.23 WC

WATCH: 63.09 CPU 63.25 WC

WATCH: 66.11 CPU 66.26 WC

WATCH: 69.12 CPU 69.28 WC

WATCH: 72.13 CPU 72.29 WC

WATCH: 75.13 CPU 75.30 WC

WATCH: 78.14 CPU 78.32 WC

WATCH: 81.15 CPU 81.33 WC

WATCH: 84.16 CPU 84.34 WC

WATCH: 87.16 CPU 87.35 WC

WATCH: 90.16 CPU 90.36 WC

WATCH: 93.17 CPU 93.37 WC

WATCH: 96.17 CPU 96.38 WC

WATCH: 99.17 CPU 99.39 WC


WATCH: 102.17 CPU 102.40 WC

WATCH: 105.18 CPU 105.41 WC

WATCH: 108.18 CPU 108.42 WC
+++

WATCH: 111.19 CPU 111.43 WC

WATCH: 114.19 CPU 114.44 WC

WATCH: 117.20 CPU 117.45 WC

WATCH: 120.21 CPU 120.46 WC

WATCH: 123.21 CPU 123.47 WC

WATCH: 126.21 CPU 126.48 WC

WATCH: 129.22 CPU 129.49 WC

WATCH: 132.23 CPU 132.50 WC

WATCH: 135.23 CPU 135.51 WC

WATCH: 138.24 CPU 138.53 WC

WATCH: 141.24 CPU 141.54 WC

WATCH: 144.25 CPU 144.55 WC

WATCH: 147.26 CPU 147.56 WC

WATCH: 150.26 CPU 150.57 WC

WATCH: 153.27 CPU 153.58 WC

WATCH: 156.28 CPU 156.59 WC

WATCH: 159.28 CPU 159.61 WC

WATCH: 162.29 CPU 162.62 WC

WATCH: 165.29 CPU 165.63 WC

WATCH: 168.29 CPU 168.64 WC

WATCH: 171.31 CPU 171.65 WC

WATCH: 174.31 CPU 174.67 WC

WATCH: 177.33 CPU 177.68 WC

WATCH: 180.33 CPU 180.69 WC

WATCH: 183.34 CPU 183.70 WC

WATCH: 186.35 CPU 186.71 WC

WATCH: 189.35 CPU 189.72 WC

WATCH: 192.35 CPU 192.73 WC

WATCH: 195.36 CPU 195.74 WC

WATCH: 198.37 CPU 198.75 WC

WATCH: 201.37 CPU 201.76 WC

WATCH: 204.37 CPU 204.77 WC

WATCH: 207.37 CPU 207.78 WC

WATCH: 210.38 CPU 210.79 WC

WATCH: 213.39 CPU 213.80 WC

WATCH: 216.39 CPU 216.81 WC

WATCH: 219.39 CPU 219.82 WC

WATCH: 222.39 CPU 222.83 WC

WATCH: 225.39 CPU 225.84 WC

WATCH: 228.40 CPU 228.85 WC

WATCH: 231.40 CPU 231.86 WC

WATCH: 234.41 CPU 234.87 WC

WATCH: 237.41 CPU 237.88 WC

WATCH: 240.41 CPU 240.89 WC

WATCH: 243.41 CPU 243.90 WC

WATCH: 246.42 CPU 246.91 WC

WATCH: 249.43 CPU 249.92 WC

WATCH: 252.42 CPU 252.93 WC

WATCH: 255.43 CPU 255.94 WC

WATCH: 258.43 CPU 258.95 WC

WATCH: 261.43 CPU 261.96 WC

WATCH: 264.44 CPU 264.97 WC

WATCH: 267.44 CPU 267.98 WC

WATCH: 270.45 CPU 270.99 WC

WATCH: 273.45 CPU 274.00 WC

WATCH: 276.45 CPU 277.01 WC

WATCH: 279.46 CPU 280.02 WC

WATCH: 282.46 CPU 283.03 WC

WATCH: 285.47 CPU 286.04 WC

WATCH: 288.48 CPU 289.05 WC

WATCH: 291.48 CPU 292.06 WC

WATCH: 294.49 CPU 295.07 WC

WATCH: 297.50 CPU 298.09 WC

WATCH: 300.51 CPU 301.10 WC

FINAL WATCH: 300.51 CPU 301.22 WC