Trace number 3494716

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 1038.69 1038.67

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 

77.49/77.56	c WARNING: for repeatability, setting FPU to use double precision
77.49/77.56	c iter 1 time 1.02484 not-muc 68803 unknown 4675 muc 0
77.49/77.56	c iter 2 time 1.57476 not-muc 69197 unknown 4281 muc 0
77.49/77.56	c iter 3 time 1.9847 not-muc 69241 unknown 4237 muc 0
77.49/77.56	c iter 4 time 2.43763 not-muc 69778 unknown 3700 muc 0
77.49/77.56	c iter 5 time 2.80157 not-muc 69990 unknown 3488 muc 0
77.49/77.56	c iter 6 time 3.54546 not-muc 70221 unknown 3257 muc 0
77.49/77.56	c iter 7 time 4.44732 not-muc 70470 unknown 3008 muc 0
77.49/77.56	c iter 8 time 5.9291 not-muc 70522 unknown 2956 muc 0
77.49/77.56	c iter 9 time 7.36388 not-muc 70601 unknown 2877 muc 0
77.49/77.56	c iter 10 time 7.41887 not-muc 70601 unknown 2876 muc 1
77.49/77.56	c iter 11 time 8.05877 not-muc 70725 unknown 2752 muc 1
77.49/77.56	c iter 12 time 8.76767 not-muc 70831 unknown 2646 muc 1
77.49/77.56	c iter 13 time 9.48056 not-muc 70883 unknown 2594 muc 1
77.49/77.56	c iter 14 time 9.8855 not-muc 70909 unknown 2568 muc 1
77.49/77.56	c iter 15 time 10.2444 not-muc 70920 unknown 2557 muc 1
77.49/77.56	c iter 16 time 10.2644 not-muc 70920 unknown 2556 muc 2
77.49/77.56	c iter 17 time 10.8224 not-muc 70927 unknown 2549 muc 2
77.49/77.56	c iter 18 time 12.2021 not-muc 70944 unknown 2532 muc 2
77.49/77.56	c iter 19 time 13.6069 not-muc 70969 unknown 2507 muc 2
77.49/77.56	c iter 20 time 14.8357 not-muc 70985 unknown 2491 muc 2
77.49/77.56	c iter 21 time 15.4826 not-muc 70994 unknown 2482 muc 2
77.49/77.56	c iter 22 time 16.3985 not-muc 71046 unknown 2430 muc 2
77.49/77.56	c iter 23 time 17.9903 not-muc 71059 unknown 2417 muc 2
77.49/77.56	c iter 24 time 18.7382 not-muc 71078 unknown 2398 muc 2
77.49/77.56	c iter 25 time 19.561 not-muc 71087 unknown 2389 muc 2
77.49/77.56	c iter 26 time 20.9708 not-muc 71110 unknown 2366 muc 2
77.49/77.56	c iter 27 time 22.3776 not-muc 71121 unknown 2355 muc 2
77.49/77.56	c iter 28 time 23.5834 not-muc 71124 unknown 2352 muc 2
77.49/77.56	c iter 29 time 24.6453 not-muc 71136 unknown 2340 muc 2
77.49/77.56	c iter 30 time 25.4381 not-muc 71143 unknown 2333 muc 2
77.49/77.56	c iter 31 time 25.4841 not-muc 71143 unknown 2332 muc 3
77.49/77.56	c iter 32 time 26.321 not-muc 71175 unknown 2300 muc 3
77.49/77.56	c iter 33 time 27.8058 not-muc 71177 unknown 2298 muc 3
77.49/77.56	c iter 34 time 29.9854 not-muc 71179 unknown 2296 muc 3
77.49/77.56	c iter 35 time 30.8993 not-muc 71202 unknown 2273 muc 3
77.49/77.56	c iter 36 time 31.6632 not-muc 71206 unknown 2269 muc 3
77.49/77.56	c iter 37 time 33.134 not-muc 71209 unknown 2266 muc 3
77.49/77.56	c iter 38 time 34.4648 not-muc 71212 unknown 2263 muc 3
77.49/77.56	c iter 39 time 34.5048 not-muc 71212 unknown 2262 muc 4
77.49/77.56	c iter 40 time 35.8825 not-muc 71213 unknown 2261 muc 4
77.49/77.56	c iter 41 time 37.3433 not-muc 71217 unknown 2257 muc 4
77.49/77.56	c iter 42 time 38.6351 not-muc 71218 unknown 2256 muc 4
77.49/77.56	c iter 43 time 40.2069 not-muc 71222 unknown 2252 muc 4
77.49/77.56	c iter 44 time 41.7736 not-muc 71239 unknown 2235 muc 4
77.49/77.56	c iter 45 time 41.8246 not-muc 71239 unknown 2234 muc 5
77.49/77.56	c iter 46 time 43.3224 not-muc 71244 unknown 2229 muc 5
77.49/77.56	c iter 47 time 44.4172 not-muc 71247 unknown 2226 muc 5
77.49/77.56	c iter 48 time 45.903 not-muc 71255 unknown 2218 muc 5
77.49/77.56	c iter 49 time 47.2388 not-muc 71274 unknown 2199 muc 5
77.49/77.56	c iter 50 time 48.8926 not-muc 71275 unknown 2198 muc 5
77.49/77.56	c iter 51 time 50.3913 not-muc 71283 unknown 2190 muc 5
77.49/77.56	c iter 52 time 51.7711 not-muc 71286 unknown 2187 muc 5
77.49/77.56	c iter 53 time 52.748 not-muc 71289 unknown 2184 muc 5
77.49/77.56	c iter 54 time 54.0058 not-muc 71291 unknown 2182 muc 5
77.49/77.56	c iter 55 time 55.4956 not-muc 71292 unknown 2181 muc 5
77.49/77.56	c iter 56 time 57.0073 not-muc 71293 unknown 2180 muc 5
77.49/77.56	c iter 57 time 58.7241 not-muc 71295 unknown 2178 muc 5
77.49/77.56	c iter 58 time 60.2018 not-muc 71297 unknown 2176 muc 5
77.49/77.56	c iter 59 time 61.6086 not-muc 71299 unknown 2174 muc 5
77.49/77.56	c iter 60 time 61.6456 not-muc 71299 unknown 2173 muc 6
77.49/77.56	c iter 61 time 63.1774 not-muc 71302 unknown 2170 muc 6
77.49/77.56	c iter 62 time 63.2224 not-muc 71302 unknown 2169 muc 7
77.49/77.56	c iter 63 time 64.6692 not-muc 71303 unknown 2168 muc 7
77.49/77.56	c iter 64 time 64.7292 not-muc 71303 unknown 2167 muc 8
77.49/77.56	c iter 65 time 66.1779 not-muc 71304 unknown 2166 muc 8
77.49/77.56	c iter 66 time 67.7297 not-muc 71305 unknown 2165 muc 8
77.49/77.56	c iter 67 time 69.2965 not-muc 71307 unknown 2163 muc 8
77.49/77.56	c iter 68 time 70.8592 not-muc 71310 unknown 2160 muc 8
77.49/77.56	c iter 69 time 72.569 not-muc 71312 unknown 2158 muc 8
77.49/77.56	c iter 70 time 72.619 not-muc 71312 unknown 2157 muc 9
77.49/77.56	c iter 71 time 74.2167 not-muc 71314 unknown 2155 muc 9
77.49/77.56	c iter 72 time 75.9455 not-muc 71315 unknown 2154 muc 9
77.49/77.56	c iter 73 time 77.4282 not-muc 71316 unknown 2153 muc 9
153.09/153.10	c iter 74 time 79.7909 not-muc 71317 unknown 2152 muc 9
153.09/153.10	c iter 75 time 81.3446 not-muc 71320 unknown 2149 muc 9
153.09/153.10	c iter 76 time 83.5663 not-muc 71321 unknown 2148 muc 9
153.09/153.10	c iter 77 time 85.0771 not-muc 71324 unknown 2145 muc 9
153.09/153.10	c iter 78 time 85.1381 not-muc 71324 unknown 2144 muc 10
153.09/153.10	c iter 79 time 85.774 not-muc 71338 unknown 2130 muc 10
153.09/153.10	c iter 80 time 87.1587 not-muc 71339 unknown 2129 muc 10
153.09/153.10	c iter 81 time 88.5945 not-muc 71340 unknown 2128 muc 10
153.09/153.10	c iter 82 time 90.0953 not-muc 71345 unknown 2123 muc 10
153.09/153.10	c iter 83 time 91.6351 not-muc 71362 unknown 2106 muc 10
153.09/153.10	c iter 84 time 93.2168 not-muc 71363 unknown 2105 muc 10
153.09/153.10	c iter 85 time 93.2788 not-muc 71363 unknown 2104 muc 11
153.09/153.10	c iter 86 time 94.8236 not-muc 71367 unknown 2100 muc 11
153.09/153.10	c iter 87 time 96.2104 not-muc 71369 unknown 2098 muc 11
153.09/153.10	c iter 88 time 96.2574 not-muc 71369 unknown 2097 muc 12
153.09/153.10	c iter 89 time 96.2794 not-muc 71369 unknown 2096 muc 13
153.09/153.10	c iter 90 time 97.6392 not-muc 71373 unknown 2092 muc 13
153.09/153.10	c iter 91 time 97.6921 not-muc 71373 unknown 2091 muc 14
153.09/153.10	c iter 92 time 99.0399 not-muc 71377 unknown 2087 muc 14
153.09/153.10	c iter 93 time 99.0959 not-muc 71377 unknown 2086 muc 15
153.09/153.10	c iter 94 time 99.1089 not-muc 71377 unknown 2085 muc 16
153.09/153.10	c iter 95 time 99.1279 not-muc 71377 unknown 2084 muc 17
153.09/153.10	c iter 96 time 99.1599 not-muc 71377 unknown 2083 muc 18
153.09/153.10	c iter 97 time 100.688 not-muc 71378 unknown 2082 muc 18
153.09/153.10	c iter 98 time 100.731 not-muc 71378 unknown 2081 muc 19
153.09/153.10	c iter 99 time 102.133 not-muc 71379 unknown 2080 muc 19
153.09/153.10	c iter 100 time 102.789 not-muc 71380 unknown 2079 muc 19
153.09/153.10	c iter 101 time 104.348 not-muc 71381 unknown 2078 muc 19
153.09/153.10	c iter 102 time 105.783 not-muc 71382 unknown 2077 muc 19
153.09/153.10	c iter 103 time 105.847 not-muc 71382 unknown 2076 muc 20
153.09/153.10	c iter 104 time 108.717 not-muc 71383 unknown 2075 muc 20
153.09/153.10	c iter 105 time 110.333 not-muc 71384 unknown 2074 muc 20
153.09/153.10	c iter 106 time 111.746 not-muc 71385 unknown 2073 muc 20
153.09/153.10	c iter 107 time 111.803 not-muc 71385 unknown 2072 muc 21
153.09/153.10	c iter 108 time 111.826 not-muc 71385 unknown 2071 muc 22
153.09/153.10	c iter 109 time 113.201 not-muc 71386 unknown 2070 muc 22
153.09/153.10	c iter 110 time 114.669 not-muc 71390 unknown 2066 muc 22
153.09/153.10	c iter 111 time 115.998 not-muc 71400 unknown 2056 muc 22
153.09/153.10	c iter 112 time 116.059 not-muc 71400 unknown 2055 muc 23
153.09/153.10	c iter 113 time 119.194 not-muc 71401 unknown 2054 muc 23
153.09/153.10	c iter 114 time 120.482 not-muc 71402 unknown 2053 muc 23
153.09/153.10	c iter 115 time 122.029 not-muc 71403 unknown 2052 muc 23
153.09/153.10	c iter 116 time 123.566 not-muc 71404 unknown 2051 muc 23
153.09/153.10	c iter 117 time 124.662 not-muc 71405 unknown 2050 muc 23
153.09/153.10	c iter 118 time 126.036 not-muc 71406 unknown 2049 muc 23
153.09/153.10	c iter 119 time 126.099 not-muc 71406 unknown 2048 muc 24
153.09/153.10	c iter 120 time 128.132 not-muc 71407 unknown 2047 muc 24
153.09/153.10	c iter 121 time 128.207 not-muc 71407 unknown 2046 muc 25
153.09/153.10	c iter 122 time 128.256 not-muc 71407 unknown 2045 muc 26
153.09/153.10	c iter 123 time 129.695 not-muc 71411 unknown 2041 muc 26
153.09/153.10	c iter 124 time 129.773 not-muc 71411 unknown 2040 muc 27
153.09/153.10	c iter 125 time 129.796 not-muc 71411 unknown 2039 muc 28
153.09/153.10	c iter 126 time 131.212 not-muc 71412 unknown 2038 muc 28
153.09/153.10	c iter 127 time 131.273 not-muc 71412 unknown 2037 muc 29
153.09/153.10	c iter 128 time 132.751 not-muc 71413 unknown 2036 muc 29
153.09/153.10	c iter 129 time 134.403 not-muc 71414 unknown 2035 muc 29
153.09/153.10	c iter 130 time 136.956 not-muc 71415 unknown 2034 muc 29
153.09/153.10	c iter 131 time 138.453 not-muc 71416 unknown 2033 muc 29
153.09/153.10	c iter 132 time 138.525 not-muc 71416 unknown 2032 muc 30
153.09/153.10	c iter 133 time 138.539 not-muc 71416 unknown 2031 muc 31
153.09/153.10	c iter 134 time 138.58 not-muc 71416 unknown 2030 muc 32
153.09/153.10	c iter 135 time 140.017 not-muc 71417 unknown 2029 muc 32
153.09/153.10	c iter 136 time 141.464 not-muc 71418 unknown 2028 muc 32
153.09/153.10	c iter 137 time 144.555 not-muc 71419 unknown 2027 muc 32
153.09/153.10	c iter 138 time 145.37 not-muc 71420 unknown 2026 muc 32
153.09/153.10	c iter 139 time 147.439 not-muc 71421 unknown 2025 muc 32
153.09/153.10	c iter 140 time 149.046 not-muc 71422 unknown 2024 muc 32
153.09/153.10	c iter 141 time 151.914 not-muc 71423 unknown 2023 muc 32
153.09/153.10	c iter 142 time 151.98 not-muc 71423 unknown 2022 muc 33
153.09/153.10	c iter 143 time 152.753 not-muc 71424 unknown 2021 muc 33
153.09/153.10	c iter 144 time 152.839 not-muc 71424 unknown 2020 muc 34
228.60/228.68	c iter 145 time 152.868 not-muc 71424 unknown 2019 muc 35
228.60/228.68	c iter 146 time 155 not-muc 71427 unknown 2016 muc 35
228.60/228.68	c iter 147 time 155.071 not-muc 71427 unknown 2015 muc 36
228.60/228.68	c iter 148 time 156.574 not-muc 71428 unknown 2014 muc 36
228.60/228.68	c iter 149 time 156.644 not-muc 71428 unknown 2013 muc 37
228.60/228.68	c iter 150 time 158.225 not-muc 71430 unknown 2011 muc 37
228.60/228.68	c iter 151 time 158.285 not-muc 71430 unknown 2010 muc 38
228.60/228.68	c iter 152 time 159.588 not-muc 71432 unknown 2008 muc 38
228.60/228.68	c iter 153 time 162.68 not-muc 71433 unknown 2007 muc 38
228.60/228.68	c iter 154 time 164.222 not-muc 71434 unknown 2006 muc 38
228.60/228.68	c iter 155 time 164.282 not-muc 71434 unknown 2005 muc 39
228.60/228.68	c iter 156 time 165.594 not-muc 71436 unknown 2003 muc 39
228.60/228.68	c iter 157 time 165.655 not-muc 71436 unknown 2002 muc 40
228.60/228.68	c iter 158 time 165.692 not-muc 71436 unknown 2001 muc 41
228.60/228.68	c iter 159 time 167.682 not-muc 71437 unknown 2000 muc 41
228.60/228.68	c iter 160 time 170.68 not-muc 71438 unknown 1999 muc 41
228.60/228.68	c iter 161 time 172.938 not-muc 71439 unknown 1998 muc 41
228.60/228.68	c iter 162 time 174.469 not-muc 71440 unknown 1997 muc 41
228.60/228.68	c iter 163 time 175.867 not-muc 71441 unknown 1996 muc 41
228.60/228.68	c iter 164 time 177.364 not-muc 71442 unknown 1995 muc 41
228.60/228.68	c iter 165 time 178.893 not-muc 71443 unknown 1994 muc 41
228.60/228.68	c iter 166 time 178.957 not-muc 71443 unknown 1993 muc 42
228.60/228.68	c iter 167 time 180.621 not-muc 71446 unknown 1990 muc 42
228.60/228.68	c iter 168 time 183.478 not-muc 71447 unknown 1989 muc 42
228.60/228.68	c iter 169 time 185.03 not-muc 71448 unknown 1988 muc 42
228.60/228.68	c iter 170 time 186.287 not-muc 71450 unknown 1986 muc 42
228.60/228.68	c iter 171 time 187.775 not-muc 71451 unknown 1985 muc 42
228.60/228.68	c iter 172 time 187.848 not-muc 71451 unknown 1984 muc 43
228.60/228.68	c iter 173 time 187.888 not-muc 71451 unknown 1983 muc 44
228.60/228.68	c iter 174 time 189.164 not-muc 71452 unknown 1982 muc 44
228.60/228.68	c iter 175 time 189.235 not-muc 71452 unknown 1981 muc 45
228.60/228.68	c iter 176 time 189.28 not-muc 71452 unknown 1980 muc 46
228.60/228.68	c iter 177 time 190.627 not-muc 71453 unknown 1979 muc 46
228.60/228.68	c iter 178 time 190.692 not-muc 71453 unknown 1978 muc 47
228.60/228.68	c iter 179 time 190.731 not-muc 71453 unknown 1977 muc 48
228.60/228.68	c iter 180 time 192.176 not-muc 71454 unknown 1976 muc 48
228.60/228.68	c iter 181 time 194.938 not-muc 71508 unknown 1922 muc 48
228.60/228.68	c iter 182 time 195.035 not-muc 71508 unknown 1921 muc 49
228.60/228.68	c iter 183 time 195.093 not-muc 71508 unknown 1920 muc 50
228.60/228.68	c iter 184 time 196.542 not-muc 71510 unknown 1918 muc 50
228.60/228.68	c iter 185 time 199.457 not-muc 71511 unknown 1917 muc 50
228.60/228.68	c iter 186 time 200.883 not-muc 71513 unknown 1915 muc 50
228.60/228.68	c iter 187 time 202.463 not-muc 71514 unknown 1914 muc 50
228.60/228.68	c iter 188 time 204.015 not-muc 71515 unknown 1913 muc 50
228.60/228.68	c iter 189 time 205.628 not-muc 71516 unknown 1912 muc 50
228.60/228.68	c iter 190 time 205.703 not-muc 71516 unknown 1911 muc 51
228.60/228.68	c iter 191 time 207.072 not-muc 71517 unknown 1910 muc 51
228.60/228.68	c iter 192 time 207.132 not-muc 71517 unknown 1909 muc 52
228.60/228.68	c iter 193 time 207.168 not-muc 71517 unknown 1908 muc 53
228.60/228.68	c iter 194 time 208.549 not-muc 71518 unknown 1907 muc 53
228.60/228.68	c iter 195 time 209.906 not-muc 71519 unknown 1906 muc 53
228.60/228.68	c iter 196 time 211.476 not-muc 71522 unknown 1903 muc 53
228.60/228.68	c iter 197 time 211.55 not-muc 71522 unknown 1902 muc 54
228.60/228.68	c iter 198 time 212.809 not-muc 71523 unknown 1901 muc 54
228.60/228.68	c iter 199 time 214.134 not-muc 71524 unknown 1900 muc 54
228.60/228.68	c iter 200 time 214.198 not-muc 71524 unknown 1899 muc 55
228.60/228.68	c iter 201 time 215.841 not-muc 71525 unknown 1898 muc 55
228.60/228.68	c iter 202 time 217.313 not-muc 71526 unknown 1897 muc 55
228.60/228.68	c iter 203 time 217.41 not-muc 71526 unknown 1896 muc 56
228.60/228.68	c iter 204 time 219.123 not-muc 71527 unknown 1895 muc 56
228.60/228.68	c iter 205 time 219.192 not-muc 71527 unknown 1894 muc 57
228.60/228.68	c iter 206 time 220.673 not-muc 71528 unknown 1893 muc 57
228.60/228.68	c iter 207 time 222.003 not-muc 71529 unknown 1892 muc 57
228.60/228.68	c iter 208 time 222.089 not-muc 71529 unknown 1891 muc 58
228.60/228.68	c iter 209 time 223.54 not-muc 71530 unknown 1890 muc 58
228.60/228.68	c iter 210 time 223.612 not-muc 71530 unknown 1889 muc 59
228.60/228.68	c iter 211 time 225.348 not-muc 71532 unknown 1887 muc 59
228.60/228.68	c iter 212 time 225.436 not-muc 71532 unknown 1886 muc 60
228.60/228.68	c iter 213 time 225.484 not-muc 71532 unknown 1885 muc 61
228.60/228.68	c iter 214 time 226.812 not-muc 71534 unknown 1883 muc 61
228.60/228.68	c iter 215 time 228.303 not-muc 71535 unknown 1882 muc 61
294.09/294.11	c iter 216 time 229.733 not-muc 71538 unknown 1879 muc 61
294.09/294.11	c iter 217 time 229.816 not-muc 71538 unknown 1878 muc 62
294.09/294.11	c iter 218 time 231.238 not-muc 71539 unknown 1877 muc 62
294.09/294.11	c iter 219 time 233.033 not-muc 71540 unknown 1876 muc 62
294.09/294.11	c iter 220 time 233.104 not-muc 71540 unknown 1875 muc 63
294.09/294.11	c iter 221 time 233.159 not-muc 71540 unknown 1874 muc 64
294.09/294.11	c iter 222 time 233.21 not-muc 71540 unknown 1873 muc 65
294.09/294.11	c iter 223 time 233.253 not-muc 71540 unknown 1872 muc 66
294.09/294.11	c iter 224 time 235.289 not-muc 71541 unknown 1871 muc 66
294.09/294.11	c iter 225 time 235.4 not-muc 71541 unknown 1870 muc 67
294.09/294.11	c iter 226 time 237.52 not-muc 71543 unknown 1868 muc 67
294.09/294.11	c iter 227 time 239.928 not-muc 71544 unknown 1867 muc 67
294.09/294.11	c iter 228 time 240.013 not-muc 71544 unknown 1866 muc 68
294.09/294.11	c iter 229 time 240.059 not-muc 71544 unknown 1865 muc 69
294.09/294.11	c iter 230 time 240.104 not-muc 71544 unknown 1864 muc 70
294.09/294.11	c iter 231 time 242.277 not-muc 71545 unknown 1863 muc 70
294.09/294.11	c iter 232 time 243.132 not-muc 71546 unknown 1862 muc 70
294.09/294.11	c iter 233 time 244.604 not-muc 71547 unknown 1861 muc 70
294.09/294.11	c iter 234 time 247.602 not-muc 71548 unknown 1860 muc 70
294.09/294.11	c iter 235 time 247.679 not-muc 71548 unknown 1859 muc 71
294.09/294.11	c iter 236 time 247.701 not-muc 71548 unknown 1858 muc 72
294.09/294.11	c iter 237 time 249.127 not-muc 71549 unknown 1857 muc 72
294.09/294.11	c iter 238 time 250.637 not-muc 71550 unknown 1856 muc 72
294.09/294.11	c iter 239 time 250.709 not-muc 71550 unknown 1855 muc 73
294.09/294.11	c iter 240 time 252.046 not-muc 71551 unknown 1854 muc 73
294.09/294.11	c iter 241 time 252.158 not-muc 71551 unknown 1853 muc 74
294.09/294.11	c iter 242 time 252.211 not-muc 71551 unknown 1852 muc 75
294.09/294.11	c iter 243 time 253.602 not-muc 71555 unknown 1848 muc 75
294.09/294.11	c iter 244 time 253.676 not-muc 71555 unknown 1847 muc 76
294.09/294.11	c iter 245 time 253.724 not-muc 71555 unknown 1846 muc 77
294.09/294.11	c iter 246 time 255.101 not-muc 71556 unknown 1845 muc 77
294.09/294.11	c iter 247 time 255.196 not-muc 71556 unknown 1844 muc 78
294.09/294.11	c iter 248 time 255.247 not-muc 71556 unknown 1843 muc 79
294.09/294.11	c iter 249 time 255.278 not-muc 71556 unknown 1842 muc 80
294.09/294.11	c iter 250 time 255.322 not-muc 71556 unknown 1841 muc 81
294.09/294.11	c iter 251 time 255.375 not-muc 71556 unknown 1840 muc 82
294.09/294.11	c iter 252 time 255.416 not-muc 71556 unknown 1839 muc 83
294.09/294.11	c iter 253 time 258.181 not-muc 71557 unknown 1838 muc 83
294.09/294.11	c iter 254 time 258.253 not-muc 71557 unknown 1837 muc 84
294.09/294.11	c iter 255 time 259.58 not-muc 71559 unknown 1835 muc 84
294.09/294.11	c iter 256 time 260.977 not-muc 71560 unknown 1834 muc 84
294.09/294.11	c iter 257 time 261.045 not-muc 71560 unknown 1833 muc 85
294.09/294.11	c iter 258 time 262.666 not-muc 71561 unknown 1832 muc 85
294.09/294.11	c iter 259 time 264.102 not-muc 71562 unknown 1831 muc 85
294.09/294.11	c iter 260 time 265.458 not-muc 71563 unknown 1830 muc 85
294.09/294.11	c iter 261 time 265.534 not-muc 71563 unknown 1829 muc 86
294.09/294.11	c iter 262 time 266.926 not-muc 71565 unknown 1827 muc 86
294.09/294.11	c iter 263 time 268.33 not-muc 71566 unknown 1826 muc 86
294.09/294.11	c iter 264 time 270.314 not-muc 71567 unknown 1825 muc 86
294.09/294.11	c iter 265 time 270.399 not-muc 71567 unknown 1824 muc 87
294.09/294.11	c iter 266 time 270.452 not-muc 71567 unknown 1823 muc 88
294.09/294.11	c iter 267 time 270.496 not-muc 71567 unknown 1822 muc 89
294.09/294.11	c iter 268 time 270.533 not-muc 71567 unknown 1821 muc 90
294.09/294.11	c iter 269 time 272.213 not-muc 71568 unknown 1820 muc 90
294.09/294.11	c iter 270 time 273.578 not-muc 71570 unknown 1818 muc 90
294.09/294.11	c iter 271 time 275.227 not-muc 71571 unknown 1817 muc 90
294.09/294.11	c iter 272 time 277.963 not-muc 71572 unknown 1816 muc 90
294.09/294.11	c iter 273 time 279.639 not-muc 71573 unknown 1815 muc 90
294.09/294.11	c iter 274 time 279.719 not-muc 71573 unknown 1814 muc 91
294.09/294.11	c iter 275 time 281.409 not-muc 71574 unknown 1813 muc 91
294.09/294.11	c iter 276 time 283.926 not-muc 71575 unknown 1812 muc 91
294.09/294.11	c iter 277 time 284.036 not-muc 71575 unknown 1811 muc 92
294.09/294.11	c iter 278 time 286.738 not-muc 71576 unknown 1810 muc 92
294.09/294.11	c iter 279 time 288.048 not-muc 71578 unknown 1808 muc 92
294.09/294.11	c iter 280 time 288.119 not-muc 71578 unknown 1807 muc 93
294.09/294.11	c iter 281 time 288.165 not-muc 71578 unknown 1806 muc 94
294.09/294.11	c iter 282 time 288.193 not-muc 71578 unknown 1805 muc 95
294.09/294.11	c iter 283 time 288.246 not-muc 71578 unknown 1804 muc 96
294.09/294.11	c iter 284 time 289.405 not-muc 71579 unknown 1803 muc 96
294.09/294.11	c iter 285 time 292.098 not-muc 71580 unknown 1802 muc 96
294.09/294.11	c iter 286 time 293.619 not-muc 71581 unknown 1801 muc 96
352.70/352.78	c iter 287 time 293.777 not-muc 71581 unknown 1800 muc 97
352.70/352.78	c iter 288 time 293.841 not-muc 71581 unknown 1799 muc 98
352.70/352.78	c iter 289 time 295.168 not-muc 71582 unknown 1798 muc 98
352.70/352.78	c iter 290 time 295.232 not-muc 71582 unknown 1797 muc 99
352.70/352.78	c iter 291 time 296.866 not-muc 71583 unknown 1796 muc 99
352.70/352.78	c iter 292 time 298.232 not-muc 71584 unknown 1795 muc 99
352.70/352.78	c iter 293 time 299.57 not-muc 71586 unknown 1793 muc 99
352.70/352.78	c iter 294 time 300.878 not-muc 71587 unknown 1792 muc 99
352.70/352.78	c iter 295 time 300.918 not-muc 71587 unknown 1791 muc 100
352.70/352.78	c iter 296 time 302.696 not-muc 71588 unknown 1790 muc 100
352.70/352.78	c iter 297 time 303.938 not-muc 71590 unknown 1788 muc 100
352.70/352.78	c iter 298 time 304.848 not-muc 71593 unknown 1785 muc 100
352.70/352.78	c iter 299 time 305.986 not-muc 71594 unknown 1784 muc 100
352.70/352.78	c iter 300 time 306.041 not-muc 71594 unknown 1783 muc 101
352.70/352.78	c iter 301 time 306.071 not-muc 71594 unknown 1782 muc 102
352.70/352.78	c iter 302 time 308.119 not-muc 71596 unknown 1780 muc 102
352.70/352.78	c iter 303 time 309.929 not-muc 71597 unknown 1779 muc 102
352.70/352.78	c iter 304 time 311.2 not-muc 71598 unknown 1778 muc 102
352.70/352.78	c iter 305 time 312.684 not-muc 71600 unknown 1776 muc 102
352.70/352.78	c iter 306 time 312.777 not-muc 71600 unknown 1775 muc 103
352.70/352.78	c iter 307 time 312.839 not-muc 71600 unknown 1774 muc 104
352.70/352.78	c iter 308 time 314.257 not-muc 71601 unknown 1773 muc 104
352.70/352.78	c iter 309 time 314.345 not-muc 71601 unknown 1772 muc 105
352.70/352.78	c iter 310 time 315.664 not-muc 71602 unknown 1771 muc 105
352.70/352.78	c iter 311 time 315.751 not-muc 71602 unknown 1770 muc 106
352.70/352.78	c iter 312 time 318.848 not-muc 71603 unknown 1769 muc 106
352.70/352.78	c iter 313 time 320.342 not-muc 71606 unknown 1766 muc 106
352.70/352.78	c iter 314 time 323.12 not-muc 71607 unknown 1765 muc 106
352.70/352.78	c iter 315 time 323.215 not-muc 71607 unknown 1764 muc 107
352.70/352.78	c iter 316 time 325.902 not-muc 71608 unknown 1763 muc 107
352.70/352.78	c iter 317 time 326.007 not-muc 71608 unknown 1762 muc 108
352.70/352.78	c iter 318 time 326.049 not-muc 71608 unknown 1761 muc 109
352.70/352.78	c iter 319 time 327.429 not-muc 71611 unknown 1758 muc 109
352.70/352.78	c iter 320 time 327.528 not-muc 71611 unknown 1757 muc 110
352.70/352.78	c iter 321 time 327.581 not-muc 71611 unknown 1756 muc 111
352.70/352.78	c iter 322 time 327.614 not-muc 71611 unknown 1755 muc 112
352.70/352.78	c iter 323 time 327.677 not-muc 71611 unknown 1754 muc 113
352.70/352.78	c iter 324 time 327.741 not-muc 71611 unknown 1753 muc 114
352.70/352.78	c iter 325 time 329.788 not-muc 71612 unknown 1752 muc 114
352.70/352.78	c iter 326 time 329.906 not-muc 71612 unknown 1751 muc 115
352.70/352.78	c iter 327 time 329.957 not-muc 71612 unknown 1750 muc 116
352.70/352.78	c iter 328 time 329.999 not-muc 71612 unknown 1749 muc 117
352.70/352.78	c iter 329 time 330.07 not-muc 71612 unknown 1748 muc 118
352.70/352.78	c iter 330 time 330.107 not-muc 71612 unknown 1747 muc 119
352.70/352.78	c iter 331 time 331.616 not-muc 71613 unknown 1746 muc 119
352.70/352.78	c iter 332 time 331.729 not-muc 71613 unknown 1745 muc 120
352.70/352.78	c iter 333 time 334.413 not-muc 71614 unknown 1744 muc 120
352.70/352.78	c iter 334 time 334.524 not-muc 71614 unknown 1743 muc 121
352.70/352.78	c iter 335 time 335.93 not-muc 71615 unknown 1742 muc 121
352.70/352.78	c iter 336 time 337.72 not-muc 71616 unknown 1741 muc 121
352.70/352.78	c iter 337 time 339.444 not-muc 71618 unknown 1739 muc 121
352.70/352.78	c iter 338 time 339.552 not-muc 71618 unknown 1738 muc 122
352.70/352.78	c iter 339 time 339.589 not-muc 71618 unknown 1737 muc 123
352.70/352.78	c iter 340 time 341.108 not-muc 71677 unknown 1678 muc 123
352.70/352.78	c iter 341 time 341.231 not-muc 71677 unknown 1677 muc 124
352.70/352.78	c iter 342 time 341.281 not-muc 71677 unknown 1676 muc 125
352.70/352.78	c iter 343 time 341.327 not-muc 71677 unknown 1675 muc 126
352.70/352.78	c iter 344 time 341.345 not-muc 71677 unknown 1674 muc 127
352.70/352.78	c iter 345 time 341.387 not-muc 71677 unknown 1673 muc 128
352.70/352.78	c iter 346 time 342.772 not-muc 71680 unknown 1670 muc 128
352.70/352.78	c iter 347 time 345.301 not-muc 71681 unknown 1669 muc 128
352.70/352.78	c iter 348 time 346.733 not-muc 71682 unknown 1668 muc 128
352.70/352.78	c iter 349 time 348.63 not-muc 71683 unknown 1667 muc 128
352.70/352.78	c iter 350 time 348.707 not-muc 71683 unknown 1666 muc 129
352.70/352.78	c iter 351 time 350.063 not-muc 71684 unknown 1665 muc 129
352.70/352.78	c iter 352 time 351.369 not-muc 71685 unknown 1664 muc 129
352.70/352.78	c iter 353 time 351.583 not-muc 71685 unknown 1663 muc 130
352.70/352.78	c iter 354 time 352.103 not-muc 71688 unknown 1660 muc 130
352.70/352.78	c iter 355 time 352.187 not-muc 71688 unknown 1659 muc 131
414.40/414.49	c iter 356 time 352.206 not-muc 71688 unknown 1658 muc 132
414.40/414.49	c iter 357 time 352.231 not-muc 71688 unknown 1657 muc 133
414.40/414.49	c iter 358 time 353.578 not-muc 71691 unknown 1654 muc 133
414.40/414.49	c iter 359 time 356.494 not-muc 71692 unknown 1653 muc 133
414.40/414.49	c iter 360 time 359.543 not-muc 71693 unknown 1652 muc 133
414.40/414.49	c iter 361 time 361.379 not-muc 71694 unknown 1651 muc 133
414.40/414.49	c iter 362 time 362.581 not-muc 71696 unknown 1649 muc 133
414.40/414.49	c iter 363 time 362.667 not-muc 71696 unknown 1648 muc 134
414.40/414.49	c iter 364 time 364.164 not-muc 71698 unknown 1646 muc 134
414.40/414.49	c iter 365 time 365.961 not-muc 71699 unknown 1645 muc 134
414.40/414.49	c iter 366 time 366.044 not-muc 71699 unknown 1644 muc 135
414.40/414.49	c iter 367 time 367.688 not-muc 71700 unknown 1643 muc 135
414.40/414.49	c iter 368 time 367.792 not-muc 71700 unknown 1642 muc 136
414.40/414.49	c iter 369 time 367.816 not-muc 71700 unknown 1641 muc 137
414.40/414.49	c iter 370 time 369.519 not-muc 71701 unknown 1640 muc 137
414.40/414.49	c iter 371 time 372.39 not-muc 71703 unknown 1638 muc 137
414.40/414.49	c iter 372 time 372.481 not-muc 71703 unknown 1637 muc 138
414.40/414.49	c iter 373 time 375.648 not-muc 71704 unknown 1636 muc 138
414.40/414.49	c iter 374 time 376.986 not-muc 71706 unknown 1634 muc 138
414.40/414.49	c iter 375 time 378.484 not-muc 71707 unknown 1633 muc 138
414.40/414.49	c iter 376 time 378.556 not-muc 71707 unknown 1632 muc 139
414.40/414.49	c iter 377 time 378.595 not-muc 71707 unknown 1631 muc 140
414.40/414.49	c iter 378 time 378.641 not-muc 71707 unknown 1630 muc 141
414.40/414.49	c iter 379 time 378.683 not-muc 71707 unknown 1629 muc 142
414.40/414.49	c iter 380 time 378.712 not-muc 71707 unknown 1628 muc 143
414.40/414.49	c iter 381 time 378.778 not-muc 71707 unknown 1627 muc 144
414.40/414.49	c iter 382 time 378.839 not-muc 71707 unknown 1626 muc 145
414.40/414.49	c iter 383 time 380.3 not-muc 71708 unknown 1625 muc 145
414.40/414.49	c iter 384 time 380.393 not-muc 71708 unknown 1624 muc 146
414.40/414.49	c iter 385 time 380.438 not-muc 71708 unknown 1623 muc 147
414.40/414.49	c iter 386 time 383.224 not-muc 71709 unknown 1622 muc 147
414.40/414.49	c iter 387 time 385.669 not-muc 71711 unknown 1620 muc 147
414.40/414.49	c iter 388 time 388.492 not-muc 71712 unknown 1619 muc 147
414.40/414.49	c iter 389 time 388.577 not-muc 71712 unknown 1618 muc 148
414.40/414.49	c iter 390 time 388.63 not-muc 71712 unknown 1617 muc 149
414.40/414.49	c iter 391 time 389.883 not-muc 71713 unknown 1616 muc 149
414.40/414.49	c iter 392 time 390.692 not-muc 71715 unknown 1614 muc 149
414.40/414.49	c iter 393 time 392.219 not-muc 71716 unknown 1613 muc 149
414.40/414.49	c iter 394 time 392.311 not-muc 71716 unknown 1612 muc 150
414.40/414.49	c iter 395 time 392.359 not-muc 71716 unknown 1611 muc 151
414.40/414.49	c iter 396 time 393.717 not-muc 71717 unknown 1610 muc 151
414.40/414.49	c iter 397 time 393.832 not-muc 71717 unknown 1609 muc 152
414.40/414.49	c iter 398 time 396.383 not-muc 71718 unknown 1608 muc 152
414.40/414.49	c iter 399 time 396.471 not-muc 71718 unknown 1607 muc 153
414.40/414.49	c iter 400 time 396.553 not-muc 71718 unknown 1606 muc 154
414.40/414.49	c iter 401 time 396.615 not-muc 71718 unknown 1605 muc 155
414.40/414.49	c iter 402 time 398.068 not-muc 71719 unknown 1604 muc 155
414.40/414.49	c iter 403 time 399.445 not-muc 71720 unknown 1603 muc 155
414.40/414.49	c iter 404 time 399.533 not-muc 71720 unknown 1602 muc 156
414.40/414.49	c iter 405 time 399.593 not-muc 71720 unknown 1601 muc 157
414.40/414.49	c iter 406 time 399.649 not-muc 71720 unknown 1600 muc 158
414.40/414.49	c iter 407 time 402.251 not-muc 71721 unknown 1599 muc 158
414.40/414.49	c iter 408 time 403.676 not-muc 71722 unknown 1598 muc 158
414.40/414.49	c iter 409 time 403.768 not-muc 71722 unknown 1597 muc 159
414.40/414.49	c iter 410 time 403.837 not-muc 71722 unknown 1596 muc 160
414.40/414.49	c iter 411 time 403.902 not-muc 71722 unknown 1595 muc 161
414.40/414.49	c iter 412 time 405.836 not-muc 71726 unknown 1591 muc 161
414.40/414.49	c iter 413 time 407.927 not-muc 71728 unknown 1589 muc 161
414.40/414.49	c iter 414 time 408.023 not-muc 71728 unknown 1588 muc 162
414.40/414.49	c iter 415 time 408.09 not-muc 71728 unknown 1587 muc 163
414.40/414.49	c iter 416 time 410.803 not-muc 71731 unknown 1584 muc 163
414.40/414.49	c iter 417 time 412.143 not-muc 71732 unknown 1583 muc 163
414.40/414.49	c iter 418 time 412.243 not-muc 71732 unknown 1582 muc 164
414.40/414.49	c iter 419 time 412.274 not-muc 71732 unknown 1581 muc 165
414.40/414.49	c iter 420 time 412.319 not-muc 71732 unknown 1580 muc 166
414.40/414.49	c iter 421 time 412.355 not-muc 71732 unknown 1579 muc 167
414.40/414.49	c iter 422 time 412.415 not-muc 71732 unknown 1578 muc 168
414.40/414.49	c iter 423 time 412.476 not-muc 71732 unknown 1577 muc 169
414.40/414.49	c iter 424 time 413.683 not-muc 71736 unknown 1573 muc 169
414.40/414.49	c iter 425 time 413.775 not-muc 71736 unknown 1572 muc 170
465.80/465.80	c iter 426 time 413.802 not-muc 71736 unknown 1571 muc 171
465.80/465.80	c iter 427 time 413.837 not-muc 71736 unknown 1570 muc 172
465.80/465.80	c iter 428 time 414.939 not-muc 71740 unknown 1566 muc 172
465.80/465.80	c iter 429 time 415.046 not-muc 71740 unknown 1565 muc 173
465.80/465.80	c iter 430 time 416.416 not-muc 71741 unknown 1564 muc 173
465.80/465.80	c iter 431 time 416.507 not-muc 71741 unknown 1563 muc 174
465.80/465.80	c iter 432 time 416.546 not-muc 71741 unknown 1562 muc 175
465.80/465.80	c iter 433 time 417.811 not-muc 71744 unknown 1559 muc 175
465.80/465.80	c iter 434 time 419.317 not-muc 71745 unknown 1558 muc 175
465.80/465.80	c iter 435 time 419.463 not-muc 71745 unknown 1557 muc 176
465.80/465.80	c iter 436 time 419.517 not-muc 71745 unknown 1556 muc 177
465.80/465.80	c iter 437 time 419.561 not-muc 71745 unknown 1555 muc 178
465.80/465.80	c iter 438 time 419.619 not-muc 71745 unknown 1554 muc 179
465.80/465.80	c iter 439 time 420.935 not-muc 71746 unknown 1553 muc 179
465.80/465.80	c iter 440 time 422.876 not-muc 71749 unknown 1550 muc 179
465.80/465.80	c iter 441 time 424.795 not-muc 71751 unknown 1548 muc 179
465.80/465.80	c iter 442 time 424.886 not-muc 71751 unknown 1547 muc 180
465.80/465.80	c iter 443 time 427.556 not-muc 71752 unknown 1546 muc 180
465.80/465.80	c iter 444 time 427.661 not-muc 71752 unknown 1545 muc 181
465.80/465.80	c iter 445 time 427.702 not-muc 71752 unknown 1544 muc 182
465.80/465.80	c iter 446 time 427.759 not-muc 71752 unknown 1543 muc 183
465.80/465.80	c iter 447 time 428.944 not-muc 71755 unknown 1540 muc 183
465.80/465.80	c iter 448 time 429.034 not-muc 71755 unknown 1539 muc 184
465.80/465.80	c iter 449 time 430.265 not-muc 71757 unknown 1537 muc 184
465.80/465.80	c iter 450 time 430.384 not-muc 71757 unknown 1536 muc 185
465.80/465.80	c iter 451 time 430.472 not-muc 71757 unknown 1535 muc 186
465.80/465.80	c iter 452 time 431.648 not-muc 71758 unknown 1534 muc 186
465.80/465.80	c iter 453 time 432.989 not-muc 71759 unknown 1533 muc 186
465.80/465.80	c iter 454 time 433.1 not-muc 71759 unknown 1532 muc 187
465.80/465.80	c iter 455 time 433.158 not-muc 71759 unknown 1531 muc 188
465.80/465.80	c iter 456 time 435.621 not-muc 71760 unknown 1530 muc 188
465.80/465.80	c iter 457 time 435.703 not-muc 71760 unknown 1529 muc 189
465.80/465.80	c iter 458 time 435.754 not-muc 71760 unknown 1528 muc 190
465.80/465.80	c iter 459 time 435.808 not-muc 71760 unknown 1527 muc 191
465.80/465.80	c iter 460 time 437.072 not-muc 71763 unknown 1524 muc 191
465.80/465.80	c iter 461 time 438.347 not-muc 71764 unknown 1523 muc 191
465.80/465.80	c iter 462 time 439.627 not-muc 71766 unknown 1521 muc 191
465.80/465.80	c iter 463 time 439.724 not-muc 71766 unknown 1520 muc 192
465.80/465.80	c iter 464 time 439.761 not-muc 71766 unknown 1519 muc 193
465.80/465.80	c iter 465 time 439.819 not-muc 71766 unknown 1518 muc 194
465.80/465.80	c iter 466 time 441.337 not-muc 71767 unknown 1517 muc 194
465.80/465.80	c iter 467 time 441.423 not-muc 71767 unknown 1516 muc 195
465.80/465.80	c iter 468 time 441.487 not-muc 71767 unknown 1515 muc 196
465.80/465.80	c iter 469 time 443.167 not-muc 71768 unknown 1514 muc 196
465.80/465.80	c iter 470 time 443.285 not-muc 71768 unknown 1513 muc 197
465.80/465.80	c iter 471 time 443.352 not-muc 71768 unknown 1512 muc 198
465.80/465.80	c iter 472 time 444.756 not-muc 71769 unknown 1511 muc 198
465.80/465.80	c iter 473 time 446.383 not-muc 71770 unknown 1510 muc 198
465.80/465.80	c iter 474 time 447.811 not-muc 71772 unknown 1508 muc 198
465.80/465.80	c iter 475 time 447.89 not-muc 71772 unknown 1507 muc 199
465.80/465.80	c iter 476 time 447.96 not-muc 71772 unknown 1506 muc 200
465.80/465.80	c iter 477 time 449.282 not-muc 71774 unknown 1504 muc 200
465.80/465.80	c iter 478 time 449.394 not-muc 71774 unknown 1503 muc 201
465.80/465.80	c iter 479 time 449.463 not-muc 71774 unknown 1502 muc 202
465.80/465.80	c iter 480 time 449.514 not-muc 71774 unknown 1501 muc 203
465.80/465.80	c iter 481 time 451.06 not-muc 71776 unknown 1499 muc 203
465.80/465.80	c iter 482 time 451.155 not-muc 71776 unknown 1498 muc 204
465.80/465.80	c iter 483 time 453.334 not-muc 71777 unknown 1497 muc 204
465.80/465.80	c iter 484 time 455.892 not-muc 71778 unknown 1496 muc 204
465.80/465.80	c iter 485 time 457.032 not-muc 71780 unknown 1494 muc 204
465.80/465.80	c iter 486 time 458.549 not-muc 71782 unknown 1492 muc 204
465.80/465.80	c iter 487 time 458.633 not-muc 71782 unknown 1491 muc 205
465.80/465.80	c iter 488 time 458.697 not-muc 71782 unknown 1490 muc 206
465.80/465.80	c iter 489 time 458.769 not-muc 71782 unknown 1489 muc 207
465.80/465.80	c iter 490 time 459.044 not-muc 71782 unknown 1488 muc 208
465.80/465.80	c iter 491 time 461.016 not-muc 71783 unknown 1487 muc 208
465.80/465.80	c iter 492 time 461.129 not-muc 71783 unknown 1486 muc 209
465.80/465.80	c iter 493 time 462.626 not-muc 71785 unknown 1484 muc 209
465.80/465.80	c iter 494 time 465.006 not-muc 71786 unknown 1483 muc 209
508.21/508.28	c iter 495 time 467.735 not-muc 71788 unknown 1481 muc 209
508.21/508.28	c iter 496 time 469.095 not-muc 71792 unknown 1477 muc 209
508.21/508.28	c iter 497 time 470.573 not-muc 71794 unknown 1475 muc 209
508.21/508.28	c iter 498 time 471.866 not-muc 71797 unknown 1472 muc 209
508.21/508.28	c iter 499 time 472.996 not-muc 71799 unknown 1470 muc 209
508.21/508.28	c iter 500 time 473.072 not-muc 71799 unknown 1469 muc 210
508.21/508.28	c iter 501 time 474.569 not-muc 71800 unknown 1468 muc 210
508.21/508.28	c iter 502 time 474.67 not-muc 71800 unknown 1467 muc 211
508.21/508.28	c iter 503 time 476.102 not-muc 71809 unknown 1458 muc 211
508.21/508.28	c iter 504 time 476.203 not-muc 71809 unknown 1457 muc 212
508.21/508.28	c iter 505 time 476.265 not-muc 71809 unknown 1456 muc 213
508.21/508.28	c iter 506 time 476.314 not-muc 71809 unknown 1455 muc 214
508.21/508.28	c iter 507 time 476.383 not-muc 71809 unknown 1454 muc 215
508.21/508.28	c iter 508 time 477.674 not-muc 71810 unknown 1453 muc 215
508.21/508.28	c iter 509 time 477.787 not-muc 71810 unknown 1452 muc 216
508.21/508.28	c iter 510 time 477.851 not-muc 71810 unknown 1451 muc 217
508.21/508.28	c iter 511 time 477.933 not-muc 71810 unknown 1450 muc 218
508.21/508.28	c iter 512 time 477.962 not-muc 71810 unknown 1449 muc 219
508.21/508.28	c iter 513 time 479.188 not-muc 71812 unknown 1447 muc 219
508.21/508.28	c iter 514 time 479.27 not-muc 71812 unknown 1446 muc 220
508.21/508.28	c iter 515 time 479.326 not-muc 71812 unknown 1445 muc 221
508.21/508.28	c iter 516 time 479.366 not-muc 71812 unknown 1444 muc 222
508.21/508.28	c iter 517 time 479.412 not-muc 71812 unknown 1443 muc 223
508.21/508.28	c iter 518 time 479.464 not-muc 71812 unknown 1442 muc 224
508.21/508.28	c iter 519 time 480.842 not-muc 71813 unknown 1441 muc 224
508.21/508.28	c iter 520 time 480.972 not-muc 71813 unknown 1440 muc 225
508.21/508.28	c iter 521 time 481.047 not-muc 71813 unknown 1439 muc 226
508.21/508.28	c iter 522 time 481.083 not-muc 71813 unknown 1438 muc 227
508.21/508.28	c iter 523 time 483.972 not-muc 71815 unknown 1436 muc 227
508.21/508.28	c iter 524 time 484.1 not-muc 71815 unknown 1435 muc 228
508.21/508.28	c iter 525 time 484.145 not-muc 71815 unknown 1434 muc 229
508.21/508.28	c iter 526 time 484.201 not-muc 71815 unknown 1433 muc 230
508.21/508.28	c iter 527 time 484.257 not-muc 71815 unknown 1432 muc 231
508.21/508.28	c iter 528 time 484.329 not-muc 71815 unknown 1431 muc 232
508.21/508.28	c iter 529 time 486.53 not-muc 71816 unknown 1430 muc 232
508.21/508.28	c iter 530 time 486.661 not-muc 71816 unknown 1429 muc 233
508.21/508.28	c iter 531 time 486.736 not-muc 71816 unknown 1428 muc 234
508.21/508.28	c iter 532 time 486.781 not-muc 71816 unknown 1427 muc 235
508.21/508.28	c iter 533 time 486.846 not-muc 71816 unknown 1426 muc 236
508.21/508.28	c iter 534 time 488.13 not-muc 71817 unknown 1425 muc 236
508.21/508.28	c iter 535 time 489.59 not-muc 71818 unknown 1424 muc 236
508.21/508.28	c iter 536 time 489.716 not-muc 71818 unknown 1423 muc 237
508.21/508.28	c iter 537 time 491.49 not-muc 71819 unknown 1422 muc 237
508.21/508.28	c iter 538 time 491.616 not-muc 71819 unknown 1421 muc 238
508.21/508.28	c iter 539 time 491.684 not-muc 71819 unknown 1420 muc 239
508.21/508.28	c iter 540 time 492.826 not-muc 71820 unknown 1419 muc 239
508.21/508.28	c iter 541 time 492.94 not-muc 71820 unknown 1418 muc 240
508.21/508.28	c iter 542 time 492.984 not-muc 71820 unknown 1417 muc 241
508.21/508.28	c iter 543 time 493.006 not-muc 71820 unknown 1416 muc 242
508.21/508.28	c iter 544 time 493.072 not-muc 71820 unknown 1415 muc 243
508.21/508.28	c iter 545 time 494.341 not-muc 71821 unknown 1414 muc 243
508.21/508.28	c iter 546 time 497.111 not-muc 71822 unknown 1413 muc 243
508.21/508.28	c iter 547 time 497.204 not-muc 71822 unknown 1412 muc 244
508.21/508.28	c iter 548 time 497.246 not-muc 71822 unknown 1411 muc 245
508.21/508.28	c iter 549 time 497.291 not-muc 71822 unknown 1410 muc 246
508.21/508.28	c iter 550 time 500.153 not-muc 71823 unknown 1409 muc 246
508.21/508.28	c iter 551 time 500.277 not-muc 71823 unknown 1408 muc 247
508.21/508.28	c iter 552 time 500.384 not-muc 71823 unknown 1407 muc 248
508.21/508.28	c iter 553 time 500.461 not-muc 71823 unknown 1406 muc 249
508.21/508.28	c iter 554 time 500.531 not-muc 71823 unknown 1405 muc 250
508.21/508.28	c iter 555 time 500.578 not-muc 71823 unknown 1404 muc 251
508.21/508.28	c iter 556 time 502.974 not-muc 71824 unknown 1403 muc 251
508.21/508.28	c iter 557 time 503.092 not-muc 71824 unknown 1402 muc 252
508.21/508.28	c iter 558 time 503.158 not-muc 71824 unknown 1401 muc 253
508.21/508.28	c iter 559 time 503.198 not-muc 71824 unknown 1400 muc 254
508.21/508.28	c iter 560 time 504.51 not-muc 71826 unknown 1398 muc 254
508.21/508.28	c iter 561 time 504.634 not-muc 71826 unknown 1397 muc 255
508.21/508.28	c iter 562 time 504.708 not-muc 71826 unknown 1396 muc 256
508.21/508.28	c iter 563 time 507.3 not-muc 71827 unknown 1395 muc 256
508.21/508.28	c iter 564 time 507.426 not-muc 71827 unknown 1394 muc 257
547.20/547.27	c iter 565 time 510.087 not-muc 71828 unknown 1393 muc 257
547.20/547.27	c iter 566 time 512.708 not-muc 71829 unknown 1392 muc 257
547.20/547.27	c iter 567 time 512.826 not-muc 71829 unknown 1391 muc 258
547.20/547.27	c iter 568 time 512.88 not-muc 71829 unknown 1390 muc 259
547.20/547.27	c iter 569 time 512.954 not-muc 71829 unknown 1389 muc 260
547.20/547.27	c iter 570 time 512.995 not-muc 71829 unknown 1388 muc 261
547.20/547.27	c iter 571 time 513.111 not-muc 71829 unknown 1387 muc 262
547.20/547.27	c iter 572 time 513.178 not-muc 71829 unknown 1386 muc 263
547.20/547.27	c iter 573 time 513.242 not-muc 71829 unknown 1385 muc 264
547.20/547.27	c iter 574 time 513.322 not-muc 71829 unknown 1384 muc 265
547.20/547.27	c iter 575 time 514.672 not-muc 71830 unknown 1383 muc 265
547.20/547.27	c iter 576 time 514.796 not-muc 71830 unknown 1382 muc 266
547.20/547.27	c iter 577 time 514.832 not-muc 71830 unknown 1381 muc 267
547.20/547.27	c iter 578 time 514.872 not-muc 71830 unknown 1380 muc 268
547.20/547.27	c iter 579 time 514.936 not-muc 71830 unknown 1379 muc 269
547.20/547.27	c iter 580 time 514.974 not-muc 71830 unknown 1378 muc 270
547.20/547.27	c iter 581 time 516.33 not-muc 71831 unknown 1377 muc 270
547.20/547.27	c iter 582 time 516.426 not-muc 71831 unknown 1376 muc 271
547.20/547.27	c iter 583 time 516.493 not-muc 71831 unknown 1375 muc 272
547.20/547.27	c iter 584 time 516.546 not-muc 71831 unknown 1374 muc 273
547.20/547.27	c iter 585 time 516.598 not-muc 71831 unknown 1373 muc 274
547.20/547.27	c iter 586 time 516.676 not-muc 71831 unknown 1372 muc 275
547.20/547.27	c iter 587 time 516.758 not-muc 71831 unknown 1371 muc 276
547.20/547.27	c iter 588 time 517.848 not-muc 71843 unknown 1359 muc 276
547.20/547.27	c iter 589 time 519.121 not-muc 71844 unknown 1358 muc 276
547.20/547.27	c iter 590 time 519.232 not-muc 71844 unknown 1357 muc 277
547.20/547.27	c iter 591 time 519.274 not-muc 71844 unknown 1356 muc 278
547.20/547.27	c iter 592 time 519.31 not-muc 71844 unknown 1355 muc 279
547.20/547.27	c iter 593 time 520.794 not-muc 71845 unknown 1354 muc 279
547.20/547.27	c iter 594 time 520.936 not-muc 71845 unknown 1353 muc 280
547.20/547.27	c iter 595 time 521.048 not-muc 71845 unknown 1352 muc 281
547.20/547.27	c iter 596 time 523.662 not-muc 71846 unknown 1351 muc 281
547.20/547.27	c iter 597 time 523.761 not-muc 71846 unknown 1350 muc 282
547.20/547.27	c iter 598 time 523.81 not-muc 71846 unknown 1349 muc 283
547.20/547.27	c iter 599 time 526.411 not-muc 71847 unknown 1348 muc 283
547.20/547.27	c iter 600 time 526.542 not-muc 71847 unknown 1347 muc 284
547.20/547.27	c iter 601 time 526.621 not-muc 71847 unknown 1346 muc 285
547.20/547.27	c iter 602 time 526.664 not-muc 71847 unknown 1345 muc 286
547.20/547.27	c iter 603 time 526.706 not-muc 71847 unknown 1344 muc 287
547.20/547.27	c iter 604 time 529.796 not-muc 71848 unknown 1343 muc 287
547.20/547.27	c iter 605 time 529.899 not-muc 71848 unknown 1342 muc 288
547.20/547.27	c iter 606 time 532.466 not-muc 71849 unknown 1341 muc 288
547.20/547.27	c iter 607 time 532.578 not-muc 71849 unknown 1340 muc 289
547.20/547.27	c iter 608 time 532.617 not-muc 71849 unknown 1339 muc 290
547.20/547.27	c iter 609 time 532.69 not-muc 71849 unknown 1338 muc 291
547.20/547.27	c iter 610 time 532.762 not-muc 71849 unknown 1337 muc 292
547.20/547.27	c iter 611 time 533.925 not-muc 71850 unknown 1336 muc 292
547.20/547.27	c iter 612 time 536.38 not-muc 71851 unknown 1335 muc 292
547.20/547.27	c iter 613 time 536.499 not-muc 71851 unknown 1334 muc 293
547.20/547.27	c iter 614 time 536.543 not-muc 71851 unknown 1333 muc 294
547.20/547.27	c iter 615 time 536.621 not-muc 71851 unknown 1332 muc 295
547.20/547.27	c iter 616 time 536.658 not-muc 71851 unknown 1331 muc 296
547.20/547.27	c iter 617 time 536.695 not-muc 71851 unknown 1330 muc 297
547.20/547.27	c iter 618 time 536.73 not-muc 71851 unknown 1329 muc 298
547.20/547.27	c iter 619 time 536.766 not-muc 71851 unknown 1328 muc 299
547.20/547.27	c iter 620 time 536.809 not-muc 71851 unknown 1327 muc 300
547.20/547.27	c iter 621 time 536.86 not-muc 71851 unknown 1326 muc 301
547.20/547.27	c iter 622 time 536.942 not-muc 71851 unknown 1325 muc 302
547.20/547.27	c iter 623 time 538.089 not-muc 71852 unknown 1324 muc 302
547.20/547.27	c iter 624 time 538.224 not-muc 71852 unknown 1323 muc 303
547.20/547.27	c iter 625 time 538.279 not-muc 71852 unknown 1322 muc 304
547.20/547.27	c iter 626 time 539.456 not-muc 71854 unknown 1320 muc 304
547.20/547.27	c iter 627 time 542.028 not-muc 71855 unknown 1319 muc 304
547.20/547.27	c iter 628 time 543.317 not-muc 71856 unknown 1318 muc 304
547.20/547.27	c iter 629 time 544.805 not-muc 71857 unknown 1317 muc 304
547.20/547.27	c iter 630 time 544.951 not-muc 71857 unknown 1316 muc 305
547.20/547.27	c iter 631 time 545.002 not-muc 71857 unknown 1315 muc 306
547.20/547.27	c iter 632 time 545.073 not-muc 71857 unknown 1314 muc 307
547.20/547.27	c iter 633 time 546.311 not-muc 71858 unknown 1313 muc 307
592.31/592.35	c iter 634 time 546.391 not-muc 71858 unknown 1312 muc 308
592.31/592.35	c iter 635 time 548.79 not-muc 71859 unknown 1311 muc 308
592.31/592.35	c iter 636 time 548.902 not-muc 71859 unknown 1310 muc 309
592.31/592.35	c iter 637 time 551.275 not-muc 71860 unknown 1309 muc 309
592.31/592.35	c iter 638 time 551.433 not-muc 71860 unknown 1308 muc 310
592.31/592.35	c iter 639 time 551.516 not-muc 71860 unknown 1307 muc 311
592.31/592.35	c iter 640 time 551.574 not-muc 71860 unknown 1306 muc 312
592.31/592.35	c iter 641 time 551.626 not-muc 71860 unknown 1305 muc 313
592.31/592.35	c iter 642 time 553.948 not-muc 71864 unknown 1301 muc 313
592.31/592.35	c iter 643 time 554.049 not-muc 71864 unknown 1300 muc 314
592.31/592.35	c iter 644 time 556.535 not-muc 71865 unknown 1299 muc 314
592.31/592.35	c iter 645 time 556.673 not-muc 71865 unknown 1298 muc 315
592.31/592.35	c iter 646 time 556.755 not-muc 71865 unknown 1297 muc 316
592.31/592.35	c iter 647 time 556.823 not-muc 71865 unknown 1296 muc 317
592.31/592.35	c iter 648 time 559.46 not-muc 71866 unknown 1295 muc 317
592.31/592.35	c iter 649 time 560.833 not-muc 71867 unknown 1294 muc 317
592.31/592.35	c iter 650 time 563.51 not-muc 71868 unknown 1293 muc 317
592.31/592.35	c iter 651 time 563.628 not-muc 71868 unknown 1292 muc 318
592.31/592.35	c iter 652 time 563.682 not-muc 71868 unknown 1291 muc 319
592.31/592.35	c iter 653 time 563.744 not-muc 71868 unknown 1290 muc 320
592.31/592.35	c iter 654 time 563.832 not-muc 71868 unknown 1289 muc 321
592.31/592.35	c iter 655 time 565.43 not-muc 71870 unknown 1287 muc 321
592.31/592.35	c iter 656 time 565.586 not-muc 71870 unknown 1286 muc 322
592.31/592.35	c iter 657 time 565.625 not-muc 71870 unknown 1285 muc 323
592.31/592.35	c iter 658 time 565.72 not-muc 71870 unknown 1284 muc 324
592.31/592.35	c iter 659 time 565.775 not-muc 71870 unknown 1283 muc 325
592.31/592.35	c iter 660 time 565.829 not-muc 71870 unknown 1282 muc 326
592.31/592.35	c iter 661 time 565.928 not-muc 71870 unknown 1281 muc 327
592.31/592.35	c iter 662 time 565.976 not-muc 71870 unknown 1280 muc 328
592.31/592.35	c iter 663 time 566.061 not-muc 71870 unknown 1279 muc 329
592.31/592.35	c iter 664 time 567.368 not-muc 71871 unknown 1278 muc 329
592.31/592.35	c iter 665 time 567.463 not-muc 71871 unknown 1277 muc 330
592.31/592.35	c iter 666 time 567.545 not-muc 71871 unknown 1276 muc 331
592.31/592.35	c iter 667 time 567.576 not-muc 71871 unknown 1275 muc 332
592.31/592.35	c iter 668 time 567.625 not-muc 71871 unknown 1274 muc 333
592.31/592.35	c iter 669 time 568.019 not-muc 71871 unknown 1273 muc 334
592.31/592.35	c iter 670 time 570.679 not-muc 71872 unknown 1272 muc 334
592.31/592.35	c iter 671 time 571.037 not-muc 71872 unknown 1271 muc 335
592.31/592.35	c iter 672 time 571.119 not-muc 71872 unknown 1270 muc 336
592.31/592.35	c iter 673 time 571.172 not-muc 71872 unknown 1269 muc 337
592.31/592.35	c iter 674 time 573.859 not-muc 71873 unknown 1268 muc 337
592.31/592.35	c iter 675 time 575.141 not-muc 71874 unknown 1267 muc 337
592.31/592.35	c iter 676 time 575.245 not-muc 71874 unknown 1266 muc 338
592.31/592.35	c iter 677 time 575.283 not-muc 71874 unknown 1265 muc 339
592.31/592.35	c iter 678 time 577.275 not-muc 71875 unknown 1264 muc 339
592.31/592.35	c iter 679 time 577.517 not-muc 71875 unknown 1263 muc 340
592.31/592.35	c iter 680 time 577.556 not-muc 71875 unknown 1262 muc 341
592.31/592.35	c iter 681 time 579.878 not-muc 71876 unknown 1261 muc 341
592.31/592.35	c iter 682 time 580.039 not-muc 71876 unknown 1260 muc 342
592.31/592.35	c iter 683 time 580.136 not-muc 71876 unknown 1259 muc 343
592.31/592.35	c iter 684 time 580.194 not-muc 71876 unknown 1258 muc 344
592.31/592.35	c iter 685 time 580.245 not-muc 71876 unknown 1257 muc 345
592.31/592.35	c iter 686 time 582.817 not-muc 71877 unknown 1256 muc 345
592.31/592.35	c iter 687 time 582.994 not-muc 71877 unknown 1255 muc 346
592.31/592.35	c iter 688 time 584.193 not-muc 71878 unknown 1254 muc 346
592.31/592.35	c iter 689 time 586.911 not-muc 71879 unknown 1253 muc 346
592.31/592.35	c iter 690 time 587.037 not-muc 71879 unknown 1252 muc 347
592.31/592.35	c iter 691 time 587.137 not-muc 71879 unknown 1251 muc 348
592.31/592.35	c iter 692 time 587.206 not-muc 71879 unknown 1250 muc 349
592.31/592.35	c iter 693 time 587.233 not-muc 71879 unknown 1249 muc 350
592.31/592.35	c iter 694 time 587.326 not-muc 71879 unknown 1248 muc 351
592.31/592.35	c iter 695 time 587.354 not-muc 71879 unknown 1247 muc 352
592.31/592.35	c iter 696 time 587.388 not-muc 71879 unknown 1246 muc 353
592.31/592.35	c iter 697 time 589.776 not-muc 71880 unknown 1245 muc 353
592.31/592.35	c iter 698 time 589.889 not-muc 71880 unknown 1244 muc 354
592.31/592.35	c iter 699 time 589.933 not-muc 71880 unknown 1243 muc 355
592.31/592.35	c iter 700 time 591.088 not-muc 71881 unknown 1242 muc 355
592.31/592.35	c iter 701 time 591.23 not-muc 71881 unknown 1241 muc 356
592.31/592.35	c iter 702 time 591.273 not-muc 71881 unknown 1240 muc 357
592.31/592.35	c iter 703 time 591.312 not-muc 71881 unknown 1239 muc 358
640.31/640.37	c iter 704 time 592.771 not-muc 71883 unknown 1237 muc 358
640.31/640.37	c iter 705 time 592.883 not-muc 71883 unknown 1236 muc 359
640.31/640.37	c iter 706 time 592.964 not-muc 71883 unknown 1235 muc 360
640.31/640.37	c iter 707 time 593.014 not-muc 71883 unknown 1234 muc 361
640.31/640.37	c iter 708 time 593.071 not-muc 71883 unknown 1233 muc 362
640.31/640.37	c iter 709 time 593.139 not-muc 71883 unknown 1232 muc 363
640.31/640.37	c iter 710 time 594.585 not-muc 71884 unknown 1231 muc 363
640.31/640.37	c iter 711 time 596.022 not-muc 71888 unknown 1227 muc 363
640.31/640.37	c iter 712 time 597.421 not-muc 71889 unknown 1226 muc 363
640.31/640.37	c iter 713 time 597.5 not-muc 71889 unknown 1225 muc 364
640.31/640.37	c iter 714 time 597.566 not-muc 71889 unknown 1224 muc 365
640.31/640.37	c iter 715 time 597.597 not-muc 71889 unknown 1223 muc 366
640.31/640.37	c iter 716 time 597.63 not-muc 71889 unknown 1222 muc 367
640.31/640.37	c iter 717 time 597.713 not-muc 71889 unknown 1221 muc 368
640.31/640.37	c iter 718 time 597.782 not-muc 71889 unknown 1220 muc 369
640.31/640.37	c iter 719 time 598.899 not-muc 71890 unknown 1219 muc 369
640.31/640.37	c iter 720 time 600.488 not-muc 71891 unknown 1218 muc 369
640.31/640.37	c iter 721 time 603.043 not-muc 71892 unknown 1217 muc 369
640.31/640.37	c iter 722 time 603.179 not-muc 71892 unknown 1216 muc 370
640.31/640.37	c iter 723 time 605.506 not-muc 71893 unknown 1215 muc 370
640.31/640.37	c iter 724 time 608.246 not-muc 71894 unknown 1214 muc 370
640.31/640.37	c iter 725 time 608.385 not-muc 71894 unknown 1213 muc 371
640.31/640.37	c iter 726 time 609.614 not-muc 71895 unknown 1212 muc 371
640.31/640.37	c iter 727 time 609.738 not-muc 71895 unknown 1211 muc 372
640.31/640.37	c iter 728 time 609.773 not-muc 71895 unknown 1210 muc 373
640.31/640.37	c iter 729 time 609.835 not-muc 71895 unknown 1209 muc 374
640.31/640.37	c iter 730 time 612.449 not-muc 71898 unknown 1206 muc 374
640.31/640.37	c iter 731 time 612.531 not-muc 71898 unknown 1205 muc 375
640.31/640.37	c iter 732 time 613.775 not-muc 71899 unknown 1204 muc 375
640.31/640.37	c iter 733 time 613.907 not-muc 71899 unknown 1203 muc 376
640.31/640.37	c iter 734 time 615.112 not-muc 71900 unknown 1202 muc 376
640.31/640.37	c iter 735 time 616.982 not-muc 71901 unknown 1201 muc 376
640.31/640.37	c iter 736 time 617.113 not-muc 71901 unknown 1200 muc 377
640.31/640.37	c iter 737 time 618.335 not-muc 71902 unknown 1199 muc 377
640.31/640.37	c iter 738 time 619.839 not-muc 71904 unknown 1197 muc 377
640.31/640.37	c iter 739 time 619.932 not-muc 71904 unknown 1196 muc 378
640.31/640.37	c iter 740 time 621.197 not-muc 71906 unknown 1194 muc 378
640.31/640.37	c iter 741 time 621.425 not-muc 71906 unknown 1193 muc 379
640.31/640.37	c iter 742 time 622.842 not-muc 71907 unknown 1192 muc 379
640.31/640.37	c iter 743 time 622.978 not-muc 71907 unknown 1191 muc 380
640.31/640.37	c iter 744 time 623.046 not-muc 71907 unknown 1190 muc 381
640.31/640.37	c iter 745 time 625.13 not-muc 71908 unknown 1189 muc 381
640.31/640.37	c iter 746 time 625.206 not-muc 71908 unknown 1188 muc 382
640.31/640.37	c iter 747 time 625.288 not-muc 71908 unknown 1187 muc 383
640.31/640.37	c iter 748 time 625.374 not-muc 71908 unknown 1186 muc 384
640.31/640.37	c iter 749 time 625.437 not-muc 71908 unknown 1185 muc 385
640.31/640.37	c iter 750 time 625.49 not-muc 71908 unknown 1184 muc 386
640.31/640.37	c iter 751 time 625.561 not-muc 71908 unknown 1183 muc 387
640.31/640.37	c iter 752 time 625.631 not-muc 71908 unknown 1182 muc 388
640.31/640.37	c iter 753 time 625.696 not-muc 71908 unknown 1181 muc 389
640.31/640.37	c iter 754 time 625.764 not-muc 71908 unknown 1180 muc 390
640.31/640.37	c iter 755 time 626.173 not-muc 71908 unknown 1179 muc 391
640.31/640.37	c iter 756 time 626.251 not-muc 71908 unknown 1178 muc 392
640.31/640.37	c iter 757 time 626.312 not-muc 71908 unknown 1177 muc 393
640.31/640.37	c iter 758 time 627.548 not-muc 71911 unknown 1174 muc 393
640.31/640.37	c iter 759 time 627.644 not-muc 71911 unknown 1173 muc 394
640.31/640.37	c iter 760 time 627.674 not-muc 71911 unknown 1172 muc 395
640.31/640.37	c iter 761 time 630.235 not-muc 71912 unknown 1171 muc 395
640.31/640.37	c iter 762 time 630.307 not-muc 71912 unknown 1170 muc 396
640.31/640.37	c iter 763 time 631.605 not-muc 71914 unknown 1168 muc 396
640.31/640.37	c iter 764 time 631.959 not-muc 71914 unknown 1167 muc 397
640.31/640.37	c iter 765 time 632.041 not-muc 71914 unknown 1166 muc 398
640.31/640.37	c iter 766 time 633.305 not-muc 71915 unknown 1165 muc 398
640.31/640.37	c iter 767 time 634.391 not-muc 71917 unknown 1163 muc 398
640.31/640.37	c iter 768 time 634.583 not-muc 71917 unknown 1162 muc 399
640.31/640.37	c iter 769 time 634.676 not-muc 71917 unknown 1161 muc 400
640.31/640.37	c iter 770 time 634.759 not-muc 71917 unknown 1160 muc 401
640.31/640.37	c iter 771 time 634.793 not-muc 71917 unknown 1159 muc 402
640.31/640.37	c iter 772 time 636.581 not-muc 71918 unknown 1158 muc 402
640.31/640.37	c iter 773 time 639.264 not-muc 71919 unknown 1157 muc 402
673.90/673.91	c iter 774 time 639.353 not-muc 71919 unknown 1156 muc 403
673.90/673.91	c iter 775 time 640.6 not-muc 71922 unknown 1153 muc 403
673.90/673.91	c iter 776 time 640.702 not-muc 71922 unknown 1152 muc 404
673.90/673.91	c iter 777 time 640.774 not-muc 71922 unknown 1151 muc 405
673.90/673.91	c iter 778 time 640.786 not-muc 71922 unknown 1150 muc 406
673.90/673.91	c iter 779 time 640.869 not-muc 71922 unknown 1149 muc 407
673.90/673.91	c iter 780 time 640.913 not-muc 71922 unknown 1148 muc 408
673.90/673.91	c iter 781 time 640.944 not-muc 71922 unknown 1147 muc 409
673.90/673.91	c iter 782 time 641.982 not-muc 71924 unknown 1145 muc 409
673.90/673.91	c iter 783 time 642.12 not-muc 71924 unknown 1144 muc 410
673.90/673.91	c iter 784 time 643.318 not-muc 71925 unknown 1143 muc 410
673.90/673.91	c iter 785 time 644.783 not-muc 71926 unknown 1142 muc 410
673.90/673.91	c iter 786 time 644.93 not-muc 71926 unknown 1141 muc 411
673.90/673.91	c iter 787 time 644.978 not-muc 71926 unknown 1140 muc 412
673.90/673.91	c iter 788 time 645.063 not-muc 71926 unknown 1139 muc 413
673.90/673.91	c iter 789 time 645.123 not-muc 71926 unknown 1138 muc 414
673.90/673.91	c iter 790 time 645.205 not-muc 71926 unknown 1137 muc 415
673.90/673.91	c iter 791 time 645.242 not-muc 71926 unknown 1136 muc 416
673.90/673.91	c iter 792 time 647.759 not-muc 71927 unknown 1135 muc 416
673.90/673.91	c iter 793 time 647.852 not-muc 71927 unknown 1134 muc 417
673.90/673.91	c iter 794 time 647.898 not-muc 71927 unknown 1133 muc 418
673.90/673.91	c iter 795 time 647.987 not-muc 71927 unknown 1132 muc 419
673.90/673.91	c iter 796 time 648.009 not-muc 71927 unknown 1131 muc 420
673.90/673.91	c iter 797 time 648.1 not-muc 71927 unknown 1130 muc 421
673.90/673.91	c iter 798 time 648.189 not-muc 71927 unknown 1129 muc 422
673.90/673.91	c iter 799 time 650.905 not-muc 71928 unknown 1128 muc 422
673.90/673.91	c iter 800 time 651.016 not-muc 71928 unknown 1127 muc 423
673.90/673.91	c iter 801 time 651.083 not-muc 71928 unknown 1126 muc 424
673.90/673.91	c iter 802 time 651.148 not-muc 71928 unknown 1125 muc 425
673.90/673.91	c iter 803 time 651.203 not-muc 71928 unknown 1124 muc 426
673.90/673.91	c iter 804 time 652.945 not-muc 71930 unknown 1122 muc 426
673.90/673.91	c iter 805 time 653.093 not-muc 71930 unknown 1121 muc 427
673.90/673.91	c iter 806 time 653.178 not-muc 71930 unknown 1120 muc 428
673.90/673.91	c iter 807 time 653.252 not-muc 71930 unknown 1119 muc 429
673.90/673.91	c iter 808 time 655.668 not-muc 71932 unknown 1117 muc 429
673.90/673.91	c iter 809 time 655.799 not-muc 71932 unknown 1116 muc 430
673.90/673.91	c iter 810 time 655.886 not-muc 71932 unknown 1115 muc 431
673.90/673.91	c iter 811 time 655.985 not-muc 71932 unknown 1114 muc 432
673.90/673.91	c iter 812 time 656.08 not-muc 71932 unknown 1113 muc 433
673.90/673.91	c iter 813 time 656.12 not-muc 71932 unknown 1112 muc 434
673.90/673.91	c iter 814 time 656.228 not-muc 71932 unknown 1111 muc 435
673.90/673.91	c iter 815 time 657.426 not-muc 71933 unknown 1110 muc 435
673.90/673.91	c iter 816 time 659.947 not-muc 71934 unknown 1109 muc 435
673.90/673.91	c iter 817 time 660.096 not-muc 71934 unknown 1108 muc 436
673.90/673.91	c iter 818 time 660.16 not-muc 71934 unknown 1107 muc 437
673.90/673.91	c iter 819 time 660.264 not-muc 71934 unknown 1106 muc 438
673.90/673.91	c iter 820 time 661.989 not-muc 71935 unknown 1105 muc 438
673.90/673.91	c iter 821 time 662.108 not-muc 71935 unknown 1104 muc 439
673.90/673.91	c iter 822 time 662.144 not-muc 71935 unknown 1103 muc 440
673.90/673.91	c iter 823 time 662.238 not-muc 71935 unknown 1102 muc 441
673.90/673.91	c iter 824 time 662.337 not-muc 71935 unknown 1101 muc 442
673.90/673.91	c iter 825 time 662.422 not-muc 71935 unknown 1100 muc 443
673.90/673.91	c iter 826 time 663.732 not-muc 71936 unknown 1099 muc 443
673.90/673.91	c iter 827 time 666.538 not-muc 71937 unknown 1098 muc 443
673.90/673.91	c iter 828 time 666.635 not-muc 71937 unknown 1097 muc 444
673.90/673.91	c iter 829 time 666.693 not-muc 71937 unknown 1096 muc 445
673.90/673.91	c iter 830 time 666.779 not-muc 71937 unknown 1095 muc 446
673.90/673.91	c iter 831 time 666.815 not-muc 71937 unknown 1094 muc 447
673.90/673.91	c iter 832 time 666.871 not-muc 71937 unknown 1093 muc 448
673.90/673.91	c iter 833 time 666.945 not-muc 71937 unknown 1092 muc 449
673.90/673.91	c iter 834 time 667.013 not-muc 71937 unknown 1091 muc 450
673.90/673.91	c iter 835 time 667.084 not-muc 71937 unknown 1090 muc 451
673.90/673.91	c iter 836 time 668.485 not-muc 71938 unknown 1089 muc 451
673.90/673.91	c iter 837 time 668.624 not-muc 71938 unknown 1088 muc 452
673.90/673.91	c iter 838 time 668.697 not-muc 71938 unknown 1087 muc 453
673.90/673.91	c iter 839 time 669.852 not-muc 71939 unknown 1086 muc 453
673.90/673.91	c iter 840 time 671.33 not-muc 71940 unknown 1085 muc 453
673.90/673.91	c iter 841 time 672.627 not-muc 71942 unknown 1083 muc 453
673.90/673.91	c iter 842 time 672.771 not-muc 71942 unknown 1082 muc 454
699.21/699.21	c iter 843 time 672.826 not-muc 71942 unknown 1081 muc 455
699.21/699.21	c iter 844 time 672.865 not-muc 71942 unknown 1080 muc 456
699.21/699.21	c iter 845 time 672.936 not-muc 71942 unknown 1079 muc 457
699.21/699.21	c iter 846 time 675.299 not-muc 71943 unknown 1078 muc 457
699.21/699.21	c iter 847 time 675.39 not-muc 71943 unknown 1077 muc 458
699.21/699.21	c iter 848 time 675.475 not-muc 71943 unknown 1076 muc 459
699.21/699.21	c iter 849 time 675.547 not-muc 71943 unknown 1075 muc 460
699.21/699.21	c iter 850 time 675.626 not-muc 71943 unknown 1074 muc 461
699.21/699.21	c iter 851 time 675.96 not-muc 71943 unknown 1073 muc 462
699.21/699.21	c iter 852 time 676.02 not-muc 71943 unknown 1072 muc 463
699.21/699.21	c iter 853 time 677.489 not-muc 71944 unknown 1071 muc 463
699.21/699.21	c iter 854 time 677.603 not-muc 71944 unknown 1070 muc 464
699.21/699.21	c iter 855 time 677.665 not-muc 71944 unknown 1069 muc 465
699.21/699.21	c iter 856 time 677.717 not-muc 71944 unknown 1068 muc 466
699.21/699.21	c iter 857 time 677.755 not-muc 71944 unknown 1067 muc 467
699.21/699.21	c iter 858 time 677.847 not-muc 71944 unknown 1066 muc 468
699.21/699.21	c iter 859 time 677.907 not-muc 71944 unknown 1065 muc 469
699.21/699.21	c iter 860 time 680.289 not-muc 71945 unknown 1064 muc 469
699.21/699.21	c iter 861 time 680.411 not-muc 71945 unknown 1063 muc 470
699.21/699.21	c iter 862 time 680.456 not-muc 71945 unknown 1062 muc 471
699.21/699.21	c iter 863 time 680.495 not-muc 71945 unknown 1061 muc 472
699.21/699.21	c iter 864 time 680.553 not-muc 71945 unknown 1060 muc 473
699.21/699.21	c iter 865 time 680.602 not-muc 71945 unknown 1059 muc 474
699.21/699.21	c iter 866 time 680.665 not-muc 71945 unknown 1058 muc 475
699.21/699.21	c iter 867 time 680.755 not-muc 71945 unknown 1057 muc 476
699.21/699.21	c iter 868 time 680.856 not-muc 71945 unknown 1056 muc 477
699.21/699.21	c iter 869 time 680.932 not-muc 71945 unknown 1055 muc 478
699.21/699.21	c iter 870 time 682.048 not-muc 71948 unknown 1052 muc 478
699.21/699.21	c iter 871 time 682.196 not-muc 71948 unknown 1051 muc 479
699.21/699.21	c iter 872 time 682.301 not-muc 71948 unknown 1050 muc 480
699.21/699.21	c iter 873 time 682.394 not-muc 71948 unknown 1049 muc 481
699.21/699.21	c iter 874 time 682.46 not-muc 71948 unknown 1048 muc 482
699.21/699.21	c iter 875 time 682.501 not-muc 71948 unknown 1047 muc 483
699.21/699.21	c iter 876 time 682.565 not-muc 71948 unknown 1046 muc 484
699.21/699.21	c iter 877 time 682.613 not-muc 71948 unknown 1045 muc 485
699.21/699.21	c iter 878 time 682.647 not-muc 71948 unknown 1044 muc 486
699.21/699.21	c iter 879 time 682.678 not-muc 71948 unknown 1043 muc 487
699.21/699.21	c iter 880 time 682.746 not-muc 71948 unknown 1042 muc 488
699.21/699.21	c iter 881 time 682.846 not-muc 71948 unknown 1041 muc 489
699.21/699.21	c iter 882 time 683.946 not-muc 71950 unknown 1039 muc 489
699.21/699.21	c iter 883 time 685.21 not-muc 71951 unknown 1038 muc 489
699.21/699.21	c iter 884 time 685.357 not-muc 71951 unknown 1037 muc 490
699.21/699.21	c iter 885 time 685.371 not-muc 71951 unknown 1036 muc 491
699.21/699.21	c iter 886 time 686.723 not-muc 71952 unknown 1035 muc 491
699.21/699.21	c iter 887 time 686.811 not-muc 71952 unknown 1034 muc 492
699.21/699.21	c iter 888 time 686.843 not-muc 71952 unknown 1033 muc 493
699.21/699.21	c iter 889 time 686.941 not-muc 71952 unknown 1032 muc 494
699.21/699.21	c iter 890 time 686.968 not-muc 71952 unknown 1031 muc 495
699.21/699.21	c iter 891 time 687.037 not-muc 71952 unknown 1030 muc 496
699.21/699.21	c iter 892 time 687.09 not-muc 71952 unknown 1029 muc 497
699.21/699.21	c iter 893 time 687.156 not-muc 71952 unknown 1028 muc 498
699.21/699.21	c iter 894 time 687.2 not-muc 71952 unknown 1027 muc 499
699.21/699.21	c iter 895 time 688.48 not-muc 71954 unknown 1025 muc 499
699.21/699.21	c iter 896 time 688.629 not-muc 71954 unknown 1024 muc 500
699.21/699.21	c iter 897 time 688.719 not-muc 71954 unknown 1023 muc 501
699.21/699.21	c iter 898 time 688.776 not-muc 71954 unknown 1022 muc 502
699.21/699.21	c iter 899 time 688.852 not-muc 71954 unknown 1021 muc 503
699.21/699.21	c iter 900 time 691.385 not-muc 71955 unknown 1020 muc 503
699.21/699.21	c iter 901 time 691.525 not-muc 71955 unknown 1019 muc 504
699.21/699.21	c iter 902 time 691.637 not-muc 71955 unknown 1018 muc 505
699.21/699.21	c iter 903 time 692.786 not-muc 71956 unknown 1017 muc 505
699.21/699.21	c iter 904 time 692.909 not-muc 71956 unknown 1016 muc 506
699.21/699.21	c iter 905 time 694.12 not-muc 71957 unknown 1015 muc 506
699.21/699.21	c iter 906 time 694.234 not-muc 71957 unknown 1014 muc 507
699.21/699.21	c iter 907 time 695.281 not-muc 71958 unknown 1013 muc 507
699.21/699.21	c iter 908 time 696.516 not-muc 71959 unknown 1012 muc 507
699.21/699.21	c iter 909 time 696.657 not-muc 71959 unknown 1011 muc 508
699.21/699.21	c iter 910 time 696.747 not-muc 71959 unknown 1010 muc 509
699.21/699.21	c iter 911 time 696.817 not-muc 71959 unknown 1009 muc 510
699.21/699.21	c iter 912 time 698.049 not-muc 71961 unknown 1007 muc 510
733.41/733.41	c iter 913 time 699.436 not-muc 71962 unknown 1006 muc 510
733.41/733.41	c iter 914 time 699.518 not-muc 71962 unknown 1005 muc 511
733.41/733.41	c iter 915 time 702.161 not-muc 71963 unknown 1004 muc 511
733.41/733.41	c iter 916 time 702.306 not-muc 71963 unknown 1003 muc 512
733.41/733.41	c iter 917 time 702.405 not-muc 71963 unknown 1002 muc 513
733.41/733.41	c iter 918 time 702.499 not-muc 71963 unknown 1001 muc 514
733.41/733.41	c iter 919 time 705.118 not-muc 71964 unknown 1000 muc 514
733.41/733.41	c iter 920 time 705.263 not-muc 71964 unknown 999 muc 515
733.41/733.41	c iter 921 time 706.52 not-muc 71965 unknown 998 muc 515
733.41/733.41	c iter 922 time 706.659 not-muc 71965 unknown 997 muc 516
733.41/733.41	c iter 923 time 706.682 not-muc 71965 unknown 996 muc 517
733.41/733.41	c iter 924 time 707.903 not-muc 71966 unknown 995 muc 517
733.41/733.41	c iter 925 time 708.049 not-muc 71966 unknown 994 muc 518
733.41/733.41	c iter 926 time 708.136 not-muc 71966 unknown 993 muc 519
733.41/733.41	c iter 927 time 708.198 not-muc 71966 unknown 992 muc 520
733.41/733.41	c iter 928 time 708.243 not-muc 71966 unknown 991 muc 521
733.41/733.41	c iter 929 time 708.294 not-muc 71966 unknown 990 muc 522
733.41/733.41	c iter 930 time 708.345 not-muc 71966 unknown 989 muc 523
733.41/733.41	c iter 931 time 708.445 not-muc 71966 unknown 988 muc 524
733.41/733.41	c iter 932 time 708.588 not-muc 71966 unknown 987 muc 525
733.41/733.41	c iter 933 time 708.612 not-muc 71966 unknown 986 muc 526
733.41/733.41	c iter 934 time 708.662 not-muc 71966 unknown 985 muc 527
733.41/733.41	c iter 935 time 708.702 not-muc 71966 unknown 984 muc 528
733.41/733.41	c iter 936 time 708.753 not-muc 71966 unknown 983 muc 529
733.41/733.41	c iter 937 time 708.783 not-muc 71966 unknown 982 muc 530
733.41/733.41	c iter 938 time 708.82 not-muc 71966 unknown 981 muc 531
733.41/733.41	c iter 939 time 708.908 not-muc 71966 unknown 980 muc 532
733.41/733.41	c iter 940 time 711.012 not-muc 71970 unknown 976 muc 532
733.41/733.41	c iter 941 time 712.371 not-muc 71972 unknown 974 muc 532
733.41/733.41	c iter 942 time 712.521 not-muc 71972 unknown 973 muc 533
733.41/733.41	c iter 943 time 712.589 not-muc 71972 unknown 972 muc 534
733.41/733.41	c iter 944 time 712.666 not-muc 71972 unknown 971 muc 535
733.41/733.41	c iter 945 time 712.713 not-muc 71972 unknown 970 muc 536
733.41/733.41	c iter 946 time 712.796 not-muc 71972 unknown 969 muc 537
733.41/733.41	c iter 947 time 714.068 not-muc 71974 unknown 967 muc 537
733.41/733.41	c iter 948 time 715.861 not-muc 71975 unknown 966 muc 537
733.41/733.41	c iter 949 time 715.964 not-muc 71975 unknown 965 muc 538
733.41/733.41	c iter 950 time 717.385 not-muc 71976 unknown 964 muc 538
733.41/733.41	c iter 951 time 717.487 not-muc 71976 unknown 963 muc 539
733.41/733.41	c iter 952 time 719.961 not-muc 71977 unknown 962 muc 539
733.41/733.41	c iter 953 time 720.1 not-muc 71977 unknown 961 muc 540
733.41/733.41	c iter 954 time 720.149 not-muc 71977 unknown 960 muc 541
733.41/733.41	c iter 955 time 720.282 not-muc 71977 unknown 959 muc 542
733.41/733.41	c iter 956 time 720.348 not-muc 71977 unknown 958 muc 543
733.41/733.41	c iter 957 time 720.415 not-muc 71977 unknown 957 muc 544
733.41/733.41	c iter 958 time 721.703 not-muc 71978 unknown 956 muc 544
733.41/733.41	c iter 959 time 721.799 not-muc 71978 unknown 955 muc 545
733.41/733.41	c iter 960 time 721.848 not-muc 71978 unknown 954 muc 546
733.41/733.41	c iter 961 time 722.939 not-muc 71979 unknown 953 muc 546
733.41/733.41	c iter 962 time 723.004 not-muc 71979 unknown 952 muc 547
733.41/733.41	c iter 963 time 723.101 not-muc 71979 unknown 951 muc 548
733.41/733.41	c iter 964 time 724.515 not-muc 71980 unknown 950 muc 548
733.41/733.41	c iter 965 time 724.625 not-muc 71980 unknown 949 muc 549
733.41/733.41	c iter 966 time 724.72 not-muc 71980 unknown 948 muc 550
733.41/733.41	c iter 967 time 726.3 not-muc 71982 unknown 946 muc 550
733.41/733.41	c iter 968 time 726.443 not-muc 71982 unknown 945 muc 551
733.41/733.41	c iter 969 time 726.494 not-muc 71982 unknown 944 muc 552
733.41/733.41	c iter 970 time 728.951 not-muc 71983 unknown 943 muc 552
733.41/733.41	c iter 971 time 729.101 not-muc 71983 unknown 942 muc 553
733.41/733.41	c iter 972 time 729.146 not-muc 71983 unknown 941 muc 554
733.41/733.41	c iter 973 time 729.21 not-muc 71983 unknown 940 muc 555
733.41/733.41	c iter 974 time 729.262 not-muc 71983 unknown 939 muc 556
733.41/733.41	c iter 975 time 729.297 not-muc 71983 unknown 938 muc 557
733.41/733.41	c iter 976 time 729.356 not-muc 71983 unknown 937 muc 558
733.41/733.41	c iter 977 time 729.43 not-muc 71983 unknown 936 muc 559
733.41/733.41	c iter 978 time 730.687 not-muc 71986 unknown 933 muc 559
733.41/733.41	c iter 979 time 731.987 not-muc 71987 unknown 932 muc 559
733.41/733.41	c iter 980 time 732.101 not-muc 71987 unknown 931 muc 560
733.41/733.41	c iter 981 time 732.119 not-muc 71987 unknown 930 muc 561
733.41/733.41	c iter 982 time 732.215 not-muc 71987 unknown 929 muc 562
757.61/757.60	c iter 983 time 732.317 not-muc 71987 unknown 928 muc 563
757.61/757.60	c iter 984 time 732.393 not-muc 71987 unknown 927 muc 564
757.61/757.60	c iter 985 time 732.498 not-muc 71987 unknown 926 muc 565
757.61/757.60	c iter 986 time 732.597 not-muc 71987 unknown 925 muc 566
757.61/757.60	c iter 987 time 733.863 not-muc 71988 unknown 924 muc 566
757.61/757.60	c iter 988 time 735.626 not-muc 71989 unknown 923 muc 566
757.61/757.60	c iter 989 time 738.269 not-muc 71990 unknown 922 muc 566
757.61/757.60	c iter 990 time 738.426 not-muc 71990 unknown 921 muc 567
757.61/757.60	c iter 991 time 738.499 not-muc 71990 unknown 920 muc 568
757.61/757.60	c iter 992 time 739.722 not-muc 71992 unknown 918 muc 568
757.61/757.60	c iter 993 time 739.833 not-muc 71992 unknown 917 muc 569
757.61/757.60	c iter 994 time 739.87 not-muc 71992 unknown 916 muc 570
757.61/757.60	c iter 995 time 739.936 not-muc 71992 unknown 915 muc 571
757.61/757.60	c iter 996 time 739.972 not-muc 71992 unknown 914 muc 572
757.61/757.60	c iter 997 time 740.014 not-muc 71992 unknown 913 muc 573
757.61/757.60	c iter 998 time 740.073 not-muc 71992 unknown 912 muc 574
757.61/757.60	c iter 999 time 740.11 not-muc 71992 unknown 911 muc 575
757.61/757.60	c iter 1000 time 740.186 not-muc 71992 unknown 910 muc 576
757.61/757.60	c iter 1001 time 740.299 not-muc 71992 unknown 909 muc 577
757.61/757.60	c iter 1002 time 740.392 not-muc 71992 unknown 908 muc 578
757.61/757.60	c iter 1003 time 740.451 not-muc 71992 unknown 907 muc 579
757.61/757.60	c iter 1004 time 740.554 not-muc 71992 unknown 906 muc 580
757.61/757.60	c iter 1005 time 740.587 not-muc 71992 unknown 905 muc 581
757.61/757.60	c iter 1006 time 740.641 not-muc 71992 unknown 904 muc 582
757.61/757.60	c iter 1007 time 740.75 not-muc 71992 unknown 903 muc 583
757.61/757.60	c iter 1008 time 740.807 not-muc 71992 unknown 902 muc 584
757.61/757.60	c iter 1009 time 740.877 not-muc 71992 unknown 901 muc 585
757.61/757.60	c iter 1010 time 742.775 not-muc 71993 unknown 900 muc 585
757.61/757.60	c iter 1011 time 742.922 not-muc 71993 unknown 899 muc 586
757.61/757.60	c iter 1012 time 743.019 not-muc 71993 unknown 898 muc 587
757.61/757.60	c iter 1013 time 743.09 not-muc 71993 unknown 897 muc 588
757.61/757.60	c iter 1014 time 743.132 not-muc 71993 unknown 896 muc 589
757.61/757.60	c iter 1015 time 743.212 not-muc 71993 unknown 895 muc 590
757.61/757.60	c iter 1016 time 743.264 not-muc 71993 unknown 894 muc 591
757.61/757.60	c iter 1017 time 743.347 not-muc 71993 unknown 893 muc 592
757.61/757.60	c iter 1018 time 743.376 not-muc 71993 unknown 892 muc 593
757.61/757.60	c iter 1019 time 744.578 not-muc 71994 unknown 891 muc 593
757.61/757.60	c iter 1020 time 744.741 not-muc 71994 unknown 890 muc 594
757.61/757.60	c iter 1021 time 744.782 not-muc 71994 unknown 889 muc 595
757.61/757.60	c iter 1022 time 744.878 not-muc 71994 unknown 888 muc 596
757.61/757.60	c iter 1023 time 744.943 not-muc 71994 unknown 887 muc 597
757.61/757.60	c iter 1024 time 745.045 not-muc 71994 unknown 886 muc 598
757.61/757.60	c iter 1025 time 746.245 not-muc 71995 unknown 885 muc 598
757.61/757.60	c iter 1026 time 747.53 not-muc 71996 unknown 884 muc 598
757.61/757.60	c iter 1027 time 747.635 not-muc 71996 unknown 883 muc 599
757.61/757.60	c iter 1028 time 747.737 not-muc 71996 unknown 882 muc 600
757.61/757.60	c iter 1029 time 747.798 not-muc 71996 unknown 881 muc 601
757.61/757.60	c iter 1030 time 747.873 not-muc 71996 unknown 880 muc 602
757.61/757.60	c iter 1031 time 747.941 not-muc 71996 unknown 879 muc 603
757.61/757.60	c iter 1032 time 748.09 not-muc 71996 unknown 878 muc 604
757.61/757.60	c iter 1033 time 748.123 not-muc 71996 unknown 877 muc 605
757.61/757.60	c iter 1034 time 748.221 not-muc 71996 unknown 876 muc 606
757.61/757.60	c iter 1035 time 748.272 not-muc 71996 unknown 875 muc 607
757.61/757.60	c iter 1036 time 748.307 not-muc 71996 unknown 874 muc 608
757.61/757.60	c iter 1037 time 750.664 not-muc 71997 unknown 873 muc 608
757.61/757.60	c iter 1038 time 750.825 not-muc 71997 unknown 872 muc 609
757.61/757.60	c iter 1039 time 750.933 not-muc 71997 unknown 871 muc 610
757.61/757.60	c iter 1040 time 751.04 not-muc 71997 unknown 870 muc 611
757.61/757.60	c iter 1041 time 751.162 not-muc 71997 unknown 869 muc 612
757.61/757.60	c iter 1042 time 753.727 not-muc 71999 unknown 867 muc 612
757.61/757.60	c iter 1043 time 753.828 not-muc 71999 unknown 866 muc 613
757.61/757.60	c iter 1044 time 754.058 not-muc 71999 unknown 865 muc 614
757.61/757.60	c iter 1045 time 754.098 not-muc 71999 unknown 864 muc 615
757.61/757.60	c iter 1046 time 754.136 not-muc 71999 unknown 863 muc 616
757.61/757.60	c iter 1047 time 754.198 not-muc 71999 unknown 862 muc 617
757.61/757.60	c iter 1048 time 755.514 not-muc 72000 unknown 861 muc 617
757.61/757.60	c iter 1049 time 756.066 not-muc 72002 unknown 859 muc 617
757.61/757.60	c iter 1050 time 756.15 not-muc 72002 unknown 858 muc 618
757.61/757.60	c iter 1051 time 756.256 not-muc 72002 unknown 857 muc 619
757.61/757.60	c iter 1052 time 756.355 not-muc 72002 unknown 856 muc 620
783.11/783.18	c iter 1053 time 758.825 not-muc 72005 unknown 853 muc 620
783.11/783.18	c iter 1054 time 758.943 not-muc 72005 unknown 852 muc 621
783.11/783.18	c iter 1055 time 759.004 not-muc 72005 unknown 851 muc 622
783.11/783.18	c iter 1056 time 759.117 not-muc 72005 unknown 850 muc 623
783.11/783.18	c iter 1057 time 759.16 not-muc 72005 unknown 849 muc 624
783.11/783.18	c iter 1058 time 759.209 not-muc 72005 unknown 848 muc 625
783.11/783.18	c iter 1059 time 759.281 not-muc 72005 unknown 847 muc 626
783.11/783.18	c iter 1060 time 759.311 not-muc 72005 unknown 846 muc 627
783.11/783.18	c iter 1061 time 759.342 not-muc 72005 unknown 845 muc 628
783.11/783.18	c iter 1062 time 759.395 not-muc 72005 unknown 844 muc 629
783.11/783.18	c iter 1063 time 759.457 not-muc 72005 unknown 843 muc 630
783.11/783.18	c iter 1064 time 759.513 not-muc 72005 unknown 842 muc 631
783.11/783.18	c iter 1065 time 759.623 not-muc 72005 unknown 841 muc 632
783.11/783.18	c iter 1066 time 759.686 not-muc 72005 unknown 840 muc 633
783.11/783.18	c iter 1067 time 760.23 not-muc 72005 unknown 839 muc 634
783.11/783.18	c iter 1068 time 760.328 not-muc 72005 unknown 838 muc 635
783.11/783.18	c iter 1069 time 760.39 not-muc 72005 unknown 837 muc 636
783.11/783.18	c iter 1070 time 760.433 not-muc 72005 unknown 836 muc 637
783.11/783.18	c iter 1071 time 762.841 not-muc 72006 unknown 835 muc 637
783.11/783.18	c iter 1072 time 763 not-muc 72006 unknown 834 muc 638
783.11/783.18	c iter 1073 time 765.423 not-muc 72007 unknown 833 muc 638
783.11/783.18	c iter 1074 time 765.553 not-muc 72007 unknown 832 muc 639
783.11/783.18	c iter 1075 time 765.602 not-muc 72007 unknown 831 muc 640
783.11/783.18	c iter 1076 time 765.666 not-muc 72007 unknown 830 muc 641
783.11/783.18	c iter 1077 time 765.721 not-muc 72007 unknown 829 muc 642
783.11/783.18	c iter 1078 time 767.17 not-muc 72008 unknown 828 muc 642
783.11/783.18	c iter 1079 time 767.335 not-muc 72008 unknown 827 muc 643
783.11/783.18	c iter 1080 time 767.381 not-muc 72008 unknown 826 muc 644
783.11/783.18	c iter 1081 time 767.423 not-muc 72008 unknown 825 muc 645
783.11/783.18	c iter 1082 time 767.521 not-muc 72008 unknown 824 muc 646
783.11/783.18	c iter 1083 time 767.617 not-muc 72008 unknown 823 muc 647
783.11/783.18	c iter 1084 time 767.686 not-muc 72008 unknown 822 muc 648
783.11/783.18	c iter 1085 time 767.718 not-muc 72008 unknown 821 muc 649
783.11/783.18	c iter 1086 time 767.756 not-muc 72008 unknown 820 muc 650
783.11/783.18	c iter 1087 time 767.84 not-muc 72008 unknown 819 muc 651
783.11/783.18	c iter 1088 time 769.114 not-muc 72010 unknown 817 muc 651
783.11/783.18	c iter 1089 time 769.245 not-muc 72010 unknown 816 muc 652
783.11/783.18	c iter 1090 time 769.339 not-muc 72010 unknown 815 muc 653
783.11/783.18	c iter 1091 time 769.424 not-muc 72010 unknown 814 muc 654
783.11/783.18	c iter 1092 time 769.476 not-muc 72010 unknown 813 muc 655
783.11/783.18	c iter 1093 time 769.57 not-muc 72010 unknown 812 muc 656
783.11/783.18	c iter 1094 time 769.669 not-muc 72010 unknown 811 muc 657
783.11/783.18	c iter 1095 time 769.799 not-muc 72010 unknown 810 muc 658
783.11/783.18	c iter 1096 time 769.873 not-muc 72010 unknown 809 muc 659
783.11/783.18	c iter 1097 time 769.9 not-muc 72010 unknown 808 muc 660
783.11/783.18	c iter 1098 time 769.978 not-muc 72010 unknown 807 muc 661
783.11/783.18	c iter 1099 time 770.471 not-muc 72010 unknown 806 muc 662
783.11/783.18	c iter 1100 time 770.534 not-muc 72010 unknown 805 muc 663
783.11/783.18	c iter 1101 time 772.888 not-muc 72011 unknown 804 muc 663
783.11/783.18	c iter 1102 time 773.242 not-muc 72011 unknown 803 muc 664
783.11/783.18	c iter 1103 time 773.335 not-muc 72011 unknown 802 muc 665
783.11/783.18	c iter 1104 time 775.748 not-muc 72012 unknown 801 muc 665
783.11/783.18	c iter 1105 time 775.877 not-muc 72012 unknown 800 muc 666
783.11/783.18	c iter 1106 time 775.931 not-muc 72012 unknown 799 muc 667
783.11/783.18	c iter 1107 time 775.971 not-muc 72012 unknown 798 muc 668
783.11/783.18	c iter 1108 time 776.048 not-muc 72012 unknown 797 muc 669
783.11/783.18	c iter 1109 time 776.173 not-muc 72012 unknown 796 muc 670
783.11/783.18	c iter 1110 time 776.212 not-muc 72012 unknown 795 muc 671
783.11/783.18	c iter 1111 time 776.267 not-muc 72012 unknown 794 muc 672
783.11/783.18	c iter 1112 time 776.311 not-muc 72012 unknown 793 muc 673
783.11/783.18	c iter 1113 time 778.589 not-muc 72013 unknown 792 muc 673
783.11/783.18	c iter 1114 time 778.703 not-muc 72013 unknown 791 muc 674
783.11/783.18	c iter 1115 time 778.772 not-muc 72013 unknown 790 muc 675
783.11/783.18	c iter 1116 time 778.811 not-muc 72013 unknown 789 muc 676
783.11/783.18	c iter 1117 time 778.896 not-muc 72013 unknown 788 muc 677
783.11/783.18	c iter 1118 time 779.16 not-muc 72013 unknown 787 muc 678
783.11/783.18	c iter 1119 time 781.565 not-muc 72014 unknown 786 muc 678
783.11/783.18	c iter 1120 time 781.735 not-muc 72014 unknown 785 muc 679
783.11/783.18	c iter 1121 time 781.8 not-muc 72014 unknown 784 muc 680
783.11/783.18	c iter 1122 time 781.902 not-muc 72014 unknown 783 muc 681
820.71/820.75	c iter 1123 time 781.987 not-muc 72014 unknown 782 muc 682
820.71/820.75	c iter 1124 time 784.84 not-muc 72015 unknown 781 muc 682
820.71/820.75	c iter 1125 time 785.017 not-muc 72015 unknown 780 muc 683
820.71/820.75	c iter 1126 time 785.09 not-muc 72015 unknown 779 muc 684
820.71/820.75	c iter 1127 time 786.347 not-muc 72016 unknown 778 muc 684
820.71/820.75	c iter 1128 time 786.494 not-muc 72016 unknown 777 muc 685
820.71/820.75	c iter 1129 time 786.521 not-muc 72016 unknown 776 muc 686
820.71/820.75	c iter 1130 time 786.629 not-muc 72016 unknown 775 muc 687
820.71/820.75	c iter 1131 time 786.716 not-muc 72016 unknown 774 muc 688
820.71/820.75	c iter 1132 time 786.742 not-muc 72016 unknown 773 muc 689
820.71/820.75	c iter 1133 time 786.799 not-muc 72016 unknown 772 muc 690
820.71/820.75	c iter 1134 time 788.151 not-muc 72017 unknown 771 muc 690
820.71/820.75	c iter 1135 time 788.283 not-muc 72017 unknown 770 muc 691
820.71/820.75	c iter 1136 time 789.531 not-muc 72018 unknown 769 muc 691
820.71/820.75	c iter 1137 time 789.635 not-muc 72018 unknown 768 muc 692
820.71/820.75	c iter 1138 time 789.713 not-muc 72018 unknown 767 muc 693
820.71/820.75	c iter 1139 time 789.788 not-muc 72018 unknown 766 muc 694
820.71/820.75	c iter 1140 time 789.852 not-muc 72018 unknown 765 muc 695
820.71/820.75	c iter 1141 time 789.924 not-muc 72018 unknown 764 muc 696
820.71/820.75	c iter 1142 time 792.224 not-muc 72019 unknown 763 muc 696
820.71/820.75	c iter 1143 time 792.37 not-muc 72019 unknown 762 muc 697
820.71/820.75	c iter 1144 time 792.476 not-muc 72019 unknown 761 muc 698
820.71/820.75	c iter 1145 time 792.556 not-muc 72019 unknown 760 muc 699
820.71/820.75	c iter 1146 time 792.632 not-muc 72019 unknown 759 muc 700
820.71/820.75	c iter 1147 time 793.822 not-muc 72022 unknown 756 muc 700
820.71/820.75	c iter 1148 time 793.983 not-muc 72022 unknown 755 muc 701
820.71/820.75	c iter 1149 time 794.049 not-muc 72022 unknown 754 muc 702
820.71/820.75	c iter 1150 time 794.124 not-muc 72022 unknown 753 muc 703
820.71/820.75	c iter 1151 time 794.226 not-muc 72022 unknown 752 muc 704
820.71/820.75	c iter 1152 time 794.284 not-muc 72022 unknown 751 muc 705
820.71/820.75	c iter 1153 time 794.376 not-muc 72022 unknown 750 muc 706
820.71/820.75	c iter 1154 time 796.616 not-muc 72023 unknown 749 muc 706
820.71/820.75	c iter 1155 time 796.762 not-muc 72023 unknown 748 muc 707
820.71/820.75	c iter 1156 time 796.792 not-muc 72023 unknown 747 muc 708
820.71/820.75	c iter 1157 time 798.652 not-muc 72024 unknown 746 muc 708
820.71/820.75	c iter 1158 time 798.785 not-muc 72024 unknown 745 muc 709
820.71/820.75	c iter 1159 time 798.827 not-muc 72024 unknown 744 muc 710
820.71/820.75	c iter 1160 time 798.929 not-muc 72024 unknown 743 muc 711
820.71/820.75	c iter 1161 time 798.986 not-muc 72024 unknown 742 muc 712
820.71/820.75	c iter 1162 time 799.102 not-muc 72024 unknown 741 muc 713
820.71/820.75	c iter 1163 time 799.228 not-muc 72024 unknown 740 muc 714
820.71/820.75	c iter 1164 time 800.379 not-muc 72025 unknown 739 muc 714
820.71/820.75	c iter 1165 time 802.683 not-muc 72030 unknown 734 muc 714
820.71/820.75	c iter 1166 time 804.493 not-muc 72031 unknown 733 muc 714
820.71/820.75	c iter 1167 time 804.631 not-muc 72031 unknown 732 muc 715
820.71/820.75	c iter 1168 time 806.893 not-muc 72032 unknown 731 muc 715
820.71/820.75	c iter 1169 time 809.539 not-muc 72033 unknown 730 muc 715
820.71/820.75	c iter 1170 time 809.677 not-muc 72033 unknown 729 muc 716
820.71/820.75	c iter 1171 time 809.739 not-muc 72033 unknown 728 muc 717
820.71/820.75	c iter 1172 time 809.789 not-muc 72033 unknown 727 muc 718
820.71/820.75	c iter 1173 time 809.86 not-muc 72033 unknown 726 muc 719
820.71/820.75	c iter 1174 time 811.289 not-muc 72034 unknown 725 muc 719
820.71/820.75	c iter 1175 time 813.679 not-muc 72035 unknown 724 muc 719
820.71/820.75	c iter 1176 time 814.939 not-muc 72036 unknown 723 muc 719
820.71/820.75	c iter 1177 time 815.038 not-muc 72036 unknown 722 muc 720
820.71/820.75	c iter 1178 time 815.064 not-muc 72036 unknown 721 muc 721
820.71/820.75	c iter 1179 time 815.148 not-muc 72036 unknown 720 muc 722
820.71/820.75	c iter 1180 time 815.215 not-muc 72036 unknown 719 muc 723
820.71/820.75	c iter 1181 time 815.271 not-muc 72036 unknown 718 muc 724
820.71/820.75	c iter 1182 time 815.389 not-muc 72036 unknown 717 muc 725
820.71/820.75	c iter 1183 time 815.451 not-muc 72036 unknown 716 muc 726
820.71/820.75	c iter 1184 time 815.533 not-muc 72036 unknown 715 muc 727
820.71/820.75	c iter 1185 time 815.582 not-muc 72036 unknown 714 muc 728
820.71/820.75	c iter 1186 time 815.616 not-muc 72036 unknown 713 muc 729
820.71/820.75	c iter 1187 time 815.644 not-muc 72036 unknown 712 muc 730
820.71/820.75	c iter 1188 time 818.058 not-muc 72037 unknown 711 muc 730
820.71/820.75	c iter 1189 time 818.224 not-muc 72037 unknown 710 muc 731
820.71/820.75	c iter 1190 time 818.304 not-muc 72037 unknown 709 muc 732
820.71/820.75	c iter 1191 time 819.443 not-muc 72039 unknown 707 muc 732
846.41/846.47	c iter 1192 time 819.63 not-muc 72039 unknown 706 muc 733
846.41/846.47	c iter 1193 time 820.867 not-muc 72040 unknown 705 muc 733
846.41/846.47	c iter 1194 time 820.983 not-muc 72040 unknown 704 muc 734
846.41/846.47	c iter 1195 time 822.798 not-muc 72046 unknown 698 muc 734
846.41/846.47	c iter 1196 time 822.926 not-muc 72046 unknown 697 muc 735
846.41/846.47	c iter 1197 time 823.067 not-muc 72046 unknown 696 muc 736
846.41/846.47	c iter 1198 time 823.176 not-muc 72046 unknown 695 muc 737
846.41/846.47	c iter 1199 time 823.248 not-muc 72046 unknown 694 muc 738
846.41/846.47	c iter 1200 time 823.342 not-muc 72046 unknown 693 muc 739
846.41/846.47	c iter 1201 time 823.429 not-muc 72046 unknown 692 muc 740
846.41/846.47	c iter 1202 time 823.534 not-muc 72046 unknown 691 muc 741
846.41/846.47	c iter 1203 time 823.597 not-muc 72046 unknown 690 muc 742
846.41/846.47	c iter 1204 time 824.808 not-muc 72047 unknown 689 muc 742
846.41/846.47	c iter 1205 time 824.995 not-muc 72047 unknown 688 muc 743
846.41/846.47	c iter 1206 time 826.063 not-muc 72048 unknown 687 muc 743
846.41/846.47	c iter 1207 time 826.23 not-muc 72048 unknown 686 muc 744
846.41/846.47	c iter 1208 time 826.281 not-muc 72048 unknown 685 muc 745
846.41/846.47	c iter 1209 time 826.337 not-muc 72048 unknown 684 muc 746
846.41/846.47	c iter 1210 time 826.374 not-muc 72048 unknown 683 muc 747
846.41/846.47	c iter 1211 time 826.394 not-muc 72048 unknown 682 muc 748
846.41/846.47	c iter 1212 time 826.456 not-muc 72048 unknown 681 muc 749
846.41/846.47	c iter 1213 time 826.487 not-muc 72048 unknown 680 muc 750
846.41/846.47	c iter 1214 time 826.542 not-muc 72048 unknown 679 muc 751
846.41/846.47	c iter 1215 time 826.595 not-muc 72048 unknown 678 muc 752
846.41/846.47	c iter 1216 time 826.694 not-muc 72048 unknown 677 muc 753
846.41/846.47	c iter 1217 time 826.721 not-muc 72048 unknown 676 muc 754
846.41/846.47	c iter 1218 time 826.774 not-muc 72048 unknown 675 muc 755
846.41/846.47	c iter 1219 time 826.996 not-muc 72048 unknown 674 muc 756
846.41/846.47	c iter 1220 time 827.033 not-muc 72048 unknown 673 muc 757
846.41/846.47	c iter 1221 time 827.093 not-muc 72048 unknown 672 muc 758
846.41/846.47	c iter 1222 time 827.129 not-muc 72048 unknown 671 muc 759
846.41/846.47	c iter 1223 time 827.226 not-muc 72048 unknown 670 muc 760
846.41/846.47	c iter 1224 time 828.573 not-muc 72049 unknown 669 muc 760
846.41/846.47	c iter 1225 time 828.701 not-muc 72049 unknown 668 muc 761
846.41/846.47	c iter 1226 time 828.819 not-muc 72049 unknown 667 muc 762
846.41/846.47	c iter 1227 time 828.845 not-muc 72049 unknown 666 muc 763
846.41/846.47	c iter 1228 time 828.956 not-muc 72049 unknown 665 muc 764
846.41/846.47	c iter 1229 time 829.075 not-muc 72049 unknown 664 muc 765
846.41/846.47	c iter 1230 time 829.124 not-muc 72049 unknown 663 muc 766
846.41/846.47	c iter 1231 time 829.149 not-muc 72049 unknown 662 muc 767
846.41/846.47	c iter 1232 time 829.2 not-muc 72049 unknown 661 muc 768
846.41/846.47	c iter 1233 time 829.277 not-muc 72049 unknown 660 muc 769
846.41/846.47	c iter 1234 time 829.331 not-muc 72049 unknown 659 muc 770
846.41/846.47	c iter 1235 time 829.39 not-muc 72049 unknown 658 muc 771
846.41/846.47	c iter 1236 time 829.494 not-muc 72049 unknown 657 muc 772
846.41/846.47	c iter 1237 time 829.57 not-muc 72049 unknown 656 muc 773
846.41/846.47	c iter 1238 time 831.523 not-muc 72050 unknown 655 muc 773
846.41/846.47	c iter 1239 time 834.128 not-muc 72051 unknown 654 muc 773
846.41/846.47	c iter 1240 time 834.716 not-muc 72051 unknown 653 muc 774
846.41/846.47	c iter 1241 time 834.771 not-muc 72051 unknown 652 muc 775
846.41/846.47	c iter 1242 time 834.815 not-muc 72051 unknown 651 muc 776
846.41/846.47	c iter 1243 time 834.884 not-muc 72051 unknown 650 muc 777
846.41/846.47	c iter 1244 time 834.966 not-muc 72051 unknown 649 muc 778
846.41/846.47	c iter 1245 time 835.038 not-muc 72051 unknown 648 muc 779
846.41/846.47	c iter 1246 time 837.319 not-muc 72052 unknown 647 muc 779
846.41/846.47	c iter 1247 time 837.466 not-muc 72052 unknown 646 muc 780
846.41/846.47	c iter 1248 time 837.513 not-muc 72052 unknown 645 muc 781
846.41/846.47	c iter 1249 time 837.564 not-muc 72052 unknown 644 muc 782
846.41/846.47	c iter 1250 time 839.123 not-muc 72053 unknown 643 muc 782
846.41/846.47	c iter 1251 time 839.245 not-muc 72053 unknown 642 muc 783
846.41/846.47	c iter 1252 time 840.962 not-muc 72054 unknown 641 muc 783
846.41/846.47	c iter 1253 time 841.096 not-muc 72054 unknown 640 muc 784
846.41/846.47	c iter 1254 time 841.156 not-muc 72054 unknown 639 muc 785
846.41/846.47	c iter 1255 time 841.269 not-muc 72054 unknown 638 muc 786
846.41/846.47	c iter 1256 time 841.316 not-muc 72054 unknown 637 muc 787
846.41/846.47	c iter 1257 time 841.414 not-muc 72054 unknown 636 muc 788
846.41/846.47	c iter 1258 time 842.776 not-muc 72055 unknown 635 muc 788
846.41/846.47	c iter 1259 time 844.862 not-muc 72056 unknown 634 muc 788
846.41/846.47	c iter 1260 time 845.028 not-muc 72056 unknown 633 muc 789
846.41/846.47	c iter 1261 time 845.142 not-muc 72056 unknown 632 muc 790
878.11/878.19	c iter 1262 time 845.232 not-muc 72056 unknown 631 muc 791
878.11/878.19	c iter 1263 time 845.276 not-muc 72056 unknown 630 muc 792
878.11/878.19	c iter 1264 time 846.521 not-muc 72057 unknown 629 muc 792
878.11/878.19	c iter 1265 time 846.699 not-muc 72057 unknown 628 muc 793
878.11/878.19	c iter 1266 time 846.794 not-muc 72057 unknown 627 muc 794
878.11/878.19	c iter 1267 time 849.146 not-muc 72058 unknown 626 muc 794
878.11/878.19	c iter 1268 time 851.611 not-muc 72059 unknown 625 muc 794
878.11/878.19	c iter 1269 time 851.734 not-muc 72059 unknown 624 muc 795
878.11/878.19	c iter 1270 time 851.823 not-muc 72059 unknown 623 muc 796
878.11/878.19	c iter 1271 time 851.899 not-muc 72059 unknown 622 muc 797
878.11/878.19	c iter 1272 time 851.965 not-muc 72059 unknown 621 muc 798
878.11/878.19	c iter 1273 time 853.323 not-muc 72060 unknown 620 muc 798
878.11/878.19	c iter 1274 time 854.539 not-muc 72061 unknown 619 muc 798
878.11/878.19	c iter 1275 time 854.637 not-muc 72061 unknown 618 muc 799
878.11/878.19	c iter 1276 time 854.7 not-muc 72061 unknown 617 muc 800
878.11/878.19	c iter 1277 time 854.73 not-muc 72061 unknown 616 muc 801
878.11/878.19	c iter 1278 time 854.802 not-muc 72061 unknown 615 muc 802
878.11/878.19	c iter 1279 time 854.882 not-muc 72061 unknown 614 muc 803
878.11/878.19	c iter 1280 time 854.912 not-muc 72061 unknown 613 muc 804
878.11/878.19	c iter 1281 time 857.273 not-muc 72063 unknown 611 muc 804
878.11/878.19	c iter 1282 time 857.41 not-muc 72063 unknown 610 muc 805
878.11/878.19	c iter 1283 time 857.432 not-muc 72063 unknown 609 muc 806
878.11/878.19	c iter 1284 time 858.617 not-muc 72067 unknown 605 muc 806
878.11/878.19	c iter 1285 time 858.797 not-muc 72067 unknown 604 muc 807
878.11/878.19	c iter 1286 time 860.123 not-muc 72068 unknown 603 muc 807
878.11/878.19	c iter 1287 time 860.289 not-muc 72068 unknown 602 muc 808
878.11/878.19	c iter 1288 time 860.327 not-muc 72068 unknown 601 muc 809
878.11/878.19	c iter 1289 time 860.385 not-muc 72068 unknown 600 muc 810
878.11/878.19	c iter 1290 time 860.43 not-muc 72068 unknown 599 muc 811
878.11/878.19	c iter 1291 time 860.518 not-muc 72068 unknown 598 muc 812
878.11/878.19	c iter 1292 time 860.636 not-muc 72068 unknown 597 muc 813
878.11/878.19	c iter 1293 time 860.758 not-muc 72068 unknown 596 muc 814
878.11/878.19	c iter 1294 time 860.824 not-muc 72068 unknown 595 muc 815
878.11/878.19	c iter 1295 time 860.909 not-muc 72068 unknown 594 muc 816
878.11/878.19	c iter 1296 time 860.95 not-muc 72068 unknown 593 muc 817
878.11/878.19	c iter 1297 time 862.23 not-muc 72069 unknown 592 muc 817
878.11/878.19	c iter 1298 time 862.366 not-muc 72069 unknown 591 muc 818
878.11/878.19	c iter 1299 time 862.413 not-muc 72069 unknown 590 muc 819
878.11/878.19	c iter 1300 time 864.701 not-muc 72070 unknown 589 muc 819
878.11/878.19	c iter 1301 time 866.138 not-muc 72071 unknown 588 muc 819
878.11/878.19	c iter 1302 time 866.24 not-muc 72071 unknown 587 muc 820
878.11/878.19	c iter 1303 time 866.345 not-muc 72071 unknown 586 muc 821
878.11/878.19	c iter 1304 time 866.387 not-muc 72071 unknown 585 muc 822
878.11/878.19	c iter 1305 time 866.432 not-muc 72071 unknown 584 muc 823
878.11/878.19	c iter 1306 time 866.499 not-muc 72071 unknown 583 muc 824
878.11/878.19	c iter 1307 time 867.088 not-muc 72071 unknown 582 muc 825
878.11/878.19	c iter 1308 time 868.336 not-muc 72072 unknown 581 muc 825
878.11/878.19	c iter 1309 time 868.47 not-muc 72072 unknown 580 muc 826
878.11/878.19	c iter 1310 time 868.58 not-muc 72072 unknown 579 muc 827
878.11/878.19	c iter 1311 time 868.653 not-muc 72072 unknown 578 muc 828
878.11/878.19	c iter 1312 time 868.763 not-muc 72072 unknown 577 muc 829
878.11/878.19	c iter 1313 time 868.843 not-muc 72072 unknown 576 muc 830
878.11/878.19	c iter 1314 time 868.875 not-muc 72072 unknown 575 muc 831
878.11/878.19	c iter 1315 time 868.981 not-muc 72072 unknown 574 muc 832
878.11/878.19	c iter 1316 time 868.999 not-muc 72072 unknown 573 muc 833
878.11/878.19	c iter 1317 time 869.116 not-muc 72072 unknown 572 muc 834
878.11/878.19	c iter 1318 time 869.173 not-muc 72072 unknown 571 muc 835
878.11/878.19	c iter 1319 time 869.215 not-muc 72072 unknown 570 muc 836
878.11/878.19	c iter 1320 time 869.28 not-muc 72072 unknown 569 muc 837
878.11/878.19	c iter 1321 time 869.333 not-muc 72072 unknown 568 muc 838
878.11/878.19	c iter 1322 time 869.403 not-muc 72072 unknown 567 muc 839
878.11/878.19	c iter 1323 time 871.695 not-muc 72073 unknown 566 muc 839
878.11/878.19	c iter 1324 time 871.8 not-muc 72073 unknown 565 muc 840
878.11/878.19	c iter 1325 time 871.831 not-muc 72073 unknown 564 muc 841
878.11/878.19	c iter 1326 time 871.889 not-muc 72073 unknown 563 muc 842
878.11/878.19	c iter 1327 time 871.957 not-muc 72073 unknown 562 muc 843
878.11/878.19	c iter 1328 time 874.225 not-muc 72074 unknown 561 muc 843
878.11/878.19	c iter 1329 time 874.339 not-muc 72074 unknown 560 muc 844
878.11/878.19	c iter 1330 time 876.709 not-muc 72075 unknown 559 muc 844
878.11/878.19	c iter 1331 time 876.817 not-muc 72075 unknown 558 muc 845
896.11/896.17	c iter 1332 time 876.933 not-muc 72075 unknown 557 muc 846
896.11/896.17	c iter 1333 time 877.014 not-muc 72075 unknown 556 muc 847
896.11/896.17	c iter 1334 time 877.072 not-muc 72075 unknown 555 muc 848
896.11/896.17	c iter 1335 time 877.123 not-muc 72075 unknown 554 muc 849
896.11/896.17	c iter 1336 time 878.385 not-muc 72076 unknown 553 muc 849
896.11/896.17	c iter 1337 time 878.532 not-muc 72076 unknown 552 muc 850
896.11/896.17	c iter 1338 time 878.655 not-muc 72076 unknown 551 muc 851
896.11/896.17	c iter 1339 time 878.681 not-muc 72076 unknown 550 muc 852
896.11/896.17	c iter 1340 time 880.515 not-muc 72077 unknown 549 muc 852
896.11/896.17	c iter 1341 time 880.698 not-muc 72077 unknown 548 muc 853
896.11/896.17	c iter 1342 time 880.726 not-muc 72077 unknown 547 muc 854
896.11/896.17	c iter 1343 time 880.809 not-muc 72077 unknown 546 muc 855
896.11/896.17	c iter 1344 time 880.909 not-muc 72077 unknown 545 muc 856
896.11/896.17	c iter 1345 time 880.937 not-muc 72077 unknown 544 muc 857
896.11/896.17	c iter 1346 time 881.019 not-muc 72077 unknown 543 muc 858
896.11/896.17	c iter 1347 time 883.414 not-muc 72078 unknown 542 muc 858
896.11/896.17	c iter 1348 time 883.546 not-muc 72078 unknown 541 muc 859
896.11/896.17	c iter 1349 time 883.584 not-muc 72078 unknown 540 muc 860
896.11/896.17	c iter 1350 time 883.679 not-muc 72078 unknown 539 muc 861
896.11/896.17	c iter 1351 time 883.751 not-muc 72078 unknown 538 muc 862
896.11/896.17	c iter 1352 time 883.79 not-muc 72078 unknown 537 muc 863
896.11/896.17	c iter 1353 time 883.897 not-muc 72078 unknown 536 muc 864
896.11/896.17	c iter 1354 time 884.013 not-muc 72078 unknown 535 muc 865
896.11/896.17	c iter 1355 time 884.028 not-muc 72078 unknown 534 muc 866
896.11/896.17	c iter 1356 time 884.068 not-muc 72078 unknown 533 muc 867
896.11/896.17	c iter 1357 time 884.079 not-muc 72078 unknown 532 muc 868
896.11/896.17	c iter 1358 time 885.691 not-muc 72079 unknown 531 muc 868
896.11/896.17	c iter 1359 time 885.823 not-muc 72079 unknown 530 muc 869
896.11/896.17	c iter 1360 time 885.896 not-muc 72079 unknown 529 muc 870
896.11/896.17	c iter 1361 time 885.949 not-muc 72079 unknown 528 muc 871
896.11/896.17	c iter 1362 time 886.069 not-muc 72079 unknown 527 muc 872
896.11/896.17	c iter 1363 time 886.193 not-muc 72079 unknown 526 muc 873
896.11/896.17	c iter 1364 time 886.323 not-muc 72079 unknown 525 muc 874
896.11/896.17	c iter 1365 time 886.419 not-muc 72079 unknown 524 muc 875
896.11/896.17	c iter 1366 time 886.796 not-muc 72079 unknown 523 muc 876
896.11/896.17	c iter 1367 time 886.873 not-muc 72079 unknown 522 muc 877
896.11/896.17	c iter 1368 time 886.912 not-muc 72079 unknown 521 muc 878
896.11/896.17	c iter 1369 time 886.991 not-muc 72079 unknown 520 muc 879
896.11/896.17	c iter 1370 time 888.659 not-muc 72080 unknown 519 muc 879
896.11/896.17	c iter 1371 time 888.769 not-muc 72080 unknown 518 muc 880
896.11/896.17	c iter 1372 time 888.904 not-muc 72080 unknown 517 muc 881
896.11/896.17	c iter 1373 time 888.951 not-muc 72080 unknown 516 muc 882
896.11/896.17	c iter 1374 time 888.984 not-muc 72080 unknown 515 muc 883
896.11/896.17	c iter 1375 time 889.025 not-muc 72080 unknown 514 muc 884
896.11/896.17	c iter 1376 time 889.103 not-muc 72080 unknown 513 muc 885
896.11/896.17	c iter 1377 time 890.859 not-muc 72081 unknown 512 muc 885
896.11/896.17	c iter 1378 time 891.044 not-muc 72081 unknown 511 muc 886
896.11/896.17	c iter 1379 time 891.079 not-muc 72081 unknown 510 muc 887
896.11/896.17	c iter 1380 time 891.147 not-muc 72081 unknown 509 muc 888
896.11/896.17	c iter 1381 time 891.185 not-muc 72081 unknown 508 muc 889
896.11/896.17	c iter 1382 time 891.219 not-muc 72081 unknown 507 muc 890
896.11/896.17	c iter 1383 time 891.302 not-muc 72081 unknown 506 muc 891
896.11/896.17	c iter 1384 time 891.353 not-muc 72081 unknown 505 muc 892
896.11/896.17	c iter 1385 time 891.435 not-muc 72081 unknown 504 muc 893
896.11/896.17	c iter 1386 time 891.47 not-muc 72081 unknown 503 muc 894
896.11/896.17	c iter 1387 time 892.722 not-muc 72082 unknown 502 muc 894
896.11/896.17	c iter 1388 time 892.819 not-muc 72082 unknown 501 muc 895
896.11/896.17	c iter 1389 time 893.85 not-muc 72084 unknown 499 muc 895
896.11/896.17	c iter 1390 time 893.987 not-muc 72084 unknown 498 muc 896
896.11/896.17	c iter 1391 time 894.078 not-muc 72084 unknown 497 muc 897
896.11/896.17	c iter 1392 time 894.187 not-muc 72084 unknown 496 muc 898
896.11/896.17	c iter 1393 time 894.254 not-muc 72084 unknown 495 muc 899
896.11/896.17	c iter 1394 time 894.421 not-muc 72084 unknown 494 muc 900
896.11/896.17	c iter 1395 time 894.446 not-muc 72084 unknown 493 muc 901
896.11/896.17	c iter 1396 time 894.509 not-muc 72084 unknown 492 muc 902
896.11/896.17	c iter 1397 time 894.574 not-muc 72084 unknown 491 muc 903
896.11/896.17	c iter 1398 time 894.617 not-muc 72084 unknown 490 muc 904
896.11/896.17	c iter 1399 time 894.733 not-muc 72084 unknown 489 muc 905
896.11/896.17	c iter 1400 time 894.788 not-muc 72084 unknown 488 muc 906
914.52/914.56	c iter 1401 time 894.901 not-muc 72084 unknown 487 muc 907
914.52/914.56	c iter 1402 time 896.989 not-muc 72085 unknown 486 muc 907
914.52/914.56	c iter 1403 time 897.175 not-muc 72085 unknown 485 muc 908
914.52/914.56	c iter 1404 time 897.283 not-muc 72085 unknown 484 muc 909
914.52/914.56	c iter 1405 time 897.413 not-muc 72085 unknown 483 muc 910
914.52/914.56	c iter 1406 time 897.487 not-muc 72085 unknown 482 muc 911
914.52/914.56	c iter 1407 time 897.58 not-muc 72085 unknown 481 muc 912
914.52/914.56	c iter 1408 time 897.67 not-muc 72085 unknown 480 muc 913
914.52/914.56	c iter 1409 time 897.745 not-muc 72085 unknown 479 muc 914
914.52/914.56	c iter 1410 time 897.829 not-muc 72085 unknown 478 muc 915
914.52/914.56	c iter 1411 time 897.93 not-muc 72085 unknown 477 muc 916
914.52/914.56	c iter 1412 time 897.995 not-muc 72085 unknown 476 muc 917
914.52/914.56	c iter 1413 time 898.078 not-muc 72085 unknown 475 muc 918
914.52/914.56	c iter 1414 time 898.155 not-muc 72085 unknown 474 muc 919
914.52/914.56	c iter 1415 time 898.215 not-muc 72085 unknown 473 muc 920
914.52/914.56	c iter 1416 time 898.272 not-muc 72085 unknown 472 muc 921
914.52/914.56	c iter 1417 time 898.361 not-muc 72085 unknown 471 muc 922
914.52/914.56	c iter 1418 time 898.396 not-muc 72085 unknown 470 muc 923
914.52/914.56	c iter 1419 time 898.564 not-muc 72085 unknown 469 muc 924
914.52/914.56	c iter 1420 time 898.668 not-muc 72085 unknown 468 muc 925
914.52/914.56	c iter 1421 time 898.798 not-muc 72085 unknown 467 muc 926
914.52/914.56	c iter 1422 time 898.893 not-muc 72085 unknown 466 muc 927
914.52/914.56	c iter 1423 time 898.947 not-muc 72085 unknown 465 muc 928
914.52/914.56	c iter 1424 time 899.02 not-muc 72085 unknown 464 muc 929
914.52/914.56	c iter 1425 time 899.108 not-muc 72085 unknown 463 muc 930
914.52/914.56	c iter 1426 time 899.197 not-muc 72085 unknown 462 muc 931
914.52/914.56	c iter 1427 time 899.298 not-muc 72085 unknown 461 muc 932
914.52/914.56	c iter 1428 time 899.363 not-muc 72085 unknown 460 muc 933
914.52/914.56	c iter 1429 time 899.451 not-muc 72085 unknown 459 muc 934
914.52/914.56	c iter 1430 time 899.512 not-muc 72085 unknown 458 muc 935
914.52/914.56	c iter 1431 time 899.575 not-muc 72085 unknown 457 muc 936
914.52/914.56	c iter 1432 time 899.672 not-muc 72085 unknown 456 muc 937
914.52/914.56	c iter 1433 time 899.749 not-muc 72085 unknown 455 muc 938
914.52/914.56	c iter 1434 time 899.816 not-muc 72085 unknown 454 muc 939
914.52/914.56	c iter 1435 time 899.913 not-muc 72085 unknown 453 muc 940
914.52/914.56	c iter 1436 time 899.99 not-muc 72085 unknown 452 muc 941
914.52/914.56	c iter 1437 time 901.324 not-muc 72086 unknown 451 muc 941
914.52/914.56	c iter 1438 time 901.52 not-muc 72086 unknown 450 muc 942
914.52/914.56	c iter 1439 time 901.585 not-muc 72086 unknown 449 muc 943
914.52/914.56	c iter 1440 time 901.685 not-muc 72086 unknown 448 muc 944
914.52/914.56	c iter 1441 time 902.691 not-muc 72087 unknown 447 muc 944
914.52/914.56	c iter 1442 time 902.852 not-muc 72087 unknown 446 muc 945
914.52/914.56	c iter 1443 time 902.906 not-muc 72087 unknown 445 muc 946
914.52/914.56	c iter 1444 time 902.986 not-muc 72087 unknown 444 muc 947
914.52/914.56	c iter 1445 time 903.096 not-muc 72087 unknown 443 muc 948
914.52/914.56	c iter 1446 time 903.146 not-muc 72087 unknown 442 muc 949
914.52/914.56	c iter 1447 time 903.189 not-muc 72087 unknown 441 muc 950
914.52/914.56	c iter 1448 time 903.252 not-muc 72087 unknown 440 muc 951
914.52/914.56	c iter 1449 time 903.323 not-muc 72087 unknown 439 muc 952
914.52/914.56	c iter 1450 time 904.472 not-muc 72088 unknown 438 muc 952
914.52/914.56	c iter 1451 time 904.658 not-muc 72088 unknown 437 muc 953
914.52/914.56	c iter 1452 time 904.689 not-muc 72088 unknown 436 muc 954
914.52/914.56	c iter 1453 time 906.282 not-muc 72090 unknown 434 muc 954
914.52/914.56	c iter 1454 time 906.459 not-muc 72090 unknown 433 muc 955
914.52/914.56	c iter 1455 time 906.651 not-muc 72090 unknown 432 muc 956
914.52/914.56	c iter 1456 time 906.771 not-muc 72090 unknown 431 muc 957
914.52/914.56	c iter 1457 time 909.186 not-muc 72091 unknown 430 muc 957
914.52/914.56	c iter 1458 time 909.27 not-muc 72091 unknown 429 muc 958
914.52/914.56	c iter 1459 time 910.544 not-muc 72092 unknown 428 muc 958
914.52/914.56	c iter 1460 time 910.676 not-muc 72092 unknown 427 muc 959
914.52/914.56	c iter 1461 time 910.757 not-muc 72092 unknown 426 muc 960
914.52/914.56	c iter 1462 time 912.287 not-muc 72093 unknown 425 muc 960
914.52/914.56	c iter 1463 time 912.512 not-muc 72093 unknown 424 muc 961
914.52/914.56	c iter 1464 time 912.583 not-muc 72093 unknown 423 muc 962
914.52/914.56	c iter 1465 time 912.676 not-muc 72093 unknown 422 muc 963
914.52/914.56	c iter 1466 time 912.826 not-muc 72093 unknown 421 muc 964
914.52/914.56	c iter 1467 time 912.957 not-muc 72093 unknown 420 muc 965
914.52/914.56	c iter 1468 time 913.042 not-muc 72093 unknown 419 muc 966
914.52/914.56	c iter 1469 time 913.109 not-muc 72093 unknown 418 muc 967
914.52/914.56	c iter 1470 time 913.175 not-muc 72093 unknown 417 muc 968
938.61/938.62	c iter 1471 time 913.257 not-muc 72093 unknown 416 muc 969
938.61/938.62	c iter 1472 time 913.407 not-muc 72093 unknown 415 muc 970
938.61/938.62	c iter 1473 time 913.549 not-muc 72093 unknown 414 muc 971
938.61/938.62	c iter 1474 time 913.692 not-muc 72093 unknown 413 muc 972
938.61/938.62	c iter 1475 time 913.826 not-muc 72093 unknown 412 muc 973
938.61/938.62	c iter 1476 time 913.971 not-muc 72093 unknown 411 muc 974
938.61/938.62	c iter 1477 time 914.073 not-muc 72093 unknown 410 muc 975
938.61/938.62	c iter 1478 time 914.142 not-muc 72093 unknown 409 muc 976
938.61/938.62	c iter 1479 time 914.252 not-muc 72093 unknown 408 muc 977
938.61/938.62	c iter 1480 time 914.368 not-muc 72093 unknown 407 muc 978
938.61/938.62	c iter 1481 time 914.456 not-muc 72093 unknown 406 muc 979
938.61/938.62	c iter 1482 time 915.098 not-muc 72093 unknown 405 muc 980
938.61/938.62	c iter 1483 time 917.338 not-muc 72094 unknown 404 muc 980
938.61/938.62	c iter 1484 time 917.532 not-muc 72094 unknown 403 muc 981
938.61/938.62	c iter 1485 time 919.705 not-muc 72095 unknown 402 muc 981
938.61/938.62	c iter 1486 time 919.903 not-muc 72095 unknown 401 muc 982
938.61/938.62	c iter 1487 time 919.953 not-muc 72095 unknown 400 muc 983
938.61/938.62	c iter 1488 time 920.068 not-muc 72095 unknown 399 muc 984
938.61/938.62	c iter 1489 time 920.115 not-muc 72095 unknown 398 muc 985
938.61/938.62	c iter 1490 time 922.453 not-muc 72096 unknown 397 muc 985
938.61/938.62	c iter 1491 time 922.655 not-muc 72096 unknown 396 muc 986
938.61/938.62	c iter 1492 time 922.713 not-muc 72096 unknown 395 muc 987
938.61/938.62	c iter 1493 time 922.831 not-muc 72096 unknown 394 muc 988
938.61/938.62	c iter 1494 time 922.954 not-muc 72096 unknown 393 muc 989
938.61/938.62	c iter 1495 time 923.014 not-muc 72096 unknown 392 muc 990
938.61/938.62	c iter 1496 time 923.113 not-muc 72096 unknown 391 muc 991
938.61/938.62	c iter 1497 time 923.229 not-muc 72096 unknown 390 muc 992
938.61/938.62	c iter 1498 time 923.332 not-muc 72096 unknown 389 muc 993
938.61/938.62	c iter 1499 time 923.411 not-muc 72096 unknown 388 muc 994
938.61/938.62	c iter 1500 time 923.532 not-muc 72096 unknown 387 muc 995
938.61/938.62	c iter 1501 time 923.6 not-muc 72096 unknown 386 muc 996
938.61/938.62	c iter 1502 time 923.672 not-muc 72096 unknown 385 muc 997
938.61/938.62	c iter 1503 time 923.694 not-muc 72096 unknown 384 muc 998
938.61/938.62	c iter 1504 time 923.767 not-muc 72096 unknown 383 muc 999
938.61/938.62	c iter 1505 time 923.802 not-muc 72096 unknown 382 muc 1000
938.61/938.62	c iter 1506 time 923.879 not-muc 72096 unknown 381 muc 1001
938.61/938.62	c iter 1507 time 923.931 not-muc 72096 unknown 380 muc 1002
938.61/938.62	c iter 1508 time 924.037 not-muc 72096 unknown 379 muc 1003
938.61/938.62	c iter 1509 time 925.111 not-muc 72097 unknown 378 muc 1003
938.61/938.62	c iter 1510 time 926.355 not-muc 72098 unknown 377 muc 1003
938.61/938.62	c iter 1511 time 926.438 not-muc 72098 unknown 376 muc 1004
938.61/938.62	c iter 1512 time 926.488 not-muc 72098 unknown 375 muc 1005
938.61/938.62	c iter 1513 time 926.531 not-muc 72098 unknown 374 muc 1006
938.61/938.62	c iter 1514 time 926.562 not-muc 72098 unknown 373 muc 1007
938.61/938.62	c iter 1515 time 926.607 not-muc 72098 unknown 372 muc 1008
938.61/938.62	c iter 1516 time 926.729 not-muc 72098 unknown 371 muc 1009
938.61/938.62	c iter 1517 time 926.784 not-muc 72098 unknown 370 muc 1010
938.61/938.62	c iter 1518 time 927.854 not-muc 72099 unknown 369 muc 1010
938.61/938.62	c iter 1519 time 928.03 not-muc 72099 unknown 368 muc 1011
938.61/938.62	c iter 1520 time 928.097 not-muc 72099 unknown 367 muc 1012
938.61/938.62	c iter 1521 time 928.199 not-muc 72099 unknown 366 muc 1013
938.61/938.62	c iter 1522 time 928.235 not-muc 72099 unknown 365 muc 1014
938.61/938.62	c iter 1523 time 928.304 not-muc 72099 unknown 364 muc 1015
938.61/938.62	c iter 1524 time 930.665 not-muc 72100 unknown 363 muc 1015
938.61/938.62	c iter 1525 time 930.763 not-muc 72100 unknown 362 muc 1016
938.61/938.62	c iter 1526 time 930.846 not-muc 72100 unknown 361 muc 1017
938.61/938.62	c iter 1527 time 930.873 not-muc 72100 unknown 360 muc 1018
938.61/938.62	c iter 1528 time 933.058 not-muc 72101 unknown 359 muc 1018
938.61/938.62	c iter 1529 time 933.208 not-muc 72101 unknown 358 muc 1019
938.61/938.62	c iter 1530 time 935.466 not-muc 72102 unknown 357 muc 1019
938.61/938.62	c iter 1531 time 936.646 not-muc 72103 unknown 356 muc 1019
938.61/938.62	c iter 1532 time 936.824 not-muc 72103 unknown 355 muc 1020
938.61/938.62	c iter 1533 time 936.869 not-muc 72103 unknown 354 muc 1021
938.61/938.62	c iter 1534 time 936.935 not-muc 72103 unknown 353 muc 1022
938.61/938.62	c iter 1535 time 936.982 not-muc 72103 unknown 352 muc 1023
938.61/938.62	c iter 1536 time 937.056 not-muc 72103 unknown 351 muc 1024
938.61/938.62	c iter 1537 time 937.189 not-muc 72103 unknown 350 muc 1025
938.61/938.62	c iter 1538 time 937.232 not-muc 72103 unknown 349 muc 1026
960.61/960.69	c iter 1539 time 937.312 not-muc 72103 unknown 348 muc 1027
960.61/960.69	c iter 1540 time 937.356 not-muc 72103 unknown 347 muc 1028
960.61/960.69	c iter 1541 time 938.675 not-muc 72104 unknown 346 muc 1028
960.61/960.69	c iter 1542 time 938.786 not-muc 72104 unknown 345 muc 1029
960.61/960.69	c iter 1543 time 938.863 not-muc 72104 unknown 344 muc 1030
960.61/960.69	c iter 1544 time 938.933 not-muc 72104 unknown 343 muc 1031
960.61/960.69	c iter 1545 time 939.595 not-muc 72104 unknown 342 muc 1032
960.61/960.69	c iter 1546 time 939.869 not-muc 72104 unknown 341 muc 1033
960.61/960.69	c iter 1547 time 939.925 not-muc 72104 unknown 340 muc 1034
960.61/960.69	c iter 1548 time 939.98 not-muc 72104 unknown 339 muc 1035
960.61/960.69	c iter 1549 time 940.003 not-muc 72104 unknown 338 muc 1036
960.61/960.69	c iter 1550 time 940.045 not-muc 72104 unknown 337 muc 1037
960.61/960.69	c iter 1551 time 940.156 not-muc 72104 unknown 336 muc 1038
960.61/960.69	c iter 1552 time 940.223 not-muc 72104 unknown 335 muc 1039
960.61/960.69	c iter 1553 time 940.28 not-muc 72104 unknown 334 muc 1040
960.61/960.69	c iter 1554 time 940.348 not-muc 72104 unknown 333 muc 1041
960.61/960.69	c iter 1555 time 940.377 not-muc 72104 unknown 332 muc 1042
960.61/960.69	c iter 1556 time 942.144 not-muc 72105 unknown 331 muc 1042
960.61/960.69	c iter 1557 time 942.325 not-muc 72105 unknown 330 muc 1043
960.61/960.69	c iter 1558 time 942.391 not-muc 72105 unknown 329 muc 1044
960.61/960.69	c iter 1559 time 942.437 not-muc 72105 unknown 328 muc 1045
960.61/960.69	c iter 1560 time 942.482 not-muc 72105 unknown 327 muc 1046
960.61/960.69	c iter 1561 time 942.565 not-muc 72105 unknown 326 muc 1047
960.61/960.69	c iter 1562 time 942.671 not-muc 72105 unknown 325 muc 1048
960.61/960.69	c iter 1563 time 942.79 not-muc 72105 unknown 324 muc 1049
960.61/960.69	c iter 1564 time 942.923 not-muc 72105 unknown 323 muc 1050
960.61/960.69	c iter 1565 time 943.041 not-muc 72105 unknown 322 muc 1051
960.61/960.69	c iter 1566 time 943.123 not-muc 72105 unknown 321 muc 1052
960.61/960.69	c iter 1567 time 943.189 not-muc 72105 unknown 320 muc 1053
960.61/960.69	c iter 1568 time 943.267 not-muc 72105 unknown 319 muc 1054
960.61/960.69	c iter 1569 time 943.301 not-muc 72105 unknown 318 muc 1055
960.61/960.69	c iter 1570 time 943.375 not-muc 72105 unknown 317 muc 1056
960.61/960.69	c iter 1571 time 943.491 not-muc 72105 unknown 316 muc 1057
960.61/960.69	c iter 1572 time 945.756 not-muc 72107 unknown 314 muc 1057
960.61/960.69	c iter 1573 time 948.223 not-muc 72108 unknown 313 muc 1057
960.61/960.69	c iter 1574 time 948.357 not-muc 72108 unknown 312 muc 1058
960.61/960.69	c iter 1575 time 948.425 not-muc 72108 unknown 311 muc 1059
960.61/960.69	c iter 1576 time 950.595 not-muc 72109 unknown 310 muc 1059
960.61/960.69	c iter 1577 time 950.744 not-muc 72109 unknown 309 muc 1060
960.61/960.69	c iter 1578 time 950.822 not-muc 72109 unknown 308 muc 1061
960.61/960.69	c iter 1579 time 950.913 not-muc 72109 unknown 307 muc 1062
960.61/960.69	c iter 1580 time 950.986 not-muc 72109 unknown 306 muc 1063
960.61/960.69	c iter 1581 time 951.013 not-muc 72109 unknown 305 muc 1064
960.61/960.69	c iter 1582 time 951.114 not-muc 72109 unknown 304 muc 1065
960.61/960.69	c iter 1583 time 951.164 not-muc 72109 unknown 303 muc 1066
960.61/960.69	c iter 1584 time 951.214 not-muc 72109 unknown 302 muc 1067
960.61/960.69	c iter 1585 time 951.273 not-muc 72109 unknown 301 muc 1068
960.61/960.69	c iter 1586 time 951.348 not-muc 72109 unknown 300 muc 1069
960.61/960.69	c iter 1587 time 953.97 not-muc 72110 unknown 299 muc 1069
960.61/960.69	c iter 1588 time 954.144 not-muc 72110 unknown 298 muc 1070
960.61/960.69	c iter 1589 time 954.248 not-muc 72110 unknown 297 muc 1071
960.61/960.69	c iter 1590 time 954.367 not-muc 72110 unknown 296 muc 1072
960.61/960.69	c iter 1591 time 954.428 not-muc 72110 unknown 295 muc 1073
960.61/960.69	c iter 1592 time 954.5 not-muc 72110 unknown 294 muc 1074
960.61/960.69	c iter 1593 time 954.578 not-muc 72110 unknown 293 muc 1075
960.61/960.69	c iter 1594 time 954.63 not-muc 72110 unknown 292 muc 1076
960.61/960.69	c iter 1595 time 955.781 not-muc 72111 unknown 291 muc 1076
960.61/960.69	c iter 1596 time 955.921 not-muc 72111 unknown 290 muc 1077
960.61/960.69	c iter 1597 time 956.04 not-muc 72111 unknown 289 muc 1078
960.61/960.69	c iter 1598 time 956.098 not-muc 72111 unknown 288 muc 1079
960.61/960.69	c iter 1599 time 956.223 not-muc 72111 unknown 287 muc 1080
960.61/960.69	c iter 1600 time 956.342 not-muc 72111 unknown 286 muc 1081
960.61/960.69	c iter 1601 time 956.446 not-muc 72111 unknown 285 muc 1082
960.61/960.69	c iter 1602 time 956.553 not-muc 72111 unknown 284 muc 1083
960.61/960.69	c iter 1603 time 956.654 not-muc 72111 unknown 283 muc 1084
960.61/960.69	c iter 1604 time 958.859 not-muc 72114 unknown 280 muc 1084
960.61/960.69	c iter 1605 time 959.045 not-muc 72114 unknown 279 muc 1085
960.61/960.69	c iter 1606 time 959.167 not-muc 72114 unknown 278 muc 1086
960.61/960.69	c iter 1607 time 959.29 not-muc 72114 unknown 277 muc 1087
978.62/978.60	c iter 1608 time 959.387 not-muc 72114 unknown 276 muc 1088
978.62/978.60	c iter 1609 time 959.453 not-muc 72114 unknown 275 muc 1089
978.62/978.60	c iter 1610 time 959.574 not-muc 72114 unknown 274 muc 1090
978.62/978.60	c iter 1611 time 959.706 not-muc 72114 unknown 273 muc 1091
978.62/978.60	c iter 1612 time 959.757 not-muc 72114 unknown 272 muc 1092
978.62/978.60	c iter 1613 time 960.862 not-muc 72115 unknown 271 muc 1092
978.62/978.60	c iter 1614 time 961.021 not-muc 72115 unknown 270 muc 1093
978.62/978.60	c iter 1615 time 961.141 not-muc 72115 unknown 269 muc 1094
978.62/978.60	c iter 1616 time 961.205 not-muc 72115 unknown 268 muc 1095
978.62/978.60	c iter 1617 time 961.272 not-muc 72115 unknown 267 muc 1096
978.62/978.60	c iter 1618 time 961.735 not-muc 72115 unknown 266 muc 1097
978.62/978.60	c iter 1619 time 961.764 not-muc 72115 unknown 265 muc 1098
978.62/978.60	c iter 1620 time 962.356 not-muc 72115 unknown 264 muc 1099
978.62/978.60	c iter 1621 time 962.438 not-muc 72115 unknown 263 muc 1100
978.62/978.60	c iter 1622 time 962.535 not-muc 72115 unknown 262 muc 1101
978.62/978.60	c iter 1623 time 962.603 not-muc 72115 unknown 261 muc 1102
978.62/978.60	c iter 1624 time 962.959 not-muc 72115 unknown 260 muc 1103
978.62/978.60	c iter 1625 time 965.087 not-muc 72116 unknown 259 muc 1103
978.62/978.60	c iter 1626 time 965.193 not-muc 72116 unknown 258 muc 1104
978.62/978.60	c iter 1627 time 965.227 not-muc 72116 unknown 257 muc 1105
978.62/978.60	c iter 1628 time 965.349 not-muc 72116 unknown 256 muc 1106
978.62/978.60	c iter 1629 time 965.442 not-muc 72116 unknown 255 muc 1107
978.62/978.60	c iter 1630 time 966.582 not-muc 72117 unknown 254 muc 1107
978.62/978.60	c iter 1631 time 967.686 not-muc 72118 unknown 253 muc 1107
978.62/978.60	c iter 1632 time 967.864 not-muc 72118 unknown 252 muc 1108
978.62/978.60	c iter 1633 time 967.994 not-muc 72118 unknown 251 muc 1109
978.62/978.60	c iter 1634 time 968.022 not-muc 72118 unknown 250 muc 1110
978.62/978.60	c iter 1635 time 968.043 not-muc 72118 unknown 249 muc 1111
978.62/978.60	c iter 1636 time 968.147 not-muc 72118 unknown 248 muc 1112
978.62/978.60	c iter 1637 time 968.214 not-muc 72118 unknown 247 muc 1113
978.62/978.60	c iter 1638 time 968.258 not-muc 72118 unknown 246 muc 1114
978.62/978.60	c iter 1639 time 968.379 not-muc 72118 unknown 245 muc 1115
978.62/978.60	c iter 1640 time 968.463 not-muc 72118 unknown 244 muc 1116
978.62/978.60	c iter 1641 time 968.491 not-muc 72118 unknown 243 muc 1117
978.62/978.60	c iter 1642 time 968.562 not-muc 72118 unknown 242 muc 1118
978.62/978.60	c iter 1643 time 968.667 not-muc 72118 unknown 241 muc 1119
978.62/978.60	c iter 1644 time 968.754 not-muc 72118 unknown 240 muc 1120
978.62/978.60	c iter 1645 time 969.923 not-muc 72120 unknown 238 muc 1120
978.62/978.60	c iter 1646 time 970.045 not-muc 72120 unknown 237 muc 1121
978.62/978.60	c iter 1647 time 970.086 not-muc 72120 unknown 236 muc 1122
978.62/978.60	c iter 1648 time 970.114 not-muc 72120 unknown 235 muc 1123
978.62/978.60	c iter 1649 time 970.192 not-muc 72120 unknown 234 muc 1124
978.62/978.60	c iter 1650 time 970.207 not-muc 72120 unknown 233 muc 1125
978.62/978.60	c iter 1651 time 972.637 not-muc 72121 unknown 232 muc 1125
978.62/978.60	c iter 1652 time 972.813 not-muc 72121 unknown 231 muc 1126
978.62/978.60	c iter 1653 time 974.247 not-muc 72123 unknown 229 muc 1126
978.62/978.60	c iter 1654 time 974.432 not-muc 72123 unknown 228 muc 1127
978.62/978.60	c iter 1655 time 974.472 not-muc 72123 unknown 227 muc 1128
978.62/978.60	c iter 1656 time 974.531 not-muc 72123 unknown 226 muc 1129
978.62/978.60	c iter 1657 time 974.599 not-muc 72123 unknown 225 muc 1130
978.62/978.60	c iter 1658 time 974.674 not-muc 72123 unknown 224 muc 1131
978.62/978.60	c iter 1659 time 974.803 not-muc 72123 unknown 223 muc 1132
978.62/978.60	c iter 1660 time 974.872 not-muc 72123 unknown 222 muc 1133
978.62/978.60	c iter 1661 time 974.987 not-muc 72123 unknown 221 muc 1134
978.62/978.60	c iter 1662 time 975.1 not-muc 72123 unknown 220 muc 1135
978.62/978.60	c iter 1663 time 975.131 not-muc 72123 unknown 219 muc 1136
978.62/978.60	c iter 1664 time 975.252 not-muc 72123 unknown 218 muc 1137
978.62/978.60	c iter 1665 time 975.331 not-muc 72123 unknown 217 muc 1138
978.62/978.60	c iter 1666 time 975.371 not-muc 72123 unknown 216 muc 1139
978.62/978.60	c iter 1667 time 975.424 not-muc 72123 unknown 215 muc 1140
978.62/978.60	c iter 1668 time 975.531 not-muc 72123 unknown 214 muc 1141
978.62/978.60	c iter 1669 time 976.678 not-muc 72124 unknown 213 muc 1141
978.62/978.60	c iter 1670 time 976.769 not-muc 72124 unknown 212 muc 1142
978.62/978.60	c iter 1671 time 976.9 not-muc 72124 unknown 211 muc 1143
978.62/978.60	c iter 1672 time 976.97 not-muc 72124 unknown 210 muc 1144
978.62/978.60	c iter 1673 time 977.043 not-muc 72124 unknown 209 muc 1145
978.62/978.60	c iter 1674 time 977.089 not-muc 72124 unknown 208 muc 1146
978.62/978.60	c iter 1675 time 977.196 not-muc 72124 unknown 207 muc 1147
1000.11/1000.11	c iter 1676 time 977.274 not-muc 72124 unknown 206 muc 1148
1000.11/1000.11	c iter 1677 time 977.303 not-muc 72124 unknown 205 muc 1149
1000.11/1000.11	c iter 1678 time 977.351 not-muc 72124 unknown 204 muc 1150
1000.11/1000.11	c iter 1679 time 978.4 not-muc 72125 unknown 203 muc 1150
1000.11/1000.11	c iter 1680 time 978.503 not-muc 72125 unknown 202 muc 1151
1000.11/1000.11	c iter 1681 time 978.574 not-muc 72125 unknown 201 muc 1152
1000.11/1000.11	c iter 1682 time 978.685 not-muc 72125 unknown 200 muc 1153
1000.11/1000.11	c iter 1683 time 980.826 not-muc 72126 unknown 199 muc 1153
1000.11/1000.11	c iter 1684 time 981.026 not-muc 72126 unknown 198 muc 1154
1000.11/1000.11	c iter 1685 time 981.078 not-muc 72126 unknown 197 muc 1155
1000.11/1000.11	c iter 1686 time 981.128 not-muc 72126 unknown 196 muc 1156
1000.11/1000.11	c iter 1687 time 981.171 not-muc 72126 unknown 195 muc 1157
1000.11/1000.11	c iter 1688 time 981.2 not-muc 72126 unknown 194 muc 1158
1000.11/1000.11	c iter 1689 time 982.44 not-muc 72127 unknown 193 muc 1158
1000.11/1000.11	c iter 1690 time 982.563 not-muc 72127 unknown 192 muc 1159
1000.11/1000.11	c iter 1691 time 983.642 not-muc 72128 unknown 191 muc 1159
1000.11/1000.11	c iter 1692 time 983.762 not-muc 72128 unknown 190 muc 1160
1000.11/1000.11	c iter 1693 time 983.882 not-muc 72128 unknown 189 muc 1161
1000.11/1000.11	c iter 1694 time 983.946 not-muc 72128 unknown 188 muc 1162
1000.11/1000.11	c iter 1695 time 984.035 not-muc 72128 unknown 187 muc 1163
1000.11/1000.11	c iter 1696 time 984.161 not-muc 72128 unknown 186 muc 1164
1000.11/1000.11	c iter 1697 time 984.248 not-muc 72128 unknown 185 muc 1165
1000.11/1000.11	c iter 1698 time 984.298 not-muc 72128 unknown 184 muc 1166
1000.11/1000.11	c iter 1699 time 984.342 not-muc 72128 unknown 183 muc 1167
1000.11/1000.11	c iter 1700 time 984.458 not-muc 72128 unknown 182 muc 1168
1000.11/1000.11	c iter 1701 time 985.461 not-muc 72129 unknown 181 muc 1168
1000.11/1000.11	c iter 1702 time 985.584 not-muc 72129 unknown 180 muc 1169
1000.11/1000.11	c iter 1703 time 985.639 not-muc 72129 unknown 179 muc 1170
1000.11/1000.11	c iter 1704 time 988.004 not-muc 72130 unknown 178 muc 1170
1000.11/1000.11	c iter 1705 time 988.188 not-muc 72130 unknown 177 muc 1171
1000.11/1000.11	c iter 1706 time 988.318 not-muc 72130 unknown 176 muc 1172
1000.11/1000.11	c iter 1707 time 988.409 not-muc 72130 unknown 175 muc 1173
1000.11/1000.11	c iter 1708 time 988.504 not-muc 72130 unknown 174 muc 1174
1000.11/1000.11	c iter 1709 time 988.604 not-muc 72130 unknown 173 muc 1175
1000.11/1000.11	c iter 1710 time 988.747 not-muc 72130 unknown 172 muc 1176
1000.11/1000.11	c iter 1711 time 991.104 not-muc 72131 unknown 171 muc 1176
1000.11/1000.11	c iter 1712 time 993.169 not-muc 72132 unknown 170 muc 1176
1000.11/1000.11	c iter 1713 time 993.311 not-muc 72132 unknown 169 muc 1177
1000.11/1000.11	c iter 1714 time 993.354 not-muc 72132 unknown 168 muc 1178
1000.11/1000.11	c iter 1715 time 994.195 not-muc 72133 unknown 167 muc 1178
1000.11/1000.11	c iter 1716 time 994.306 not-muc 72133 unknown 166 muc 1179
1000.11/1000.11	c iter 1717 time 994.385 not-muc 72133 unknown 165 muc 1180
1000.11/1000.11	c iter 1718 time 994.478 not-muc 72133 unknown 164 muc 1181
1000.11/1000.11	c iter 1719 time 995.331 not-muc 72134 unknown 163 muc 1181
1000.11/1000.11	c iter 1720 time 995.441 not-muc 72134 unknown 162 muc 1182
1000.11/1000.11	c iter 1721 time 996.72 not-muc 72135 unknown 161 muc 1182
1000.11/1000.11	c iter 1722 time 996.84 not-muc 72135 unknown 160 muc 1183
1000.11/1000.11	c iter 1723 time 996.905 not-muc 72135 unknown 159 muc 1184
1000.11/1000.11	c iter 1724 time 996.981 not-muc 72135 unknown 158 muc 1185
1000.11/1000.11	c iter 1725 time 997.046 not-muc 72135 unknown 157 muc 1186
1000.11/1000.11	c iter 1726 time 997.157 not-muc 72135 unknown 156 muc 1187
1000.11/1000.11	c iter 1727 time 997.201 not-muc 72135 unknown 155 muc 1188
1000.11/1000.11	c iter 1728 time 997.3 not-muc 72135 unknown 154 muc 1189
1000.11/1000.11	c iter 1729 time 997.348 not-muc 72135 unknown 153 muc 1190
1000.11/1000.11	c iter 1730 time 997.466 not-muc 72135 unknown 152 muc 1191
1000.11/1000.11	c iter 1731 time 997.577 not-muc 72135 unknown 151 muc 1192
1000.11/1000.11	c iter 1732 time 997.616 not-muc 72135 unknown 150 muc 1193
1000.11/1000.11	c iter 1733 time 997.707 not-muc 72135 unknown 149 muc 1194
1000.11/1000.11	c iter 1734 time 997.745 not-muc 72135 unknown 148 muc 1195
1000.11/1000.11	c iter 1735 time 997.829 not-muc 72135 unknown 147 muc 1196
1000.11/1000.11	c iter 1736 time 997.957 not-muc 72135 unknown 146 muc 1197
1000.11/1000.11	c iter 1737 time 997.984 not-muc 72135 unknown 145 muc 1198
1000.11/1000.11	c iter 1738 time 998.105 not-muc 72135 unknown 144 muc 1199
1000.11/1000.11	c iter 1739 time 998.231 not-muc 72135 unknown 143 muc 1200
1000.11/1000.11	c iter 1740 time 998.353 not-muc 72135 unknown 142 muc 1201
1000.11/1000.11	c iter 1741 time 998.409 not-muc 72135 unknown 141 muc 1202
1000.11/1000.11	c iter 1742 time 998.435 not-muc 72135 unknown 140 muc 1203
1000.11/1000.11	c iter 1743 time 998.499 not-muc 72135 unknown 139 muc 1204
1000.11/1000.11	c iter 1744 time 998.703 not-muc 72135 unknown 138 muc 1205
1019.02/1019.05	c iter 1745 time 1000.09 not-muc 72136 unknown 137 muc 1205
1019.02/1019.05	c iter 1746 time 1001.07 not-muc 72138 unknown 135 muc 1205
1019.02/1019.05	c iter 1747 time 1001.16 not-muc 72138 unknown 134 muc 1206
1019.02/1019.05	c iter 1748 time 1001.18 not-muc 72138 unknown 133 muc 1207
1019.02/1019.05	c iter 1749 time 1002.75 not-muc 72139 unknown 132 muc 1207
1019.02/1019.05	c iter 1750 time 1004.05 not-muc 72140 unknown 131 muc 1207
1019.02/1019.05	c iter 1751 time 1004.19 not-muc 72140 unknown 130 muc 1208
1019.02/1019.05	c iter 1752 time 1005.38 not-muc 72141 unknown 129 muc 1208
1019.02/1019.05	c iter 1753 time 1005.49 not-muc 72141 unknown 128 muc 1209
1019.02/1019.05	c iter 1754 time 1005.61 not-muc 72141 unknown 127 muc 1210
1019.02/1019.05	c iter 1755 time 1005.63 not-muc 72141 unknown 126 muc 1211
1019.02/1019.05	c iter 1756 time 1005.74 not-muc 72141 unknown 125 muc 1212
1019.02/1019.05	c iter 1757 time 1005.86 not-muc 72141 unknown 124 muc 1213
1019.02/1019.05	c iter 1758 time 1005.93 not-muc 72141 unknown 123 muc 1214
1019.02/1019.05	c iter 1759 time 1006.01 not-muc 72141 unknown 122 muc 1215
1019.02/1019.05	c iter 1760 time 1006.12 not-muc 72141 unknown 121 muc 1216
1019.02/1019.05	c iter 1761 time 1006.46 not-muc 72141 unknown 120 muc 1217
1019.02/1019.05	c iter 1762 time 1006.58 not-muc 72141 unknown 119 muc 1218
1019.02/1019.05	c iter 1763 time 1006.64 not-muc 72141 unknown 118 muc 1219
1019.02/1019.05	c iter 1764 time 1006.75 not-muc 72141 unknown 117 muc 1220
1019.02/1019.05	c iter 1765 time 1006.84 not-muc 72141 unknown 116 muc 1221
1019.02/1019.05	c iter 1766 time 1007.84 not-muc 72142 unknown 115 muc 1221
1019.02/1019.05	c iter 1767 time 1008.03 not-muc 72142 unknown 114 muc 1222
1019.02/1019.05	c iter 1768 time 1008.13 not-muc 72142 unknown 113 muc 1223
1019.02/1019.05	c iter 1769 time 1008.16 not-muc 72142 unknown 112 muc 1224
1019.02/1019.05	c iter 1770 time 1008.21 not-muc 72142 unknown 111 muc 1225
1019.02/1019.05	c iter 1771 time 1008.25 not-muc 72142 unknown 110 muc 1226
1019.02/1019.05	c iter 1772 time 1008.29 not-muc 72142 unknown 109 muc 1227
1019.02/1019.05	c iter 1773 time 1008.33 not-muc 72142 unknown 108 muc 1228
1019.02/1019.05	c iter 1774 time 1008.44 not-muc 72142 unknown 107 muc 1229
1019.02/1019.05	c iter 1775 time 1008.51 not-muc 72142 unknown 106 muc 1230
1019.02/1019.05	c iter 1776 time 1010.51 not-muc 72143 unknown 105 muc 1230
1019.02/1019.05	c iter 1777 time 1010.67 not-muc 72143 unknown 104 muc 1231
1019.02/1019.05	c iter 1778 time 1011.84 not-muc 72144 unknown 103 muc 1231
1019.02/1019.05	c iter 1779 time 1011.98 not-muc 72144 unknown 102 muc 1232
1019.02/1019.05	c iter 1780 time 1012.05 not-muc 72144 unknown 101 muc 1233
1019.02/1019.05	c iter 1781 time 1012.09 not-muc 72144 unknown 100 muc 1234
1019.02/1019.05	c iter 1782 time 1012.21 not-muc 72144 unknown 99 muc 1235
1019.02/1019.05	c iter 1783 time 1014.51 not-muc 72145 unknown 98 muc 1235
1019.02/1019.05	c iter 1784 time 1014.75 not-muc 72145 unknown 97 muc 1236
1019.02/1019.05	c iter 1785 time 1014.81 not-muc 72145 unknown 96 muc 1237
1019.02/1019.05	c iter 1786 time 1014.88 not-muc 72145 unknown 95 muc 1238
1019.02/1019.05	c iter 1787 time 1014.96 not-muc 72145 unknown 94 muc 1239
1019.02/1019.05	c iter 1788 time 1015.12 not-muc 72145 unknown 93 muc 1240
1019.02/1019.05	c iter 1789 time 1015.16 not-muc 72145 unknown 92 muc 1241
1019.02/1019.05	c iter 1790 time 1015.22 not-muc 72145 unknown 91 muc 1242
1019.02/1019.05	c iter 1791 time 1015.3 not-muc 72145 unknown 90 muc 1243
1019.02/1019.05	c iter 1792 time 1015.42 not-muc 72145 unknown 89 muc 1244
1019.02/1019.05	c iter 1793 time 1015.55 not-muc 72145 unknown 88 muc 1245
1019.02/1019.05	c iter 1794 time 1015.61 not-muc 72145 unknown 87 muc 1246
1019.02/1019.05	c iter 1795 time 1015.74 not-muc 72145 unknown 86 muc 1247
1019.02/1019.05	c iter 1796 time 1015.89 not-muc 72145 unknown 85 muc 1248
1019.02/1019.05	c iter 1797 time 1015.95 not-muc 72145 unknown 84 muc 1249
1019.02/1019.05	c iter 1798 time 1016.1 not-muc 72145 unknown 83 muc 1250
1019.02/1019.05	c iter 1799 time 1016.17 not-muc 72145 unknown 82 muc 1251
1019.02/1019.05	c iter 1800 time 1016.28 not-muc 72145 unknown 81 muc 1252
1019.02/1019.05	c iter 1801 time 1016.43 not-muc 72145 unknown 80 muc 1253
1019.02/1019.05	c iter 1802 time 1016.58 not-muc 72145 unknown 79 muc 1254
1019.02/1019.05	c iter 1803 time 1016.66 not-muc 72145 unknown 78 muc 1255
1019.02/1019.05	c iter 1804 time 1016.78 not-muc 72145 unknown 77 muc 1256
1019.02/1019.05	c iter 1805 time 1016.87 not-muc 72145 unknown 76 muc 1257
1019.02/1019.05	c iter 1806 time 1017.02 not-muc 72145 unknown 75 muc 1258
1019.02/1019.05	c iter 1807 time 1017.16 not-muc 72145 unknown 74 muc 1259
1019.02/1019.05	c iter 1808 time 1017.32 not-muc 72145 unknown 73 muc 1260
1019.02/1019.05	c iter 1809 time 1017.44 not-muc 72145 unknown 72 muc 1261
1019.02/1019.05	c iter 1810 time 1017.48 not-muc 72145 unknown 71 muc 1262
1019.02/1019.05	c iter 1811 time 1017.57 not-muc 72145 unknown 70 muc 1263
1019.02/1019.05	c iter 1812 time 1017.64 not-muc 72145 unknown 69 muc 1264
1038.52/1038.59	c iter 1813 time 1019.86 not-muc 72146 unknown 68 muc 1264
1038.52/1038.59	c iter 1814 time 1019.98 not-muc 72146 unknown 67 muc 1265
1038.52/1038.59	c iter 1815 time 1020.09 not-muc 72146 unknown 66 muc 1266
1038.52/1038.59	c iter 1816 time 1020.13 not-muc 72146 unknown 65 muc 1267
1038.52/1038.59	c iter 1817 time 1020.2 not-muc 72146 unknown 64 muc 1268
1038.52/1038.59	c iter 1818 time 1020.25 not-muc 72146 unknown 63 muc 1269
1038.52/1038.59	c iter 1819 time 1020.36 not-muc 72146 unknown 62 muc 1270
1038.52/1038.59	c iter 1820 time 1020.41 not-muc 72146 unknown 61 muc 1271
1038.52/1038.59	c iter 1821 time 1020.46 not-muc 72146 unknown 60 muc 1272
1038.52/1038.59	c iter 1822 time 1021.59 not-muc 72147 unknown 59 muc 1272
1038.52/1038.59	c iter 1823 time 1021.73 not-muc 72147 unknown 58 muc 1273
1038.52/1038.59	c iter 1824 time 1021.78 not-muc 72147 unknown 57 muc 1274
1038.52/1038.59	c iter 1825 time 1021.81 not-muc 72147 unknown 56 muc 1275
1038.52/1038.59	c iter 1826 time 1021.95 not-muc 72147 unknown 55 muc 1276
1038.52/1038.59	c iter 1827 time 1022 not-muc 72147 unknown 54 muc 1277
1038.52/1038.59	c iter 1828 time 1022.1 not-muc 72147 unknown 53 muc 1278
1038.52/1038.59	c iter 1829 time 1022.83 not-muc 72147 unknown 52 muc 1279
1038.52/1038.59	c iter 1830 time 1022.86 not-muc 72147 unknown 51 muc 1280
1038.52/1038.59	c iter 1831 time 1022.92 not-muc 72147 unknown 50 muc 1281
1038.52/1038.59	c iter 1832 time 1022.95 not-muc 72147 unknown 49 muc 1282
1038.52/1038.59	c iter 1833 time 1023.04 not-muc 72147 unknown 48 muc 1283
1038.52/1038.59	c iter 1834 time 1023.1 not-muc 72147 unknown 47 muc 1284
1038.52/1038.59	c iter 1835 time 1023.14 not-muc 72147 unknown 46 muc 1285
1038.52/1038.59	c iter 1836 time 1023.19 not-muc 72147 unknown 45 muc 1286
1038.52/1038.59	c iter 1837 time 1023.28 not-muc 72147 unknown 44 muc 1287
1038.52/1038.59	c iter 1838 time 1023.31 not-muc 72147 unknown 43 muc 1288
1038.52/1038.59	c iter 1839 time 1023.37 not-muc 72147 unknown 42 muc 1289
1038.52/1038.59	c iter 1840 time 1023.4 not-muc 72147 unknown 41 muc 1290
1038.52/1038.59	c iter 1841 time 1023.44 not-muc 72147 unknown 40 muc 1291
1038.52/1038.59	c iter 1842 time 1023.48 not-muc 72147 unknown 39 muc 1292
1038.52/1038.59	c iter 1843 time 1023.56 not-muc 72147 unknown 38 muc 1293
1038.52/1038.59	c iter 1844 time 1023.61 not-muc 72147 unknown 37 muc 1294
1038.52/1038.59	c iter 1845 time 1023.68 not-muc 72147 unknown 36 muc 1295
1038.52/1038.59	c iter 1846 time 1023.77 not-muc 72147 unknown 35 muc 1296
1038.52/1038.59	c iter 1847 time 1024.82 not-muc 72148 unknown 34 muc 1296
1038.52/1038.59	c iter 1848 time 1027.17 not-muc 72149 unknown 33 muc 1296
1038.52/1038.59	c iter 1849 time 1027.29 not-muc 72149 unknown 32 muc 1297
1038.52/1038.59	c iter 1850 time 1028.42 not-muc 72150 unknown 31 muc 1297
1038.52/1038.59	c iter 1851 time 1030.18 not-muc 72151 unknown 30 muc 1297
1038.52/1038.59	c iter 1852 time 1030.28 not-muc 72151 unknown 29 muc 1298
1038.52/1038.59	c iter 1853 time 1030.36 not-muc 72151 unknown 28 muc 1299
1038.52/1038.59	c iter 1854 time 1030.48 not-muc 72151 unknown 27 muc 1300
1038.52/1038.59	c iter 1855 time 1030.54 not-muc 72151 unknown 26 muc 1301
1038.52/1038.59	c iter 1856 time 1030.64 not-muc 72151 unknown 25 muc 1302
1038.52/1038.59	c iter 1857 time 1030.76 not-muc 72151 unknown 24 muc 1303
1038.52/1038.59	c iter 1858 time 1030.81 not-muc 72151 unknown 23 muc 1304
1038.52/1038.59	c iter 1859 time 1030.96 not-muc 72151 unknown 22 muc 1305
1038.52/1038.59	c iter 1860 time 1031.08 not-muc 72151 unknown 21 muc 1306
1038.52/1038.59	c iter 1861 time 1031.11 not-muc 72151 unknown 20 muc 1307
1038.52/1038.59	c iter 1862 time 1031.2 not-muc 72151 unknown 19 muc 1308
1038.52/1038.59	c iter 1863 time 1031.3 not-muc 72151 unknown 18 muc 1309
1038.52/1038.59	c iter 1864 time 1031.35 not-muc 72151 unknown 17 muc 1310
1038.52/1038.59	c iter 1865 time 1031.4 not-muc 72151 unknown 16 muc 1311
1038.52/1038.59	c iter 1866 time 1031.44 not-muc 72151 unknown 15 muc 1312
1038.52/1038.59	c iter 1867 time 1031.59 not-muc 72151 unknown 14 muc 1313
1038.52/1038.59	c iter 1868 time 1031.64 not-muc 72151 unknown 13 muc 1314
1038.52/1038.59	c iter 1869 time 1031.72 not-muc 72151 unknown 12 muc 1315
1038.52/1038.59	c iter 1870 time 1031.77 not-muc 72151 unknown 11 muc 1316
1038.52/1038.59	c iter 1871 time 1031.88 not-muc 72151 unknown 10 muc 1317
1038.52/1038.59	c iter 1872 time 1032 not-muc 72151 unknown 9 muc 1318
1038.52/1038.59	c iter 1873 time 1034.39 not-muc 72152 unknown 8 muc 1318
1038.52/1038.59	c iter 1874 time 1035.23 not-muc 72152 unknown 7 muc 1319
1038.52/1038.59	c iter 1875 time 1035.28 not-muc 72152 unknown 6 muc 1320
1038.52/1038.59	c iter 1876 time 1035.43 not-muc 72152 unknown 5 muc 1321
1038.52/1038.59	c iter 1877 time 1035.47 not-muc 72152 unknown 4 muc 1322
1038.52/1038.59	c iter 1878 time 1035.55 not-muc 72152 unknown 3 muc 1323
1038.52/1038.59	c iter 1879 time 1036.84 not-muc 72153 unknown 2 muc 1323
1038.52/1038.59	c iter 1880 time 1036.96 not-muc 72153 unknown 1 muc 1324
1038.52/1038.59	c final iter 1881 time 1037.07 not-muc 72153 unknown 0 muc 1325
1038.52/1038.59	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
1038.52/1038.59	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-3494716-1307808663/watcher-3494716-1307808663 -o /tmp/evaluation-result-3494716-1307808663/solver-3494716-1307808663 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494716-1307808663.cnf 

running on 2 cores: 1,3

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: 3.64 3.09 3.26 4/189 22888
/proc/meminfo: memFree=27863068/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=24548 CPUtime=0 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 648 0 0 0 0 0 0 0 25 0 1 0 892468949 25137152 583 33554432000 4194304 4337479 140736137035312 18446744073709551615 216634212544 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 6137 585 219 35 0 2760 0

[startup+0.049326 s]
/proc/loadavg: 3.64 3.09 3.26 4/189 22888
/proc/meminfo: memFree=27863068/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=26668 CPUtime=0.04 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 2314 0 0 0 4 0 0 0 25 0 1 0 892468949 27308032 2080 33554432000 4194304 4337479 140736137035312 18446744073709551615 4222620 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 6667 2080 226 35 0 3290 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 26668

[startup+0.100324 s]
/proc/loadavg: 3.64 3.09 3.26 4/189 22888
/proc/meminfo: memFree=27863068/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=23600 CPUtime=0.09 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 2695 0 0 0 9 0 0 0 25 0 1 0 892468949 24166400 1967 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303345 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 5900 1967 244 35 0 2523 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23600

[startup+0.30029 s]
/proc/loadavg: 3.64 3.09 3.26 4/189 22888
/proc/meminfo: memFree=27863068/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=24892 CPUtime=0.29 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 3001 0 0 0 29 0 0 0 25 0 1 0 892468949 25489408 2271 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303376 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 6223 2272 245 35 0 2846 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24892

[startup+0.700227 s]
/proc/loadavg: 3.64 3.09 3.26 4/189 22888
/proc/meminfo: memFree=27863068/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=26284 CPUtime=0.69 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 3559 0 0 0 69 0 0 0 25 0 1 0 892468949 26914816 2824 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 6571 2824 245 35 0 3194 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26284

[startup+1.50107 s]
/proc/loadavg: 3.64 3.09 3.26 5/190 22889
/proc/meminfo: memFree=27814972/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=33604 CPUtime=1.49 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 5549 0 0 0 149 0 0 0 25 0 1 0 892468949 34410496 4804 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 8401 4804 265 35 0 5024 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33604

[startup+3.1008 s]
/proc/loadavg: 3.64 3.09 3.26 5/190 22889
/proc/meminfo: memFree=27744912/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=34308 CPUtime=3.09 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 6895 0 0 0 309 0 0 0 25 0 1 0 892468949 35131392 5112 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 8577 5112 265 35 0 5200 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34308

[startup+6.30023 s]
/proc/loadavg: 3.67 3.10 3.26 5/190 22889
/proc/meminfo: memFree=27556820/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=55700 CPUtime=6.29 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 12146 0 0 0 628 1 0 0 25 0 1 0 892468949 57036800 10271 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303207 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 13925 10271 265 35 0 10548 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55700

[startup+12.7011 s]
/proc/loadavg: 3.69 3.12 3.27 5/190 22889
/proc/meminfo: memFree=27306684/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=93920 CPUtime=12.69 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 20447 0 0 0 1267 2 0 0 25 0 1 0 892468949 96174080 18305 33554432000 4194304 4337479 140736137035312 18446744073709551615 4278800 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 23480 18305 266 35 0 20103 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93920

[startup+25.5008 s]
/proc/loadavg: 3.76 3.16 3.28 5/190 22889
/proc/meminfo: memFree=26855316/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=164480 CPUtime=25.49 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 37463 0 0 0 2545 4 0 0 25 0 1 0 892468949 168427520 34898 33554432000 4194304 4337479 140736137035312 18446744073709551615 4256810 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 41120 34898 266 35 0 37743 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 164480

[startup+51.1003 s]
/proc/loadavg: 3.84 3.23 3.29 5/190 22890
/proc/meminfo: memFree=26149240/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=296952 CPUtime=51.09 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 70986 0 0 0 5100 9 0 0 25 0 1 0 892468949 304078848 67869 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303662 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 74238 67869 266 35 0 70861 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 296952

[startup+102.306 s]
/proc/loadavg: 3.93 3.34 3.33 5/190 22891
/proc/meminfo: memFree=24922092/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=563936 CPUtime=102.3 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 131661 0 0 0 10212 18 0 0 25 0 1 0 892468949 577470464 128509 33554432000 4194304 4337479 140736137035312 18446744073709551615 4266575 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 140984 128509 266 35 0 137607 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 563936

[startup+162.301 s]
/proc/loadavg: 3.40 3.33 3.33 3/178 22941
/proc/meminfo: memFree=25882132/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=846348 CPUtime=162.29 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 200621 0 0 0 16202 27 0 0 25 0 1 0 892468949 866660352 197469 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303461 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 211587 197469 266 35 0 208210 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 846348

[startup+222.301 s]
/proc/loadavg: 2.51 3.09 3.24 3/178 22943
/proc/meminfo: memFree=24475524/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=1193808 CPUtime=222.3 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 278234 0 0 0 22193 37 0 0 25 0 1 0 892468949 1222459392 275082 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 298452 275082 266 35 0 295075 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1193808

[startup+282.301 s]
/proc/loadavg: 2.19 2.89 3.16 3/178 22944
/proc/meminfo: memFree=23212176/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=1595884 CPUtime=282.29 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 357742 0 0 0 28182 47 0 0 25 0 1 0 892468949 1634185216 354590 33554432000 4194304 4337479 140736137035312 18446744073709551615 4280145 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 398971 354590 266 35 0 395594 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1595884

[startup+342.301 s]
/proc/loadavg: 1.67 2.62 3.05 2/172 22971
/proc/meminfo: memFree=29833920/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=1792988 CPUtime=342.3 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 419700 0 0 0 34172 58 0 0 25 0 1 0 892468949 1836019712 416548 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303461 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 448247 416548 266 35 0 444870 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1792988

[startup+402.3 s]
/proc/loadavg: 1.25 2.33 2.92 2/172 22972
/proc/meminfo: memFree=29499932/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=2253564 CPUtime=402.3 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 504916 0 0 0 40160 70 0 0 25 0 1 0 892468949 2307649536 501764 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 563391 501764 266 35 0 560014 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2253564

[startup+462.301 s]
/proc/loadavg: 1.09 2.08 2.80 2/172 22974
/proc/meminfo: memFree=29271848/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=2425052 CPUtime=462.31 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 563235 0 0 0 46150 81 0 0 25 0 1 0 892468949 2483253248 556866 33554432000 4194304 4337479 140736137035312 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 606263 556866 266 35 0 602886 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 2425052

[startup+522.3 s]
/proc/loadavg: 1.03 1.88 2.68 2/172 22976
/proc/meminfo: memFree=28994268/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=2749188 CPUtime=522.3 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 633371 0 0 0 52140 90 0 0 25 0 1 0 892468949 2815168512 627002 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303517 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 687297 627002 266 35 0 683920 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2749188

[startup+582.301 s]
/proc/loadavg: 1.01 1.72 2.57 2/172 22977
/proc/meminfo: memFree=28689688/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=3171840 CPUtime=582.31 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 714431 0 0 0 58127 104 0 0 25 0 1 0 892468949 3247964160 702707 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303665 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 792960 702707 266 35 0 789583 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 3171840

[startup+642.301 s]
/proc/loadavg: 1.00 1.58 2.47 2/172 22979
/proc/meminfo: memFree=28481940/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=3339524 CPUtime=642.31 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 765432 0 0 0 64119 112 0 0 25 0 1 0 892468949 3419672576 753708 33554432000 4194304 4337479 140736137035312 18446744073709551615 4288832 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 834881 753708 266 35 0 831504 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 3339524

[startup+702.3 s]
/proc/loadavg: 1.00 1.48 2.38 2/172 22980
/proc/meminfo: memFree=28320816/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=3443072 CPUtime=702.3 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 805868 0 0 0 70112 118 0 0 25 0 1 0 892468949 3525705728 794144 33554432000 4194304 4337479 140736137035312 18446744073709551615 4278581 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 860768 794144 266 35 0 857391 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 3443072

[startup+762.306 s]
/proc/loadavg: 1.00 1.39 2.29 2/172 22982
/proc/meminfo: memFree=28094972/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=3726096 CPUtime=762.32 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 869062 0 0 0 76104 128 0 0 25 0 1 0 892468949 3815522304 850294 33554432000 4194304 4337479 140736137035312 18446744073709551615 4304327 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 931524 850294 266 35 0 928147 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 3726096

[startup+822.3 s]
/proc/loadavg: 1.00 1.31 2.21 2/172 22984
/proc/meminfo: memFree=27942784/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=3859720 CPUtime=822.31 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 907161 0 0 0 82098 133 0 0 25 0 1 0 892468949 3952353280 888393 33554432000 4194304 4337479 140736137035312 18446744073709551615 4260530 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 964930 888393 266 35 0 961553 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 3859720

[startup+882.301 s]
/proc/loadavg: 1.00 1.25 2.13 2/172 22985
/proc/meminfo: memFree=27788492/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4118792 CPUtime=882.31 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 953585 0 0 0 88092 139 0 0 25 0 1 0 892468949 4217643008 926742 33554432000 4194304 4337479 140736137035312 18446744073709551615 4288505 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1029698 926742 266 35 0 1026321 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 4118792

[startup+942.301 s]
/proc/loadavg: 1.00 1.20 2.05 2/172 22987
/proc/meminfo: memFree=27710324/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4160144 CPUtime=942.32 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 973241 0 0 0 94090 142 0 0 25 0 1 0 892468949 4259987456 946398 33554432000 4194304 4337479 140736137035312 18446744073709551615 4256208 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1040036 946398 266 35 0 1036659 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 4160144

[startup+1002.3 s]
/proc/loadavg: 1.00 1.16 1.98 2/172 22988
/proc/meminfo: memFree=27678652/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4160144 CPUtime=1002.31 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 981062 0 0 0 100088 143 0 0 25 0 1 0 892468949 4259987456 954219 33554432000 4194304 4337479 140736137035312 18446744073709551615 4289571 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1040036 954219 266 35 0 1036659 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 4160144

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

[startup+1023.9 s]
/proc/loadavg: 1.08 1.17 1.97 2/172 22989
/proc/meminfo: memFree=27669836/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4160144 CPUtime=1023.92 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 984425 0 0 0 102248 144 0 0 25 0 1 0 892468949 4259987456 957582 33554432000 4194304 4337479 140736137035312 18446744073709551615 4255803 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1040036 957582 266 35 0 1036659 0
Current children cumulated CPU time (s) 1023.92
Current children cumulated vsize (KiB) 4160144

[startup+1030.3 s]
/proc/loadavg: 1.07 1.17 1.96 2/172 22989
/proc/meminfo: memFree=27663120/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4160144 CPUtime=1030.31 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 984978 0 0 0 102887 144 0 0 25 0 1 0 892468949 4259987456 958135 33554432000 4194304 4337479 140736137035312 18446744073709551615 4256421 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1040036 958135 266 35 0 1036659 0
Current children cumulated CPU time (s) 1030.31
Current children cumulated vsize (KiB) 4160144

[startup+1033.5 s]
/proc/loadavg: 1.07 1.16 1.96 2/172 22989
/proc/meminfo: memFree=27662252/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4160144 CPUtime=1033.51 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 985125 0 0 0 103207 144 0 0 25 0 1 0 892468949 4259987456 958282 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303349 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1040036 958282 266 35 0 1036659 0
Current children cumulated CPU time (s) 1033.51
Current children cumulated vsize (KiB) 4160144

[startup+1036.7 s]
/proc/loadavg: 1.06 1.16 1.95 2/172 22989
/proc/meminfo: memFree=27661004/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4160144 CPUtime=1036.71 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 985433 0 0 0 103527 144 0 0 25 0 1 0 892468949 4259987456 958590 33554432000 4194304 4337479 140736137035312 18446744073709551615 4259860 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1040036 958590 266 35 0 1036659 0
Current children cumulated CPU time (s) 1036.71
Current children cumulated vsize (KiB) 4160144

[startup+1037.5 s]
/proc/loadavg: 1.06 1.16 1.95 2/172 22989
/proc/meminfo: memFree=27660756/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4160144 CPUtime=1037.51 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 985467 0 0 0 103607 144 0 0 25 0 1 0 892468949 4259987456 958624 33554432000 4194304 4337479 140736137035312 18446744073709551615 4303151 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1040036 958624 266 35 0 1036659 0
Current children cumulated CPU time (s) 1037.51
Current children cumulated vsize (KiB) 4160144

[startup+1038.3 s]
/proc/loadavg: 1.06 1.16 1.95 2/172 22989
/proc/meminfo: memFree=27683564/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4131432 CPUtime=1038.32 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 985517 0 0 0 103688 144 0 0 25 0 1 0 892468949 4230586368 952784 33554432000 4194304 4337479 140736137035312 18446744073709551615 4256409 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1032858 952784 266 35 0 1029481 0
Current children cumulated CPU time (s) 1038.32
Current children cumulated vsize (KiB) 4131432

[startup+1038.5 s]
/proc/loadavg: 1.06 1.16 1.95 2/172 22989
/proc/meminfo: memFree=27683564/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=4048384 CPUtime=1038.52 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202496 985517 0 0 0 103707 145 0 0 25 0 1 0 892468949 4145545216 931170 33554432000 4194304 4337479 140736137035312 18446744073709551615 216634558599 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/22888/statm: 1012096 931170 266 35 0 1008719 0
Current children cumulated CPU time (s) 1038.52
Current children cumulated vsize (KiB) 4048384

[startup+1038.6 s]
/proc/loadavg: 1.06 1.16 1.95 2/172 22989
/proc/meminfo: memFree=27683564/32951124 swapFree=67052812/67111528
[pid=22888] ppid=22886 vsize=0 CPUtime=1038.62 cores=1,3
/proc/22888/stat : 22888 (hmuc) R 22886 22888 20670 0 -1 4202500 985518 0 0 0 103707 155 0 0 25 0 1 0 892468949 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/22888/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1038.62
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1038.67
CPU time (s): 1038.69
CPU user time (s): 1037.07
CPU system time (s): 1.61475
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 4160316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1037.07
system time used= 1.61475
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 985518
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= 7
involuntary context switches= 2179

runsolver used 1.38679 second user time and 3.48047 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-11 18:11:03
IDJOB=3494716
IDBENCH=89620
IDSOLVER=1985
FILE ID=node103/3494716-1307808663
RUNJOBID= node103-1307808540-22220
PBS_JOBID= 13551073
Free space on /tmp= 74068 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
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494716-1307808663/watcher-3494716-1307808663 -o /tmp/evaluation-result-3494716-1307808663/solver-3494716-1307808663 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494716-1307808663.cnf

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

MD5SUM BENCH= d42b5e34cfb164a6f58db1ec2594faf2
RANDOM SEED=159182309

node103.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.858
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.71
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.858
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	: 5332.75
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.858
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.858
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.77
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.858
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.75
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.858
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.858
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.83
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.858
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:     32951124 kB
MemFree:      27863984 kB
Buffers:        302320 kB
Cached:         911744 kB
SwapCached:      22864 kB
Active:        4138796 kB
Inactive:       732156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27863984 kB
SwapTotal:    67111528 kB
SwapFree:     67052812 kB
Dirty:            1996 kB
Writeback:           0 kB
AnonPages:     3655140 kB
Mapped:           9728 kB
Slab:           143584 kB
PageTables:      12608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4184556 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= 74068 MiB
End job on node103 at 2011-06-11 18:28:22