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

WATCH: 3.00 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.01 CPU 15.07 WC

WATCH: 18.02 CPU 18.07 WC

WATCH: 21.02 CPU 21.08 WC

WATCH: 24.02 CPU 24.09 WC

WATCH: 27.04 CPU 27.10 WC

WATCH: 30.04 CPU 30.11 WC

WATCH: 33.04 CPU 33.12 WC

WATCH: 36.05 CPU 36.13 WC

WATCH: 39.05 CPU 39.14 WC

WATCH: 42.06 CPU 42.15 WC

WATCH: 45.06 CPU 45.16 WC

WATCH: 48.07 CPU 48.17 WC

WATCH: 51.07 CPU 51.18 WC

WATCH: 54.07 CPU 54.19 WC

WATCH: 57.07 CPU 57.20 WC

WATCH: 60.08 CPU 60.21 WC

WATCH: 63.08 CPU 63.22 WC

WATCH: 66.09 CPU 66.23 WC

WATCH: 69.09 CPU 69.24 WC

WATCH: 72.10 CPU 72.25 WC

WATCH: 75.10 CPU 75.26 WC

WATCH: 78.11 CPU 78.27 WC

WATCH: 81.12 CPU 81.28 WC

WATCH: 84.13 CPU 84.30 WC

WATCH: 87.13 CPU 87.31 WC

WATCH: 90.14 CPU 90.32 WC

WATCH: 93.14 CPU 93.32 WC

WATCH: 96.15 CPU 96.33 WC

WATCH: 99.15 CPU 99.34 WC

WATCH: 102.16 CPU 102.35 WC

WATCH: 105.15 CPU 105.36 WC

WATCH: 108.16 CPU 108.37 WC

WATCH: 111.16 CPU 111.38 WC

WATCH: 114.17 CPU 114.39 WC

WATCH: 117.17 CPU 117.40 WC

WATCH: 120.18 CPU 120.41 WC

WATCH: 123.18 CPU 123.42 WC

WATCH: 126.19 CPU 126.43 WC

WATCH: 129.19 CPU 129.44 WC

WATCH: 132.20 CPU 132.45 WC

WATCH: 135.20 CPU 135.47 WC

WATCH: 138.21 CPU 138.48 WC

WATCH: 141.22 CPU 141.49 WC

WATCH: 144.22 CPU 144.51 WC

WATCH: 147.24 CPU 147.52 WC

WATCH: 150.24 CPU 150.53 WC

WATCH: 153.25 CPU 153.55 WC

WATCH: 156.25 CPU 156.56 WC

WATCH: 159.26 CPU 159.57 WC

WATCH: 162.27 CPU 162.58 WC

WATCH: 165.27 CPU 165.60 WC

WATCH: 168.28 CPU 168.61 WC

WATCH: 171.28 CPU 171.62 WC

WATCH: 174.29 CPU 174.64 WC

WATCH: 177.30 CPU 177.65 WC

WATCH: 180.31 CPU 180.66 WC

WATCH: 183.32 CPU 183.68 WC

WATCH: 186.33 CPU 186.69 WC

WATCH: 189.33 CPU 189.70 WC

WATCH: 192.34 CPU 192.71 WC

WATCH: 195.35 CPU 195.73 WC

WATCH: 198.35 CPU 198.74 WC

WATCH: 201.36 CPU 201.75 WC

WATCH: 204.37 CPU 204.77 WC

WATCH: 207.37 CPU 207.78 WC

WATCH: 210.38 CPU 210.79 WC

WATCH: 213.39 CPU 213.81 WC

WATCH: 216.40 CPU 216.82 WC

WATCH: 219.41 CPU 219.83 WC

WATCH: 222.41 CPU 222.85 WC

WATCH: 225.42 CPU 225.86 WC

WATCH: 228.43 CPU 228.87 WC

WATCH: 231.43 CPU 231.89 WC

WATCH: 234.44 CPU 234.90 WC

WATCH: 237.44 CPU 237.91 WC

WATCH: 240.45 CPU 240.92 WC

WATCH: 243.47 CPU 243.94 WC

WATCH: 246.47 CPU 246.95 WC

WATCH: 249.48 CPU 249.96 WC

WATCH: 252.48 CPU 252.98 WC

WATCH: 255.49 CPU 255.99 WC

WATCH: 258.50 CPU 259.00 WC

WATCH: 261.51 CPU 262.02 WC

WATCH: 264.51 CPU 265.03 WC

WATCH: 267.51 CPU 268.04 WC

WATCH: 270.52 CPU 271.06 WC

WATCH: 273.53 CPU 274.07 WC

WATCH: 276.54 CPU 277.08 WC

WATCH: 279.55 CPU 280.09 WC

WATCH: 282.55 CPU 283.11 WC

WATCH: 285.57 CPU 286.12 WC

WATCH: 288.58 CPU 289.13 WC

WATCH: 291.59 CPU 292.15 WC

WATCH: 294.60 CPU 295.16 WC

WATCH: 297.60 CPU 298.18 WC

WATCH: 300.61 CPU 301.19 WC

FINAL WATCH: 300.61 CPU 301.30 WC