WATCH: 0.00 CPU 0.01 WC

WATCH: 2.77 CPU 3.02 WC

WATCH: 5.78 CPU 6.03 WC

WATCH: 8.78 CPU 9.05 WC

WATCH: 11.79 CPU 12.06 WC

WATCH: 14.80 CPU 15.07 WC

WATCH: 17.80 CPU 18.09 WC

WATCH: 20.81 CPU 21.10 WC

WATCH: 23.82 CPU 24.11 WC

WATCH: 26.83 CPU 27.12 WC

WATCH: 29.84 CPU 30.14 WC

WATCH: 32.85 CPU 33.15 WC

WATCH: 35.86 CPU 36.16 WC

WATCH: 38.86 CPU 39.18 WC

WATCH: 41.88 CPU 42.19 WC

WATCH: 44.88 CPU 45.20 WC

WATCH: 47.89 CPU 48.22 WC

WATCH: 50.90 CPU 51.23 WC

WATCH: 53.90 CPU 54.24 WC

WATCH: 56.91 CPU 57.26 WC

WATCH: 59.92 CPU 60.27 WC

WATCH: 62.79 CPU 63.28 WC

WATCH: 65.80 CPU 66.29 WC

WATCH: 68.81 CPU 69.30 WC

WATCH: 71.81 CPU 72.31 WC

WATCH: 74.82 CPU 75.32 WC

WATCH: 77.83 CPU 78.33 WC

WATCH: 80.83 CPU 81.34 WC

WATCH: 83.83 CPU 84.35 WC

WATCH: 86.84 CPU 87.36 WC

WATCH: 89.84 CPU 90.37 WC

WATCH: 92.84 CPU 93.38 WC

WATCH: 95.86 CPU 96.39 WC

WATCH: 98.86 CPU 99.40 WC

WATCH: 101.86 CPU 102.41 WC

WATCH: 104.87 CPU 105.42 WC

WATCH: 107.87 CPU 108.43 WC

WATCH: 110.87 CPU 111.44 WC

WATCH: 113.87 CPU 114.45 WC

WATCH: 116.89 CPU 117.46 WC

WATCH: 119.89 CPU 120.47 WC

WATCH: 122.90 CPU 123.48 WC

WATCH: 125.90 CPU 126.49 WC

WATCH: 128.90 CPU 129.50 WC

WATCH: 131.92 CPU 132.51 WC

WATCH: 134.92 CPU 135.53 WC

WATCH: 137.92 CPU 138.54 WC

WATCH: 140.93 CPU 141.55 WC

WATCH: 143.93 CPU 144.56 WC

WATCH: 146.94 CPU 147.57 WC

WATCH: 149.94 CPU 150.58 WC

WATCH: 152.95 CPU 153.59 WC

WATCH: 155.95 CPU 156.60 WC

WATCH: 158.95 CPU 159.60 WC

WATCH: 161.96 CPU 162.61 WC

WATCH: 164.96 CPU 165.62 WC

WATCH: 167.97 CPU 168.63 WC

WATCH: 170.97 CPU 171.64 WC

WATCH: 173.98 CPU 174.65 WC

WATCH: 176.98 CPU 177.66 WC

WATCH: 179.99 CPU 180.67 WC

WATCH: 182.88 CPU 183.69 WC

WATCH: 185.89 CPU 186.70 WC

WATCH: 188.90 CPU 189.71 WC

WATCH: 191.91 CPU 192.73 WC

WATCH: 194.91 CPU 195.74 WC

WATCH: 197.92 CPU 198.75 WC

WATCH: 200.93 CPU 201.76 WC

WATCH: 203.94 CPU 204.77 WC

WATCH: 206.94 CPU 207.78 WC

WATCH: 209.94 CPU 210.79 WC

WATCH: 212.94 CPU 213.80 WC

WATCH: 215.96 CPU 216.81 WC

WATCH: 218.96 CPU 219.82 WC

WATCH: 221.96 CPU 222.83 WC

WATCH: 224.96 CPU 225.84 WC

WATCH: 227.97 CPU 228.85 WC

WATCH: 230.98 CPU 231.86 WC

WATCH: 233.98 CPU 234.87 WC

WATCH: 236.99 CPU 237.88 WC

WATCH: 239.99 CPU 240.89 WC

WATCH: 242.99 CPU 243.90 WC

WATCH: 245.99 CPU 246.91 WC

WATCH: 249.01 CPU 249.92 WC

WATCH: 252.01 CPU 252.93 WC

WATCH: 255.01 CPU 255.94 WC

WATCH: 258.02 CPU 258.95 WC

WATCH: 261.02 CPU 261.96 WC

WATCH: 264.02 CPU 264.97 WC

WATCH: 267.03 CPU 267.98 WC

WATCH: 270.03 CPU 270.99 WC

WATCH: 273.04 CPU 274.00 WC

WATCH: 276.05 CPU 277.01 WC

WATCH: 279.05 CPU 280.02 WC

WATCH: 282.06 CPU 283.03 WC

WATCH: 285.06 CPU 286.04 WC

WATCH: 288.06 CPU 289.05 WC

WATCH: 291.06 CPU 292.06 WC

WATCH: 294.07 CPU 295.07 WC

WATCH: 297.08 CPU 298.08 WC
# SZS output start for /CW/home-0/sutcliff/CASC/23/Problems/FEP/FEP021.p
# SZS status Timeout
# SZS output end for /CW/home-0/sutcliff/CASC/23/Problems/FEP/FEP021.p

WATCH: 299.96 CPU 300.93 WC

FINAL WATCH: 299.96 CPU 300.93 WC