Trace number 3494500

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 671.936 671.929

General information on the benchmark

NameSAT03/industrial/kukula/addm_bench/
am_5_5.shuffled-as.sat03-361.cnf
MD5SUMd545f1b275cb8b044c819f6765152511
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.44378
Satisfiable
(Un)Satisfiability was proved
Number of variables1076
Number of clauses3677
Sum of the clauses size9977
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 21050
Number of clauses of size 32625
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

66.08/66.17	c WARNING: for repeatability, setting FPU to use double precision
66.08/66.17	c iter 1 time 5.10722 not-muc 1533 unknown 2144 muc 0
66.08/66.17	c iter 2 time 13.9349 not-muc 1550 unknown 2127 muc 0
66.08/66.17	c iter 3 time 14.1089 not-muc 1550 unknown 2126 muc 1
66.08/66.17	c iter 4 time 23.9374 not-muc 1559 unknown 2117 muc 1
66.08/66.17	c iter 5 time 24.1783 not-muc 1559 unknown 2116 muc 2
66.08/66.17	c iter 6 time 24.2463 not-muc 1559 unknown 2115 muc 3
66.08/66.17	c iter 7 time 24.3323 not-muc 1559 unknown 2114 muc 4
66.08/66.17	c iter 8 time 24.4003 not-muc 1559 unknown 2113 muc 5
66.08/66.17	c iter 9 time 24.4893 not-muc 1559 unknown 2112 muc 6
66.08/66.17	c iter 10 time 32.5331 not-muc 1568 unknown 2103 muc 6
66.08/66.17	c iter 11 time 32.756 not-muc 1568 unknown 2102 muc 7
66.08/66.17	c iter 12 time 32.797 not-muc 1568 unknown 2101 muc 8
66.08/66.17	c iter 13 time 32.81 not-muc 1568 unknown 2100 muc 9
66.08/66.17	c iter 14 time 32.874 not-muc 1568 unknown 2099 muc 10
66.08/66.17	c iter 15 time 32.908 not-muc 1568 unknown 2098 muc 11
66.08/66.17	c iter 16 time 32.927 not-muc 1568 unknown 2097 muc 12
66.08/66.17	c iter 17 time 32.941 not-muc 1568 unknown 2096 muc 13
66.08/66.17	c iter 18 time 32.953 not-muc 1568 unknown 2095 muc 14
66.08/66.17	c iter 19 time 33.072 not-muc 1568 unknown 2094 muc 15
66.08/66.17	c iter 20 time 40.6698 not-muc 1570 unknown 2092 muc 15
66.08/66.17	c iter 21 time 40.8148 not-muc 1570 unknown 2091 muc 16
66.08/66.17	c iter 22 time 40.9058 not-muc 1570 unknown 2090 muc 17
66.08/66.17	c iter 23 time 40.9868 not-muc 1570 unknown 2089 muc 18
66.08/66.17	c iter 24 time 41.0688 not-muc 1570 unknown 2088 muc 19
66.08/66.17	c iter 25 time 41.1547 not-muc 1570 unknown 2087 muc 20
66.08/66.17	c iter 26 time 41.2227 not-muc 1570 unknown 2086 muc 21
66.08/66.17	c iter 27 time 41.3477 not-muc 1570 unknown 2085 muc 22
66.08/66.17	c iter 28 time 41.4137 not-muc 1570 unknown 2084 muc 23
66.08/66.17	c iter 29 time 41.5107 not-muc 1570 unknown 2083 muc 24
66.08/66.17	c iter 30 time 41.5767 not-muc 1570 unknown 2082 muc 25
66.08/66.17	c iter 31 time 41.6437 not-muc 1570 unknown 2081 muc 26
66.08/66.17	c iter 32 time 41.7217 not-muc 1570 unknown 2080 muc 27
66.08/66.17	c iter 33 time 41.7886 not-muc 1570 unknown 2079 muc 28
66.08/66.17	c iter 34 time 41.8746 not-muc 1570 unknown 2078 muc 29
66.08/66.17	c iter 35 time 41.9436 not-muc 1570 unknown 2077 muc 30
66.08/66.17	c iter 36 time 49.0046 not-muc 1581 unknown 2066 muc 30
66.08/66.17	c iter 37 time 49.2015 not-muc 1581 unknown 2065 muc 31
66.08/66.17	c iter 38 time 49.3065 not-muc 1581 unknown 2064 muc 32
66.08/66.17	c iter 39 time 49.3615 not-muc 1581 unknown 2063 muc 33
66.08/66.17	c iter 40 time 49.4605 not-muc 1581 unknown 2062 muc 34
66.08/66.17	c iter 41 time 49.5275 not-muc 1581 unknown 2061 muc 35
66.08/66.17	c iter 42 time 49.5915 not-muc 1581 unknown 2060 muc 36
66.08/66.17	c iter 43 time 49.6984 not-muc 1581 unknown 2059 muc 37
66.08/66.17	c iter 44 time 49.7664 not-muc 1581 unknown 2058 muc 38
66.08/66.17	c iter 45 time 58.2381 not-muc 1596 unknown 2043 muc 38
66.08/66.17	c iter 46 time 58.7141 not-muc 1596 unknown 2042 muc 39
66.08/66.17	c iter 47 time 63.4594 not-muc 1597 unknown 2041 muc 39
66.08/66.17	c iter 48 time 63.5753 not-muc 1597 unknown 2040 muc 40
66.08/66.17	c iter 49 time 63.8493 not-muc 1597 unknown 2039 muc 41
66.08/66.17	c iter 50 time 63.9573 not-muc 1597 unknown 2038 muc 42
66.08/66.17	c iter 51 time 64.0593 not-muc 1597 unknown 2037 muc 43
66.08/66.17	c iter 52 time 64.0993 not-muc 1597 unknown 2036 muc 44
66.08/66.17	c iter 53 time 64.1452 not-muc 1597 unknown 2035 muc 45
66.08/66.17	c iter 54 time 64.1922 not-muc 1597 unknown 2034 muc 46
66.08/66.17	c iter 55 time 64.2642 not-muc 1597 unknown 2033 muc 47
66.08/66.17	c iter 56 time 64.3232 not-muc 1597 unknown 2032 muc 48
66.08/66.17	c iter 57 time 64.3902 not-muc 1597 unknown 2031 muc 49
66.08/66.17	c iter 58 time 64.5502 not-muc 1597 unknown 2030 muc 50
66.08/66.17	c iter 59 time 64.6012 not-muc 1597 unknown 2029 muc 51
66.08/66.17	c iter 60 time 64.7012 not-muc 1597 unknown 2028 muc 52
66.08/66.17	c iter 61 time 64.8151 not-muc 1597 unknown 2027 muc 53
66.08/66.17	c iter 62 time 64.9001 not-muc 1597 unknown 2026 muc 54
66.08/66.17	c iter 63 time 65.0721 not-muc 1597 unknown 2025 muc 55
66.08/66.17	c iter 64 time 65.1431 not-muc 1597 unknown 2024 muc 56
66.08/66.17	c iter 65 time 65.1951 not-muc 1597 unknown 2023 muc 57
66.08/66.17	c iter 66 time 65.2701 not-muc 1597 unknown 2022 muc 58
66.08/66.17	c iter 67 time 65.3521 not-muc 1597 unknown 2021 muc 59
66.08/66.17	c iter 68 time 65.4231 not-muc 1597 unknown 2020 muc 60
66.08/66.17	c iter 69 time 65.506 not-muc 1597 unknown 2019 muc 61
66.08/66.17	c iter 70 time 65.558 not-muc 1597 unknown 2018 muc 62
66.08/66.17	c iter 71 time 65.595 not-muc 1597 unknown 2017 muc 63
66.08/66.17	c iter 72 time 65.703 not-muc 1597 unknown 2016 muc 64
66.08/66.17	c iter 73 time 65.755 not-muc 1597 unknown 2015 muc 65
92.29/92.33	c iter 74 time 65.805 not-muc 1597 unknown 2014 muc 66
92.29/92.33	c iter 75 time 65.86 not-muc 1597 unknown 2013 muc 67
92.29/92.33	c iter 76 time 74.2497 not-muc 1602 unknown 2008 muc 67
92.29/92.33	c iter 77 time 74.4377 not-muc 1602 unknown 2007 muc 68
92.29/92.33	c iter 78 time 74.4957 not-muc 1602 unknown 2006 muc 69
92.29/92.33	c iter 79 time 74.5517 not-muc 1602 unknown 2005 muc 70
92.29/92.33	c iter 80 time 74.6616 not-muc 1602 unknown 2004 muc 71
92.29/92.33	c iter 81 time 74.7056 not-muc 1602 unknown 2003 muc 72
92.29/92.33	c iter 82 time 74.7736 not-muc 1602 unknown 2002 muc 73
92.29/92.33	c iter 83 time 74.8156 not-muc 1602 unknown 2001 muc 74
92.29/92.33	c iter 84 time 74.9316 not-muc 1602 unknown 2000 muc 75
92.29/92.33	c iter 85 time 74.9876 not-muc 1602 unknown 1999 muc 76
92.29/92.33	c iter 86 time 75.0456 not-muc 1602 unknown 1998 muc 77
92.29/92.33	c iter 87 time 75.1006 not-muc 1602 unknown 1997 muc 78
92.29/92.33	c iter 88 time 75.1716 not-muc 1602 unknown 1996 muc 79
92.29/92.33	c iter 89 time 75.2296 not-muc 1602 unknown 1995 muc 80
92.29/92.33	c iter 90 time 75.2856 not-muc 1602 unknown 1994 muc 81
92.29/92.33	c iter 91 time 75.3415 not-muc 1602 unknown 1993 muc 82
92.29/92.33	c iter 92 time 75.3975 not-muc 1602 unknown 1992 muc 83
92.29/92.33	c iter 93 time 75.4525 not-muc 1602 unknown 1991 muc 84
92.29/92.33	c iter 94 time 75.5185 not-muc 1602 unknown 1990 muc 85
92.29/92.33	c iter 95 time 75.6665 not-muc 1602 unknown 1989 muc 86
92.29/92.33	c iter 96 time 75.7255 not-muc 1602 unknown 1988 muc 87
92.29/92.33	c iter 97 time 75.8045 not-muc 1602 unknown 1987 muc 88
92.29/92.33	c iter 98 time 75.8485 not-muc 1602 unknown 1986 muc 89
92.29/92.33	c iter 99 time 75.9065 not-muc 1602 unknown 1985 muc 90
92.29/92.33	c iter 100 time 76.0424 not-muc 1602 unknown 1984 muc 91
92.29/92.33	c iter 101 time 76.0954 not-muc 1602 unknown 1983 muc 92
92.29/92.33	c iter 102 time 76.1484 not-muc 1602 unknown 1982 muc 93
92.29/92.33	c iter 103 time 76.2384 not-muc 1602 unknown 1981 muc 94
92.29/92.33	c iter 104 time 76.2934 not-muc 1602 unknown 1980 muc 95
92.29/92.33	c iter 105 time 76.3534 not-muc 1602 unknown 1979 muc 96
92.29/92.33	c iter 106 time 76.4064 not-muc 1602 unknown 1978 muc 97
92.29/92.33	c iter 107 time 76.5384 not-muc 1602 unknown 1977 muc 98
92.29/92.33	c iter 108 time 76.5934 not-muc 1602 unknown 1976 muc 99
92.29/92.33	c iter 109 time 76.6453 not-muc 1602 unknown 1975 muc 100
92.29/92.33	c iter 110 time 76.7713 not-muc 1602 unknown 1974 muc 101
92.29/92.33	c iter 111 time 76.8193 not-muc 1602 unknown 1973 muc 102
92.29/92.33	c iter 112 time 76.9093 not-muc 1602 unknown 1972 muc 103
92.29/92.33	c iter 113 time 76.9663 not-muc 1602 unknown 1971 muc 104
92.29/92.33	c iter 114 time 84.0422 not-muc 1604 unknown 1969 muc 104
92.29/92.33	c iter 115 time 84.1892 not-muc 1604 unknown 1968 muc 105
92.29/92.33	c iter 116 time 84.2412 not-muc 1604 unknown 1967 muc 106
92.29/92.33	c iter 117 time 84.3382 not-muc 1604 unknown 1966 muc 107
92.29/92.33	c iter 118 time 84.4012 not-muc 1604 unknown 1965 muc 108
92.29/92.33	c iter 119 time 84.4592 not-muc 1604 unknown 1964 muc 109
92.29/92.33	c iter 120 time 84.5122 not-muc 1604 unknown 1963 muc 110
92.29/92.33	c iter 121 time 84.6251 not-muc 1604 unknown 1962 muc 111
92.29/92.33	c iter 122 time 84.6911 not-muc 1604 unknown 1961 muc 112
92.29/92.33	c iter 123 time 84.7431 not-muc 1604 unknown 1960 muc 113
92.29/92.33	c iter 124 time 84.7961 not-muc 1604 unknown 1959 muc 114
92.29/92.33	c iter 125 time 84.8781 not-muc 1604 unknown 1958 muc 115
92.29/92.33	c iter 126 time 84.9461 not-muc 1604 unknown 1957 muc 116
92.29/92.33	c iter 127 time 85.0181 not-muc 1604 unknown 1956 muc 117
92.29/92.33	c iter 128 time 85.0851 not-muc 1604 unknown 1955 muc 118
92.29/92.33	c iter 129 time 85.1361 not-muc 1604 unknown 1954 muc 119
92.29/92.33	c iter 130 time 85.208 not-muc 1604 unknown 1953 muc 120
92.29/92.33	c iter 131 time 85.29 not-muc 1604 unknown 1952 muc 121
92.29/92.33	c iter 132 time 85.389 not-muc 1604 unknown 1951 muc 122
92.29/92.33	c iter 133 time 85.509 not-muc 1604 unknown 1950 muc 123
92.29/92.33	c iter 134 time 85.604 not-muc 1604 unknown 1949 muc 124
92.29/92.33	c iter 135 time 90.9792 not-muc 1609 unknown 1944 muc 124
92.29/92.33	c iter 136 time 91.1211 not-muc 1609 unknown 1943 muc 125
92.29/92.33	c iter 137 time 91.1941 not-muc 1609 unknown 1942 muc 126
92.29/92.33	c iter 138 time 91.2681 not-muc 1609 unknown 1941 muc 127
92.29/92.33	c iter 139 time 91.3451 not-muc 1609 unknown 1940 muc 128
92.29/92.33	c iter 140 time 91.4191 not-muc 1609 unknown 1939 muc 129
92.29/92.33	c iter 141 time 91.4931 not-muc 1609 unknown 1938 muc 130
92.29/92.33	c iter 142 time 91.6021 not-muc 1609 unknown 1937 muc 131
92.29/92.33	c iter 143 time 91.6781 not-muc 1609 unknown 1936 muc 132
92.29/92.33	c iter 144 time 91.7481 not-muc 1609 unknown 1935 muc 133
92.29/92.33	c iter 145 time 91.818 not-muc 1609 unknown 1934 muc 134
98.59/98.60	c iter 146 time 91.926 not-muc 1609 unknown 1933 muc 135
98.59/98.60	c iter 147 time 92.003 not-muc 1609 unknown 1932 muc 136
98.59/98.60	c iter 148 time 92.073 not-muc 1609 unknown 1931 muc 137
98.59/98.60	c iter 149 time 92.198 not-muc 1609 unknown 1930 muc 138
98.59/98.60	c iter 150 time 92.27 not-muc 1609 unknown 1929 muc 139
98.59/98.60	c iter 151 time 92.334 not-muc 1609 unknown 1928 muc 140
98.59/98.60	c iter 152 time 92.376 not-muc 1609 unknown 1927 muc 141
98.59/98.60	c iter 153 time 92.4319 not-muc 1609 unknown 1926 muc 142
98.59/98.60	c iter 154 time 92.5049 not-muc 1609 unknown 1925 muc 143
98.59/98.60	c iter 155 time 92.5339 not-muc 1609 unknown 1924 muc 144
98.59/98.60	c iter 156 time 92.6069 not-muc 1609 unknown 1923 muc 145
98.59/98.60	c iter 157 time 92.6799 not-muc 1609 unknown 1922 muc 146
98.59/98.60	c iter 158 time 92.7579 not-muc 1609 unknown 1921 muc 147
98.59/98.60	c iter 159 time 92.8319 not-muc 1609 unknown 1920 muc 148
98.59/98.60	c iter 160 time 92.9009 not-muc 1609 unknown 1919 muc 149
98.59/98.60	c iter 161 time 93.0019 not-muc 1609 unknown 1918 muc 150
98.59/98.60	c iter 162 time 93.0759 not-muc 1609 unknown 1917 muc 151
98.59/98.60	c iter 163 time 93.1648 not-muc 1609 unknown 1916 muc 152
98.59/98.60	c iter 164 time 93.2248 not-muc 1609 unknown 1915 muc 153
98.59/98.60	c iter 165 time 93.4198 not-muc 1609 unknown 1914 muc 154
98.59/98.60	c iter 166 time 93.4788 not-muc 1609 unknown 1913 muc 155
98.59/98.60	c iter 167 time 93.6058 not-muc 1609 unknown 1912 muc 156
98.59/98.60	c iter 168 time 93.7367 not-muc 1609 unknown 1911 muc 157
98.59/98.60	c iter 169 time 93.7917 not-muc 1609 unknown 1910 muc 158
98.59/98.60	c iter 170 time 93.8507 not-muc 1609 unknown 1909 muc 159
98.59/98.60	c iter 171 time 93.9207 not-muc 1609 unknown 1908 muc 160
98.59/98.60	c iter 172 time 94.0637 not-muc 1609 unknown 1907 muc 161
98.59/98.60	c iter 173 time 94.1587 not-muc 1609 unknown 1906 muc 162
98.59/98.60	c iter 174 time 94.3507 not-muc 1609 unknown 1905 muc 163
98.59/98.60	c iter 175 time 94.4256 not-muc 1609 unknown 1904 muc 164
98.59/98.60	c iter 176 time 94.4976 not-muc 1609 unknown 1903 muc 165
98.59/98.60	c iter 177 time 94.5706 not-muc 1609 unknown 1902 muc 166
98.59/98.60	c iter 178 time 94.6456 not-muc 1609 unknown 1901 muc 167
98.59/98.60	c iter 179 time 94.7166 not-muc 1609 unknown 1900 muc 168
98.59/98.60	c iter 180 time 94.8146 not-muc 1609 unknown 1899 muc 169
98.59/98.60	c iter 181 time 94.8906 not-muc 1609 unknown 1898 muc 170
98.59/98.60	c iter 182 time 94.9616 not-muc 1609 unknown 1897 muc 171
98.59/98.60	c iter 183 time 95.0236 not-muc 1609 unknown 1896 muc 172
98.59/98.60	c iter 184 time 95.1075 not-muc 1609 unknown 1895 muc 173
98.59/98.60	c iter 185 time 95.2045 not-muc 1609 unknown 1894 muc 174
98.59/98.60	c iter 186 time 95.3125 not-muc 1609 unknown 1893 muc 175
98.59/98.60	c iter 187 time 95.4645 not-muc 1609 unknown 1892 muc 176
98.59/98.60	c iter 188 time 95.5345 not-muc 1609 unknown 1891 muc 177
98.59/98.60	c iter 189 time 95.6205 not-muc 1609 unknown 1890 muc 178
98.59/98.60	c iter 190 time 95.6895 not-muc 1609 unknown 1889 muc 179
98.59/98.60	c iter 191 time 95.8044 not-muc 1609 unknown 1888 muc 180
98.59/98.60	c iter 192 time 95.8724 not-muc 1609 unknown 1887 muc 181
98.59/98.60	c iter 193 time 95.9524 not-muc 1609 unknown 1886 muc 182
98.59/98.60	c iter 194 time 96.0214 not-muc 1609 unknown 1885 muc 183
98.59/98.60	c iter 195 time 96.1064 not-muc 1609 unknown 1884 muc 184
98.59/98.60	c iter 196 time 96.1774 not-muc 1609 unknown 1883 muc 185
98.59/98.60	c iter 197 time 96.2424 not-muc 1609 unknown 1882 muc 186
98.59/98.60	c iter 198 time 96.3114 not-muc 1609 unknown 1881 muc 187
98.59/98.60	c iter 199 time 96.4343 not-muc 1609 unknown 1880 muc 188
98.59/98.60	c iter 200 time 96.5393 not-muc 1609 unknown 1879 muc 189
98.59/98.60	c iter 201 time 96.6173 not-muc 1609 unknown 1878 muc 190
98.59/98.60	c iter 202 time 96.6733 not-muc 1609 unknown 1877 muc 191
98.59/98.60	c iter 203 time 96.7883 not-muc 1609 unknown 1876 muc 192
98.59/98.60	c iter 204 time 96.8623 not-muc 1609 unknown 1875 muc 193
98.59/98.60	c iter 205 time 97.0133 not-muc 1609 unknown 1874 muc 194
98.59/98.60	c iter 206 time 97.2032 not-muc 1609 unknown 1873 muc 195
98.59/98.60	c iter 207 time 97.3072 not-muc 1609 unknown 1872 muc 196
98.59/98.60	c iter 208 time 97.3792 not-muc 1609 unknown 1871 muc 197
98.59/98.60	c iter 209 time 97.4522 not-muc 1609 unknown 1870 muc 198
98.59/98.60	c iter 210 time 97.5052 not-muc 1609 unknown 1869 muc 199
98.59/98.60	c iter 211 time 97.5782 not-muc 1609 unknown 1868 muc 200
98.59/98.60	c iter 212 time 97.6702 not-muc 1609 unknown 1867 muc 201
98.59/98.60	c iter 213 time 97.7691 not-muc 1609 unknown 1866 muc 202
98.59/98.60	c iter 214 time 97.8441 not-muc 1609 unknown 1865 muc 203
98.59/98.60	c iter 215 time 98.0221 not-muc 1609 unknown 1864 muc 204
98.59/98.60	c iter 216 time 98.0841 not-muc 1609 unknown 1863 muc 205
155.99/156.01	c iter 217 time 98.1461 not-muc 1609 unknown 1862 muc 206
155.99/156.01	c iter 218 time 98.2931 not-muc 1609 unknown 1861 muc 207
155.99/156.01	c iter 219 time 104.629 not-muc 1612 unknown 1858 muc 207
155.99/156.01	c iter 220 time 104.776 not-muc 1612 unknown 1857 muc 208
155.99/156.01	c iter 221 time 104.836 not-muc 1612 unknown 1856 muc 209
155.99/156.01	c iter 222 time 104.9 not-muc 1612 unknown 1855 muc 210
155.99/156.01	c iter 223 time 104.968 not-muc 1612 unknown 1854 muc 211
155.99/156.01	c iter 224 time 105.042 not-muc 1612 unknown 1853 muc 212
155.99/156.01	c iter 225 time 105.161 not-muc 1612 unknown 1852 muc 213
155.99/156.01	c iter 226 time 105.229 not-muc 1612 unknown 1851 muc 214
155.99/156.01	c iter 227 time 105.299 not-muc 1612 unknown 1850 muc 215
155.99/156.01	c iter 228 time 105.378 not-muc 1612 unknown 1849 muc 216
155.99/156.01	c iter 229 time 105.429 not-muc 1612 unknown 1848 muc 217
155.99/156.01	c iter 230 time 105.61 not-muc 1612 unknown 1847 muc 218
155.99/156.01	c iter 231 time 105.666 not-muc 1612 unknown 1846 muc 219
155.99/156.01	c iter 232 time 105.757 not-muc 1612 unknown 1845 muc 220
155.99/156.01	c iter 233 time 112.303 not-muc 1613 unknown 1844 muc 220
155.99/156.01	c iter 234 time 126.292 not-muc 1615 unknown 1842 muc 220
155.99/156.01	c iter 235 time 126.416 not-muc 1615 unknown 1841 muc 221
155.99/156.01	c iter 236 time 126.472 not-muc 1615 unknown 1840 muc 222
155.99/156.01	c iter 237 time 131.623 not-muc 1616 unknown 1839 muc 222
155.99/156.01	c iter 238 time 131.759 not-muc 1616 unknown 1838 muc 223
155.99/156.01	c iter 239 time 131.838 not-muc 1616 unknown 1837 muc 224
155.99/156.01	c iter 240 time 131.917 not-muc 1616 unknown 1836 muc 225
155.99/156.01	c iter 241 time 132.003 not-muc 1616 unknown 1835 muc 226
155.99/156.01	c iter 242 time 132.085 not-muc 1616 unknown 1834 muc 227
155.99/156.01	c iter 243 time 132.197 not-muc 1616 unknown 1833 muc 228
155.99/156.01	c iter 244 time 132.278 not-muc 1616 unknown 1832 muc 229
155.99/156.01	c iter 245 time 132.443 not-muc 1616 unknown 1831 muc 230
155.99/156.01	c iter 246 time 132.568 not-muc 1616 unknown 1830 muc 231
155.99/156.01	c iter 247 time 132.723 not-muc 1616 unknown 1829 muc 232
155.99/156.01	c iter 248 time 139.846 not-muc 1619 unknown 1826 muc 232
155.99/156.01	c iter 249 time 140.099 not-muc 1619 unknown 1825 muc 233
155.99/156.01	c iter 250 time 140.149 not-muc 1619 unknown 1824 muc 234
155.99/156.01	c iter 251 time 140.293 not-muc 1619 unknown 1823 muc 235
155.99/156.01	c iter 252 time 140.331 not-muc 1619 unknown 1822 muc 236
155.99/156.01	c iter 253 time 147.575 not-muc 1622 unknown 1819 muc 236
155.99/156.01	c iter 254 time 147.723 not-muc 1622 unknown 1818 muc 237
155.99/156.01	c iter 255 time 147.801 not-muc 1622 unknown 1817 muc 238
155.99/156.01	c iter 256 time 147.869 not-muc 1622 unknown 1816 muc 239
155.99/156.01	c iter 257 time 147.927 not-muc 1622 unknown 1815 muc 240
155.99/156.01	c iter 258 time 147.983 not-muc 1622 unknown 1814 muc 241
155.99/156.01	c iter 259 time 148.088 not-muc 1622 unknown 1813 muc 242
155.99/156.01	c iter 260 time 148.198 not-muc 1622 unknown 1812 muc 243
155.99/156.01	c iter 261 time 148.252 not-muc 1622 unknown 1811 muc 244
155.99/156.01	c iter 262 time 148.305 not-muc 1622 unknown 1810 muc 245
155.99/156.01	c iter 263 time 148.35 not-muc 1622 unknown 1809 muc 246
155.99/156.01	c iter 264 time 148.403 not-muc 1622 unknown 1808 muc 247
155.99/156.01	c iter 265 time 148.447 not-muc 1622 unknown 1807 muc 248
155.99/156.01	c iter 266 time 148.517 not-muc 1622 unknown 1806 muc 249
155.99/156.01	c iter 267 time 148.621 not-muc 1622 unknown 1805 muc 250
155.99/156.01	c iter 268 time 148.675 not-muc 1622 unknown 1804 muc 251
155.99/156.01	c iter 269 time 148.761 not-muc 1622 unknown 1803 muc 252
155.99/156.01	c iter 270 time 148.801 not-muc 1622 unknown 1802 muc 253
155.99/156.01	c iter 271 time 148.843 not-muc 1622 unknown 1801 muc 254
155.99/156.01	c iter 272 time 148.919 not-muc 1622 unknown 1800 muc 255
155.99/156.01	c iter 273 time 149.108 not-muc 1622 unknown 1799 muc 256
155.99/156.01	c iter 274 time 149.287 not-muc 1622 unknown 1798 muc 257
155.99/156.01	c iter 275 time 149.343 not-muc 1622 unknown 1797 muc 258
155.99/156.01	c iter 276 time 154.337 not-muc 1625 unknown 1794 muc 258
155.99/156.01	c iter 277 time 154.534 not-muc 1625 unknown 1793 muc 259
155.99/156.01	c iter 278 time 154.591 not-muc 1625 unknown 1792 muc 260
155.99/156.01	c iter 279 time 154.663 not-muc 1625 unknown 1791 muc 261
155.99/156.01	c iter 280 time 154.75 not-muc 1625 unknown 1790 muc 262
155.99/156.01	c iter 281 time 154.788 not-muc 1625 unknown 1789 muc 263
155.99/156.01	c iter 282 time 154.924 not-muc 1625 unknown 1788 muc 264
155.99/156.01	c iter 283 time 155.003 not-muc 1625 unknown 1787 muc 265
155.99/156.01	c iter 284 time 155.206 not-muc 1625 unknown 1786 muc 266
155.99/156.01	c iter 285 time 155.272 not-muc 1625 unknown 1785 muc 267
155.99/156.01	c iter 286 time 155.341 not-muc 1625 unknown 1784 muc 268
178.89/178.92	c iter 287 time 155.511 not-muc 1625 unknown 1783 muc 269
178.89/178.92	c iter 288 time 155.725 not-muc 1625 unknown 1782 muc 270
178.89/178.92	c iter 289 time 155.764 not-muc 1625 unknown 1781 muc 271
178.89/178.92	c iter 290 time 155.806 not-muc 1625 unknown 1780 muc 272
178.89/178.92	c iter 291 time 156.022 not-muc 1625 unknown 1779 muc 273
178.89/178.92	c iter 292 time 156.094 not-muc 1625 unknown 1778 muc 274
178.89/178.92	c iter 293 time 156.21 not-muc 1625 unknown 1777 muc 275
178.89/178.92	c iter 294 time 156.412 not-muc 1625 unknown 1776 muc 276
178.89/178.92	c iter 295 time 156.484 not-muc 1625 unknown 1775 muc 277
178.89/178.92	c iter 296 time 156.609 not-muc 1625 unknown 1774 muc 278
178.89/178.92	c iter 297 time 156.737 not-muc 1625 unknown 1773 muc 279
178.89/178.92	c iter 298 time 156.855 not-muc 1625 unknown 1772 muc 280
178.89/178.92	c iter 299 time 156.928 not-muc 1625 unknown 1771 muc 281
178.89/178.92	c iter 300 time 157.004 not-muc 1625 unknown 1770 muc 282
178.89/178.92	c iter 301 time 160.569 not-muc 1633 unknown 1762 muc 282
178.89/178.92	c iter 302 time 160.776 not-muc 1633 unknown 1761 muc 283
178.89/178.92	c iter 303 time 160.795 not-muc 1633 unknown 1760 muc 284
178.89/178.92	c iter 304 time 160.822 not-muc 1633 unknown 1759 muc 285
178.89/178.92	c iter 305 time 160.868 not-muc 1633 unknown 1758 muc 286
178.89/178.92	c iter 306 time 161.026 not-muc 1633 unknown 1757 muc 287
178.89/178.92	c iter 307 time 161.146 not-muc 1633 unknown 1756 muc 288
178.89/178.92	c iter 308 time 161.19 not-muc 1633 unknown 1755 muc 289
178.89/178.92	c iter 309 time 161.325 not-muc 1633 unknown 1754 muc 290
178.89/178.92	c iter 310 time 161.505 not-muc 1633 unknown 1753 muc 291
178.89/178.92	c iter 311 time 161.575 not-muc 1633 unknown 1752 muc 292
178.89/178.92	c iter 312 time 161.593 not-muc 1633 unknown 1751 muc 293
178.89/178.92	c iter 313 time 161.676 not-muc 1633 unknown 1750 muc 294
178.89/178.92	c iter 314 time 161.695 not-muc 1633 unknown 1749 muc 295
178.89/178.92	c iter 315 time 161.764 not-muc 1633 unknown 1748 muc 296
178.89/178.92	c iter 316 time 161.806 not-muc 1633 unknown 1747 muc 297
178.89/178.92	c iter 317 time 161.855 not-muc 1633 unknown 1746 muc 298
178.89/178.92	c iter 318 time 161.898 not-muc 1633 unknown 1745 muc 299
178.89/178.92	c iter 319 time 164.381 not-muc 1634 unknown 1744 muc 299
178.89/178.92	c iter 320 time 164.486 not-muc 1634 unknown 1743 muc 300
178.89/178.92	c iter 321 time 164.695 not-muc 1634 unknown 1742 muc 301
178.89/178.92	c iter 322 time 167.769 not-muc 1635 unknown 1741 muc 301
178.89/178.92	c iter 323 time 167.864 not-muc 1635 unknown 1740 muc 302
178.89/178.92	c iter 324 time 167.925 not-muc 1635 unknown 1739 muc 303
178.89/178.92	c iter 325 time 168.118 not-muc 1635 unknown 1738 muc 304
178.89/178.92	c iter 326 time 168.175 not-muc 1635 unknown 1737 muc 305
178.89/178.92	c iter 327 time 168.333 not-muc 1635 unknown 1736 muc 306
178.89/178.92	c iter 328 time 168.473 not-muc 1635 unknown 1735 muc 307
178.89/178.92	c iter 329 time 168.519 not-muc 1635 unknown 1734 muc 308
178.89/178.92	c iter 330 time 168.557 not-muc 1635 unknown 1733 muc 309
178.89/178.92	c iter 331 time 168.607 not-muc 1635 unknown 1732 muc 310
178.89/178.92	c iter 332 time 168.653 not-muc 1635 unknown 1731 muc 311
178.89/178.92	c iter 333 time 168.708 not-muc 1635 unknown 1730 muc 312
178.89/178.92	c iter 334 time 168.876 not-muc 1635 unknown 1729 muc 313
178.89/178.92	c iter 335 time 168.954 not-muc 1635 unknown 1728 muc 314
178.89/178.92	c iter 336 time 169.003 not-muc 1635 unknown 1727 muc 315
178.89/178.92	c iter 337 time 169.297 not-muc 1635 unknown 1726 muc 316
178.89/178.92	c iter 338 time 169.352 not-muc 1635 unknown 1725 muc 317
178.89/178.92	c iter 339 time 169.386 not-muc 1635 unknown 1724 muc 318
178.89/178.92	c iter 340 time 170.44 not-muc 1636 unknown 1723 muc 318
178.89/178.92	c iter 341 time 170.561 not-muc 1636 unknown 1722 muc 319
178.89/178.92	c iter 342 time 170.6 not-muc 1636 unknown 1721 muc 320
178.89/178.92	c iter 343 time 170.726 not-muc 1636 unknown 1720 muc 321
178.89/178.92	c iter 344 time 170.776 not-muc 1636 unknown 1719 muc 322
178.89/178.92	c iter 345 time 170.818 not-muc 1636 unknown 1718 muc 323
178.89/178.92	c iter 346 time 170.86 not-muc 1636 unknown 1717 muc 324
178.89/178.92	c iter 347 time 170.959 not-muc 1636 unknown 1716 muc 325
178.89/178.92	c iter 348 time 170.997 not-muc 1636 unknown 1715 muc 326
178.89/178.92	c iter 349 time 174.623 not-muc 1640 unknown 1711 muc 326
178.89/178.92	c iter 350 time 177.425 not-muc 1641 unknown 1710 muc 326
178.89/178.92	c iter 351 time 177.593 not-muc 1641 unknown 1709 muc 327
178.89/178.92	c iter 352 time 177.768 not-muc 1641 unknown 1708 muc 328
178.89/178.92	c iter 353 time 178 not-muc 1641 unknown 1707 muc 329
178.89/178.92	c iter 354 time 178.05 not-muc 1641 unknown 1706 muc 330
178.89/178.92	c iter 355 time 178.086 not-muc 1641 unknown 1705 muc 331
178.89/178.92	c iter 356 time 178.133 not-muc 1641 unknown 1704 muc 332
178.89/178.92	c iter 357 time 178.166 not-muc 1641 unknown 1703 muc 333
193.50/193.57	c iter 358 time 178.216 not-muc 1641 unknown 1702 muc 334
193.50/193.57	c iter 359 time 178.279 not-muc 1641 unknown 1701 muc 335
193.50/193.57	c iter 360 time 178.338 not-muc 1641 unknown 1700 muc 336
193.50/193.57	c iter 361 time 178.428 not-muc 1641 unknown 1699 muc 337
193.50/193.57	c iter 362 time 178.464 not-muc 1641 unknown 1698 muc 338
193.50/193.57	c iter 363 time 182.355 not-muc 1645 unknown 1694 muc 338
193.50/193.57	c iter 364 time 182.473 not-muc 1645 unknown 1693 muc 339
193.50/193.57	c iter 365 time 182.514 not-muc 1645 unknown 1692 muc 340
193.50/193.57	c iter 366 time 182.599 not-muc 1645 unknown 1691 muc 341
193.50/193.57	c iter 367 time 182.701 not-muc 1645 unknown 1690 muc 342
193.50/193.57	c iter 368 time 182.746 not-muc 1645 unknown 1689 muc 343
193.50/193.57	c iter 369 time 182.833 not-muc 1645 unknown 1688 muc 344
193.50/193.57	c iter 370 time 182.874 not-muc 1645 unknown 1687 muc 345
193.50/193.57	c iter 371 time 182.919 not-muc 1645 unknown 1686 muc 346
193.50/193.57	c iter 372 time 182.98 not-muc 1645 unknown 1685 muc 347
193.50/193.57	c iter 373 time 183.191 not-muc 1645 unknown 1684 muc 348
193.50/193.57	c iter 374 time 183.237 not-muc 1645 unknown 1683 muc 349
193.50/193.57	c iter 375 time 187.81 not-muc 1658 unknown 1670 muc 349
193.50/193.57	c iter 376 time 187.915 not-muc 1658 unknown 1669 muc 350
193.50/193.57	c iter 377 time 187.957 not-muc 1658 unknown 1668 muc 351
193.50/193.57	c iter 378 time 187.997 not-muc 1658 unknown 1667 muc 352
193.50/193.57	c iter 379 time 188.123 not-muc 1658 unknown 1666 muc 353
193.50/193.57	c iter 380 time 188.171 not-muc 1658 unknown 1665 muc 354
193.50/193.57	c iter 381 time 188.243 not-muc 1658 unknown 1664 muc 355
193.50/193.57	c iter 382 time 188.294 not-muc 1658 unknown 1663 muc 356
193.50/193.57	c iter 383 time 188.386 not-muc 1658 unknown 1662 muc 357
193.50/193.57	c iter 384 time 188.513 not-muc 1658 unknown 1661 muc 358
193.50/193.57	c iter 385 time 188.57 not-muc 1658 unknown 1660 muc 359
193.50/193.57	c iter 386 time 188.629 not-muc 1658 unknown 1659 muc 360
193.50/193.57	c iter 387 time 188.665 not-muc 1658 unknown 1658 muc 361
193.50/193.57	c iter 388 time 188.716 not-muc 1658 unknown 1657 muc 362
193.50/193.57	c iter 389 time 188.768 not-muc 1658 unknown 1656 muc 363
193.50/193.57	c iter 390 time 188.957 not-muc 1658 unknown 1655 muc 364
193.50/193.57	c iter 391 time 189.048 not-muc 1658 unknown 1654 muc 365
193.50/193.57	c iter 392 time 189.101 not-muc 1658 unknown 1653 muc 366
193.50/193.57	c iter 393 time 189.158 not-muc 1658 unknown 1652 muc 367
193.50/193.57	c iter 394 time 189.315 not-muc 1658 unknown 1651 muc 368
193.50/193.57	c iter 395 time 189.437 not-muc 1658 unknown 1650 muc 369
193.50/193.57	c iter 396 time 189.51 not-muc 1658 unknown 1649 muc 370
193.50/193.57	c iter 397 time 189.564 not-muc 1658 unknown 1648 muc 371
193.50/193.57	c iter 398 time 189.611 not-muc 1658 unknown 1647 muc 372
193.50/193.57	c iter 399 time 189.664 not-muc 1658 unknown 1646 muc 373
193.50/193.57	c iter 400 time 189.695 not-muc 1658 unknown 1645 muc 374
193.50/193.57	c iter 401 time 189.743 not-muc 1658 unknown 1644 muc 375
193.50/193.57	c iter 402 time 189.795 not-muc 1658 unknown 1643 muc 376
193.50/193.57	c iter 403 time 189.846 not-muc 1658 unknown 1642 muc 377
193.50/193.57	c iter 404 time 189.98 not-muc 1658 unknown 1641 muc 378
193.50/193.57	c iter 405 time 190.021 not-muc 1658 unknown 1640 muc 379
193.50/193.57	c iter 406 time 190.091 not-muc 1658 unknown 1639 muc 380
193.50/193.57	c iter 407 time 190.136 not-muc 1658 unknown 1638 muc 381
193.50/193.57	c iter 408 time 190.17 not-muc 1658 unknown 1637 muc 382
193.50/193.57	c iter 409 time 190.3 not-muc 1658 unknown 1636 muc 383
193.50/193.57	c iter 410 time 190.39 not-muc 1658 unknown 1635 muc 384
193.50/193.57	c iter 411 time 190.478 not-muc 1658 unknown 1634 muc 385
193.50/193.57	c iter 412 time 190.53 not-muc 1658 unknown 1633 muc 386
193.50/193.57	c iter 413 time 190.584 not-muc 1658 unknown 1632 muc 387
193.50/193.57	c iter 414 time 190.638 not-muc 1658 unknown 1631 muc 388
193.50/193.57	c iter 415 time 190.798 not-muc 1658 unknown 1630 muc 389
193.50/193.57	c iter 416 time 190.918 not-muc 1658 unknown 1629 muc 390
193.50/193.57	c iter 417 time 190.962 not-muc 1658 unknown 1628 muc 391
193.50/193.57	c iter 418 time 191.045 not-muc 1658 unknown 1627 muc 392
193.50/193.57	c iter 419 time 191.15 not-muc 1658 unknown 1626 muc 393
193.50/193.57	c iter 420 time 191.203 not-muc 1658 unknown 1625 muc 394
193.50/193.57	c iter 421 time 192.093 not-muc 1658 unknown 1624 muc 395
193.50/193.57	c iter 422 time 192.216 not-muc 1658 unknown 1623 muc 396
193.50/193.57	c iter 423 time 192.246 not-muc 1658 unknown 1622 muc 397
193.50/193.57	c iter 424 time 192.304 not-muc 1658 unknown 1621 muc 398
193.50/193.57	c iter 425 time 192.358 not-muc 1658 unknown 1620 muc 399
193.50/193.57	c iter 426 time 192.541 not-muc 1658 unknown 1619 muc 400
193.50/193.57	c iter 427 time 192.619 not-muc 1658 unknown 1618 muc 401
193.50/193.57	c iter 428 time 192.742 not-muc 1658 unknown 1617 muc 402
203.79/203.83	c iter 429 time 192.77 not-muc 1658 unknown 1616 muc 403
203.79/203.83	c iter 430 time 192.906 not-muc 1658 unknown 1615 muc 404
203.79/203.83	c iter 431 time 192.971 not-muc 1658 unknown 1614 muc 405
203.79/203.83	c iter 432 time 193.052 not-muc 1658 unknown 1613 muc 406
203.79/203.83	c iter 433 time 193.208 not-muc 1658 unknown 1612 muc 407
203.79/203.83	c iter 434 time 193.283 not-muc 1658 unknown 1611 muc 408
203.79/203.83	c iter 435 time 193.334 not-muc 1658 unknown 1610 muc 409
203.79/203.83	c iter 436 time 193.518 not-muc 1658 unknown 1609 muc 410
203.79/203.83	c iter 437 time 193.718 not-muc 1658 unknown 1608 muc 411
203.79/203.83	c iter 438 time 197.546 not-muc 1659 unknown 1607 muc 411
203.79/203.83	c iter 439 time 197.67 not-muc 1659 unknown 1606 muc 412
203.79/203.83	c iter 440 time 197.719 not-muc 1659 unknown 1605 muc 413
203.79/203.83	c iter 441 time 197.846 not-muc 1659 unknown 1604 muc 414
203.79/203.83	c iter 442 time 197.889 not-muc 1659 unknown 1603 muc 415
203.79/203.83	c iter 443 time 197.934 not-muc 1659 unknown 1602 muc 416
203.79/203.83	c iter 444 time 197.982 not-muc 1659 unknown 1601 muc 417
203.79/203.83	c iter 445 time 198.028 not-muc 1659 unknown 1600 muc 418
203.79/203.83	c iter 446 time 198.086 not-muc 1659 unknown 1599 muc 419
203.79/203.83	c iter 447 time 198.145 not-muc 1659 unknown 1598 muc 420
203.79/203.83	c iter 448 time 198.197 not-muc 1659 unknown 1597 muc 421
203.79/203.83	c iter 449 time 198.289 not-muc 1659 unknown 1596 muc 422
203.79/203.83	c iter 450 time 198.35 not-muc 1659 unknown 1595 muc 423
203.79/203.83	c iter 451 time 198.43 not-muc 1659 unknown 1594 muc 424
203.79/203.83	c iter 452 time 198.474 not-muc 1659 unknown 1593 muc 425
203.79/203.83	c iter 453 time 198.52 not-muc 1659 unknown 1592 muc 426
203.79/203.83	c iter 454 time 198.582 not-muc 1659 unknown 1591 muc 427
203.79/203.83	c iter 455 time 198.833 not-muc 1659 unknown 1590 muc 428
203.79/203.83	c iter 456 time 198.886 not-muc 1659 unknown 1589 muc 429
203.79/203.83	c iter 457 time 199.11 not-muc 1659 unknown 1588 muc 430
203.79/203.83	c iter 458 time 199.186 not-muc 1659 unknown 1587 muc 431
203.79/203.83	c iter 459 time 199.374 not-muc 1659 unknown 1586 muc 432
203.79/203.83	c iter 460 time 199.578 not-muc 1659 unknown 1585 muc 433
203.79/203.83	c iter 461 time 199.669 not-muc 1659 unknown 1584 muc 434
203.79/203.83	c iter 462 time 199.912 not-muc 1659 unknown 1583 muc 435
203.79/203.83	c iter 463 time 199.959 not-muc 1659 unknown 1582 muc 436
203.79/203.83	c iter 464 time 200.003 not-muc 1659 unknown 1581 muc 437
203.79/203.83	c iter 465 time 200.048 not-muc 1659 unknown 1580 muc 438
203.79/203.83	c iter 466 time 200.128 not-muc 1659 unknown 1579 muc 439
203.79/203.83	c iter 467 time 200.155 not-muc 1659 unknown 1578 muc 440
203.79/203.83	c iter 468 time 200.2 not-muc 1659 unknown 1577 muc 441
203.79/203.83	c iter 469 time 200.244 not-muc 1659 unknown 1576 muc 442
203.79/203.83	c iter 470 time 200.288 not-muc 1659 unknown 1575 muc 443
203.79/203.83	c iter 471 time 200.304 not-muc 1659 unknown 1574 muc 444
203.79/203.83	c iter 472 time 200.625 not-muc 1659 unknown 1573 muc 445
203.79/203.83	c iter 473 time 200.786 not-muc 1659 unknown 1572 muc 446
203.79/203.83	c iter 474 time 200.877 not-muc 1659 unknown 1571 muc 447
203.79/203.83	c iter 475 time 201.017 not-muc 1659 unknown 1570 muc 448
203.79/203.83	c iter 476 time 201.061 not-muc 1659 unknown 1569 muc 449
203.79/203.83	c iter 477 time 201.119 not-muc 1659 unknown 1568 muc 450
203.79/203.83	c iter 478 time 201.163 not-muc 1659 unknown 1567 muc 451
203.79/203.83	c iter 479 time 201.342 not-muc 1659 unknown 1566 muc 452
203.79/203.83	c iter 480 time 201.386 not-muc 1659 unknown 1565 muc 453
203.79/203.83	c iter 481 time 201.424 not-muc 1659 unknown 1564 muc 454
203.79/203.83	c iter 482 time 201.47 not-muc 1659 unknown 1563 muc 455
203.79/203.83	c iter 483 time 201.504 not-muc 1659 unknown 1562 muc 456
203.79/203.83	c iter 484 time 201.628 not-muc 1659 unknown 1561 muc 457
203.79/203.83	c iter 485 time 201.673 not-muc 1659 unknown 1560 muc 458
203.79/203.83	c iter 486 time 201.714 not-muc 1659 unknown 1559 muc 459
203.79/203.83	c iter 487 time 201.776 not-muc 1659 unknown 1558 muc 460
203.79/203.83	c iter 488 time 201.852 not-muc 1659 unknown 1557 muc 461
203.79/203.83	c iter 489 time 201.916 not-muc 1659 unknown 1556 muc 462
203.79/203.83	c iter 490 time 202.048 not-muc 1659 unknown 1555 muc 463
203.79/203.83	c iter 491 time 202.228 not-muc 1659 unknown 1554 muc 464
203.79/203.83	c iter 492 time 202.275 not-muc 1659 unknown 1553 muc 465
203.79/203.83	c iter 493 time 202.447 not-muc 1659 unknown 1552 muc 466
203.79/203.83	c iter 494 time 202.537 not-muc 1659 unknown 1551 muc 467
203.79/203.83	c iter 495 time 202.583 not-muc 1659 unknown 1550 muc 468
203.79/203.83	c iter 496 time 202.781 not-muc 1659 unknown 1549 muc 469
203.79/203.83	c iter 497 time 202.826 not-muc 1659 unknown 1548 muc 470
203.79/203.83	c iter 498 time 202.881 not-muc 1659 unknown 1547 muc 471
203.79/203.83	c iter 499 time 202.983 not-muc 1659 unknown 1546 muc 472
209.19/209.29	c iter 500 time 203.014 not-muc 1659 unknown 1545 muc 473
209.19/209.29	c iter 501 time 203.05 not-muc 1659 unknown 1544 muc 474
209.19/209.29	c iter 502 time 203.108 not-muc 1659 unknown 1543 muc 475
209.19/209.29	c iter 503 time 203.172 not-muc 1659 unknown 1542 muc 476
209.19/209.29	c iter 504 time 203.197 not-muc 1659 unknown 1541 muc 477
209.19/209.29	c iter 505 time 203.277 not-muc 1659 unknown 1540 muc 478
209.19/209.29	c iter 506 time 203.464 not-muc 1659 unknown 1539 muc 479
209.19/209.29	c iter 507 time 203.594 not-muc 1659 unknown 1538 muc 480
209.19/209.29	c iter 508 time 203.695 not-muc 1659 unknown 1537 muc 481
209.19/209.29	c iter 509 time 203.778 not-muc 1659 unknown 1536 muc 482
209.19/209.29	c iter 510 time 203.839 not-muc 1659 unknown 1535 muc 483
209.19/209.29	c iter 511 time 203.93 not-muc 1659 unknown 1534 muc 484
209.19/209.29	c iter 512 time 203.973 not-muc 1659 unknown 1533 muc 485
209.19/209.29	c iter 513 time 204.064 not-muc 1659 unknown 1532 muc 486
209.19/209.29	c iter 514 time 204.228 not-muc 1659 unknown 1531 muc 487
209.19/209.29	c iter 515 time 204.258 not-muc 1659 unknown 1530 muc 488
209.19/209.29	c iter 516 time 204.305 not-muc 1659 unknown 1529 muc 489
209.19/209.29	c iter 517 time 204.353 not-muc 1659 unknown 1528 muc 490
209.19/209.29	c iter 518 time 204.415 not-muc 1659 unknown 1527 muc 491
209.19/209.29	c iter 519 time 204.464 not-muc 1659 unknown 1526 muc 492
209.19/209.29	c iter 520 time 204.659 not-muc 1659 unknown 1525 muc 493
209.19/209.29	c iter 521 time 204.678 not-muc 1659 unknown 1524 muc 494
209.19/209.29	c iter 522 time 204.752 not-muc 1659 unknown 1523 muc 495
209.19/209.29	c iter 523 time 204.826 not-muc 1659 unknown 1522 muc 496
209.19/209.29	c iter 524 time 204.958 not-muc 1659 unknown 1521 muc 497
209.19/209.29	c iter 525 time 205.103 not-muc 1659 unknown 1520 muc 498
209.19/209.29	c iter 526 time 205.163 not-muc 1659 unknown 1519 muc 499
209.19/209.29	c iter 527 time 205.211 not-muc 1659 unknown 1518 muc 500
209.19/209.29	c iter 528 time 205.25 not-muc 1659 unknown 1517 muc 501
209.19/209.29	c iter 529 time 205.405 not-muc 1659 unknown 1516 muc 502
209.19/209.29	c iter 530 time 205.466 not-muc 1659 unknown 1515 muc 503
209.19/209.29	c iter 531 time 205.575 not-muc 1659 unknown 1514 muc 504
209.19/209.29	c iter 532 time 205.627 not-muc 1659 unknown 1513 muc 505
209.19/209.29	c iter 533 time 205.741 not-muc 1659 unknown 1512 muc 506
209.19/209.29	c iter 534 time 205.79 not-muc 1659 unknown 1511 muc 507
209.19/209.29	c iter 535 time 205.834 not-muc 1659 unknown 1510 muc 508
209.19/209.29	c iter 536 time 205.88 not-muc 1659 unknown 1509 muc 509
209.19/209.29	c iter 537 time 205.931 not-muc 1659 unknown 1508 muc 510
209.19/209.29	c iter 538 time 205.98 not-muc 1659 unknown 1507 muc 511
209.19/209.29	c iter 539 time 206.026 not-muc 1659 unknown 1506 muc 512
209.19/209.29	c iter 540 time 206.097 not-muc 1659 unknown 1505 muc 513
209.19/209.29	c iter 541 time 206.118 not-muc 1659 unknown 1504 muc 514
209.19/209.29	c iter 542 time 206.372 not-muc 1659 unknown 1503 muc 515
209.19/209.29	c iter 543 time 206.477 not-muc 1659 unknown 1502 muc 516
209.19/209.29	c iter 544 time 206.504 not-muc 1659 unknown 1501 muc 517
209.19/209.29	c iter 545 time 206.534 not-muc 1659 unknown 1500 muc 518
209.19/209.29	c iter 546 time 206.584 not-muc 1659 unknown 1499 muc 519
209.19/209.29	c iter 547 time 206.631 not-muc 1659 unknown 1498 muc 520
209.19/209.29	c iter 548 time 206.764 not-muc 1659 unknown 1497 muc 521
209.19/209.29	c iter 549 time 206.812 not-muc 1659 unknown 1496 muc 522
209.19/209.29	c iter 550 time 206.861 not-muc 1659 unknown 1495 muc 523
209.19/209.29	c iter 551 time 206.905 not-muc 1659 unknown 1494 muc 524
209.19/209.29	c iter 552 time 206.942 not-muc 1659 unknown 1493 muc 525
209.19/209.29	c iter 553 time 207.102 not-muc 1659 unknown 1492 muc 526
209.19/209.29	c iter 554 time 207.245 not-muc 1659 unknown 1491 muc 527
209.19/209.29	c iter 555 time 207.332 not-muc 1659 unknown 1490 muc 528
209.19/209.29	c iter 556 time 207.388 not-muc 1659 unknown 1489 muc 529
209.19/209.29	c iter 557 time 207.438 not-muc 1659 unknown 1488 muc 530
209.19/209.29	c iter 558 time 207.483 not-muc 1659 unknown 1487 muc 531
209.19/209.29	c iter 559 time 207.525 not-muc 1659 unknown 1486 muc 532
209.19/209.29	c iter 560 time 207.578 not-muc 1659 unknown 1485 muc 533
209.19/209.29	c iter 561 time 207.619 not-muc 1659 unknown 1484 muc 534
209.19/209.29	c iter 562 time 207.644 not-muc 1659 unknown 1483 muc 535
209.19/209.29	c iter 563 time 207.703 not-muc 1659 unknown 1482 muc 536
209.19/209.29	c iter 564 time 207.752 not-muc 1659 unknown 1481 muc 537
209.19/209.29	c iter 565 time 207.793 not-muc 1659 unknown 1480 muc 538
209.19/209.29	c iter 566 time 207.926 not-muc 1659 unknown 1479 muc 539
209.19/209.29	c iter 567 time 208.07 not-muc 1659 unknown 1478 muc 540
209.19/209.29	c iter 568 time 208.342 not-muc 1659 unknown 1477 muc 541
209.19/209.29	c iter 569 time 208.384 not-muc 1659 unknown 1476 muc 542
209.19/209.29	c iter 570 time 208.443 not-muc 1659 unknown 1475 muc 543
227.09/227.13	c iter 571 time 208.521 not-muc 1659 unknown 1474 muc 544
227.09/227.13	c iter 572 time 208.572 not-muc 1659 unknown 1473 muc 545
227.09/227.13	c iter 573 time 208.62 not-muc 1659 unknown 1472 muc 546
227.09/227.13	c iter 574 time 208.673 not-muc 1659 unknown 1471 muc 547
227.09/227.13	c iter 575 time 208.746 not-muc 1659 unknown 1470 muc 548
227.09/227.13	c iter 576 time 208.771 not-muc 1659 unknown 1469 muc 549
227.09/227.13	c iter 577 time 208.832 not-muc 1659 unknown 1468 muc 550
227.09/227.13	c iter 578 time 208.883 not-muc 1659 unknown 1467 muc 551
227.09/227.13	c iter 579 time 212.415 not-muc 1660 unknown 1466 muc 551
227.09/227.13	c iter 580 time 212.548 not-muc 1660 unknown 1465 muc 552
227.09/227.13	c iter 581 time 212.67 not-muc 1660 unknown 1464 muc 553
227.09/227.13	c iter 582 time 212.747 not-muc 1660 unknown 1463 muc 554
227.09/227.13	c iter 583 time 212.785 not-muc 1660 unknown 1462 muc 555
227.09/227.13	c iter 584 time 212.851 not-muc 1660 unknown 1461 muc 556
227.09/227.13	c iter 585 time 212.91 not-muc 1660 unknown 1460 muc 557
227.09/227.13	c iter 586 time 212.966 not-muc 1660 unknown 1459 muc 558
227.09/227.13	c iter 587 time 213.015 not-muc 1660 unknown 1458 muc 559
227.09/227.13	c iter 588 time 213.077 not-muc 1660 unknown 1457 muc 560
227.09/227.13	c iter 589 time 213.121 not-muc 1660 unknown 1456 muc 561
227.09/227.13	c iter 590 time 213.266 not-muc 1660 unknown 1455 muc 562
227.09/227.13	c iter 591 time 213.325 not-muc 1660 unknown 1454 muc 563
227.09/227.13	c iter 592 time 219.244 not-muc 1663 unknown 1451 muc 563
227.09/227.13	c iter 593 time 219.39 not-muc 1663 unknown 1450 muc 564
227.09/227.13	c iter 594 time 219.533 not-muc 1663 unknown 1449 muc 565
227.09/227.13	c iter 595 time 219.707 not-muc 1663 unknown 1448 muc 566
227.09/227.13	c iter 596 time 219.792 not-muc 1663 unknown 1447 muc 567
227.09/227.13	c iter 597 time 219.922 not-muc 1663 unknown 1446 muc 568
227.09/227.13	c iter 598 time 220.01 not-muc 1663 unknown 1445 muc 569
227.09/227.13	c iter 599 time 220.126 not-muc 1663 unknown 1444 muc 570
227.09/227.13	c iter 600 time 220.186 not-muc 1663 unknown 1443 muc 571
227.09/227.13	c iter 601 time 220.347 not-muc 1663 unknown 1442 muc 572
227.09/227.13	c iter 602 time 220.484 not-muc 1663 unknown 1441 muc 573
227.09/227.13	c iter 603 time 220.531 not-muc 1663 unknown 1440 muc 574
227.09/227.13	c iter 604 time 220.645 not-muc 1663 unknown 1439 muc 575
227.09/227.13	c iter 605 time 220.722 not-muc 1663 unknown 1438 muc 576
227.09/227.13	c iter 606 time 220.8 not-muc 1663 unknown 1437 muc 577
227.09/227.13	c iter 607 time 221.004 not-muc 1663 unknown 1436 muc 578
227.09/227.13	c iter 608 time 221.069 not-muc 1663 unknown 1435 muc 579
227.09/227.13	c iter 609 time 221.154 not-muc 1663 unknown 1434 muc 580
227.09/227.13	c iter 610 time 221.257 not-muc 1663 unknown 1433 muc 581
227.09/227.13	c iter 611 time 221.544 not-muc 1663 unknown 1432 muc 582
227.09/227.13	c iter 612 time 221.612 not-muc 1663 unknown 1431 muc 583
227.09/227.13	c iter 613 time 221.742 not-muc 1663 unknown 1430 muc 584
227.09/227.13	c iter 614 time 222.867 not-muc 1663 unknown 1429 muc 585
227.09/227.13	c iter 615 time 223.008 not-muc 1663 unknown 1428 muc 586
227.09/227.13	c iter 616 time 223.284 not-muc 1663 unknown 1427 muc 587
227.09/227.13	c iter 617 time 223.406 not-muc 1663 unknown 1426 muc 588
227.09/227.13	c iter 618 time 223.584 not-muc 1663 unknown 1425 muc 589
227.09/227.13	c iter 619 time 223.652 not-muc 1663 unknown 1424 muc 590
227.09/227.13	c iter 620 time 223.724 not-muc 1663 unknown 1423 muc 591
227.09/227.13	c iter 621 time 223.814 not-muc 1663 unknown 1422 muc 592
227.09/227.13	c iter 622 time 223.859 not-muc 1663 unknown 1421 muc 593
227.09/227.13	c iter 623 time 223.977 not-muc 1663 unknown 1420 muc 594
227.09/227.13	c iter 624 time 224.101 not-muc 1663 unknown 1419 muc 595
227.09/227.13	c iter 625 time 224.254 not-muc 1663 unknown 1418 muc 596
227.09/227.13	c iter 626 time 224.396 not-muc 1663 unknown 1417 muc 597
227.09/227.13	c iter 627 time 224.486 not-muc 1663 unknown 1416 muc 598
227.09/227.13	c iter 628 time 224.605 not-muc 1663 unknown 1415 muc 599
227.09/227.13	c iter 629 time 224.692 not-muc 1663 unknown 1414 muc 600
227.09/227.13	c iter 630 time 224.749 not-muc 1663 unknown 1413 muc 601
227.09/227.13	c iter 631 time 224.834 not-muc 1663 unknown 1412 muc 602
227.09/227.13	c iter 632 time 225.021 not-muc 1663 unknown 1411 muc 603
227.09/227.13	c iter 633 time 225.206 not-muc 1663 unknown 1410 muc 604
227.09/227.13	c iter 634 time 225.407 not-muc 1663 unknown 1409 muc 605
227.09/227.13	c iter 635 time 225.561 not-muc 1663 unknown 1408 muc 606
227.09/227.13	c iter 636 time 225.636 not-muc 1663 unknown 1407 muc 607
227.09/227.13	c iter 637 time 225.74 not-muc 1663 unknown 1406 muc 608
227.09/227.13	c iter 638 time 225.841 not-muc 1663 unknown 1405 muc 609
227.09/227.13	c iter 639 time 225.906 not-muc 1663 unknown 1404 muc 610
227.09/227.13	c iter 640 time 226.256 not-muc 1663 unknown 1403 muc 611
263.09/263.15	c iter 641 time 226.421 not-muc 1663 unknown 1402 muc 612
263.09/263.15	c iter 642 time 231.755 not-muc 1664 unknown 1401 muc 612
263.09/263.15	c iter 643 time 231.945 not-muc 1664 unknown 1400 muc 613
263.09/263.15	c iter 644 time 232.141 not-muc 1664 unknown 1399 muc 614
263.09/263.15	c iter 645 time 232.24 not-muc 1664 unknown 1398 muc 615
263.09/263.15	c iter 646 time 232.414 not-muc 1664 unknown 1397 muc 616
263.09/263.15	c iter 647 time 232.516 not-muc 1664 unknown 1396 muc 617
263.09/263.15	c iter 648 time 232.634 not-muc 1664 unknown 1395 muc 618
263.09/263.15	c iter 649 time 232.772 not-muc 1664 unknown 1394 muc 619
263.09/263.15	c iter 650 time 232.872 not-muc 1664 unknown 1393 muc 620
263.09/263.15	c iter 651 time 233.076 not-muc 1664 unknown 1392 muc 621
263.09/263.15	c iter 652 time 233.171 not-muc 1664 unknown 1391 muc 622
263.09/263.15	c iter 653 time 233.352 not-muc 1664 unknown 1390 muc 623
263.09/263.15	c iter 654 time 233.446 not-muc 1664 unknown 1389 muc 624
263.09/263.15	c iter 655 time 233.519 not-muc 1664 unknown 1388 muc 625
263.09/263.15	c iter 656 time 233.822 not-muc 1664 unknown 1387 muc 626
263.09/263.15	c iter 657 time 233.93 not-muc 1664 unknown 1386 muc 627
263.09/263.15	c iter 658 time 234.013 not-muc 1664 unknown 1385 muc 628
263.09/263.15	c iter 659 time 238.932 not-muc 1668 unknown 1381 muc 628
263.09/263.15	c iter 660 time 239.126 not-muc 1668 unknown 1380 muc 629
263.09/263.15	c iter 661 time 239.215 not-muc 1668 unknown 1379 muc 630
263.09/263.15	c iter 662 time 239.285 not-muc 1668 unknown 1378 muc 631
263.09/263.15	c iter 663 time 239.36 not-muc 1668 unknown 1377 muc 632
263.09/263.15	c iter 664 time 239.429 not-muc 1668 unknown 1376 muc 633
263.09/263.15	c iter 665 time 239.672 not-muc 1668 unknown 1375 muc 634
263.09/263.15	c iter 666 time 239.801 not-muc 1668 unknown 1374 muc 635
263.09/263.15	c iter 667 time 240.038 not-muc 1668 unknown 1373 muc 636
263.09/263.15	c iter 668 time 240.122 not-muc 1668 unknown 1372 muc 637
263.09/263.15	c iter 669 time 240.248 not-muc 1668 unknown 1371 muc 638
263.09/263.15	c iter 670 time 240.319 not-muc 1668 unknown 1370 muc 639
263.09/263.15	c iter 671 time 240.391 not-muc 1668 unknown 1369 muc 640
263.09/263.15	c iter 672 time 240.494 not-muc 1668 unknown 1368 muc 641
263.09/263.15	c iter 673 time 240.58 not-muc 1668 unknown 1367 muc 642
263.09/263.15	c iter 674 time 240.802 not-muc 1668 unknown 1366 muc 643
263.09/263.15	c iter 675 time 247.317 not-muc 1669 unknown 1365 muc 643
263.09/263.15	c iter 676 time 247.513 not-muc 1669 unknown 1364 muc 644
263.09/263.15	c iter 677 time 247.593 not-muc 1669 unknown 1363 muc 645
263.09/263.15	c iter 678 time 247.693 not-muc 1669 unknown 1362 muc 646
263.09/263.15	c iter 679 time 247.996 not-muc 1669 unknown 1361 muc 647
263.09/263.15	c iter 680 time 248.096 not-muc 1669 unknown 1360 muc 648
263.09/263.15	c iter 681 time 248.198 not-muc 1669 unknown 1359 muc 649
263.09/263.15	c iter 682 time 248.451 not-muc 1669 unknown 1358 muc 650
263.09/263.15	c iter 683 time 248.522 not-muc 1669 unknown 1357 muc 651
263.09/263.15	c iter 684 time 248.593 not-muc 1669 unknown 1356 muc 652
263.09/263.15	c iter 685 time 248.852 not-muc 1669 unknown 1355 muc 653
263.09/263.15	c iter 686 time 249.032 not-muc 1669 unknown 1354 muc 654
263.09/263.15	c iter 687 time 249.136 not-muc 1669 unknown 1353 muc 655
263.09/263.15	c iter 688 time 249.444 not-muc 1669 unknown 1352 muc 656
263.09/263.15	c iter 689 time 249.646 not-muc 1669 unknown 1351 muc 657
263.09/263.15	c iter 690 time 249.756 not-muc 1669 unknown 1350 muc 658
263.09/263.15	c iter 691 time 250.004 not-muc 1669 unknown 1349 muc 659
263.09/263.15	c iter 692 time 250.129 not-muc 1669 unknown 1348 muc 660
263.09/263.15	c iter 693 time 250.285 not-muc 1669 unknown 1347 muc 661
263.09/263.15	c iter 694 time 250.353 not-muc 1669 unknown 1346 muc 662
263.09/263.15	c iter 695 time 250.528 not-muc 1669 unknown 1345 muc 663
263.09/263.15	c iter 696 time 250.777 not-muc 1669 unknown 1344 muc 664
263.09/263.15	c iter 697 time 250.881 not-muc 1669 unknown 1343 muc 665
263.09/263.15	c iter 698 time 251.078 not-muc 1669 unknown 1342 muc 666
263.09/263.15	c iter 699 time 251.184 not-muc 1669 unknown 1341 muc 667
263.09/263.15	c iter 700 time 260.732 not-muc 1670 unknown 1340 muc 667
263.09/263.15	c iter 701 time 261.078 not-muc 1670 unknown 1339 muc 668
263.09/263.15	c iter 702 time 261.156 not-muc 1670 unknown 1338 muc 669
263.09/263.15	c iter 703 time 261.245 not-muc 1670 unknown 1337 muc 670
263.09/263.15	c iter 704 time 261.322 not-muc 1670 unknown 1336 muc 671
263.09/263.15	c iter 705 time 261.547 not-muc 1670 unknown 1335 muc 672
263.09/263.15	c iter 706 time 261.714 not-muc 1670 unknown 1334 muc 673
263.09/263.15	c iter 707 time 261.813 not-muc 1670 unknown 1333 muc 674
263.09/263.15	c iter 708 time 261.898 not-muc 1670 unknown 1332 muc 675
263.09/263.15	c iter 709 time 262.006 not-muc 1670 unknown 1331 muc 676
263.09/263.15	c iter 710 time 262.108 not-muc 1670 unknown 1330 muc 677
263.09/263.15	c iter 711 time 262.201 not-muc 1670 unknown 1329 muc 678
278.49/278.52	c iter 712 time 262.275 not-muc 1670 unknown 1328 muc 679
278.49/278.52	c iter 713 time 262.4 not-muc 1670 unknown 1327 muc 680
278.49/278.52	c iter 714 time 262.443 not-muc 1670 unknown 1326 muc 681
278.49/278.52	c iter 715 time 262.533 not-muc 1670 unknown 1325 muc 682
278.49/278.52	c iter 716 time 262.661 not-muc 1670 unknown 1324 muc 683
278.49/278.52	c iter 717 time 262.913 not-muc 1670 unknown 1323 muc 684
278.49/278.52	c iter 718 time 263.007 not-muc 1670 unknown 1322 muc 685
278.49/278.52	c iter 719 time 263.152 not-muc 1670 unknown 1321 muc 686
278.49/278.52	c iter 720 time 263.197 not-muc 1670 unknown 1320 muc 687
278.49/278.52	c iter 721 time 263.273 not-muc 1670 unknown 1319 muc 688
278.49/278.52	c iter 722 time 263.398 not-muc 1670 unknown 1318 muc 689
278.49/278.52	c iter 723 time 263.487 not-muc 1670 unknown 1317 muc 690
278.49/278.52	c iter 724 time 263.576 not-muc 1670 unknown 1316 muc 691
278.49/278.52	c iter 725 time 263.656 not-muc 1670 unknown 1315 muc 692
278.49/278.52	c iter 726 time 263.778 not-muc 1670 unknown 1314 muc 693
278.49/278.52	c iter 727 time 264.036 not-muc 1670 unknown 1313 muc 694
278.49/278.52	c iter 728 time 264.129 not-muc 1670 unknown 1312 muc 695
278.49/278.52	c iter 729 time 264.224 not-muc 1670 unknown 1311 muc 696
278.49/278.52	c iter 730 time 264.297 not-muc 1670 unknown 1310 muc 697
278.49/278.52	c iter 731 time 271.587 not-muc 1671 unknown 1309 muc 697
278.49/278.52	c iter 732 time 271.768 not-muc 1671 unknown 1308 muc 698
278.49/278.52	c iter 733 time 271.829 not-muc 1671 unknown 1307 muc 699
278.49/278.52	c iter 734 time 271.963 not-muc 1671 unknown 1306 muc 700
278.49/278.52	c iter 735 time 272.035 not-muc 1671 unknown 1305 muc 701
278.49/278.52	c iter 736 time 272.106 not-muc 1671 unknown 1304 muc 702
278.49/278.52	c iter 737 time 272.23 not-muc 1671 unknown 1303 muc 703
278.49/278.52	c iter 738 time 272.441 not-muc 1671 unknown 1302 muc 704
278.49/278.52	c iter 739 time 272.602 not-muc 1671 unknown 1301 muc 705
278.49/278.52	c iter 740 time 272.705 not-muc 1671 unknown 1300 muc 706
278.49/278.52	c iter 741 time 272.776 not-muc 1671 unknown 1299 muc 707
278.49/278.52	c iter 742 time 272.926 not-muc 1671 unknown 1298 muc 708
278.49/278.52	c iter 743 time 273.061 not-muc 1671 unknown 1297 muc 709
278.49/278.52	c iter 744 time 273.131 not-muc 1671 unknown 1296 muc 710
278.49/278.52	c iter 745 time 273.21 not-muc 1671 unknown 1295 muc 711
278.49/278.52	c iter 746 time 273.285 not-muc 1671 unknown 1294 muc 712
278.49/278.52	c iter 747 time 273.357 not-muc 1671 unknown 1293 muc 713
278.49/278.52	c iter 748 time 273.48 not-muc 1671 unknown 1292 muc 714
278.49/278.52	c iter 749 time 273.623 not-muc 1671 unknown 1291 muc 715
278.49/278.52	c iter 750 time 273.756 not-muc 1671 unknown 1290 muc 716
278.49/278.52	c iter 751 time 273.826 not-muc 1671 unknown 1289 muc 717
278.49/278.52	c iter 752 time 273.988 not-muc 1671 unknown 1288 muc 718
278.49/278.52	c iter 753 time 274.215 not-muc 1671 unknown 1287 muc 719
278.49/278.52	c iter 754 time 274.29 not-muc 1671 unknown 1286 muc 720
278.49/278.52	c iter 755 time 274.363 not-muc 1671 unknown 1285 muc 721
278.49/278.52	c iter 756 time 274.44 not-muc 1671 unknown 1284 muc 722
278.49/278.52	c iter 757 time 274.657 not-muc 1671 unknown 1283 muc 723
278.49/278.52	c iter 758 time 274.731 not-muc 1671 unknown 1282 muc 724
278.49/278.52	c iter 759 time 274.85 not-muc 1671 unknown 1281 muc 725
278.49/278.52	c iter 760 time 274.922 not-muc 1671 unknown 1280 muc 726
278.49/278.52	c iter 761 time 274.992 not-muc 1671 unknown 1279 muc 727
278.49/278.52	c iter 762 time 275.163 not-muc 1671 unknown 1278 muc 728
278.49/278.52	c iter 763 time 275.253 not-muc 1671 unknown 1277 muc 729
278.49/278.52	c iter 764 time 275.327 not-muc 1671 unknown 1276 muc 730
278.49/278.52	c iter 765 time 275.413 not-muc 1671 unknown 1275 muc 731
278.49/278.52	c iter 766 time 275.487 not-muc 1671 unknown 1274 muc 732
278.49/278.52	c iter 767 time 275.669 not-muc 1671 unknown 1273 muc 733
278.49/278.52	c iter 768 time 275.744 not-muc 1671 unknown 1272 muc 734
278.49/278.52	c iter 769 time 275.825 not-muc 1671 unknown 1271 muc 735
278.49/278.52	c iter 770 time 275.885 not-muc 1671 unknown 1270 muc 736
278.49/278.52	c iter 771 time 276.022 not-muc 1671 unknown 1269 muc 737
278.49/278.52	c iter 772 time 276.208 not-muc 1671 unknown 1268 muc 738
278.49/278.52	c iter 773 time 276.288 not-muc 1671 unknown 1267 muc 739
278.49/278.52	c iter 774 time 276.362 not-muc 1671 unknown 1266 muc 740
278.49/278.52	c iter 775 time 276.452 not-muc 1671 unknown 1265 muc 741
278.49/278.52	c iter 776 time 276.806 not-muc 1671 unknown 1264 muc 742
278.49/278.52	c iter 777 time 276.876 not-muc 1671 unknown 1263 muc 743
278.49/278.52	c iter 778 time 277.017 not-muc 1671 unknown 1262 muc 744
278.49/278.52	c iter 779 time 277.211 not-muc 1671 unknown 1261 muc 745
278.49/278.52	c iter 780 time 277.287 not-muc 1671 unknown 1260 muc 746
278.49/278.52	c iter 781 time 277.352 not-muc 1671 unknown 1259 muc 747
278.49/278.52	c iter 782 time 277.543 not-muc 1671 unknown 1258 muc 748
305.49/305.51	c iter 783 time 277.631 not-muc 1671 unknown 1257 muc 749
305.49/305.51	c iter 784 time 277.726 not-muc 1671 unknown 1256 muc 750
305.49/305.51	c iter 785 time 277.798 not-muc 1671 unknown 1255 muc 751
305.49/305.51	c iter 786 time 277.865 not-muc 1671 unknown 1254 muc 752
305.49/305.51	c iter 787 time 278.072 not-muc 1671 unknown 1253 muc 753
305.49/305.51	c iter 788 time 278.144 not-muc 1671 unknown 1252 muc 754
305.49/305.51	c iter 789 time 278.401 not-muc 1671 unknown 1251 muc 755
305.49/305.51	c iter 790 time 278.482 not-muc 1671 unknown 1250 muc 756
305.49/305.51	c iter 791 time 278.551 not-muc 1671 unknown 1249 muc 757
305.49/305.51	c iter 792 time 278.806 not-muc 1671 unknown 1248 muc 758
305.49/305.51	c iter 793 time 278.887 not-muc 1671 unknown 1247 muc 759
305.49/305.51	c iter 794 time 278.958 not-muc 1671 unknown 1246 muc 760
305.49/305.51	c iter 795 time 279.034 not-muc 1671 unknown 1245 muc 761
305.49/305.51	c iter 796 time 285.675 not-muc 1675 unknown 1241 muc 761
305.49/305.51	c iter 797 time 285.846 not-muc 1675 unknown 1240 muc 762
305.49/305.51	c iter 798 time 285.942 not-muc 1675 unknown 1239 muc 763
305.49/305.51	c iter 799 time 286.135 not-muc 1675 unknown 1238 muc 764
305.49/305.51	c iter 800 time 286.29 not-muc 1675 unknown 1237 muc 765
305.49/305.51	c iter 801 time 286.44 not-muc 1675 unknown 1236 muc 766
305.49/305.51	c iter 802 time 286.549 not-muc 1675 unknown 1235 muc 767
305.49/305.51	c iter 803 time 286.833 not-muc 1675 unknown 1234 muc 768
305.49/305.51	c iter 804 time 286.93 not-muc 1675 unknown 1233 muc 769
305.49/305.51	c iter 805 time 287.011 not-muc 1675 unknown 1232 muc 770
305.49/305.51	c iter 806 time 287.265 not-muc 1675 unknown 1231 muc 771
305.49/305.51	c iter 807 time 292.291 not-muc 1677 unknown 1229 muc 771
305.49/305.51	c iter 808 time 292.448 not-muc 1677 unknown 1228 muc 772
305.49/305.51	c iter 809 time 292.557 not-muc 1677 unknown 1227 muc 773
305.49/305.51	c iter 810 time 292.687 not-muc 1677 unknown 1226 muc 774
305.49/305.51	c iter 811 time 292.759 not-muc 1677 unknown 1225 muc 775
305.49/305.51	c iter 812 time 292.887 not-muc 1677 unknown 1224 muc 776
305.49/305.51	c iter 813 time 292.96 not-muc 1677 unknown 1223 muc 777
305.49/305.51	c iter 814 time 293.127 not-muc 1677 unknown 1222 muc 778
305.49/305.51	c iter 815 time 293.341 not-muc 1677 unknown 1221 muc 779
305.49/305.51	c iter 816 time 293.645 not-muc 1677 unknown 1220 muc 780
305.49/305.51	c iter 817 time 293.753 not-muc 1677 unknown 1219 muc 781
305.49/305.51	c iter 818 time 293.828 not-muc 1677 unknown 1218 muc 782
305.49/305.51	c iter 819 time 293.903 not-muc 1677 unknown 1217 muc 783
305.49/305.51	c iter 820 time 293.993 not-muc 1677 unknown 1216 muc 784
305.49/305.51	c iter 821 time 294.081 not-muc 1677 unknown 1215 muc 785
305.49/305.51	c iter 822 time 294.165 not-muc 1677 unknown 1214 muc 786
305.49/305.51	c iter 823 time 294.234 not-muc 1677 unknown 1213 muc 787
305.49/305.51	c iter 824 time 294.454 not-muc 1677 unknown 1212 muc 788
305.49/305.51	c iter 825 time 294.521 not-muc 1677 unknown 1211 muc 789
305.49/305.51	c iter 826 time 294.605 not-muc 1677 unknown 1210 muc 790
305.49/305.51	c iter 827 time 294.771 not-muc 1677 unknown 1209 muc 791
305.49/305.51	c iter 828 time 294.838 not-muc 1677 unknown 1208 muc 792
305.49/305.51	c iter 829 time 294.988 not-muc 1677 unknown 1207 muc 793
305.49/305.51	c iter 830 time 295.087 not-muc 1677 unknown 1206 muc 794
305.49/305.51	c iter 831 time 295.156 not-muc 1677 unknown 1205 muc 795
305.49/305.51	c iter 832 time 295.496 not-muc 1677 unknown 1204 muc 796
305.49/305.51	c iter 833 time 295.569 not-muc 1677 unknown 1203 muc 797
305.49/305.51	c iter 834 time 295.649 not-muc 1677 unknown 1202 muc 798
305.49/305.51	c iter 835 time 295.729 not-muc 1677 unknown 1201 muc 799
305.49/305.51	c iter 836 time 295.804 not-muc 1677 unknown 1200 muc 800
305.49/305.51	c iter 837 time 295.86 not-muc 1677 unknown 1199 muc 801
305.49/305.51	c iter 838 time 296.211 not-muc 1677 unknown 1198 muc 802
305.49/305.51	c iter 839 time 296.291 not-muc 1677 unknown 1197 muc 803
305.49/305.51	c iter 840 time 296.461 not-muc 1677 unknown 1196 muc 804
305.49/305.51	c iter 841 time 296.706 not-muc 1677 unknown 1195 muc 805
305.49/305.51	c iter 842 time 302.91 not-muc 1679 unknown 1193 muc 805
305.49/305.51	c iter 843 time 303.233 not-muc 1679 unknown 1192 muc 806
305.49/305.51	c iter 844 time 303.33 not-muc 1679 unknown 1191 muc 807
305.49/305.51	c iter 845 time 303.427 not-muc 1679 unknown 1190 muc 808
305.49/305.51	c iter 846 time 303.498 not-muc 1679 unknown 1189 muc 809
305.49/305.51	c iter 847 time 303.595 not-muc 1679 unknown 1188 muc 810
305.49/305.51	c iter 848 time 303.825 not-muc 1679 unknown 1187 muc 811
305.49/305.51	c iter 849 time 303.923 not-muc 1679 unknown 1186 muc 812
305.49/305.51	c iter 850 time 304.02 not-muc 1679 unknown 1185 muc 813
305.49/305.51	c iter 851 time 304.118 not-muc 1679 unknown 1184 muc 814
305.49/305.51	c iter 852 time 304.191 not-muc 1679 unknown 1183 muc 815
305.49/305.51	c iter 853 time 304.471 not-muc 1679 unknown 1182 muc 816
315.79/315.86	c iter 854 time 304.57 not-muc 1679 unknown 1181 muc 817
315.79/315.86	c iter 855 time 304.653 not-muc 1679 unknown 1180 muc 818
315.79/315.86	c iter 856 time 304.752 not-muc 1679 unknown 1179 muc 819
315.79/315.86	c iter 857 time 304.96 not-muc 1679 unknown 1178 muc 820
315.79/315.86	c iter 858 time 305.105 not-muc 1679 unknown 1177 muc 821
315.79/315.86	c iter 859 time 305.17 not-muc 1679 unknown 1176 muc 822
315.79/315.86	c iter 860 time 305.315 not-muc 1679 unknown 1175 muc 823
315.79/315.86	c iter 861 time 305.417 not-muc 1679 unknown 1174 muc 824
315.79/315.86	c iter 862 time 305.511 not-muc 1679 unknown 1173 muc 825
315.79/315.86	c iter 863 time 305.653 not-muc 1679 unknown 1172 muc 826
315.79/315.86	c iter 864 time 305.746 not-muc 1679 unknown 1171 muc 827
315.79/315.86	c iter 865 time 305.838 not-muc 1679 unknown 1170 muc 828
315.79/315.86	c iter 866 time 305.945 not-muc 1679 unknown 1169 muc 829
315.79/315.86	c iter 867 time 306.219 not-muc 1679 unknown 1168 muc 830
315.79/315.86	c iter 868 time 306.298 not-muc 1679 unknown 1167 muc 831
315.79/315.86	c iter 869 time 306.387 not-muc 1679 unknown 1166 muc 832
315.79/315.86	c iter 870 time 306.457 not-muc 1679 unknown 1165 muc 833
315.79/315.86	c iter 871 time 306.517 not-muc 1679 unknown 1164 muc 834
315.79/315.86	c iter 872 time 306.608 not-muc 1679 unknown 1163 muc 835
315.79/315.86	c iter 873 time 306.693 not-muc 1679 unknown 1162 muc 836
315.79/315.86	c iter 874 time 306.763 not-muc 1679 unknown 1161 muc 837
315.79/315.86	c iter 875 time 306.924 not-muc 1679 unknown 1160 muc 838
315.79/315.86	c iter 876 time 307.025 not-muc 1679 unknown 1159 muc 839
315.79/315.86	c iter 877 time 307.094 not-muc 1679 unknown 1158 muc 840
315.79/315.86	c iter 878 time 307.182 not-muc 1679 unknown 1157 muc 841
315.79/315.86	c iter 879 time 307.279 not-muc 1679 unknown 1156 muc 842
315.79/315.86	c iter 880 time 307.362 not-muc 1679 unknown 1155 muc 843
315.79/315.86	c iter 881 time 307.45 not-muc 1679 unknown 1154 muc 844
315.79/315.86	c iter 882 time 307.589 not-muc 1679 unknown 1153 muc 845
315.79/315.86	c iter 883 time 307.657 not-muc 1679 unknown 1152 muc 846
315.79/315.86	c iter 884 time 307.753 not-muc 1679 unknown 1151 muc 847
315.79/315.86	c iter 885 time 307.915 not-muc 1679 unknown 1150 muc 848
315.79/315.86	c iter 886 time 308.025 not-muc 1679 unknown 1149 muc 849
315.79/315.86	c iter 887 time 308.125 not-muc 1679 unknown 1148 muc 850
315.79/315.86	c iter 888 time 308.202 not-muc 1679 unknown 1147 muc 851
315.79/315.86	c iter 889 time 308.291 not-muc 1679 unknown 1146 muc 852
315.79/315.86	c iter 890 time 308.53 not-muc 1679 unknown 1145 muc 853
315.79/315.86	c iter 891 time 308.594 not-muc 1679 unknown 1144 muc 854
315.79/315.86	c iter 892 time 308.835 not-muc 1679 unknown 1143 muc 855
315.79/315.86	c iter 893 time 309.089 not-muc 1679 unknown 1142 muc 856
315.79/315.86	c iter 894 time 312.266 not-muc 1681 unknown 1140 muc 856
315.79/315.86	c iter 895 time 312.6 not-muc 1681 unknown 1139 muc 857
315.79/315.86	c iter 896 time 312.616 not-muc 1681 unknown 1138 muc 858
315.79/315.86	c iter 897 time 312.726 not-muc 1681 unknown 1137 muc 859
315.79/315.86	c iter 898 time 312.821 not-muc 1681 unknown 1136 muc 860
315.79/315.86	c iter 899 time 312.882 not-muc 1681 unknown 1135 muc 861
315.79/315.86	c iter 900 time 312.942 not-muc 1681 unknown 1134 muc 862
315.79/315.86	c iter 901 time 312.964 not-muc 1681 unknown 1133 muc 863
315.79/315.86	c iter 902 time 313.043 not-muc 1681 unknown 1132 muc 864
315.79/315.86	c iter 903 time 313.075 not-muc 1681 unknown 1131 muc 865
315.79/315.86	c iter 904 time 313.136 not-muc 1681 unknown 1130 muc 866
315.79/315.86	c iter 905 time 313.195 not-muc 1681 unknown 1129 muc 867
315.79/315.86	c iter 906 time 313.239 not-muc 1681 unknown 1128 muc 868
315.79/315.86	c iter 907 time 313.3 not-muc 1681 unknown 1127 muc 869
315.79/315.86	c iter 908 time 313.362 not-muc 1681 unknown 1126 muc 870
315.79/315.86	c iter 909 time 313.546 not-muc 1681 unknown 1125 muc 871
315.79/315.86	c iter 910 time 313.612 not-muc 1681 unknown 1124 muc 872
315.79/315.86	c iter 911 time 313.69 not-muc 1681 unknown 1123 muc 873
315.79/315.86	c iter 912 time 313.754 not-muc 1681 unknown 1122 muc 874
315.79/315.86	c iter 913 time 313.808 not-muc 1681 unknown 1121 muc 875
315.79/315.86	c iter 914 time 313.87 not-muc 1681 unknown 1120 muc 876
315.79/315.86	c iter 915 time 313.927 not-muc 1681 unknown 1119 muc 877
315.79/315.86	c iter 916 time 314.032 not-muc 1681 unknown 1118 muc 878
315.79/315.86	c iter 917 time 314.146 not-muc 1681 unknown 1117 muc 879
315.79/315.86	c iter 918 time 314.356 not-muc 1681 unknown 1116 muc 880
315.79/315.86	c iter 919 time 314.41 not-muc 1681 unknown 1115 muc 881
315.79/315.86	c iter 920 time 314.428 not-muc 1681 unknown 1114 muc 882
315.79/315.86	c iter 921 time 314.448 not-muc 1681 unknown 1113 muc 883
315.79/315.86	c iter 922 time 314.672 not-muc 1681 unknown 1112 muc 884
315.79/315.86	c iter 923 time 314.811 not-muc 1681 unknown 1111 muc 885
331.39/331.43	c iter 924 time 314.964 not-muc 1681 unknown 1110 muc 886
331.39/331.43	c iter 925 time 314.985 not-muc 1681 unknown 1109 muc 887
331.39/331.43	c iter 926 time 315.108 not-muc 1681 unknown 1108 muc 888
331.39/331.43	c iter 927 time 315.169 not-muc 1681 unknown 1107 muc 889
331.39/331.43	c iter 928 time 315.309 not-muc 1681 unknown 1106 muc 890
331.39/331.43	c iter 929 time 315.373 not-muc 1681 unknown 1105 muc 891
331.39/331.43	c iter 930 time 315.515 not-muc 1681 unknown 1104 muc 892
331.39/331.43	c iter 931 time 315.714 not-muc 1681 unknown 1103 muc 893
331.39/331.43	c iter 932 time 315.727 not-muc 1681 unknown 1102 muc 894
331.39/331.43	c iter 933 time 315.788 not-muc 1681 unknown 1101 muc 895
331.39/331.43	c iter 934 time 323.101 not-muc 1682 unknown 1100 muc 895
331.39/331.43	c iter 935 time 323.292 not-muc 1682 unknown 1099 muc 896
331.39/331.43	c iter 936 time 323.498 not-muc 1682 unknown 1098 muc 897
331.39/331.43	c iter 937 time 323.586 not-muc 1682 unknown 1097 muc 898
331.39/331.43	c iter 938 time 323.658 not-muc 1682 unknown 1096 muc 899
331.39/331.43	c iter 939 time 323.754 not-muc 1682 unknown 1095 muc 900
331.39/331.43	c iter 940 time 323.852 not-muc 1682 unknown 1094 muc 901
331.39/331.43	c iter 941 time 324.155 not-muc 1682 unknown 1093 muc 902
331.39/331.43	c iter 942 time 324.253 not-muc 1682 unknown 1092 muc 903
331.39/331.43	c iter 943 time 324.352 not-muc 1682 unknown 1091 muc 904
331.39/331.43	c iter 944 time 324.448 not-muc 1682 unknown 1090 muc 905
331.39/331.43	c iter 945 time 324.543 not-muc 1682 unknown 1089 muc 906
331.39/331.43	c iter 946 time 324.626 not-muc 1682 unknown 1088 muc 907
331.39/331.43	c iter 947 time 324.761 not-muc 1682 unknown 1087 muc 908
331.39/331.43	c iter 948 time 324.962 not-muc 1682 unknown 1086 muc 909
331.39/331.43	c iter 949 time 325.027 not-muc 1682 unknown 1085 muc 910
331.39/331.43	c iter 950 time 325.121 not-muc 1682 unknown 1084 muc 911
331.39/331.43	c iter 951 time 325.213 not-muc 1682 unknown 1083 muc 912
331.39/331.43	c iter 952 time 325.31 not-muc 1682 unknown 1082 muc 913
331.39/331.43	c iter 953 time 325.38 not-muc 1682 unknown 1081 muc 914
331.39/331.43	c iter 954 time 325.481 not-muc 1682 unknown 1080 muc 915
331.39/331.43	c iter 955 time 325.573 not-muc 1682 unknown 1079 muc 916
331.39/331.43	c iter 956 time 325.719 not-muc 1682 unknown 1078 muc 917
331.39/331.43	c iter 957 time 325.813 not-muc 1682 unknown 1077 muc 918
331.39/331.43	c iter 958 time 325.892 not-muc 1682 unknown 1076 muc 919
331.39/331.43	c iter 959 time 325.987 not-muc 1682 unknown 1075 muc 920
331.39/331.43	c iter 960 time 326.079 not-muc 1682 unknown 1074 muc 921
331.39/331.43	c iter 961 time 326.174 not-muc 1682 unknown 1073 muc 922
331.39/331.43	c iter 962 time 326.256 not-muc 1682 unknown 1072 muc 923
331.39/331.43	c iter 963 time 326.313 not-muc 1682 unknown 1071 muc 924
331.39/331.43	c iter 964 time 326.58 not-muc 1682 unknown 1070 muc 925
331.39/331.43	c iter 965 time 326.839 not-muc 1682 unknown 1069 muc 926
331.39/331.43	c iter 966 time 326.901 not-muc 1682 unknown 1068 muc 927
331.39/331.43	c iter 967 time 327.185 not-muc 1682 unknown 1067 muc 928
331.39/331.43	c iter 968 time 327.285 not-muc 1682 unknown 1066 muc 929
331.39/331.43	c iter 969 time 327.373 not-muc 1682 unknown 1065 muc 930
331.39/331.43	c iter 970 time 327.506 not-muc 1682 unknown 1064 muc 931
331.39/331.43	c iter 971 time 327.606 not-muc 1682 unknown 1063 muc 932
331.39/331.43	c iter 972 time 327.701 not-muc 1682 unknown 1062 muc 933
331.39/331.43	c iter 973 time 327.8 not-muc 1682 unknown 1061 muc 934
331.39/331.43	c iter 974 time 327.888 not-muc 1682 unknown 1060 muc 935
331.39/331.43	c iter 975 time 328.012 not-muc 1682 unknown 1059 muc 936
331.39/331.43	c iter 976 time 328.078 not-muc 1682 unknown 1058 muc 937
331.39/331.43	c iter 977 time 328.177 not-muc 1682 unknown 1057 muc 938
331.39/331.43	c iter 978 time 328.355 not-muc 1682 unknown 1056 muc 939
331.39/331.43	c iter 979 time 328.454 not-muc 1682 unknown 1055 muc 940
331.39/331.43	c iter 980 time 328.57 not-muc 1682 unknown 1054 muc 941
331.39/331.43	c iter 981 time 328.666 not-muc 1682 unknown 1053 muc 942
331.39/331.43	c iter 982 time 328.764 not-muc 1682 unknown 1052 muc 943
331.39/331.43	c iter 983 time 329.022 not-muc 1682 unknown 1051 muc 944
331.39/331.43	c iter 984 time 329.117 not-muc 1682 unknown 1050 muc 945
331.39/331.43	c iter 985 time 329.215 not-muc 1682 unknown 1049 muc 946
331.39/331.43	c iter 986 time 329.298 not-muc 1682 unknown 1048 muc 947
331.39/331.43	c iter 987 time 329.398 not-muc 1682 unknown 1047 muc 948
331.39/331.43	c iter 988 time 329.497 not-muc 1682 unknown 1046 muc 949
331.39/331.43	c iter 989 time 329.76 not-muc 1682 unknown 1045 muc 950
331.39/331.43	c iter 990 time 329.861 not-muc 1682 unknown 1044 muc 951
331.39/331.43	c iter 991 time 329.947 not-muc 1682 unknown 1043 muc 952
331.39/331.43	c iter 992 time 330.045 not-muc 1682 unknown 1042 muc 953
331.39/331.43	c iter 993 time 330.143 not-muc 1682 unknown 1041 muc 954
331.39/331.43	c iter 994 time 330.361 not-muc 1682 unknown 1040 muc 955
348.99/349.05	c iter 995 time 330.454 not-muc 1682 unknown 1039 muc 956
348.99/349.05	c iter 996 time 330.67 not-muc 1682 unknown 1038 muc 957
348.99/349.05	c iter 997 time 330.862 not-muc 1682 unknown 1037 muc 958
348.99/349.05	c iter 998 time 331.015 not-muc 1682 unknown 1036 muc 959
348.99/349.05	c iter 999 time 331.102 not-muc 1682 unknown 1035 muc 960
348.99/349.05	c iter 1000 time 331.198 not-muc 1682 unknown 1034 muc 961
348.99/349.05	c iter 1001 time 331.272 not-muc 1682 unknown 1033 muc 962
348.99/349.05	c iter 1002 time 331.361 not-muc 1682 unknown 1032 muc 963
348.99/349.05	c iter 1003 time 331.451 not-muc 1682 unknown 1031 muc 964
348.99/349.05	c iter 1004 time 331.507 not-muc 1682 unknown 1030 muc 965
348.99/349.05	c iter 1005 time 331.602 not-muc 1682 unknown 1029 muc 966
348.99/349.05	c iter 1006 time 331.677 not-muc 1682 unknown 1028 muc 967
348.99/349.05	c iter 1007 time 331.752 not-muc 1682 unknown 1027 muc 968
348.99/349.05	c iter 1008 time 331.836 not-muc 1682 unknown 1026 muc 969
348.99/349.05	c iter 1009 time 332.295 not-muc 1682 unknown 1025 muc 970
348.99/349.05	c iter 1010 time 332.606 not-muc 1682 unknown 1024 muc 971
348.99/349.05	c iter 1011 time 332.701 not-muc 1682 unknown 1023 muc 972
348.99/349.05	c iter 1012 time 332.815 not-muc 1682 unknown 1022 muc 973
348.99/349.05	c iter 1013 time 332.981 not-muc 1682 unknown 1021 muc 974
348.99/349.05	c iter 1014 time 333.138 not-muc 1682 unknown 1020 muc 975
348.99/349.05	c iter 1015 time 333.239 not-muc 1682 unknown 1019 muc 976
348.99/349.05	c iter 1016 time 333.379 not-muc 1682 unknown 1018 muc 977
348.99/349.05	c iter 1017 time 333.471 not-muc 1682 unknown 1017 muc 978
348.99/349.05	c iter 1018 time 333.856 not-muc 1682 unknown 1016 muc 979
348.99/349.05	c iter 1019 time 334.07 not-muc 1682 unknown 1015 muc 980
348.99/349.05	c iter 1020 time 334.137 not-muc 1682 unknown 1014 muc 981
348.99/349.05	c iter 1021 time 334.199 not-muc 1682 unknown 1013 muc 982
348.99/349.05	c iter 1022 time 334.273 not-muc 1682 unknown 1012 muc 983
348.99/349.05	c iter 1023 time 334.579 not-muc 1682 unknown 1011 muc 984
348.99/349.05	c iter 1024 time 334.652 not-muc 1682 unknown 1010 muc 985
348.99/349.05	c iter 1025 time 334.755 not-muc 1682 unknown 1009 muc 986
348.99/349.05	c iter 1026 time 335.039 not-muc 1682 unknown 1008 muc 987
348.99/349.05	c iter 1027 time 335.129 not-muc 1682 unknown 1007 muc 988
348.99/349.05	c iter 1028 time 342.605 not-muc 1683 unknown 1006 muc 988
348.99/349.05	c iter 1029 time 342.968 not-muc 1683 unknown 1005 muc 989
348.99/349.05	c iter 1030 time 343.258 not-muc 1683 unknown 1004 muc 990
348.99/349.05	c iter 1031 time 343.39 not-muc 1683 unknown 1003 muc 991
348.99/349.05	c iter 1032 time 343.546 not-muc 1683 unknown 1002 muc 992
348.99/349.05	c iter 1033 time 343.793 not-muc 1683 unknown 1001 muc 993
348.99/349.05	c iter 1034 time 343.987 not-muc 1683 unknown 1000 muc 994
348.99/349.05	c iter 1035 time 344.148 not-muc 1683 unknown 999 muc 995
348.99/349.05	c iter 1036 time 344.246 not-muc 1683 unknown 998 muc 996
348.99/349.05	c iter 1037 time 344.405 not-muc 1683 unknown 997 muc 997
348.99/349.05	c iter 1038 time 344.497 not-muc 1683 unknown 996 muc 998
348.99/349.05	c iter 1039 time 344.589 not-muc 1683 unknown 995 muc 999
348.99/349.05	c iter 1040 time 344.681 not-muc 1683 unknown 994 muc 1000
348.99/349.05	c iter 1041 time 344.835 not-muc 1683 unknown 993 muc 1001
348.99/349.05	c iter 1042 time 344.956 not-muc 1683 unknown 992 muc 1002
348.99/349.05	c iter 1043 time 345.049 not-muc 1683 unknown 991 muc 1003
348.99/349.05	c iter 1044 time 345.123 not-muc 1683 unknown 990 muc 1004
348.99/349.05	c iter 1045 time 345.189 not-muc 1683 unknown 989 muc 1005
348.99/349.05	c iter 1046 time 345.283 not-muc 1683 unknown 988 muc 1006
348.99/349.05	c iter 1047 time 345.371 not-muc 1683 unknown 987 muc 1007
348.99/349.05	c iter 1048 time 345.991 not-muc 1683 unknown 986 muc 1008
348.99/349.05	c iter 1049 time 346.084 not-muc 1683 unknown 985 muc 1009
348.99/349.05	c iter 1050 time 346.16 not-muc 1683 unknown 984 muc 1010
348.99/349.05	c iter 1051 time 346.254 not-muc 1683 unknown 983 muc 1011
348.99/349.05	c iter 1052 time 346.355 not-muc 1683 unknown 982 muc 1012
348.99/349.05	c iter 1053 time 346.452 not-muc 1683 unknown 981 muc 1013
348.99/349.05	c iter 1054 time 346.645 not-muc 1683 unknown 980 muc 1014
348.99/349.05	c iter 1055 time 346.73 not-muc 1683 unknown 979 muc 1015
348.99/349.05	c iter 1056 time 346.779 not-muc 1683 unknown 978 muc 1016
348.99/349.05	c iter 1057 time 347.015 not-muc 1683 unknown 977 muc 1017
348.99/349.05	c iter 1058 time 347.194 not-muc 1683 unknown 976 muc 1018
348.99/349.05	c iter 1059 time 347.393 not-muc 1683 unknown 975 muc 1019
348.99/349.05	c iter 1060 time 347.597 not-muc 1683 unknown 974 muc 1020
348.99/349.05	c iter 1061 time 347.679 not-muc 1683 unknown 973 muc 1021
348.99/349.05	c iter 1062 time 347.777 not-muc 1683 unknown 972 muc 1022
348.99/349.05	c iter 1063 time 347.852 not-muc 1683 unknown 971 muc 1023
348.99/349.05	c iter 1064 time 347.952 not-muc 1683 unknown 970 muc 1024
385.80/385.82	c iter 1065 time 347.969 not-muc 1683 unknown 969 muc 1025
385.80/385.82	c iter 1066 time 348.065 not-muc 1683 unknown 968 muc 1026
385.80/385.82	c iter 1067 time 348.223 not-muc 1683 unknown 967 muc 1027
385.80/385.82	c iter 1068 time 348.326 not-muc 1683 unknown 966 muc 1028
385.80/385.82	c iter 1069 time 348.421 not-muc 1683 unknown 965 muc 1029
385.80/385.82	c iter 1070 time 348.49 not-muc 1683 unknown 964 muc 1030
385.80/385.82	c iter 1071 time 348.975 not-muc 1683 unknown 963 muc 1031
385.80/385.82	c iter 1072 time 349.134 not-muc 1683 unknown 962 muc 1032
385.80/385.82	c iter 1073 time 349.206 not-muc 1683 unknown 961 muc 1033
385.80/385.82	c iter 1074 time 349.301 not-muc 1683 unknown 960 muc 1034
385.80/385.82	c iter 1075 time 349.421 not-muc 1683 unknown 959 muc 1035
385.80/385.82	c iter 1076 time 349.52 not-muc 1683 unknown 958 muc 1036
385.80/385.82	c iter 1077 time 356.614 not-muc 1687 unknown 954 muc 1036
385.80/385.82	c iter 1078 time 357.1 not-muc 1687 unknown 953 muc 1037
385.80/385.82	c iter 1079 time 357.187 not-muc 1687 unknown 952 muc 1038
385.80/385.82	c iter 1080 time 357.263 not-muc 1687 unknown 951 muc 1039
385.80/385.82	c iter 1081 time 357.338 not-muc 1687 unknown 950 muc 1040
385.80/385.82	c iter 1082 time 357.442 not-muc 1687 unknown 949 muc 1041
385.80/385.82	c iter 1083 time 357.499 not-muc 1687 unknown 948 muc 1042
385.80/385.82	c iter 1084 time 357.574 not-muc 1687 unknown 947 muc 1043
385.80/385.82	c iter 1085 time 357.651 not-muc 1687 unknown 946 muc 1044
385.80/385.82	c iter 1086 time 357.711 not-muc 1687 unknown 945 muc 1045
385.80/385.82	c iter 1087 time 357.81 not-muc 1687 unknown 944 muc 1046
385.80/385.82	c iter 1088 time 357.882 not-muc 1687 unknown 943 muc 1047
385.80/385.82	c iter 1089 time 357.96 not-muc 1687 unknown 942 muc 1048
385.80/385.82	c iter 1090 time 358.142 not-muc 1687 unknown 941 muc 1049
385.80/385.82	c iter 1091 time 358.239 not-muc 1687 unknown 940 muc 1050
385.80/385.82	c iter 1092 time 358.286 not-muc 1687 unknown 939 muc 1051
385.80/385.82	c iter 1093 time 358.483 not-muc 1687 unknown 938 muc 1052
385.80/385.82	c iter 1094 time 358.584 not-muc 1687 unknown 937 muc 1053
385.80/385.82	c iter 1095 time 358.656 not-muc 1687 unknown 936 muc 1054
385.80/385.82	c iter 1096 time 358.759 not-muc 1687 unknown 935 muc 1055
385.80/385.82	c iter 1097 time 358.847 not-muc 1687 unknown 934 muc 1056
385.80/385.82	c iter 1098 time 358.903 not-muc 1687 unknown 933 muc 1057
385.80/385.82	c iter 1099 time 358.978 not-muc 1687 unknown 932 muc 1058
385.80/385.82	c iter 1100 time 359.104 not-muc 1687 unknown 931 muc 1059
385.80/385.82	c iter 1101 time 359.18 not-muc 1687 unknown 930 muc 1060
385.80/385.82	c iter 1102 time 359.235 not-muc 1687 unknown 929 muc 1061
385.80/385.82	c iter 1103 time 359.287 not-muc 1687 unknown 928 muc 1062
385.80/385.82	c iter 1104 time 359.34 not-muc 1687 unknown 927 muc 1063
385.80/385.82	c iter 1105 time 359.439 not-muc 1687 unknown 926 muc 1064
385.80/385.82	c iter 1106 time 372.744 not-muc 1689 unknown 924 muc 1064
385.80/385.82	c iter 1107 time 373.095 not-muc 1689 unknown 923 muc 1065
385.80/385.82	c iter 1108 time 373.229 not-muc 1689 unknown 922 muc 1066
385.80/385.82	c iter 1109 time 373.347 not-muc 1689 unknown 921 muc 1067
385.80/385.82	c iter 1110 time 373.429 not-muc 1689 unknown 920 muc 1068
385.80/385.82	c iter 1111 time 373.682 not-muc 1689 unknown 919 muc 1069
385.80/385.82	c iter 1112 time 373.801 not-muc 1689 unknown 918 muc 1070
385.80/385.82	c iter 1113 time 373.95 not-muc 1689 unknown 917 muc 1071
385.80/385.82	c iter 1114 time 374.076 not-muc 1689 unknown 916 muc 1072
385.80/385.82	c iter 1115 time 374.202 not-muc 1689 unknown 915 muc 1073
385.80/385.82	c iter 1116 time 374.357 not-muc 1689 unknown 914 muc 1074
385.80/385.82	c iter 1117 time 374.487 not-muc 1689 unknown 913 muc 1075
385.80/385.82	c iter 1118 time 382.904 not-muc 1690 unknown 912 muc 1075
385.80/385.82	c iter 1119 time 383.104 not-muc 1690 unknown 911 muc 1076
385.80/385.82	c iter 1120 time 383.19 not-muc 1690 unknown 910 muc 1077
385.80/385.82	c iter 1121 time 383.265 not-muc 1690 unknown 909 muc 1078
385.80/385.82	c iter 1122 time 383.363 not-muc 1690 unknown 908 muc 1079
385.80/385.82	c iter 1123 time 383.447 not-muc 1690 unknown 907 muc 1080
385.80/385.82	c iter 1124 time 383.592 not-muc 1690 unknown 906 muc 1081
385.80/385.82	c iter 1125 time 383.693 not-muc 1690 unknown 905 muc 1082
385.80/385.82	c iter 1126 time 383.787 not-muc 1690 unknown 904 muc 1083
385.80/385.82	c iter 1127 time 383.935 not-muc 1690 unknown 903 muc 1084
385.80/385.82	c iter 1128 time 384.034 not-muc 1690 unknown 902 muc 1085
385.80/385.82	c iter 1129 time 384.199 not-muc 1690 unknown 901 muc 1086
385.80/385.82	c iter 1130 time 384.287 not-muc 1690 unknown 900 muc 1087
385.80/385.82	c iter 1131 time 384.364 not-muc 1690 unknown 899 muc 1088
385.80/385.82	c iter 1132 time 384.462 not-muc 1690 unknown 898 muc 1089
385.80/385.82	c iter 1133 time 384.674 not-muc 1690 unknown 897 muc 1090
428.39/428.44	c iter 1134 time 384.77 not-muc 1690 unknown 896 muc 1091
428.39/428.44	c iter 1135 time 384.851 not-muc 1690 unknown 895 muc 1092
428.39/428.44	c iter 1136 time 384.957 not-muc 1690 unknown 894 muc 1093
428.39/428.44	c iter 1137 time 385.06 not-muc 1690 unknown 893 muc 1094
428.39/428.44	c iter 1138 time 385.153 not-muc 1690 unknown 892 muc 1095
428.39/428.44	c iter 1139 time 385.214 not-muc 1690 unknown 891 muc 1096
428.39/428.44	c iter 1140 time 385.295 not-muc 1690 unknown 890 muc 1097
428.39/428.44	c iter 1141 time 385.628 not-muc 1690 unknown 889 muc 1098
428.39/428.44	c iter 1142 time 385.726 not-muc 1690 unknown 888 muc 1099
428.39/428.44	c iter 1143 time 385.847 not-muc 1690 unknown 887 muc 1100
428.39/428.44	c iter 1144 time 385.943 not-muc 1690 unknown 886 muc 1101
428.39/428.44	c iter 1145 time 386.039 not-muc 1690 unknown 885 muc 1102
428.39/428.44	c iter 1146 time 386.229 not-muc 1690 unknown 884 muc 1103
428.39/428.44	c iter 1147 time 386.33 not-muc 1690 unknown 883 muc 1104
428.39/428.44	c iter 1148 time 386.417 not-muc 1690 unknown 882 muc 1105
428.39/428.44	c iter 1149 time 386.472 not-muc 1690 unknown 881 muc 1106
428.39/428.44	c iter 1150 time 386.588 not-muc 1690 unknown 880 muc 1107
428.39/428.44	c iter 1151 time 386.691 not-muc 1690 unknown 879 muc 1108
428.39/428.44	c iter 1152 time 386.808 not-muc 1690 unknown 878 muc 1109
428.39/428.44	c iter 1153 time 386.906 not-muc 1690 unknown 877 muc 1110
428.39/428.44	c iter 1154 time 387.064 not-muc 1690 unknown 876 muc 1111
428.39/428.44	c iter 1155 time 387.127 not-muc 1690 unknown 875 muc 1112
428.39/428.44	c iter 1156 time 387.246 not-muc 1690 unknown 874 muc 1113
428.39/428.44	c iter 1157 time 387.345 not-muc 1690 unknown 873 muc 1114
428.39/428.44	c iter 1158 time 387.414 not-muc 1690 unknown 872 muc 1115
428.39/428.44	c iter 1159 time 387.652 not-muc 1690 unknown 871 muc 1116
428.39/428.44	c iter 1160 time 387.751 not-muc 1690 unknown 870 muc 1117
428.39/428.44	c iter 1161 time 387.847 not-muc 1690 unknown 869 muc 1118
428.39/428.44	c iter 1162 time 387.934 not-muc 1690 unknown 868 muc 1119
428.39/428.44	c iter 1163 time 388.144 not-muc 1690 unknown 867 muc 1120
428.39/428.44	c iter 1164 time 395.215 not-muc 1693 unknown 864 muc 1120
428.39/428.44	c iter 1165 time 395.359 not-muc 1693 unknown 863 muc 1121
428.39/428.44	c iter 1166 time 403.511 not-muc 1694 unknown 862 muc 1121
428.39/428.44	c iter 1167 time 403.729 not-muc 1694 unknown 861 muc 1122
428.39/428.44	c iter 1168 time 403.82 not-muc 1694 unknown 860 muc 1123
428.39/428.44	c iter 1169 time 403.928 not-muc 1694 unknown 859 muc 1124
428.39/428.44	c iter 1170 time 404.008 not-muc 1694 unknown 858 muc 1125
428.39/428.44	c iter 1171 time 404.451 not-muc 1694 unknown 857 muc 1126
428.39/428.44	c iter 1172 time 404.538 not-muc 1694 unknown 856 muc 1127
428.39/428.44	c iter 1173 time 404.638 not-muc 1694 unknown 855 muc 1128
428.39/428.44	c iter 1174 time 404.748 not-muc 1694 unknown 854 muc 1129
428.39/428.44	c iter 1175 time 404.861 not-muc 1694 unknown 853 muc 1130
428.39/428.44	c iter 1176 time 404.977 not-muc 1694 unknown 852 muc 1131
428.39/428.44	c iter 1177 time 412.524 not-muc 1695 unknown 851 muc 1131
428.39/428.44	c iter 1178 time 412.841 not-muc 1695 unknown 850 muc 1132
428.39/428.44	c iter 1179 time 412.979 not-muc 1695 unknown 849 muc 1133
428.39/428.44	c iter 1180 time 413.12 not-muc 1695 unknown 848 muc 1134
428.39/428.44	c iter 1181 time 413.245 not-muc 1695 unknown 847 muc 1135
428.39/428.44	c iter 1182 time 413.544 not-muc 1695 unknown 846 muc 1136
428.39/428.44	c iter 1183 time 414.161 not-muc 1695 unknown 845 muc 1137
428.39/428.44	c iter 1184 time 414.303 not-muc 1695 unknown 844 muc 1138
428.39/428.44	c iter 1185 time 414.448 not-muc 1695 unknown 843 muc 1139
428.39/428.44	c iter 1186 time 414.669 not-muc 1695 unknown 842 muc 1140
428.39/428.44	c iter 1187 time 415.109 not-muc 1695 unknown 841 muc 1141
428.39/428.44	c iter 1188 time 415.281 not-muc 1695 unknown 840 muc 1142
428.39/428.44	c iter 1189 time 415.545 not-muc 1695 unknown 839 muc 1143
428.39/428.44	c iter 1190 time 415.753 not-muc 1695 unknown 838 muc 1144
428.39/428.44	c iter 1191 time 415.894 not-muc 1695 unknown 837 muc 1145
428.39/428.44	c iter 1192 time 416.027 not-muc 1695 unknown 836 muc 1146
428.39/428.44	c iter 1193 time 416.168 not-muc 1695 unknown 835 muc 1147
428.39/428.44	c iter 1194 time 416.307 not-muc 1695 unknown 834 muc 1148
428.39/428.44	c iter 1195 time 416.444 not-muc 1695 unknown 833 muc 1149
428.39/428.44	c iter 1196 time 416.744 not-muc 1695 unknown 832 muc 1150
428.39/428.44	c iter 1197 time 416.878 not-muc 1695 unknown 831 muc 1151
428.39/428.44	c iter 1198 time 417.263 not-muc 1695 unknown 830 muc 1152
428.39/428.44	c iter 1199 time 417.343 not-muc 1695 unknown 829 muc 1153
428.39/428.44	c iter 1200 time 417.48 not-muc 1695 unknown 828 muc 1154
428.39/428.44	c iter 1201 time 417.568 not-muc 1695 unknown 827 muc 1155
428.39/428.44	c iter 1202 time 426.84 not-muc 1696 unknown 826 muc 1155
428.39/428.44	c iter 1203 time 427.204 not-muc 1696 unknown 825 muc 1156
445.50/445.53	c iter 1204 time 427.325 not-muc 1696 unknown 824 muc 1157
445.50/445.53	c iter 1205 time 427.445 not-muc 1696 unknown 823 muc 1158
445.50/445.53	c iter 1206 time 427.55 not-muc 1696 unknown 822 muc 1159
445.50/445.53	c iter 1207 time 427.661 not-muc 1696 unknown 821 muc 1160
445.50/445.53	c iter 1208 time 427.781 not-muc 1696 unknown 820 muc 1161
445.50/445.53	c iter 1209 time 428.001 not-muc 1696 unknown 819 muc 1162
445.50/445.53	c iter 1210 time 428.122 not-muc 1696 unknown 818 muc 1163
445.50/445.53	c iter 1211 time 428.283 not-muc 1696 unknown 817 muc 1164
445.50/445.53	c iter 1212 time 428.416 not-muc 1696 unknown 816 muc 1165
445.50/445.53	c iter 1213 time 428.639 not-muc 1696 unknown 815 muc 1166
445.50/445.53	c iter 1214 time 428.775 not-muc 1696 unknown 814 muc 1167
445.50/445.53	c iter 1215 time 428.856 not-muc 1696 unknown 813 muc 1168
445.50/445.53	c iter 1216 time 429.075 not-muc 1696 unknown 812 muc 1169
445.50/445.53	c iter 1217 time 429.188 not-muc 1696 unknown 811 muc 1170
445.50/445.53	c iter 1218 time 429.279 not-muc 1696 unknown 810 muc 1171
445.50/445.53	c iter 1219 time 429.376 not-muc 1696 unknown 809 muc 1172
445.50/445.53	c iter 1220 time 429.511 not-muc 1696 unknown 808 muc 1173
445.50/445.53	c iter 1221 time 429.626 not-muc 1696 unknown 807 muc 1174
445.50/445.53	c iter 1222 time 429.832 not-muc 1696 unknown 806 muc 1175
445.50/445.53	c iter 1223 time 429.955 not-muc 1696 unknown 805 muc 1176
445.50/445.53	c iter 1224 time 430.071 not-muc 1696 unknown 804 muc 1177
445.50/445.53	c iter 1225 time 430.167 not-muc 1696 unknown 803 muc 1178
445.50/445.53	c iter 1226 time 430.288 not-muc 1696 unknown 802 muc 1179
445.50/445.53	c iter 1227 time 430.369 not-muc 1696 unknown 801 muc 1180
445.50/445.53	c iter 1228 time 430.478 not-muc 1696 unknown 800 muc 1181
445.50/445.53	c iter 1229 time 430.617 not-muc 1696 unknown 799 muc 1182
445.50/445.53	c iter 1230 time 430.74 not-muc 1696 unknown 798 muc 1183
445.50/445.53	c iter 1231 time 430.906 not-muc 1696 unknown 797 muc 1184
445.50/445.53	c iter 1232 time 431.044 not-muc 1696 unknown 796 muc 1185
445.50/445.53	c iter 1233 time 431.125 not-muc 1696 unknown 795 muc 1186
445.50/445.53	c iter 1234 time 431.239 not-muc 1696 unknown 794 muc 1187
445.50/445.53	c iter 1235 time 431.355 not-muc 1696 unknown 793 muc 1188
445.50/445.53	c iter 1236 time 431.444 not-muc 1696 unknown 792 muc 1189
445.50/445.53	c iter 1237 time 431.567 not-muc 1696 unknown 791 muc 1190
445.50/445.53	c iter 1238 time 431.673 not-muc 1696 unknown 790 muc 1191
445.50/445.53	c iter 1239 time 431.769 not-muc 1696 unknown 789 muc 1192
445.50/445.53	c iter 1240 time 431.971 not-muc 1696 unknown 788 muc 1193
445.50/445.53	c iter 1241 time 432.061 not-muc 1696 unknown 787 muc 1194
445.50/445.53	c iter 1242 time 432.18 not-muc 1696 unknown 786 muc 1195
445.50/445.53	c iter 1243 time 432.299 not-muc 1696 unknown 785 muc 1196
445.50/445.53	c iter 1244 time 432.475 not-muc 1696 unknown 784 muc 1197
445.50/445.53	c iter 1245 time 432.606 not-muc 1696 unknown 783 muc 1198
445.50/445.53	c iter 1246 time 432.88 not-muc 1696 unknown 782 muc 1199
445.50/445.53	c iter 1247 time 433.007 not-muc 1696 unknown 781 muc 1200
445.50/445.53	c iter 1248 time 433.128 not-muc 1696 unknown 780 muc 1201
445.50/445.53	c iter 1249 time 433.367 not-muc 1696 unknown 779 muc 1202
445.50/445.53	c iter 1250 time 433.738 not-muc 1696 unknown 778 muc 1203
445.50/445.53	c iter 1251 time 433.836 not-muc 1696 unknown 777 muc 1204
445.50/445.53	c iter 1252 time 433.932 not-muc 1696 unknown 776 muc 1205
445.50/445.53	c iter 1253 time 434.028 not-muc 1696 unknown 775 muc 1206
445.50/445.53	c iter 1254 time 434.147 not-muc 1696 unknown 774 muc 1207
445.50/445.53	c iter 1255 time 434.275 not-muc 1696 unknown 773 muc 1208
445.50/445.53	c iter 1256 time 434.412 not-muc 1696 unknown 772 muc 1209
445.50/445.53	c iter 1257 time 434.667 not-muc 1696 unknown 771 muc 1210
445.50/445.53	c iter 1258 time 434.795 not-muc 1696 unknown 770 muc 1211
445.50/445.53	c iter 1259 time 434.962 not-muc 1696 unknown 769 muc 1212
445.50/445.53	c iter 1260 time 435.076 not-muc 1696 unknown 768 muc 1213
445.50/445.53	c iter 1261 time 435.163 not-muc 1696 unknown 767 muc 1214
445.50/445.53	c iter 1262 time 435.351 not-muc 1696 unknown 766 muc 1215
445.50/445.53	c iter 1263 time 442.77 not-muc 1697 unknown 765 muc 1215
445.50/445.53	c iter 1264 time 443.12 not-muc 1697 unknown 764 muc 1216
445.50/445.53	c iter 1265 time 443.262 not-muc 1697 unknown 763 muc 1217
445.50/445.53	c iter 1266 time 443.365 not-muc 1697 unknown 762 muc 1218
445.50/445.53	c iter 1267 time 443.482 not-muc 1697 unknown 761 muc 1219
445.50/445.53	c iter 1268 time 443.58 not-muc 1697 unknown 760 muc 1220
445.50/445.53	c iter 1269 time 443.674 not-muc 1697 unknown 759 muc 1221
445.50/445.53	c iter 1270 time 443.81 not-muc 1697 unknown 758 muc 1222
445.50/445.53	c iter 1271 time 443.964 not-muc 1697 unknown 757 muc 1223
445.50/445.53	c iter 1272 time 444.147 not-muc 1697 unknown 756 muc 1224
481.40/481.42	c iter 1273 time 444.267 not-muc 1697 unknown 755 muc 1225
481.40/481.42	c iter 1274 time 444.398 not-muc 1697 unknown 754 muc 1226
481.40/481.42	c iter 1275 time 444.535 not-muc 1697 unknown 753 muc 1227
481.40/481.42	c iter 1276 time 444.624 not-muc 1697 unknown 752 muc 1228
481.40/481.42	c iter 1277 time 444.728 not-muc 1697 unknown 751 muc 1229
481.40/481.42	c iter 1278 time 444.845 not-muc 1697 unknown 750 muc 1230
481.40/481.42	c iter 1279 time 444.973 not-muc 1697 unknown 749 muc 1231
481.40/481.42	c iter 1280 time 445.221 not-muc 1697 unknown 748 muc 1232
481.40/481.42	c iter 1281 time 445.308 not-muc 1697 unknown 747 muc 1233
481.40/481.42	c iter 1282 time 445.448 not-muc 1697 unknown 746 muc 1234
481.40/481.42	c iter 1283 time 445.542 not-muc 1697 unknown 745 muc 1235
481.40/481.42	c iter 1284 time 445.88 not-muc 1697 unknown 744 muc 1236
481.40/481.42	c iter 1285 time 446.023 not-muc 1697 unknown 743 muc 1237
481.40/481.42	c iter 1286 time 446.111 not-muc 1697 unknown 742 muc 1238
481.40/481.42	c iter 1287 time 446.248 not-muc 1697 unknown 741 muc 1239
481.40/481.42	c iter 1288 time 446.357 not-muc 1697 unknown 740 muc 1240
481.40/481.42	c iter 1289 time 446.451 not-muc 1697 unknown 739 muc 1241
481.40/481.42	c iter 1290 time 446.544 not-muc 1697 unknown 738 muc 1242
481.40/481.42	c iter 1291 time 446.609 not-muc 1697 unknown 737 muc 1243
481.40/481.42	c iter 1292 time 446.672 not-muc 1697 unknown 736 muc 1244
481.40/481.42	c iter 1293 time 446.821 not-muc 1697 unknown 735 muc 1245
481.40/481.42	c iter 1294 time 446.919 not-muc 1697 unknown 734 muc 1246
481.40/481.42	c iter 1295 time 447.008 not-muc 1697 unknown 733 muc 1247
481.40/481.42	c iter 1296 time 447.291 not-muc 1697 unknown 732 muc 1248
481.40/481.42	c iter 1297 time 447.656 not-muc 1697 unknown 731 muc 1249
481.40/481.42	c iter 1298 time 447.801 not-muc 1697 unknown 730 muc 1250
481.40/481.42	c iter 1299 time 448.023 not-muc 1697 unknown 729 muc 1251
481.40/481.42	c iter 1300 time 448.387 not-muc 1697 unknown 728 muc 1252
481.40/481.42	c iter 1301 time 448.509 not-muc 1697 unknown 727 muc 1253
481.40/481.42	c iter 1302 time 448.608 not-muc 1697 unknown 726 muc 1254
481.40/481.42	c iter 1303 time 448.724 not-muc 1697 unknown 725 muc 1255
481.40/481.42	c iter 1304 time 448.808 not-muc 1697 unknown 724 muc 1256
481.40/481.42	c iter 1305 time 448.948 not-muc 1697 unknown 723 muc 1257
481.40/481.42	c iter 1306 time 459.721 not-muc 1699 unknown 721 muc 1257
481.40/481.42	c iter 1307 time 459.913 not-muc 1699 unknown 720 muc 1258
481.40/481.42	c iter 1308 time 460.058 not-muc 1699 unknown 719 muc 1259
481.40/481.42	c iter 1309 time 460.138 not-muc 1699 unknown 718 muc 1260
481.40/481.42	c iter 1310 time 460.271 not-muc 1699 unknown 717 muc 1261
481.40/481.42	c iter 1311 time 460.408 not-muc 1699 unknown 716 muc 1262
481.40/481.42	c iter 1312 time 460.628 not-muc 1699 unknown 715 muc 1263
481.40/481.42	c iter 1313 time 461.086 not-muc 1699 unknown 714 muc 1264
481.40/481.42	c iter 1314 time 461.204 not-muc 1699 unknown 713 muc 1265
481.40/481.42	c iter 1315 time 461.358 not-muc 1699 unknown 712 muc 1266
481.40/481.42	c iter 1316 time 461.489 not-muc 1699 unknown 711 muc 1267
481.40/481.42	c iter 1317 time 461.707 not-muc 1699 unknown 710 muc 1268
481.40/481.42	c iter 1318 time 461.849 not-muc 1699 unknown 709 muc 1269
481.40/481.42	c iter 1319 time 461.946 not-muc 1699 unknown 708 muc 1270
481.40/481.42	c iter 1320 time 462.09 not-muc 1699 unknown 707 muc 1271
481.40/481.42	c iter 1321 time 462.205 not-muc 1699 unknown 706 muc 1272
481.40/481.42	c iter 1322 time 462.546 not-muc 1699 unknown 705 muc 1273
481.40/481.42	c iter 1323 time 462.654 not-muc 1699 unknown 704 muc 1274
481.40/481.42	c iter 1324 time 462.824 not-muc 1699 unknown 703 muc 1275
481.40/481.42	c iter 1325 time 463.251 not-muc 1699 unknown 702 muc 1276
481.40/481.42	c iter 1326 time 472.448 not-muc 1700 unknown 701 muc 1276
481.40/481.42	c iter 1327 time 472.651 not-muc 1700 unknown 700 muc 1277
481.40/481.42	c iter 1328 time 472.709 not-muc 1700 unknown 699 muc 1278
481.40/481.42	c iter 1329 time 472.912 not-muc 1700 unknown 698 muc 1279
481.40/481.42	c iter 1330 time 472.967 not-muc 1700 unknown 697 muc 1280
481.40/481.42	c iter 1331 time 473.095 not-muc 1700 unknown 696 muc 1281
481.40/481.42	c iter 1332 time 473.181 not-muc 1700 unknown 695 muc 1282
481.40/481.42	c iter 1333 time 473.234 not-muc 1700 unknown 694 muc 1283
481.40/481.42	c iter 1334 time 473.447 not-muc 1700 unknown 693 muc 1284
481.40/481.42	c iter 1335 time 473.506 not-muc 1700 unknown 692 muc 1285
481.40/481.42	c iter 1336 time 473.594 not-muc 1700 unknown 691 muc 1286
481.40/481.42	c iter 1337 time 473.729 not-muc 1700 unknown 690 muc 1287
481.40/481.42	c iter 1338 time 473.825 not-muc 1700 unknown 689 muc 1288
481.40/481.42	c iter 1339 time 473.92 not-muc 1700 unknown 688 muc 1289
481.40/481.42	c iter 1340 time 479.747 not-muc 1701 unknown 687 muc 1289
481.40/481.42	c iter 1341 time 479.957 not-muc 1701 unknown 686 muc 1290
481.40/481.42	c iter 1342 time 480.109 not-muc 1701 unknown 685 muc 1291
503.50/503.52	c iter 1343 time 480.295 not-muc 1701 unknown 684 muc 1292
503.50/503.52	c iter 1344 time 480.422 not-muc 1701 unknown 683 muc 1293
503.50/503.52	c iter 1345 time 480.598 not-muc 1701 unknown 682 muc 1294
503.50/503.52	c iter 1346 time 480.685 not-muc 1701 unknown 681 muc 1295
503.50/503.52	c iter 1347 time 480.749 not-muc 1701 unknown 680 muc 1296
503.50/503.52	c iter 1348 time 480.842 not-muc 1701 unknown 679 muc 1297
503.50/503.52	c iter 1349 time 480.92 not-muc 1701 unknown 678 muc 1298
503.50/503.52	c iter 1350 time 481.005 not-muc 1701 unknown 677 muc 1299
503.50/503.52	c iter 1351 time 481.294 not-muc 1701 unknown 676 muc 1300
503.50/503.52	c iter 1352 time 481.417 not-muc 1701 unknown 675 muc 1301
503.50/503.52	c iter 1353 time 481.494 not-muc 1701 unknown 674 muc 1302
503.50/503.52	c iter 1354 time 481.722 not-muc 1701 unknown 673 muc 1303
503.50/503.52	c iter 1355 time 481.796 not-muc 1701 unknown 672 muc 1304
503.50/503.52	c iter 1356 time 481.965 not-muc 1701 unknown 671 muc 1305
503.50/503.52	c iter 1357 time 482.064 not-muc 1701 unknown 670 muc 1306
503.50/503.52	c iter 1358 time 482.181 not-muc 1701 unknown 669 muc 1307
503.50/503.52	c iter 1359 time 482.338 not-muc 1701 unknown 668 muc 1308
503.50/503.52	c iter 1360 time 482.549 not-muc 1701 unknown 667 muc 1309
503.50/503.52	c iter 1361 time 482.622 not-muc 1701 unknown 666 muc 1310
503.50/503.52	c iter 1362 time 482.74 not-muc 1701 unknown 665 muc 1311
503.50/503.52	c iter 1363 time 482.958 not-muc 1701 unknown 664 muc 1312
503.50/503.52	c iter 1364 time 483.03 not-muc 1701 unknown 663 muc 1313
503.50/503.52	c iter 1365 time 483.293 not-muc 1701 unknown 662 muc 1314
503.50/503.52	c iter 1366 time 483.386 not-muc 1701 unknown 661 muc 1315
503.50/503.52	c iter 1367 time 483.48 not-muc 1701 unknown 660 muc 1316
503.50/503.52	c iter 1368 time 483.614 not-muc 1701 unknown 659 muc 1317
503.50/503.52	c iter 1369 time 483.679 not-muc 1701 unknown 658 muc 1318
503.50/503.52	c iter 1370 time 483.788 not-muc 1701 unknown 657 muc 1319
503.50/503.52	c iter 1371 time 483.871 not-muc 1701 unknown 656 muc 1320
503.50/503.52	c iter 1372 time 483.939 not-muc 1701 unknown 655 muc 1321
503.50/503.52	c iter 1373 time 484.068 not-muc 1701 unknown 654 muc 1322
503.50/503.52	c iter 1374 time 484.13 not-muc 1701 unknown 653 muc 1323
503.50/503.52	c iter 1375 time 484.235 not-muc 1701 unknown 652 muc 1324
503.50/503.52	c iter 1376 time 484.365 not-muc 1701 unknown 651 muc 1325
503.50/503.52	c iter 1377 time 484.699 not-muc 1701 unknown 650 muc 1326
503.50/503.52	c iter 1378 time 484.788 not-muc 1701 unknown 649 muc 1327
503.50/503.52	c iter 1379 time 484.983 not-muc 1701 unknown 648 muc 1328
503.50/503.52	c iter 1380 time 491.149 not-muc 1703 unknown 646 muc 1328
503.50/503.52	c iter 1381 time 491.587 not-muc 1703 unknown 645 muc 1329
503.50/503.52	c iter 1382 time 491.674 not-muc 1703 unknown 644 muc 1330
503.50/503.52	c iter 1383 time 491.791 not-muc 1703 unknown 643 muc 1331
503.50/503.52	c iter 1384 time 492.095 not-muc 1703 unknown 642 muc 1332
503.50/503.52	c iter 1385 time 492.361 not-muc 1703 unknown 641 muc 1333
503.50/503.52	c iter 1386 time 492.554 not-muc 1703 unknown 640 muc 1334
503.50/503.52	c iter 1387 time 492.674 not-muc 1703 unknown 639 muc 1335
503.50/503.52	c iter 1388 time 492.925 not-muc 1703 unknown 638 muc 1336
503.50/503.52	c iter 1389 time 493.05 not-muc 1703 unknown 637 muc 1337
503.50/503.52	c iter 1390 time 493.18 not-muc 1703 unknown 636 muc 1338
503.50/503.52	c iter 1391 time 493.273 not-muc 1703 unknown 635 muc 1339
503.50/503.52	c iter 1392 time 499.862 not-muc 1704 unknown 634 muc 1339
503.50/503.52	c iter 1393 time 500.012 not-muc 1704 unknown 633 muc 1340
503.50/503.52	c iter 1394 time 500.093 not-muc 1704 unknown 632 muc 1341
503.50/503.52	c iter 1395 time 500.235 not-muc 1704 unknown 631 muc 1342
503.50/503.52	c iter 1396 time 500.433 not-muc 1704 unknown 630 muc 1343
503.50/503.52	c iter 1397 time 500.6 not-muc 1704 unknown 629 muc 1344
503.50/503.52	c iter 1398 time 500.834 not-muc 1704 unknown 628 muc 1345
503.50/503.52	c iter 1399 time 501.172 not-muc 1704 unknown 627 muc 1346
503.50/503.52	c iter 1400 time 501.245 not-muc 1704 unknown 626 muc 1347
503.50/503.52	c iter 1401 time 501.338 not-muc 1704 unknown 625 muc 1348
503.50/503.52	c iter 1402 time 501.412 not-muc 1704 unknown 624 muc 1349
503.50/503.52	c iter 1403 time 501.477 not-muc 1704 unknown 623 muc 1350
503.50/503.52	c iter 1404 time 501.534 not-muc 1704 unknown 622 muc 1351
503.50/503.52	c iter 1405 time 501.638 not-muc 1704 unknown 621 muc 1352
503.50/503.52	c iter 1406 time 501.669 not-muc 1704 unknown 620 muc 1353
503.50/503.52	c iter 1407 time 501.71 not-muc 1704 unknown 619 muc 1354
503.50/503.52	c iter 1408 time 501.801 not-muc 1704 unknown 618 muc 1355
503.50/503.52	c iter 1409 time 501.921 not-muc 1704 unknown 617 muc 1356
503.50/503.52	c iter 1410 time 501.983 not-muc 1704 unknown 616 muc 1357
503.50/503.52	c iter 1411 time 502.058 not-muc 1704 unknown 615 muc 1358
503.50/503.52	c iter 1412 time 502.187 not-muc 1704 unknown 614 muc 1359
512.70/512.76	c iter 1413 time 502.31 not-muc 1704 unknown 613 muc 1360
512.70/512.76	c iter 1414 time 502.392 not-muc 1704 unknown 612 muc 1361
512.70/512.76	c iter 1415 time 502.454 not-muc 1704 unknown 611 muc 1362
512.70/512.76	c iter 1416 time 502.546 not-muc 1704 unknown 610 muc 1363
512.70/512.76	c iter 1417 time 502.602 not-muc 1704 unknown 609 muc 1364
512.70/512.76	c iter 1418 time 502.731 not-muc 1704 unknown 608 muc 1365
512.70/512.76	c iter 1419 time 502.838 not-muc 1704 unknown 607 muc 1366
512.70/512.76	c iter 1420 time 502.896 not-muc 1704 unknown 606 muc 1367
512.70/512.76	c iter 1421 time 502.954 not-muc 1704 unknown 605 muc 1368
512.70/512.76	c iter 1422 time 503.041 not-muc 1704 unknown 604 muc 1369
512.70/512.76	c iter 1423 time 503.164 not-muc 1704 unknown 603 muc 1370
512.70/512.76	c iter 1424 time 503.256 not-muc 1704 unknown 602 muc 1371
512.70/512.76	c iter 1425 time 503.542 not-muc 1704 unknown 601 muc 1372
512.70/512.76	c iter 1426 time 503.639 not-muc 1704 unknown 600 muc 1373
512.70/512.76	c iter 1427 time 503.747 not-muc 1704 unknown 599 muc 1374
512.70/512.76	c iter 1428 time 503.835 not-muc 1704 unknown 598 muc 1375
512.70/512.76	c iter 1429 time 504.178 not-muc 1704 unknown 597 muc 1376
512.70/512.76	c iter 1430 time 504.435 not-muc 1704 unknown 596 muc 1377
512.70/512.76	c iter 1431 time 504.749 not-muc 1704 unknown 595 muc 1378
512.70/512.76	c iter 1432 time 504.805 not-muc 1704 unknown 594 muc 1379
512.70/512.76	c iter 1433 time 504.848 not-muc 1704 unknown 593 muc 1380
512.70/512.76	c iter 1434 time 504.895 not-muc 1704 unknown 592 muc 1381
512.70/512.76	c iter 1435 time 505.003 not-muc 1704 unknown 591 muc 1382
512.70/512.76	c iter 1436 time 505.075 not-muc 1704 unknown 590 muc 1383
512.70/512.76	c iter 1437 time 505.156 not-muc 1704 unknown 589 muc 1384
512.70/512.76	c iter 1438 time 505.22 not-muc 1704 unknown 588 muc 1385
512.70/512.76	c iter 1439 time 505.289 not-muc 1704 unknown 587 muc 1386
512.70/512.76	c iter 1440 time 505.337 not-muc 1704 unknown 586 muc 1387
512.70/512.76	c iter 1441 time 505.43 not-muc 1704 unknown 585 muc 1388
512.70/512.76	c iter 1442 time 505.512 not-muc 1704 unknown 584 muc 1389
512.70/512.76	c iter 1443 time 505.616 not-muc 1704 unknown 583 muc 1390
512.70/512.76	c iter 1444 time 505.852 not-muc 1704 unknown 582 muc 1391
512.70/512.76	c iter 1445 time 506.095 not-muc 1704 unknown 581 muc 1392
512.70/512.76	c iter 1446 time 506.413 not-muc 1704 unknown 580 muc 1393
512.70/512.76	c iter 1447 time 506.597 not-muc 1704 unknown 579 muc 1394
512.70/512.76	c iter 1448 time 506.649 not-muc 1704 unknown 578 muc 1395
512.70/512.76	c iter 1449 time 506.748 not-muc 1704 unknown 577 muc 1396
512.70/512.76	c iter 1450 time 507.011 not-muc 1704 unknown 576 muc 1397
512.70/512.76	c iter 1451 time 507.051 not-muc 1704 unknown 575 muc 1398
512.70/512.76	c iter 1452 time 507.085 not-muc 1704 unknown 574 muc 1399
512.70/512.76	c iter 1453 time 507.196 not-muc 1704 unknown 573 muc 1400
512.70/512.76	c iter 1454 time 507.311 not-muc 1704 unknown 572 muc 1401
512.70/512.76	c iter 1455 time 507.401 not-muc 1704 unknown 571 muc 1402
512.70/512.76	c iter 1456 time 507.572 not-muc 1704 unknown 570 muc 1403
512.70/512.76	c iter 1457 time 507.661 not-muc 1704 unknown 569 muc 1404
512.70/512.76	c iter 1458 time 507.77 not-muc 1704 unknown 568 muc 1405
512.70/512.76	c iter 1459 time 508.034 not-muc 1704 unknown 567 muc 1406
512.70/512.76	c iter 1460 time 508.075 not-muc 1704 unknown 566 muc 1407
512.70/512.76	c iter 1461 time 508.317 not-muc 1704 unknown 565 muc 1408
512.70/512.76	c iter 1462 time 508.416 not-muc 1704 unknown 564 muc 1409
512.70/512.76	c iter 1463 time 508.729 not-muc 1704 unknown 563 muc 1410
512.70/512.76	c iter 1464 time 508.984 not-muc 1704 unknown 562 muc 1411
512.70/512.76	c iter 1465 time 509.362 not-muc 1704 unknown 561 muc 1412
512.70/512.76	c iter 1466 time 509.68 not-muc 1704 unknown 560 muc 1413
512.70/512.76	c iter 1467 time 509.766 not-muc 1704 unknown 559 muc 1414
512.70/512.76	c iter 1468 time 509.857 not-muc 1704 unknown 558 muc 1415
512.70/512.76	c iter 1469 time 510.119 not-muc 1704 unknown 557 muc 1416
512.70/512.76	c iter 1470 time 510.168 not-muc 1704 unknown 556 muc 1417
512.70/512.76	c iter 1471 time 510.289 not-muc 1704 unknown 555 muc 1418
512.70/512.76	c iter 1472 time 510.388 not-muc 1704 unknown 554 muc 1419
512.70/512.76	c iter 1473 time 510.506 not-muc 1704 unknown 553 muc 1420
512.70/512.76	c iter 1474 time 510.597 not-muc 1704 unknown 552 muc 1421
512.70/512.76	c iter 1475 time 510.642 not-muc 1704 unknown 551 muc 1422
512.70/512.76	c iter 1476 time 510.747 not-muc 1704 unknown 550 muc 1423
512.70/512.76	c iter 1477 time 510.836 not-muc 1704 unknown 549 muc 1424
512.70/512.76	c iter 1478 time 511.184 not-muc 1704 unknown 548 muc 1425
512.70/512.76	c iter 1479 time 511.289 not-muc 1704 unknown 547 muc 1426
512.70/512.76	c iter 1480 time 511.381 not-muc 1704 unknown 546 muc 1427
512.70/512.76	c iter 1481 time 511.421 not-muc 1704 unknown 545 muc 1428
531.89/531.99	c iter 1482 time 511.526 not-muc 1704 unknown 544 muc 1429
531.89/531.99	c iter 1483 time 511.59 not-muc 1704 unknown 543 muc 1430
531.89/531.99	c iter 1484 time 511.849 not-muc 1704 unknown 542 muc 1431
531.89/531.99	c iter 1485 time 511.977 not-muc 1704 unknown 541 muc 1432
531.89/531.99	c iter 1486 time 512.064 not-muc 1704 unknown 540 muc 1433
531.89/531.99	c iter 1487 time 512.19 not-muc 1704 unknown 539 muc 1434
531.89/531.99	c iter 1488 time 512.579 not-muc 1704 unknown 538 muc 1435
531.89/531.99	c iter 1489 time 512.67 not-muc 1704 unknown 537 muc 1436
531.89/531.99	c iter 1490 time 512.763 not-muc 1704 unknown 536 muc 1437
531.89/531.99	c iter 1491 time 512.996 not-muc 1704 unknown 535 muc 1438
531.89/531.99	c iter 1492 time 513.09 not-muc 1704 unknown 534 muc 1439
531.89/531.99	c iter 1493 time 513.143 not-muc 1704 unknown 533 muc 1440
531.89/531.99	c iter 1494 time 513.247 not-muc 1704 unknown 532 muc 1441
531.89/531.99	c iter 1495 time 513.377 not-muc 1704 unknown 531 muc 1442
531.89/531.99	c iter 1496 time 513.414 not-muc 1704 unknown 530 muc 1443
531.89/531.99	c iter 1497 time 513.523 not-muc 1704 unknown 529 muc 1444
531.89/531.99	c iter 1498 time 513.627 not-muc 1704 unknown 528 muc 1445
531.89/531.99	c iter 1499 time 513.816 not-muc 1704 unknown 527 muc 1446
531.89/531.99	c iter 1500 time 513.85 not-muc 1704 unknown 526 muc 1447
531.89/531.99	c iter 1501 time 514.048 not-muc 1704 unknown 525 muc 1448
531.89/531.99	c iter 1502 time 514.289 not-muc 1704 unknown 524 muc 1449
531.89/531.99	c iter 1503 time 514.695 not-muc 1704 unknown 523 muc 1450
531.89/531.99	c iter 1504 time 514.986 not-muc 1704 unknown 522 muc 1451
531.89/531.99	c iter 1505 time 515.078 not-muc 1704 unknown 521 muc 1452
531.89/531.99	c iter 1506 time 515.145 not-muc 1704 unknown 520 muc 1453
531.89/531.99	c iter 1507 time 515.195 not-muc 1704 unknown 519 muc 1454
531.89/531.99	c iter 1508 time 515.299 not-muc 1704 unknown 518 muc 1455
531.89/531.99	c iter 1509 time 515.378 not-muc 1704 unknown 517 muc 1456
531.89/531.99	c iter 1510 time 515.413 not-muc 1704 unknown 516 muc 1457
531.89/531.99	c iter 1511 time 515.488 not-muc 1704 unknown 515 muc 1458
531.89/531.99	c iter 1512 time 515.604 not-muc 1704 unknown 514 muc 1459
531.89/531.99	c iter 1513 time 515.688 not-muc 1704 unknown 513 muc 1460
531.89/531.99	c iter 1514 time 515.78 not-muc 1704 unknown 512 muc 1461
531.89/531.99	c iter 1515 time 515.865 not-muc 1704 unknown 511 muc 1462
531.89/531.99	c iter 1516 time 515.968 not-muc 1704 unknown 510 muc 1463
531.89/531.99	c iter 1517 time 526.129 not-muc 1706 unknown 508 muc 1463
531.89/531.99	c iter 1518 time 526.343 not-muc 1706 unknown 507 muc 1464
531.89/531.99	c iter 1519 time 526.425 not-muc 1706 unknown 506 muc 1465
531.89/531.99	c iter 1520 time 526.532 not-muc 1706 unknown 505 muc 1466
531.89/531.99	c iter 1521 time 526.708 not-muc 1706 unknown 504 muc 1467
531.89/531.99	c iter 1522 time 526.785 not-muc 1706 unknown 503 muc 1468
531.89/531.99	c iter 1523 time 527.006 not-muc 1706 unknown 502 muc 1469
531.89/531.99	c iter 1524 time 527.093 not-muc 1706 unknown 501 muc 1470
531.89/531.99	c iter 1525 time 527.18 not-muc 1706 unknown 500 muc 1471
531.89/531.99	c iter 1526 time 527.251 not-muc 1706 unknown 499 muc 1472
531.89/531.99	c iter 1527 time 527.365 not-muc 1706 unknown 498 muc 1473
531.89/531.99	c iter 1528 time 527.637 not-muc 1706 unknown 497 muc 1474
531.89/531.99	c iter 1529 time 527.958 not-muc 1706 unknown 496 muc 1475
531.89/531.99	c iter 1530 time 528.037 not-muc 1706 unknown 495 muc 1476
531.89/531.99	c iter 1531 time 528.22 not-muc 1706 unknown 494 muc 1477
531.89/531.99	c iter 1532 time 528.302 not-muc 1706 unknown 493 muc 1478
531.89/531.99	c iter 1533 time 528.582 not-muc 1706 unknown 492 muc 1479
531.89/531.99	c iter 1534 time 528.692 not-muc 1706 unknown 491 muc 1480
531.89/531.99	c iter 1535 time 529.038 not-muc 1706 unknown 490 muc 1481
531.89/531.99	c iter 1536 time 529.135 not-muc 1706 unknown 489 muc 1482
531.89/531.99	c iter 1537 time 529.223 not-muc 1706 unknown 488 muc 1483
531.89/531.99	c iter 1538 time 529.304 not-muc 1706 unknown 487 muc 1484
531.89/531.99	c iter 1539 time 529.375 not-muc 1706 unknown 486 muc 1485
531.89/531.99	c iter 1540 time 529.566 not-muc 1706 unknown 485 muc 1486
531.89/531.99	c iter 1541 time 529.644 not-muc 1706 unknown 484 muc 1487
531.89/531.99	c iter 1542 time 529.741 not-muc 1706 unknown 483 muc 1488
531.89/531.99	c iter 1543 time 529.869 not-muc 1706 unknown 482 muc 1489
531.89/531.99	c iter 1544 time 530.085 not-muc 1706 unknown 481 muc 1490
531.89/531.99	c iter 1545 time 530.202 not-muc 1706 unknown 480 muc 1491
531.89/531.99	c iter 1546 time 530.31 not-muc 1706 unknown 479 muc 1492
531.89/531.99	c iter 1547 time 530.344 not-muc 1706 unknown 478 muc 1493
531.89/531.99	c iter 1548 time 530.384 not-muc 1706 unknown 477 muc 1494
531.89/531.99	c iter 1549 time 530.414 not-muc 1706 unknown 476 muc 1495
531.89/531.99	c iter 1550 time 530.583 not-muc 1706 unknown 475 muc 1496
531.89/531.99	c iter 1551 time 530.637 not-muc 1706 unknown 474 muc 1497
562.30/562.33	c iter 1552 time 530.901 not-muc 1706 unknown 473 muc 1498
562.30/562.33	c iter 1553 time 530.985 not-muc 1706 unknown 472 muc 1499
562.30/562.33	c iter 1554 time 531.085 not-muc 1706 unknown 471 muc 1500
562.30/562.33	c iter 1555 time 531.2 not-muc 1706 unknown 470 muc 1501
562.30/562.33	c iter 1556 time 531.308 not-muc 1706 unknown 469 muc 1502
562.30/562.33	c iter 1557 time 531.645 not-muc 1706 unknown 468 muc 1503
562.30/562.33	c iter 1558 time 531.753 not-muc 1706 unknown 467 muc 1504
562.30/562.33	c iter 1559 time 531.898 not-muc 1706 unknown 466 muc 1505
562.30/562.33	c iter 1560 time 532.019 not-muc 1706 unknown 465 muc 1506
562.30/562.33	c iter 1561 time 532.117 not-muc 1706 unknown 464 muc 1507
562.30/562.33	c iter 1562 time 532.442 not-muc 1706 unknown 463 muc 1508
562.30/562.33	c iter 1563 time 532.555 not-muc 1706 unknown 462 muc 1509
562.30/562.33	c iter 1564 time 532.788 not-muc 1706 unknown 461 muc 1510
562.30/562.33	c iter 1565 time 532.885 not-muc 1706 unknown 460 muc 1511
562.30/562.33	c iter 1566 time 533.103 not-muc 1706 unknown 459 muc 1512
562.30/562.33	c iter 1567 time 533.226 not-muc 1706 unknown 458 muc 1513
562.30/562.33	c iter 1568 time 533.333 not-muc 1706 unknown 457 muc 1514
562.30/562.33	c iter 1569 time 533.421 not-muc 1706 unknown 456 muc 1515
562.30/562.33	c iter 1570 time 533.772 not-muc 1706 unknown 455 muc 1516
562.30/562.33	c iter 1571 time 533.804 not-muc 1706 unknown 454 muc 1517
562.30/562.33	c iter 1572 time 534.09 not-muc 1706 unknown 453 muc 1518
562.30/562.33	c iter 1573 time 534.186 not-muc 1706 unknown 452 muc 1519
562.30/562.33	c iter 1574 time 534.66 not-muc 1706 unknown 451 muc 1520
562.30/562.33	c iter 1575 time 534.733 not-muc 1706 unknown 450 muc 1521
562.30/562.33	c iter 1576 time 534.826 not-muc 1706 unknown 449 muc 1522
562.30/562.33	c iter 1577 time 534.936 not-muc 1706 unknown 448 muc 1523
562.30/562.33	c iter 1578 time 535.188 not-muc 1706 unknown 447 muc 1524
562.30/562.33	c iter 1579 time 535.291 not-muc 1706 unknown 446 muc 1525
562.30/562.33	c iter 1580 time 535.384 not-muc 1706 unknown 445 muc 1526
562.30/562.33	c iter 1581 time 535.482 not-muc 1706 unknown 444 muc 1527
562.30/562.33	c iter 1582 time 535.638 not-muc 1706 unknown 443 muc 1528
562.30/562.33	c iter 1583 time 535.928 not-muc 1706 unknown 442 muc 1529
562.30/562.33	c iter 1584 time 536.149 not-muc 1706 unknown 441 muc 1530
562.30/562.33	c iter 1585 time 543.237 not-muc 1707 unknown 440 muc 1530
562.30/562.33	c iter 1586 time 543.446 not-muc 1707 unknown 439 muc 1531
562.30/562.33	c iter 1587 time 543.544 not-muc 1707 unknown 438 muc 1532
562.30/562.33	c iter 1588 time 543.644 not-muc 1707 unknown 437 muc 1533
562.30/562.33	c iter 1589 time 543.762 not-muc 1707 unknown 436 muc 1534
562.30/562.33	c iter 1590 time 543.834 not-muc 1707 unknown 435 muc 1535
562.30/562.33	c iter 1591 time 543.994 not-muc 1707 unknown 434 muc 1536
562.30/562.33	c iter 1592 time 544.053 not-muc 1707 unknown 433 muc 1537
562.30/562.33	c iter 1593 time 544.174 not-muc 1707 unknown 432 muc 1538
562.30/562.33	c iter 1594 time 544.245 not-muc 1707 unknown 431 muc 1539
562.30/562.33	c iter 1595 time 544.347 not-muc 1707 unknown 430 muc 1540
562.30/562.33	c iter 1596 time 544.406 not-muc 1707 unknown 429 muc 1541
562.30/562.33	c iter 1597 time 544.507 not-muc 1707 unknown 428 muc 1542
562.30/562.33	c iter 1598 time 544.794 not-muc 1707 unknown 427 muc 1543
562.30/562.33	c iter 1599 time 544.802 not-muc 1707 unknown 426 muc 1544
562.30/562.33	c iter 1600 time 544.894 not-muc 1707 unknown 425 muc 1545
562.30/562.33	c iter 1601 time 545.118 not-muc 1707 unknown 424 muc 1546
562.30/562.33	c iter 1602 time 545.21 not-muc 1707 unknown 423 muc 1547
562.30/562.33	c iter 1603 time 545.379 not-muc 1707 unknown 422 muc 1548
562.30/562.33	c iter 1604 time 545.516 not-muc 1707 unknown 421 muc 1549
562.30/562.33	c iter 1605 time 545.635 not-muc 1707 unknown 420 muc 1550
562.30/562.33	c iter 1606 time 545.699 not-muc 1707 unknown 419 muc 1551
562.30/562.33	c iter 1607 time 545.825 not-muc 1707 unknown 418 muc 1552
562.30/562.33	c iter 1608 time 546.114 not-muc 1707 unknown 417 muc 1553
562.30/562.33	c iter 1609 time 546.281 not-muc 1707 unknown 416 muc 1554
562.30/562.33	c iter 1610 time 546.427 not-muc 1707 unknown 415 muc 1555
562.30/562.33	c iter 1611 time 552.506 not-muc 1708 unknown 414 muc 1555
562.30/562.33	c iter 1612 time 559.764 not-muc 1710 unknown 412 muc 1555
562.30/562.33	c iter 1613 time 560.186 not-muc 1710 unknown 411 muc 1556
562.30/562.33	c iter 1614 time 560.333 not-muc 1710 unknown 410 muc 1557
562.30/562.33	c iter 1615 time 560.418 not-muc 1710 unknown 409 muc 1558
562.30/562.33	c iter 1616 time 560.515 not-muc 1710 unknown 408 muc 1559
562.30/562.33	c iter 1617 time 560.622 not-muc 1710 unknown 407 muc 1560
562.30/562.33	c iter 1618 time 560.727 not-muc 1710 unknown 406 muc 1561
562.30/562.33	c iter 1619 time 560.854 not-muc 1710 unknown 405 muc 1562
562.30/562.33	c iter 1620 time 560.952 not-muc 1710 unknown 404 muc 1563
579.39/579.42	c iter 1621 time 561.178 not-muc 1710 unknown 403 muc 1564
579.39/579.42	c iter 1622 time 561.268 not-muc 1710 unknown 402 muc 1565
579.39/579.42	c iter 1623 time 561.303 not-muc 1710 unknown 401 muc 1566
579.39/579.42	c iter 1624 time 561.379 not-muc 1710 unknown 400 muc 1567
579.39/579.42	c iter 1625 time 561.795 not-muc 1710 unknown 399 muc 1568
579.39/579.42	c iter 1626 time 561.837 not-muc 1710 unknown 398 muc 1569
579.39/579.42	c iter 1627 time 561.931 not-muc 1710 unknown 397 muc 1570
579.39/579.42	c iter 1628 time 562.191 not-muc 1710 unknown 396 muc 1571
579.39/579.42	c iter 1629 time 562.217 not-muc 1710 unknown 395 muc 1572
579.39/579.42	c iter 1630 time 562.309 not-muc 1710 unknown 394 muc 1573
579.39/579.42	c iter 1631 time 562.368 not-muc 1710 unknown 393 muc 1574
579.39/579.42	c iter 1632 time 562.454 not-muc 1710 unknown 392 muc 1575
579.39/579.42	c iter 1633 time 562.767 not-muc 1710 unknown 391 muc 1576
579.39/579.42	c iter 1634 time 571.687 not-muc 1711 unknown 390 muc 1576
579.39/579.42	c iter 1635 time 571.893 not-muc 1711 unknown 389 muc 1577
579.39/579.42	c iter 1636 time 571.991 not-muc 1711 unknown 388 muc 1578
579.39/579.42	c iter 1637 time 572.072 not-muc 1711 unknown 387 muc 1579
579.39/579.42	c iter 1638 time 572.315 not-muc 1711 unknown 386 muc 1580
579.39/579.42	c iter 1639 time 572.397 not-muc 1711 unknown 385 muc 1581
579.39/579.42	c iter 1640 time 572.477 not-muc 1711 unknown 384 muc 1582
579.39/579.42	c iter 1641 time 572.581 not-muc 1711 unknown 383 muc 1583
579.39/579.42	c iter 1642 time 572.685 not-muc 1711 unknown 382 muc 1584
579.39/579.42	c iter 1643 time 572.766 not-muc 1711 unknown 381 muc 1585
579.39/579.42	c iter 1644 time 572.825 not-muc 1711 unknown 380 muc 1586
579.39/579.42	c iter 1645 time 572.931 not-muc 1711 unknown 379 muc 1587
579.39/579.42	c iter 1646 time 572.95 not-muc 1711 unknown 378 muc 1588
579.39/579.42	c iter 1647 time 572.991 not-muc 1711 unknown 377 muc 1589
579.39/579.42	c iter 1648 time 573.058 not-muc 1711 unknown 376 muc 1590
579.39/579.42	c iter 1649 time 573.104 not-muc 1711 unknown 375 muc 1591
579.39/579.42	c iter 1650 time 573.28 not-muc 1711 unknown 374 muc 1592
579.39/579.42	c iter 1651 time 573.359 not-muc 1711 unknown 373 muc 1593
579.39/579.42	c iter 1652 time 573.452 not-muc 1711 unknown 372 muc 1594
579.39/579.42	c iter 1653 time 573.545 not-muc 1711 unknown 371 muc 1595
579.39/579.42	c iter 1654 time 573.642 not-muc 1711 unknown 370 muc 1596
579.39/579.42	c iter 1655 time 574.036 not-muc 1711 unknown 369 muc 1597
579.39/579.42	c iter 1656 time 574.107 not-muc 1711 unknown 368 muc 1598
579.39/579.42	c iter 1657 time 574.206 not-muc 1711 unknown 367 muc 1599
579.39/579.42	c iter 1658 time 574.268 not-muc 1711 unknown 366 muc 1600
579.39/579.42	c iter 1659 time 574.366 not-muc 1711 unknown 365 muc 1601
579.39/579.42	c iter 1660 time 574.469 not-muc 1711 unknown 364 muc 1602
579.39/579.42	c iter 1661 time 574.475 not-muc 1711 unknown 363 muc 1603
579.39/579.42	c iter 1662 time 574.546 not-muc 1711 unknown 362 muc 1604
579.39/579.42	c iter 1663 time 574.856 not-muc 1711 unknown 361 muc 1605
579.39/579.42	c iter 1664 time 574.884 not-muc 1711 unknown 360 muc 1606
579.39/579.42	c iter 1665 time 574.965 not-muc 1711 unknown 359 muc 1607
579.39/579.42	c iter 1666 time 575.041 not-muc 1711 unknown 358 muc 1608
579.39/579.42	c iter 1667 time 575.319 not-muc 1711 unknown 357 muc 1609
579.39/579.42	c iter 1668 time 575.398 not-muc 1711 unknown 356 muc 1610
579.39/579.42	c iter 1669 time 575.476 not-muc 1711 unknown 355 muc 1611
579.39/579.42	c iter 1670 time 575.536 not-muc 1711 unknown 354 muc 1612
579.39/579.42	c iter 1671 time 575.632 not-muc 1711 unknown 353 muc 1613
579.39/579.42	c iter 1672 time 575.726 not-muc 1711 unknown 352 muc 1614
579.39/579.42	c iter 1673 time 575.818 not-muc 1711 unknown 351 muc 1615
579.39/579.42	c iter 1674 time 576.134 not-muc 1711 unknown 350 muc 1616
579.39/579.42	c iter 1675 time 576.271 not-muc 1711 unknown 349 muc 1617
579.39/579.42	c iter 1676 time 576.402 not-muc 1711 unknown 348 muc 1618
579.39/579.42	c iter 1677 time 576.494 not-muc 1711 unknown 347 muc 1619
579.39/579.42	c iter 1678 time 576.732 not-muc 1711 unknown 346 muc 1620
579.39/579.42	c iter 1679 time 576.756 not-muc 1711 unknown 345 muc 1621
579.39/579.42	c iter 1680 time 576.806 not-muc 1711 unknown 344 muc 1622
579.39/579.42	c iter 1681 time 576.9 not-muc 1711 unknown 343 muc 1623
579.39/579.42	c iter 1682 time 577.029 not-muc 1711 unknown 342 muc 1624
579.39/579.42	c iter 1683 time 577.108 not-muc 1711 unknown 341 muc 1625
579.39/579.42	c iter 1684 time 577.178 not-muc 1711 unknown 340 muc 1626
579.39/579.42	c iter 1685 time 577.29 not-muc 1711 unknown 339 muc 1627
579.39/579.42	c iter 1686 time 577.552 not-muc 1711 unknown 338 muc 1628
579.39/579.42	c iter 1687 time 577.653 not-muc 1711 unknown 337 muc 1629
579.39/579.42	c iter 1688 time 577.776 not-muc 1711 unknown 336 muc 1630
579.39/579.42	c iter 1689 time 577.915 not-muc 1711 unknown 335 muc 1631
579.39/579.42	c iter 1690 time 578.022 not-muc 1711 unknown 334 muc 1632
597.40/597.46	c iter 1691 time 578.113 not-muc 1711 unknown 333 muc 1633
597.40/597.46	c iter 1692 time 578.182 not-muc 1711 unknown 332 muc 1634
597.40/597.46	c iter 1693 time 578.184 not-muc 1711 unknown 331 muc 1635
597.40/597.46	c iter 1694 time 578.282 not-muc 1711 unknown 330 muc 1636
597.40/597.46	c iter 1695 time 578.597 not-muc 1711 unknown 329 muc 1637
597.40/597.46	c iter 1696 time 578.845 not-muc 1711 unknown 328 muc 1638
597.40/597.46	c iter 1697 time 578.937 not-muc 1711 unknown 327 muc 1639
597.40/597.46	c iter 1698 time 579.039 not-muc 1711 unknown 326 muc 1640
597.40/597.46	c iter 1699 time 586.069 not-muc 1712 unknown 325 muc 1640
597.40/597.46	c iter 1700 time 586.229 not-muc 1712 unknown 324 muc 1641
597.40/597.46	c iter 1701 time 586.309 not-muc 1712 unknown 323 muc 1642
597.40/597.46	c iter 1702 time 586.353 not-muc 1712 unknown 322 muc 1643
597.40/597.46	c iter 1703 time 586.685 not-muc 1712 unknown 321 muc 1644
597.40/597.46	c iter 1704 time 586.817 not-muc 1712 unknown 320 muc 1645
597.40/597.46	c iter 1705 time 586.942 not-muc 1712 unknown 319 muc 1646
597.40/597.46	c iter 1706 time 587.053 not-muc 1712 unknown 318 muc 1647
597.40/597.46	c iter 1707 time 587.174 not-muc 1712 unknown 317 muc 1648
597.40/597.46	c iter 1708 time 587.314 not-muc 1712 unknown 316 muc 1649
597.40/597.46	c iter 1709 time 587.44 not-muc 1712 unknown 315 muc 1650
597.40/597.46	c iter 1710 time 587.574 not-muc 1712 unknown 314 muc 1651
597.40/597.46	c iter 1711 time 587.773 not-muc 1712 unknown 313 muc 1652
597.40/597.46	c iter 1712 time 587.879 not-muc 1712 unknown 312 muc 1653
597.40/597.46	c iter 1713 time 588.001 not-muc 1712 unknown 311 muc 1654
597.40/597.46	c iter 1714 time 588.114 not-muc 1712 unknown 310 muc 1655
597.40/597.46	c iter 1715 time 588.354 not-muc 1712 unknown 309 muc 1656
597.40/597.46	c iter 1716 time 588.474 not-muc 1712 unknown 308 muc 1657
597.40/597.46	c iter 1717 time 588.614 not-muc 1712 unknown 307 muc 1658
597.40/597.46	c iter 1718 time 588.751 not-muc 1712 unknown 306 muc 1659
597.40/597.46	c iter 1719 time 588.899 not-muc 1712 unknown 305 muc 1660
597.40/597.46	c iter 1720 time 589.016 not-muc 1712 unknown 304 muc 1661
597.40/597.46	c iter 1721 time 589.121 not-muc 1712 unknown 303 muc 1662
597.40/597.46	c iter 1722 time 589.261 not-muc 1712 unknown 302 muc 1663
597.40/597.46	c iter 1723 time 589.404 not-muc 1712 unknown 301 muc 1664
597.40/597.46	c iter 1724 time 589.531 not-muc 1712 unknown 300 muc 1665
597.40/597.46	c iter 1725 time 589.654 not-muc 1712 unknown 299 muc 1666
597.40/597.46	c iter 1726 time 589.719 not-muc 1712 unknown 298 muc 1667
597.40/597.46	c iter 1727 time 589.971 not-muc 1712 unknown 297 muc 1668
597.40/597.46	c iter 1728 time 590.113 not-muc 1712 unknown 296 muc 1669
597.40/597.46	c iter 1729 time 590.204 not-muc 1712 unknown 295 muc 1670
597.40/597.46	c iter 1730 time 590.31 not-muc 1712 unknown 294 muc 1671
597.40/597.46	c iter 1731 time 590.381 not-muc 1712 unknown 293 muc 1672
597.40/597.46	c iter 1732 time 590.497 not-muc 1712 unknown 292 muc 1673
597.40/597.46	c iter 1733 time 590.588 not-muc 1712 unknown 291 muc 1674
597.40/597.46	c iter 1734 time 590.929 not-muc 1712 unknown 290 muc 1675
597.40/597.46	c iter 1735 time 591.336 not-muc 1712 unknown 289 muc 1676
597.40/597.46	c iter 1736 time 591.644 not-muc 1712 unknown 288 muc 1677
597.40/597.46	c iter 1737 time 591.768 not-muc 1712 unknown 287 muc 1678
597.40/597.46	c iter 1738 time 591.908 not-muc 1712 unknown 286 muc 1679
597.40/597.46	c iter 1739 time 592.305 not-muc 1712 unknown 285 muc 1680
597.40/597.46	c iter 1740 time 592.445 not-muc 1712 unknown 284 muc 1681
597.40/597.46	c iter 1741 time 592.644 not-muc 1712 unknown 283 muc 1682
597.40/597.46	c iter 1742 time 592.919 not-muc 1712 unknown 282 muc 1683
597.40/597.46	c iter 1743 time 593.082 not-muc 1712 unknown 281 muc 1684
597.40/597.46	c iter 1744 time 593.198 not-muc 1712 unknown 280 muc 1685
597.40/597.46	c iter 1745 time 593.344 not-muc 1712 unknown 279 muc 1686
597.40/597.46	c iter 1746 time 593.82 not-muc 1712 unknown 278 muc 1687
597.40/597.46	c iter 1747 time 593.947 not-muc 1712 unknown 277 muc 1688
597.40/597.46	c iter 1748 time 594.034 not-muc 1712 unknown 276 muc 1689
597.40/597.46	c iter 1749 time 594.391 not-muc 1712 unknown 275 muc 1690
597.40/597.46	c iter 1750 time 594.694 not-muc 1712 unknown 274 muc 1691
597.40/597.46	c iter 1751 time 594.797 not-muc 1712 unknown 273 muc 1692
597.40/597.46	c iter 1752 time 595.035 not-muc 1712 unknown 272 muc 1693
597.40/597.46	c iter 1753 time 595.118 not-muc 1712 unknown 271 muc 1694
597.40/597.46	c iter 1754 time 595.302 not-muc 1712 unknown 270 muc 1695
597.40/597.46	c iter 1755 time 595.4 not-muc 1712 unknown 269 muc 1696
597.40/597.46	c iter 1756 time 595.521 not-muc 1712 unknown 268 muc 1697
597.40/597.46	c iter 1757 time 595.645 not-muc 1712 unknown 267 muc 1698
597.40/597.46	c iter 1758 time 595.946 not-muc 1712 unknown 266 muc 1699
597.40/597.46	c iter 1759 time 596.053 not-muc 1712 unknown 265 muc 1700
607.90/607.98	c iter 1760 time 596.196 not-muc 1712 unknown 264 muc 1701
607.90/607.98	c iter 1761 time 596.364 not-muc 1712 unknown 263 muc 1702
607.90/607.98	c iter 1762 time 596.405 not-muc 1712 unknown 262 muc 1703
607.90/607.98	c iter 1763 time 596.513 not-muc 1712 unknown 261 muc 1704
607.90/607.98	c iter 1764 time 596.596 not-muc 1712 unknown 260 muc 1705
607.90/607.98	c iter 1765 time 597.142 not-muc 1712 unknown 259 muc 1706
607.90/607.98	c iter 1766 time 597.295 not-muc 1712 unknown 258 muc 1707
607.90/607.98	c iter 1767 time 597.416 not-muc 1712 unknown 257 muc 1708
607.90/607.98	c iter 1768 time 597.49 not-muc 1712 unknown 256 muc 1709
607.90/607.98	c iter 1769 time 597.716 not-muc 1712 unknown 255 muc 1710
607.90/607.98	c iter 1770 time 597.836 not-muc 1712 unknown 254 muc 1711
607.90/607.98	c iter 1771 time 598.116 not-muc 1712 unknown 253 muc 1712
607.90/607.98	c iter 1772 time 598.355 not-muc 1712 unknown 252 muc 1713
607.90/607.98	c iter 1773 time 598.47 not-muc 1712 unknown 251 muc 1714
607.90/607.98	c iter 1774 time 598.638 not-muc 1712 unknown 250 muc 1715
607.90/607.98	c iter 1775 time 598.746 not-muc 1712 unknown 249 muc 1716
607.90/607.98	c iter 1776 time 598.859 not-muc 1712 unknown 248 muc 1717
607.90/607.98	c iter 1777 time 598.988 not-muc 1712 unknown 247 muc 1718
607.90/607.98	c iter 1778 time 599.106 not-muc 1712 unknown 246 muc 1719
607.90/607.98	c iter 1779 time 599.549 not-muc 1712 unknown 245 muc 1720
607.90/607.98	c iter 1780 time 599.715 not-muc 1712 unknown 244 muc 1721
607.90/607.98	c iter 1781 time 599.968 not-muc 1712 unknown 243 muc 1722
607.90/607.98	c iter 1782 time 600.061 not-muc 1712 unknown 242 muc 1723
607.90/607.98	c iter 1783 time 600.126 not-muc 1712 unknown 241 muc 1724
607.90/607.98	c iter 1784 time 600.246 not-muc 1712 unknown 240 muc 1725
607.90/607.98	c iter 1785 time 600.544 not-muc 1712 unknown 239 muc 1726
607.90/607.98	c iter 1786 time 600.633 not-muc 1712 unknown 238 muc 1727
607.90/607.98	c iter 1787 time 600.767 not-muc 1712 unknown 237 muc 1728
607.90/607.98	c iter 1788 time 600.828 not-muc 1712 unknown 236 muc 1729
607.90/607.98	c iter 1789 time 600.947 not-muc 1712 unknown 235 muc 1730
607.90/607.98	c iter 1790 time 601.074 not-muc 1712 unknown 234 muc 1731
607.90/607.98	c iter 1791 time 601.182 not-muc 1712 unknown 233 muc 1732
607.90/607.98	c iter 1792 time 601.307 not-muc 1712 unknown 232 muc 1733
607.90/607.98	c iter 1793 time 601.444 not-muc 1712 unknown 231 muc 1734
607.90/607.98	c iter 1794 time 601.51 not-muc 1712 unknown 230 muc 1735
607.90/607.98	c iter 1795 time 601.716 not-muc 1712 unknown 229 muc 1736
607.90/607.98	c iter 1796 time 601.858 not-muc 1712 unknown 228 muc 1737
607.90/607.98	c iter 1797 time 601.959 not-muc 1712 unknown 227 muc 1738
607.90/607.98	c iter 1798 time 602.05 not-muc 1712 unknown 226 muc 1739
607.90/607.98	c iter 1799 time 602.441 not-muc 1712 unknown 225 muc 1740
607.90/607.98	c iter 1800 time 602.535 not-muc 1712 unknown 224 muc 1741
607.90/607.98	c iter 1801 time 602.792 not-muc 1712 unknown 223 muc 1742
607.90/607.98	c iter 1802 time 602.921 not-muc 1712 unknown 222 muc 1743
607.90/607.98	c iter 1803 time 603.049 not-muc 1712 unknown 221 muc 1744
607.90/607.98	c iter 1804 time 603.138 not-muc 1712 unknown 220 muc 1745
607.90/607.98	c iter 1805 time 603.363 not-muc 1712 unknown 219 muc 1746
607.90/607.98	c iter 1806 time 603.588 not-muc 1712 unknown 218 muc 1747
607.90/607.98	c iter 1807 time 603.722 not-muc 1712 unknown 217 muc 1748
607.90/607.98	c iter 1808 time 603.876 not-muc 1712 unknown 216 muc 1749
607.90/607.98	c iter 1809 time 603.978 not-muc 1712 unknown 215 muc 1750
607.90/607.98	c iter 1810 time 604.347 not-muc 1712 unknown 214 muc 1751
607.90/607.98	c iter 1811 time 604.484 not-muc 1712 unknown 213 muc 1752
607.90/607.98	c iter 1812 time 604.559 not-muc 1712 unknown 212 muc 1753
607.90/607.98	c iter 1813 time 604.631 not-muc 1712 unknown 211 muc 1754
607.90/607.98	c iter 1814 time 604.758 not-muc 1712 unknown 210 muc 1755
607.90/607.98	c iter 1815 time 604.877 not-muc 1712 unknown 209 muc 1756
607.90/607.98	c iter 1816 time 605.007 not-muc 1712 unknown 208 muc 1757
607.90/607.98	c iter 1817 time 605.085 not-muc 1712 unknown 207 muc 1758
607.90/607.98	c iter 1818 time 605.274 not-muc 1712 unknown 206 muc 1759
607.90/607.98	c iter 1819 time 605.405 not-muc 1712 unknown 205 muc 1760
607.90/607.98	c iter 1820 time 605.569 not-muc 1712 unknown 204 muc 1761
607.90/607.98	c iter 1821 time 605.657 not-muc 1712 unknown 203 muc 1762
607.90/607.98	c iter 1822 time 605.73 not-muc 1712 unknown 202 muc 1763
607.90/607.98	c iter 1823 time 605.804 not-muc 1712 unknown 201 muc 1764
607.90/607.98	c iter 1824 time 606.056 not-muc 1712 unknown 200 muc 1765
607.90/607.98	c iter 1825 time 606.113 not-muc 1712 unknown 199 muc 1766
607.90/607.98	c iter 1826 time 606.248 not-muc 1712 unknown 198 muc 1767
607.90/607.98	c iter 1827 time 606.361 not-muc 1712 unknown 197 muc 1768
607.90/607.98	c iter 1828 time 606.487 not-muc 1712 unknown 196 muc 1769
607.90/607.98	c iter 1829 time 606.566 not-muc 1712 unknown 195 muc 1770
634.20/634.23	c iter 1830 time 612.678 not-muc 1713 unknown 194 muc 1770
634.20/634.23	c iter 1831 time 612.93 not-muc 1713 unknown 193 muc 1771
634.20/634.23	c iter 1832 time 613.109 not-muc 1713 unknown 192 muc 1772
634.20/634.23	c iter 1833 time 613.379 not-muc 1713 unknown 191 muc 1773
634.20/634.23	c iter 1834 time 613.512 not-muc 1713 unknown 190 muc 1774
634.20/634.23	c iter 1835 time 613.623 not-muc 1713 unknown 189 muc 1775
634.20/634.23	c iter 1836 time 613.751 not-muc 1713 unknown 188 muc 1776
634.20/634.23	c iter 1837 time 613.885 not-muc 1713 unknown 187 muc 1777
634.20/634.23	c iter 1838 time 614.025 not-muc 1713 unknown 186 muc 1778
634.20/634.23	c iter 1839 time 614.116 not-muc 1713 unknown 185 muc 1779
634.20/634.23	c iter 1840 time 614.324 not-muc 1713 unknown 184 muc 1780
634.20/634.23	c iter 1841 time 614.542 not-muc 1713 unknown 183 muc 1781
634.20/634.23	c iter 1842 time 614.658 not-muc 1713 unknown 182 muc 1782
634.20/634.23	c iter 1843 time 614.919 not-muc 1713 unknown 181 muc 1783
634.20/634.23	c iter 1844 time 615.092 not-muc 1713 unknown 180 muc 1784
634.20/634.23	c iter 1845 time 615.228 not-muc 1713 unknown 179 muc 1785
634.20/634.23	c iter 1846 time 615.338 not-muc 1713 unknown 178 muc 1786
634.20/634.23	c iter 1847 time 615.486 not-muc 1713 unknown 177 muc 1787
634.20/634.23	c iter 1848 time 615.574 not-muc 1713 unknown 176 muc 1788
634.20/634.23	c iter 1849 time 615.717 not-muc 1713 unknown 175 muc 1789
634.20/634.23	c iter 1850 time 615.867 not-muc 1713 unknown 174 muc 1790
634.20/634.23	c iter 1851 time 615.96 not-muc 1713 unknown 173 muc 1791
634.20/634.23	c iter 1852 time 616.105 not-muc 1713 unknown 172 muc 1792
634.20/634.23	c iter 1853 time 616.308 not-muc 1713 unknown 171 muc 1793
634.20/634.23	c iter 1854 time 616.35 not-muc 1713 unknown 170 muc 1794
634.20/634.23	c iter 1855 time 620.023 not-muc 1714 unknown 169 muc 1794
634.20/634.23	c iter 1856 time 620.303 not-muc 1714 unknown 168 muc 1795
634.20/634.23	c iter 1857 time 620.41 not-muc 1714 unknown 167 muc 1796
634.20/634.23	c iter 1858 time 623.501 not-muc 1715 unknown 166 muc 1796
634.20/634.23	c iter 1859 time 623.875 not-muc 1715 unknown 165 muc 1797
634.20/634.23	c iter 1860 time 623.963 not-muc 1715 unknown 164 muc 1798
634.20/634.23	c iter 1861 time 624.137 not-muc 1715 unknown 163 muc 1799
634.20/634.23	c iter 1862 time 624.182 not-muc 1715 unknown 162 muc 1800
634.20/634.23	c iter 1863 time 624.318 not-muc 1715 unknown 161 muc 1801
634.20/634.23	c iter 1864 time 624.486 not-muc 1715 unknown 160 muc 1802
634.20/634.23	c iter 1865 time 624.548 not-muc 1715 unknown 159 muc 1803
634.20/634.23	c iter 1866 time 624.695 not-muc 1715 unknown 158 muc 1804
634.20/634.23	c iter 1867 time 624.819 not-muc 1715 unknown 157 muc 1805
634.20/634.23	c iter 1868 time 624.904 not-muc 1715 unknown 156 muc 1806
634.20/634.23	c iter 1869 time 625.011 not-muc 1715 unknown 155 muc 1807
634.20/634.23	c iter 1870 time 625.122 not-muc 1715 unknown 154 muc 1808
634.20/634.23	c iter 1871 time 625.31 not-muc 1715 unknown 153 muc 1809
634.20/634.23	c iter 1872 time 625.395 not-muc 1715 unknown 152 muc 1810
634.20/634.23	c iter 1873 time 625.975 not-muc 1715 unknown 151 muc 1811
634.20/634.23	c iter 1874 time 626.076 not-muc 1715 unknown 150 muc 1812
634.20/634.23	c iter 1875 time 626.178 not-muc 1715 unknown 149 muc 1813
634.20/634.23	c iter 1876 time 626.448 not-muc 1715 unknown 148 muc 1814
634.20/634.23	c iter 1877 time 626.497 not-muc 1715 unknown 147 muc 1815
634.20/634.23	c iter 1878 time 626.571 not-muc 1715 unknown 146 muc 1816
634.20/634.23	c iter 1879 time 630.274 not-muc 1716 unknown 145 muc 1816
634.20/634.23	c iter 1880 time 630.412 not-muc 1716 unknown 144 muc 1817
634.20/634.23	c iter 1881 time 630.507 not-muc 1716 unknown 143 muc 1818
634.20/634.23	c iter 1882 time 630.612 not-muc 1716 unknown 142 muc 1819
634.20/634.23	c iter 1883 time 630.718 not-muc 1716 unknown 141 muc 1820
634.20/634.23	c iter 1884 time 630.761 not-muc 1716 unknown 140 muc 1821
634.20/634.23	c iter 1885 time 630.793 not-muc 1716 unknown 139 muc 1822
634.20/634.23	c iter 1886 time 630.842 not-muc 1716 unknown 138 muc 1823
634.20/634.23	c iter 1887 time 630.997 not-muc 1716 unknown 137 muc 1824
634.20/634.23	c iter 1888 time 631.108 not-muc 1716 unknown 136 muc 1825
634.20/634.23	c iter 1889 time 631.223 not-muc 1716 unknown 135 muc 1826
634.20/634.23	c iter 1890 time 631.332 not-muc 1716 unknown 134 muc 1827
634.20/634.23	c iter 1891 time 631.429 not-muc 1716 unknown 133 muc 1828
634.20/634.23	c iter 1892 time 631.517 not-muc 1716 unknown 132 muc 1829
634.20/634.23	c iter 1893 time 631.587 not-muc 1716 unknown 131 muc 1830
634.20/634.23	c iter 1894 time 631.758 not-muc 1716 unknown 130 muc 1831
634.20/634.23	c iter 1895 time 632.379 not-muc 1716 unknown 129 muc 1832
634.20/634.23	c iter 1896 time 632.649 not-muc 1716 unknown 128 muc 1833
634.20/634.23	c iter 1897 time 632.699 not-muc 1716 unknown 127 muc 1834
634.20/634.23	c iter 1898 time 632.794 not-muc 1716 unknown 126 muc 1835
652.60/652.64	c iter 1899 time 632.829 not-muc 1716 unknown 125 muc 1836
652.60/652.64	c iter 1900 time 632.9 not-muc 1716 unknown 124 muc 1837
652.60/652.64	c iter 1901 time 632.95 not-muc 1716 unknown 123 muc 1838
652.60/652.64	c iter 1902 time 633.05 not-muc 1716 unknown 122 muc 1839
652.60/652.64	c iter 1903 time 633.114 not-muc 1716 unknown 121 muc 1840
652.60/652.64	c iter 1904 time 633.214 not-muc 1716 unknown 120 muc 1841
652.60/652.64	c iter 1905 time 634.204 not-muc 1716 unknown 119 muc 1842
652.60/652.64	c iter 1906 time 634.279 not-muc 1716 unknown 118 muc 1843
652.60/652.64	c iter 1907 time 634.349 not-muc 1716 unknown 117 muc 1844
652.60/652.64	c iter 1908 time 634.579 not-muc 1716 unknown 116 muc 1845
652.60/652.64	c iter 1909 time 635.247 not-muc 1716 unknown 115 muc 1846
652.60/652.64	c iter 1910 time 635.322 not-muc 1716 unknown 114 muc 1847
652.60/652.64	c iter 1911 time 635.406 not-muc 1716 unknown 113 muc 1848
652.60/652.64	c iter 1912 time 635.446 not-muc 1716 unknown 112 muc 1849
652.60/652.64	c iter 1913 time 635.538 not-muc 1716 unknown 111 muc 1850
652.60/652.64	c iter 1914 time 635.667 not-muc 1716 unknown 110 muc 1851
652.60/652.64	c iter 1915 time 635.794 not-muc 1716 unknown 109 muc 1852
652.60/652.64	c iter 1916 time 635.902 not-muc 1716 unknown 108 muc 1853
652.60/652.64	c iter 1917 time 636.006 not-muc 1716 unknown 107 muc 1854
652.60/652.64	c iter 1918 time 636.125 not-muc 1716 unknown 106 muc 1855
652.60/652.64	c iter 1919 time 636.313 not-muc 1716 unknown 105 muc 1856
652.60/652.64	c iter 1920 time 636.383 not-muc 1716 unknown 104 muc 1857
652.60/652.64	c iter 1921 time 636.472 not-muc 1716 unknown 103 muc 1858
652.60/652.64	c iter 1922 time 636.661 not-muc 1716 unknown 102 muc 1859
652.60/652.64	c iter 1923 time 637.242 not-muc 1716 unknown 101 muc 1860
652.60/652.64	c iter 1924 time 637.854 not-muc 1716 unknown 100 muc 1861
652.60/652.64	c iter 1925 time 637.908 not-muc 1716 unknown 99 muc 1862
652.60/652.64	c iter 1926 time 638.549 not-muc 1716 unknown 98 muc 1863
652.60/652.64	c iter 1927 time 642.488 not-muc 1717 unknown 97 muc 1863
652.60/652.64	c iter 1928 time 642.624 not-muc 1717 unknown 96 muc 1864
652.60/652.64	c iter 1929 time 642.831 not-muc 1717 unknown 95 muc 1865
652.60/652.64	c iter 1930 time 643.325 not-muc 1717 unknown 94 muc 1866
652.60/652.64	c iter 1931 time 644.617 not-muc 1717 unknown 93 muc 1867
652.60/652.64	c iter 1932 time 644.712 not-muc 1717 unknown 92 muc 1868
652.60/652.64	c iter 1933 time 644.799 not-muc 1717 unknown 91 muc 1869
652.60/652.64	c iter 1934 time 645.021 not-muc 1717 unknown 90 muc 1870
652.60/652.64	c iter 1935 time 645.071 not-muc 1717 unknown 89 muc 1871
652.60/652.64	c iter 1936 time 645.181 not-muc 1717 unknown 88 muc 1872
652.60/652.64	c iter 1937 time 645.221 not-muc 1717 unknown 87 muc 1873
652.60/652.64	c iter 1938 time 645.275 not-muc 1717 unknown 86 muc 1874
652.60/652.64	c iter 1939 time 645.41 not-muc 1717 unknown 85 muc 1875
652.60/652.64	c iter 1940 time 645.482 not-muc 1717 unknown 84 muc 1876
652.60/652.64	c iter 1941 time 645.729 not-muc 1717 unknown 83 muc 1877
652.60/652.64	c iter 1942 time 645.783 not-muc 1717 unknown 82 muc 1878
652.60/652.64	c iter 1943 time 646.018 not-muc 1717 unknown 81 muc 1879
652.60/652.64	c iter 1944 time 646.102 not-muc 1717 unknown 80 muc 1880
652.60/652.64	c iter 1945 time 646.305 not-muc 1717 unknown 79 muc 1881
652.60/652.64	c iter 1946 time 646.415 not-muc 1717 unknown 78 muc 1882
652.60/652.64	c iter 1947 time 646.551 not-muc 1717 unknown 77 muc 1883
652.60/652.64	c iter 1948 time 646.623 not-muc 1717 unknown 76 muc 1884
652.60/652.64	c iter 1949 time 646.726 not-muc 1717 unknown 75 muc 1885
652.60/652.64	c iter 1950 time 646.832 not-muc 1717 unknown 74 muc 1886
652.60/652.64	c iter 1951 time 646.968 not-muc 1717 unknown 73 muc 1887
652.60/652.64	c iter 1952 time 647.706 not-muc 1717 unknown 72 muc 1888
652.60/652.64	c iter 1953 time 648.043 not-muc 1717 unknown 71 muc 1889
652.60/652.64	c iter 1954 time 648.121 not-muc 1717 unknown 70 muc 1890
652.60/652.64	c iter 1955 time 648.224 not-muc 1717 unknown 69 muc 1891
652.60/652.64	c iter 1956 time 648.676 not-muc 1717 unknown 68 muc 1892
652.60/652.64	c iter 1957 time 648.795 not-muc 1717 unknown 67 muc 1893
652.60/652.64	c iter 1958 time 648.871 not-muc 1717 unknown 66 muc 1894
652.60/652.64	c iter 1959 time 648.981 not-muc 1717 unknown 65 muc 1895
652.60/652.64	c iter 1960 time 649.44 not-muc 1717 unknown 64 muc 1896
652.60/652.64	c iter 1961 time 650.202 not-muc 1717 unknown 63 muc 1897
652.60/652.64	c iter 1962 time 650.302 not-muc 1717 unknown 62 muc 1898
652.60/652.64	c iter 1963 time 650.346 not-muc 1717 unknown 61 muc 1899
652.60/652.64	c iter 1964 time 650.691 not-muc 1717 unknown 60 muc 1900
652.60/652.64	c iter 1965 time 650.899 not-muc 1717 unknown 59 muc 1901
652.60/652.64	c iter 1966 time 650.948 not-muc 1717 unknown 58 muc 1902
652.60/652.64	c iter 1967 time 651.067 not-muc 1717 unknown 57 muc 1903
652.60/652.64	c iter 1968 time 651.197 not-muc 1717 unknown 56 muc 1904
671.80/671.81	c iter 1969 time 651.344 not-muc 1717 unknown 55 muc 1905
671.80/671.81	c iter 1970 time 651.892 not-muc 1717 unknown 54 muc 1906
671.80/671.81	c iter 1971 time 652.217 not-muc 1717 unknown 53 muc 1907
671.80/671.81	c iter 1972 time 652.34 not-muc 1717 unknown 52 muc 1908
671.80/671.81	c iter 1973 time 652.966 not-muc 1717 unknown 51 muc 1909
671.80/671.81	c iter 1974 time 653.053 not-muc 1717 unknown 50 muc 1910
671.80/671.81	c iter 1975 time 653.168 not-muc 1717 unknown 49 muc 1911
671.80/671.81	c iter 1976 time 653.594 not-muc 1717 unknown 48 muc 1912
671.80/671.81	c iter 1977 time 653.688 not-muc 1717 unknown 47 muc 1913
671.80/671.81	c iter 1978 time 653.754 not-muc 1717 unknown 46 muc 1914
671.80/671.81	c iter 1979 time 653.798 not-muc 1717 unknown 45 muc 1915
671.80/671.81	c iter 1980 time 653.982 not-muc 1717 unknown 44 muc 1916
671.80/671.81	c iter 1981 time 654.085 not-muc 1717 unknown 43 muc 1917
671.80/671.81	c iter 1982 time 654.299 not-muc 1717 unknown 42 muc 1918
671.80/671.81	c iter 1983 time 654.426 not-muc 1717 unknown 41 muc 1919
671.80/671.81	c iter 1984 time 654.504 not-muc 1717 unknown 40 muc 1920
671.80/671.81	c iter 1985 time 654.597 not-muc 1717 unknown 39 muc 1921
671.80/671.81	c iter 1986 time 654.706 not-muc 1717 unknown 38 muc 1922
671.80/671.81	c iter 1987 time 654.767 not-muc 1717 unknown 37 muc 1923
671.80/671.81	c iter 1988 time 654.884 not-muc 1717 unknown 36 muc 1924
671.80/671.81	c iter 1989 time 655.027 not-muc 1717 unknown 35 muc 1925
671.80/671.81	c iter 1990 time 655.146 not-muc 1717 unknown 34 muc 1926
671.80/671.81	c iter 1991 time 655.224 not-muc 1717 unknown 33 muc 1927
671.80/671.81	c iter 1992 time 655.848 not-muc 1717 unknown 32 muc 1928
671.80/671.81	c iter 1993 time 655.928 not-muc 1717 unknown 31 muc 1929
671.80/671.81	c iter 1994 time 656.03 not-muc 1717 unknown 30 muc 1930
671.80/671.81	c iter 1995 time 656.132 not-muc 1717 unknown 29 muc 1931
671.80/671.81	c iter 1996 time 656.185 not-muc 1717 unknown 28 muc 1932
671.80/671.81	c iter 1997 time 656.306 not-muc 1717 unknown 27 muc 1933
671.80/671.81	c iter 1998 time 656.378 not-muc 1717 unknown 26 muc 1934
671.80/671.81	c iter 1999 time 656.515 not-muc 1717 unknown 25 muc 1935
671.80/671.81	c iter 2000 time 662.09 not-muc 1718 unknown 24 muc 1935
671.80/671.81	c iter 2001 time 662.291 not-muc 1718 unknown 23 muc 1936
671.80/671.81	c iter 2002 time 662.421 not-muc 1718 unknown 22 muc 1937
671.80/671.81	c iter 2003 time 662.602 not-muc 1718 unknown 21 muc 1938
671.80/671.81	c iter 2004 time 662.736 not-muc 1718 unknown 20 muc 1939
671.80/671.81	c iter 2005 time 662.887 not-muc 1718 unknown 19 muc 1940
671.80/671.81	c iter 2006 time 663.238 not-muc 1718 unknown 18 muc 1941
671.80/671.81	c iter 2007 time 663.379 not-muc 1718 unknown 17 muc 1942
671.80/671.81	c iter 2008 time 664.075 not-muc 1718 unknown 16 muc 1943
671.80/671.81	c iter 2009 time 664.147 not-muc 1718 unknown 15 muc 1944
671.80/671.81	c iter 2010 time 664.398 not-muc 1718 unknown 14 muc 1945
671.80/671.81	c iter 2011 time 664.502 not-muc 1718 unknown 13 muc 1946
671.80/671.81	c iter 2012 time 664.916 not-muc 1718 unknown 12 muc 1947
671.80/671.81	c iter 2013 time 665.209 not-muc 1718 unknown 11 muc 1948
671.80/671.81	c iter 2014 time 667.02 not-muc 1718 unknown 10 muc 1949
671.80/671.81	c iter 2015 time 667.153 not-muc 1718 unknown 9 muc 1950
671.80/671.81	c iter 2016 time 667.347 not-muc 1718 unknown 8 muc 1951
671.80/671.81	c iter 2017 time 667.483 not-muc 1718 unknown 7 muc 1952
671.80/671.81	c iter 2018 time 667.575 not-muc 1718 unknown 6 muc 1953
671.80/671.81	c iter 2019 time 667.717 not-muc 1718 unknown 5 muc 1954
671.80/671.81	c iter 2020 time 668.149 not-muc 1718 unknown 4 muc 1955
671.80/671.81	c iter 2021 time 668.333 not-muc 1718 unknown 3 muc 1956
671.80/671.81	c iter 2022 time 668.53 not-muc 1718 unknown 2 muc 1957
671.80/671.81	c iter 2023 time 670.033 not-muc 1718 unknown 1 muc 1958
671.80/671.81	c final iter 2024 time 670.303 not-muc 1718 unknown 0 muc 1959
671.80/671.81	v 1 2 3 5 7 8 11 12 18 19 20 21 22 23 24 25 28 30 31 32 33 34 35 36 43 44 45 46 47 48 49 50 52 53 57 60 62 63 64 68 70 71 72 76 77 80 83 86 90 91 94 95 98 101 102 109 111 114 115 118 119 122 126 128 129 131 134 136 140 143 145 146 150 151 152 153 155 156 157 160 162 163 164 170 172 174 176 177 178 180 181 188 189 191 196 197 200 201 202 203 204 205 207 208 209 210 211 219 220 221 223 227 228 229 230 232 233 235 236 239 240 243 244 247 249 250 251 252 254 255 257 259 262 263 265 266 269 272 273 274 279 283 284 288 291 292 293 295 296 298 299 301 304 306 307 309 310 312 313 315 317 318 319 322 323 326 328 331 334 335 338 339 342 343 347 348 349 350 351 352 353 354 356 357 359 360 361 362 363 366 369 370 372 374 376 377 380 382 383 385 386 387 392 394 396 397 400 402 405 406 409 410 413 415 417 418 419 423 430 431 433 434 435 438 439 440 441 443 444 445 447 448 450 451 453 454 456 457 458 459 460 461 462 463 467 470 471 472 473 476 478 479 480 483 485 486 487 490 491 494 495 496 497 498 499 500 502 503 504 505 506 509 511 513 516 518 520 521 522 523 525 526 527 528 529 532 533 535 536 538 539 540 541 542 543 544 545 547 551 554 556 557 559 560 562 565 566 568 569 570 571 573 576 578 581 582 583 585 587 589 590 591 593 594 596 600 601 603 606 607 609 610 611 612 613 615 616 619 622 623 625 626 628 630 631 632 634 635 640 642 643 645 647 648 650 651 653 654 656 659 660 661 662 663 665 666 667 668 669 670 675 676 677 679 680 681 684 685 686 688 696 697 698 702 703 705 706 708 709 710 711 712 713 714 715 716 718 719 721 722 723 725 728 733 740 741 744 745 746 747 749 750 752 753 754 755 756 757 761 763 764 766 768 774 777 781 783 784 787 789 791 793 794 795 796 798 799 800 801 802 803 804 805 806 807 813 815 816 818 819 820 821 822 824 826 827 828 829 831 832 839 841 842 848 849 851 853 854 856 857 859 860 862 864 865 869 870 871 872 873 874 876 879 880 882 884 885 886 888 889 890 891 892 895 898 900 903 905 906 907 908 909 910 911 912 915 918 919 920 921 924 926 927 928 929 930 934 936 937 939 940 942 944 945 946 947 948 949 950 951 952 954 956 958 960 961 963 965 967 968 969 970 971 973 974 977 978 979 981 982 983 985 986 988 991 994 996 997 1001 1005 1006 1007 1008 1009 1012 1013 1016 1019 1020 1022 1023 1024 1027 1028 1029 1030 1031 1033 1034 1035 1038 1041 1042 1046 1047 1048 1049 1050 1052 1053 1058 1059 1060 1061 1064 1065 1066 1068 1070 1072 1074 1075 1080 1081 1083 1086 1087 1088 1089 1090 1091 1092 1096 1098 1099 1100 1101 1102 1105 1106 1109 1114 1116 1117 1118 1119 1120 1122 1124 1125 1126 1128 1129 1133 1135 1136 1137 1138 1139 1140 1141 1143 1144 1145 1147 1148 1149 1150 1153 1154 1155 1157 1160 1162 1163 1165 1166 1167 1168 1174 1175 1176 1177 1178 1183 1187 1188 1189 1191 1193 1197 1198 1200 1201 1204 1205 1211 1212 1215 1217 1219 1220 1226 1228 1229 1230 1231 1232 1233 1234 1235 1242 1245 1246 1247 1248 1251 1252 1257 1258 1259 1260 1264 1272 1273 1275 1279 1285 1287 1290 1292 1293 1294 1295 1297 1298 1299 1300 1302 1303 1304 1305 1309 1310 1311 1316 1317 1318 1319 1322 1324 1325 1326 1331 1332 1335 1336 1338 1343 1344 1348 1349 1350 1352 1354 1355 1356 1357 1360 1361 1363 1366 1367 1368 1371 1377 1380 1381 1382 1385 1388 1393 1394 1395 1397 1399 1400 1405 1406 1407 1409 1412 1414 1415 1416 1417 1418 1419 1421 1423 1425 1426 1427 1428 1429 1432 1433 1434 1436 1437 1438 1439 1440 1441 1442 1444 1445 1449 1450 1451 1453 1458 1461 1463 1465 1467 1468 1470 1472 1474 1476 1478 1480 1482 1483 1488 1490 1491 1493 1495 1496 1497 1498 1500 1501 1503 1504 1505 1507 1511 1514 1515 1517 1520 1521 1523 1524 1525 1527 1529 1535 1536 1537 1541 1544 1545 1549 1550 1552 1553 1555 1556 1557 1559 1564 1568 1569 1573 1574 1575 1576 1581 1582 1585 1588 1591 1594 1596 1598 1599 1602 1603 1607 1608 1609 1611 1612 1615 1617 1619 1620 1622 1623 1624 1628 1630 1633 1636 1637 1638 1639 1641 1642 1643 1645 1648 1650 1653 1655 1656 1660 1661 1666 1667 1668 1669 1670 1671 1672 1674 1675 1676 1677 1678 1679 1680 1683 1687 1688 1689 1691 1692 1694 1697 1698 1706 1707 1709 1710 1711 1712 1713 1714 1718 1719 1720 1721 1723 1725 1726 1728 1732 1735 1737 1738 1739 1740 1741 1743 1748 1750 1755 1758 1759 1760 1761 1763 1764 1766 1769 1770 1775 1777 1780 1781 1784 1785 1786 1787 1788 1789 1793 1795 1796 1798 1799 1801 1802 1803 1805 1807 1808 1809 1810 1811 1813 1816 1817 1819 1821 1823 1825 1827 1828 1830 1831 1832 1834 1836 1839 1840 1843 1844 1848 1850 1852 1853 1854 1856 1857 1858 1862 1863 1864 1865 1866 1867 1870 1871 1872 1874 1876 1877 1881 1883 1884 1886 1889 1893 1894 1895 1896 1898 1900 1901 1905 1906 1907 1908 1910 1911 1915 1916 1919 1921 1923 1924 1926 1927 1929 1930 1931 1932 1933 1934 1935 1936 1937 1939 1940 1941 1942 1943 1944 1952 1953 1955 1957 1958 1962 1965 1966 1974 1977 1978 1979 1982 1983 1984 1987 1988 1989 1990 1991 1993 1994 1995 1996 1998 2001 2004 2006 2008 2012 2016 2017 2018 2020 2023 2024 2025 2027 2028 2038 2041 2042 2043 2044 2045 2046 2048 2051 2053 2054 2055 2058 2062 2063 2064 2069 2070 2071 2072 2074 2076 2080 2081 2082 2083 2084 2086 2087 2088 2093 2094 2097 2098 2100 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2114 2116 2117 2118 2119 2120 2123 2125 2126 2127 2128 2131 2132 2136 2137 2138 2139 2140 2141 2144 2145 2146 2148 2150 2151 2153 2154 2156 2157 2158 2159 2161 2163 2164 2166 2169 2170 2173 2174 2176 2178 2179 2184 2185 2188 2189 2191 2194 2196 2197 2200 2201 2204 2208 2209 2213 2215 2216 2217 2219 2221 2222 2224 2225 2226 2227 2228 2229 2231 2233 2234 2237 2238 2240 2241 2243 2244 2248 2249 2253 2256 2259 2260 2264 2265 2266 2268 2272 2273 2274 2276 2279 2280 2282 2284 2288 2289 2290 2291 2293 2295 2296 2297 2299 2301 2304 2305 2308 2309 2311 2313 2315 2316 2319 2321 2322 2327 2331 2333 2335 2336 2338 2340 2341 2342 2343 2344 2345 2347 2348 2349 2352 2356 2357 2360 2362 2364 2367 2368 2371 2372 2373 2374 2376 2378 2380 2381 2384 2386 2389 2391 2395 2398 2399 2401 2402 2403 2404 2406 2407 2408 2409 2411 2412 2413 2414 2415 2416 2425 2426 2427 2429 2430 2431 2432 2433 2434 2435 2437 2438 2439 2442 2444 2451 2453 2456 2457 2458 2460 2463 2467 2469 2471 2474 2475 2476 2477 2479 2481 2483 2485 2487 2489 2492 2493 2494 2496 2497 2500 2503 2505 2511 2513 2516 2517 2519 2520 2523 2524 2525 2526 2528 2530 2533 2535 2536 2538 2540 2544 2545 2549 2551 2558 2559 2560 2563 2564 2565 2566 2569 2574 2576 2578 2579 2581 2583 2584 2585 2587 2589 2590 2592 2593 2594 2595 2596 2597 2600 2601 2602 2604 2608 2609 2614 2615 2616 2618 2619 2620 2621 2622 2624 2625 2626 2628 2629 2631 2632 2633 2634 2635 2637 2638 2639 2640 2642 2646 2648 2650 2654 2655 2658 2660 2661 2664 2668 2669 2670 2671 2673 2674 2676 2677 2679 2680 2681 2685 2686 2687 2689 2691 2695 2696 2697 2699 2700 2701 2703 2704 2705 2706 2707 2708 2709 2711 2712 2713 2714 2715 2716 2718 2719 2720 2721 2722 2723 2725 2726 2727 2729 2731 2734 2736 2737 2739 2740 2745 2746 2748 2750 2751 2752 2753 2754 2755 2757 2758 2759 2763 2767 2768 2769 2770 2771 2772 2773 2776 2777 2778 2781 2782 2784 2786 2787 2788 2791 2792 2793 2794 2796 2797 2798 2799 2800 2801 2803 2804 2809 2812 2813 2817 2819 2820 2823 2828 2829 2830 2831 2833 2834 2836 2844 2845 2849 2853 2857 2858 2862 2864 2869 2870 2871 2872 2875 2878 2879 2880 2883 2884 2885 2886 2887 2888 2889 2891 2893 2896 2897 2899 2901 2902 2904 2905 2907 2909 2910 2914 2915 2917 2919 2920 2921 2927 2931 2934 2937 2938 2942 2944 2945 2946 2947 2949 2952 2954 2956 2958 2961 2962 2963 2964 2965 2968 2971 2972 2975 2987 2989 2990 2991 2994 2996 2998 3001 3007 3008 3009 3011 3012 3013 3014 3016 3019 3021 3024 3039 3040 3041 3043 3045 3046 3047 3048 3050 3052 3053 3055 3058 3060 3062 3064 3069 3071 3072 3074 3076 3078 3083 3085 3086 3088 3089 3097 3098 3100 3101 3102 3103 3104 3112 3114 3116 3118 3121 3122 3124 3125 3127 3131 3134 3135 3136 3138 3141 3142 3144 3145 3147 3150 3153 3155 3156 3157 3158 3159 3160 3161 3164 3165 3166 3168 3170 3171 3173 3174 3178 3179 3180 3183 3184 3185 3186 3190 3191 3193 3194 3195 3196 3201 3203 3204 3206 3207 3209 3211 3213 3214 3217 3218 3220 3222 3223 3229 3230 3231 3232 3233 3234 3235 3237 3238 3243 3246 3248 3250 3252 3253 3255 3256 3257 3258 3259 3261 3264 3266 3267 3269 3271 3272 3273 3275 3276 3278 3280 3283 3284 3288 3291 3292 3293 3295 3297 3299 3303 3305 3306 3307 3309 3310 3311 3314 3315 3319 3322 3323 3324 3325 3327 3328 3330 3331 3332 3333 3334 3335 3337 3340 3341 3342 3348 3349 3350 3355 3356 3358 3360 3363 3364 3365 3368 3370 3371 3372 3373 3374 3376 3377 3378 3379 3380 3382 3383 3384 3385 3388 3392 3393 3395 3396 3399 3401 3404 3407 3410 3412 3414 3415 3418 3419 3422 3428 3438 3439 3440 3441 3443 3444 3445 3449 3452 3453 3455 3456 3457 3458 3460 3462 3467 3468 3469 3471 3472 3477 3478 3479 3480 3484 3489 3491 3493 3496 3497 3498 3499 3500 3502 3503 3504 3505 3508 3510 3511 3516 3520 3521 3523 3524 3530 3531 3532 3533 3535 3536 3537 3540 3541 3545 3546 3547 3548 3549 3551 3552 3553 3554 3558 3559 3561 3562 3567 3568 3572 3573 3575 3576 3577 3580 3581 3582 3583 3587 3589 3593 3597 3598 3600 3602 3603 3604 3605 3607 3617 3620 3621 3624 3626 3629 3631 3632 3633 3636 3637 3638 3639 3640 3641 3645 3647 3648 3654 3655 3657 3658 3660 3661 3664 3665 3666 3667 3670 3672 0
671.80/671.81	s UNSATISFIABLE

Verifier Data 

OK	1959

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-3494500-1307803635/watcher-3494500-1307803635 -o /tmp/evaluation-result-3494500-1307803635/solver-3494500-1307803635 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494500-1307803635.cnf 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 4.06 3.89 3.00 5/189 24844
/proc/meminfo: memFree=24888248/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=23732 CPUtime=0 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 381 0 0 0 0 0 0 0 25 0 1 0 891962205 24301568 323 33554432000 4194304 4337479 140733664111296 18446744073709551615 4321305 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 5933 325 218 35 0 2556 0

[startup+0.0916541 s]
/proc/loadavg: 4.06 3.89 3.00 5/189 24844
/proc/meminfo: memFree=24888248/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=20720 CPUtime=0.08 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 1238 0 0 0 8 0 0 0 25 0 1 0 891962205 21217280 1143 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303220 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 5180 1143 242 35 0 1803 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 20720

[startup+0.10065 s]
/proc/loadavg: 4.06 3.89 3.00 5/189 24844
/proc/meminfo: memFree=24888248/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=21176 CPUtime=0.09 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 1324 0 0 0 9 0 0 0 25 0 1 0 891962205 21684224 1228 33554432000 4194304 4337479 140733664111296 18446744073709551615 4258600 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 5294 1228 242 35 0 1917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21176

[startup+0.300679 s]
/proc/loadavg: 4.06 3.89 3.00 5/189 24844
/proc/meminfo: memFree=24888248/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=24688 CPUtime=0.29 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 2273 0 0 0 29 0 0 0 25 0 1 0 891962205 25280512 2167 33554432000 4194304 4337479 140733664111296 18446744073709551615 251813900827 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 6172 2167 242 35 0 2795 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24688

[startup+0.70062 s]
/proc/loadavg: 4.06 3.89 3.00 5/189 24844
/proc/meminfo: memFree=24888248/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=30312 CPUtime=0.69 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 3983 0 0 0 69 0 0 0 25 0 1 0 891962205 31039488 3828 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 7578 3828 242 35 0 4201 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30312

[startup+1.50049 s]
/proc/loadavg: 4.06 3.89 3.00 5/190 24845
/proc/meminfo: memFree=24862348/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=44556 CPUtime=1.48 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 7681 0 0 0 148 0 0 0 25 0 1 0 891962205 45625344 7431 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303199 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 11139 7431 243 35 0 7762 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44556

[startup+3.10015 s]
/proc/loadavg: 4.06 3.89 3.00 5/190 24845
/proc/meminfo: memFree=24841268/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=71084 CPUtime=3.08 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 13796 0 0 0 307 1 0 0 25 0 1 0 891962205 72790016 13468 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303461 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 17771 13468 243 35 0 14394 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 71084

[startup+6.30071 s]
/proc/loadavg: 4.06 3.89 3.00 6/190 24845
/proc/meminfo: memFree=24757908/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=164368 CPUtime=6.28 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 35310 0 0 0 624 4 0 0 25 0 1 0 891962205 168312832 34843 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303707 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 41092 34843 263 35 0 37715 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 164368

[startup+12.7006 s]
/proc/loadavg: 4.05 3.89 3.01 5/190 24845
/proc/meminfo: memFree=24541908/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=392660 CPUtime=12.69 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 81015 0 0 0 1258 11 0 0 25 0 1 0 891962205 402083840 80354 33554432000 4194304 4337479 140733664111296 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 98165 80355 263 35 0 94788 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 392660

[startup+25.5004 s]
/proc/loadavg: 4.04 3.90 3.02 5/190 24846
/proc/meminfo: memFree=24221468/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=692656 CPUtime=25.49 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 148252 0 0 0 2527 22 0 0 25 0 1 0 891962205 709279744 147568 33554432000 4194304 4337479 140733664111296 18446744073709551615 4289938 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 173164 147568 264 35 0 169787 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 692656

[startup+51.1011 s]
/proc/loadavg: 4.02 3.90 3.04 5/190 24846
/proc/meminfo: memFree=23910296/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=1023392 CPUtime=51.09 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 222858 0 0 0 5076 33 0 0 25 0 1 0 891962205 1047953408 222171 33554432000 4194304 4337479 140733664111296 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 255848 222171 264 35 0 252471 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1023392

[startup+102.306 s]
/proc/loadavg: 4.01 3.92 3.10 5/190 25038
/proc/meminfo: memFree=23410196/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=1671096 CPUtime=102.29 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 376033 0 0 0 10177 52 0 0 25 0 1 0 891962205 1711202304 375346 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303195 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 417774 375346 264 35 0 414397 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1671096

[startup+162.3 s]
/proc/loadavg: 4.05 3.94 3.15 5/190 25077
/proc/meminfo: memFree=22593676/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=2130716 CPUtime=162.29 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 483665 0 0 0 16161 68 0 0 25 0 1 0 891962205 2181853184 482978 33554432000 4194304 4337479 140733664111296 18446744073709551615 4259860 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 532679 482978 264 35 0 529302 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2130716

[startup+222.3 s]
/proc/loadavg: 4.02 3.95 3.21 5/190 25079
/proc/meminfo: memFree=21924016/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=2693188 CPUtime=222.29 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 617681 0 0 0 22142 87 0 0 25 0 1 0 891962205 2757824512 616994 33554432000 4194304 4337479 140733664111296 18446744073709551615 4259860 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 673297 616994 264 35 0 669920 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2693188

[startup+282.3 s]
/proc/loadavg: 4.00 3.95 3.25 5/190 25119
/proc/meminfo: memFree=21470644/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=3134844 CPUtime=282.29 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 718446 0 0 0 28129 100 0 0 25 0 1 0 891962205 3210080256 714071 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 783711 714071 264 35 0 780334 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 3134844

[startup+342.301 s]
/proc/loadavg: 4.00 3.96 3.30 5/190 25120
/proc/meminfo: memFree=20522336/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=3278896 CPUtime=342.3 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 761122 0 0 0 34121 109 0 0 25 0 1 0 891962205 3357589504 756747 33554432000 4194304 4337479 140733664111296 18446744073709551615 4289416 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 819724 756747 264 35 0 816347 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3278896

[startup+402.301 s]
/proc/loadavg: 4.15 4.01 3.35 5/190 25122
/proc/meminfo: memFree=19988320/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=3517020 CPUtime=402.29 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 818450 0 0 0 40110 119 0 0 25 0 1 0 891962205 3601428480 808909 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303632 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 879255 808909 264 35 0 875878 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 3517020

[startup+462.301 s]
/proc/loadavg: 4.09 4.02 3.40 5/190 25123
/proc/meminfo: memFree=19582656/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=3785064 CPUtime=462.3 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 881144 0 0 0 46101 129 0 0 25 0 1 0 891962205 3875905536 871603 33554432000 4194304 4337479 140733664111296 18446744073709551615 4259887 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 946266 871603 264 35 0 942889 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 3785064

[startup+522.301 s]
/proc/loadavg: 4.03 4.02 3.43 6/190 25201
/proc/meminfo: memFree=20285020/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=3899892 CPUtime=522.3 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 912947 0 0 0 52095 135 0 0 25 0 1 0 891962205 3993489408 903406 33554432000 4194304 4337479 140733664111296 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 974973 903406 264 35 0 971596 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 3899892

[startup+582.301 s]
/proc/loadavg: 4.01 4.01 3.46 6/190 25241
/proc/meminfo: memFree=19862764/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=3970628 CPUtime=582.3 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 933730 0 0 0 58089 141 0 0 25 0 1 0 891962205 4065923072 921232 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303675 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 992657 921232 264 35 0 989280 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 3970628

[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.49 6/190 25242
/proc/meminfo: memFree=19200804/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=4051364 CPUtime=642.3 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 953015 0 0 0 64085 145 0 0 25 0 1 0 891962205 4148596736 933953 33554432000 4194304 4337479 140733664111296 18446744073709551615 4278976 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 1012841 933953 264 35 0 1009464 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 4051364

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

[startup+652.701 s]
/proc/loadavg: 4.00 4.00 3.50 6/190 25243
/proc/meminfo: memFree=19102964/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=4051364 CPUtime=652.7 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 953598 0 0 0 65125 145 0 0 25 0 1 0 891962205 4148596736 934536 33554432000 4194304 4337479 140733664111296 18446744073709551615 4255646 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 1012841 934536 264 35 0 1009464 0
Current children cumulated CPU time (s) 652.7
Current children cumulated vsize (KiB) 4051364

[startup+665.507 s]
/proc/loadavg: 4.00 4.00 3.50 6/190 25243
/proc/meminfo: memFree=18963448/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=4079048 CPUtime=665.51 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 954638 0 0 0 66405 146 0 0 25 0 1 0 891962205 4176945152 935576 33554432000 4194304 4337479 140733664111296 18446744073709551615 4259832 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 1019762 935576 264 35 0 1016385 0
Current children cumulated CPU time (s) 665.51
Current children cumulated vsize (KiB) 4079048

[startup+668.7 s]
/proc/loadavg: 4.00 4.00 3.51 5/190 25243
/proc/meminfo: memFree=18942612/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=4079048 CPUtime=668.71 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 954647 0 0 0 66725 146 0 0 25 0 1 0 891962205 4176945152 935585 33554432000 4194304 4337479 140733664111296 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 1019762 935585 264 35 0 1016385 0
Current children cumulated CPU time (s) 668.71
Current children cumulated vsize (KiB) 4079048

[startup+670.301 s]
/proc/loadavg: 4.00 4.00 3.51 5/190 25243
/proc/meminfo: memFree=18934304/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=4079048 CPUtime=670.3 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 954650 0 0 0 66884 146 0 0 25 0 1 0 891962205 4176945152 935588 33554432000 4194304 4337479 140733664111296 18446744073709551615 4255670 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 1019762 935588 264 35 0 1016385 0
Current children cumulated CPU time (s) 670.3
Current children cumulated vsize (KiB) 4079048

[startup+671.101 s]
/proc/loadavg: 4.00 4.00 3.51 6/190 25243
/proc/meminfo: memFree=18921780/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=4079048 CPUtime=671.1 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 954652 0 0 0 66964 146 0 0 25 0 1 0 891962205 4176945152 935590 33554432000 4194304 4337479 140733664111296 18446744073709551615 4255744 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 1019762 935590 264 35 0 1016385 0
Current children cumulated CPU time (s) 671.1
Current children cumulated vsize (KiB) 4079048

[startup+671.501 s]
/proc/loadavg: 4.00 4.00 3.51 6/190 25243
/proc/meminfo: memFree=18921780/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=4079048 CPUtime=671.5 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202496 954652 0 0 0 67004 146 0 0 25 0 1 0 891962205 4176945152 935590 33554432000 4194304 4337479 140733664111296 18446744073709551615 4259794 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24844/statm: 1019762 935590 264 35 0 1016385 0
Current children cumulated CPU time (s) 671.5
Current children cumulated vsize (KiB) 4079048

[startup+671.901 s]
/proc/loadavg: 4.00 4.00 3.51 6/190 25243
/proc/meminfo: memFree=18921780/32950928 swapFree=67050648/67111528
[pid=24844] ppid=24842 vsize=0 CPUtime=671.9 cores=0,2
/proc/24844/stat : 24844 (hmuc) R 24842 24844 23549 0 -1 4202500 954654 0 0 0 67030 160 0 0 25 0 1 0 891962205 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 0 0 0 0
/proc/24844/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 671.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 671.929
CPU time (s): 671.936
CPU user time (s): 670.303
CPU system time (s): 1.63275
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4079048

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

runsolver used 1.06784 second user time and 2.6096 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-11 16:47:15
IDJOB=3494500
IDBENCH=84233
IDSOLVER=1985
FILE ID=node126/3494500-1307803635
RUNJOBID= node126-1307802663-24568
PBS_JOBID= 13551024
Free space on /tmp= 74148 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_5_5.shuffled-as.sat03-361.cnf
COMMAND LINE= HOME/hmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494500-1307803635/watcher-3494500-1307803635 -o /tmp/evaluation-result-3494500-1307803635/solver-3494500-1307803635 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494500-1307803635.cnf

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

MD5SUM BENCH= d545f1b275cb8b044c819f6765152511
RANDOM SEED=536202331

node126.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.783
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.56
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.783
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.783
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.74
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.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24888544 kB
Buffers:        295656 kB
Cached:         906640 kB
SwapCached:      14888 kB
Active:        7129528 kB
Inactive:       718872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24888544 kB
SwapTotal:    67111528 kB
SwapFree:     67050648 kB
Dirty:             796 kB
Writeback:           0 kB
AnonPages:     6643544 kB
Mapped:           9776 kB
Slab:           134104 kB
PageTables:      18832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  7259564 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= 74156 MiB
End job on node126 at 2011-06-11 16:58:27