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: 5.99 CPU 6.03 WC

WATCH: 9.00 CPU 9.04 WC

WATCH: 12.01 CPU 12.05 WC

WATCH: 15.01 CPU 15.06 WC

WATCH: 18.01 CPU 18.07 WC

WATCH: 21.02 CPU 21.08 WC

WATCH: 24.02 CPU 24.09 WC

WATCH: 27.02 CPU 27.10 WC

WATCH: 30.03 CPU 30.11 WC

WATCH: 33.03 CPU 33.12 WC

WATCH: 36.04 CPU 36.13 WC

WATCH: 39.05 CPU 39.13 WC

WATCH: 42.05 CPU 42.15 WC

WATCH: 45.06 CPU 45.16 WC

WATCH: 48.06 CPU 48.16 WC

WATCH: 51.07 CPU 51.17 WC

WATCH: 54.07 CPU 54.18 WC

WATCH: 57.08 CPU 57.19 WC

WATCH: 60.08 CPU 60.20 WC

WATCH: 63.09 CPU 63.21 WC

WATCH: 66.09 CPU 66.22 WC

WATCH: 69.09 CPU 69.23 WC

WATCH: 72.10 CPU 72.24 WC

WATCH: 75.10 CPU 75.25 WC

WATCH: 78.10 CPU 78.26 WC

WATCH: 81.11 CPU 81.27 WC

WATCH: 84.11 CPU 84.28 WC

WATCH: 87.11 CPU 87.29 WC

WATCH: 90.12 CPU 90.30 WC

WATCH: 93.12 CPU 93.31 WC

WATCH: 96.13 CPU 96.32 WC

WATCH: 99.13 CPU 99.33 WC

WATCH: 102.13 CPU 102.34 WC

WATCH: 105.14 CPU 105.35 WC

WATCH: 108.14 CPU 108.36 WC

WATCH: 111.14 CPU 111.37 WC

WATCH: 114.15 CPU 114.38 WC

WATCH: 117.15 CPU 117.39 WC

WATCH: 120.16 CPU 120.40 WC

WATCH: 123.16 CPU 123.41 WC

WATCH: 126.17 CPU 126.42 WC

WATCH: 129.17 CPU 129.43 WC

WATCH: 132.18 CPU 132.44 WC

WATCH: 135.18 CPU 135.45 WC

WATCH: 138.19 CPU 138.46 WC

WATCH: 141.19 CPU 141.47 WC

WATCH: 144.20 CPU 144.48 WC

WATCH: 147.20 CPU 147.49 WC

WATCH: 150.20 CPU 150.50 WC

WATCH: 153.21 CPU 153.51 WC

WATCH: 156.21 CPU 156.52 WC

WATCH: 159.21 CPU 159.53 WC

WATCH: 162.22 CPU 162.54 WC

WATCH: 165.22 CPU 165.55 WC

WATCH: 168.23 CPU 168.56 WC

WATCH: 171.23 CPU 171.57 WC

WATCH: 174.23 CPU 174.58 WC

WATCH: 177.24 CPU 177.58 WC

WATCH: 180.24 CPU 180.59 WC

WATCH: 183.25 CPU 183.60 WC

WATCH: 186.25 CPU 186.61 WC

WATCH: 189.25 CPU 189.62 WC

WATCH: 192.26 CPU 192.63 WC

WATCH: 195.26 CPU 195.64 WC

WATCH: 198.27 CPU 198.65 WC

WATCH: 201.27 CPU 201.66 WC

WATCH: 204.27 CPU 204.67 WC

WATCH: 207.27 CPU 207.68 WC

WATCH: 210.28 CPU 210.69 WC

WATCH: 213.28 CPU 213.70 WC

WATCH: 216.29 CPU 216.71 WC

WATCH: 219.29 CPU 219.72 WC

WATCH: 222.30 CPU 222.73 WC

WATCH: 225.30 CPU 225.74 WC

WATCH: 228.30 CPU 228.75 WC

WATCH: 231.31 CPU 231.76 WC

WATCH: 234.31 CPU 234.77 WC

WATCH: 237.32 CPU 237.78 WC

WATCH: 240.32 CPU 240.79 WC

WATCH: 243.32 CPU 243.80 WC

WATCH: 246.33 CPU 246.81 WC

WATCH: 249.33 CPU 249.82 WC

WATCH: 252.34 CPU 252.83 WC

WATCH: 255.34 CPU 255.84 WC

WATCH: 258.34 CPU 258.85 WC

WATCH: 261.35 CPU 261.86 WC

WATCH: 264.35 CPU 264.87 WC

WATCH: 267.36 CPU 267.88 WC

WATCH: 270.36 CPU 270.89 WC

WATCH: 273.36 CPU 273.90 WC

WATCH: 276.37 CPU 276.91 WC

WATCH: 279.37 CPU 279.92 WC

WATCH: 282.38 CPU 282.93 WC

WATCH: 285.38 CPU 285.94 WC

WATCH: 288.39 CPU 288.95 WC

WATCH: 291.39 CPU 291.96 WC

WATCH: 294.39 CPU 294.97 WC

WATCH: 297.40 CPU 297.98 WC

WATCH: 300.40 CPU 300.99 WC

FINAL WATCH: 300.40 CPU 301.10 WC