WATCH: 0.00 CPU 0.01 WC

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

WATCH: 5.94 CPU 6.03 WC

WATCH: 8.95 CPU 9.04 WC

WATCH: 11.95 CPU 12.05 WC

WATCH: 14.95 CPU 15.07 WC

WATCH: 17.96 CPU 18.08 WC

WATCH: 20.97 CPU 21.09 WC

WATCH: 23.98 CPU 24.10 WC

WATCH: 26.99 CPU 27.12 WC

WATCH: 29.99 CPU 30.13 WC

WATCH: 33.00 CPU 33.14 WC

WATCH: 36.01 CPU 36.16 WC

WATCH: 39.02 CPU 39.17 WC

WATCH: 42.02 CPU 42.18 WC

WATCH: 45.03 CPU 45.20 WC

WATCH: 48.04 CPU 48.21 WC

WATCH: 51.05 CPU 51.22 WC

WATCH: 54.05 CPU 54.24 WC

WATCH: 57.06 CPU 57.25 WC

WATCH: 60.07 CPU 60.27 WC

WATCH: 63.08 CPU 63.28 WC

WATCH: 66.08 CPU 66.29 WC

WATCH: 69.09 CPU 69.30 WC

WATCH: 72.09 CPU 72.32 WC

WATCH: 75.10 CPU 75.33 WC

WATCH: 78.11 CPU 78.35 WC

WATCH: 81.12 CPU 81.36 WC

WATCH: 84.13 CPU 84.37 WC

WATCH: 87.14 CPU 87.39 WC

WATCH: 90.15 CPU 90.40 WC

WATCH: 93.15 CPU 93.41 WC

WATCH: 96.16 CPU 96.43 WC

WATCH: 99.17 CPU 99.44 WC






































+++

WATCH: 102.16 CPU 102.45 WC

WATCH: 105.17 CPU 105.47 WC

WATCH: 108.18 CPU 108.48 WC

WATCH: 111.18 CPU 111.49 WC

WATCH: 114.19 CPU 114.50 WC

WATCH: 117.20 CPU 117.52 WC

WATCH: 120.21 CPU 120.53 WC

WATCH: 123.22 CPU 123.54 WC

WATCH: 126.22 CPU 126.56 WC

WATCH: 129.23 CPU 129.57 WC

WATCH: 132.24 CPU 132.58 WC

WATCH: 135.25 CPU 135.60 WC

WATCH: 138.26 CPU 138.61 WC

WATCH: 141.27 CPU 141.62 WC

WATCH: 144.27 CPU 144.64 WC

WATCH: 147.28 CPU 147.65 WC

WATCH: 150.29 CPU 150.66 WC

WATCH: 153.30 CPU 153.68 WC

WATCH: 156.30 CPU 156.69 WC

WATCH: 159.31 CPU 159.70 WC

WATCH: 162.32 CPU 162.71 WC

WATCH: 165.33 CPU 165.73 WC

WATCH: 168.33 CPU 168.74 WC

WATCH: 171.34 CPU 171.75 WC

WATCH: 174.35 CPU 174.77 WC

WATCH: 177.36 CPU 177.78 WC

WATCH: 180.37 CPU 180.79 WC

WATCH: 183.37 CPU 183.81 WC

WATCH: 186.38 CPU 186.82 WC

WATCH: 189.39 CPU 189.83 WC

WATCH: 192.40 CPU 192.85 WC

WATCH: 195.41 CPU 195.86 WC

WATCH: 198.42 CPU 198.87 WC

WATCH: 201.42 CPU 201.88 WC

WATCH: 204.43 CPU 204.90 WC

WATCH: 207.44 CPU 207.91 WC

WATCH: 210.44 CPU 210.92 WC

WATCH: 213.45 CPU 213.94 WC

WATCH: 216.46 CPU 216.95 WC

WATCH: 219.47 CPU 219.96 WC

WATCH: 222.48 CPU 222.98 WC

WATCH: 225.48 CPU 225.99 WC

WATCH: 228.49 CPU 229.00 WC

WATCH: 231.50 CPU 232.02 WC

WATCH: 234.51 CPU 235.03 WC

WATCH: 237.52 CPU 238.04 WC

WATCH: 240.53 CPU 241.06 WC

WATCH: 243.53 CPU 244.07 WC

WATCH: 246.54 CPU 247.08 WC

WATCH: 249.55 CPU 250.09 WC

WATCH: 252.56 CPU 253.11 WC

WATCH: 255.57 CPU 256.12 WC

WATCH: 258.57 CPU 259.13 WC

WATCH: 261.58 CPU 262.15 WC

WATCH: 264.59 CPU 265.16 WC

WATCH: 267.60 CPU 268.17 WC

WATCH: 270.60 CPU 271.19 WC

WATCH: 273.62 CPU 274.20 WC

WATCH: 276.63 CPU 277.21 WC

WATCH: 279.63 CPU 280.23 WC

WATCH: 282.64 CPU 283.24 WC

WATCH: 285.65 CPU 286.25 WC

WATCH: 288.66 CPU 289.26 WC

WATCH: 291.67 CPU 292.28 WC

WATCH: 294.67 CPU 295.29 WC

WATCH: 297.68 CPU 298.30 WC

WATCH: 300.69 CPU 301.32 WC

FINAL WATCH: 300.69 CPU 301.43 WC