WATCH: 0.00 CPU 0.01 WC /CW/home-0/sutcliff/CASC/23/Problems/FNE/FNE063.p 300 sec WATCH: 2.96 CPU 3.02 WC WATCH: 5.96 CPU 6.03 WC WATCH: 8.97 CPU 9.04 WC WATCH: 11.97 CPU 12.05 WC WATCH: 14.98 CPU 15.06 WC WATCH: 17.98 CPU 18.07 WC WATCH: 20.98 CPU 21.08 WC WATCH: 23.99 CPU 24.08 WC WATCH: 27.00 CPU 27.09 WC WATCH: 30.00 CPU 30.10 WC WATCH: 33.00 CPU 33.11 WC WATCH: 36.01 CPU 36.12 WC WATCH: 39.02 CPU 39.13 WC WATCH: 42.01 CPU 42.14 WC WATCH: 45.02 CPU 45.15 WC WATCH: 48.03 CPU 48.16 WC WATCH: 51.03 CPU 51.17 WC WATCH: 54.03 CPU 54.18 WC WATCH: 57.04 CPU 57.19 WC WATCH: 60.05 CPU 60.20 WC WATCH: 63.04 CPU 63.21 WC WATCH: 66.05 CPU 66.22 WC WATCH: 69.05 CPU 69.23 WC WATCH: 72.06 CPU 72.24 WC WATCH: 75.07 CPU 75.25 WC WATCH: 78.07 CPU 78.26 WC WATCH: 81.08 CPU 81.27 WC WATCH: 84.08 CPU 84.28 WC WATCH: 87.08 CPU 87.29 WC WATCH: 90.09 CPU 90.30 WC WATCH: 93.09 CPU 93.31 WC WATCH: 96.10 CPU 96.32 WC WATCH: 99.11 CPU 99.33 WC +++ WATCH: 102.10 CPU 102.34 WC WATCH: 105.11 CPU 105.35 WC WATCH: 108.11 CPU 108.36 WC WATCH: 111.12 CPU 111.37 WC WATCH: 114.12 CPU 114.38 WC WATCH: 117.12 CPU 117.39 WC WATCH: 120.13 CPU 120.40 WC WATCH: 123.14 CPU 123.41 WC WATCH: 126.15 CPU 126.42 WC WATCH: 129.15 CPU 129.44 WC WATCH: 132.16 CPU 132.45 WC WATCH: 135.17 CPU 135.46 WC WATCH: 138.18 CPU 138.48 WC WATCH: 141.19 CPU 141.49 WC WATCH: 144.19 CPU 144.50 WC WATCH: 147.20 CPU 147.52 WC WATCH: 150.21 CPU 150.53 WC WATCH: 153.22 CPU 153.54 WC WATCH: 156.22 CPU 156.56 WC WATCH: 159.23 CPU 159.57 WC WATCH: 162.24 CPU 162.58 WC WATCH: 165.25 CPU 165.60 WC WATCH: 168.26 CPU 168.61 WC WATCH: 171.27 CPU 171.62 WC WATCH: 174.27 CPU 174.63 WC WATCH: 177.28 CPU 177.65 WC WATCH: 180.29 CPU 180.66 WC WATCH: 183.30 CPU 183.67 WC WATCH: 186.31 CPU 186.69 WC WATCH: 189.31 CPU 189.70 WC WATCH: 192.32 CPU 192.71 WC WATCH: 195.32 CPU 195.73 WC WATCH: 198.33 CPU 198.74 WC WATCH: 201.35 CPU 201.75 WC WATCH: 204.35 CPU 204.77 WC WATCH: 207.36 CPU 207.78 WC WATCH: 210.37 CPU 210.79 WC WATCH: 213.37 CPU 213.80 WC WATCH: 216.38 CPU 216.82 WC WATCH: 219.39 CPU 219.83 WC WATCH: 222.39 CPU 222.84 WC WATCH: 225.41 CPU 225.86 WC WATCH: 228.41 CPU 228.87 WC WATCH: 231.43 CPU 231.88 WC WATCH: 234.43 CPU 234.90 WC WATCH: 237.43 CPU 237.91 WC WATCH: 240.45 CPU 240.92 WC WATCH: 243.45 CPU 243.94 WC WATCH: 246.47 CPU 246.95 WC WATCH: 249.47 CPU 249.96 WC WATCH: 252.48 CPU 252.97 WC WATCH: 255.49 CPU 255.99 WC WATCH: 258.49 CPU 259.00 WC WATCH: 261.50 CPU 262.01 WC WATCH: 264.51 CPU 265.03 WC WATCH: 267.51 CPU 268.04 WC WATCH: 270.52 CPU 271.05 WC WATCH: 273.53 CPU 274.07 WC WATCH: 276.54 CPU 277.08 WC WATCH: 279.55 CPU 280.09 WC WATCH: 282.56 CPU 283.11 WC WATCH: 285.56 CPU 286.12 WC WATCH: 288.58 CPU 289.13 WC WATCH: 291.58 CPU 292.14 WC WATCH: 294.59 CPU 295.16 WC WATCH: 297.59 CPU 298.17 WC WATCH: 300.60 CPU 301.18 WC FINAL WATCH: 300.60 CPU 301.30 WC