Trace number 3494416

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Haifa-MUC 2011-04-07UNSAT 1048.52 1048.53

General information on the benchmark

Namemus/marques-silva/fpga-routing/
alu2_gr_rcs_w7.shuffled.cnf
MD5SUMd42b5e34cfb164a6f58db1ec2594faf2
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.3361
Satisfiable
(Un)Satisfiability was proved
Number of variables3570
Number of clauses73478
Sum of the clauses size149506
Maximum clause length7
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 272968
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5510

Solver Data 

79.39/79.44	c WARNING: for repeatability, setting FPU to use double precision
79.39/79.44	c iter 1 time 1.04984 not-muc 68803 unknown 4675 muc 0
79.39/79.44	c iter 2 time 1.61475 not-muc 69197 unknown 4281 muc 0
79.39/79.44	c iter 3 time 2.04769 not-muc 69241 unknown 4237 muc 0
79.39/79.44	c iter 4 time 2.52662 not-muc 69778 unknown 3700 muc 0
79.39/79.44	c iter 5 time 2.90256 not-muc 69990 unknown 3488 muc 0
79.39/79.44	c iter 6 time 3.65844 not-muc 70221 unknown 3257 muc 0
79.39/79.44	c iter 7 time 4.56531 not-muc 70470 unknown 3008 muc 0
79.39/79.44	c iter 8 time 6.07508 not-muc 70522 unknown 2956 muc 0
79.39/79.44	c iter 9 time 7.54185 not-muc 70601 unknown 2877 muc 0
79.39/79.44	c iter 10 time 7.59884 not-muc 70601 unknown 2876 muc 1
79.39/79.44	c iter 11 time 8.25474 not-muc 70725 unknown 2752 muc 1
79.39/79.44	c iter 12 time 8.98163 not-muc 70831 unknown 2646 muc 1
79.39/79.44	c iter 13 time 9.70852 not-muc 70883 unknown 2594 muc 1
79.39/79.44	c iter 14 time 10.1195 not-muc 70909 unknown 2568 muc 1
79.39/79.44	c iter 15 time 10.4914 not-muc 70920 unknown 2557 muc 1
79.39/79.44	c iter 16 time 10.5124 not-muc 70920 unknown 2556 muc 2
79.39/79.44	c iter 17 time 11.0883 not-muc 70927 unknown 2549 muc 2
79.39/79.44	c iter 18 time 12.5121 not-muc 70944 unknown 2532 muc 2
79.39/79.44	c iter 19 time 13.9569 not-muc 70969 unknown 2507 muc 2
79.39/79.44	c iter 20 time 15.2157 not-muc 70985 unknown 2491 muc 2
79.39/79.44	c iter 21 time 15.8826 not-muc 70994 unknown 2482 muc 2
79.39/79.44	c iter 22 time 16.8254 not-muc 71046 unknown 2430 muc 2
79.39/79.44	c iter 23 time 18.4532 not-muc 71059 unknown 2417 muc 2
79.39/79.44	c iter 24 time 19.2131 not-muc 71078 unknown 2398 muc 2
79.39/79.44	c iter 25 time 20.049 not-muc 71087 unknown 2389 muc 2
79.39/79.44	c iter 26 time 21.4737 not-muc 71110 unknown 2366 muc 2
79.39/79.44	c iter 27 time 22.9165 not-muc 71121 unknown 2355 muc 2
79.39/79.44	c iter 28 time 24.1513 not-muc 71124 unknown 2352 muc 2
79.39/79.44	c iter 29 time 25.2362 not-muc 71136 unknown 2340 muc 2
79.39/79.44	c iter 30 time 26.051 not-muc 71143 unknown 2333 muc 2
79.39/79.44	c iter 31 time 26.099 not-muc 71143 unknown 2332 muc 3
79.39/79.44	c iter 32 time 26.9549 not-muc 71175 unknown 2300 muc 3
79.39/79.44	c iter 33 time 28.4757 not-muc 71177 unknown 2298 muc 3
79.39/79.44	c iter 34 time 30.7063 not-muc 71179 unknown 2296 muc 3
79.39/79.44	c iter 35 time 31.6452 not-muc 71202 unknown 2273 muc 3
79.39/79.44	c iter 36 time 32.4361 not-muc 71206 unknown 2269 muc 3
79.39/79.44	c iter 37 time 33.9438 not-muc 71209 unknown 2266 muc 3
79.39/79.44	c iter 38 time 35.3146 not-muc 71212 unknown 2263 muc 3
79.39/79.44	c iter 39 time 35.3566 not-muc 71212 unknown 2262 muc 4
79.39/79.44	c iter 40 time 36.7724 not-muc 71213 unknown 2261 muc 4
79.39/79.44	c iter 41 time 38.2692 not-muc 71217 unknown 2257 muc 4
79.39/79.44	c iter 42 time 39.591 not-muc 71218 unknown 2256 muc 4
79.39/79.44	c iter 43 time 41.1957 not-muc 71222 unknown 2252 muc 4
79.39/79.44	c iter 44 time 42.7965 not-muc 71239 unknown 2235 muc 4
79.39/79.44	c iter 45 time 42.8505 not-muc 71239 unknown 2234 muc 5
79.39/79.44	c iter 46 time 44.3763 not-muc 71244 unknown 2229 muc 5
79.39/79.44	c iter 47 time 45.4841 not-muc 71247 unknown 2226 muc 5
79.39/79.44	c iter 48 time 46.9989 not-muc 71255 unknown 2218 muc 5
79.39/79.44	c iter 49 time 48.3636 not-muc 71274 unknown 2199 muc 5
79.39/79.44	c iter 50 time 50.0444 not-muc 71275 unknown 2198 muc 5
79.39/79.44	c iter 51 time 51.5852 not-muc 71283 unknown 2190 muc 5
79.39/79.44	c iter 52 time 53.0019 not-muc 71286 unknown 2187 muc 5
79.39/79.44	c iter 53 time 54.0018 not-muc 71289 unknown 2184 muc 5
79.39/79.44	c iter 54 time 55.2786 not-muc 71291 unknown 2182 muc 5
79.39/79.44	c iter 55 time 56.7944 not-muc 71292 unknown 2181 muc 5
79.39/79.44	c iter 56 time 58.3501 not-muc 71293 unknown 2180 muc 5
79.39/79.44	c iter 57 time 60.1139 not-muc 71295 unknown 2178 muc 5
79.39/79.44	c iter 58 time 61.6226 not-muc 71297 unknown 2176 muc 5
79.39/79.44	c iter 59 time 63.0624 not-muc 71299 unknown 2174 muc 5
79.39/79.44	c iter 60 time 63.0984 not-muc 71299 unknown 2173 muc 6
79.39/79.44	c iter 61 time 64.6722 not-muc 71302 unknown 2170 muc 6
79.39/79.44	c iter 62 time 64.7182 not-muc 71302 unknown 2169 muc 7
79.39/79.44	c iter 63 time 66.1959 not-muc 71303 unknown 2168 muc 7
79.39/79.44	c iter 64 time 66.2569 not-muc 71303 unknown 2167 muc 8
79.39/79.44	c iter 65 time 67.7327 not-muc 71304 unknown 2166 muc 8
79.39/79.44	c iter 66 time 69.3215 not-muc 71305 unknown 2165 muc 8
79.39/79.44	c iter 67 time 70.9242 not-muc 71307 unknown 2163 muc 8
79.39/79.44	c iter 68 time 72.537 not-muc 71310 unknown 2160 muc 8
79.39/79.44	c iter 69 time 74.2997 not-muc 71312 unknown 2158 muc 8
79.39/79.44	c iter 70 time 74.3537 not-muc 71312 unknown 2157 muc 9
79.39/79.44	c iter 71 time 76.0024 not-muc 71314 unknown 2155 muc 9
79.39/79.44	c iter 72 time 77.7762 not-muc 71315 unknown 2154 muc 9
79.39/79.44	c iter 73 time 79.2969 not-muc 71316 unknown 2153 muc 9
156.20/156.28	c iter 74 time 81.7126 not-muc 71317 unknown 2152 muc 9
156.20/156.28	c iter 75 time 83.3013 not-muc 71320 unknown 2149 muc 9
156.20/156.28	c iter 76 time 85.549 not-muc 71321 unknown 2148 muc 9
156.20/156.28	c iter 77 time 87.0818 not-muc 71324 unknown 2145 muc 9
156.20/156.28	c iter 78 time 87.1448 not-muc 71324 unknown 2144 muc 10
156.20/156.28	c iter 79 time 87.7907 not-muc 71338 unknown 2130 muc 10
156.20/156.28	c iter 80 time 89.1994 not-muc 71339 unknown 2129 muc 10
156.20/156.28	c iter 81 time 90.6582 not-muc 71340 unknown 2128 muc 10
156.20/156.28	c iter 82 time 92.179 not-muc 71345 unknown 2123 muc 10
156.20/156.28	c iter 83 time 93.7407 not-muc 71362 unknown 2106 muc 10
156.20/156.28	c iter 84 time 95.3455 not-muc 71363 unknown 2105 muc 10
156.20/156.28	c iter 85 time 95.4095 not-muc 71363 unknown 2104 muc 11
156.20/156.28	c iter 86 time 96.9783 not-muc 71367 unknown 2100 muc 11
156.20/156.28	c iter 87 time 98.392 not-muc 71369 unknown 2098 muc 11
156.20/156.28	c iter 88 time 98.439 not-muc 71369 unknown 2097 muc 12
156.20/156.28	c iter 89 time 98.461 not-muc 71369 unknown 2096 muc 13
156.20/156.28	c iter 90 time 99.8418 not-muc 71373 unknown 2092 muc 13
156.20/156.28	c iter 91 time 99.8958 not-muc 71373 unknown 2091 muc 14
156.20/156.28	c iter 92 time 101.271 not-muc 71377 unknown 2087 muc 14
156.20/156.28	c iter 93 time 101.328 not-muc 71377 unknown 2086 muc 15
156.20/156.28	c iter 94 time 101.341 not-muc 71377 unknown 2085 muc 16
156.20/156.28	c iter 95 time 101.36 not-muc 71377 unknown 2084 muc 17
156.20/156.28	c iter 96 time 101.392 not-muc 71377 unknown 2083 muc 18
156.20/156.28	c iter 97 time 102.948 not-muc 71378 unknown 2082 muc 18
156.20/156.28	c iter 98 time 102.991 not-muc 71378 unknown 2081 muc 19
156.20/156.28	c iter 99 time 104.415 not-muc 71379 unknown 2080 muc 19
156.20/156.28	c iter 100 time 105.082 not-muc 71380 unknown 2079 muc 19
156.20/156.28	c iter 101 time 106.667 not-muc 71381 unknown 2078 muc 19
156.20/156.28	c iter 102 time 108.123 not-muc 71382 unknown 2077 muc 19
156.20/156.28	c iter 103 time 108.188 not-muc 71382 unknown 2076 muc 20
156.20/156.28	c iter 104 time 111.079 not-muc 71383 unknown 2075 muc 20
156.20/156.28	c iter 105 time 112.703 not-muc 71384 unknown 2074 muc 20
156.20/156.28	c iter 106 time 114.122 not-muc 71385 unknown 2073 muc 20
156.20/156.28	c iter 107 time 114.177 not-muc 71385 unknown 2072 muc 21
156.20/156.28	c iter 108 time 114.199 not-muc 71385 unknown 2071 muc 22
156.20/156.28	c iter 109 time 115.579 not-muc 71386 unknown 2070 muc 22
156.20/156.28	c iter 110 time 117.067 not-muc 71390 unknown 2066 muc 22
156.20/156.28	c iter 111 time 118.405 not-muc 71400 unknown 2056 muc 22
156.20/156.28	c iter 112 time 118.465 not-muc 71400 unknown 2055 muc 23
156.20/156.28	c iter 113 time 121.647 not-muc 71401 unknown 2054 muc 23
156.20/156.28	c iter 114 time 122.947 not-muc 71402 unknown 2053 muc 23
156.20/156.28	c iter 115 time 124.511 not-muc 71403 unknown 2052 muc 23
156.20/156.28	c iter 116 time 126.076 not-muc 71404 unknown 2051 muc 23
156.20/156.28	c iter 117 time 127.185 not-muc 71405 unknown 2050 muc 23
156.20/156.28	c iter 118 time 128.58 not-muc 71406 unknown 2049 muc 23
156.20/156.28	c iter 119 time 128.643 not-muc 71406 unknown 2048 muc 24
156.20/156.28	c iter 120 time 130.711 not-muc 71407 unknown 2047 muc 24
156.20/156.28	c iter 121 time 130.786 not-muc 71407 unknown 2046 muc 25
156.20/156.28	c iter 122 time 130.834 not-muc 71407 unknown 2045 muc 26
156.20/156.28	c iter 123 time 132.301 not-muc 71411 unknown 2041 muc 26
156.20/156.28	c iter 124 time 132.381 not-muc 71411 unknown 2040 muc 27
156.20/156.28	c iter 125 time 132.405 not-muc 71411 unknown 2039 muc 28
156.20/156.28	c iter 126 time 133.842 not-muc 71412 unknown 2038 muc 28
156.20/156.28	c iter 127 time 133.906 not-muc 71412 unknown 2037 muc 29
156.20/156.28	c iter 128 time 135.418 not-muc 71413 unknown 2036 muc 29
156.20/156.28	c iter 129 time 137.093 not-muc 71414 unknown 2035 muc 29
156.20/156.28	c iter 130 time 139.68 not-muc 71415 unknown 2034 muc 29
156.20/156.28	c iter 131 time 141.203 not-muc 71416 unknown 2033 muc 29
156.20/156.28	c iter 132 time 141.277 not-muc 71416 unknown 2032 muc 30
156.20/156.28	c iter 133 time 141.29 not-muc 71416 unknown 2031 muc 31
156.20/156.28	c iter 134 time 141.333 not-muc 71416 unknown 2030 muc 32
156.20/156.28	c iter 135 time 142.784 not-muc 71417 unknown 2029 muc 32
156.20/156.28	c iter 136 time 144.262 not-muc 71418 unknown 2028 muc 32
156.20/156.28	c iter 137 time 147.446 not-muc 71419 unknown 2027 muc 32
156.20/156.28	c iter 138 time 148.296 not-muc 71420 unknown 2026 muc 32
156.20/156.28	c iter 139 time 150.438 not-muc 71421 unknown 2025 muc 32
156.20/156.28	c iter 140 time 152.107 not-muc 71422 unknown 2024 muc 32
156.20/156.28	c iter 141 time 155.052 not-muc 71423 unknown 2023 muc 32
156.20/156.28	c iter 142 time 155.124 not-muc 71423 unknown 2022 muc 33
156.20/156.28	c iter 143 time 155.915 not-muc 71424 unknown 2021 muc 33
156.20/156.28	c iter 144 time 156.003 not-muc 71424 unknown 2020 muc 34
233.99/234.07	c iter 145 time 156.031 not-muc 71424 unknown 2019 muc 35
233.99/234.07	c iter 146 time 158.213 not-muc 71427 unknown 2016 muc 35
233.99/234.07	c iter 147 time 158.286 not-muc 71427 unknown 2015 muc 36
233.99/234.07	c iter 148 time 159.826 not-muc 71428 unknown 2014 muc 36
233.99/234.07	c iter 149 time 159.9 not-muc 71428 unknown 2013 muc 37
233.99/234.07	c iter 150 time 161.512 not-muc 71430 unknown 2011 muc 37
233.99/234.07	c iter 151 time 161.573 not-muc 71430 unknown 2010 muc 38
233.99/234.07	c iter 152 time 162.9 not-muc 71432 unknown 2008 muc 38
233.99/234.07	c iter 153 time 166.081 not-muc 71433 unknown 2007 muc 38
233.99/234.07	c iter 154 time 167.667 not-muc 71434 unknown 2006 muc 38
233.99/234.07	c iter 155 time 167.73 not-muc 71434 unknown 2005 muc 39
233.99/234.07	c iter 156 time 169.077 not-muc 71436 unknown 2003 muc 39
233.99/234.07	c iter 157 time 169.141 not-muc 71436 unknown 2002 muc 40
233.99/234.07	c iter 158 time 169.18 not-muc 71436 unknown 2001 muc 41
233.99/234.07	c iter 159 time 171.247 not-muc 71437 unknown 2000 muc 41
233.99/234.07	c iter 160 time 174.355 not-muc 71438 unknown 1999 muc 41
233.99/234.07	c iter 161 time 176.69 not-muc 71439 unknown 1998 muc 41
233.99/234.07	c iter 162 time 178.275 not-muc 71440 unknown 1997 muc 41
233.99/234.07	c iter 163 time 179.717 not-muc 71441 unknown 1996 muc 41
233.99/234.07	c iter 164 time 181.274 not-muc 71442 unknown 1995 muc 41
233.99/234.07	c iter 165 time 182.857 not-muc 71443 unknown 1994 muc 41
233.99/234.07	c iter 166 time 182.924 not-muc 71443 unknown 1993 muc 42
233.99/234.07	c iter 167 time 184.659 not-muc 71446 unknown 1990 muc 42
233.99/234.07	c iter 168 time 187.636 not-muc 71447 unknown 1989 muc 42
233.99/234.07	c iter 169 time 189.249 not-muc 71448 unknown 1988 muc 42
233.99/234.07	c iter 170 time 190.557 not-muc 71450 unknown 1986 muc 42
233.99/234.07	c iter 171 time 192.104 not-muc 71451 unknown 1985 muc 42
233.99/234.07	c iter 172 time 192.18 not-muc 71451 unknown 1984 muc 43
233.99/234.07	c iter 173 time 192.221 not-muc 71451 unknown 1983 muc 44
233.99/234.07	c iter 174 time 193.542 not-muc 71452 unknown 1982 muc 44
233.99/234.07	c iter 175 time 193.617 not-muc 71452 unknown 1981 muc 45
233.99/234.07	c iter 176 time 193.665 not-muc 71452 unknown 1980 muc 46
233.99/234.07	c iter 177 time 195.071 not-muc 71453 unknown 1979 muc 46
233.99/234.07	c iter 178 time 195.141 not-muc 71453 unknown 1978 muc 47
233.99/234.07	c iter 179 time 195.18 not-muc 71453 unknown 1977 muc 48
233.99/234.07	c iter 180 time 196.682 not-muc 71454 unknown 1976 muc 48
233.99/234.07	c iter 181 time 199.557 not-muc 71508 unknown 1922 muc 48
233.99/234.07	c iter 182 time 199.663 not-muc 71508 unknown 1921 muc 49
233.99/234.07	c iter 183 time 199.727 not-muc 71508 unknown 1920 muc 50
233.99/234.07	c iter 184 time 201.238 not-muc 71510 unknown 1918 muc 50
233.99/234.07	c iter 185 time 204.277 not-muc 71511 unknown 1917 muc 50
233.99/234.07	c iter 186 time 205.767 not-muc 71513 unknown 1915 muc 50
233.99/234.07	c iter 187 time 207.411 not-muc 71514 unknown 1914 muc 50
233.99/234.07	c iter 188 time 209.037 not-muc 71515 unknown 1913 muc 50
233.99/234.07	c iter 189 time 210.719 not-muc 71516 unknown 1912 muc 50
233.99/234.07	c iter 190 time 210.797 not-muc 71516 unknown 1911 muc 51
233.99/234.07	c iter 191 time 212.215 not-muc 71517 unknown 1910 muc 51
233.99/234.07	c iter 192 time 212.28 not-muc 71517 unknown 1909 muc 52
233.99/234.07	c iter 193 time 212.317 not-muc 71517 unknown 1908 muc 53
233.99/234.07	c iter 194 time 213.714 not-muc 71518 unknown 1907 muc 53
233.99/234.07	c iter 195 time 215.081 not-muc 71519 unknown 1906 muc 53
233.99/234.07	c iter 196 time 216.661 not-muc 71522 unknown 1903 muc 53
233.99/234.07	c iter 197 time 216.735 not-muc 71522 unknown 1902 muc 54
233.99/234.07	c iter 198 time 218.007 not-muc 71523 unknown 1901 muc 54
233.99/234.07	c iter 199 time 219.347 not-muc 71524 unknown 1900 muc 54
233.99/234.07	c iter 200 time 219.411 not-muc 71524 unknown 1899 muc 55
233.99/234.07	c iter 201 time 221.065 not-muc 71525 unknown 1898 muc 55
233.99/234.07	c iter 202 time 222.551 not-muc 71526 unknown 1897 muc 55
233.99/234.07	c iter 203 time 222.647 not-muc 71526 unknown 1896 muc 56
233.99/234.07	c iter 204 time 224.372 not-muc 71527 unknown 1895 muc 56
233.99/234.07	c iter 205 time 224.441 not-muc 71527 unknown 1894 muc 57
233.99/234.07	c iter 206 time 225.937 not-muc 71528 unknown 1893 muc 57
233.99/234.07	c iter 207 time 227.28 not-muc 71529 unknown 1892 muc 57
233.99/234.07	c iter 208 time 227.366 not-muc 71529 unknown 1891 muc 58
233.99/234.07	c iter 209 time 228.833 not-muc 71530 unknown 1890 muc 58
233.99/234.07	c iter 210 time 228.905 not-muc 71530 unknown 1889 muc 59
233.99/234.07	c iter 211 time 230.655 not-muc 71532 unknown 1887 muc 59
233.99/234.07	c iter 212 time 230.742 not-muc 71532 unknown 1886 muc 60
233.99/234.07	c iter 213 time 230.791 not-muc 71532 unknown 1885 muc 61
233.99/234.07	c iter 214 time 232.133 not-muc 71534 unknown 1883 muc 61
233.99/234.07	c iter 215 time 233.637 not-muc 71535 unknown 1882 muc 61
299.89/299.99	c iter 216 time 235.081 not-muc 71538 unknown 1879 muc 61
299.89/299.99	c iter 217 time 235.164 not-muc 71538 unknown 1878 muc 62
299.89/299.99	c iter 218 time 236.601 not-muc 71539 unknown 1877 muc 62
299.89/299.99	c iter 219 time 238.408 not-muc 71540 unknown 1876 muc 62
299.89/299.99	c iter 220 time 238.478 not-muc 71540 unknown 1875 muc 63
299.89/299.99	c iter 221 time 238.534 not-muc 71540 unknown 1874 muc 64
299.89/299.99	c iter 222 time 238.584 not-muc 71540 unknown 1873 muc 65
299.89/299.99	c iter 223 time 238.626 not-muc 71540 unknown 1872 muc 66
299.89/299.99	c iter 224 time 240.682 not-muc 71541 unknown 1871 muc 66
299.89/299.99	c iter 225 time 240.793 not-muc 71541 unknown 1870 muc 67
299.89/299.99	c iter 226 time 242.934 not-muc 71543 unknown 1868 muc 67
299.89/299.99	c iter 227 time 245.364 not-muc 71544 unknown 1867 muc 67
299.89/299.99	c iter 228 time 245.449 not-muc 71544 unknown 1866 muc 68
299.89/299.99	c iter 229 time 245.494 not-muc 71544 unknown 1865 muc 69
299.89/299.99	c iter 230 time 245.541 not-muc 71544 unknown 1864 muc 70
299.89/299.99	c iter 231 time 247.735 not-muc 71545 unknown 1863 muc 70
299.89/299.99	c iter 232 time 248.596 not-muc 71546 unknown 1862 muc 70
299.89/299.99	c iter 233 time 250.078 not-muc 71547 unknown 1861 muc 70
299.89/299.99	c iter 234 time 253.102 not-muc 71548 unknown 1860 muc 70
299.89/299.99	c iter 235 time 253.179 not-muc 71548 unknown 1859 muc 71
299.89/299.99	c iter 236 time 253.201 not-muc 71548 unknown 1858 muc 72
299.89/299.99	c iter 237 time 254.638 not-muc 71549 unknown 1857 muc 72
299.89/299.99	c iter 238 time 256.158 not-muc 71550 unknown 1856 muc 72
299.89/299.99	c iter 239 time 256.23 not-muc 71550 unknown 1855 muc 73
299.89/299.99	c iter 240 time 257.576 not-muc 71551 unknown 1854 muc 73
299.89/299.99	c iter 241 time 257.69 not-muc 71551 unknown 1853 muc 74
299.89/299.99	c iter 242 time 257.744 not-muc 71551 unknown 1852 muc 75
299.89/299.99	c iter 243 time 259.147 not-muc 71555 unknown 1848 muc 75
299.89/299.99	c iter 244 time 259.22 not-muc 71555 unknown 1847 muc 76
299.89/299.99	c iter 245 time 259.268 not-muc 71555 unknown 1846 muc 77
299.89/299.99	c iter 246 time 260.656 not-muc 71556 unknown 1845 muc 77
299.89/299.99	c iter 247 time 260.749 not-muc 71556 unknown 1844 muc 78
299.89/299.99	c iter 248 time 260.8 not-muc 71556 unknown 1843 muc 79
299.89/299.99	c iter 249 time 260.832 not-muc 71556 unknown 1842 muc 80
299.89/299.99	c iter 250 time 260.876 not-muc 71556 unknown 1841 muc 81
299.89/299.99	c iter 251 time 260.928 not-muc 71556 unknown 1840 muc 82
299.89/299.99	c iter 252 time 260.968 not-muc 71556 unknown 1839 muc 83
299.89/299.99	c iter 253 time 263.755 not-muc 71557 unknown 1838 muc 83
299.89/299.99	c iter 254 time 263.827 not-muc 71557 unknown 1837 muc 84
299.89/299.99	c iter 255 time 265.165 not-muc 71559 unknown 1835 muc 84
299.89/299.99	c iter 256 time 266.57 not-muc 71560 unknown 1834 muc 84
299.89/299.99	c iter 257 time 266.637 not-muc 71560 unknown 1833 muc 85
299.89/299.99	c iter 258 time 268.274 not-muc 71561 unknown 1832 muc 85
299.89/299.99	c iter 259 time 269.715 not-muc 71562 unknown 1831 muc 85
299.89/299.99	c iter 260 time 271.084 not-muc 71563 unknown 1830 muc 85
299.89/299.99	c iter 261 time 271.16 not-muc 71563 unknown 1829 muc 86
299.89/299.99	c iter 262 time 272.564 not-muc 71565 unknown 1827 muc 86
299.89/299.99	c iter 263 time 273.976 not-muc 71566 unknown 1826 muc 86
299.89/299.99	c iter 264 time 275.974 not-muc 71567 unknown 1825 muc 86
299.89/299.99	c iter 265 time 276.059 not-muc 71567 unknown 1824 muc 87
299.89/299.99	c iter 266 time 276.111 not-muc 71567 unknown 1823 muc 88
299.89/299.99	c iter 267 time 276.154 not-muc 71567 unknown 1822 muc 89
299.89/299.99	c iter 268 time 276.19 not-muc 71567 unknown 1821 muc 90
299.89/299.99	c iter 269 time 277.885 not-muc 71568 unknown 1820 muc 90
299.89/299.99	c iter 270 time 279.263 not-muc 71570 unknown 1818 muc 90
299.89/299.99	c iter 271 time 280.922 not-muc 71571 unknown 1817 muc 90
299.89/299.99	c iter 272 time 283.682 not-muc 71572 unknown 1816 muc 90
299.89/299.99	c iter 273 time 285.374 not-muc 71573 unknown 1815 muc 90
299.89/299.99	c iter 274 time 285.453 not-muc 71573 unknown 1814 muc 91
299.89/299.99	c iter 275 time 287.155 not-muc 71574 unknown 1813 muc 91
299.89/299.99	c iter 276 time 289.688 not-muc 71575 unknown 1812 muc 91
299.89/299.99	c iter 277 time 289.797 not-muc 71575 unknown 1811 muc 92
299.89/299.99	c iter 278 time 292.514 not-muc 71576 unknown 1810 muc 92
299.89/299.99	c iter 279 time 293.832 not-muc 71578 unknown 1808 muc 92
299.89/299.99	c iter 280 time 293.903 not-muc 71578 unknown 1807 muc 93
299.89/299.99	c iter 281 time 293.95 not-muc 71578 unknown 1806 muc 94
299.89/299.99	c iter 282 time 293.977 not-muc 71578 unknown 1805 muc 95
299.89/299.99	c iter 283 time 294.03 not-muc 71578 unknown 1804 muc 96
299.89/299.99	c iter 284 time 295.198 not-muc 71579 unknown 1803 muc 96
299.89/299.99	c iter 285 time 297.913 not-muc 71580 unknown 1802 muc 96
299.89/299.99	c iter 286 time 299.446 not-muc 71581 unknown 1801 muc 96
359.10/359.13	c iter 287 time 299.605 not-muc 71581 unknown 1800 muc 97
359.10/359.13	c iter 288 time 299.67 not-muc 71581 unknown 1799 muc 98
359.10/359.13	c iter 289 time 301.009 not-muc 71582 unknown 1798 muc 98
359.10/359.13	c iter 290 time 301.073 not-muc 71582 unknown 1797 muc 99
359.10/359.13	c iter 291 time 302.723 not-muc 71583 unknown 1796 muc 99
359.10/359.13	c iter 292 time 304.102 not-muc 71584 unknown 1795 muc 99
359.10/359.13	c iter 293 time 305.449 not-muc 71586 unknown 1793 muc 99
359.10/359.13	c iter 294 time 306.765 not-muc 71587 unknown 1792 muc 99
359.10/359.13	c iter 295 time 306.805 not-muc 71587 unknown 1791 muc 100
359.10/359.13	c iter 296 time 308.598 not-muc 71588 unknown 1790 muc 100
359.10/359.13	c iter 297 time 309.846 not-muc 71590 unknown 1788 muc 100
359.10/359.13	c iter 298 time 310.762 not-muc 71593 unknown 1785 muc 100
359.10/359.13	c iter 299 time 311.912 not-muc 71594 unknown 1784 muc 100
359.10/359.13	c iter 300 time 311.967 not-muc 71594 unknown 1783 muc 101
359.10/359.13	c iter 301 time 311.996 not-muc 71594 unknown 1782 muc 102
359.10/359.13	c iter 302 time 314.061 not-muc 71596 unknown 1780 muc 102
359.10/359.13	c iter 303 time 315.887 not-muc 71597 unknown 1779 muc 102
359.10/359.13	c iter 304 time 317.167 not-muc 71598 unknown 1778 muc 102
359.10/359.13	c iter 305 time 318.665 not-muc 71600 unknown 1776 muc 102
359.10/359.13	c iter 306 time 318.758 not-muc 71600 unknown 1775 muc 103
359.10/359.13	c iter 307 time 318.819 not-muc 71600 unknown 1774 muc 104
359.10/359.13	c iter 308 time 320.245 not-muc 71601 unknown 1773 muc 104
359.10/359.13	c iter 309 time 320.332 not-muc 71601 unknown 1772 muc 105
359.10/359.13	c iter 310 time 321.659 not-muc 71602 unknown 1771 muc 105
359.10/359.13	c iter 311 time 321.745 not-muc 71602 unknown 1770 muc 106
359.10/359.13	c iter 312 time 324.868 not-muc 71603 unknown 1769 muc 106
359.10/359.13	c iter 313 time 326.375 not-muc 71606 unknown 1766 muc 106
359.10/359.13	c iter 314 time 329.177 not-muc 71607 unknown 1765 muc 106
359.10/359.13	c iter 315 time 329.272 not-muc 71607 unknown 1764 muc 107
359.10/359.13	c iter 316 time 331.983 not-muc 71608 unknown 1763 muc 107
359.10/359.13	c iter 317 time 332.088 not-muc 71608 unknown 1762 muc 108
359.10/359.13	c iter 318 time 332.128 not-muc 71608 unknown 1761 muc 109
359.10/359.13	c iter 319 time 333.523 not-muc 71611 unknown 1758 muc 109
359.10/359.13	c iter 320 time 333.621 not-muc 71611 unknown 1757 muc 110
359.10/359.13	c iter 321 time 333.674 not-muc 71611 unknown 1756 muc 111
359.10/359.13	c iter 322 time 333.707 not-muc 71611 unknown 1755 muc 112
359.10/359.13	c iter 323 time 333.771 not-muc 71611 unknown 1754 muc 113
359.10/359.13	c iter 324 time 333.834 not-muc 71611 unknown 1753 muc 114
359.10/359.13	c iter 325 time 335.905 not-muc 71612 unknown 1752 muc 114
359.10/359.13	c iter 326 time 336.022 not-muc 71612 unknown 1751 muc 115
359.10/359.13	c iter 327 time 336.073 not-muc 71612 unknown 1750 muc 116
359.10/359.13	c iter 328 time 336.114 not-muc 71612 unknown 1749 muc 117
359.10/359.13	c iter 329 time 336.186 not-muc 71612 unknown 1748 muc 118
359.10/359.13	c iter 330 time 336.222 not-muc 71612 unknown 1747 muc 119
359.10/359.13	c iter 331 time 337.744 not-muc 71613 unknown 1746 muc 119
359.10/359.13	c iter 332 time 337.858 not-muc 71613 unknown 1745 muc 120
359.10/359.13	c iter 333 time 340.566 not-muc 71614 unknown 1744 muc 120
359.10/359.13	c iter 334 time 340.676 not-muc 71614 unknown 1743 muc 121
359.10/359.13	c iter 335 time 342.094 not-muc 71615 unknown 1742 muc 121
359.10/359.13	c iter 336 time 343.901 not-muc 71616 unknown 1741 muc 121
359.10/359.13	c iter 337 time 345.635 not-muc 71618 unknown 1739 muc 121
359.10/359.13	c iter 338 time 345.742 not-muc 71618 unknown 1738 muc 122
359.10/359.13	c iter 339 time 345.779 not-muc 71618 unknown 1737 muc 123
359.10/359.13	c iter 340 time 347.317 not-muc 71677 unknown 1678 muc 123
359.10/359.13	c iter 341 time 347.439 not-muc 71677 unknown 1677 muc 124
359.10/359.13	c iter 342 time 347.49 not-muc 71677 unknown 1676 muc 125
359.10/359.13	c iter 343 time 347.536 not-muc 71677 unknown 1675 muc 126
359.10/359.13	c iter 344 time 347.553 not-muc 71677 unknown 1674 muc 127
359.10/359.13	c iter 345 time 347.595 not-muc 71677 unknown 1673 muc 128
359.10/359.13	c iter 346 time 348.991 not-muc 71680 unknown 1670 muc 128
359.10/359.13	c iter 347 time 351.544 not-muc 71681 unknown 1669 muc 128
359.10/359.13	c iter 348 time 352.991 not-muc 71682 unknown 1668 muc 128
359.10/359.13	c iter 349 time 354.905 not-muc 71683 unknown 1667 muc 128
359.10/359.13	c iter 350 time 354.981 not-muc 71683 unknown 1666 muc 129
359.10/359.13	c iter 351 time 356.346 not-muc 71684 unknown 1665 muc 129
359.10/359.13	c iter 352 time 357.662 not-muc 71685 unknown 1664 muc 129
359.10/359.13	c iter 353 time 357.875 not-muc 71685 unknown 1663 muc 130
359.10/359.13	c iter 354 time 358.401 not-muc 71688 unknown 1660 muc 130
359.10/359.13	c iter 355 time 358.484 not-muc 71688 unknown 1659 muc 131
421.20/421.22	c iter 356 time 358.502 not-muc 71688 unknown 1658 muc 132
421.20/421.22	c iter 357 time 358.527 not-muc 71688 unknown 1657 muc 133
421.20/421.22	c iter 358 time 359.885 not-muc 71691 unknown 1654 muc 133
421.20/421.22	c iter 359 time 362.821 not-muc 71692 unknown 1653 muc 133
421.20/421.22	c iter 360 time 365.893 not-muc 71693 unknown 1652 muc 133
421.20/421.22	c iter 361 time 367.743 not-muc 71694 unknown 1651 muc 133
421.20/421.22	c iter 362 time 368.955 not-muc 71696 unknown 1649 muc 133
421.20/421.22	c iter 363 time 369.04 not-muc 71696 unknown 1648 muc 134
421.20/421.22	c iter 364 time 370.55 not-muc 71698 unknown 1646 muc 134
421.20/421.22	c iter 365 time 372.359 not-muc 71699 unknown 1645 muc 134
421.20/421.22	c iter 366 time 372.441 not-muc 71699 unknown 1644 muc 135
421.20/421.22	c iter 367 time 374.1 not-muc 71700 unknown 1643 muc 135
421.20/421.22	c iter 368 time 374.203 not-muc 71700 unknown 1642 muc 136
421.20/421.22	c iter 369 time 374.227 not-muc 71700 unknown 1641 muc 137
421.20/421.22	c iter 370 time 375.941 not-muc 71701 unknown 1640 muc 137
421.20/421.22	c iter 371 time 378.828 not-muc 71703 unknown 1638 muc 137
421.20/421.22	c iter 372 time 378.918 not-muc 71703 unknown 1637 muc 138
421.20/421.22	c iter 373 time 382.106 not-muc 71704 unknown 1636 muc 138
421.20/421.22	c iter 374 time 383.456 not-muc 71706 unknown 1634 muc 138
421.20/421.22	c iter 375 time 384.964 not-muc 71707 unknown 1633 muc 138
421.20/421.22	c iter 376 time 385.035 not-muc 71707 unknown 1632 muc 139
421.20/421.22	c iter 377 time 385.074 not-muc 71707 unknown 1631 muc 140
421.20/421.22	c iter 378 time 385.12 not-muc 71707 unknown 1630 muc 141
421.20/421.22	c iter 379 time 385.162 not-muc 71707 unknown 1629 muc 142
421.20/421.22	c iter 380 time 385.191 not-muc 71707 unknown 1628 muc 143
421.20/421.22	c iter 381 time 385.255 not-muc 71707 unknown 1627 muc 144
421.20/421.22	c iter 382 time 385.317 not-muc 71707 unknown 1626 muc 145
421.20/421.22	c iter 383 time 386.791 not-muc 71708 unknown 1625 muc 145
421.20/421.22	c iter 384 time 386.883 not-muc 71708 unknown 1624 muc 146
421.20/421.22	c iter 385 time 386.928 not-muc 71708 unknown 1623 muc 147
421.20/421.22	c iter 386 time 389.739 not-muc 71709 unknown 1622 muc 147
421.20/421.22	c iter 387 time 392.201 not-muc 71711 unknown 1620 muc 147
421.20/421.22	c iter 388 time 395.037 not-muc 71712 unknown 1619 muc 147
421.20/421.22	c iter 389 time 395.122 not-muc 71712 unknown 1618 muc 148
421.20/421.22	c iter 390 time 395.174 not-muc 71712 unknown 1617 muc 149
421.20/421.22	c iter 391 time 396.435 not-muc 71713 unknown 1616 muc 149
421.20/421.22	c iter 392 time 397.249 not-muc 71715 unknown 1614 muc 149
421.20/421.22	c iter 393 time 398.784 not-muc 71716 unknown 1613 muc 149
421.20/421.22	c iter 394 time 398.876 not-muc 71716 unknown 1612 muc 150
421.20/421.22	c iter 395 time 398.923 not-muc 71716 unknown 1611 muc 151
421.20/421.22	c iter 396 time 400.29 not-muc 71717 unknown 1610 muc 151
421.20/421.22	c iter 397 time 400.405 not-muc 71717 unknown 1609 muc 152
421.20/421.22	c iter 398 time 402.973 not-muc 71718 unknown 1608 muc 152
421.20/421.22	c iter 399 time 403.061 not-muc 71718 unknown 1607 muc 153
421.20/421.22	c iter 400 time 403.142 not-muc 71718 unknown 1606 muc 154
421.20/421.22	c iter 401 time 403.204 not-muc 71718 unknown 1605 muc 155
421.20/421.22	c iter 402 time 404.666 not-muc 71719 unknown 1604 muc 155
421.20/421.22	c iter 403 time 406.052 not-muc 71720 unknown 1603 muc 155
421.20/421.22	c iter 404 time 406.138 not-muc 71720 unknown 1602 muc 156
421.20/421.22	c iter 405 time 406.199 not-muc 71720 unknown 1601 muc 157
421.20/421.22	c iter 406 time 406.255 not-muc 71720 unknown 1600 muc 158
421.20/421.22	c iter 407 time 408.875 not-muc 71721 unknown 1599 muc 158
421.20/421.22	c iter 408 time 410.31 not-muc 71722 unknown 1598 muc 158
421.20/421.22	c iter 409 time 410.401 not-muc 71722 unknown 1597 muc 159
421.20/421.22	c iter 410 time 410.47 not-muc 71722 unknown 1596 muc 160
421.20/421.22	c iter 411 time 410.534 not-muc 71722 unknown 1595 muc 161
421.20/421.22	c iter 412 time 412.486 not-muc 71726 unknown 1591 muc 161
421.20/421.22	c iter 413 time 414.595 not-muc 71728 unknown 1589 muc 161
421.20/421.22	c iter 414 time 414.69 not-muc 71728 unknown 1588 muc 162
421.20/421.22	c iter 415 time 414.758 not-muc 71728 unknown 1587 muc 163
421.20/421.22	c iter 416 time 417.488 not-muc 71731 unknown 1584 muc 163
421.20/421.22	c iter 417 time 418.835 not-muc 71732 unknown 1583 muc 163
421.20/421.22	c iter 418 time 418.934 not-muc 71732 unknown 1582 muc 164
421.20/421.22	c iter 419 time 418.965 not-muc 71732 unknown 1581 muc 165
421.20/421.22	c iter 420 time 419.009 not-muc 71732 unknown 1580 muc 166
421.20/421.22	c iter 421 time 419.045 not-muc 71732 unknown 1579 muc 167
421.20/421.22	c iter 422 time 419.105 not-muc 71732 unknown 1578 muc 168
421.20/421.22	c iter 423 time 419.166 not-muc 71732 unknown 1577 muc 169
421.20/421.22	c iter 424 time 420.38 not-muc 71736 unknown 1573 muc 169
421.20/421.22	c iter 425 time 420.47 not-muc 71736 unknown 1572 muc 170
472.90/472.92	c iter 426 time 420.497 not-muc 71736 unknown 1571 muc 171
472.90/472.92	c iter 427 time 420.531 not-muc 71736 unknown 1570 muc 172
472.90/472.92	c iter 428 time 421.639 not-muc 71740 unknown 1566 muc 172
472.90/472.92	c iter 429 time 421.746 not-muc 71740 unknown 1565 muc 173
472.90/472.92	c iter 430 time 423.125 not-muc 71741 unknown 1564 muc 173
472.90/472.92	c iter 431 time 423.215 not-muc 71741 unknown 1563 muc 174
472.90/472.92	c iter 432 time 423.254 not-muc 71741 unknown 1562 muc 175
472.90/472.92	c iter 433 time 424.528 not-muc 71744 unknown 1559 muc 175
472.90/472.92	c iter 434 time 426.045 not-muc 71745 unknown 1558 muc 175
472.90/472.92	c iter 435 time 426.191 not-muc 71745 unknown 1557 muc 176
472.90/472.92	c iter 436 time 426.245 not-muc 71745 unknown 1556 muc 177
472.90/472.92	c iter 437 time 426.288 not-muc 71745 unknown 1555 muc 178
472.90/472.92	c iter 438 time 426.346 not-muc 71745 unknown 1554 muc 179
472.90/472.92	c iter 439 time 427.67 not-muc 71746 unknown 1553 muc 179
472.90/472.92	c iter 440 time 429.628 not-muc 71749 unknown 1550 muc 179
472.90/472.92	c iter 441 time 431.559 not-muc 71751 unknown 1548 muc 179
472.90/472.92	c iter 442 time 431.649 not-muc 71751 unknown 1547 muc 180
472.90/472.92	c iter 443 time 434.337 not-muc 71752 unknown 1546 muc 180
472.90/472.92	c iter 444 time 434.441 not-muc 71752 unknown 1545 muc 181
472.90/472.92	c iter 445 time 434.483 not-muc 71752 unknown 1544 muc 182
472.90/472.92	c iter 446 time 434.539 not-muc 71752 unknown 1543 muc 183
472.90/472.92	c iter 447 time 435.735 not-muc 71755 unknown 1540 muc 183
472.90/472.92	c iter 448 time 435.826 not-muc 71755 unknown 1539 muc 184
472.90/472.92	c iter 449 time 437.063 not-muc 71757 unknown 1537 muc 184
472.90/472.92	c iter 450 time 437.181 not-muc 71757 unknown 1536 muc 185
472.90/472.92	c iter 451 time 437.269 not-muc 71757 unknown 1535 muc 186
472.90/472.92	c iter 452 time 438.455 not-muc 71758 unknown 1534 muc 186
472.90/472.92	c iter 453 time 439.805 not-muc 71759 unknown 1533 muc 186
472.90/472.92	c iter 454 time 439.915 not-muc 71759 unknown 1532 muc 187
472.90/472.92	c iter 455 time 439.973 not-muc 71759 unknown 1531 muc 188
472.90/472.92	c iter 456 time 442.462 not-muc 71760 unknown 1530 muc 188
472.90/472.92	c iter 457 time 442.543 not-muc 71760 unknown 1529 muc 189
472.90/472.92	c iter 458 time 442.595 not-muc 71760 unknown 1528 muc 190
472.90/472.92	c iter 459 time 442.65 not-muc 71760 unknown 1527 muc 191
472.90/472.92	c iter 460 time 443.925 not-muc 71763 unknown 1524 muc 191
472.90/472.92	c iter 461 time 445.21 not-muc 71764 unknown 1523 muc 191
472.90/472.92	c iter 462 time 446.502 not-muc 71766 unknown 1521 muc 191
472.90/472.92	c iter 463 time 446.598 not-muc 71766 unknown 1520 muc 192
472.90/472.92	c iter 464 time 446.634 not-muc 71766 unknown 1519 muc 193
472.90/472.92	c iter 465 time 446.692 not-muc 71766 unknown 1518 muc 194
472.90/472.92	c iter 466 time 448.219 not-muc 71767 unknown 1517 muc 194
472.90/472.92	c iter 467 time 448.305 not-muc 71767 unknown 1516 muc 195
472.90/472.92	c iter 468 time 448.369 not-muc 71767 unknown 1515 muc 196
472.90/472.92	c iter 469 time 450.066 not-muc 71768 unknown 1514 muc 196
472.90/472.92	c iter 470 time 450.184 not-muc 71768 unknown 1513 muc 197
472.90/472.92	c iter 471 time 450.25 not-muc 71768 unknown 1512 muc 198
472.90/472.92	c iter 472 time 451.664 not-muc 71769 unknown 1511 muc 198
472.90/472.92	c iter 473 time 453.307 not-muc 71770 unknown 1510 muc 198
472.90/472.92	c iter 474 time 454.749 not-muc 71772 unknown 1508 muc 198
472.90/472.92	c iter 475 time 454.829 not-muc 71772 unknown 1507 muc 199
472.90/472.92	c iter 476 time 454.898 not-muc 71772 unknown 1506 muc 200
472.90/472.92	c iter 477 time 456.232 not-muc 71774 unknown 1504 muc 200
472.90/472.92	c iter 478 time 456.342 not-muc 71774 unknown 1503 muc 201
472.90/472.92	c iter 479 time 456.41 not-muc 71774 unknown 1502 muc 202
472.90/472.92	c iter 480 time 456.461 not-muc 71774 unknown 1501 muc 203
472.90/472.92	c iter 481 time 458.021 not-muc 71776 unknown 1499 muc 203
472.90/472.92	c iter 482 time 458.116 not-muc 71776 unknown 1498 muc 204
472.90/472.92	c iter 483 time 460.317 not-muc 71777 unknown 1497 muc 204
472.90/472.92	c iter 484 time 462.897 not-muc 71778 unknown 1496 muc 204
472.90/472.92	c iter 485 time 464.044 not-muc 71780 unknown 1494 muc 204
472.90/472.92	c iter 486 time 465.577 not-muc 71782 unknown 1492 muc 204
472.90/472.92	c iter 487 time 465.66 not-muc 71782 unknown 1491 muc 205
472.90/472.92	c iter 488 time 465.723 not-muc 71782 unknown 1490 muc 206
472.90/472.92	c iter 489 time 465.794 not-muc 71782 unknown 1489 muc 207
472.90/472.92	c iter 490 time 466.067 not-muc 71782 unknown 1488 muc 208
472.90/472.92	c iter 491 time 468.056 not-muc 71783 unknown 1487 muc 208
472.90/472.92	c iter 492 time 468.169 not-muc 71783 unknown 1486 muc 209
472.90/472.92	c iter 493 time 469.68 not-muc 71785 unknown 1484 muc 209
472.90/472.92	c iter 494 time 472.083 not-muc 71786 unknown 1483 muc 209
515.59/515.68	c iter 495 time 474.834 not-muc 71788 unknown 1481 muc 209
515.59/515.68	c iter 496 time 476.206 not-muc 71792 unknown 1477 muc 209
515.59/515.68	c iter 497 time 477.693 not-muc 71794 unknown 1475 muc 209
515.59/515.68	c iter 498 time 478.997 not-muc 71797 unknown 1472 muc 209
515.59/515.68	c iter 499 time 480.137 not-muc 71799 unknown 1470 muc 209
515.59/515.68	c iter 500 time 480.213 not-muc 71799 unknown 1469 muc 210
515.59/515.68	c iter 501 time 481.72 not-muc 71800 unknown 1468 muc 210
515.59/515.68	c iter 502 time 481.822 not-muc 71800 unknown 1467 muc 211
515.59/515.68	c iter 503 time 483.266 not-muc 71809 unknown 1458 muc 211
515.59/515.68	c iter 504 time 483.366 not-muc 71809 unknown 1457 muc 212
515.59/515.68	c iter 505 time 483.428 not-muc 71809 unknown 1456 muc 213
515.59/515.68	c iter 506 time 483.476 not-muc 71809 unknown 1455 muc 214
515.59/515.68	c iter 507 time 483.544 not-muc 71809 unknown 1454 muc 215
515.59/515.68	c iter 508 time 484.85 not-muc 71810 unknown 1453 muc 215
515.59/515.68	c iter 509 time 484.962 not-muc 71810 unknown 1452 muc 216
515.59/515.68	c iter 510 time 485.027 not-muc 71810 unknown 1451 muc 217
515.59/515.68	c iter 511 time 485.108 not-muc 71810 unknown 1450 muc 218
515.59/515.68	c iter 512 time 485.138 not-muc 71810 unknown 1449 muc 219
515.59/515.68	c iter 513 time 486.372 not-muc 71812 unknown 1447 muc 219
515.59/515.68	c iter 514 time 486.452 not-muc 71812 unknown 1446 muc 220
515.59/515.68	c iter 515 time 486.508 not-muc 71812 unknown 1445 muc 221
515.59/515.68	c iter 516 time 486.548 not-muc 71812 unknown 1444 muc 222
515.59/515.68	c iter 517 time 486.593 not-muc 71812 unknown 1443 muc 223
515.59/515.68	c iter 518 time 486.645 not-muc 71812 unknown 1442 muc 224
515.59/515.68	c iter 519 time 488.036 not-muc 71813 unknown 1441 muc 224
515.59/515.68	c iter 520 time 488.166 not-muc 71813 unknown 1440 muc 225
515.59/515.68	c iter 521 time 488.242 not-muc 71813 unknown 1439 muc 226
515.59/515.68	c iter 522 time 488.277 not-muc 71813 unknown 1438 muc 227
515.59/515.68	c iter 523 time 491.193 not-muc 71815 unknown 1436 muc 227
515.59/515.68	c iter 524 time 491.32 not-muc 71815 unknown 1435 muc 228
515.59/515.68	c iter 525 time 491.364 not-muc 71815 unknown 1434 muc 229
515.59/515.68	c iter 526 time 491.42 not-muc 71815 unknown 1433 muc 230
515.59/515.68	c iter 527 time 491.476 not-muc 71815 unknown 1432 muc 231
515.59/515.68	c iter 528 time 491.548 not-muc 71815 unknown 1431 muc 232
515.59/515.68	c iter 529 time 493.767 not-muc 71816 unknown 1430 muc 232
515.59/515.68	c iter 530 time 493.898 not-muc 71816 unknown 1429 muc 233
515.59/515.68	c iter 531 time 493.973 not-muc 71816 unknown 1428 muc 234
515.59/515.68	c iter 532 time 494.018 not-muc 71816 unknown 1427 muc 235
515.59/515.68	c iter 533 time 494.082 not-muc 71816 unknown 1426 muc 236
515.59/515.68	c iter 534 time 495.376 not-muc 71817 unknown 1425 muc 236
515.59/515.68	c iter 535 time 496.846 not-muc 71818 unknown 1424 muc 236
515.59/515.68	c iter 536 time 496.969 not-muc 71818 unknown 1423 muc 237
515.59/515.68	c iter 537 time 498.753 not-muc 71819 unknown 1422 muc 237
515.59/515.68	c iter 538 time 498.877 not-muc 71819 unknown 1421 muc 238
515.59/515.68	c iter 539 time 498.945 not-muc 71819 unknown 1420 muc 239
515.59/515.68	c iter 540 time 500.097 not-muc 71820 unknown 1419 muc 239
515.59/515.68	c iter 541 time 500.211 not-muc 71820 unknown 1418 muc 240
515.59/515.68	c iter 542 time 500.255 not-muc 71820 unknown 1417 muc 241
515.59/515.68	c iter 543 time 500.277 not-muc 71820 unknown 1416 muc 242
515.59/515.68	c iter 544 time 500.342 not-muc 71820 unknown 1415 muc 243
515.59/515.68	c iter 545 time 501.623 not-muc 71821 unknown 1414 muc 243
515.59/515.68	c iter 546 time 504.405 not-muc 71822 unknown 1413 muc 243
515.59/515.68	c iter 547 time 504.497 not-muc 71822 unknown 1412 muc 244
515.59/515.68	c iter 548 time 504.539 not-muc 71822 unknown 1411 muc 245
515.59/515.68	c iter 549 time 504.583 not-muc 71822 unknown 1410 muc 246
515.59/515.68	c iter 550 time 507.459 not-muc 71823 unknown 1409 muc 246
515.59/515.68	c iter 551 time 507.583 not-muc 71823 unknown 1408 muc 247
515.59/515.68	c iter 552 time 507.689 not-muc 71823 unknown 1407 muc 248
515.59/515.68	c iter 553 time 507.767 not-muc 71823 unknown 1406 muc 249
515.59/515.68	c iter 554 time 507.836 not-muc 71823 unknown 1405 muc 250
515.59/515.68	c iter 555 time 507.883 not-muc 71823 unknown 1404 muc 251
515.59/515.68	c iter 556 time 510.298 not-muc 71824 unknown 1403 muc 251
515.59/515.68	c iter 557 time 510.414 not-muc 71824 unknown 1402 muc 252
515.59/515.68	c iter 558 time 510.481 not-muc 71824 unknown 1401 muc 253
515.59/515.68	c iter 559 time 510.52 not-muc 71824 unknown 1400 muc 254
515.59/515.68	c iter 560 time 511.845 not-muc 71826 unknown 1398 muc 254
515.59/515.68	c iter 561 time 511.968 not-muc 71826 unknown 1397 muc 255
515.59/515.68	c iter 562 time 512.044 not-muc 71826 unknown 1396 muc 256
515.59/515.68	c iter 563 time 514.653 not-muc 71827 unknown 1395 muc 256
515.59/515.68	c iter 564 time 514.778 not-muc 71827 unknown 1394 muc 257
554.89/554.90	c iter 565 time 517.461 not-muc 71828 unknown 1393 muc 257
554.89/554.90	c iter 566 time 520.101 not-muc 71829 unknown 1392 muc 257
554.89/554.90	c iter 567 time 520.218 not-muc 71829 unknown 1391 muc 258
554.89/554.90	c iter 568 time 520.271 not-muc 71829 unknown 1390 muc 259
554.89/554.90	c iter 569 time 520.345 not-muc 71829 unknown 1389 muc 260
554.89/554.90	c iter 570 time 520.386 not-muc 71829 unknown 1388 muc 261
554.89/554.90	c iter 571 time 520.502 not-muc 71829 unknown 1387 muc 262
554.89/554.90	c iter 572 time 520.568 not-muc 71829 unknown 1386 muc 263
554.89/554.90	c iter 573 time 520.632 not-muc 71829 unknown 1385 muc 264
554.89/554.90	c iter 574 time 520.711 not-muc 71829 unknown 1384 muc 265
554.89/554.90	c iter 575 time 522.071 not-muc 71830 unknown 1383 muc 265
554.89/554.90	c iter 576 time 522.194 not-muc 71830 unknown 1382 muc 266
554.89/554.90	c iter 577 time 522.229 not-muc 71830 unknown 1381 muc 267
554.89/554.90	c iter 578 time 522.268 not-muc 71830 unknown 1380 muc 268
554.89/554.90	c iter 579 time 522.333 not-muc 71830 unknown 1379 muc 269
554.89/554.90	c iter 580 time 522.369 not-muc 71830 unknown 1378 muc 270
554.89/554.90	c iter 581 time 523.735 not-muc 71831 unknown 1377 muc 270
554.89/554.90	c iter 582 time 523.83 not-muc 71831 unknown 1376 muc 271
554.89/554.90	c iter 583 time 523.897 not-muc 71831 unknown 1375 muc 272
554.89/554.90	c iter 584 time 523.949 not-muc 71831 unknown 1374 muc 273
554.89/554.90	c iter 585 time 524.001 not-muc 71831 unknown 1373 muc 274
554.89/554.90	c iter 586 time 524.078 not-muc 71831 unknown 1372 muc 275
554.89/554.90	c iter 587 time 524.159 not-muc 71831 unknown 1371 muc 276
554.89/554.90	c iter 588 time 525.259 not-muc 71843 unknown 1359 muc 276
554.89/554.90	c iter 589 time 526.542 not-muc 71844 unknown 1358 muc 276
554.89/554.90	c iter 590 time 526.652 not-muc 71844 unknown 1357 muc 277
554.89/554.90	c iter 591 time 526.694 not-muc 71844 unknown 1356 muc 278
554.89/554.90	c iter 592 time 526.73 not-muc 71844 unknown 1355 muc 279
554.89/554.90	c iter 593 time 528.229 not-muc 71845 unknown 1354 muc 279
554.89/554.90	c iter 594 time 528.37 not-muc 71845 unknown 1353 muc 280
554.89/554.90	c iter 595 time 528.483 not-muc 71845 unknown 1352 muc 281
554.89/554.90	c iter 596 time 531.12 not-muc 71846 unknown 1351 muc 281
554.89/554.90	c iter 597 time 531.217 not-muc 71846 unknown 1350 muc 282
554.89/554.90	c iter 598 time 531.266 not-muc 71846 unknown 1349 muc 283
554.89/554.90	c iter 599 time 533.89 not-muc 71847 unknown 1348 muc 283
554.89/554.90	c iter 600 time 534.021 not-muc 71847 unknown 1347 muc 284
554.89/554.90	c iter 601 time 534.099 not-muc 71847 unknown 1346 muc 285
554.89/554.90	c iter 602 time 534.142 not-muc 71847 unknown 1345 muc 286
554.89/554.90	c iter 603 time 534.183 not-muc 71847 unknown 1344 muc 287
554.89/554.90	c iter 604 time 537.298 not-muc 71848 unknown 1343 muc 287
554.89/554.90	c iter 605 time 537.4 not-muc 71848 unknown 1342 muc 288
554.89/554.90	c iter 606 time 539.984 not-muc 71849 unknown 1341 muc 288
554.89/554.90	c iter 607 time 540.096 not-muc 71849 unknown 1340 muc 289
554.89/554.90	c iter 608 time 540.134 not-muc 71849 unknown 1339 muc 290
554.89/554.90	c iter 609 time 540.206 not-muc 71849 unknown 1338 muc 291
554.89/554.90	c iter 610 time 540.278 not-muc 71849 unknown 1337 muc 292
554.89/554.90	c iter 611 time 541.449 not-muc 71850 unknown 1336 muc 292
554.89/554.90	c iter 612 time 543.919 not-muc 71851 unknown 1335 muc 292
554.89/554.90	c iter 613 time 544.038 not-muc 71851 unknown 1334 muc 293
554.89/554.90	c iter 614 time 544.081 not-muc 71851 unknown 1333 muc 294
554.89/554.90	c iter 615 time 544.158 not-muc 71851 unknown 1332 muc 295
554.89/554.90	c iter 616 time 544.195 not-muc 71851 unknown 1331 muc 296
554.89/554.90	c iter 617 time 544.232 not-muc 71851 unknown 1330 muc 297
554.89/554.90	c iter 618 time 544.267 not-muc 71851 unknown 1329 muc 298
554.89/554.90	c iter 619 time 544.302 not-muc 71851 unknown 1328 muc 299
554.89/554.90	c iter 620 time 544.345 not-muc 71851 unknown 1327 muc 300
554.89/554.90	c iter 621 time 544.396 not-muc 71851 unknown 1326 muc 301
554.89/554.90	c iter 622 time 544.477 not-muc 71851 unknown 1325 muc 302
554.89/554.90	c iter 623 time 545.634 not-muc 71852 unknown 1324 muc 302
554.89/554.90	c iter 624 time 545.768 not-muc 71852 unknown 1323 muc 303
554.89/554.90	c iter 625 time 545.823 not-muc 71852 unknown 1322 muc 304
554.89/554.90	c iter 626 time 547.011 not-muc 71854 unknown 1320 muc 304
554.89/554.90	c iter 627 time 549.609 not-muc 71855 unknown 1319 muc 304
554.89/554.90	c iter 628 time 550.91 not-muc 71856 unknown 1318 muc 304
554.89/554.90	c iter 629 time 552.406 not-muc 71857 unknown 1317 muc 304
554.89/554.90	c iter 630 time 552.55 not-muc 71857 unknown 1316 muc 305
554.89/554.90	c iter 631 time 552.601 not-muc 71857 unknown 1315 muc 306
554.89/554.90	c iter 632 time 552.672 not-muc 71857 unknown 1314 muc 307
554.89/554.90	c iter 633 time 553.926 not-muc 71858 unknown 1313 muc 307
600.19/600.29	c iter 634 time 554.005 not-muc 71858 unknown 1312 muc 308
600.19/600.29	c iter 635 time 556.423 not-muc 71859 unknown 1311 muc 308
600.19/600.29	c iter 636 time 556.533 not-muc 71859 unknown 1310 muc 309
600.19/600.29	c iter 637 time 558.923 not-muc 71860 unknown 1309 muc 309
600.19/600.29	c iter 638 time 559.08 not-muc 71860 unknown 1308 muc 310
600.19/600.29	c iter 639 time 559.163 not-muc 71860 unknown 1307 muc 311
600.19/600.29	c iter 640 time 559.221 not-muc 71860 unknown 1306 muc 312
600.19/600.29	c iter 641 time 559.274 not-muc 71860 unknown 1305 muc 313
600.19/600.29	c iter 642 time 561.619 not-muc 71864 unknown 1301 muc 313
600.19/600.29	c iter 643 time 561.719 not-muc 71864 unknown 1300 muc 314
600.19/600.29	c iter 644 time 564.222 not-muc 71865 unknown 1299 muc 314
600.19/600.29	c iter 645 time 564.36 not-muc 71865 unknown 1298 muc 315
600.19/600.29	c iter 646 time 564.442 not-muc 71865 unknown 1297 muc 316
600.19/600.29	c iter 647 time 564.509 not-muc 71865 unknown 1296 muc 317
600.19/600.29	c iter 648 time 567.174 not-muc 71866 unknown 1295 muc 317
600.19/600.29	c iter 649 time 568.557 not-muc 71867 unknown 1294 muc 317
600.19/600.29	c iter 650 time 571.255 not-muc 71868 unknown 1293 muc 317
600.19/600.29	c iter 651 time 571.371 not-muc 71868 unknown 1292 muc 318
600.19/600.29	c iter 652 time 571.425 not-muc 71868 unknown 1291 muc 319
600.19/600.29	c iter 653 time 571.487 not-muc 71868 unknown 1290 muc 320
600.19/600.29	c iter 654 time 571.574 not-muc 71868 unknown 1289 muc 321
600.19/600.29	c iter 655 time 573.189 not-muc 71870 unknown 1287 muc 321
600.19/600.29	c iter 656 time 573.346 not-muc 71870 unknown 1286 muc 322
600.19/600.29	c iter 657 time 573.385 not-muc 71870 unknown 1285 muc 323
600.19/600.29	c iter 658 time 573.48 not-muc 71870 unknown 1284 muc 324
600.19/600.29	c iter 659 time 573.535 not-muc 71870 unknown 1283 muc 325
600.19/600.29	c iter 660 time 573.59 not-muc 71870 unknown 1282 muc 326
600.19/600.29	c iter 661 time 573.688 not-muc 71870 unknown 1281 muc 327
600.19/600.29	c iter 662 time 573.736 not-muc 71870 unknown 1280 muc 328
600.19/600.29	c iter 663 time 573.82 not-muc 71870 unknown 1279 muc 329
600.19/600.29	c iter 664 time 575.136 not-muc 71871 unknown 1278 muc 329
600.19/600.29	c iter 665 time 575.23 not-muc 71871 unknown 1277 muc 330
600.19/600.29	c iter 666 time 575.31 not-muc 71871 unknown 1276 muc 331
600.19/600.29	c iter 667 time 575.341 not-muc 71871 unknown 1275 muc 332
600.19/600.29	c iter 668 time 575.39 not-muc 71871 unknown 1274 muc 333
600.19/600.29	c iter 669 time 575.78 not-muc 71871 unknown 1273 muc 334
600.19/600.29	c iter 670 time 578.464 not-muc 71872 unknown 1272 muc 334
600.19/600.29	c iter 671 time 578.822 not-muc 71872 unknown 1271 muc 335
600.19/600.29	c iter 672 time 578.905 not-muc 71872 unknown 1270 muc 336
600.19/600.29	c iter 673 time 578.958 not-muc 71872 unknown 1269 muc 337
600.19/600.29	c iter 674 time 581.672 not-muc 71873 unknown 1268 muc 337
600.19/600.29	c iter 675 time 582.962 not-muc 71874 unknown 1267 muc 337
600.19/600.29	c iter 676 time 583.066 not-muc 71874 unknown 1266 muc 338
600.19/600.29	c iter 677 time 583.103 not-muc 71874 unknown 1265 muc 339
600.19/600.29	c iter 678 time 585.115 not-muc 71875 unknown 1264 muc 339
600.19/600.29	c iter 679 time 585.356 not-muc 71875 unknown 1263 muc 340
600.19/600.29	c iter 680 time 585.395 not-muc 71875 unknown 1262 muc 341
600.19/600.29	c iter 681 time 587.737 not-muc 71876 unknown 1261 muc 341
600.19/600.29	c iter 682 time 587.897 not-muc 71876 unknown 1260 muc 342
600.19/600.29	c iter 683 time 587.994 not-muc 71876 unknown 1259 muc 343
600.19/600.29	c iter 684 time 588.051 not-muc 71876 unknown 1258 muc 344
600.19/600.29	c iter 685 time 588.102 not-muc 71876 unknown 1257 muc 345
600.19/600.29	c iter 686 time 590.691 not-muc 71877 unknown 1256 muc 345
600.19/600.29	c iter 687 time 590.865 not-muc 71877 unknown 1255 muc 346
600.19/600.29	c iter 688 time 592.074 not-muc 71878 unknown 1254 muc 346
600.19/600.29	c iter 689 time 594.816 not-muc 71879 unknown 1253 muc 346
600.19/600.29	c iter 690 time 594.94 not-muc 71879 unknown 1252 muc 347
600.19/600.29	c iter 691 time 595.04 not-muc 71879 unknown 1251 muc 348
600.19/600.29	c iter 692 time 595.107 not-muc 71879 unknown 1250 muc 349
600.19/600.29	c iter 693 time 595.135 not-muc 71879 unknown 1249 muc 350
600.19/600.29	c iter 694 time 595.226 not-muc 71879 unknown 1248 muc 351
600.19/600.29	c iter 695 time 595.254 not-muc 71879 unknown 1247 muc 352
600.19/600.29	c iter 696 time 595.288 not-muc 71879 unknown 1246 muc 353
600.19/600.29	c iter 697 time 597.693 not-muc 71880 unknown 1245 muc 353
600.19/600.29	c iter 698 time 597.806 not-muc 71880 unknown 1244 muc 354
600.19/600.29	c iter 699 time 597.85 not-muc 71880 unknown 1243 muc 355
600.19/600.29	c iter 700 time 599.016 not-muc 71881 unknown 1242 muc 355
600.19/600.29	c iter 701 time 599.156 not-muc 71881 unknown 1241 muc 356
600.19/600.29	c iter 702 time 599.198 not-muc 71881 unknown 1240 muc 357
600.19/600.29	c iter 703 time 599.237 not-muc 71881 unknown 1239 muc 358
648.49/648.59	c iter 704 time 600.705 not-muc 71883 unknown 1237 muc 358
648.49/648.59	c iter 705 time 600.817 not-muc 71883 unknown 1236 muc 359
648.49/648.59	c iter 706 time 600.896 not-muc 71883 unknown 1235 muc 360
648.49/648.59	c iter 707 time 600.947 not-muc 71883 unknown 1234 muc 361
648.49/648.59	c iter 708 time 601.003 not-muc 71883 unknown 1233 muc 362
648.49/648.59	c iter 709 time 601.07 not-muc 71883 unknown 1232 muc 363
648.49/648.59	c iter 710 time 602.526 not-muc 71884 unknown 1231 muc 363
648.49/648.59	c iter 711 time 603.972 not-muc 71888 unknown 1227 muc 363
648.49/648.59	c iter 712 time 605.379 not-muc 71889 unknown 1226 muc 363
648.49/648.59	c iter 713 time 605.457 not-muc 71889 unknown 1225 muc 364
648.49/648.59	c iter 714 time 605.525 not-muc 71889 unknown 1224 muc 365
648.49/648.59	c iter 715 time 605.555 not-muc 71889 unknown 1223 muc 366
648.49/648.59	c iter 716 time 605.588 not-muc 71889 unknown 1222 muc 367
648.49/648.59	c iter 717 time 605.671 not-muc 71889 unknown 1221 muc 368
648.49/648.59	c iter 718 time 605.74 not-muc 71889 unknown 1220 muc 369
648.49/648.59	c iter 719 time 606.864 not-muc 71890 unknown 1219 muc 369
648.49/648.59	c iter 720 time 608.464 not-muc 71891 unknown 1218 muc 369
648.49/648.59	c iter 721 time 611.038 not-muc 71892 unknown 1217 muc 369
648.49/648.59	c iter 722 time 611.173 not-muc 71892 unknown 1216 muc 370
648.49/648.59	c iter 723 time 613.518 not-muc 71893 unknown 1215 muc 370
648.49/648.59	c iter 724 time 616.273 not-muc 71894 unknown 1214 muc 370
648.49/648.59	c iter 725 time 616.411 not-muc 71894 unknown 1213 muc 371
648.49/648.59	c iter 726 time 617.652 not-muc 71895 unknown 1212 muc 371
648.49/648.59	c iter 727 time 617.775 not-muc 71895 unknown 1211 muc 372
648.49/648.59	c iter 728 time 617.81 not-muc 71895 unknown 1210 muc 373
648.49/648.59	c iter 729 time 617.873 not-muc 71895 unknown 1209 muc 374
648.49/648.59	c iter 730 time 620.505 not-muc 71898 unknown 1206 muc 374
648.49/648.59	c iter 731 time 620.586 not-muc 71898 unknown 1205 muc 375
648.49/648.59	c iter 732 time 621.841 not-muc 71899 unknown 1204 muc 375
648.49/648.59	c iter 733 time 621.971 not-muc 71899 unknown 1203 muc 376
648.49/648.59	c iter 734 time 623.185 not-muc 71900 unknown 1202 muc 376
648.49/648.59	c iter 735 time 625.066 not-muc 71901 unknown 1201 muc 376
648.49/648.59	c iter 736 time 625.198 not-muc 71901 unknown 1200 muc 377
648.49/648.59	c iter 737 time 626.433 not-muc 71902 unknown 1199 muc 377
648.49/648.59	c iter 738 time 627.948 not-muc 71904 unknown 1197 muc 377
648.49/648.59	c iter 739 time 628.04 not-muc 71904 unknown 1196 muc 378
648.49/648.59	c iter 740 time 629.315 not-muc 71906 unknown 1194 muc 378
648.49/648.59	c iter 741 time 629.542 not-muc 71906 unknown 1193 muc 379
648.49/648.59	c iter 742 time 630.972 not-muc 71907 unknown 1192 muc 379
648.49/648.59	c iter 743 time 631.107 not-muc 71907 unknown 1191 muc 380
648.49/648.59	c iter 744 time 631.175 not-muc 71907 unknown 1190 muc 381
648.49/648.59	c iter 745 time 633.275 not-muc 71908 unknown 1189 muc 381
648.49/648.59	c iter 746 time 633.35 not-muc 71908 unknown 1188 muc 382
648.49/648.59	c iter 747 time 633.432 not-muc 71908 unknown 1187 muc 383
648.49/648.59	c iter 748 time 633.519 not-muc 71908 unknown 1186 muc 384
648.49/648.59	c iter 749 time 633.581 not-muc 71908 unknown 1185 muc 385
648.49/648.59	c iter 750 time 633.634 not-muc 71908 unknown 1184 muc 386
648.49/648.59	c iter 751 time 633.705 not-muc 71908 unknown 1183 muc 387
648.49/648.59	c iter 752 time 633.774 not-muc 71908 unknown 1182 muc 388
648.49/648.59	c iter 753 time 633.839 not-muc 71908 unknown 1181 muc 389
648.49/648.59	c iter 754 time 633.907 not-muc 71908 unknown 1180 muc 390
648.49/648.59	c iter 755 time 634.315 not-muc 71908 unknown 1179 muc 391
648.49/648.59	c iter 756 time 634.394 not-muc 71908 unknown 1178 muc 392
648.49/648.59	c iter 757 time 634.455 not-muc 71908 unknown 1177 muc 393
648.49/648.59	c iter 758 time 635.698 not-muc 71911 unknown 1174 muc 393
648.49/648.59	c iter 759 time 635.793 not-muc 71911 unknown 1173 muc 394
648.49/648.59	c iter 760 time 635.822 not-muc 71911 unknown 1172 muc 395
648.49/648.59	c iter 761 time 638.398 not-muc 71912 unknown 1171 muc 395
648.49/648.59	c iter 762 time 638.47 not-muc 71912 unknown 1170 muc 396
648.49/648.59	c iter 763 time 639.78 not-muc 71914 unknown 1168 muc 396
648.49/648.59	c iter 764 time 640.131 not-muc 71914 unknown 1167 muc 397
648.49/648.59	c iter 765 time 640.211 not-muc 71914 unknown 1166 muc 398
648.49/648.59	c iter 766 time 641.483 not-muc 71915 unknown 1165 muc 398
648.49/648.59	c iter 767 time 642.575 not-muc 71917 unknown 1163 muc 398
648.49/648.59	c iter 768 time 642.767 not-muc 71917 unknown 1162 muc 399
648.49/648.59	c iter 769 time 642.858 not-muc 71917 unknown 1161 muc 400
648.49/648.59	c iter 770 time 642.941 not-muc 71917 unknown 1160 muc 401
648.49/648.59	c iter 771 time 642.976 not-muc 71917 unknown 1159 muc 402
648.49/648.59	c iter 772 time 644.778 not-muc 71918 unknown 1158 muc 402
648.49/648.59	c iter 773 time 647.478 not-muc 71919 unknown 1157 muc 402
682.29/682.32	c iter 774 time 647.566 not-muc 71919 unknown 1156 muc 403
682.29/682.32	c iter 775 time 648.821 not-muc 71922 unknown 1153 muc 403
682.29/682.32	c iter 776 time 648.923 not-muc 71922 unknown 1152 muc 404
682.29/682.32	c iter 777 time 648.995 not-muc 71922 unknown 1151 muc 405
682.29/682.32	c iter 778 time 649.007 not-muc 71922 unknown 1150 muc 406
682.29/682.32	c iter 779 time 649.089 not-muc 71922 unknown 1149 muc 407
682.29/682.32	c iter 780 time 649.133 not-muc 71922 unknown 1148 muc 408
682.29/682.32	c iter 781 time 649.164 not-muc 71922 unknown 1147 muc 409
682.29/682.32	c iter 782 time 650.214 not-muc 71924 unknown 1145 muc 409
682.29/682.32	c iter 783 time 650.351 not-muc 71924 unknown 1144 muc 410
682.29/682.32	c iter 784 time 651.559 not-muc 71925 unknown 1143 muc 410
682.29/682.32	c iter 785 time 653.034 not-muc 71926 unknown 1142 muc 410
682.29/682.32	c iter 786 time 653.179 not-muc 71926 unknown 1141 muc 411
682.29/682.32	c iter 787 time 653.227 not-muc 71926 unknown 1140 muc 412
682.29/682.32	c iter 788 time 653.309 not-muc 71926 unknown 1139 muc 413
682.29/682.32	c iter 789 time 653.368 not-muc 71926 unknown 1138 muc 414
682.29/682.32	c iter 790 time 653.451 not-muc 71926 unknown 1137 muc 415
682.29/682.32	c iter 791 time 653.488 not-muc 71926 unknown 1136 muc 416
682.29/682.32	c iter 792 time 656.022 not-muc 71927 unknown 1135 muc 416
682.29/682.32	c iter 793 time 656.114 not-muc 71927 unknown 1134 muc 417
682.29/682.32	c iter 794 time 656.159 not-muc 71927 unknown 1133 muc 418
682.29/682.32	c iter 795 time 656.248 not-muc 71927 unknown 1132 muc 419
682.29/682.32	c iter 796 time 656.271 not-muc 71927 unknown 1131 muc 420
682.29/682.32	c iter 797 time 656.361 not-muc 71927 unknown 1130 muc 421
682.29/682.32	c iter 798 time 656.45 not-muc 71927 unknown 1129 muc 422
682.29/682.32	c iter 799 time 659.185 not-muc 71928 unknown 1128 muc 422
682.29/682.32	c iter 800 time 659.294 not-muc 71928 unknown 1127 muc 423
682.29/682.32	c iter 801 time 659.361 not-muc 71928 unknown 1126 muc 424
682.29/682.32	c iter 802 time 659.425 not-muc 71928 unknown 1125 muc 425
682.29/682.32	c iter 803 time 659.48 not-muc 71928 unknown 1124 muc 426
682.29/682.32	c iter 804 time 661.235 not-muc 71930 unknown 1122 muc 426
682.29/682.32	c iter 805 time 661.382 not-muc 71930 unknown 1121 muc 427
682.29/682.32	c iter 806 time 661.467 not-muc 71930 unknown 1120 muc 428
682.29/682.32	c iter 807 time 661.541 not-muc 71930 unknown 1119 muc 429
682.29/682.32	c iter 808 time 663.977 not-muc 71932 unknown 1117 muc 429
682.29/682.32	c iter 809 time 664.107 not-muc 71932 unknown 1116 muc 430
682.29/682.32	c iter 810 time 664.194 not-muc 71932 unknown 1115 muc 431
682.29/682.32	c iter 811 time 664.293 not-muc 71932 unknown 1114 muc 432
682.29/682.32	c iter 812 time 664.388 not-muc 71932 unknown 1113 muc 433
682.29/682.32	c iter 813 time 664.427 not-muc 71932 unknown 1112 muc 434
682.29/682.32	c iter 814 time 664.535 not-muc 71932 unknown 1111 muc 435
682.29/682.32	c iter 815 time 665.74 not-muc 71933 unknown 1110 muc 435
682.29/682.32	c iter 816 time 668.281 not-muc 71934 unknown 1109 muc 435
682.29/682.32	c iter 817 time 668.429 not-muc 71934 unknown 1108 muc 436
682.29/682.32	c iter 818 time 668.492 not-muc 71934 unknown 1107 muc 437
682.29/682.32	c iter 819 time 668.596 not-muc 71934 unknown 1106 muc 438
682.29/682.32	c iter 820 time 670.337 not-muc 71935 unknown 1105 muc 438
682.29/682.32	c iter 821 time 670.455 not-muc 71935 unknown 1104 muc 439
682.29/682.32	c iter 822 time 670.491 not-muc 71935 unknown 1103 muc 440
682.29/682.32	c iter 823 time 670.585 not-muc 71935 unknown 1102 muc 441
682.29/682.32	c iter 824 time 670.684 not-muc 71935 unknown 1101 muc 442
682.29/682.32	c iter 825 time 670.769 not-muc 71935 unknown 1100 muc 443
682.29/682.33	c iter 826 time 672.09 not-muc 71936 unknown 1099 muc 443
682.29/682.33	c iter 827 time 674.909 not-muc 71937 unknown 1098 muc 443
682.29/682.33	c iter 828 time 675.005 not-muc 71937 unknown 1097 muc 444
682.29/682.33	c iter 829 time 675.062 not-muc 71937 unknown 1096 muc 445
682.29/682.33	c iter 830 time 675.148 not-muc 71937 unknown 1095 muc 446
682.29/682.33	c iter 831 time 675.185 not-muc 71937 unknown 1094 muc 447
682.29/682.33	c iter 832 time 675.24 not-muc 71937 unknown 1093 muc 448
682.29/682.33	c iter 833 time 675.315 not-muc 71937 unknown 1092 muc 449
682.29/682.33	c iter 834 time 675.383 not-muc 71937 unknown 1091 muc 450
682.29/682.33	c iter 835 time 675.454 not-muc 71937 unknown 1090 muc 451
682.29/682.33	c iter 836 time 676.868 not-muc 71938 unknown 1089 muc 451
682.29/682.33	c iter 837 time 677.006 not-muc 71938 unknown 1088 muc 452
682.29/682.33	c iter 838 time 677.079 not-muc 71938 unknown 1087 muc 453
682.29/682.33	c iter 839 time 678.239 not-muc 71939 unknown 1086 muc 453
682.29/682.33	c iter 840 time 679.728 not-muc 71940 unknown 1085 muc 453
682.29/682.33	c iter 841 time 681.033 not-muc 71942 unknown 1083 muc 453
682.29/682.33	c iter 842 time 681.176 not-muc 71942 unknown 1082 muc 454
707.69/707.75	c iter 843 time 681.23 not-muc 71942 unknown 1081 muc 455
707.69/707.75	c iter 844 time 681.27 not-muc 71942 unknown 1080 muc 456
707.69/707.75	c iter 845 time 681.341 not-muc 71942 unknown 1079 muc 457
707.69/707.75	c iter 846 time 683.717 not-muc 71943 unknown 1078 muc 457
707.69/707.75	c iter 847 time 683.807 not-muc 71943 unknown 1077 muc 458
707.69/707.75	c iter 848 time 683.892 not-muc 71943 unknown 1076 muc 459
707.69/707.75	c iter 849 time 683.964 not-muc 71943 unknown 1075 muc 460
707.69/707.75	c iter 850 time 684.042 not-muc 71943 unknown 1074 muc 461
707.69/707.75	c iter 851 time 684.374 not-muc 71943 unknown 1073 muc 462
707.69/707.75	c iter 852 time 684.434 not-muc 71943 unknown 1072 muc 463
707.69/707.75	c iter 853 time 685.917 not-muc 71944 unknown 1071 muc 463
707.69/707.75	c iter 854 time 686.029 not-muc 71944 unknown 1070 muc 464
707.69/707.75	c iter 855 time 686.091 not-muc 71944 unknown 1069 muc 465
707.69/707.75	c iter 856 time 686.143 not-muc 71944 unknown 1068 muc 466
707.69/707.75	c iter 857 time 686.181 not-muc 71944 unknown 1067 muc 467
707.69/707.75	c iter 858 time 686.273 not-muc 71944 unknown 1066 muc 468
707.69/707.75	c iter 859 time 686.333 not-muc 71944 unknown 1065 muc 469
707.69/707.75	c iter 860 time 688.734 not-muc 71945 unknown 1064 muc 469
707.69/707.75	c iter 861 time 688.853 not-muc 71945 unknown 1063 muc 470
707.69/707.75	c iter 862 time 688.897 not-muc 71945 unknown 1062 muc 471
707.69/707.75	c iter 863 time 688.936 not-muc 71945 unknown 1061 muc 472
707.69/707.75	c iter 864 time 688.993 not-muc 71945 unknown 1060 muc 473
707.69/707.75	c iter 865 time 689.041 not-muc 71945 unknown 1059 muc 474
707.69/707.75	c iter 866 time 689.105 not-muc 71945 unknown 1058 muc 475
707.69/707.75	c iter 867 time 689.194 not-muc 71945 unknown 1057 muc 476
707.69/707.75	c iter 868 time 689.294 not-muc 71945 unknown 1056 muc 477
707.69/707.75	c iter 869 time 689.369 not-muc 71945 unknown 1055 muc 478
707.69/707.75	c iter 870 time 690.491 not-muc 71948 unknown 1052 muc 478
707.69/707.75	c iter 871 time 690.639 not-muc 71948 unknown 1051 muc 479
707.69/707.75	c iter 872 time 690.745 not-muc 71948 unknown 1050 muc 480
707.69/707.75	c iter 873 time 690.838 not-muc 71948 unknown 1049 muc 481
707.69/707.75	c iter 874 time 690.904 not-muc 71948 unknown 1048 muc 482
707.69/707.75	c iter 875 time 690.945 not-muc 71948 unknown 1047 muc 483
707.69/707.75	c iter 876 time 691.008 not-muc 71948 unknown 1046 muc 484
707.69/707.75	c iter 877 time 691.056 not-muc 71948 unknown 1045 muc 485
707.69/707.75	c iter 878 time 691.09 not-muc 71948 unknown 1044 muc 486
707.69/707.75	c iter 879 time 691.121 not-muc 71948 unknown 1043 muc 487
707.69/707.75	c iter 880 time 691.19 not-muc 71948 unknown 1042 muc 488
707.69/707.75	c iter 881 time 691.289 not-muc 71948 unknown 1041 muc 489
707.69/707.75	c iter 882 time 692.396 not-muc 71950 unknown 1039 muc 489
707.69/707.75	c iter 883 time 693.664 not-muc 71951 unknown 1038 muc 489
707.69/707.75	c iter 884 time 693.81 not-muc 71951 unknown 1037 muc 490
707.69/707.75	c iter 885 time 693.824 not-muc 71951 unknown 1036 muc 491
707.69/707.75	c iter 886 time 695.186 not-muc 71952 unknown 1035 muc 491
707.69/707.75	c iter 887 time 695.273 not-muc 71952 unknown 1034 muc 492
707.69/707.75	c iter 888 time 695.305 not-muc 71952 unknown 1033 muc 493
707.69/707.75	c iter 889 time 695.402 not-muc 71952 unknown 1032 muc 494
707.69/707.75	c iter 890 time 695.429 not-muc 71952 unknown 1031 muc 495
707.69/707.75	c iter 891 time 695.497 not-muc 71952 unknown 1030 muc 496
707.69/707.75	c iter 892 time 695.549 not-muc 71952 unknown 1029 muc 497
707.69/707.75	c iter 893 time 695.616 not-muc 71952 unknown 1028 muc 498
707.69/707.75	c iter 894 time 695.659 not-muc 71952 unknown 1027 muc 499
707.69/707.75	c iter 895 time 696.947 not-muc 71954 unknown 1025 muc 499
707.69/707.75	c iter 896 time 697.095 not-muc 71954 unknown 1024 muc 500
707.69/707.75	c iter 897 time 697.185 not-muc 71954 unknown 1023 muc 501
707.69/707.75	c iter 898 time 697.242 not-muc 71954 unknown 1022 muc 502
707.69/707.75	c iter 899 time 697.318 not-muc 71954 unknown 1021 muc 503
707.69/707.75	c iter 900 time 699.866 not-muc 71955 unknown 1020 muc 503
707.69/707.75	c iter 901 time 700.004 not-muc 71955 unknown 1019 muc 504
707.69/707.75	c iter 902 time 700.115 not-muc 71955 unknown 1018 muc 505
707.69/707.75	c iter 903 time 701.272 not-muc 71956 unknown 1017 muc 505
707.69/707.75	c iter 904 time 701.393 not-muc 71956 unknown 1016 muc 506
707.69/707.75	c iter 905 time 702.614 not-muc 71957 unknown 1015 muc 506
707.69/707.75	c iter 906 time 702.727 not-muc 71957 unknown 1014 muc 507
707.69/707.75	c iter 907 time 703.783 not-muc 71958 unknown 1013 muc 507
707.69/707.75	c iter 908 time 705.028 not-muc 71959 unknown 1012 muc 507
707.69/707.75	c iter 909 time 705.167 not-muc 71959 unknown 1011 muc 508
707.69/707.75	c iter 910 time 705.256 not-muc 71959 unknown 1010 muc 509
707.69/707.75	c iter 911 time 705.326 not-muc 71959 unknown 1009 muc 510
707.69/707.75	c iter 912 time 706.564 not-muc 71961 unknown 1007 muc 510
742.09/742.14	c iter 913 time 707.956 not-muc 71962 unknown 1006 muc 510
742.09/742.14	c iter 914 time 708.036 not-muc 71962 unknown 1005 muc 511
742.09/742.14	c iter 915 time 710.7 not-muc 71963 unknown 1004 muc 511
742.09/742.14	c iter 916 time 710.845 not-muc 71963 unknown 1003 muc 512
742.09/742.14	c iter 917 time 710.961 not-muc 71963 unknown 1002 muc 513
742.09/742.14	c iter 918 time 711.055 not-muc 71963 unknown 1001 muc 514
742.09/742.14	c iter 919 time 713.686 not-muc 71964 unknown 1000 muc 514
742.09/742.14	c iter 920 time 713.83 not-muc 71964 unknown 999 muc 515
742.09/742.14	c iter 921 time 715.101 not-muc 71965 unknown 998 muc 515
742.09/742.14	c iter 922 time 715.239 not-muc 71965 unknown 997 muc 516
742.09/742.14	c iter 923 time 715.263 not-muc 71965 unknown 996 muc 517
742.09/742.14	c iter 924 time 716.492 not-muc 71966 unknown 995 muc 517
742.09/742.14	c iter 925 time 716.638 not-muc 71966 unknown 994 muc 518
742.09/742.14	c iter 926 time 716.725 not-muc 71966 unknown 993 muc 519
742.09/742.14	c iter 927 time 716.786 not-muc 71966 unknown 992 muc 520
742.09/742.14	c iter 928 time 716.831 not-muc 71966 unknown 991 muc 521
742.09/742.14	c iter 929 time 716.882 not-muc 71966 unknown 990 muc 522
742.09/742.14	c iter 930 time 716.933 not-muc 71966 unknown 989 muc 523
742.09/742.14	c iter 931 time 717.034 not-muc 71966 unknown 988 muc 524
742.09/742.14	c iter 932 time 717.175 not-muc 71966 unknown 987 muc 525
742.09/742.14	c iter 933 time 717.199 not-muc 71966 unknown 986 muc 526
742.09/742.14	c iter 934 time 717.25 not-muc 71966 unknown 985 muc 527
742.09/742.14	c iter 935 time 717.289 not-muc 71966 unknown 984 muc 528
742.09/742.14	c iter 936 time 717.339 not-muc 71966 unknown 983 muc 529
742.09/742.14	c iter 937 time 717.37 not-muc 71966 unknown 982 muc 530
742.09/742.14	c iter 938 time 717.407 not-muc 71966 unknown 981 muc 531
742.09/742.14	c iter 939 time 717.496 not-muc 71966 unknown 980 muc 532
742.09/742.14	c iter 940 time 719.613 not-muc 71970 unknown 976 muc 532
742.09/742.14	c iter 941 time 720.979 not-muc 71972 unknown 974 muc 532
742.09/742.14	c iter 942 time 721.128 not-muc 71972 unknown 973 muc 533
742.09/742.14	c iter 943 time 721.195 not-muc 71972 unknown 972 muc 534
742.09/742.14	c iter 944 time 721.273 not-muc 71972 unknown 971 muc 535
742.09/742.14	c iter 945 time 721.319 not-muc 71972 unknown 970 muc 536
742.09/742.14	c iter 946 time 721.402 not-muc 71972 unknown 969 muc 537
742.09/742.14	c iter 947 time 722.682 not-muc 71974 unknown 967 muc 537
742.09/742.14	c iter 948 time 724.485 not-muc 71975 unknown 966 muc 537
742.09/742.14	c iter 949 time 724.587 not-muc 71975 unknown 965 muc 538
742.09/742.14	c iter 950 time 726.016 not-muc 71976 unknown 964 muc 538
742.09/742.14	c iter 951 time 726.116 not-muc 71976 unknown 963 muc 539
742.09/742.14	c iter 952 time 728.6 not-muc 71977 unknown 962 muc 539
742.09/742.14	c iter 953 time 728.738 not-muc 71977 unknown 961 muc 540
742.09/742.14	c iter 954 time 728.786 not-muc 71977 unknown 960 muc 541
742.09/742.14	c iter 955 time 728.919 not-muc 71977 unknown 959 muc 542
742.09/742.14	c iter 956 time 728.985 not-muc 71977 unknown 958 muc 543
742.09/742.14	c iter 957 time 729.053 not-muc 71977 unknown 957 muc 544
742.09/742.14	c iter 958 time 730.35 not-muc 71978 unknown 956 muc 544
742.09/742.14	c iter 959 time 730.446 not-muc 71978 unknown 955 muc 545
742.09/742.14	c iter 960 time 730.494 not-muc 71978 unknown 954 muc 546
742.09/742.14	c iter 961 time 731.591 not-muc 71979 unknown 953 muc 546
742.09/742.14	c iter 962 time 731.656 not-muc 71979 unknown 952 muc 547
742.09/742.14	c iter 963 time 731.752 not-muc 71979 unknown 951 muc 548
742.09/742.14	c iter 964 time 733.174 not-muc 71980 unknown 950 muc 548
742.09/742.14	c iter 965 time 733.283 not-muc 71980 unknown 949 muc 549
742.09/742.14	c iter 966 time 733.377 not-muc 71980 unknown 948 muc 550
742.09/742.14	c iter 967 time 734.97 not-muc 71982 unknown 946 muc 550
742.09/742.14	c iter 968 time 735.111 not-muc 71982 unknown 945 muc 551
742.09/742.14	c iter 969 time 735.163 not-muc 71982 unknown 944 muc 552
742.09/742.14	c iter 970 time 737.639 not-muc 71983 unknown 943 muc 552
742.09/742.14	c iter 971 time 737.787 not-muc 71983 unknown 942 muc 553
742.09/742.14	c iter 972 time 737.832 not-muc 71983 unknown 941 muc 554
742.09/742.14	c iter 973 time 737.896 not-muc 71983 unknown 940 muc 555
742.09/742.14	c iter 974 time 737.948 not-muc 71983 unknown 939 muc 556
742.09/742.14	c iter 975 time 737.982 not-muc 71983 unknown 938 muc 557
742.09/742.14	c iter 976 time 738.041 not-muc 71983 unknown 937 muc 558
742.09/742.14	c iter 977 time 738.114 not-muc 71983 unknown 936 muc 559
742.09/742.14	c iter 978 time 739.376 not-muc 71986 unknown 933 muc 559
742.09/742.14	c iter 979 time 740.679 not-muc 71987 unknown 932 muc 559
742.09/742.14	c iter 980 time 740.791 not-muc 71987 unknown 931 muc 560
742.09/742.14	c iter 981 time 740.81 not-muc 71987 unknown 930 muc 561
742.09/742.14	c iter 982 time 740.905 not-muc 71987 unknown 929 muc 562
766.39/766.42	c iter 983 time 741.006 not-muc 71987 unknown 928 muc 563
766.39/766.42	c iter 984 time 741.082 not-muc 71987 unknown 927 muc 564
766.39/766.42	c iter 985 time 741.186 not-muc 71987 unknown 926 muc 565
766.39/766.42	c iter 986 time 741.285 not-muc 71987 unknown 925 muc 566
766.39/766.42	c iter 987 time 742.561 not-muc 71988 unknown 924 muc 566
766.39/766.42	c iter 988 time 744.333 not-muc 71989 unknown 923 muc 566
766.39/766.42	c iter 989 time 746.983 not-muc 71990 unknown 922 muc 566
766.39/766.42	c iter 990 time 747.139 not-muc 71990 unknown 921 muc 567
766.39/766.42	c iter 991 time 747.21 not-muc 71990 unknown 920 muc 568
766.39/766.42	c iter 992 time 748.441 not-muc 71992 unknown 918 muc 568
766.39/766.42	c iter 993 time 748.551 not-muc 71992 unknown 917 muc 569
766.39/766.42	c iter 994 time 748.588 not-muc 71992 unknown 916 muc 570
766.39/766.42	c iter 995 time 748.654 not-muc 71992 unknown 915 muc 571
766.39/766.42	c iter 996 time 748.69 not-muc 71992 unknown 914 muc 572
766.39/766.42	c iter 997 time 748.733 not-muc 71992 unknown 913 muc 573
766.39/766.42	c iter 998 time 748.792 not-muc 71992 unknown 912 muc 574
766.39/766.42	c iter 999 time 748.829 not-muc 71992 unknown 911 muc 575
766.39/766.42	c iter 1000 time 748.905 not-muc 71992 unknown 910 muc 576
766.39/766.42	c iter 1001 time 749.02 not-muc 71992 unknown 909 muc 577
766.39/766.42	c iter 1002 time 749.114 not-muc 71992 unknown 908 muc 578
766.39/766.42	c iter 1003 time 749.173 not-muc 71992 unknown 907 muc 579
766.39/766.42	c iter 1004 time 749.276 not-muc 71992 unknown 906 muc 580
766.39/766.42	c iter 1005 time 749.309 not-muc 71992 unknown 905 muc 581
766.39/766.42	c iter 1006 time 749.363 not-muc 71992 unknown 904 muc 582
766.39/766.42	c iter 1007 time 749.472 not-muc 71992 unknown 903 muc 583
766.39/766.42	c iter 1008 time 749.529 not-muc 71992 unknown 902 muc 584
766.39/766.42	c iter 1009 time 749.599 not-muc 71992 unknown 901 muc 585
766.39/766.42	c iter 1010 time 751.509 not-muc 71993 unknown 900 muc 585
766.39/766.42	c iter 1011 time 751.654 not-muc 71993 unknown 899 muc 586
766.39/766.42	c iter 1012 time 751.75 not-muc 71993 unknown 898 muc 587
766.39/766.42	c iter 1013 time 751.821 not-muc 71993 unknown 897 muc 588
766.39/766.42	c iter 1014 time 751.863 not-muc 71993 unknown 896 muc 589
766.39/766.42	c iter 1015 time 751.943 not-muc 71993 unknown 895 muc 590
766.39/766.42	c iter 1016 time 751.994 not-muc 71993 unknown 894 muc 591
766.39/766.42	c iter 1017 time 752.078 not-muc 71993 unknown 893 muc 592
766.39/766.42	c iter 1018 time 752.106 not-muc 71993 unknown 892 muc 593
766.39/766.42	c iter 1019 time 753.316 not-muc 71994 unknown 891 muc 593
766.39/766.42	c iter 1020 time 753.478 not-muc 71994 unknown 890 muc 594
766.39/766.42	c iter 1021 time 753.519 not-muc 71994 unknown 889 muc 595
766.39/766.42	c iter 1022 time 753.615 not-muc 71994 unknown 888 muc 596
766.39/766.42	c iter 1023 time 753.679 not-muc 71994 unknown 887 muc 597
766.39/766.42	c iter 1024 time 753.782 not-muc 71994 unknown 886 muc 598
766.39/766.42	c iter 1025 time 754.994 not-muc 71995 unknown 885 muc 598
766.39/766.42	c iter 1026 time 756.294 not-muc 71996 unknown 884 muc 598
766.39/766.42	c iter 1027 time 756.399 not-muc 71996 unknown 883 muc 599
766.39/766.42	c iter 1028 time 756.501 not-muc 71996 unknown 882 muc 600
766.39/766.42	c iter 1029 time 756.561 not-muc 71996 unknown 881 muc 601
766.39/766.42	c iter 1030 time 756.635 not-muc 71996 unknown 880 muc 602
766.39/766.42	c iter 1031 time 756.703 not-muc 71996 unknown 879 muc 603
766.39/766.42	c iter 1032 time 756.853 not-muc 71996 unknown 878 muc 604
766.39/766.42	c iter 1033 time 756.887 not-muc 71996 unknown 877 muc 605
766.39/766.42	c iter 1034 time 756.985 not-muc 71996 unknown 876 muc 606
766.39/766.42	c iter 1035 time 757.036 not-muc 71996 unknown 875 muc 607
766.39/766.42	c iter 1036 time 757.071 not-muc 71996 unknown 874 muc 608
766.39/766.42	c iter 1037 time 759.447 not-muc 71997 unknown 873 muc 608
766.39/766.42	c iter 1038 time 759.606 not-muc 71997 unknown 872 muc 609
766.39/766.42	c iter 1039 time 759.714 not-muc 71997 unknown 871 muc 610
766.39/766.42	c iter 1040 time 759.819 not-muc 71997 unknown 870 muc 611
766.39/766.42	c iter 1041 time 759.942 not-muc 71997 unknown 869 muc 612
766.39/766.42	c iter 1042 time 762.516 not-muc 71999 unknown 867 muc 612
766.39/766.42	c iter 1043 time 762.616 not-muc 71999 unknown 866 muc 613
766.39/766.42	c iter 1044 time 762.849 not-muc 71999 unknown 865 muc 614
766.39/766.42	c iter 1045 time 762.889 not-muc 71999 unknown 864 muc 615
766.39/766.42	c iter 1046 time 762.926 not-muc 71999 unknown 863 muc 616
766.39/766.42	c iter 1047 time 762.989 not-muc 71999 unknown 862 muc 617
766.39/766.42	c iter 1048 time 764.31 not-muc 72000 unknown 861 muc 617
766.39/766.42	c iter 1049 time 764.866 not-muc 72002 unknown 859 muc 617
766.39/766.42	c iter 1050 time 764.95 not-muc 72002 unknown 858 muc 618
766.39/766.42	c iter 1051 time 765.056 not-muc 72002 unknown 857 muc 619
766.39/766.42	c iter 1052 time 765.155 not-muc 72002 unknown 856 muc 620
792.00/792.06	c iter 1053 time 767.636 not-muc 72005 unknown 853 muc 620
792.00/792.06	c iter 1054 time 767.754 not-muc 72005 unknown 852 muc 621
792.00/792.06	c iter 1055 time 767.814 not-muc 72005 unknown 851 muc 622
792.00/792.06	c iter 1056 time 767.926 not-muc 72005 unknown 850 muc 623
792.00/792.06	c iter 1057 time 767.969 not-muc 72005 unknown 849 muc 624
792.00/792.06	c iter 1058 time 768.018 not-muc 72005 unknown 848 muc 625
792.00/792.06	c iter 1059 time 768.089 not-muc 72005 unknown 847 muc 626
792.00/792.06	c iter 1060 time 768.118 not-muc 72005 unknown 846 muc 627
792.00/792.06	c iter 1061 time 768.148 not-muc 72005 unknown 845 muc 628
792.00/792.06	c iter 1062 time 768.201 not-muc 72005 unknown 844 muc 629
792.00/792.06	c iter 1063 time 768.262 not-muc 72005 unknown 843 muc 630
792.00/792.06	c iter 1064 time 768.318 not-muc 72005 unknown 842 muc 631
792.00/792.06	c iter 1065 time 768.427 not-muc 72005 unknown 841 muc 632
792.00/792.06	c iter 1066 time 768.49 not-muc 72005 unknown 840 muc 633
792.00/792.06	c iter 1067 time 769.038 not-muc 72005 unknown 839 muc 634
792.00/792.06	c iter 1068 time 769.135 not-muc 72005 unknown 838 muc 635
792.00/792.06	c iter 1069 time 769.198 not-muc 72005 unknown 837 muc 636
792.00/792.06	c iter 1070 time 769.24 not-muc 72005 unknown 836 muc 637
792.00/792.06	c iter 1071 time 771.654 not-muc 72006 unknown 835 muc 637
792.00/792.06	c iter 1072 time 771.811 not-muc 72006 unknown 834 muc 638
792.00/792.06	c iter 1073 time 774.244 not-muc 72007 unknown 833 muc 638
792.00/792.06	c iter 1074 time 774.372 not-muc 72007 unknown 832 muc 639
792.00/792.06	c iter 1075 time 774.421 not-muc 72007 unknown 831 muc 640
792.00/792.06	c iter 1076 time 774.485 not-muc 72007 unknown 830 muc 641
792.00/792.06	c iter 1077 time 774.541 not-muc 72007 unknown 829 muc 642
792.00/792.06	c iter 1078 time 776.002 not-muc 72008 unknown 828 muc 642
792.00/792.06	c iter 1079 time 776.167 not-muc 72008 unknown 827 muc 643
792.00/792.06	c iter 1080 time 776.212 not-muc 72008 unknown 826 muc 644
792.00/792.06	c iter 1081 time 776.254 not-muc 72008 unknown 825 muc 645
792.00/792.06	c iter 1082 time 776.352 not-muc 72008 unknown 824 muc 646
792.00/792.06	c iter 1083 time 776.448 not-muc 72008 unknown 823 muc 647
792.00/792.06	c iter 1084 time 776.517 not-muc 72008 unknown 822 muc 648
792.00/792.06	c iter 1085 time 776.549 not-muc 72008 unknown 821 muc 649
792.00/792.06	c iter 1086 time 776.587 not-muc 72008 unknown 820 muc 650
792.00/792.06	c iter 1087 time 776.671 not-muc 72008 unknown 819 muc 651
792.00/792.06	c iter 1088 time 777.953 not-muc 72010 unknown 817 muc 651
792.00/792.06	c iter 1089 time 778.082 not-muc 72010 unknown 816 muc 652
792.00/792.06	c iter 1090 time 778.176 not-muc 72010 unknown 815 muc 653
792.00/792.06	c iter 1091 time 778.26 not-muc 72010 unknown 814 muc 654
792.00/792.06	c iter 1092 time 778.312 not-muc 72010 unknown 813 muc 655
792.00/792.06	c iter 1093 time 778.406 not-muc 72010 unknown 812 muc 656
792.00/792.06	c iter 1094 time 778.503 not-muc 72010 unknown 811 muc 657
792.00/792.06	c iter 1095 time 778.634 not-muc 72010 unknown 810 muc 658
792.00/792.06	c iter 1096 time 778.708 not-muc 72010 unknown 809 muc 659
792.00/792.06	c iter 1097 time 778.735 not-muc 72010 unknown 808 muc 660
792.00/792.06	c iter 1098 time 778.812 not-muc 72010 unknown 807 muc 661
792.00/792.06	c iter 1099 time 779.304 not-muc 72010 unknown 806 muc 662
792.00/792.06	c iter 1100 time 779.367 not-muc 72010 unknown 805 muc 663
792.00/792.06	c iter 1101 time 781.731 not-muc 72011 unknown 804 muc 663
792.00/792.06	c iter 1102 time 782.085 not-muc 72011 unknown 803 muc 664
792.00/792.06	c iter 1103 time 782.177 not-muc 72011 unknown 802 muc 665
792.00/792.06	c iter 1104 time 784.603 not-muc 72012 unknown 801 muc 665
792.00/792.06	c iter 1105 time 784.731 not-muc 72012 unknown 800 muc 666
792.00/792.06	c iter 1106 time 784.785 not-muc 72012 unknown 799 muc 667
792.00/792.06	c iter 1107 time 784.824 not-muc 72012 unknown 798 muc 668
792.00/792.06	c iter 1108 time 784.899 not-muc 72012 unknown 797 muc 669
792.00/792.06	c iter 1109 time 785.024 not-muc 72012 unknown 796 muc 670
792.00/792.06	c iter 1110 time 785.062 not-muc 72012 unknown 795 muc 671
792.00/792.06	c iter 1111 time 785.118 not-muc 72012 unknown 794 muc 672
792.00/792.06	c iter 1112 time 785.161 not-muc 72012 unknown 793 muc 673
792.00/792.06	c iter 1113 time 787.445 not-muc 72013 unknown 792 muc 673
792.00/792.06	c iter 1114 time 787.557 not-muc 72013 unknown 791 muc 674
792.00/792.06	c iter 1115 time 787.624 not-muc 72013 unknown 790 muc 675
792.00/792.06	c iter 1116 time 787.663 not-muc 72013 unknown 789 muc 676
792.00/792.06	c iter 1117 time 787.747 not-muc 72013 unknown 788 muc 677
792.00/792.06	c iter 1118 time 788.014 not-muc 72013 unknown 787 muc 678
792.00/792.06	c iter 1119 time 790.429 not-muc 72014 unknown 786 muc 678
792.00/792.06	c iter 1120 time 790.597 not-muc 72014 unknown 785 muc 679
792.00/792.06	c iter 1121 time 790.663 not-muc 72014 unknown 784 muc 680
792.00/792.06	c iter 1122 time 790.763 not-muc 72014 unknown 783 muc 681
829.79/829.81	c iter 1123 time 790.848 not-muc 72014 unknown 782 muc 682
829.79/829.81	c iter 1124 time 793.713 not-muc 72015 unknown 781 muc 682
829.79/829.81	c iter 1125 time 793.888 not-muc 72015 unknown 780 muc 683
829.79/829.81	c iter 1126 time 793.96 not-muc 72015 unknown 779 muc 684
829.79/829.81	c iter 1127 time 795.224 not-muc 72016 unknown 778 muc 684
829.79/829.81	c iter 1128 time 795.37 not-muc 72016 unknown 777 muc 685
829.79/829.81	c iter 1129 time 795.397 not-muc 72016 unknown 776 muc 686
829.79/829.81	c iter 1130 time 795.504 not-muc 72016 unknown 775 muc 687
829.79/829.81	c iter 1131 time 795.59 not-muc 72016 unknown 774 muc 688
829.79/829.81	c iter 1132 time 795.616 not-muc 72016 unknown 773 muc 689
829.79/829.81	c iter 1133 time 795.674 not-muc 72016 unknown 772 muc 690
829.79/829.81	c iter 1134 time 797.033 not-muc 72017 unknown 771 muc 690
829.79/829.81	c iter 1135 time 797.163 not-muc 72017 unknown 770 muc 691
829.79/829.81	c iter 1136 time 798.42 not-muc 72018 unknown 769 muc 691
829.79/829.81	c iter 1137 time 798.522 not-muc 72018 unknown 768 muc 692
829.79/829.81	c iter 1138 time 798.599 not-muc 72018 unknown 767 muc 693
829.79/829.81	c iter 1139 time 798.673 not-muc 72018 unknown 766 muc 694
829.79/829.81	c iter 1140 time 798.737 not-muc 72018 unknown 765 muc 695
829.79/829.81	c iter 1141 time 798.808 not-muc 72018 unknown 764 muc 696
829.79/829.81	c iter 1142 time 801.121 not-muc 72019 unknown 763 muc 696
829.79/829.81	c iter 1143 time 801.265 not-muc 72019 unknown 762 muc 697
829.79/829.81	c iter 1144 time 801.37 not-muc 72019 unknown 761 muc 698
829.79/829.81	c iter 1145 time 801.449 not-muc 72019 unknown 760 muc 699
829.79/829.81	c iter 1146 time 801.525 not-muc 72019 unknown 759 muc 700
829.79/829.81	c iter 1147 time 802.724 not-muc 72022 unknown 756 muc 700
829.79/829.81	c iter 1148 time 802.884 not-muc 72022 unknown 755 muc 701
829.79/829.81	c iter 1149 time 802.95 not-muc 72022 unknown 754 muc 702
829.79/829.81	c iter 1150 time 803.025 not-muc 72022 unknown 753 muc 703
829.79/829.81	c iter 1151 time 803.126 not-muc 72022 unknown 752 muc 704
829.79/829.81	c iter 1152 time 803.184 not-muc 72022 unknown 751 muc 705
829.79/829.81	c iter 1153 time 803.276 not-muc 72022 unknown 750 muc 706
829.79/829.81	c iter 1154 time 805.531 not-muc 72023 unknown 749 muc 706
829.79/829.81	c iter 1155 time 805.674 not-muc 72023 unknown 748 muc 707
829.79/829.81	c iter 1156 time 805.705 not-muc 72023 unknown 747 muc 708
829.79/829.81	c iter 1157 time 807.573 not-muc 72024 unknown 746 muc 708
829.79/829.81	c iter 1158 time 807.705 not-muc 72024 unknown 745 muc 709
829.79/829.81	c iter 1159 time 807.746 not-muc 72024 unknown 744 muc 710
829.79/829.81	c iter 1160 time 807.848 not-muc 72024 unknown 743 muc 711
829.79/829.81	c iter 1161 time 807.905 not-muc 72024 unknown 742 muc 712
829.79/829.81	c iter 1162 time 808.019 not-muc 72024 unknown 741 muc 713
829.79/829.81	c iter 1163 time 808.147 not-muc 72024 unknown 740 muc 714
829.79/829.81	c iter 1164 time 809.302 not-muc 72025 unknown 739 muc 714
829.79/829.81	c iter 1165 time 811.624 not-muc 72030 unknown 734 muc 714
829.79/829.81	c iter 1166 time 813.444 not-muc 72031 unknown 733 muc 714
829.79/829.81	c iter 1167 time 813.58 not-muc 72031 unknown 732 muc 715
829.79/829.81	c iter 1168 time 815.855 not-muc 72032 unknown 731 muc 715
829.79/829.81	c iter 1169 time 818.518 not-muc 72033 unknown 730 muc 715
829.79/829.81	c iter 1170 time 818.654 not-muc 72033 unknown 729 muc 716
829.79/829.81	c iter 1171 time 818.716 not-muc 72033 unknown 728 muc 717
829.79/829.81	c iter 1172 time 818.767 not-muc 72033 unknown 727 muc 718
829.79/829.81	c iter 1173 time 818.837 not-muc 72033 unknown 726 muc 719
829.79/829.81	c iter 1174 time 820.276 not-muc 72034 unknown 725 muc 719
829.79/829.81	c iter 1175 time 822.683 not-muc 72035 unknown 724 muc 719
829.79/829.81	c iter 1176 time 823.951 not-muc 72036 unknown 723 muc 719
829.79/829.81	c iter 1177 time 824.049 not-muc 72036 unknown 722 muc 720
829.79/829.81	c iter 1178 time 824.076 not-muc 72036 unknown 721 muc 721
829.79/829.81	c iter 1179 time 824.159 not-muc 72036 unknown 720 muc 722
829.79/829.81	c iter 1180 time 824.225 not-muc 72036 unknown 719 muc 723
829.79/829.81	c iter 1181 time 824.281 not-muc 72036 unknown 718 muc 724
829.79/829.81	c iter 1182 time 824.399 not-muc 72036 unknown 717 muc 725
829.79/829.81	c iter 1183 time 824.461 not-muc 72036 unknown 716 muc 726
829.79/829.81	c iter 1184 time 824.543 not-muc 72036 unknown 715 muc 727
829.79/829.81	c iter 1185 time 824.592 not-muc 72036 unknown 714 muc 728
829.79/829.81	c iter 1186 time 824.627 not-muc 72036 unknown 713 muc 729
829.79/829.81	c iter 1187 time 824.655 not-muc 72036 unknown 712 muc 730
829.79/829.81	c iter 1188 time 827.089 not-muc 72037 unknown 711 muc 730
829.79/829.81	c iter 1189 time 827.253 not-muc 72037 unknown 710 muc 731
829.79/829.81	c iter 1190 time 827.333 not-muc 72037 unknown 709 muc 732
829.79/829.81	c iter 1191 time 828.481 not-muc 72039 unknown 707 muc 732
855.59/855.65	c iter 1192 time 828.667 not-muc 72039 unknown 706 muc 733
855.59/855.65	c iter 1193 time 829.91 not-muc 72040 unknown 705 muc 733
855.59/855.65	c iter 1194 time 830.025 not-muc 72040 unknown 704 muc 734
855.59/855.65	c iter 1195 time 831.853 not-muc 72046 unknown 698 muc 734
855.59/855.65	c iter 1196 time 831.979 not-muc 72046 unknown 697 muc 735
855.59/855.65	c iter 1197 time 832.118 not-muc 72046 unknown 696 muc 736
855.59/855.65	c iter 1198 time 832.226 not-muc 72046 unknown 695 muc 737
855.59/855.65	c iter 1199 time 832.298 not-muc 72046 unknown 694 muc 738
855.59/855.65	c iter 1200 time 832.391 not-muc 72046 unknown 693 muc 739
855.59/855.65	c iter 1201 time 832.479 not-muc 72046 unknown 692 muc 740
855.59/855.65	c iter 1202 time 832.583 not-muc 72046 unknown 691 muc 741
855.59/855.65	c iter 1203 time 832.646 not-muc 72046 unknown 690 muc 742
855.59/855.65	c iter 1204 time 833.865 not-muc 72047 unknown 689 muc 742
855.59/855.65	c iter 1205 time 834.051 not-muc 72047 unknown 688 muc 743
855.59/855.65	c iter 1206 time 835.131 not-muc 72048 unknown 687 muc 743
855.59/855.65	c iter 1207 time 835.297 not-muc 72048 unknown 686 muc 744
855.59/855.65	c iter 1208 time 835.347 not-muc 72048 unknown 685 muc 745
855.59/855.65	c iter 1209 time 835.403 not-muc 72048 unknown 684 muc 746
855.59/855.65	c iter 1210 time 835.44 not-muc 72048 unknown 683 muc 747
855.59/855.65	c iter 1211 time 835.46 not-muc 72048 unknown 682 muc 748
855.59/855.65	c iter 1212 time 835.522 not-muc 72048 unknown 681 muc 749
855.59/855.65	c iter 1213 time 835.553 not-muc 72048 unknown 680 muc 750
855.59/855.65	c iter 1214 time 835.607 not-muc 72048 unknown 679 muc 751
855.59/855.65	c iter 1215 time 835.661 not-muc 72048 unknown 678 muc 752
855.59/855.65	c iter 1216 time 835.76 not-muc 72048 unknown 677 muc 753
855.59/855.65	c iter 1217 time 835.787 not-muc 72048 unknown 676 muc 754
855.59/855.65	c iter 1218 time 835.84 not-muc 72048 unknown 675 muc 755
855.59/855.65	c iter 1219 time 836.062 not-muc 72048 unknown 674 muc 756
855.59/855.65	c iter 1220 time 836.1 not-muc 72048 unknown 673 muc 757
855.59/855.65	c iter 1221 time 836.16 not-muc 72048 unknown 672 muc 758
855.59/855.65	c iter 1222 time 836.195 not-muc 72048 unknown 671 muc 759
855.59/855.65	c iter 1223 time 836.291 not-muc 72048 unknown 670 muc 760
855.59/855.65	c iter 1224 time 837.646 not-muc 72049 unknown 669 muc 760
855.59/855.65	c iter 1225 time 837.773 not-muc 72049 unknown 668 muc 761
855.59/855.65	c iter 1226 time 837.889 not-muc 72049 unknown 667 muc 762
855.59/855.65	c iter 1227 time 837.915 not-muc 72049 unknown 666 muc 763
855.59/855.65	c iter 1228 time 838.025 not-muc 72049 unknown 665 muc 764
855.59/855.65	c iter 1229 time 838.144 not-muc 72049 unknown 664 muc 765
855.59/855.65	c iter 1230 time 838.192 not-muc 72049 unknown 663 muc 766
855.59/855.65	c iter 1231 time 838.217 not-muc 72049 unknown 662 muc 767
855.59/855.65	c iter 1232 time 838.269 not-muc 72049 unknown 661 muc 768
855.59/855.65	c iter 1233 time 838.346 not-muc 72049 unknown 660 muc 769
855.59/855.65	c iter 1234 time 838.4 not-muc 72049 unknown 659 muc 770
855.59/855.65	c iter 1235 time 838.459 not-muc 72049 unknown 658 muc 771
855.59/855.65	c iter 1236 time 838.562 not-muc 72049 unknown 657 muc 772
855.59/855.65	c iter 1237 time 838.638 not-muc 72049 unknown 656 muc 773
855.59/855.65	c iter 1238 time 840.607 not-muc 72050 unknown 655 muc 773
855.59/855.65	c iter 1239 time 843.233 not-muc 72051 unknown 654 muc 773
855.59/855.65	c iter 1240 time 843.816 not-muc 72051 unknown 653 muc 774
855.59/855.65	c iter 1241 time 843.871 not-muc 72051 unknown 652 muc 775
855.59/855.65	c iter 1242 time 843.914 not-muc 72051 unknown 651 muc 776
855.59/855.65	c iter 1243 time 843.983 not-muc 72051 unknown 650 muc 777
855.59/855.65	c iter 1244 time 844.064 not-muc 72051 unknown 649 muc 778
855.59/855.65	c iter 1245 time 844.136 not-muc 72051 unknown 648 muc 779
855.59/855.65	c iter 1246 time 846.433 not-muc 72052 unknown 647 muc 779
855.59/855.65	c iter 1247 time 846.579 not-muc 72052 unknown 646 muc 780
855.59/855.65	c iter 1248 time 846.626 not-muc 72052 unknown 645 muc 781
855.59/855.65	c iter 1249 time 846.676 not-muc 72052 unknown 644 muc 782
855.59/855.65	c iter 1250 time 848.248 not-muc 72053 unknown 643 muc 782
855.59/855.65	c iter 1251 time 848.37 not-muc 72053 unknown 642 muc 783
855.59/855.65	c iter 1252 time 850.099 not-muc 72054 unknown 641 muc 783
855.59/855.65	c iter 1253 time 850.231 not-muc 72054 unknown 640 muc 784
855.59/855.65	c iter 1254 time 850.291 not-muc 72054 unknown 639 muc 785
855.59/855.65	c iter 1255 time 850.404 not-muc 72054 unknown 638 muc 786
855.59/855.65	c iter 1256 time 850.45 not-muc 72054 unknown 637 muc 787
855.59/855.65	c iter 1257 time 850.548 not-muc 72054 unknown 636 muc 788
855.59/855.65	c iter 1258 time 851.914 not-muc 72055 unknown 635 muc 788
855.59/855.65	c iter 1259 time 854.016 not-muc 72056 unknown 634 muc 788
855.59/855.65	c iter 1260 time 854.181 not-muc 72056 unknown 633 muc 789
855.59/855.65	c iter 1261 time 854.295 not-muc 72056 unknown 632 muc 790
887.39/887.42	c iter 1262 time 854.385 not-muc 72056 unknown 631 muc 791
887.39/887.42	c iter 1263 time 854.43 not-muc 72056 unknown 630 muc 792
887.39/887.42	c iter 1264 time 855.684 not-muc 72057 unknown 629 muc 792
887.39/887.42	c iter 1265 time 855.861 not-muc 72057 unknown 628 muc 793
887.39/887.42	c iter 1266 time 855.956 not-muc 72057 unknown 627 muc 794
887.39/887.42	c iter 1267 time 858.327 not-muc 72058 unknown 626 muc 794
887.39/887.42	c iter 1268 time 860.81 not-muc 72059 unknown 625 muc 794
887.39/887.42	c iter 1269 time 860.933 not-muc 72059 unknown 624 muc 795
887.39/887.42	c iter 1270 time 861.022 not-muc 72059 unknown 623 muc 796
887.39/887.42	c iter 1271 time 861.099 not-muc 72059 unknown 622 muc 797
887.39/887.42	c iter 1272 time 861.165 not-muc 72059 unknown 621 muc 798
887.39/887.42	c iter 1273 time 862.535 not-muc 72060 unknown 620 muc 798
887.39/887.42	c iter 1274 time 863.758 not-muc 72061 unknown 619 muc 798
887.39/887.42	c iter 1275 time 863.854 not-muc 72061 unknown 618 muc 799
887.39/887.42	c iter 1276 time 863.916 not-muc 72061 unknown 617 muc 800
887.39/887.42	c iter 1277 time 863.946 not-muc 72061 unknown 616 muc 801
887.39/887.42	c iter 1278 time 864.018 not-muc 72061 unknown 615 muc 802
887.39/887.42	c iter 1279 time 864.097 not-muc 72061 unknown 614 muc 803
887.39/887.42	c iter 1280 time 864.127 not-muc 72061 unknown 613 muc 804
887.39/887.42	c iter 1281 time 866.502 not-muc 72063 unknown 611 muc 804
887.39/887.42	c iter 1282 time 866.636 not-muc 72063 unknown 610 muc 805
887.39/887.42	c iter 1283 time 866.658 not-muc 72063 unknown 609 muc 806
887.39/887.42	c iter 1284 time 867.854 not-muc 72067 unknown 605 muc 806
887.39/887.42	c iter 1285 time 868.033 not-muc 72067 unknown 604 muc 807
887.39/887.42	c iter 1286 time 869.368 not-muc 72068 unknown 603 muc 807
887.39/887.42	c iter 1287 time 869.532 not-muc 72068 unknown 602 muc 808
887.39/887.42	c iter 1288 time 869.57 not-muc 72068 unknown 601 muc 809
887.39/887.42	c iter 1289 time 869.628 not-muc 72068 unknown 600 muc 810
887.39/887.42	c iter 1290 time 869.672 not-muc 72068 unknown 599 muc 811
887.39/887.42	c iter 1291 time 869.759 not-muc 72068 unknown 598 muc 812
887.39/887.42	c iter 1292 time 869.876 not-muc 72068 unknown 597 muc 813
887.39/887.42	c iter 1293 time 869.999 not-muc 72068 unknown 596 muc 814
887.39/887.42	c iter 1294 time 870.064 not-muc 72068 unknown 595 muc 815
887.39/887.42	c iter 1295 time 870.148 not-muc 72068 unknown 594 muc 816
887.39/887.42	c iter 1296 time 870.188 not-muc 72068 unknown 593 muc 817
887.39/887.42	c iter 1297 time 871.476 not-muc 72069 unknown 592 muc 817
887.39/887.42	c iter 1298 time 871.609 not-muc 72069 unknown 591 muc 818
887.39/887.42	c iter 1299 time 871.655 not-muc 72069 unknown 590 muc 819
887.39/887.42	c iter 1300 time 873.96 not-muc 72070 unknown 589 muc 819
887.39/887.42	c iter 1301 time 875.411 not-muc 72071 unknown 588 muc 819
887.39/887.42	c iter 1302 time 875.512 not-muc 72071 unknown 587 muc 820
887.39/887.42	c iter 1303 time 875.616 not-muc 72071 unknown 586 muc 821
887.39/887.42	c iter 1304 time 875.658 not-muc 72071 unknown 585 muc 822
887.39/887.42	c iter 1305 time 875.703 not-muc 72071 unknown 584 muc 823
887.39/887.42	c iter 1306 time 875.77 not-muc 72071 unknown 583 muc 824
887.39/887.42	c iter 1307 time 876.357 not-muc 72071 unknown 582 muc 825
887.39/887.42	c iter 1308 time 877.618 not-muc 72072 unknown 581 muc 825
887.39/887.42	c iter 1309 time 877.749 not-muc 72072 unknown 580 muc 826
887.39/887.42	c iter 1310 time 877.859 not-muc 72072 unknown 579 muc 827
887.39/887.42	c iter 1311 time 877.932 not-muc 72072 unknown 578 muc 828
887.39/887.42	c iter 1312 time 878.041 not-muc 72072 unknown 577 muc 829
887.39/887.42	c iter 1313 time 878.12 not-muc 72072 unknown 576 muc 830
887.39/887.42	c iter 1314 time 878.153 not-muc 72072 unknown 575 muc 831
887.39/887.42	c iter 1315 time 878.257 not-muc 72072 unknown 574 muc 832
887.39/887.42	c iter 1316 time 878.274 not-muc 72072 unknown 573 muc 833
887.39/887.42	c iter 1317 time 878.392 not-muc 72072 unknown 572 muc 834
887.39/887.42	c iter 1318 time 878.449 not-muc 72072 unknown 571 muc 835
887.39/887.42	c iter 1319 time 878.49 not-muc 72072 unknown 570 muc 836
887.39/887.42	c iter 1320 time 878.555 not-muc 72072 unknown 569 muc 837
887.39/887.42	c iter 1321 time 878.607 not-muc 72072 unknown 568 muc 838
887.39/887.42	c iter 1322 time 878.676 not-muc 72072 unknown 567 muc 839
887.39/887.42	c iter 1323 time 880.986 not-muc 72073 unknown 566 muc 839
887.39/887.42	c iter 1324 time 881.089 not-muc 72073 unknown 565 muc 840
887.39/887.42	c iter 1325 time 881.121 not-muc 72073 unknown 564 muc 841
887.39/887.42	c iter 1326 time 881.179 not-muc 72073 unknown 563 muc 842
887.39/887.42	c iter 1327 time 881.247 not-muc 72073 unknown 562 muc 843
887.39/887.42	c iter 1328 time 883.529 not-muc 72074 unknown 561 muc 843
887.39/887.42	c iter 1329 time 883.642 not-muc 72074 unknown 560 muc 844
887.39/887.42	c iter 1330 time 886.024 not-muc 72075 unknown 559 muc 844
905.48/905.58	c iter 1331 time 886.13 not-muc 72075 unknown 558 muc 845
905.48/905.58	c iter 1332 time 886.245 not-muc 72075 unknown 557 muc 846
905.48/905.58	c iter 1333 time 886.326 not-muc 72075 unknown 556 muc 847
905.48/905.58	c iter 1334 time 886.385 not-muc 72075 unknown 555 muc 848
905.48/905.58	c iter 1335 time 886.436 not-muc 72075 unknown 554 muc 849
905.48/905.58	c iter 1336 time 887.709 not-muc 72076 unknown 553 muc 849
905.48/905.58	c iter 1337 time 887.855 not-muc 72076 unknown 552 muc 850
905.48/905.58	c iter 1338 time 887.973 not-muc 72076 unknown 551 muc 851
905.48/905.58	c iter 1339 time 887.998 not-muc 72076 unknown 550 muc 852
905.48/905.58	c iter 1340 time 889.852 not-muc 72077 unknown 549 muc 852
905.48/905.58	c iter 1341 time 890.033 not-muc 72077 unknown 548 muc 853
905.48/905.58	c iter 1342 time 890.061 not-muc 72077 unknown 547 muc 854
905.48/905.58	c iter 1343 time 890.143 not-muc 72077 unknown 546 muc 855
905.48/905.58	c iter 1344 time 890.243 not-muc 72077 unknown 545 muc 856
905.48/905.58	c iter 1345 time 890.271 not-muc 72077 unknown 544 muc 857
905.48/905.58	c iter 1346 time 890.353 not-muc 72077 unknown 543 muc 858
905.48/905.58	c iter 1347 time 892.766 not-muc 72078 unknown 542 muc 858
905.48/905.58	c iter 1348 time 892.897 not-muc 72078 unknown 541 muc 859
905.48/905.58	c iter 1349 time 892.935 not-muc 72078 unknown 540 muc 860
905.48/905.58	c iter 1350 time 893.029 not-muc 72078 unknown 539 muc 861
905.48/905.58	c iter 1351 time 893.101 not-muc 72078 unknown 538 muc 862
905.48/905.58	c iter 1352 time 893.14 not-muc 72078 unknown 537 muc 863
905.48/905.58	c iter 1353 time 893.247 not-muc 72078 unknown 536 muc 864
905.48/905.58	c iter 1354 time 893.362 not-muc 72078 unknown 535 muc 865
905.48/905.58	c iter 1355 time 893.377 not-muc 72078 unknown 534 muc 866
905.48/905.58	c iter 1356 time 893.416 not-muc 72078 unknown 533 muc 867
905.48/905.58	c iter 1357 time 893.427 not-muc 72078 unknown 532 muc 868
905.48/905.58	c iter 1358 time 895.05 not-muc 72079 unknown 531 muc 868
905.48/905.58	c iter 1359 time 895.181 not-muc 72079 unknown 530 muc 869
905.48/905.58	c iter 1360 time 895.255 not-muc 72079 unknown 529 muc 870
905.48/905.58	c iter 1361 time 895.308 not-muc 72079 unknown 528 muc 871
905.48/905.58	c iter 1362 time 895.428 not-muc 72079 unknown 527 muc 872
905.48/905.58	c iter 1363 time 895.551 not-muc 72079 unknown 526 muc 873
905.48/905.58	c iter 1364 time 895.681 not-muc 72079 unknown 525 muc 874
905.48/905.58	c iter 1365 time 895.776 not-muc 72079 unknown 524 muc 875
905.48/905.58	c iter 1366 time 896.151 not-muc 72079 unknown 523 muc 876
905.48/905.58	c iter 1367 time 896.228 not-muc 72079 unknown 522 muc 877
905.48/905.58	c iter 1368 time 896.266 not-muc 72079 unknown 521 muc 878
905.48/905.58	c iter 1369 time 896.346 not-muc 72079 unknown 520 muc 879
905.48/905.58	c iter 1370 time 898.026 not-muc 72080 unknown 519 muc 879
905.48/905.58	c iter 1371 time 898.134 not-muc 72080 unknown 518 muc 880
905.48/905.58	c iter 1372 time 898.267 not-muc 72080 unknown 517 muc 881
905.48/905.58	c iter 1373 time 898.314 not-muc 72080 unknown 516 muc 882
905.48/905.58	c iter 1374 time 898.347 not-muc 72080 unknown 515 muc 883
905.48/905.58	c iter 1375 time 898.387 not-muc 72080 unknown 514 muc 884
905.48/905.58	c iter 1376 time 898.464 not-muc 72080 unknown 513 muc 885
905.48/905.58	c iter 1377 time 900.227 not-muc 72081 unknown 512 muc 885
905.48/905.58	c iter 1378 time 900.413 not-muc 72081 unknown 511 muc 886
905.48/905.58	c iter 1379 time 900.448 not-muc 72081 unknown 510 muc 887
905.48/905.58	c iter 1380 time 900.515 not-muc 72081 unknown 509 muc 888
905.48/905.58	c iter 1381 time 900.553 not-muc 72081 unknown 508 muc 889
905.48/905.58	c iter 1382 time 900.588 not-muc 72081 unknown 507 muc 890
905.48/905.58	c iter 1383 time 900.671 not-muc 72081 unknown 506 muc 891
905.48/905.58	c iter 1384 time 900.723 not-muc 72081 unknown 505 muc 892
905.48/905.58	c iter 1385 time 900.805 not-muc 72081 unknown 504 muc 893
905.48/905.58	c iter 1386 time 900.84 not-muc 72081 unknown 503 muc 894
905.48/905.58	c iter 1387 time 902.104 not-muc 72082 unknown 502 muc 894
905.48/905.58	c iter 1388 time 902.198 not-muc 72082 unknown 501 muc 895
905.48/905.58	c iter 1389 time 903.237 not-muc 72084 unknown 499 muc 895
905.48/905.58	c iter 1390 time 903.373 not-muc 72084 unknown 498 muc 896
905.48/905.58	c iter 1391 time 903.463 not-muc 72084 unknown 497 muc 897
905.48/905.58	c iter 1392 time 903.573 not-muc 72084 unknown 496 muc 898
905.48/905.58	c iter 1393 time 903.64 not-muc 72084 unknown 495 muc 899
905.48/905.58	c iter 1394 time 903.806 not-muc 72084 unknown 494 muc 900
905.48/905.58	c iter 1395 time 903.832 not-muc 72084 unknown 493 muc 901
905.48/905.58	c iter 1396 time 903.894 not-muc 72084 unknown 492 muc 902
905.48/905.58	c iter 1397 time 903.959 not-muc 72084 unknown 491 muc 903
905.48/905.58	c iter 1398 time 904.001 not-muc 72084 unknown 490 muc 904
905.48/905.58	c iter 1399 time 904.118 not-muc 72084 unknown 489 muc 905
905.48/905.58	c iter 1400 time 904.173 not-muc 72084 unknown 488 muc 906
923.90/923.96	c iter 1401 time 904.285 not-muc 72084 unknown 487 muc 907
923.90/923.96	c iter 1402 time 906.389 not-muc 72085 unknown 486 muc 907
923.90/923.96	c iter 1403 time 906.572 not-muc 72085 unknown 485 muc 908
923.90/923.96	c iter 1404 time 906.68 not-muc 72085 unknown 484 muc 909
923.90/923.96	c iter 1405 time 906.809 not-muc 72085 unknown 483 muc 910
923.90/923.96	c iter 1406 time 906.883 not-muc 72085 unknown 482 muc 911
923.90/923.96	c iter 1407 time 906.976 not-muc 72085 unknown 481 muc 912
923.90/923.96	c iter 1408 time 907.065 not-muc 72085 unknown 480 muc 913
923.90/923.96	c iter 1409 time 907.141 not-muc 72085 unknown 479 muc 914
923.90/923.96	c iter 1410 time 907.223 not-muc 72085 unknown 478 muc 915
923.90/923.96	c iter 1411 time 907.325 not-muc 72085 unknown 477 muc 916
923.90/923.96	c iter 1412 time 907.388 not-muc 72085 unknown 476 muc 917
923.90/923.96	c iter 1413 time 907.471 not-muc 72085 unknown 475 muc 918
923.90/923.96	c iter 1414 time 907.547 not-muc 72085 unknown 474 muc 919
923.90/923.96	c iter 1415 time 907.606 not-muc 72085 unknown 473 muc 920
923.90/923.96	c iter 1416 time 907.662 not-muc 72085 unknown 472 muc 921
923.90/923.96	c iter 1417 time 907.75 not-muc 72085 unknown 471 muc 922
923.90/923.96	c iter 1418 time 907.785 not-muc 72085 unknown 470 muc 923
923.90/923.96	c iter 1419 time 907.952 not-muc 72085 unknown 469 muc 924
923.90/923.96	c iter 1420 time 908.055 not-muc 72085 unknown 468 muc 925
923.90/923.96	c iter 1421 time 908.184 not-muc 72085 unknown 467 muc 926
923.90/923.96	c iter 1422 time 908.278 not-muc 72085 unknown 466 muc 927
923.90/923.96	c iter 1423 time 908.331 not-muc 72085 unknown 465 muc 928
923.90/923.96	c iter 1424 time 908.404 not-muc 72085 unknown 464 muc 929
923.90/923.96	c iter 1425 time 908.491 not-muc 72085 unknown 463 muc 930
923.90/923.96	c iter 1426 time 908.58 not-muc 72085 unknown 462 muc 931
923.90/923.96	c iter 1427 time 908.681 not-muc 72085 unknown 461 muc 932
923.90/923.96	c iter 1428 time 908.745 not-muc 72085 unknown 460 muc 933
923.90/923.96	c iter 1429 time 908.833 not-muc 72085 unknown 459 muc 934
923.90/923.96	c iter 1430 time 908.893 not-muc 72085 unknown 458 muc 935
923.90/923.96	c iter 1431 time 908.955 not-muc 72085 unknown 457 muc 936
923.90/923.96	c iter 1432 time 909.052 not-muc 72085 unknown 456 muc 937
923.90/923.96	c iter 1433 time 909.127 not-muc 72085 unknown 455 muc 938
923.90/923.96	c iter 1434 time 909.195 not-muc 72085 unknown 454 muc 939
923.90/923.96	c iter 1435 time 909.29 not-muc 72085 unknown 453 muc 940
923.90/923.96	c iter 1436 time 909.366 not-muc 72085 unknown 452 muc 941
923.90/923.96	c iter 1437 time 910.709 not-muc 72086 unknown 451 muc 941
923.90/923.96	c iter 1438 time 910.904 not-muc 72086 unknown 450 muc 942
923.90/923.96	c iter 1439 time 910.969 not-muc 72086 unknown 449 muc 943
923.90/923.96	c iter 1440 time 911.068 not-muc 72086 unknown 448 muc 944
923.90/923.96	c iter 1441 time 912.082 not-muc 72087 unknown 447 muc 944
923.90/923.96	c iter 1442 time 912.241 not-muc 72087 unknown 446 muc 945
923.90/923.96	c iter 1443 time 912.295 not-muc 72087 unknown 445 muc 946
923.90/923.96	c iter 1444 time 912.375 not-muc 72087 unknown 444 muc 947
923.90/923.96	c iter 1445 time 912.484 not-muc 72087 unknown 443 muc 948
923.90/923.96	c iter 1446 time 912.534 not-muc 72087 unknown 442 muc 949
923.90/923.96	c iter 1447 time 912.576 not-muc 72087 unknown 441 muc 950
923.90/923.96	c iter 1448 time 912.639 not-muc 72087 unknown 440 muc 951
923.90/923.96	c iter 1449 time 912.71 not-muc 72087 unknown 439 muc 952
923.90/923.96	c iter 1450 time 913.87 not-muc 72088 unknown 438 muc 952
923.90/923.96	c iter 1451 time 914.055 not-muc 72088 unknown 437 muc 953
923.90/923.96	c iter 1452 time 914.086 not-muc 72088 unknown 436 muc 954
923.90/923.96	c iter 1453 time 915.692 not-muc 72090 unknown 434 muc 954
923.90/923.96	c iter 1454 time 915.867 not-muc 72090 unknown 433 muc 955
923.90/923.96	c iter 1455 time 916.058 not-muc 72090 unknown 432 muc 956
923.90/923.96	c iter 1456 time 916.176 not-muc 72090 unknown 431 muc 957
923.90/923.96	c iter 1457 time 918.608 not-muc 72091 unknown 430 muc 957
923.90/923.96	c iter 1458 time 918.69 not-muc 72091 unknown 429 muc 958
923.90/923.96	c iter 1459 time 919.972 not-muc 72092 unknown 428 muc 958
923.90/923.96	c iter 1460 time 920.104 not-muc 72092 unknown 427 muc 959
923.90/923.96	c iter 1461 time 920.184 not-muc 72092 unknown 426 muc 960
923.90/923.96	c iter 1462 time 921.729 not-muc 72093 unknown 425 muc 960
923.90/923.96	c iter 1463 time 921.952 not-muc 72093 unknown 424 muc 961
923.90/923.96	c iter 1464 time 922.023 not-muc 72093 unknown 423 muc 962
923.90/923.96	c iter 1465 time 922.115 not-muc 72093 unknown 422 muc 963
923.90/923.96	c iter 1466 time 922.265 not-muc 72093 unknown 421 muc 964
923.90/923.96	c iter 1467 time 922.396 not-muc 72093 unknown 420 muc 965
923.90/923.96	c iter 1468 time 922.479 not-muc 72093 unknown 419 muc 966
923.90/923.96	c iter 1469 time 922.546 not-muc 72093 unknown 418 muc 967
948.08/948.18	c iter 1470 time 922.611 not-muc 72093 unknown 417 muc 968
948.08/948.18	c iter 1471 time 922.693 not-muc 72093 unknown 416 muc 969
948.08/948.18	c iter 1472 time 922.842 not-muc 72093 unknown 415 muc 970
948.08/948.18	c iter 1473 time 922.985 not-muc 72093 unknown 414 muc 971
948.08/948.18	c iter 1474 time 923.127 not-muc 72093 unknown 413 muc 972
948.08/948.18	c iter 1475 time 923.26 not-muc 72093 unknown 412 muc 973
948.08/948.18	c iter 1476 time 923.405 not-muc 72093 unknown 411 muc 974
948.08/948.18	c iter 1477 time 923.507 not-muc 72093 unknown 410 muc 975
948.08/948.18	c iter 1478 time 923.575 not-muc 72093 unknown 409 muc 976
948.08/948.18	c iter 1479 time 923.685 not-muc 72093 unknown 408 muc 977
948.08/948.18	c iter 1480 time 923.8 not-muc 72093 unknown 407 muc 978
948.08/948.18	c iter 1481 time 923.887 not-muc 72093 unknown 406 muc 979
948.08/948.18	c iter 1482 time 924.522 not-muc 72093 unknown 405 muc 980
948.08/948.18	c iter 1483 time 926.777 not-muc 72094 unknown 404 muc 980
948.08/948.18	c iter 1484 time 926.971 not-muc 72094 unknown 403 muc 981
948.08/948.18	c iter 1485 time 929.159 not-muc 72095 unknown 402 muc 981
948.08/948.18	c iter 1486 time 929.355 not-muc 72095 unknown 401 muc 982
948.08/948.18	c iter 1487 time 929.405 not-muc 72095 unknown 400 muc 983
948.08/948.18	c iter 1488 time 929.52 not-muc 72095 unknown 399 muc 984
948.08/948.18	c iter 1489 time 929.567 not-muc 72095 unknown 398 muc 985
948.08/948.18	c iter 1490 time 931.923 not-muc 72096 unknown 397 muc 985
948.08/948.18	c iter 1491 time 932.122 not-muc 72096 unknown 396 muc 986
948.08/948.18	c iter 1492 time 932.18 not-muc 72096 unknown 395 muc 987
948.08/948.18	c iter 1493 time 932.298 not-muc 72096 unknown 394 muc 988
948.08/948.18	c iter 1494 time 932.421 not-muc 72096 unknown 393 muc 989
948.08/948.18	c iter 1495 time 932.481 not-muc 72096 unknown 392 muc 990
948.08/948.18	c iter 1496 time 932.579 not-muc 72096 unknown 391 muc 991
948.08/948.18	c iter 1497 time 932.694 not-muc 72096 unknown 390 muc 992
948.08/948.18	c iter 1498 time 932.798 not-muc 72096 unknown 389 muc 993
948.08/948.18	c iter 1499 time 932.876 not-muc 72096 unknown 388 muc 994
948.08/948.18	c iter 1500 time 932.997 not-muc 72096 unknown 387 muc 995
948.08/948.18	c iter 1501 time 933.065 not-muc 72096 unknown 386 muc 996
948.08/948.18	c iter 1502 time 933.137 not-muc 72096 unknown 385 muc 997
948.08/948.18	c iter 1503 time 933.158 not-muc 72096 unknown 384 muc 998
948.08/948.18	c iter 1504 time 933.231 not-muc 72096 unknown 383 muc 999
948.08/948.18	c iter 1505 time 933.266 not-muc 72096 unknown 382 muc 1000
948.08/948.18	c iter 1506 time 933.342 not-muc 72096 unknown 381 muc 1001
948.08/948.18	c iter 1507 time 933.393 not-muc 72096 unknown 380 muc 1002
948.08/948.18	c iter 1508 time 933.498 not-muc 72096 unknown 379 muc 1003
948.08/948.18	c iter 1509 time 934.581 not-muc 72097 unknown 378 muc 1003
948.08/948.18	c iter 1510 time 935.834 not-muc 72098 unknown 377 muc 1003
948.08/948.18	c iter 1511 time 935.916 not-muc 72098 unknown 376 muc 1004
948.08/948.18	c iter 1512 time 935.965 not-muc 72098 unknown 375 muc 1005
948.08/948.18	c iter 1513 time 936.008 not-muc 72098 unknown 374 muc 1006
948.08/948.18	c iter 1514 time 936.039 not-muc 72098 unknown 373 muc 1007
948.08/948.18	c iter 1515 time 936.084 not-muc 72098 unknown 372 muc 1008
948.08/948.18	c iter 1516 time 936.205 not-muc 72098 unknown 371 muc 1009
948.08/948.18	c iter 1517 time 936.259 not-muc 72098 unknown 370 muc 1010
948.08/948.18	c iter 1518 time 937.335 not-muc 72099 unknown 369 muc 1010
948.08/948.18	c iter 1519 time 937.507 not-muc 72099 unknown 368 muc 1011
948.08/948.18	c iter 1520 time 937.574 not-muc 72099 unknown 367 muc 1012
948.08/948.18	c iter 1521 time 937.676 not-muc 72099 unknown 366 muc 1013
948.08/948.18	c iter 1522 time 937.712 not-muc 72099 unknown 365 muc 1014
948.08/948.18	c iter 1523 time 937.781 not-muc 72099 unknown 364 muc 1015
948.08/948.18	c iter 1524 time 940.148 not-muc 72100 unknown 363 muc 1015
948.08/948.18	c iter 1525 time 940.246 not-muc 72100 unknown 362 muc 1016
948.08/948.18	c iter 1526 time 940.329 not-muc 72100 unknown 361 muc 1017
948.08/948.18	c iter 1527 time 940.356 not-muc 72100 unknown 360 muc 1018
948.08/948.18	c iter 1528 time 942.554 not-muc 72101 unknown 359 muc 1018
948.08/948.18	c iter 1529 time 942.703 not-muc 72101 unknown 358 muc 1019
948.08/948.18	c iter 1530 time 944.977 not-muc 72102 unknown 357 muc 1019
948.08/948.18	c iter 1531 time 946.161 not-muc 72103 unknown 356 muc 1019
948.08/948.18	c iter 1532 time 946.339 not-muc 72103 unknown 355 muc 1020
948.08/948.18	c iter 1533 time 946.384 not-muc 72103 unknown 354 muc 1021
948.08/948.18	c iter 1534 time 946.45 not-muc 72103 unknown 353 muc 1022
948.08/948.18	c iter 1535 time 946.497 not-muc 72103 unknown 352 muc 1023
948.08/948.18	c iter 1536 time 946.571 not-muc 72103 unknown 351 muc 1024
948.08/948.18	c iter 1537 time 946.704 not-muc 72103 unknown 350 muc 1025
948.08/948.18	c iter 1538 time 946.747 not-muc 72103 unknown 349 muc 1026
970.28/970.32	c iter 1539 time 946.827 not-muc 72103 unknown 348 muc 1027
970.28/970.32	c iter 1540 time 946.871 not-muc 72103 unknown 347 muc 1028
970.28/970.32	c iter 1541 time 948.199 not-muc 72104 unknown 346 muc 1028
970.28/970.32	c iter 1542 time 948.309 not-muc 72104 unknown 345 muc 1029
970.28/970.32	c iter 1543 time 948.384 not-muc 72104 unknown 344 muc 1030
970.28/970.32	c iter 1544 time 948.452 not-muc 72104 unknown 343 muc 1031
970.28/970.32	c iter 1545 time 949.107 not-muc 72104 unknown 342 muc 1032
970.28/970.32	c iter 1546 time 949.379 not-muc 72104 unknown 341 muc 1033
970.28/970.32	c iter 1547 time 949.435 not-muc 72104 unknown 340 muc 1034
970.28/970.32	c iter 1548 time 949.489 not-muc 72104 unknown 339 muc 1035
970.28/970.32	c iter 1549 time 949.512 not-muc 72104 unknown 338 muc 1036
970.28/970.32	c iter 1550 time 949.553 not-muc 72104 unknown 337 muc 1037
970.28/970.32	c iter 1551 time 949.663 not-muc 72104 unknown 336 muc 1038
970.28/970.32	c iter 1552 time 949.73 not-muc 72104 unknown 335 muc 1039
970.28/970.32	c iter 1553 time 949.787 not-muc 72104 unknown 334 muc 1040
970.28/970.32	c iter 1554 time 949.854 not-muc 72104 unknown 333 muc 1041
970.28/970.32	c iter 1555 time 949.883 not-muc 72104 unknown 332 muc 1042
970.28/970.32	c iter 1556 time 951.661 not-muc 72105 unknown 331 muc 1042
970.28/970.32	c iter 1557 time 951.841 not-muc 72105 unknown 330 muc 1043
970.28/970.32	c iter 1558 time 951.907 not-muc 72105 unknown 329 muc 1044
970.28/970.32	c iter 1559 time 951.953 not-muc 72105 unknown 328 muc 1045
970.28/970.32	c iter 1560 time 951.998 not-muc 72105 unknown 327 muc 1046
970.28/970.32	c iter 1561 time 952.081 not-muc 72105 unknown 326 muc 1047
970.28/970.32	c iter 1562 time 952.186 not-muc 72105 unknown 325 muc 1048
970.28/970.32	c iter 1563 time 952.305 not-muc 72105 unknown 324 muc 1049
970.28/970.32	c iter 1564 time 952.438 not-muc 72105 unknown 323 muc 1050
970.28/970.32	c iter 1565 time 952.556 not-muc 72105 unknown 322 muc 1051
970.28/970.32	c iter 1566 time 952.638 not-muc 72105 unknown 321 muc 1052
970.28/970.32	c iter 1567 time 952.704 not-muc 72105 unknown 320 muc 1053
970.28/970.32	c iter 1568 time 952.782 not-muc 72105 unknown 319 muc 1054
970.28/970.32	c iter 1569 time 952.816 not-muc 72105 unknown 318 muc 1055
970.28/970.32	c iter 1570 time 952.894 not-muc 72105 unknown 317 muc 1056
970.28/970.32	c iter 1571 time 953.01 not-muc 72105 unknown 316 muc 1057
970.28/970.32	c iter 1572 time 955.29 not-muc 72107 unknown 314 muc 1057
970.28/970.32	c iter 1573 time 957.772 not-muc 72108 unknown 313 muc 1057
970.28/970.32	c iter 1574 time 957.905 not-muc 72108 unknown 312 muc 1058
970.28/970.32	c iter 1575 time 957.972 not-muc 72108 unknown 311 muc 1059
970.28/970.32	c iter 1576 time 960.159 not-muc 72109 unknown 310 muc 1059
970.28/970.32	c iter 1577 time 960.307 not-muc 72109 unknown 309 muc 1060
970.28/970.32	c iter 1578 time 960.385 not-muc 72109 unknown 308 muc 1061
970.28/970.32	c iter 1579 time 960.475 not-muc 72109 unknown 307 muc 1062
970.28/970.32	c iter 1580 time 960.548 not-muc 72109 unknown 306 muc 1063
970.28/970.32	c iter 1581 time 960.574 not-muc 72109 unknown 305 muc 1064
970.28/970.32	c iter 1582 time 960.675 not-muc 72109 unknown 304 muc 1065
970.28/970.32	c iter 1583 time 960.724 not-muc 72109 unknown 303 muc 1066
970.28/970.32	c iter 1584 time 960.773 not-muc 72109 unknown 302 muc 1067
970.28/970.32	c iter 1585 time 960.832 not-muc 72109 unknown 301 muc 1068
970.28/970.32	c iter 1586 time 960.906 not-muc 72109 unknown 300 muc 1069
970.28/970.32	c iter 1587 time 963.548 not-muc 72110 unknown 299 muc 1069
970.28/970.32	c iter 1588 time 963.719 not-muc 72110 unknown 298 muc 1070
970.28/970.32	c iter 1589 time 963.822 not-muc 72110 unknown 297 muc 1071
970.28/970.32	c iter 1590 time 963.941 not-muc 72110 unknown 296 muc 1072
970.28/970.32	c iter 1591 time 964.002 not-muc 72110 unknown 295 muc 1073
970.28/970.32	c iter 1592 time 964.073 not-muc 72110 unknown 294 muc 1074
970.28/970.32	c iter 1593 time 964.151 not-muc 72110 unknown 293 muc 1075
970.28/970.32	c iter 1594 time 964.202 not-muc 72110 unknown 292 muc 1076
970.28/970.32	c iter 1595 time 965.36 not-muc 72111 unknown 291 muc 1076
970.28/970.32	c iter 1596 time 965.499 not-muc 72111 unknown 290 muc 1077
970.28/970.32	c iter 1597 time 965.619 not-muc 72111 unknown 289 muc 1078
970.28/970.32	c iter 1598 time 965.677 not-muc 72111 unknown 288 muc 1079
970.28/970.32	c iter 1599 time 965.801 not-muc 72111 unknown 287 muc 1080
970.28/970.32	c iter 1600 time 965.92 not-muc 72111 unknown 286 muc 1081
970.28/970.32	c iter 1601 time 966.024 not-muc 72111 unknown 285 muc 1082
970.28/970.32	c iter 1602 time 966.131 not-muc 72111 unknown 284 muc 1083
970.28/970.32	c iter 1603 time 966.231 not-muc 72111 unknown 283 muc 1084
970.28/970.32	c iter 1604 time 968.448 not-muc 72114 unknown 280 muc 1084
970.28/970.32	c iter 1605 time 968.633 not-muc 72114 unknown 279 muc 1085
970.28/970.32	c iter 1606 time 968.754 not-muc 72114 unknown 278 muc 1086
970.28/970.32	c iter 1607 time 968.875 not-muc 72114 unknown 277 muc 1087
988.19/988.28	c iter 1608 time 968.972 not-muc 72114 unknown 276 muc 1088
988.19/988.28	c iter 1609 time 969.037 not-muc 72114 unknown 275 muc 1089
988.19/988.28	c iter 1610 time 969.159 not-muc 72114 unknown 274 muc 1090
988.19/988.28	c iter 1611 time 969.29 not-muc 72114 unknown 273 muc 1091
988.19/988.28	c iter 1612 time 969.341 not-muc 72114 unknown 272 muc 1092
988.19/988.28	c iter 1613 time 970.451 not-muc 72115 unknown 271 muc 1092
988.19/988.28	c iter 1614 time 970.608 not-muc 72115 unknown 270 muc 1093
988.19/988.28	c iter 1615 time 970.727 not-muc 72115 unknown 269 muc 1094
988.19/988.28	c iter 1616 time 970.79 not-muc 72115 unknown 268 muc 1095
988.19/988.28	c iter 1617 time 970.857 not-muc 72115 unknown 267 muc 1096
988.19/988.28	c iter 1618 time 971.321 not-muc 72115 unknown 266 muc 1097
988.19/988.28	c iter 1619 time 971.35 not-muc 72115 unknown 265 muc 1098
988.19/988.28	c iter 1620 time 971.943 not-muc 72115 unknown 264 muc 1099
988.19/988.28	c iter 1621 time 972.024 not-muc 72115 unknown 263 muc 1100
988.19/988.28	c iter 1622 time 972.12 not-muc 72115 unknown 262 muc 1101
988.19/988.28	c iter 1623 time 972.188 not-muc 72115 unknown 261 muc 1102
988.19/988.28	c iter 1624 time 972.543 not-muc 72115 unknown 260 muc 1103
988.19/988.28	c iter 1625 time 974.69 not-muc 72116 unknown 259 muc 1103
988.19/988.28	c iter 1626 time 974.794 not-muc 72116 unknown 258 muc 1104
988.19/988.28	c iter 1627 time 974.827 not-muc 72116 unknown 257 muc 1105
988.19/988.28	c iter 1628 time 974.949 not-muc 72116 unknown 256 muc 1106
988.19/988.28	c iter 1629 time 975.041 not-muc 72116 unknown 255 muc 1107
988.19/988.28	c iter 1630 time 976.189 not-muc 72117 unknown 254 muc 1107
988.19/988.28	c iter 1631 time 977.296 not-muc 72118 unknown 253 muc 1107
988.19/988.28	c iter 1632 time 977.473 not-muc 72118 unknown 252 muc 1108
988.19/988.28	c iter 1633 time 977.602 not-muc 72118 unknown 251 muc 1109
988.19/988.28	c iter 1634 time 977.63 not-muc 72118 unknown 250 muc 1110
988.19/988.28	c iter 1635 time 977.652 not-muc 72118 unknown 249 muc 1111
988.19/988.28	c iter 1636 time 977.755 not-muc 72118 unknown 248 muc 1112
988.19/988.28	c iter 1637 time 977.821 not-muc 72118 unknown 247 muc 1113
988.19/988.28	c iter 1638 time 977.865 not-muc 72118 unknown 246 muc 1114
988.19/988.28	c iter 1639 time 977.986 not-muc 72118 unknown 245 muc 1115
988.19/988.28	c iter 1640 time 978.068 not-muc 72118 unknown 244 muc 1116
988.19/988.28	c iter 1641 time 978.097 not-muc 72118 unknown 243 muc 1117
988.19/988.28	c iter 1642 time 978.167 not-muc 72118 unknown 242 muc 1118
988.19/988.28	c iter 1643 time 978.271 not-muc 72118 unknown 241 muc 1119
988.19/988.28	c iter 1644 time 978.358 not-muc 72118 unknown 240 muc 1120
988.19/988.28	c iter 1645 time 979.536 not-muc 72120 unknown 238 muc 1120
988.19/988.28	c iter 1646 time 979.657 not-muc 72120 unknown 237 muc 1121
988.19/988.28	c iter 1647 time 979.698 not-muc 72120 unknown 236 muc 1122
988.19/988.28	c iter 1648 time 979.725 not-muc 72120 unknown 235 muc 1123
988.19/988.28	c iter 1649 time 979.803 not-muc 72120 unknown 234 muc 1124
988.19/988.28	c iter 1650 time 979.819 not-muc 72120 unknown 233 muc 1125
988.19/988.28	c iter 1651 time 982.268 not-muc 72121 unknown 232 muc 1125
988.19/988.28	c iter 1652 time 982.442 not-muc 72121 unknown 231 muc 1126
988.19/988.28	c iter 1653 time 983.884 not-muc 72123 unknown 229 muc 1126
988.19/988.28	c iter 1654 time 984.068 not-muc 72123 unknown 228 muc 1127
988.19/988.28	c iter 1655 time 984.108 not-muc 72123 unknown 227 muc 1128
988.19/988.28	c iter 1656 time 984.167 not-muc 72123 unknown 226 muc 1129
988.19/988.28	c iter 1657 time 984.234 not-muc 72123 unknown 225 muc 1130
988.19/988.28	c iter 1658 time 984.309 not-muc 72123 unknown 224 muc 1131
988.19/988.28	c iter 1659 time 984.436 not-muc 72123 unknown 223 muc 1132
988.19/988.28	c iter 1660 time 984.505 not-muc 72123 unknown 222 muc 1133
988.19/988.28	c iter 1661 time 984.62 not-muc 72123 unknown 221 muc 1134
988.19/988.28	c iter 1662 time 984.732 not-muc 72123 unknown 220 muc 1135
988.19/988.28	c iter 1663 time 984.762 not-muc 72123 unknown 219 muc 1136
988.19/988.28	c iter 1664 time 984.884 not-muc 72123 unknown 218 muc 1137
988.19/988.28	c iter 1665 time 984.963 not-muc 72123 unknown 217 muc 1138
988.19/988.28	c iter 1666 time 985.003 not-muc 72123 unknown 216 muc 1139
988.19/988.28	c iter 1667 time 985.056 not-muc 72123 unknown 215 muc 1140
988.19/988.28	c iter 1668 time 985.162 not-muc 72123 unknown 214 muc 1141
988.19/988.28	c iter 1669 time 986.319 not-muc 72124 unknown 213 muc 1141
988.19/988.28	c iter 1670 time 986.409 not-muc 72124 unknown 212 muc 1142
988.19/988.28	c iter 1671 time 986.54 not-muc 72124 unknown 211 muc 1143
988.19/988.28	c iter 1672 time 986.609 not-muc 72124 unknown 210 muc 1144
988.19/988.28	c iter 1673 time 986.682 not-muc 72124 unknown 209 muc 1145
988.19/988.28	c iter 1674 time 986.727 not-muc 72124 unknown 208 muc 1146
988.19/988.28	c iter 1675 time 986.83 not-muc 72124 unknown 207 muc 1147
1009.78/1009.87	c iter 1676 time 986.907 not-muc 72124 unknown 206 muc 1148
1009.78/1009.87	c iter 1677 time 986.936 not-muc 72124 unknown 205 muc 1149
1009.78/1009.87	c iter 1678 time 986.983 not-muc 72124 unknown 204 muc 1150
1009.78/1009.87	c iter 1679 time 988.04 not-muc 72125 unknown 203 muc 1150
1009.78/1009.87	c iter 1680 time 988.142 not-muc 72125 unknown 202 muc 1151
1009.78/1009.87	c iter 1681 time 988.213 not-muc 72125 unknown 201 muc 1152
1009.78/1009.87	c iter 1682 time 988.323 not-muc 72125 unknown 200 muc 1153
1009.78/1009.87	c iter 1683 time 990.477 not-muc 72126 unknown 199 muc 1153
1009.78/1009.87	c iter 1684 time 990.676 not-muc 72126 unknown 198 muc 1154
1009.78/1009.87	c iter 1685 time 990.728 not-muc 72126 unknown 197 muc 1155
1009.78/1009.87	c iter 1686 time 990.778 not-muc 72126 unknown 196 muc 1156
1009.78/1009.87	c iter 1687 time 990.821 not-muc 72126 unknown 195 muc 1157
1009.78/1009.87	c iter 1688 time 990.85 not-muc 72126 unknown 194 muc 1158
1009.78/1009.87	c iter 1689 time 992.098 not-muc 72127 unknown 193 muc 1158
1009.78/1009.87	c iter 1690 time 992.22 not-muc 72127 unknown 192 muc 1159
1009.78/1009.87	c iter 1691 time 993.309 not-muc 72128 unknown 191 muc 1159
1009.78/1009.87	c iter 1692 time 993.428 not-muc 72128 unknown 190 muc 1160
1009.78/1009.87	c iter 1693 time 993.547 not-muc 72128 unknown 189 muc 1161
1009.78/1009.87	c iter 1694 time 993.612 not-muc 72128 unknown 188 muc 1162
1009.78/1009.87	c iter 1695 time 993.7 not-muc 72128 unknown 187 muc 1163
1009.78/1009.87	c iter 1696 time 993.826 not-muc 72128 unknown 186 muc 1164
1009.78/1009.87	c iter 1697 time 993.913 not-muc 72128 unknown 185 muc 1165
1009.78/1009.87	c iter 1698 time 993.962 not-muc 72128 unknown 184 muc 1166
1009.78/1009.87	c iter 1699 time 994.007 not-muc 72128 unknown 183 muc 1167
1009.78/1009.87	c iter 1700 time 994.123 not-muc 72128 unknown 182 muc 1168
1009.78/1009.87	c iter 1701 time 995.135 not-muc 72129 unknown 181 muc 1168
1009.78/1009.87	c iter 1702 time 995.257 not-muc 72129 unknown 180 muc 1169
1009.78/1009.87	c iter 1703 time 995.312 not-muc 72129 unknown 179 muc 1170
1009.78/1009.87	c iter 1704 time 997.69 not-muc 72130 unknown 178 muc 1170
1009.78/1009.87	c iter 1705 time 997.871 not-muc 72130 unknown 177 muc 1171
1009.78/1009.87	c iter 1706 time 998.001 not-muc 72130 unknown 176 muc 1172
1009.78/1009.87	c iter 1707 time 998.091 not-muc 72130 unknown 175 muc 1173
1009.78/1009.87	c iter 1708 time 998.185 not-muc 72130 unknown 174 muc 1174
1009.78/1009.87	c iter 1709 time 998.285 not-muc 72130 unknown 173 muc 1175
1009.78/1009.87	c iter 1710 time 998.427 not-muc 72130 unknown 172 muc 1176
1009.78/1009.87	c iter 1711 time 1000.8 not-muc 72131 unknown 171 muc 1176
1009.78/1009.87	c iter 1712 time 1002.87 not-muc 72132 unknown 170 muc 1176
1009.78/1009.87	c iter 1713 time 1003.01 not-muc 72132 unknown 169 muc 1177
1009.78/1009.87	c iter 1714 time 1003.06 not-muc 72132 unknown 168 muc 1178
1009.78/1009.87	c iter 1715 time 1003.9 not-muc 72133 unknown 167 muc 1178
1009.78/1009.87	c iter 1716 time 1004.01 not-muc 72133 unknown 166 muc 1179
1009.78/1009.87	c iter 1717 time 1004.09 not-muc 72133 unknown 165 muc 1180
1009.78/1009.87	c iter 1718 time 1004.18 not-muc 72133 unknown 164 muc 1181
1009.78/1009.87	c iter 1719 time 1005.04 not-muc 72134 unknown 163 muc 1181
1009.78/1009.87	c iter 1720 time 1005.15 not-muc 72134 unknown 162 muc 1182
1009.78/1009.87	c iter 1721 time 1006.44 not-muc 72135 unknown 161 muc 1182
1009.78/1009.87	c iter 1722 time 1006.55 not-muc 72135 unknown 160 muc 1183
1009.78/1009.87	c iter 1723 time 1006.62 not-muc 72135 unknown 159 muc 1184
1009.78/1009.87	c iter 1724 time 1006.7 not-muc 72135 unknown 158 muc 1185
1009.78/1009.87	c iter 1725 time 1006.76 not-muc 72135 unknown 157 muc 1186
1009.78/1009.87	c iter 1726 time 1006.87 not-muc 72135 unknown 156 muc 1187
1009.78/1009.87	c iter 1727 time 1006.91 not-muc 72135 unknown 155 muc 1188
1009.78/1009.87	c iter 1728 time 1007.01 not-muc 72135 unknown 154 muc 1189
1009.78/1009.87	c iter 1729 time 1007.06 not-muc 72135 unknown 153 muc 1190
1009.78/1009.87	c iter 1730 time 1007.18 not-muc 72135 unknown 152 muc 1191
1009.78/1009.87	c iter 1731 time 1007.29 not-muc 72135 unknown 151 muc 1192
1009.78/1009.87	c iter 1732 time 1007.33 not-muc 72135 unknown 150 muc 1193
1009.78/1009.87	c iter 1733 time 1007.42 not-muc 72135 unknown 149 muc 1194
1009.78/1009.87	c iter 1734 time 1007.46 not-muc 72135 unknown 148 muc 1195
1009.78/1009.87	c iter 1735 time 1007.54 not-muc 72135 unknown 147 muc 1196
1009.78/1009.87	c iter 1736 time 1007.67 not-muc 72135 unknown 146 muc 1197
1009.78/1009.87	c iter 1737 time 1007.7 not-muc 72135 unknown 145 muc 1198
1009.78/1009.87	c iter 1738 time 1007.82 not-muc 72135 unknown 144 muc 1199
1009.78/1009.87	c iter 1739 time 1007.95 not-muc 72135 unknown 143 muc 1200
1009.78/1009.87	c iter 1740 time 1008.07 not-muc 72135 unknown 142 muc 1201
1009.78/1009.87	c iter 1741 time 1008.12 not-muc 72135 unknown 141 muc 1202
1009.78/1009.87	c iter 1742 time 1008.15 not-muc 72135 unknown 140 muc 1203
1009.78/1009.87	c iter 1743 time 1008.21 not-muc 72135 unknown 139 muc 1204
1009.78/1009.87	c iter 1744 time 1008.42 not-muc 72135 unknown 138 muc 1205
1028.79/1028.85	c iter 1745 time 1009.81 not-muc 72136 unknown 137 muc 1205
1028.79/1028.85	c iter 1746 time 1010.8 not-muc 72138 unknown 135 muc 1205
1028.79/1028.85	c iter 1747 time 1010.88 not-muc 72138 unknown 134 muc 1206
1028.79/1028.85	c iter 1748 time 1010.91 not-muc 72138 unknown 133 muc 1207
1028.79/1028.85	c iter 1749 time 1012.49 not-muc 72139 unknown 132 muc 1207
1028.79/1028.85	c iter 1750 time 1013.79 not-muc 72140 unknown 131 muc 1207
1028.79/1028.85	c iter 1751 time 1013.92 not-muc 72140 unknown 130 muc 1208
1028.79/1028.85	c iter 1752 time 1015.13 not-muc 72141 unknown 129 muc 1208
1028.79/1028.85	c iter 1753 time 1015.23 not-muc 72141 unknown 128 muc 1209
1028.79/1028.85	c iter 1754 time 1015.35 not-muc 72141 unknown 127 muc 1210
1028.79/1028.85	c iter 1755 time 1015.37 not-muc 72141 unknown 126 muc 1211
1028.79/1028.85	c iter 1756 time 1015.48 not-muc 72141 unknown 125 muc 1212
1028.79/1028.85	c iter 1757 time 1015.61 not-muc 72141 unknown 124 muc 1213
1028.79/1028.85	c iter 1758 time 1015.67 not-muc 72141 unknown 123 muc 1214
1028.79/1028.85	c iter 1759 time 1015.75 not-muc 72141 unknown 122 muc 1215
1028.79/1028.85	c iter 1760 time 1015.86 not-muc 72141 unknown 121 muc 1216
1028.79/1028.85	c iter 1761 time 1016.2 not-muc 72141 unknown 120 muc 1217
1028.79/1028.85	c iter 1762 time 1016.32 not-muc 72141 unknown 119 muc 1218
1028.79/1028.85	c iter 1763 time 1016.38 not-muc 72141 unknown 118 muc 1219
1028.79/1028.85	c iter 1764 time 1016.49 not-muc 72141 unknown 117 muc 1220
1028.79/1028.85	c iter 1765 time 1016.58 not-muc 72141 unknown 116 muc 1221
1028.79/1028.85	c iter 1766 time 1017.58 not-muc 72142 unknown 115 muc 1221
1028.79/1028.85	c iter 1767 time 1017.77 not-muc 72142 unknown 114 muc 1222
1028.79/1028.85	c iter 1768 time 1017.87 not-muc 72142 unknown 113 muc 1223
1028.79/1028.85	c iter 1769 time 1017.9 not-muc 72142 unknown 112 muc 1224
1028.79/1028.85	c iter 1770 time 1017.95 not-muc 72142 unknown 111 muc 1225
1028.79/1028.85	c iter 1771 time 1017.99 not-muc 72142 unknown 110 muc 1226
1028.79/1028.85	c iter 1772 time 1018.03 not-muc 72142 unknown 109 muc 1227
1028.79/1028.85	c iter 1773 time 1018.07 not-muc 72142 unknown 108 muc 1228
1028.79/1028.85	c iter 1774 time 1018.18 not-muc 72142 unknown 107 muc 1229
1028.79/1028.85	c iter 1775 time 1018.25 not-muc 72142 unknown 106 muc 1230
1028.79/1028.85	c iter 1776 time 1020.26 not-muc 72143 unknown 105 muc 1230
1028.79/1028.85	c iter 1777 time 1020.42 not-muc 72143 unknown 104 muc 1231
1028.79/1028.85	c iter 1778 time 1021.6 not-muc 72144 unknown 103 muc 1231
1028.79/1028.85	c iter 1779 time 1021.74 not-muc 72144 unknown 102 muc 1232
1028.79/1028.85	c iter 1780 time 1021.8 not-muc 72144 unknown 101 muc 1233
1028.79/1028.85	c iter 1781 time 1021.84 not-muc 72144 unknown 100 muc 1234
1028.79/1028.85	c iter 1782 time 1021.96 not-muc 72144 unknown 99 muc 1235
1028.79/1028.85	c iter 1783 time 1024.28 not-muc 72145 unknown 98 muc 1235
1028.79/1028.85	c iter 1784 time 1024.52 not-muc 72145 unknown 97 muc 1236
1028.79/1028.85	c iter 1785 time 1024.57 not-muc 72145 unknown 96 muc 1237
1028.79/1028.85	c iter 1786 time 1024.64 not-muc 72145 unknown 95 muc 1238
1028.79/1028.85	c iter 1787 time 1024.73 not-muc 72145 unknown 94 muc 1239
1028.79/1028.85	c iter 1788 time 1024.88 not-muc 72145 unknown 93 muc 1240
1028.79/1028.85	c iter 1789 time 1024.93 not-muc 72145 unknown 92 muc 1241
1028.79/1028.85	c iter 1790 time 1024.98 not-muc 72145 unknown 91 muc 1242
1028.79/1028.85	c iter 1791 time 1025.07 not-muc 72145 unknown 90 muc 1243
1028.79/1028.85	c iter 1792 time 1025.18 not-muc 72145 unknown 89 muc 1244
1028.79/1028.85	c iter 1793 time 1025.32 not-muc 72145 unknown 88 muc 1245
1028.79/1028.85	c iter 1794 time 1025.38 not-muc 72145 unknown 87 muc 1246
1028.79/1028.85	c iter 1795 time 1025.51 not-muc 72145 unknown 86 muc 1247
1028.79/1028.85	c iter 1796 time 1025.66 not-muc 72145 unknown 85 muc 1248
1028.79/1028.85	c iter 1797 time 1025.72 not-muc 72145 unknown 84 muc 1249
1028.79/1028.85	c iter 1798 time 1025.87 not-muc 72145 unknown 83 muc 1250
1028.79/1028.85	c iter 1799 time 1025.94 not-muc 72145 unknown 82 muc 1251
1028.79/1028.85	c iter 1800 time 1026.05 not-muc 72145 unknown 81 muc 1252
1028.79/1028.85	c iter 1801 time 1026.19 not-muc 72145 unknown 80 muc 1253
1028.79/1028.85	c iter 1802 time 1026.34 not-muc 72145 unknown 79 muc 1254
1028.79/1028.85	c iter 1803 time 1026.42 not-muc 72145 unknown 78 muc 1255
1028.79/1028.85	c iter 1804 time 1026.54 not-muc 72145 unknown 77 muc 1256
1028.79/1028.85	c iter 1805 time 1026.63 not-muc 72145 unknown 76 muc 1257
1028.79/1028.85	c iter 1806 time 1026.78 not-muc 72145 unknown 75 muc 1258
1028.79/1028.85	c iter 1807 time 1026.92 not-muc 72145 unknown 74 muc 1259
1028.79/1028.85	c iter 1808 time 1027.09 not-muc 72145 unknown 73 muc 1260
1028.79/1028.85	c iter 1809 time 1027.2 not-muc 72145 unknown 72 muc 1261
1028.79/1028.85	c iter 1810 time 1027.24 not-muc 72145 unknown 71 muc 1262
1028.79/1028.85	c iter 1811 time 1027.33 not-muc 72145 unknown 70 muc 1263
1028.79/1028.85	c iter 1812 time 1027.4 not-muc 72145 unknown 69 muc 1264
1048.38/1048.47	c iter 1813 time 1029.64 not-muc 72146 unknown 68 muc 1264
1048.38/1048.47	c iter 1814 time 1029.75 not-muc 72146 unknown 67 muc 1265
1048.38/1048.47	c iter 1815 time 1029.86 not-muc 72146 unknown 66 muc 1266
1048.38/1048.47	c iter 1816 time 1029.9 not-muc 72146 unknown 65 muc 1267
1048.38/1048.47	c iter 1817 time 1029.97 not-muc 72146 unknown 64 muc 1268
1048.38/1048.47	c iter 1818 time 1030.02 not-muc 72146 unknown 63 muc 1269
1048.38/1048.47	c iter 1819 time 1030.13 not-muc 72146 unknown 62 muc 1270
1048.38/1048.47	c iter 1820 time 1030.18 not-muc 72146 unknown 61 muc 1271
1048.38/1048.47	c iter 1821 time 1030.23 not-muc 72146 unknown 60 muc 1272
1048.38/1048.47	c iter 1822 time 1031.36 not-muc 72147 unknown 59 muc 1272
1048.38/1048.47	c iter 1823 time 1031.5 not-muc 72147 unknown 58 muc 1273
1048.38/1048.47	c iter 1824 time 1031.55 not-muc 72147 unknown 57 muc 1274
1048.38/1048.47	c iter 1825 time 1031.59 not-muc 72147 unknown 56 muc 1275
1048.38/1048.47	c iter 1826 time 1031.72 not-muc 72147 unknown 55 muc 1276
1048.38/1048.47	c iter 1827 time 1031.77 not-muc 72147 unknown 54 muc 1277
1048.38/1048.47	c iter 1828 time 1031.87 not-muc 72147 unknown 53 muc 1278
1048.38/1048.47	c iter 1829 time 1032.61 not-muc 72147 unknown 52 muc 1279
1048.38/1048.47	c iter 1830 time 1032.63 not-muc 72147 unknown 51 muc 1280
1048.38/1048.47	c iter 1831 time 1032.69 not-muc 72147 unknown 50 muc 1281
1048.38/1048.47	c iter 1832 time 1032.72 not-muc 72147 unknown 49 muc 1282
1048.38/1048.47	c iter 1833 time 1032.81 not-muc 72147 unknown 48 muc 1283
1048.38/1048.47	c iter 1834 time 1032.87 not-muc 72147 unknown 47 muc 1284
1048.38/1048.47	c iter 1835 time 1032.91 not-muc 72147 unknown 46 muc 1285
1048.38/1048.47	c iter 1836 time 1032.96 not-muc 72147 unknown 45 muc 1286
1048.38/1048.47	c iter 1837 time 1033.05 not-muc 72147 unknown 44 muc 1287
1048.38/1048.47	c iter 1838 time 1033.08 not-muc 72147 unknown 43 muc 1288
1048.38/1048.47	c iter 1839 time 1033.14 not-muc 72147 unknown 42 muc 1289
1048.38/1048.47	c iter 1840 time 1033.17 not-muc 72147 unknown 41 muc 1290
1048.38/1048.47	c iter 1841 time 1033.21 not-muc 72147 unknown 40 muc 1291
1048.38/1048.47	c iter 1842 time 1033.24 not-muc 72147 unknown 39 muc 1292
1048.38/1048.47	c iter 1843 time 1033.32 not-muc 72147 unknown 38 muc 1293
1048.38/1048.47	c iter 1844 time 1033.38 not-muc 72147 unknown 37 muc 1294
1048.38/1048.47	c iter 1845 time 1033.45 not-muc 72147 unknown 36 muc 1295
1048.38/1048.47	c iter 1846 time 1033.54 not-muc 72147 unknown 35 muc 1296
1048.38/1048.47	c iter 1847 time 1034.59 not-muc 72148 unknown 34 muc 1296
1048.38/1048.47	c iter 1848 time 1036.96 not-muc 72149 unknown 33 muc 1296
1048.38/1048.47	c iter 1849 time 1037.08 not-muc 72149 unknown 32 muc 1297
1048.38/1048.47	c iter 1850 time 1038.22 not-muc 72150 unknown 31 muc 1297
1048.38/1048.47	c iter 1851 time 1039.98 not-muc 72151 unknown 30 muc 1297
1048.38/1048.47	c iter 1852 time 1040.09 not-muc 72151 unknown 29 muc 1298
1048.38/1048.47	c iter 1853 time 1040.17 not-muc 72151 unknown 28 muc 1299
1048.38/1048.47	c iter 1854 time 1040.28 not-muc 72151 unknown 27 muc 1300
1048.38/1048.47	c iter 1855 time 1040.34 not-muc 72151 unknown 26 muc 1301
1048.38/1048.47	c iter 1856 time 1040.45 not-muc 72151 unknown 25 muc 1302
1048.38/1048.47	c iter 1857 time 1040.56 not-muc 72151 unknown 24 muc 1303
1048.38/1048.47	c iter 1858 time 1040.62 not-muc 72151 unknown 23 muc 1304
1048.38/1048.47	c iter 1859 time 1040.76 not-muc 72151 unknown 22 muc 1305
1048.38/1048.47	c iter 1860 time 1040.88 not-muc 72151 unknown 21 muc 1306
1048.38/1048.47	c iter 1861 time 1040.92 not-muc 72151 unknown 20 muc 1307
1048.38/1048.47	c iter 1862 time 1041.01 not-muc 72151 unknown 19 muc 1308
1048.38/1048.47	c iter 1863 time 1041.1 not-muc 72151 unknown 18 muc 1309
1048.38/1048.47	c iter 1864 time 1041.15 not-muc 72151 unknown 17 muc 1310
1048.38/1048.47	c iter 1865 time 1041.2 not-muc 72151 unknown 16 muc 1311
1048.38/1048.47	c iter 1866 time 1041.24 not-muc 72151 unknown 15 muc 1312
1048.38/1048.47	c iter 1867 time 1041.39 not-muc 72151 unknown 14 muc 1313
1048.38/1048.47	c iter 1868 time 1041.44 not-muc 72151 unknown 13 muc 1314
1048.38/1048.47	c iter 1869 time 1041.52 not-muc 72151 unknown 12 muc 1315
1048.38/1048.47	c iter 1870 time 1041.56 not-muc 72151 unknown 11 muc 1316
1048.38/1048.47	c iter 1871 time 1041.68 not-muc 72151 unknown 10 muc 1317
1048.38/1048.47	c iter 1872 time 1041.8 not-muc 72151 unknown 9 muc 1318
1048.38/1048.47	c iter 1873 time 1044.2 not-muc 72152 unknown 8 muc 1318
1048.38/1048.47	c iter 1874 time 1045.05 not-muc 72152 unknown 7 muc 1319
1048.38/1048.47	c iter 1875 time 1045.1 not-muc 72152 unknown 6 muc 1320
1048.38/1048.47	c iter 1876 time 1045.25 not-muc 72152 unknown 5 muc 1321
1048.38/1048.47	c iter 1877 time 1045.29 not-muc 72152 unknown 4 muc 1322
1048.38/1048.47	c iter 1878 time 1045.37 not-muc 72152 unknown 3 muc 1323
1048.38/1048.47	c iter 1879 time 1046.67 not-muc 72153 unknown 2 muc 1323
1048.38/1048.47	c iter 1880 time 1046.78 not-muc 72153 unknown 1 muc 1324
1048.38/1048.47	c final iter 1881 time 1046.9 not-muc 72153 unknown 0 muc 1325
1048.38/1048.47	v 112 141 251 260 264 451 481 504 629 632 636 671 753 783 820 869 871 900 920 923 1205 1255 1287 1346 1388 1453 1495 1529 1601 1719 1738 1763 1777 1800 1880 1881 1977 2104 2136 2163 2204 2205 2230 2231 2279 2310 2316 2318 2343 2355 2379 2394 2429 2439 2449 2450 2545 2568 2574 2619 2642 2765 2795 2815 2920 2923 2926 2945 2968 3014 3024 3026 3031 3079 3123 3127 3140 3170 3188 3193 3281 3315 3463 3539 3566 3573 3651 3697 3709 3775 3807 3824 3873 3913 3959 3994 4016 4050 4056 4149 4183 4246 4268 4290 4357 4474 4485 4589 4639 4724 4725 4764 4767 4978 5083 5230 5289 5328 5370 5656 5735 5757 5808 5868 5922 5936 5952 5967 5978 6035 6056 6101 6148 6163 6246 6262 6264 6273 6362 6405 6417 6458 6608 6738 6884 6905 7037 7068 7108 7150 7172 7181 7195 7251 7418 7620 7805 7822 8007 8026 8082 8109 8116 8149 8294 8331 8343 8439 8476 8549 8598 8702 8862 8882 8884 8937 8981 8986 9195 9281 9285 9293 9321 9368 9470 9524 9536 9567 9684 9727 9767 9800 9862 9873 9904 9929 9955 10004 10040 10137 10233 10238 10239 10321 10358 10407 10415 10419 10433 10467 10484 10537 10624 10667 10684 10727 10745 10802 10862 10902 10926 10997 11058 11142 11152 11198 11288 11316 11357 11369 11370 11396 11398 11594 11607 11635 11655 11661 11666 11673 11678 11700 11844 11878 11964 11984 12011 12207 12243 12307 12313 12393 12397 12411 12558 12577 12642 12696 12725 12783 12820 12826 12833 12925 13030 13059 13122 13191 13320 13373 13378 13543 13577 13592 13616 13653 13684 13688 13738 13826 13837 13841 13877 13925 13927 13993 14021 14023 14039 14047 14084 14099 14120 14134 14170 14204 14257 14309 14341 14411 14432 14485 14574 14626 14732 14755 14780 14808 14845 14861 14890 14928 15003 15019 15101 15203 15218 15219 15231 15233 15306 15368 15613 15632 15661 15682 15700 15750 15850 16127 16156 16172 16178 16181 16192 16195 16205 16208 16236 16259 16313 16370 16449 16514 16717 16805 16867 16954 16961 16977 16983 16991 17037 17065 17112 17137 17140 17154 17396 17397 17413 17475 17484 17499 17540 17559 17585 17749 17778 17848 17887 17982 17985 18020 18070 18073 18074 18114 18120 18132 18145 18240 18283 18321 18416 18428 18437 18485 18494 18497 18508 18543 18607 18643 18690 18717 18790 18807 18811 18815 18824 18829 18867 18891 18955 19011 19025 19043 19059 19065 19077 19079 19097 19155 19174 19194 19264 19268 19297 19304 19335 19368 19380 19434 19526 19606 19694 19840 19861 19886 20013 20066 20107 20154 20176 20217 20256 20293 20297 20339 20403 20406 20419 20426 20427 20471 20549 20627 20683 20712 20857 20889 20907 20908 20938 20998 21147 21244 21264 21365 21436 21508 21529 21540 21612 21688 21699 21760 21765 21768 21840 21849 21919 21976 22031 22043 22066 22231 22240 22295 22304 22334 22419 22473 22618 22650 22752 22777 22785 22843 22852 22941 22947 23018 23048 23067 23090 23112 23124 23154 23193 23292 23305 23315 23380 23393 23449 23487 23658 23668 23677 23694 23748 23782 23801 23843 23844 23861 23882 23963 23965 24053 24073 24160 24186 24245 24247 24311 24318 24534 24586 24786 24794 24824 24825 24893 24895 24949 24992 25056 25069 25158 25176 25315 25333 25367 25503 25505 25561 25615 25659 25682 25754 25781 25815 25983 26003 26022 26025 26059 26282 26298 26336 26337 26416 26519 26545 26582 26608 26628 26666 26677 26680 26699 26730 26734 26785 26791 26825 26906 26949 27030 27069 27146 27172 27218 27305 27356 27381 27401 27421 27566 27588 27805 27819 27865 27884 27938 28046 28067 28075 28159 28177 28234 28239 28252 28345 28401 28428 28484 28538 28608 28633 28635 28719 28734 28772 28797 28869 28936 28995 29002 29052 29120 29229 29241 29246 29319 29346 29453 29475 29499 29576 29601 29652 29708 29743 29796 29893 29918 29925 30014 30071 30195 30228 30245 30318 30428 30464 30486 30514 30519 30571 30584 30608 30666 30670 30703 30816 30831 30909 30918 30947 30958 30961 30962 31050 31052 31170 31188 31208 31231 31441 31511 31541 31542 31575 31791 31794 31839 31888 32033 32075 32219 32289 32308 32328 32348 32401 32426 32453 32492 32604 32617 32633 32648 32673 32720 32761 32785 32804 32827 32852 32960 32996 33092 33099 33110 33179 33213 33245 33308 33372 33402 33452 33466 33528 33562 33599 33672 33680 33688 33739 33745 33766 33838 33877 34101 34212 34220 34253 34262 34288 34328 34329 34370 34379 34383 34534 34547 34568 34628 34646 34662 34674 34689 34690 34710 34763 34764 34814 34845 34856 34871 34916 35114 35241 35257 35284 35455 35477 35520 35590 35655 35684 35688 35782 35788 35837 35859 35867 35872 35873 35953 36012 36031 36165 36219 36290 36355 36383 36421 36448 36450 36478 36672 36709 36798 36965 36980 37005 37085 37257 37375 37377 37394 37429 37467 37468 37553 37690 37697 37729 37871 37885 37965 37972 38030 38121 38136 38150 38257 38262 38309 38462 38540 38577 38612 38638 38748 38802 38825 38862 38907 38944 38979 39066 39099 39109 39181 39213 39228 39306 39322 39373 39423 39471 39596 39769 39781 39803 39865 39870 39875 39876 39948 39957 40000 40053 40057 40071 40088 40091 40094 40112 40124 40185 40209 40234 40263 40265 40329 40345 40348 40370 40384 40413 40426 40575 40587 40651 40761 40931 40933 40964 41081 41083 41171 41242 41262 41284 41344 41402 41467 41473 41520 41742 41910 41993 42010 42148 42283 42387 42523 42537 42564 42689 42775 42846 42862 42909 42950 43122 43254 43266 43291 43347 43358 43364 43422 43456 43488 43587 43645 43666 43902 43920 43944 43964 44016 44018 44046 44171 44381 44408 44424 44467 44485 44544 44578 44618 44645 44677 44691 44731 44820 44840 44869 44888 44911 44959 44963 45008 45052 45189 45243 45590 45636 45740 45827 45840 45920 45948 45977 46045 46102 46160 46229 46259 46274 46294 46311 46630 46633 46731 46742 46777 46844 46850 46882 47055 47075 47168 47174 47188 47230 47243 47274 47279 47417 47472 47505 47513 47516 47739 47844 47952 47981 48061 48083 48099 48164 48190 48193 48201 48321 48461 48462 48526 48548 48581 48612 48643 48660 48757 48778 48792 48814 49130 49142 49251 49373 49476 49482 49543 49555 49564 49667 49713 49775 49795 50146 50149 50167 50168 50244 50288 50299 50329 50366 50460 50461 50463 50494 50533 50554 50594 50623 50852 50868 50892 50906 50968 50974 51067 51104 51138 51141 51164 51221 51308 51315 51362 51370 51411 51438 51506 51567 51647 51685 51726 51860 51941 52018 52068 52072 52088 52226 52305 52349 52475 52521 52576 52639 52743 52783 52785 52814 52818 52830 52842 52843 53027 53044 53090 53097 53186 53215 53375 53478 53520 53528 53612 53717 53779 53851 53886 53961 54031 54034 54055 54154 54207 54295 54350 54368 54455 54456 54461 54532 54582 54618 54698 54740 54873 54983 55359 55429 55526 55570 55598 55979 56087 56098 56099 56169 56171 56304 56462 56542 56561 56615 56622 56633 56882 56884 56916 56929 56934 57043 57088 57108 57321 57348 57433 57455 57556 57616 57728 57795 58123 58144 58209 58389 58492 58500 58526 58544 58573 58582 58602 58616 58862 58909 59011 59066 59073 59091 59181 59190 59302 59303 59326 59348 59443 59448 59673 59819 59938 59965 60025 60052 60057 60137 60171 60259 60288 60567 60631 60644 60739 60886 61191 61192 61282 61298 61362 61611 61624 61673 61780 61789 61823 61827 61903 61956 62036 62037 62103 62112 62114 62206 62215 62234 62256 62268 62329 62349 62373 62405 62517 62558 62634 62826 62832 63189 63405 63422 63431 63642 63670 63696 63719 63933 63988 64107 64134 64158 64159 64337 64457 64553 64624 64672 64678 64727 64728 64731 64757 64772 64807 64848 64941 65099 65159 65432 65436 65475 65603 65648 65654 65706 65707 66003 66159 66206 66222 66282 66429 66546 66585 66644 66780 66835 67207 67503 67538 67853 67869 67901 68001 68111 68165 68353 68669 68827 68855 68994 69043 69096 69145 69163 69217 69451 69489 69503 69754 69879 69901 69967 69974 70011 70263 70369 70451 70519 70732 70762 70799 70851 70861 70890 70897 70902 70929 71097 71405 71499 71552 71628 72218 72457 72706 73188 73339 0
1048.38/1048.47	s UNSATISFIABLE

Verifier Data 

OK	1325

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3494416-1307805231/watcher-3494416-1307805231 -o /tmp/evaluation-result-3494416-1307805231/solver-3494416-1307805231 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494416-1307805231.cnf -no-pre 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.00 3.94 3.82 5/189 12870
/proc/meminfo: memFree=26989584/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=20108 CPUtime=0 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 587 0 0 0 0 0 0 0 25 0 1 0 970753801 20590592 521 33554432000 4194304 4337479 140736459425920 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 5027 522 223 35 0 1650 0

[startup+0.0658771 s]
/proc/loadavg: 4.00 3.94 3.82 5/189 12870
/proc/meminfo: memFree=26989584/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=25564 CPUtime=0.06 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 2387 0 0 0 6 0 0 0 25 0 1 0 970753801 26177536 2257 33554432000 4194304 4337479 140736459425920 18446744073709551615 4310462 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 6391 2257 240 35 0 3014 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25564

[startup+0.10087 s]
/proc/loadavg: 4.00 3.94 3.82 5/189 12870
/proc/meminfo: memFree=26989584/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=25564 CPUtime=0.09 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 2479 0 0 0 9 0 0 0 25 0 1 0 970753801 26177536 2349 33554432000 4194304 4337479 140736459425920 18446744073709551615 4278609 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 6391 2349 240 35 0 3014 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25564

[startup+0.300833 s]
/proc/loadavg: 4.00 3.94 3.82 5/189 12870
/proc/meminfo: memFree=26989584/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=28240 CPUtime=0.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 2852 0 0 0 29 0 0 0 25 0 1 0 970753801 28917760 2721 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303451 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 7060 2721 241 35 0 3683 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28240

[startup+0.700806 s]
/proc/loadavg: 4.00 3.94 3.82 5/189 12870
/proc/meminfo: memFree=26989584/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=28240 CPUtime=0.69 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 3284 0 0 0 69 0 0 0 25 0 1 0 970753801 28917760 3148 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303698 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 7060 3148 241 35 0 3683 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28240

[startup+1.50061 s]
/proc/loadavg: 4.00 3.94 3.83 5/190 12871
/proc/meminfo: memFree=26976960/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=32072 CPUtime=1.49 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 4841 0 0 0 149 0 0 0 25 0 1 0 970753801 32841728 4704 33554432000 4194304 4337479 140736459425920 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 8018 4704 261 35 0 4641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32072

[startup+3.10026 s]
/proc/loadavg: 4.00 3.94 3.83 5/190 12871
/proc/meminfo: memFree=26965552/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=36156 CPUtime=3.09 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 5688 0 0 0 309 0 0 0 25 0 1 0 970753801 37023744 5548 33554432000 4194304 4337479 140736459425920 18446744073709551615 4288470 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 9039 5548 262 35 0 5662 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36156

[startup+6.30073 s]
/proc/loadavg: 4.00 3.94 3.83 5/190 12871
/proc/meminfo: memFree=26952036/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=55676 CPUtime=6.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 10463 0 0 0 628 1 0 0 25 0 1 0 970753801 57012224 10266 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 13919 10266 262 35 0 10542 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55676

[startup+12.7006 s]
/proc/loadavg: 4.00 3.94 3.83 5/190 12871
/proc/meminfo: memFree=26914804/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=92464 CPUtime=12.69 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 18356 0 0 0 1267 2 0 0 25 0 1 0 970753801 94683136 17987 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303451 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 23116 17987 263 35 0 19739 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92464

[startup+25.5002 s]
/proc/loadavg: 4.00 3.95 3.83 5/190 12871
/proc/meminfo: memFree=26842736/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=154764 CPUtime=25.49 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 34240 0 0 0 2544 5 0 0 25 0 1 0 970753801 158478336 33464 33554432000 4194304 4337479 140736459425920 18446744073709551615 4288187 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 38691 33464 263 35 0 35314 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 154764

[startup+51.1006 s]
/proc/loadavg: 3.72 3.88 3.81 4/184 12896
/proc/meminfo: memFree=26897992/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=291028 CPUtime=51.09 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 67784 0 0 0 5100 9 0 0 25 0 1 0 970753801 298012672 66400 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303707 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 72757 66400 263 35 0 69380 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 291028

[startup+102.306 s]
/proc/loadavg: 3.28 3.73 3.76 4/184 12897
/proc/meminfo: memFree=26652416/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=546500 CPUtime=102.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 125827 0 0 0 10212 17 0 0 25 0 1 0 970753801 559616000 124405 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303515 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 136625 124405 263 35 0 133248 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 546500

[startup+162.3 s]
/proc/loadavg: 3.10 3.60 3.71 4/184 12899
/proc/meminfo: memFree=26343568/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=830736 CPUtime=162.3 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 194505 0 0 0 16201 29 0 0 25 0 1 0 970753801 850673664 193083 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303491 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 207684 193083 263 35 0 204307 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 830736

[startup+222.3 s]
/proc/loadavg: 2.93 3.47 3.66 3/178 12925
/proc/meminfo: memFree=28327992/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=1169060 CPUtime=222.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 269502 0 0 0 22188 41 0 0 25 0 1 0 970753801 1197117440 268080 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303443 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 292265 268080 263 35 0 288888 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1169060

[startup+282.3 s]
/proc/loadavg: 2.34 3.20 3.55 3/178 12926
/proc/meminfo: memFree=28001556/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=1575644 CPUtime=282.3 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 350909 0 0 0 28178 52 0 0 25 0 1 0 970753801 1613459456 349487 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303632 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 393911 349487 263 35 0 390534 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1575644

[startup+342.3 s]
/proc/loadavg: 2.12 2.98 3.45 3/178 12928
/proc/meminfo: memFree=27747196/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=1776696 CPUtime=342.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 413474 0 0 0 34168 61 0 0 25 0 1 0 970753801 1819336704 412052 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303238 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 444174 412052 263 35 0 440797 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1776696

[startup+402.3 s]
/proc/loadavg: 2.10 2.81 3.36 3/178 12929
/proc/meminfo: memFree=27423264/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=2225172 CPUtime=402.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 495861 0 0 0 40156 73 0 0 25 0 1 0 970753801 2278576128 494439 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 556293 494440 263 35 0 552916 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 2225172

[startup+462.3 s]
/proc/loadavg: 2.04 2.66 3.27 3/178 12931
/proc/meminfo: memFree=27085572/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=2424608 CPUtime=462.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 555082 0 0 0 46147 82 0 0 25 0 1 0 970753801 2482798592 553660 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303662 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 606152 553660 263 35 0 602775 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2424608

[startup+522.3 s]
/proc/loadavg: 2.01 2.54 3.19 3/178 12933
/proc/meminfo: memFree=26822532/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=2691404 CPUtime=522.3 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 622207 0 0 0 52138 92 0 0 25 0 1 0 970753801 2755997696 617568 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303461 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 672851 617568 263 35 0 669474 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2691404

[startup+582.3 s]
/proc/loadavg: 2.00 2.44 3.11 3/178 12934
/proc/meminfo: memFree=26490796/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=3079180 CPUtime=582.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 710068 0 0 0 58126 103 0 0 25 0 1 0 970753801 3153080320 700074 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303698 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 769795 700074 263 35 0 766418 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 3079180

[startup+642.3 s]
/proc/loadavg: 2.00 2.36 3.04 3/178 12936
/proc/meminfo: memFree=26301520/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=3314664 CPUtime=642.3 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 756540 0 0 0 64120 110 0 0 25 0 1 0 970753801 3394215936 746546 33554432000 4194304 4337479 140736459425920 18446744073709551615 4289648 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 828666 746546 263 35 0 825289 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 3314664

[startup+702.3 s]
/proc/loadavg: 2.00 2.29 2.97 3/178 12937
/proc/meminfo: memFree=26139644/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=3402148 CPUtime=702.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 795934 0 0 0 70112 117 0 0 25 0 1 0 970753801 3483799552 785940 33554432000 4194304 4337479 140736459425920 18446744073709551615 4292650 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 850537 785940 263 35 0 847160 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 3402148

[startup+762.306 s]
/proc/loadavg: 2.00 2.23 2.91 3/178 12939
/proc/meminfo: memFree=25937736/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=3653108 CPUtime=762.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 845506 0 0 0 76103 126 0 0 25 0 1 0 970753801 3740782592 835512 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 913277 835512 263 35 0 909900 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 3653108

[startup+822.3 s]
/proc/loadavg: 2.00 2.19 2.85 3/178 12941
/proc/meminfo: memFree=25776260/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=3809456 CPUtime=822.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 892927 0 0 0 82097 132 0 0 25 0 1 0 970753801 3900882944 875889 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 952364 875889 263 35 0 948987 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 3809456

[startup+882.3 s]
/proc/loadavg: 2.00 2.15 2.79 3/178 12942
/proc/meminfo: memFree=25619968/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=4068528 CPUtime=882.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 939214 0 0 0 88090 139 0 0 25 0 1 0 970753801 4166172672 914101 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303658 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 1017132 914101 263 35 0 1013755 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 4068528

[startup+942.301 s]
/proc/loadavg: 2.08 2.14 2.75 3/178 12944
/proc/meminfo: memFree=25525184/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=4122180 CPUtime=942.28 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 961790 0 0 0 94086 142 0 0 25 0 1 0 970753801 4221112320 936677 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303363 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 1030545 936677 263 35 0 1027168 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 4122180

[startup+1002.3 s]
/proc/loadavg: 2.03 2.11 2.70 3/178 12945
/proc/meminfo: memFree=25423948/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=4142688 CPUtime=1002.28 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 976057 0 0 0 100084 144 0 0 25 0 1 0 970753801 4242112512 950944 33554432000 4194304 4337479 140736459425920 18446744073709551615 4256215 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 1035672 950944 263 35 0 1032295 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 4142688

Solver just ended. Dumping a history of the last processes samples

[startup+1023.9 s]
/proc/loadavg: 2.02 2.10 2.68 3/178 12946
/proc/meminfo: memFree=25410164/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=4142688 CPUtime=1023.89 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 978700 0 0 0 102244 145 0 0 25 0 1 0 970753801 4242112512 953587 33554432000 4194304 4337479 140736459425920 18446744073709551615 4256409 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 1035672 953587 263 35 0 1032295 0
Current children cumulated CPU time (s) 1023.89
Current children cumulated vsize (KiB) 4142688

[startup+1036.7 s]
/proc/loadavg: 2.01 2.10 2.67 3/178 12946
/proc/meminfo: memFree=25402208/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=4142688 CPUtime=1036.69 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 980632 0 0 0 103524 145 0 0 25 0 1 0 970753801 4242112512 955519 33554432000 4194304 4337479 140736459425920 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 1035672 955519 263 35 0 1032295 0
Current children cumulated CPU time (s) 1036.69
Current children cumulated vsize (KiB) 4142688

[startup+1043.1 s]
/proc/loadavg: 2.01 2.09 2.67 3/178 12947
/proc/meminfo: memFree=25398856/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=4142688 CPUtime=1043.09 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 981518 0 0 0 104164 145 0 0 25 0 1 0 970753801 4242112512 956405 33554432000 4194304 4337479 140736459425920 18446744073709551615 4262927 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 1035672 956405 263 35 0 1032295 0
Current children cumulated CPU time (s) 1043.09
Current children cumulated vsize (KiB) 4142688

[startup+1046.3 s]
/proc/loadavg: 2.01 2.09 2.66 3/178 12947
/proc/meminfo: memFree=25395136/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=4142688 CPUtime=1046.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 982281 0 0 0 104484 145 0 0 25 0 1 0 970753801 4242112512 957168 33554432000 4194304 4337479 140736459425920 18446744073709551615 4262927 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 1035672 957168 263 35 0 1032295 0
Current children cumulated CPU time (s) 1046.29
Current children cumulated vsize (KiB) 4142688

[startup+1047.9 s]
/proc/loadavg: 2.01 2.09 2.66 3/178 12947
/proc/meminfo: memFree=25395256/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=4142688 CPUtime=1047.88 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 982348 0 0 0 104643 145 0 0 25 0 1 0 970753801 4242112512 957235 33554432000 4194304 4337479 140736459425920 18446744073709551615 4278966 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 1035672 957235 263 35 0 1032295 0
Current children cumulated CPU time (s) 1047.88
Current children cumulated vsize (KiB) 4142688

[startup+1048.31 s]
/proc/loadavg: 2.01 2.09 2.66 3/178 12947
/proc/meminfo: memFree=25417948/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=4113976 CPUtime=1048.29 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202496 982424 0 0 0 104684 145 0 0 25 0 1 0 970753801 4212711424 951421 33554432000 4194304 4337479 140736459425920 18446744073709551615 4262854 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/12870/statm: 1028494 951421 263 35 0 1025117 0
Current children cumulated CPU time (s) 1048.29
Current children cumulated vsize (KiB) 4113976

[startup+1048.5 s]
/proc/loadavg: 2.01 2.09 2.66 3/178 12947
/proc/meminfo: memFree=25417948/32950928 swapFree=67051812/67111528
[pid=12870] ppid=12868 vsize=0 CPUtime=1048.49 cores=4,6
/proc/12870/stat : 12870 (hmuc) R 12868 12870 10968 0 -1 4202500 982426 0 0 0 104690 159 0 0 25 0 1 0 970753801 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 4 0 0 0
/proc/12870/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1048.49
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1048.53
CPU time (s): 1048.52
CPU user time (s): 1046.9
CPU system time (s): 1.62075
CPU usage (%): 99.9992
Max. virtual memory (cumulated for all children) (KiB): 4142688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1046.9
system time used= 1.62075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 982426
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 798

runsolver used 1.63375 second user time and 3.39548 second system time

The end

Launcher Data 

Begin job on node116 at 2011-06-11 17:13:51
IDJOB=3494416
IDBENCH=89620
IDSOLVER=1984
FILE ID=node116/3494416-1307805231
RUNJOBID= node116-1307804450-11529
PBS_JOBID= 13551061
Free space on /tmp= 74048 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/fpga-routing/alu2_gr_rcs_w7.shuffled.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494416-1307805231/watcher-3494416-1307805231 -o /tmp/evaluation-result-3494416-1307805231/solver-3494416-1307805231 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494416-1307805231.cnf -no-pre

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= d42b5e34cfb164a6f58db1ec2594faf2
RANDOM SEED=589829381

node116.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26990136 kB
Buffers:        310924 kB
Cached:        1020836 kB
SwapCached:      13064 kB
Active:        4978560 kB
Inactive:       774136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26990136 kB
SwapTotal:    67111528 kB
SwapFree:     67051812 kB
Dirty:            1712 kB
Writeback:           0 kB
AnonPages:     4418844 kB
Mapped:           9696 kB
Slab:           132876 kB
PageTables:      14148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  4980492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74084 MiB
End job on node116 at 2011-06-11 17:31:20