WATCH: 0.00 CPU 0.01 WC
% Processing file: /CW/home-0/sutcliff/Systems/E-KRHyper---1.2/casc/../casc/config.tme.

WATCH: 2.99 CPU 3.02 WC

WATCH: 6.00 CPU 6.03 WC

WATCH: 9.00 CPU 9.04 WC

WATCH: 12.01 CPU 12.06 WC

WATCH: 15.02 CPU 15.07 WC

WATCH: 18.03 CPU 18.08 WC

WATCH: 21.04 CPU 21.10 WC

WATCH: 24.04 CPU 24.11 WC

WATCH: 27.05 CPU 27.12 WC

WATCH: 30.05 CPU 30.13 WC

WATCH: 33.06 CPU 33.14 WC

WATCH: 36.07 CPU 36.15 WC

WATCH: 39.08 CPU 39.17 WC

WATCH: 42.10 CPU 42.19 WC

WATCH: 45.10 CPU 45.20 WC

WATCH: 48.11 CPU 48.22 WC

WATCH: 51.12 CPU 51.24 WC

WATCH: 54.13 CPU 54.25 WC

WATCH: 57.14 CPU 57.27 WC

WATCH: 60.15 CPU 60.28 WC

WATCH: 63.16 CPU 63.30 WC

WATCH: 66.18 CPU 66.31 WC

WATCH: 69.18 CPU 69.33 WC

WATCH: 72.19 CPU 72.34 WC

WATCH: 75.21 CPU 75.36 WC

WATCH: 78.22 CPU 78.38 WC

WATCH: 81.23 CPU 81.39 WC

WATCH: 84.23 CPU 84.41 WC

WATCH: 87.24 CPU 87.42 WC

WATCH: 90.26 CPU 90.44 WC

WATCH: 93.26 CPU 93.45 WC

WATCH: 96.27 CPU 96.47 WC

WATCH: 99.28 CPU 99.48 WC

WATCH: 102.29 CPU 102.50 WC

WATCH: 105.30 CPU 105.51 WC

WATCH: 108.31 CPU 108.53 WC

WATCH: 111.32 CPU 111.54 WC

WATCH: 114.33 CPU 114.55 WC

WATCH: 117.33 CPU 117.56 WC

WATCH: 120.34 CPU 120.57 WC

WATCH: 123.34 CPU 123.58 WC

WATCH: 126.35 CPU 126.59 WC

WATCH: 129.35 CPU 129.60 WC

WATCH: 132.35 CPU 132.61 WC

WATCH: 135.36 CPU 135.62 WC

WATCH: 138.36 CPU 138.63 WC

WATCH: 141.37 CPU 141.64 WC

WATCH: 144.37 CPU 144.65 WC

WATCH: 147.38 CPU 147.66 WC

WATCH: 150.38 CPU 150.67 WC

WATCH: 153.38 CPU 153.68 WC

WATCH: 156.39 CPU 156.69 WC

WATCH: 159.39 CPU 159.70 WC

WATCH: 162.40 CPU 162.71 WC

WATCH: 165.40 CPU 165.72 WC

WATCH: 168.41 CPU 168.73 WC

WATCH: 171.41 CPU 171.74 WC

WATCH: 174.41 CPU 174.75 WC

WATCH: 177.43 CPU 177.77 WC

WATCH: 180.43 CPU 180.78 WC

WATCH: 183.43 CPU 183.79 WC

WATCH: 186.44 CPU 186.80 WC

WATCH: 189.45 CPU 189.82 WC

WATCH: 192.46 CPU 192.83 WC

WATCH: 195.46 CPU 195.84 WC

WATCH: 198.47 CPU 198.85 WC

WATCH: 201.47 CPU 201.86 WC

WATCH: 204.48 CPU 204.86 WC

WATCH: 207.48 CPU 207.87 WC

WATCH: 210.49 CPU 210.88 WC

WATCH: 213.49 CPU 213.89 WC

WATCH: 216.49 CPU 216.90 WC

WATCH: 219.50 CPU 219.91 WC

WATCH: 222.50 CPU 222.92 WC

WATCH: 225.51 CPU 225.94 WC

WATCH: 228.52 CPU 228.95 WC

WATCH: 231.52 CPU 231.96 WC

WATCH: 234.53 CPU 234.97 WC

WATCH: 237.53 CPU 237.98 WC

WATCH: 240.54 CPU 240.99 WC

WATCH: 243.55 CPU 244.00 WC

WATCH: 246.56 CPU 247.02 WC

WATCH: 249.57 CPU 250.03 WC

WATCH: 252.57 CPU 253.04 WC

WATCH: 255.58 CPU 256.05 WC

WATCH: 258.59 CPU 259.07 WC

WATCH: 261.59 CPU 262.08 WC

WATCH: 264.60 CPU 265.09 WC

WATCH: 267.61 CPU 268.11 WC

WATCH: 270.62 CPU 271.12 WC

WATCH: 273.62 CPU 274.14 WC

WATCH: 276.63 CPU 277.15 WC

WATCH: 279.65 CPU 280.16 WC

WATCH: 282.65 CPU 283.18 WC

WATCH: 285.66 CPU 286.19 WC

WATCH: 288.66 CPU 289.20 WC

WATCH: 291.68 CPU 292.21 WC

WATCH: 294.69 CPU 295.23 WC

WATCH: 297.69 CPU 298.24 WC

WATCH: 300.70 CPU 301.25 WC

FINAL WATCH: 300.70 CPU 301.37 WC