WATCH: 0.00 CPU 0.01 WC

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

WATCH: 5.94 CPU 6.04 WC

WATCH: 8.95 CPU 9.05 WC

WATCH: 11.96 CPU 12.06 WC

WATCH: 14.97 CPU 15.08 WC

WATCH: 17.97 CPU 18.09 WC

WATCH: 20.99 CPU 21.10 WC

WATCH: 23.99 CPU 24.11 WC

WATCH: 27.00 CPU 27.13 WC

WATCH: 30.01 CPU 30.14 WC

WATCH: 33.01 CPU 33.15 WC

WATCH: 36.02 CPU 36.17 WC

WATCH: 39.03 CPU 39.18 WC

WATCH: 42.04 CPU 42.19 WC

WATCH: 45.05 CPU 45.21 WC

WATCH: 48.05 CPU 48.22 WC

WATCH: 51.06 CPU 51.23 WC

WATCH: 54.07 CPU 54.25 WC

WATCH: 57.07 CPU 57.26 WC

WATCH: 60.08 CPU 60.27 WC

WATCH: 63.09 CPU 63.28 WC

WATCH: 66.10 CPU 66.30 WC

WATCH: 69.11 CPU 69.31 WC

WATCH: 72.12 CPU 72.32 WC

WATCH: 75.12 CPU 75.34 WC

WATCH: 78.14 CPU 78.35 WC

WATCH: 81.14 CPU 81.36 WC

WATCH: 84.15 CPU 84.38 WC

WATCH: 87.15 CPU 87.39 WC

WATCH: 90.16 CPU 90.40 WC

WATCH: 93.18 CPU 93.42 WC

WATCH: 96.18 CPU 96.43 WC

WATCH: 99.19 CPU 99.44 WC


WATCH: 102.20 CPU 102.45 WC

WATCH: 105.20 CPU 105.47 WC

WATCH: 108.21 CPU 108.48 WC
+++

WATCH: 111.21 CPU 111.49 WC

WATCH: 114.22 CPU 114.51 WC

WATCH: 117.23 CPU 117.52 WC

WATCH: 120.23 CPU 120.53 WC

WATCH: 123.24 CPU 123.55 WC

WATCH: 126.25 CPU 126.56 WC

WATCH: 129.26 CPU 129.57 WC

WATCH: 132.27 CPU 132.59 WC

WATCH: 135.27 CPU 135.60 WC

WATCH: 138.28 CPU 138.61 WC

WATCH: 141.29 CPU 141.63 WC

WATCH: 144.30 CPU 144.64 WC

WATCH: 147.30 CPU 147.65 WC

WATCH: 150.31 CPU 150.66 WC

WATCH: 153.32 CPU 153.68 WC

WATCH: 156.33 CPU 156.69 WC

WATCH: 159.34 CPU 159.70 WC

WATCH: 162.34 CPU 162.72 WC

WATCH: 165.35 CPU 165.73 WC

WATCH: 168.36 CPU 168.74 WC

WATCH: 171.36 CPU 171.76 WC

WATCH: 174.38 CPU 174.77 WC

WATCH: 177.39 CPU 177.78 WC

WATCH: 180.39 CPU 180.79 WC

WATCH: 183.40 CPU 183.81 WC

WATCH: 186.41 CPU 186.82 WC

WATCH: 189.41 CPU 189.83 WC

WATCH: 192.42 CPU 192.85 WC

WATCH: 195.43 CPU 195.86 WC

WATCH: 198.44 CPU 198.87 WC

WATCH: 201.45 CPU 201.89 WC

WATCH: 204.46 CPU 204.90 WC

WATCH: 207.46 CPU 207.91 WC

WATCH: 210.47 CPU 210.93 WC

WATCH: 213.48 CPU 213.94 WC

WATCH: 216.48 CPU 216.95 WC

WATCH: 219.50 CPU 219.96 WC

WATCH: 222.51 CPU 222.98 WC

WATCH: 225.51 CPU 225.99 WC

WATCH: 228.52 CPU 229.00 WC

WATCH: 231.53 CPU 232.02 WC

WATCH: 234.54 CPU 235.03 WC

WATCH: 237.55 CPU 238.04 WC

WATCH: 240.56 CPU 241.06 WC

WATCH: 243.56 CPU 244.07 WC

WATCH: 246.57 CPU 247.08 WC

WATCH: 249.58 CPU 250.10 WC

WATCH: 252.58 CPU 253.11 WC

WATCH: 255.59 CPU 256.12 WC

WATCH: 258.60 CPU 259.13 WC

WATCH: 261.60 CPU 262.15 WC

WATCH: 264.61 CPU 265.16 WC

WATCH: 267.62 CPU 268.17 WC

WATCH: 270.63 CPU 271.19 WC

WATCH: 273.63 CPU 274.20 WC

WATCH: 276.65 CPU 277.21 WC

WATCH: 279.66 CPU 280.23 WC

WATCH: 282.66 CPU 283.24 WC

WATCH: 285.67 CPU 286.25 WC

WATCH: 288.68 CPU 289.27 WC

WATCH: 291.69 CPU 292.28 WC

WATCH: 294.70 CPU 295.29 WC

WATCH: 297.70 CPU 298.30 WC

WATCH: 300.71 CPU 301.32 WC

FINAL WATCH: 300.71 CPU 301.44 WC