75.80/75.88	c WARNING: for repeatability, setting FPU to use double precision
75.80/75.88	c iter 1 time 7.39188 not-muc 1529 unknown 2148 muc 0
75.80/75.88	c iter 2 time 11.5352 not-muc 1544 unknown 2133 muc 0
75.80/75.88	c iter 3 time 11.6552 not-muc 1544 unknown 2132 muc 1
75.80/75.88	c iter 4 time 18.6432 not-muc 1557 unknown 2119 muc 1
75.80/75.88	c iter 5 time 18.7951 not-muc 1557 unknown 2118 muc 2
75.80/75.88	c iter 6 time 18.8451 not-muc 1557 unknown 2117 muc 3
75.80/75.88	c iter 7 time 18.9121 not-muc 1557 unknown 2116 muc 4
75.80/75.88	c iter 8 time 18.9701 not-muc 1557 unknown 2115 muc 5
75.80/75.88	c iter 9 time 19.0401 not-muc 1557 unknown 2114 muc 6
75.80/75.88	c iter 10 time 30.2954 not-muc 1566 unknown 2105 muc 6
75.80/75.88	c iter 11 time 30.5154 not-muc 1566 unknown 2104 muc 7
75.80/75.88	c iter 12 time 30.5814 not-muc 1566 unknown 2103 muc 8
75.80/75.88	c iter 13 time 30.6383 not-muc 1566 unknown 2102 muc 9
75.80/75.88	c iter 14 time 30.7063 not-muc 1566 unknown 2101 muc 10
75.80/75.88	c iter 15 time 30.7623 not-muc 1566 unknown 2100 muc 11
75.80/75.88	c iter 16 time 30.7813 not-muc 1566 unknown 2099 muc 12
75.80/75.88	c iter 17 time 30.8383 not-muc 1566 unknown 2098 muc 13
75.80/75.88	c iter 18 time 30.8913 not-muc 1566 unknown 2097 muc 14
75.80/75.88	c iter 19 time 31.0053 not-muc 1566 unknown 2096 muc 15
75.80/75.88	c iter 20 time 37.3713 not-muc 1573 unknown 2089 muc 15
75.80/75.88	c iter 21 time 37.5223 not-muc 1573 unknown 2088 muc 16
75.80/75.88	c iter 22 time 37.5853 not-muc 1573 unknown 2087 muc 17
75.80/75.88	c iter 23 time 37.6453 not-muc 1573 unknown 2086 muc 18
75.80/75.88	c iter 24 time 37.7043 not-muc 1573 unknown 2085 muc 19
75.80/75.88	c iter 25 time 37.7683 not-muc 1573 unknown 2084 muc 20
75.80/75.88	c iter 26 time 37.8083 not-muc 1573 unknown 2083 muc 21
75.80/75.88	c iter 27 time 37.8892 not-muc 1573 unknown 2082 muc 22
75.80/75.88	c iter 28 time 37.9342 not-muc 1573 unknown 2081 muc 23
75.80/75.88	c iter 29 time 38.0072 not-muc 1573 unknown 2080 muc 24
75.80/75.88	c iter 30 time 38.0602 not-muc 1573 unknown 2079 muc 25
75.80/75.88	c iter 31 time 38.1002 not-muc 1573 unknown 2078 muc 26
75.80/75.88	c iter 32 time 38.1912 not-muc 1573 unknown 2077 muc 27
75.80/75.88	c iter 33 time 38.2312 not-muc 1573 unknown 2076 muc 28
75.80/75.88	c iter 34 time 38.3122 not-muc 1573 unknown 2075 muc 29
75.80/75.88	c iter 35 time 38.3542 not-muc 1573 unknown 2074 muc 30
75.80/75.88	c iter 36 time 46.8389 not-muc 1579 unknown 2068 muc 30
75.80/75.88	c iter 37 time 46.9819 not-muc 1579 unknown 2067 muc 31
75.80/75.88	c iter 38 time 47.0878 not-muc 1579 unknown 2066 muc 32
75.80/75.88	c iter 39 time 47.1208 not-muc 1579 unknown 2065 muc 33
75.80/75.88	c iter 40 time 47.1898 not-muc 1579 unknown 2064 muc 34
75.80/75.88	c iter 41 time 47.2198 not-muc 1579 unknown 2063 muc 35
75.80/75.88	c iter 42 time 47.2578 not-muc 1579 unknown 2062 muc 36
75.80/75.88	c iter 43 time 56.8984 not-muc 1585 unknown 2056 muc 36
75.80/75.88	c iter 44 time 57.0723 not-muc 1585 unknown 2055 muc 37
75.80/75.88	c iter 45 time 57.0843 not-muc 1585 unknown 2054 muc 38
75.80/75.88	c iter 46 time 64.7772 not-muc 1595 unknown 2044 muc 38
75.80/75.88	c iter 47 time 64.8951 not-muc 1595 unknown 2043 muc 39
75.80/75.88	c iter 48 time 73.1839 not-muc 1597 unknown 2041 muc 39
75.80/75.88	c iter 49 time 73.3289 not-muc 1597 unknown 2040 muc 40
75.80/75.88	c iter 50 time 73.6238 not-muc 1597 unknown 2039 muc 41
75.80/75.88	c iter 51 time 73.7298 not-muc 1597 unknown 2038 muc 42
75.80/75.88	c iter 52 time 73.8118 not-muc 1597 unknown 2037 muc 43
75.80/75.88	c iter 53 time 73.8538 not-muc 1597 unknown 2036 muc 44
75.80/75.88	c iter 54 time 73.9028 not-muc 1597 unknown 2035 muc 45
75.80/75.88	c iter 55 time 73.9538 not-muc 1597 unknown 2034 muc 46
75.80/75.88	c iter 56 time 74.0417 not-muc 1597 unknown 2033 muc 47
75.80/75.88	c iter 57 time 74.0907 not-muc 1597 unknown 2032 muc 48
75.80/75.88	c iter 58 time 74.1627 not-muc 1597 unknown 2031 muc 49
75.80/75.88	c iter 59 time 74.3297 not-muc 1597 unknown 2030 muc 50
75.80/75.88	c iter 60 time 74.3737 not-muc 1597 unknown 2029 muc 51
75.80/75.88	c iter 61 time 74.4727 not-muc 1597 unknown 2028 muc 52
75.80/75.88	c iter 62 time 74.5977 not-muc 1597 unknown 2027 muc 53
75.80/75.88	c iter 63 time 74.6666 not-muc 1597 unknown 2026 muc 54
75.80/75.88	c iter 64 time 74.8366 not-muc 1597 unknown 2025 muc 55
75.80/75.88	c iter 65 time 74.8896 not-muc 1597 unknown 2024 muc 56
75.80/75.88	c iter 66 time 74.9406 not-muc 1597 unknown 2023 muc 57
75.80/75.88	c iter 67 time 75.0126 not-muc 1597 unknown 2022 muc 58
75.80/75.88	c iter 68 time 75.0886 not-muc 1597 unknown 2021 muc 59
75.80/75.88	c iter 69 time 75.1656 not-muc 1597 unknown 2020 muc 60
75.80/75.88	c iter 70 time 75.2616 not-muc 1597 unknown 2019 muc 61
75.80/75.88	c iter 71 time 75.3126 not-muc 1597 unknown 2018 muc 62
75.80/75.88	c iter 72 time 75.3595 not-muc 1597 unknown 2017 muc 63
75.80/75.88	c iter 73 time 75.4565 not-muc 1597 unknown 2016 muc 64
106.60/106.68	c iter 74 time 75.5095 not-muc 1597 unknown 2015 muc 65
106.60/106.68	c iter 75 time 75.5655 not-muc 1597 unknown 2014 muc 66
106.60/106.68	c iter 76 time 75.6205 not-muc 1597 unknown 2013 muc 67
106.60/106.68	c iter 77 time 84.4642 not-muc 1602 unknown 2008 muc 67
106.60/106.68	c iter 78 time 84.6801 not-muc 1602 unknown 2007 muc 68
106.60/106.68	c iter 79 time 84.7551 not-muc 1602 unknown 2006 muc 69
106.60/106.68	c iter 80 time 84.8301 not-muc 1602 unknown 2005 muc 70
106.60/106.68	c iter 81 time 84.9601 not-muc 1602 unknown 2004 muc 71
106.60/106.68	c iter 82 time 85.0211 not-muc 1602 unknown 2003 muc 72
106.60/106.68	c iter 83 time 85.1261 not-muc 1602 unknown 2002 muc 73
106.60/106.68	c iter 84 time 85.27 not-muc 1602 unknown 2001 muc 74
106.60/106.68	c iter 85 time 85.399 not-muc 1602 unknown 2000 muc 75
106.60/106.68	c iter 86 time 85.476 not-muc 1602 unknown 1999 muc 76
106.60/106.68	c iter 87 time 85.551 not-muc 1602 unknown 1998 muc 77
106.60/106.68	c iter 88 time 85.625 not-muc 1602 unknown 1997 muc 78
106.60/106.68	c iter 89 time 85.7 not-muc 1602 unknown 1996 muc 79
106.60/106.68	c iter 90 time 85.774 not-muc 1602 unknown 1995 muc 80
106.60/106.68	c iter 91 time 85.8479 not-muc 1602 unknown 1994 muc 81
106.60/106.68	c iter 92 time 85.9219 not-muc 1602 unknown 1993 muc 82
106.60/106.68	c iter 93 time 85.9939 not-muc 1602 unknown 1992 muc 83
106.60/106.68	c iter 94 time 86.0699 not-muc 1602 unknown 1991 muc 84
106.60/106.68	c iter 95 time 86.1659 not-muc 1602 unknown 1990 muc 85
106.60/106.68	c iter 96 time 86.3379 not-muc 1602 unknown 1989 muc 86
106.60/106.68	c iter 97 time 86.4129 not-muc 1602 unknown 1988 muc 87
106.60/106.68	c iter 98 time 86.4968 not-muc 1602 unknown 1987 muc 88
106.60/106.68	c iter 99 time 86.5568 not-muc 1602 unknown 1986 muc 89
106.60/106.68	c iter 100 time 86.6338 not-muc 1602 unknown 1985 muc 90
106.60/106.68	c iter 101 time 86.7938 not-muc 1602 unknown 1984 muc 91
106.60/106.68	c iter 102 time 86.8678 not-muc 1602 unknown 1983 muc 92
106.60/106.68	c iter 103 time 86.9418 not-muc 1602 unknown 1982 muc 93
106.60/106.68	c iter 104 time 87.0508 not-muc 1602 unknown 1981 muc 94
106.60/106.68	c iter 105 time 87.1258 not-muc 1602 unknown 1980 muc 95
106.60/106.68	c iter 106 time 87.2067 not-muc 1602 unknown 1979 muc 96
106.60/106.68	c iter 107 time 87.2807 not-muc 1602 unknown 1978 muc 97
106.60/106.68	c iter 108 time 87.4457 not-muc 1602 unknown 1977 muc 98
106.60/106.68	c iter 109 time 87.5267 not-muc 1602 unknown 1976 muc 99
106.60/106.68	c iter 110 time 87.6007 not-muc 1602 unknown 1975 muc 100
106.60/106.68	c iter 111 time 87.7547 not-muc 1602 unknown 1974 muc 101
106.60/106.68	c iter 112 time 87.8936 not-muc 1602 unknown 1973 muc 102
106.60/106.68	c iter 113 time 87.9866 not-muc 1602 unknown 1972 muc 103
106.60/106.68	c iter 114 time 88.0496 not-muc 1602 unknown 1971 muc 104
106.60/106.68	c iter 115 time 97.1512 not-muc 1604 unknown 1969 muc 104
106.60/106.68	c iter 116 time 97.3602 not-muc 1604 unknown 1968 muc 105
106.60/106.68	c iter 117 time 97.4292 not-muc 1604 unknown 1967 muc 106
106.60/106.68	c iter 118 time 97.5252 not-muc 1604 unknown 1966 muc 107
106.60/106.68	c iter 119 time 97.5882 not-muc 1604 unknown 1965 muc 108
106.60/106.68	c iter 120 time 97.6632 not-muc 1604 unknown 1964 muc 109
106.60/106.68	c iter 121 time 97.7341 not-muc 1604 unknown 1963 muc 110
106.60/106.68	c iter 122 time 97.8591 not-muc 1604 unknown 1962 muc 111
106.60/106.68	c iter 123 time 97.9461 not-muc 1604 unknown 1961 muc 112
106.60/106.68	c iter 124 time 98.0141 not-muc 1604 unknown 1960 muc 113
106.60/106.68	c iter 125 time 98.0911 not-muc 1604 unknown 1959 muc 114
106.60/106.68	c iter 126 time 98.1811 not-muc 1604 unknown 1958 muc 115
106.60/106.68	c iter 127 time 98.2631 not-muc 1604 unknown 1957 muc 116
106.60/106.68	c iter 128 time 98.361 not-muc 1604 unknown 1956 muc 117
106.60/106.68	c iter 129 time 98.453 not-muc 1604 unknown 1955 muc 118
106.60/106.68	c iter 130 time 98.521 not-muc 1604 unknown 1954 muc 119
106.60/106.68	c iter 131 time 98.624 not-muc 1604 unknown 1953 muc 120
106.60/106.68	c iter 132 time 98.704 not-muc 1604 unknown 1952 muc 121
106.60/106.68	c iter 133 time 98.83 not-muc 1604 unknown 1951 muc 122
106.60/106.68	c iter 134 time 98.952 not-muc 1604 unknown 1950 muc 123
106.60/106.68	c iter 135 time 99.0719 not-muc 1604 unknown 1949 muc 124
106.60/106.68	c iter 136 time 105.367 not-muc 1609 unknown 1944 muc 124
106.60/106.68	c iter 137 time 105.568 not-muc 1609 unknown 1943 muc 125
106.60/106.68	c iter 138 time 105.626 not-muc 1609 unknown 1942 muc 126
106.60/106.68	c iter 139 time 105.687 not-muc 1609 unknown 1941 muc 127
106.60/106.68	c iter 140 time 105.754 not-muc 1609 unknown 1940 muc 128
106.60/106.68	c iter 141 time 105.812 not-muc 1609 unknown 1939 muc 129
106.60/106.68	c iter 142 time 105.868 not-muc 1609 unknown 1938 muc 130
106.60/106.68	c iter 143 time 105.968 not-muc 1609 unknown 1937 muc 131
106.60/106.68	c iter 144 time 106.029 not-muc 1609 unknown 1936 muc 132
106.60/106.68	c iter 145 time 106.093 not-muc 1609 unknown 1935 muc 133
112.89/112.93	c iter 146 time 106.169 not-muc 1609 unknown 1934 muc 134
112.89/112.93	c iter 147 time 106.258 not-muc 1609 unknown 1933 muc 135
112.89/112.93	c iter 148 time 106.324 not-muc 1609 unknown 1932 muc 136
112.89/112.93	c iter 149 time 106.387 not-muc 1609 unknown 1931 muc 137
112.89/112.93	c iter 150 time 106.511 not-muc 1609 unknown 1930 muc 138
112.89/112.93	c iter 151 time 106.571 not-muc 1609 unknown 1929 muc 139
112.89/112.93	c iter 152 time 106.632 not-muc 1609 unknown 1928 muc 140
112.89/112.93	c iter 153 time 106.725 not-muc 1609 unknown 1927 muc 141
112.89/112.93	c iter 154 time 106.773 not-muc 1609 unknown 1926 muc 142
112.89/112.93	c iter 155 time 106.835 not-muc 1609 unknown 1925 muc 143
112.89/112.93	c iter 156 time 106.866 not-muc 1609 unknown 1924 muc 144
112.89/112.93	c iter 157 time 106.924 not-muc 1609 unknown 1923 muc 145
112.89/112.93	c iter 158 time 106.98 not-muc 1609 unknown 1922 muc 146
112.89/112.93	c iter 159 time 107.068 not-muc 1609 unknown 1921 muc 147
112.89/112.93	c iter 160 time 107.126 not-muc 1609 unknown 1920 muc 148
112.89/112.93	c iter 161 time 107.18 not-muc 1609 unknown 1919 muc 149
112.89/112.93	c iter 162 time 107.276 not-muc 1609 unknown 1918 muc 150
112.89/112.93	c iter 163 time 107.339 not-muc 1609 unknown 1917 muc 151
112.89/112.93	c iter 164 time 107.426 not-muc 1609 unknown 1916 muc 152
112.89/112.93	c iter 165 time 107.472 not-muc 1609 unknown 1915 muc 153
112.89/112.93	c iter 166 time 107.647 not-muc 1609 unknown 1914 muc 154
112.89/112.93	c iter 167 time 107.687 not-muc 1609 unknown 1913 muc 155
112.89/112.93	c iter 168 time 107.811 not-muc 1609 unknown 1912 muc 156
112.89/112.93	c iter 169 time 107.942 not-muc 1609 unknown 1911 muc 157
112.89/112.93	c iter 170 time 107.981 not-muc 1609 unknown 1910 muc 158
112.89/112.93	c iter 171 time 108.031 not-muc 1609 unknown 1909 muc 159
112.89/112.93	c iter 172 time 108.106 not-muc 1609 unknown 1908 muc 160
112.89/112.93	c iter 173 time 108.263 not-muc 1609 unknown 1907 muc 161
112.89/112.93	c iter 174 time 108.353 not-muc 1609 unknown 1906 muc 162
112.89/112.93	c iter 175 time 108.404 not-muc 1609 unknown 1905 muc 163
112.89/112.93	c iter 176 time 108.602 not-muc 1609 unknown 1904 muc 164
112.89/112.93	c iter 177 time 108.664 not-muc 1609 unknown 1903 muc 165
112.89/112.93	c iter 178 time 108.725 not-muc 1609 unknown 1902 muc 166
112.89/112.93	c iter 179 time 108.79 not-muc 1609 unknown 1901 muc 167
112.89/112.93	c iter 180 time 108.848 not-muc 1609 unknown 1900 muc 168
112.89/112.93	c iter 181 time 108.907 not-muc 1609 unknown 1899 muc 169
112.89/112.93	c iter 182 time 109.008 not-muc 1609 unknown 1898 muc 170
112.89/112.93	c iter 183 time 109.085 not-muc 1609 unknown 1897 muc 171
112.89/112.93	c iter 184 time 109.136 not-muc 1609 unknown 1896 muc 172
112.89/112.93	c iter 185 time 109.191 not-muc 1609 unknown 1895 muc 173
112.89/112.93	c iter 186 time 109.266 not-muc 1609 unknown 1894 muc 174
112.89/112.93	c iter 187 time 109.344 not-muc 1609 unknown 1893 muc 175
112.89/112.93	c iter 188 time 109.451 not-muc 1609 unknown 1892 muc 176
112.89/112.93	c iter 189 time 109.606 not-muc 1609 unknown 1891 muc 177
112.89/112.93	c iter 190 time 109.665 not-muc 1609 unknown 1890 muc 178
112.89/112.93	c iter 191 time 109.743 not-muc 1609 unknown 1889 muc 179
112.89/112.93	c iter 192 time 109.802 not-muc 1609 unknown 1888 muc 180
112.89/112.93	c iter 193 time 109.903 not-muc 1609 unknown 1887 muc 181
112.89/112.93	c iter 194 time 109.962 not-muc 1609 unknown 1886 muc 182
112.89/112.93	c iter 195 time 110.055 not-muc 1609 unknown 1885 muc 183
112.89/112.93	c iter 196 time 110.114 not-muc 1609 unknown 1884 muc 184
112.89/112.93	c iter 197 time 110.206 not-muc 1609 unknown 1883 muc 185
112.89/112.93	c iter 198 time 110.266 not-muc 1609 unknown 1882 muc 186
112.89/112.93	c iter 199 time 110.331 not-muc 1609 unknown 1881 muc 187
112.89/112.93	c iter 200 time 110.391 not-muc 1609 unknown 1880 muc 188
112.89/112.93	c iter 201 time 110.515 not-muc 1609 unknown 1879 muc 189
112.89/112.93	c iter 202 time 110.625 not-muc 1609 unknown 1878 muc 190
112.89/112.93	c iter 203 time 110.694 not-muc 1609 unknown 1877 muc 191
112.89/112.93	c iter 204 time 110.764 not-muc 1609 unknown 1876 muc 192
112.89/112.93	c iter 205 time 110.879 not-muc 1609 unknown 1875 muc 193
112.89/112.93	c iter 206 time 110.939 not-muc 1609 unknown 1874 muc 194
112.89/112.93	c iter 207 time 111.101 not-muc 1609 unknown 1873 muc 195
112.89/112.93	c iter 208 time 111.297 not-muc 1609 unknown 1872 muc 196
112.89/112.93	c iter 209 time 111.402 not-muc 1609 unknown 1871 muc 197
112.89/112.93	c iter 210 time 111.469 not-muc 1609 unknown 1870 muc 198
112.89/112.93	c iter 211 time 111.528 not-muc 1609 unknown 1869 muc 199
112.89/112.93	c iter 212 time 112.027 not-muc 1609 unknown 1868 muc 200
112.89/112.93	c iter 213 time 112.091 not-muc 1609 unknown 1867 muc 201
112.89/112.93	c iter 214 time 112.181 not-muc 1609 unknown 1866 muc 202
112.89/112.93	c iter 215 time 112.279 not-muc 1609 unknown 1865 muc 203
112.89/112.93	c iter 216 time 112.341 not-muc 1609 unknown 1864 muc 204
155.60/155.66	c iter 217 time 112.518 not-muc 1609 unknown 1863 muc 205
155.60/155.66	c iter 218 time 112.589 not-muc 1609 unknown 1862 muc 206
155.60/155.66	c iter 219 time 112.648 not-muc 1609 unknown 1861 muc 207
155.60/155.66	c iter 220 time 112.801 not-muc 1609 unknown 1860 muc 208
155.60/155.66	c iter 221 time 119.194 not-muc 1612 unknown 1857 muc 208
155.60/155.66	c iter 222 time 119.333 not-muc 1612 unknown 1856 muc 209
155.60/155.66	c iter 223 time 119.401 not-muc 1612 unknown 1855 muc 210
155.60/155.66	c iter 224 time 119.455 not-muc 1612 unknown 1854 muc 211
155.60/155.66	c iter 225 time 119.509 not-muc 1612 unknown 1853 muc 212
155.60/155.66	c iter 226 time 119.574 not-muc 1612 unknown 1852 muc 213
155.60/155.66	c iter 227 time 119.702 not-muc 1612 unknown 1851 muc 214
155.60/155.66	c iter 228 time 119.758 not-muc 1612 unknown 1850 muc 215
155.60/155.66	c iter 229 time 119.833 not-muc 1612 unknown 1849 muc 216
155.60/155.66	c iter 230 time 119.919 not-muc 1612 unknown 1848 muc 217
155.60/155.66	c iter 231 time 119.991 not-muc 1612 unknown 1847 muc 218
155.60/155.66	c iter 232 time 120.026 not-muc 1612 unknown 1846 muc 219
155.60/155.66	c iter 233 time 120.092 not-muc 1612 unknown 1845 muc 220
155.60/155.66	c iter 234 time 120.188 not-muc 1612 unknown 1844 muc 221
155.60/155.66	c iter 235 time 125.867 not-muc 1613 unknown 1843 muc 221
155.60/155.66	c iter 236 time 126.035 not-muc 1613 unknown 1842 muc 222
155.60/155.66	c iter 237 time 126.121 not-muc 1613 unknown 1841 muc 223
155.60/155.66	c iter 238 time 131.663 not-muc 1623 unknown 1831 muc 223
155.60/155.66	c iter 239 time 131.798 not-muc 1623 unknown 1830 muc 224
155.60/155.66	c iter 240 time 131.845 not-muc 1623 unknown 1829 muc 225
155.60/155.66	c iter 241 time 131.887 not-muc 1623 unknown 1828 muc 226
155.60/155.66	c iter 242 time 131.943 not-muc 1623 unknown 1827 muc 227
155.60/155.66	c iter 243 time 131.99 not-muc 1623 unknown 1826 muc 228
155.60/155.66	c iter 244 time 132.177 not-muc 1623 unknown 1825 muc 229
155.60/155.66	c iter 245 time 132.233 not-muc 1623 unknown 1824 muc 230
155.60/155.66	c iter 246 time 132.273 not-muc 1623 unknown 1823 muc 231
155.60/155.66	c iter 247 time 132.411 not-muc 1623 unknown 1822 muc 232
155.60/155.66	c iter 248 time 132.5 not-muc 1623 unknown 1821 muc 233
155.60/155.66	c iter 249 time 132.62 not-muc 1623 unknown 1820 muc 234
155.60/155.66	c iter 250 time 138.132 not-muc 1626 unknown 1817 muc 234
155.60/155.66	c iter 251 time 138.344 not-muc 1626 unknown 1816 muc 235
155.60/155.66	c iter 252 time 138.41 not-muc 1626 unknown 1815 muc 236
155.60/155.66	c iter 253 time 138.568 not-muc 1626 unknown 1814 muc 237
155.60/155.66	c iter 254 time 138.624 not-muc 1626 unknown 1813 muc 238
155.60/155.66	c iter 255 time 145.27 not-muc 1629 unknown 1810 muc 238
155.60/155.66	c iter 256 time 145.413 not-muc 1629 unknown 1809 muc 239
155.60/155.66	c iter 257 time 145.51 not-muc 1629 unknown 1808 muc 240
155.60/155.66	c iter 258 time 145.644 not-muc 1629 unknown 1807 muc 241
155.60/155.66	c iter 259 time 145.718 not-muc 1629 unknown 1806 muc 242
155.60/155.66	c iter 260 time 145.794 not-muc 1629 unknown 1805 muc 243
155.60/155.66	c iter 261 time 145.919 not-muc 1629 unknown 1804 muc 244
155.60/155.66	c iter 262 time 146.054 not-muc 1629 unknown 1803 muc 245
155.60/155.66	c iter 263 time 146.13 not-muc 1629 unknown 1802 muc 246
155.60/155.66	c iter 264 time 146.199 not-muc 1629 unknown 1801 muc 247
155.60/155.66	c iter 265 time 146.293 not-muc 1629 unknown 1800 muc 248
155.60/155.66	c iter 266 time 146.357 not-muc 1629 unknown 1799 muc 249
155.60/155.66	c iter 267 time 146.47 not-muc 1629 unknown 1798 muc 250
155.60/155.66	c iter 268 time 146.603 not-muc 1629 unknown 1797 muc 251
155.60/155.66	c iter 269 time 146.679 not-muc 1629 unknown 1796 muc 252
155.60/155.66	c iter 270 time 146.793 not-muc 1629 unknown 1795 muc 253
155.60/155.66	c iter 271 time 146.85 not-muc 1629 unknown 1794 muc 254
155.60/155.66	c iter 272 time 146.923 not-muc 1629 unknown 1793 muc 255
155.60/155.66	c iter 273 time 147.02 not-muc 1629 unknown 1792 muc 256
155.60/155.66	c iter 274 time 147.247 not-muc 1629 unknown 1791 muc 257
155.60/155.66	c iter 275 time 147.415 not-muc 1629 unknown 1790 muc 258
155.60/155.66	c iter 276 time 147.492 not-muc 1629 unknown 1789 muc 259
155.60/155.66	c iter 277 time 153.919 not-muc 1632 unknown 1786 muc 259
155.60/155.66	c iter 278 time 154.167 not-muc 1632 unknown 1785 muc 260
155.60/155.66	c iter 279 time 154.246 not-muc 1632 unknown 1784 muc 261
155.60/155.66	c iter 280 time 154.322 not-muc 1632 unknown 1783 muc 262
155.60/155.66	c iter 281 time 154.382 not-muc 1632 unknown 1782 muc 263
155.60/155.66	c iter 282 time 154.429 not-muc 1632 unknown 1781 muc 264
155.60/155.66	c iter 283 time 154.562 not-muc 1632 unknown 1780 muc 265
155.60/155.66	c iter 284 time 154.643 not-muc 1632 unknown 1779 muc 266
155.60/155.66	c iter 285 time 154.856 not-muc 1632 unknown 1778 muc 267
155.60/155.66	c iter 286 time 154.958 not-muc 1632 unknown 1777 muc 268
188.99/189.08	c iter 287 time 155.034 not-muc 1632 unknown 1776 muc 269
188.99/189.08	c iter 288 time 155.219 not-muc 1632 unknown 1775 muc 270
188.99/189.08	c iter 289 time 155.423 not-muc 1632 unknown 1774 muc 271
188.99/189.08	c iter 290 time 155.489 not-muc 1632 unknown 1773 muc 272
188.99/189.08	c iter 291 time 159.629 not-muc 1634 unknown 1771 muc 272
188.99/189.08	c iter 292 time 159.759 not-muc 1634 unknown 1770 muc 273
188.99/189.08	c iter 293 time 159.92 not-muc 1634 unknown 1769 muc 274
188.99/189.08	c iter 294 time 159.958 not-muc 1634 unknown 1768 muc 275
188.99/189.08	c iter 295 time 160.013 not-muc 1634 unknown 1767 muc 276
188.99/189.08	c iter 296 time 160.164 not-muc 1634 unknown 1766 muc 277
188.99/189.08	c iter 297 time 160.207 not-muc 1634 unknown 1765 muc 278
188.99/189.08	c iter 298 time 160.311 not-muc 1634 unknown 1764 muc 279
188.99/189.08	c iter 299 time 160.387 not-muc 1634 unknown 1763 muc 280
188.99/189.08	c iter 300 time 160.482 not-muc 1634 unknown 1762 muc 281
188.99/189.08	c iter 301 time 160.527 not-muc 1634 unknown 1761 muc 282
188.99/189.08	c iter 302 time 160.576 not-muc 1634 unknown 1760 muc 283
188.99/189.08	c iter 303 time 160.684 not-muc 1634 unknown 1759 muc 284
188.99/189.08	c iter 304 time 160.749 not-muc 1634 unknown 1758 muc 285
188.99/189.08	c iter 305 time 160.769 not-muc 1634 unknown 1757 muc 286
188.99/189.08	c iter 306 time 160.809 not-muc 1634 unknown 1756 muc 287
188.99/189.08	c iter 307 time 160.963 not-muc 1634 unknown 1755 muc 288
188.99/189.08	c iter 308 time 161.061 not-muc 1634 unknown 1754 muc 289
188.99/189.08	c iter 309 time 161.098 not-muc 1634 unknown 1753 muc 290
188.99/189.08	c iter 310 time 161.225 not-muc 1634 unknown 1752 muc 291
188.99/189.08	c iter 311 time 161.398 not-muc 1634 unknown 1751 muc 292
188.99/189.08	c iter 312 time 161.47 not-muc 1634 unknown 1750 muc 293
188.99/189.08	c iter 313 time 161.488 not-muc 1634 unknown 1749 muc 294
188.99/189.08	c iter 314 time 161.563 not-muc 1634 unknown 1748 muc 295
188.99/189.08	c iter 315 time 161.576 not-muc 1634 unknown 1747 muc 296
188.99/189.08	c iter 316 time 161.632 not-muc 1634 unknown 1746 muc 297
188.99/189.08	c iter 317 time 161.696 not-muc 1634 unknown 1745 muc 298
188.99/189.08	c iter 318 time 161.74 not-muc 1634 unknown 1744 muc 299
188.99/189.08	c iter 319 time 161.783 not-muc 1634 unknown 1743 muc 300
188.99/189.08	c iter 320 time 167.999 not-muc 1636 unknown 1741 muc 300
188.99/189.08	c iter 321 time 168.151 not-muc 1636 unknown 1740 muc 301
188.99/189.08	c iter 322 time 168.393 not-muc 1636 unknown 1739 muc 302
188.99/189.08	c iter 323 time 175.76 not-muc 1638 unknown 1737 muc 302
188.99/189.08	c iter 324 time 175.954 not-muc 1638 unknown 1736 muc 303
188.99/189.08	c iter 325 time 176.031 not-muc 1638 unknown 1735 muc 304
188.99/189.08	c iter 326 time 176.286 not-muc 1638 unknown 1734 muc 305
188.99/189.08	c iter 327 time 176.39 not-muc 1638 unknown 1733 muc 306
188.99/189.08	c iter 328 time 176.618 not-muc 1638 unknown 1732 muc 307
188.99/189.08	c iter 329 time 176.79 not-muc 1638 unknown 1731 muc 308
188.99/189.08	c iter 330 time 176.876 not-muc 1638 unknown 1730 muc 309
188.99/189.08	c iter 331 time 176.938 not-muc 1638 unknown 1729 muc 310
188.99/189.08	c iter 332 time 177.035 not-muc 1638 unknown 1728 muc 311
188.99/189.08	c iter 333 time 177.122 not-muc 1638 unknown 1727 muc 312
188.99/189.08	c iter 334 time 177.209 not-muc 1638 unknown 1726 muc 313
188.99/189.08	c iter 335 time 177.44 not-muc 1638 unknown 1725 muc 314
188.99/189.08	c iter 336 time 177.543 not-muc 1638 unknown 1724 muc 315
188.99/189.08	c iter 337 time 177.635 not-muc 1638 unknown 1723 muc 316
188.99/189.08	c iter 338 time 178.002 not-muc 1638 unknown 1722 muc 317
188.99/189.08	c iter 339 time 178.094 not-muc 1638 unknown 1721 muc 318
188.99/189.08	c iter 340 time 178.196 not-muc 1638 unknown 1720 muc 319
188.99/189.08	c iter 341 time 180.184 not-muc 1639 unknown 1719 muc 319
188.99/189.08	c iter 342 time 180.385 not-muc 1639 unknown 1718 muc 320
188.99/189.08	c iter 343 time 180.45 not-muc 1639 unknown 1717 muc 321
188.99/189.08	c iter 344 time 180.589 not-muc 1639 unknown 1716 muc 322
188.99/189.08	c iter 345 time 180.644 not-muc 1639 unknown 1715 muc 323
188.99/189.08	c iter 346 time 180.708 not-muc 1639 unknown 1714 muc 324
188.99/189.08	c iter 347 time 180.757 not-muc 1639 unknown 1713 muc 325
188.99/189.08	c iter 348 time 180.866 not-muc 1639 unknown 1712 muc 326
188.99/189.08	c iter 349 time 180.929 not-muc 1639 unknown 1711 muc 327
188.99/189.08	c iter 350 time 187.324 not-muc 1644 unknown 1706 muc 327
188.99/189.08	c iter 351 time 187.553 not-muc 1644 unknown 1705 muc 328
188.99/189.08	c iter 352 time 187.745 not-muc 1644 unknown 1704 muc 329
188.99/189.08	c iter 353 time 188.02 not-muc 1644 unknown 1703 muc 330
188.99/189.08	c iter 354 time 188.066 not-muc 1644 unknown 1702 muc 331
188.99/189.08	c iter 355 time 188.106 not-muc 1644 unknown 1701 muc 332
188.99/189.08	c iter 356 time 188.171 not-muc 1644 unknown 1700 muc 333
188.99/189.08	c iter 357 time 188.209 not-muc 1644 unknown 1699 muc 334
209.90/209.95	c iter 358 time 188.277 not-muc 1644 unknown 1698 muc 335
209.90/209.95	c iter 359 time 188.352 not-muc 1644 unknown 1697 muc 336
209.90/209.95	c iter 360 time 188.383 not-muc 1644 unknown 1696 muc 337
209.90/209.95	c iter 361 time 188.461 not-muc 1644 unknown 1695 muc 338
209.90/209.95	c iter 362 time 188.854 not-muc 1644 unknown 1694 muc 339
209.90/209.95	c iter 363 time 196.085 not-muc 1648 unknown 1690 muc 339
209.90/209.95	c iter 364 time 196.23 not-muc 1648 unknown 1689 muc 340
209.90/209.95	c iter 365 time 196.295 not-muc 1648 unknown 1688 muc 341
209.90/209.95	c iter 366 time 196.376 not-muc 1648 unknown 1687 muc 342
209.90/209.95	c iter 367 time 196.456 not-muc 1648 unknown 1686 muc 343
209.90/209.95	c iter 368 time 196.523 not-muc 1648 unknown 1685 muc 344
209.90/209.95	c iter 369 time 196.577 not-muc 1648 unknown 1684 muc 345
209.90/209.95	c iter 370 time 196.641 not-muc 1648 unknown 1683 muc 346
209.90/209.95	c iter 371 time 196.704 not-muc 1648 unknown 1682 muc 347
209.90/209.95	c iter 372 time 196.764 not-muc 1648 unknown 1681 muc 348
209.90/209.95	c iter 373 time 197.01 not-muc 1648 unknown 1680 muc 349
209.90/209.95	c iter 374 time 197.072 not-muc 1648 unknown 1679 muc 350
209.90/209.95	c iter 375 time 203.109 not-muc 1652 unknown 1675 muc 350
209.90/209.95	c iter 376 time 203.261 not-muc 1652 unknown 1674 muc 351
209.90/209.95	c iter 377 time 203.344 not-muc 1652 unknown 1673 muc 352
209.90/209.95	c iter 378 time 203.414 not-muc 1652 unknown 1672 muc 353
209.90/209.95	c iter 379 time 203.575 not-muc 1652 unknown 1671 muc 354
209.90/209.95	c iter 380 time 203.666 not-muc 1652 unknown 1670 muc 355
209.90/209.95	c iter 381 time 203.727 not-muc 1652 unknown 1669 muc 356
209.90/209.95	c iter 382 time 203.809 not-muc 1652 unknown 1668 muc 357
209.90/209.95	c iter 383 time 203.925 not-muc 1652 unknown 1667 muc 358
209.90/209.95	c iter 384 time 204.083 not-muc 1652 unknown 1666 muc 359
209.90/209.95	c iter 385 time 204.16 not-muc 1652 unknown 1665 muc 360
209.90/209.95	c iter 386 time 204.224 not-muc 1652 unknown 1664 muc 361
209.90/209.95	c iter 387 time 204.289 not-muc 1652 unknown 1663 muc 362
209.90/209.95	c iter 388 time 204.382 not-muc 1652 unknown 1662 muc 363
209.90/209.95	c iter 389 time 204.468 not-muc 1652 unknown 1661 muc 364
209.90/209.95	c iter 390 time 204.715 not-muc 1652 unknown 1660 muc 365
209.90/209.95	c iter 391 time 204.808 not-muc 1652 unknown 1659 muc 366
209.90/209.95	c iter 392 time 204.872 not-muc 1652 unknown 1658 muc 367
209.90/209.95	c iter 393 time 204.96 not-muc 1652 unknown 1657 muc 368
209.90/209.95	c iter 394 time 205.137 not-muc 1652 unknown 1656 muc 369
209.90/209.95	c iter 395 time 205.277 not-muc 1652 unknown 1655 muc 370
209.90/209.95	c iter 396 time 205.354 not-muc 1652 unknown 1654 muc 371
209.90/209.95	c iter 397 time 205.441 not-muc 1652 unknown 1653 muc 372
209.90/209.95	c iter 398 time 205.524 not-muc 1652 unknown 1652 muc 373
209.90/209.95	c iter 399 time 205.613 not-muc 1652 unknown 1651 muc 374
209.90/209.95	c iter 400 time 205.702 not-muc 1652 unknown 1650 muc 375
209.90/209.95	c iter 401 time 205.754 not-muc 1652 unknown 1649 muc 376
209.90/209.95	c iter 402 time 205.843 not-muc 1652 unknown 1648 muc 377
209.90/209.95	c iter 403 time 205.93 not-muc 1652 unknown 1647 muc 378
209.90/209.95	c iter 404 time 206.089 not-muc 1652 unknown 1646 muc 379
209.90/209.95	c iter 405 time 206.165 not-muc 1652 unknown 1645 muc 380
209.90/209.95	c iter 406 time 206.244 not-muc 1652 unknown 1644 muc 381
209.90/209.95	c iter 407 time 206.325 not-muc 1652 unknown 1643 muc 382
209.90/209.95	c iter 408 time 206.383 not-muc 1652 unknown 1642 muc 383
209.90/209.95	c iter 409 time 206.519 not-muc 1652 unknown 1641 muc 384
209.90/209.95	c iter 410 time 206.628 not-muc 1652 unknown 1640 muc 385
209.90/209.95	c iter 411 time 206.722 not-muc 1652 unknown 1639 muc 386
209.90/209.95	c iter 412 time 206.811 not-muc 1652 unknown 1638 muc 387
209.90/209.95	c iter 413 time 206.901 not-muc 1652 unknown 1637 muc 388
209.90/209.95	c iter 414 time 206.989 not-muc 1652 unknown 1636 muc 389
209.90/209.95	c iter 415 time 207.087 not-muc 1652 unknown 1635 muc 390
209.90/209.95	c iter 416 time 207.231 not-muc 1652 unknown 1634 muc 391
209.90/209.95	c iter 417 time 207.325 not-muc 1652 unknown 1633 muc 392
209.90/209.95	c iter 418 time 207.446 not-muc 1652 unknown 1632 muc 393
209.90/209.95	c iter 419 time 207.715 not-muc 1652 unknown 1631 muc 394
209.90/209.95	c iter 420 time 207.805 not-muc 1652 unknown 1630 muc 395
209.90/209.95	c iter 421 time 208.016 not-muc 1652 unknown 1629 muc 396
209.90/209.95	c iter 422 time 208.167 not-muc 1652 unknown 1628 muc 397
209.90/209.95	c iter 423 time 208.27 not-muc 1652 unknown 1627 muc 398
209.90/209.95	c iter 424 time 208.347 not-muc 1652 unknown 1626 muc 399
209.90/209.95	c iter 425 time 208.434 not-muc 1652 unknown 1625 muc 400
209.90/209.95	c iter 426 time 208.691 not-muc 1652 unknown 1624 muc 401
209.90/209.95	c iter 427 time 208.896 not-muc 1652 unknown 1623 muc 402
209.90/209.95	c iter 428 time 209.027 not-muc 1652 unknown 1622 muc 403
232.10/232.16	c iter 429 time 209.081 not-muc 1652 unknown 1621 muc 404
232.10/232.16	c iter 430 time 209.258 not-muc 1652 unknown 1620 muc 405
232.10/232.16	c iter 431 time 209.343 not-muc 1652 unknown 1619 muc 406
232.10/232.16	c iter 432 time 209.411 not-muc 1652 unknown 1618 muc 407
232.10/232.16	c iter 433 time 209.58 not-muc 1652 unknown 1617 muc 408
232.10/232.16	c iter 434 time 209.689 not-muc 1652 unknown 1616 muc 409
232.10/232.16	c iter 435 time 209.779 not-muc 1652 unknown 1615 muc 410
232.10/232.16	c iter 436 time 210.013 not-muc 1652 unknown 1614 muc 411
232.10/232.16	c iter 437 time 210.237 not-muc 1652 unknown 1613 muc 412
232.10/232.16	c iter 438 time 216.108 not-muc 1654 unknown 1611 muc 412
232.10/232.16	c iter 439 time 216.313 not-muc 1654 unknown 1610 muc 413
232.10/232.16	c iter 440 time 216.394 not-muc 1654 unknown 1609 muc 414
232.10/232.16	c iter 441 time 216.576 not-muc 1654 unknown 1608 muc 415
232.10/232.16	c iter 442 time 216.662 not-muc 1654 unknown 1607 muc 416
232.10/232.16	c iter 443 time 216.744 not-muc 1654 unknown 1606 muc 417
232.10/232.16	c iter 444 time 216.837 not-muc 1654 unknown 1605 muc 418
232.10/232.16	c iter 445 time 216.926 not-muc 1654 unknown 1604 muc 419
232.10/232.16	c iter 446 time 217.018 not-muc 1654 unknown 1603 muc 420
232.10/232.16	c iter 447 time 217.121 not-muc 1654 unknown 1602 muc 421
232.10/232.16	c iter 448 time 217.215 not-muc 1654 unknown 1601 muc 422
232.10/232.16	c iter 449 time 217.341 not-muc 1654 unknown 1600 muc 423
232.10/232.16	c iter 450 time 217.429 not-muc 1654 unknown 1599 muc 424
232.10/232.16	c iter 451 time 217.565 not-muc 1654 unknown 1598 muc 425
232.10/232.16	c iter 452 time 217.652 not-muc 1654 unknown 1597 muc 426
232.10/232.16	c iter 453 time 217.742 not-muc 1654 unknown 1596 muc 427
232.10/232.16	c iter 454 time 217.827 not-muc 1654 unknown 1595 muc 428
232.10/232.16	c iter 455 time 217.947 not-muc 1654 unknown 1594 muc 429
232.10/232.16	c iter 456 time 218.039 not-muc 1654 unknown 1593 muc 430
232.10/232.16	c iter 457 time 218.283 not-muc 1654 unknown 1592 muc 431
232.10/232.16	c iter 458 time 218.388 not-muc 1654 unknown 1591 muc 432
232.10/232.16	c iter 459 time 218.625 not-muc 1654 unknown 1590 muc 433
232.10/232.16	c iter 460 time 218.871 not-muc 1654 unknown 1589 muc 434
232.10/232.16	c iter 461 time 218.976 not-muc 1654 unknown 1588 muc 435
232.10/232.16	c iter 462 time 219.264 not-muc 1654 unknown 1587 muc 436
232.10/232.16	c iter 463 time 219.353 not-muc 1654 unknown 1586 muc 437
232.10/232.16	c iter 464 time 227.404 not-muc 1659 unknown 1581 muc 437
232.10/232.16	c iter 465 time 227.556 not-muc 1659 unknown 1580 muc 438
232.10/232.16	c iter 466 time 227.622 not-muc 1659 unknown 1579 muc 439
232.10/232.16	c iter 467 time 227.714 not-muc 1659 unknown 1578 muc 440
232.10/232.16	c iter 468 time 227.744 not-muc 1659 unknown 1577 muc 441
232.10/232.16	c iter 469 time 227.814 not-muc 1659 unknown 1576 muc 442
232.10/232.16	c iter 470 time 227.883 not-muc 1659 unknown 1575 muc 443
232.10/232.16	c iter 471 time 227.954 not-muc 1659 unknown 1574 muc 444
232.10/232.16	c iter 472 time 227.983 not-muc 1659 unknown 1573 muc 445
232.10/232.16	c iter 473 time 228.408 not-muc 1659 unknown 1572 muc 446
232.10/232.16	c iter 474 time 228.61 not-muc 1659 unknown 1571 muc 447
232.10/232.16	c iter 475 time 228.683 not-muc 1659 unknown 1570 muc 448
232.10/232.16	c iter 476 time 228.812 not-muc 1659 unknown 1569 muc 449
232.10/232.16	c iter 477 time 228.877 not-muc 1659 unknown 1568 muc 450
232.10/232.16	c iter 478 time 228.983 not-muc 1659 unknown 1567 muc 451
232.10/232.16	c iter 479 time 229.055 not-muc 1659 unknown 1566 muc 452
232.10/232.16	c iter 480 time 229.245 not-muc 1659 unknown 1565 muc 453
232.10/232.16	c iter 481 time 229.313 not-muc 1659 unknown 1564 muc 454
232.10/232.16	c iter 482 time 229.36 not-muc 1659 unknown 1563 muc 455
232.10/232.16	c iter 483 time 229.434 not-muc 1659 unknown 1562 muc 456
232.10/232.16	c iter 484 time 229.484 not-muc 1659 unknown 1561 muc 457
232.10/232.16	c iter 485 time 229.621 not-muc 1659 unknown 1560 muc 458
232.10/232.16	c iter 486 time 229.69 not-muc 1659 unknown 1559 muc 459
232.10/232.16	c iter 487 time 229.757 not-muc 1659 unknown 1558 muc 460
232.10/232.16	c iter 488 time 229.847 not-muc 1659 unknown 1557 muc 461
232.10/232.16	c iter 489 time 229.929 not-muc 1659 unknown 1556 muc 462
232.10/232.16	c iter 490 time 229.994 not-muc 1659 unknown 1555 muc 463
232.10/232.16	c iter 491 time 230.149 not-muc 1659 unknown 1554 muc 464
232.10/232.16	c iter 492 time 230.354 not-muc 1659 unknown 1553 muc 465
232.10/232.16	c iter 493 time 230.425 not-muc 1659 unknown 1552 muc 466
232.10/232.16	c iter 494 time 230.637 not-muc 1659 unknown 1551 muc 467
232.10/232.16	c iter 495 time 230.729 not-muc 1659 unknown 1550 muc 468
232.10/232.16	c iter 496 time 230.807 not-muc 1659 unknown 1549 muc 469
232.10/232.16	c iter 497 time 231.035 not-muc 1659 unknown 1548 muc 470
232.10/232.16	c iter 498 time 231.103 not-muc 1659 unknown 1547 muc 471
232.10/232.16	c iter 499 time 231.187 not-muc 1659 unknown 1546 muc 472
239.10/239.10	c iter 500 time 231.294 not-muc 1659 unknown 1545 muc 473
239.10/239.10	c iter 501 time 231.342 not-muc 1659 unknown 1544 muc 474
239.10/239.10	c iter 502 time 231.394 not-muc 1659 unknown 1543 muc 475
239.10/239.10	c iter 503 time 231.472 not-muc 1659 unknown 1542 muc 476
239.10/239.10	c iter 504 time 231.543 not-muc 1659 unknown 1541 muc 477
239.10/239.10	c iter 505 time 231.612 not-muc 1659 unknown 1540 muc 478
239.10/239.10	c iter 506 time 231.719 not-muc 1659 unknown 1539 muc 479
239.10/239.10	c iter 507 time 231.946 not-muc 1659 unknown 1538 muc 480
239.10/239.10	c iter 508 time 232.117 not-muc 1659 unknown 1537 muc 481
239.10/239.10	c iter 509 time 232.226 not-muc 1659 unknown 1536 muc 482
239.10/239.10	c iter 510 time 232.277 not-muc 1659 unknown 1535 muc 483
239.10/239.10	c iter 511 time 232.353 not-muc 1659 unknown 1534 muc 484
239.10/239.10	c iter 512 time 232.484 not-muc 1659 unknown 1533 muc 485
239.10/239.10	c iter 513 time 232.556 not-muc 1659 unknown 1532 muc 486
239.10/239.10	c iter 514 time 232.671 not-muc 1659 unknown 1531 muc 487
239.10/239.10	c iter 515 time 232.854 not-muc 1659 unknown 1530 muc 488
239.10/239.10	c iter 516 time 232.947 not-muc 1659 unknown 1529 muc 489
239.10/239.10	c iter 517 time 233.02 not-muc 1659 unknown 1528 muc 490
239.10/239.10	c iter 518 time 233.094 not-muc 1659 unknown 1527 muc 491
239.10/239.10	c iter 519 time 233.165 not-muc 1659 unknown 1526 muc 492
239.10/239.10	c iter 520 time 233.24 not-muc 1659 unknown 1525 muc 493
239.10/239.10	c iter 521 time 233.506 not-muc 1659 unknown 1524 muc 494
239.10/239.10	c iter 522 time 233.535 not-muc 1659 unknown 1523 muc 495
239.10/239.10	c iter 523 time 233.638 not-muc 1659 unknown 1522 muc 496
239.10/239.10	c iter 524 time 233.706 not-muc 1659 unknown 1521 muc 497
239.10/239.10	c iter 525 time 233.861 not-muc 1659 unknown 1520 muc 498
239.10/239.10	c iter 526 time 234.014 not-muc 1659 unknown 1519 muc 499
239.10/239.10	c iter 527 time 234.106 not-muc 1659 unknown 1518 muc 500
239.10/239.10	c iter 528 time 234.179 not-muc 1659 unknown 1517 muc 501
239.10/239.10	c iter 529 time 234.25 not-muc 1659 unknown 1516 muc 502
239.10/239.10	c iter 530 time 234.431 not-muc 1659 unknown 1515 muc 503
239.10/239.10	c iter 531 time 234.52 not-muc 1659 unknown 1514 muc 504
239.10/239.10	c iter 532 time 234.635 not-muc 1659 unknown 1513 muc 505
239.10/239.10	c iter 533 time 234.704 not-muc 1659 unknown 1512 muc 506
239.10/239.10	c iter 534 time 234.835 not-muc 1659 unknown 1511 muc 507
239.10/239.10	c iter 535 time 234.905 not-muc 1659 unknown 1510 muc 508
239.10/239.10	c iter 536 time 234.968 not-muc 1659 unknown 1509 muc 509
239.10/239.10	c iter 537 time 235.038 not-muc 1659 unknown 1508 muc 510
239.10/239.10	c iter 538 time 235.094 not-muc 1659 unknown 1507 muc 511
239.10/239.10	c iter 539 time 235.164 not-muc 1659 unknown 1506 muc 512
239.10/239.10	c iter 540 time 235.22 not-muc 1659 unknown 1505 muc 513
239.10/239.10	c iter 541 time 235.294 not-muc 1659 unknown 1504 muc 514
239.10/239.10	c iter 542 time 235.324 not-muc 1659 unknown 1503 muc 515
239.10/239.10	c iter 543 time 235.63 not-muc 1659 unknown 1502 muc 516
239.10/239.10	c iter 544 time 235.744 not-muc 1659 unknown 1501 muc 517
239.10/239.10	c iter 545 time 235.786 not-muc 1659 unknown 1500 muc 518
239.10/239.10	c iter 546 time 235.836 not-muc 1659 unknown 1499 muc 519
239.10/239.10	c iter 547 time 235.901 not-muc 1659 unknown 1498 muc 520
239.10/239.10	c iter 548 time 235.972 not-muc 1659 unknown 1497 muc 521
239.10/239.10	c iter 549 time 236.091 not-muc 1659 unknown 1496 muc 522
239.10/239.10	c iter 550 time 236.152 not-muc 1659 unknown 1495 muc 523
239.10/239.10	c iter 551 time 236.239 not-muc 1659 unknown 1494 muc 524
239.10/239.10	c iter 552 time 236.308 not-muc 1659 unknown 1493 muc 525
239.10/239.10	c iter 553 time 236.372 not-muc 1659 unknown 1492 muc 526
239.10/239.10	c iter 554 time 236.573 not-muc 1659 unknown 1491 muc 527
239.10/239.10	c iter 555 time 236.727 not-muc 1659 unknown 1490 muc 528
239.10/239.10	c iter 556 time 236.799 not-muc 1659 unknown 1489 muc 529
239.10/239.10	c iter 557 time 236.89 not-muc 1659 unknown 1488 muc 530
239.10/239.10	c iter 558 time 236.969 not-muc 1659 unknown 1487 muc 531
239.10/239.10	c iter 559 time 237.038 not-muc 1659 unknown 1486 muc 532
239.10/239.10	c iter 560 time 237.109 not-muc 1659 unknown 1485 muc 533
239.10/239.10	c iter 561 time 237.188 not-muc 1659 unknown 1484 muc 534
239.10/239.10	c iter 562 time 237.254 not-muc 1659 unknown 1483 muc 535
239.10/239.10	c iter 563 time 237.288 not-muc 1659 unknown 1482 muc 536
239.10/239.10	c iter 564 time 237.356 not-muc 1659 unknown 1481 muc 537
239.10/239.10	c iter 565 time 237.439 not-muc 1659 unknown 1480 muc 538
239.10/239.10	c iter 566 time 237.505 not-muc 1659 unknown 1479 muc 539
239.10/239.10	c iter 567 time 237.634 not-muc 1659 unknown 1478 muc 540
239.10/239.10	c iter 568 time 237.793 not-muc 1659 unknown 1477 muc 541
239.10/239.10	c iter 569 time 238.129 not-muc 1659 unknown 1476 muc 542
252.60/252.68	c iter 570 time 238.195 not-muc 1659 unknown 1475 muc 543
252.60/252.68	c iter 571 time 238.263 not-muc 1659 unknown 1474 muc 544
252.60/252.68	c iter 572 time 238.356 not-muc 1659 unknown 1473 muc 545
252.60/252.68	c iter 573 time 238.434 not-muc 1659 unknown 1472 muc 546
252.60/252.68	c iter 574 time 238.505 not-muc 1659 unknown 1471 muc 547
252.60/252.68	c iter 575 time 238.587 not-muc 1659 unknown 1470 muc 548
252.60/252.68	c iter 576 time 238.656 not-muc 1659 unknown 1469 muc 549
252.60/252.68	c iter 577 time 238.692 not-muc 1659 unknown 1468 muc 550
252.60/252.68	c iter 578 time 238.782 not-muc 1659 unknown 1467 muc 551
252.60/252.68	c iter 579 time 238.831 not-muc 1659 unknown 1466 muc 552
252.60/252.68	c iter 580 time 238.901 not-muc 1659 unknown 1465 muc 553
252.60/252.68	c iter 581 time 239.034 not-muc 1659 unknown 1464 muc 554
252.60/252.68	c iter 582 time 239.132 not-muc 1659 unknown 1463 muc 555
252.60/252.68	c iter 583 time 239.189 not-muc 1659 unknown 1462 muc 556
252.60/252.68	c iter 584 time 239.258 not-muc 1659 unknown 1461 muc 557
252.60/252.68	c iter 585 time 239.325 not-muc 1659 unknown 1460 muc 558
252.60/252.68	c iter 586 time 239.407 not-muc 1659 unknown 1459 muc 559
252.60/252.68	c iter 587 time 239.493 not-muc 1659 unknown 1458 muc 560
252.60/252.68	c iter 588 time 239.556 not-muc 1659 unknown 1457 muc 561
252.60/252.68	c iter 589 time 239.611 not-muc 1659 unknown 1456 muc 562
252.60/252.68	c iter 590 time 239.79 not-muc 1659 unknown 1455 muc 563
252.60/252.68	c iter 591 time 239.859 not-muc 1659 unknown 1454 muc 564
252.60/252.68	c iter 592 time 246.574 not-muc 1662 unknown 1451 muc 564
252.60/252.68	c iter 593 time 246.697 not-muc 1662 unknown 1450 muc 565
252.60/252.68	c iter 594 time 246.832 not-muc 1662 unknown 1449 muc 566
252.60/252.68	c iter 595 time 246.937 not-muc 1662 unknown 1448 muc 567
252.60/252.68	c iter 596 time 246.975 not-muc 1662 unknown 1447 muc 568
252.60/252.68	c iter 597 time 247.064 not-muc 1662 unknown 1446 muc 569
252.60/252.68	c iter 598 time 247.107 not-muc 1662 unknown 1445 muc 570
252.60/252.68	c iter 599 time 247.157 not-muc 1662 unknown 1444 muc 571
252.60/252.68	c iter 600 time 247.169 not-muc 1662 unknown 1443 muc 572
252.60/252.68	c iter 601 time 247.294 not-muc 1662 unknown 1442 muc 573
252.60/252.68	c iter 602 time 247.397 not-muc 1662 unknown 1441 muc 574
252.60/252.68	c iter 603 time 247.436 not-muc 1662 unknown 1440 muc 575
252.60/252.68	c iter 604 time 247.515 not-muc 1662 unknown 1439 muc 576
252.60/252.68	c iter 605 time 247.551 not-muc 1662 unknown 1438 muc 577
252.60/252.68	c iter 606 time 247.6 not-muc 1662 unknown 1437 muc 578
252.60/252.68	c iter 607 time 247.8 not-muc 1662 unknown 1436 muc 579
252.60/252.68	c iter 608 time 247.835 not-muc 1662 unknown 1435 muc 580
252.60/252.68	c iter 609 time 247.875 not-muc 1662 unknown 1434 muc 581
252.60/252.68	c iter 610 time 247.927 not-muc 1662 unknown 1433 muc 582
252.60/252.68	c iter 611 time 248.207 not-muc 1662 unknown 1432 muc 583
252.60/252.68	c iter 612 time 248.226 not-muc 1662 unknown 1431 muc 584
252.60/252.68	c iter 613 time 248.309 not-muc 1662 unknown 1430 muc 585
252.60/252.68	c iter 614 time 249.147 not-muc 1662 unknown 1429 muc 586
252.60/252.68	c iter 615 time 249.246 not-muc 1662 unknown 1428 muc 587
252.60/252.68	c iter 616 time 249.512 not-muc 1662 unknown 1427 muc 588
252.60/252.68	c iter 617 time 249.597 not-muc 1662 unknown 1426 muc 589
252.60/252.68	c iter 618 time 249.759 not-muc 1662 unknown 1425 muc 590
252.60/252.68	c iter 619 time 249.79 not-muc 1662 unknown 1424 muc 591
252.60/252.68	c iter 620 time 249.852 not-muc 1662 unknown 1423 muc 592
252.60/252.68	c iter 621 time 249.892 not-muc 1662 unknown 1422 muc 593
252.60/252.68	c iter 622 time 249.919 not-muc 1662 unknown 1421 muc 594
252.60/252.68	c iter 623 time 249.939 not-muc 1662 unknown 1420 muc 595
252.60/252.68	c iter 624 time 250.048 not-muc 1662 unknown 1419 muc 596
252.60/252.68	c iter 625 time 250.162 not-muc 1662 unknown 1418 muc 597
252.60/252.68	c iter 626 time 250.263 not-muc 1662 unknown 1417 muc 598
252.60/252.68	c iter 627 time 250.303 not-muc 1662 unknown 1416 muc 599
252.60/252.68	c iter 628 time 250.39 not-muc 1662 unknown 1415 muc 600
252.60/252.68	c iter 629 time 250.426 not-muc 1662 unknown 1414 muc 601
252.60/252.68	c iter 630 time 250.46 not-muc 1662 unknown 1413 muc 602
252.60/252.68	c iter 631 time 250.498 not-muc 1662 unknown 1412 muc 603
252.60/252.68	c iter 632 time 250.671 not-muc 1662 unknown 1411 muc 604
252.60/252.68	c iter 633 time 250.816 not-muc 1662 unknown 1410 muc 605
252.60/252.68	c iter 634 time 250.986 not-muc 1662 unknown 1409 muc 606
252.60/252.68	c iter 635 time 251.138 not-muc 1662 unknown 1408 muc 607
252.60/252.68	c iter 636 time 251.202 not-muc 1662 unknown 1407 muc 608
252.60/252.68	c iter 637 time 251.263 not-muc 1662 unknown 1406 muc 609
252.60/252.68	c iter 638 time 251.332 not-muc 1662 unknown 1405 muc 610
252.60/252.68	c iter 639 time 251.372 not-muc 1662 unknown 1404 muc 611
252.60/252.68	c iter 640 time 251.702 not-muc 1662 unknown 1403 muc 612
287.80/287.81	c iter 641 time 251.879 not-muc 1662 unknown 1402 muc 613
287.80/287.81	c iter 642 time 257.692 not-muc 1663 unknown 1401 muc 613
287.80/287.81	c iter 643 time 257.866 not-muc 1663 unknown 1400 muc 614
287.80/287.81	c iter 644 time 258.069 not-muc 1663 unknown 1399 muc 615
287.80/287.81	c iter 645 time 258.179 not-muc 1663 unknown 1398 muc 616
287.80/287.81	c iter 646 time 258.281 not-muc 1663 unknown 1397 muc 617
287.80/287.81	c iter 647 time 258.393 not-muc 1663 unknown 1396 muc 618
287.80/287.81	c iter 648 time 258.49 not-muc 1663 unknown 1395 muc 619
287.80/287.81	c iter 649 time 258.649 not-muc 1663 unknown 1394 muc 620
287.80/287.81	c iter 650 time 258.757 not-muc 1663 unknown 1393 muc 621
287.80/287.81	c iter 651 time 258.979 not-muc 1663 unknown 1392 muc 622
287.80/287.81	c iter 652 time 259.092 not-muc 1663 unknown 1391 muc 623
287.80/287.81	c iter 653 time 259.274 not-muc 1663 unknown 1390 muc 624
287.80/287.81	c iter 654 time 259.383 not-muc 1663 unknown 1389 muc 625
287.80/287.81	c iter 655 time 259.473 not-muc 1663 unknown 1388 muc 626
287.80/287.81	c iter 656 time 259.841 not-muc 1663 unknown 1387 muc 627
287.80/287.81	c iter 657 time 260 not-muc 1663 unknown 1386 muc 628
287.80/287.81	c iter 658 time 260.09 not-muc 1663 unknown 1385 muc 629
287.80/287.81	c iter 659 time 266.104 not-muc 1666 unknown 1382 muc 629
287.80/287.81	c iter 660 time 266.282 not-muc 1666 unknown 1381 muc 630
287.80/287.81	c iter 661 time 266.337 not-muc 1666 unknown 1380 muc 631
287.80/287.81	c iter 662 time 266.384 not-muc 1666 unknown 1379 muc 632
287.80/287.81	c iter 663 time 266.436 not-muc 1666 unknown 1378 muc 633
287.80/287.81	c iter 664 time 266.48 not-muc 1666 unknown 1377 muc 634
287.80/287.81	c iter 665 time 266.73 not-muc 1666 unknown 1376 muc 635
287.80/287.81	c iter 666 time 266.821 not-muc 1666 unknown 1375 muc 636
287.80/287.81	c iter 667 time 267.067 not-muc 1666 unknown 1374 muc 637
287.80/287.81	c iter 668 time 267.139 not-muc 1666 unknown 1373 muc 638
287.80/287.81	c iter 669 time 267.239 not-muc 1666 unknown 1372 muc 639
287.80/287.81	c iter 670 time 267.289 not-muc 1666 unknown 1371 muc 640
287.80/287.81	c iter 671 time 267.345 not-muc 1666 unknown 1370 muc 641
287.80/287.81	c iter 672 time 267.451 not-muc 1666 unknown 1369 muc 642
287.80/287.81	c iter 673 time 267.517 not-muc 1666 unknown 1368 muc 643
287.80/287.81	c iter 674 time 267.722 not-muc 1666 unknown 1367 muc 644
287.80/287.81	c iter 675 time 274.055 not-muc 1669 unknown 1364 muc 644
287.80/287.81	c iter 676 time 274.25 not-muc 1669 unknown 1363 muc 645
287.80/287.81	c iter 677 time 274.322 not-muc 1669 unknown 1362 muc 646
287.80/287.81	c iter 678 time 274.418 not-muc 1669 unknown 1361 muc 647
287.80/287.81	c iter 679 time 274.698 not-muc 1669 unknown 1360 muc 648
287.80/287.81	c iter 680 time 274.791 not-muc 1669 unknown 1359 muc 649
287.80/287.81	c iter 681 time 274.884 not-muc 1669 unknown 1358 muc 650
287.80/287.81	c iter 682 time 275.098 not-muc 1669 unknown 1357 muc 651
287.80/287.81	c iter 683 time 275.154 not-muc 1669 unknown 1356 muc 652
287.80/287.81	c iter 684 time 275.227 not-muc 1669 unknown 1355 muc 653
287.80/287.81	c iter 685 time 275.445 not-muc 1669 unknown 1354 muc 654
287.80/287.81	c iter 686 time 275.61 not-muc 1669 unknown 1353 muc 655
287.80/287.81	c iter 687 time 275.706 not-muc 1669 unknown 1352 muc 656
287.80/287.81	c iter 688 time 275.98 not-muc 1669 unknown 1351 muc 657
287.80/287.81	c iter 689 time 276.135 not-muc 1669 unknown 1350 muc 658
287.80/287.81	c iter 690 time 276.242 not-muc 1669 unknown 1349 muc 659
287.80/287.81	c iter 691 time 276.445 not-muc 1669 unknown 1348 muc 660
287.80/287.81	c iter 692 time 276.551 not-muc 1669 unknown 1347 muc 661
287.80/287.81	c iter 693 time 276.67 not-muc 1669 unknown 1346 muc 662
287.80/287.81	c iter 694 time 276.707 not-muc 1669 unknown 1345 muc 663
287.80/287.81	c iter 695 time 276.833 not-muc 1669 unknown 1344 muc 664
287.80/287.81	c iter 696 time 277.064 not-muc 1669 unknown 1343 muc 665
287.80/287.81	c iter 697 time 277.167 not-muc 1669 unknown 1342 muc 666
287.80/287.81	c iter 698 time 277.295 not-muc 1669 unknown 1341 muc 667
287.80/287.81	c iter 699 time 277.39 not-muc 1669 unknown 1340 muc 668
287.80/287.81	c iter 700 time 285.407 not-muc 1670 unknown 1339 muc 668
287.80/287.81	c iter 701 time 285.72 not-muc 1670 unknown 1338 muc 669
287.80/287.81	c iter 702 time 285.807 not-muc 1670 unknown 1337 muc 670
287.80/287.81	c iter 703 time 285.909 not-muc 1670 unknown 1336 muc 671
287.80/287.81	c iter 704 time 285.991 not-muc 1670 unknown 1335 muc 672
287.80/287.81	c iter 705 time 286.216 not-muc 1670 unknown 1334 muc 673
287.80/287.81	c iter 706 time 286.369 not-muc 1670 unknown 1333 muc 674
287.80/287.81	c iter 707 time 286.45 not-muc 1670 unknown 1332 muc 675
287.80/287.81	c iter 708 time 286.549 not-muc 1670 unknown 1331 muc 676
287.80/287.81	c iter 709 time 286.655 not-muc 1670 unknown 1330 muc 677
287.80/287.81	c iter 710 time 286.708 not-muc 1670 unknown 1329 muc 678
287.80/287.81	c iter 711 time 286.772 not-muc 1670 unknown 1328 muc 679
305.89/305.93	c iter 712 time 286.834 not-muc 1670 unknown 1327 muc 680
305.89/305.93	c iter 713 time 286.978 not-muc 1670 unknown 1326 muc 681
305.89/305.93	c iter 714 time 287.036 not-muc 1670 unknown 1325 muc 682
305.89/305.93	c iter 715 time 287.138 not-muc 1670 unknown 1324 muc 683
305.89/305.93	c iter 716 time 287.271 not-muc 1670 unknown 1323 muc 684
305.89/305.93	c iter 717 time 287.494 not-muc 1670 unknown 1322 muc 685
305.89/305.93	c iter 718 time 287.593 not-muc 1670 unknown 1321 muc 686
305.89/305.93	c iter 719 time 287.739 not-muc 1670 unknown 1320 muc 687
305.89/305.93	c iter 720 time 287.799 not-muc 1670 unknown 1319 muc 688
305.89/305.93	c iter 721 time 287.91 not-muc 1670 unknown 1318 muc 689
305.89/305.93	c iter 722 time 288.012 not-muc 1670 unknown 1317 muc 690
305.89/305.93	c iter 723 time 288.112 not-muc 1670 unknown 1316 muc 691
305.89/305.93	c iter 724 time 288.179 not-muc 1670 unknown 1315 muc 692
305.89/305.93	c iter 725 time 288.281 not-muc 1670 unknown 1314 muc 693
305.89/305.93	c iter 726 time 288.62 not-muc 1670 unknown 1313 muc 694
305.89/305.93	c iter 727 time 288.728 not-muc 1670 unknown 1312 muc 695
305.89/305.93	c iter 728 time 288.83 not-muc 1670 unknown 1311 muc 696
305.89/305.93	c iter 729 time 288.915 not-muc 1670 unknown 1310 muc 697
305.89/305.93	c iter 730 time 293.534 not-muc 1671 unknown 1309 muc 697
305.89/305.93	c iter 731 time 293.737 not-muc 1671 unknown 1308 muc 698
305.89/305.93	c iter 732 time 293.798 not-muc 1671 unknown 1307 muc 699
305.89/305.93	c iter 733 time 293.914 not-muc 1671 unknown 1306 muc 700
305.89/305.93	c iter 734 time 294.012 not-muc 1671 unknown 1305 muc 701
305.89/305.93	c iter 735 time 294.111 not-muc 1671 unknown 1304 muc 702
305.89/305.93	c iter 736 time 294.207 not-muc 1671 unknown 1303 muc 703
305.89/305.93	c iter 737 time 294.441 not-muc 1671 unknown 1302 muc 704
305.89/305.93	c iter 738 time 294.618 not-muc 1671 unknown 1301 muc 705
305.89/305.93	c iter 739 time 294.724 not-muc 1671 unknown 1300 muc 706
305.89/305.93	c iter 740 time 294.824 not-muc 1671 unknown 1299 muc 707
305.89/305.93	c iter 741 time 294.978 not-muc 1671 unknown 1298 muc 708
305.89/305.93	c iter 742 time 295.109 not-muc 1671 unknown 1297 muc 709
305.89/305.93	c iter 743 time 295.206 not-muc 1671 unknown 1296 muc 710
305.89/305.93	c iter 744 time 295.294 not-muc 1671 unknown 1295 muc 711
305.89/305.93	c iter 745 time 295.393 not-muc 1671 unknown 1294 muc 712
305.89/305.93	c iter 746 time 295.491 not-muc 1671 unknown 1293 muc 713
305.89/305.93	c iter 747 time 295.611 not-muc 1671 unknown 1292 muc 714
305.89/305.93	c iter 748 time 295.769 not-muc 1671 unknown 1291 muc 715
305.89/305.93	c iter 749 time 295.898 not-muc 1671 unknown 1290 muc 716
305.89/305.93	c iter 750 time 295.994 not-muc 1671 unknown 1289 muc 717
305.89/305.93	c iter 751 time 296.178 not-muc 1671 unknown 1288 muc 718
305.89/305.93	c iter 752 time 296.428 not-muc 1671 unknown 1287 muc 719
305.89/305.93	c iter 753 time 296.527 not-muc 1671 unknown 1286 muc 720
305.89/305.93	c iter 754 time 296.621 not-muc 1671 unknown 1285 muc 721
305.89/305.93	c iter 755 time 302.023 not-muc 1673 unknown 1283 muc 721
305.89/305.93	c iter 756 time 302.167 not-muc 1673 unknown 1282 muc 722
305.89/305.93	c iter 757 time 302.371 not-muc 1673 unknown 1281 muc 723
305.89/305.93	c iter 758 time 302.445 not-muc 1673 unknown 1280 muc 724
305.89/305.93	c iter 759 time 302.553 not-muc 1673 unknown 1279 muc 725
305.89/305.93	c iter 760 time 302.624 not-muc 1673 unknown 1278 muc 726
305.89/305.93	c iter 761 time 302.685 not-muc 1673 unknown 1277 muc 727
305.89/305.93	c iter 762 time 302.844 not-muc 1673 unknown 1276 muc 728
305.89/305.93	c iter 763 time 302.935 not-muc 1673 unknown 1275 muc 729
305.89/305.93	c iter 764 time 302.994 not-muc 1673 unknown 1274 muc 730
305.89/305.93	c iter 765 time 303.052 not-muc 1673 unknown 1273 muc 731
305.89/305.93	c iter 766 time 303.122 not-muc 1673 unknown 1272 muc 732
305.89/305.93	c iter 767 time 303.268 not-muc 1673 unknown 1271 muc 733
305.89/305.93	c iter 768 time 303.31 not-muc 1673 unknown 1270 muc 734
305.89/305.93	c iter 769 time 303.385 not-muc 1673 unknown 1269 muc 735
305.89/305.93	c iter 770 time 303.437 not-muc 1673 unknown 1268 muc 736
305.89/305.93	c iter 771 time 303.559 not-muc 1673 unknown 1267 muc 737
305.89/305.93	c iter 772 time 303.707 not-muc 1673 unknown 1266 muc 738
305.89/305.93	c iter 773 time 303.79 not-muc 1673 unknown 1265 muc 739
305.89/305.93	c iter 774 time 303.863 not-muc 1673 unknown 1264 muc 740
305.89/305.93	c iter 775 time 303.916 not-muc 1673 unknown 1263 muc 741
305.89/305.93	c iter 776 time 304.256 not-muc 1673 unknown 1262 muc 742
305.89/305.93	c iter 777 time 304.327 not-muc 1673 unknown 1261 muc 743
305.89/305.93	c iter 778 time 304.438 not-muc 1673 unknown 1260 muc 744
305.89/305.93	c iter 779 time 304.631 not-muc 1673 unknown 1259 muc 745
305.89/305.93	c iter 780 time 304.676 not-muc 1673 unknown 1258 muc 746
305.89/305.93	c iter 781 time 304.827 not-muc 1673 unknown 1257 muc 747
305.89/305.93	c iter 782 time 304.88 not-muc 1673 unknown 1256 muc 748
330.19/330.26	c iter 783 time 304.965 not-muc 1673 unknown 1255 muc 749
330.19/330.26	c iter 784 time 305.037 not-muc 1673 unknown 1254 muc 750
330.19/330.26	c iter 785 time 305.079 not-muc 1673 unknown 1253 muc 751
330.19/330.26	c iter 786 time 305.258 not-muc 1673 unknown 1252 muc 752
330.19/330.26	c iter 787 time 305.319 not-muc 1673 unknown 1251 muc 753
330.19/330.26	c iter 788 time 305.561 not-muc 1673 unknown 1250 muc 754
330.19/330.26	c iter 789 time 305.648 not-muc 1673 unknown 1249 muc 755
330.19/330.26	c iter 790 time 305.719 not-muc 1673 unknown 1248 muc 756
330.19/330.26	c iter 791 time 305.94 not-muc 1673 unknown 1247 muc 757
330.19/330.26	c iter 792 time 306.02 not-muc 1673 unknown 1246 muc 758
330.19/330.26	c iter 793 time 306.09 not-muc 1673 unknown 1245 muc 759
330.19/330.26	c iter 794 time 306.167 not-muc 1673 unknown 1244 muc 760
330.19/330.26	c iter 795 time 314.184 not-muc 1678 unknown 1239 muc 760
330.19/330.26	c iter 796 time 314.301 not-muc 1678 unknown 1238 muc 761
330.19/330.26	c iter 797 time 314.347 not-muc 1678 unknown 1237 muc 762
330.19/330.26	c iter 798 time 314.523 not-muc 1678 unknown 1236 muc 763
330.19/330.26	c iter 799 time 314.62 not-muc 1678 unknown 1235 muc 764
330.19/330.26	c iter 800 time 314.764 not-muc 1678 unknown 1234 muc 765
330.19/330.26	c iter 801 time 314.874 not-muc 1678 unknown 1233 muc 766
330.19/330.26	c iter 802 time 315.144 not-muc 1678 unknown 1232 muc 767
330.19/330.26	c iter 803 time 315.222 not-muc 1678 unknown 1231 muc 768
330.19/330.26	c iter 804 time 315.277 not-muc 1678 unknown 1230 muc 769
330.19/330.26	c iter 805 time 315.547 not-muc 1678 unknown 1229 muc 770
330.19/330.26	c iter 806 time 323.386 not-muc 1681 unknown 1226 muc 770
330.19/330.26	c iter 807 time 323.566 not-muc 1681 unknown 1225 muc 771
330.19/330.26	c iter 808 time 323.68 not-muc 1681 unknown 1224 muc 772
330.19/330.26	c iter 809 time 323.842 not-muc 1681 unknown 1223 muc 773
330.19/330.26	c iter 810 time 323.928 not-muc 1681 unknown 1222 muc 774
330.19/330.26	c iter 811 time 324.037 not-muc 1681 unknown 1221 muc 775
330.19/330.26	c iter 812 time 324.122 not-muc 1681 unknown 1220 muc 776
330.19/330.26	c iter 813 time 324.266 not-muc 1681 unknown 1219 muc 777
330.19/330.26	c iter 814 time 324.478 not-muc 1681 unknown 1218 muc 778
330.19/330.26	c iter 815 time 324.772 not-muc 1681 unknown 1217 muc 779
330.19/330.26	c iter 816 time 324.88 not-muc 1681 unknown 1216 muc 780
330.19/330.26	c iter 817 time 324.945 not-muc 1681 unknown 1215 muc 781
330.19/330.26	c iter 818 time 325.024 not-muc 1681 unknown 1214 muc 782
330.19/330.26	c iter 819 time 325.098 not-muc 1681 unknown 1213 muc 783
330.19/330.26	c iter 820 time 325.181 not-muc 1681 unknown 1212 muc 784
330.19/330.26	c iter 821 time 325.276 not-muc 1681 unknown 1211 muc 785
330.19/330.26	c iter 822 time 325.33 not-muc 1681 unknown 1210 muc 786
330.19/330.26	c iter 823 time 325.55 not-muc 1681 unknown 1209 muc 787
330.19/330.26	c iter 824 time 325.612 not-muc 1681 unknown 1208 muc 788
330.19/330.26	c iter 825 time 325.686 not-muc 1681 unknown 1207 muc 789
330.19/330.26	c iter 826 time 325.847 not-muc 1681 unknown 1206 muc 790
330.19/330.26	c iter 827 time 325.909 not-muc 1681 unknown 1205 muc 791
330.19/330.26	c iter 828 time 326.05 not-muc 1681 unknown 1204 muc 792
330.19/330.26	c iter 829 time 326.116 not-muc 1681 unknown 1203 muc 793
330.19/330.26	c iter 830 time 326.163 not-muc 1681 unknown 1202 muc 794
330.19/330.26	c iter 831 time 326.494 not-muc 1681 unknown 1201 muc 795
330.19/330.26	c iter 832 time 326.575 not-muc 1681 unknown 1200 muc 796
330.19/330.26	c iter 833 time 326.66 not-muc 1681 unknown 1199 muc 797
330.19/330.26	c iter 834 time 326.725 not-muc 1681 unknown 1198 muc 798
330.19/330.26	c iter 835 time 326.806 not-muc 1681 unknown 1197 muc 799
330.19/330.26	c iter 836 time 326.851 not-muc 1681 unknown 1196 muc 800
330.19/330.26	c iter 837 time 327.24 not-muc 1681 unknown 1195 muc 801
330.19/330.26	c iter 838 time 327.322 not-muc 1681 unknown 1194 muc 802
330.19/330.26	c iter 839 time 327.423 not-muc 1681 unknown 1193 muc 803
330.19/330.26	c iter 840 time 327.673 not-muc 1681 unknown 1192 muc 804
330.19/330.26	c iter 841 time 327.888 not-muc 1681 unknown 1191 muc 805
330.19/330.26	c iter 842 time 327.971 not-muc 1681 unknown 1190 muc 806
330.19/330.26	c iter 843 time 328.05 not-muc 1681 unknown 1189 muc 807
330.19/330.26	c iter 844 time 328.112 not-muc 1681 unknown 1188 muc 808
330.19/330.26	c iter 845 time 328.196 not-muc 1681 unknown 1187 muc 809
330.19/330.26	c iter 846 time 328.455 not-muc 1681 unknown 1186 muc 810
330.19/330.26	c iter 847 time 328.539 not-muc 1681 unknown 1185 muc 811
330.19/330.26	c iter 848 time 328.622 not-muc 1681 unknown 1184 muc 812
330.19/330.26	c iter 849 time 328.701 not-muc 1681 unknown 1183 muc 813
330.19/330.26	c iter 850 time 328.758 not-muc 1681 unknown 1182 muc 814
330.19/330.26	c iter 851 time 329.025 not-muc 1681 unknown 1181 muc 815
330.19/330.26	c iter 852 time 329.109 not-muc 1681 unknown 1180 muc 816
346.79/346.86	c iter 853 time 329.181 not-muc 1681 unknown 1179 muc 817
346.79/346.86	c iter 854 time 329.264 not-muc 1681 unknown 1178 muc 818
346.79/346.86	c iter 855 time 329.518 not-muc 1681 unknown 1177 muc 819
346.79/346.86	c iter 856 time 329.646 not-muc 1681 unknown 1176 muc 820
346.79/346.86	c iter 857 time 329.693 not-muc 1681 unknown 1175 muc 821
346.79/346.86	c iter 858 time 329.75 not-muc 1681 unknown 1174 muc 822
346.79/346.86	c iter 859 time 329.833 not-muc 1681 unknown 1173 muc 823
346.79/346.86	c iter 860 time 329.916 not-muc 1681 unknown 1172 muc 824
346.79/346.86	c iter 861 time 330.027 not-muc 1681 unknown 1171 muc 825
346.79/346.86	c iter 862 time 330.113 not-muc 1681 unknown 1170 muc 826
346.79/346.86	c iter 863 time 330.196 not-muc 1681 unknown 1169 muc 827
346.79/346.86	c iter 864 time 330.312 not-muc 1681 unknown 1168 muc 828
346.79/346.86	c iter 865 time 330.573 not-muc 1681 unknown 1167 muc 829
346.79/346.86	c iter 866 time 330.651 not-muc 1681 unknown 1166 muc 830
346.79/346.86	c iter 867 time 330.73 not-muc 1681 unknown 1165 muc 831
346.79/346.86	c iter 868 time 330.78 not-muc 1681 unknown 1164 muc 832
346.79/346.86	c iter 869 time 330.822 not-muc 1681 unknown 1163 muc 833
346.79/346.86	c iter 870 time 330.882 not-muc 1681 unknown 1162 muc 834
346.79/346.86	c iter 871 time 330.964 not-muc 1681 unknown 1161 muc 835
346.79/346.86	c iter 872 time 331.03 not-muc 1681 unknown 1160 muc 836
346.79/346.86	c iter 873 time 331.181 not-muc 1681 unknown 1159 muc 837
346.79/346.86	c iter 874 time 331.272 not-muc 1681 unknown 1158 muc 838
346.79/346.86	c iter 875 time 331.363 not-muc 1681 unknown 1157 muc 839
346.79/346.86	c iter 876 time 331.421 not-muc 1681 unknown 1156 muc 840
346.79/346.86	c iter 877 time 331.501 not-muc 1681 unknown 1155 muc 841
346.79/346.86	c iter 878 time 331.574 not-muc 1681 unknown 1154 muc 842
346.79/346.86	c iter 879 time 331.63 not-muc 1681 unknown 1153 muc 843
346.79/346.86	c iter 880 time 331.74 not-muc 1681 unknown 1152 muc 844
346.79/346.86	c iter 881 time 331.782 not-muc 1681 unknown 1151 muc 845
346.79/346.86	c iter 882 time 331.863 not-muc 1681 unknown 1150 muc 846
346.79/346.86	c iter 883 time 331.976 not-muc 1681 unknown 1149 muc 847
346.79/346.86	c iter 884 time 332.045 not-muc 1681 unknown 1148 muc 848
346.79/346.86	c iter 885 time 332.128 not-muc 1681 unknown 1147 muc 849
346.79/346.86	c iter 886 time 332.211 not-muc 1681 unknown 1146 muc 850
346.79/346.86	c iter 887 time 332.291 not-muc 1681 unknown 1145 muc 851
346.79/346.86	c iter 888 time 332.512 not-muc 1681 unknown 1144 muc 852
346.79/346.86	c iter 889 time 332.551 not-muc 1681 unknown 1143 muc 853
346.79/346.86	c iter 890 time 332.764 not-muc 1681 unknown 1142 muc 854
346.79/346.86	c iter 891 time 333.025 not-muc 1681 unknown 1141 muc 855
346.79/346.86	c iter 892 time 342.411 not-muc 1683 unknown 1139 muc 855
346.79/346.86	c iter 893 time 342.816 not-muc 1683 unknown 1138 muc 856
346.79/346.86	c iter 894 time 342.839 not-muc 1683 unknown 1137 muc 857
346.79/346.86	c iter 895 time 342.952 not-muc 1683 unknown 1136 muc 858
346.79/346.86	c iter 896 time 343.025 not-muc 1683 unknown 1135 muc 859
346.79/346.86	c iter 897 time 343.102 not-muc 1683 unknown 1134 muc 860
346.79/346.86	c iter 898 time 343.177 not-muc 1683 unknown 1133 muc 861
346.79/346.86	c iter 899 time 343.221 not-muc 1683 unknown 1132 muc 862
346.79/346.86	c iter 900 time 343.281 not-muc 1683 unknown 1131 muc 863
346.79/346.86	c iter 901 time 343.33 not-muc 1683 unknown 1130 muc 864
346.79/346.86	c iter 902 time 343.408 not-muc 1683 unknown 1129 muc 865
346.79/346.86	c iter 903 time 343.474 not-muc 1683 unknown 1128 muc 866
346.79/346.86	c iter 904 time 343.528 not-muc 1683 unknown 1127 muc 867
346.79/346.86	c iter 905 time 343.61 not-muc 1683 unknown 1126 muc 868
346.79/346.86	c iter 906 time 343.687 not-muc 1683 unknown 1125 muc 869
346.79/346.86	c iter 907 time 343.903 not-muc 1683 unknown 1124 muc 870
346.79/346.86	c iter 908 time 343.998 not-muc 1683 unknown 1123 muc 871
346.79/346.86	c iter 909 time 344.109 not-muc 1683 unknown 1122 muc 872
346.79/346.86	c iter 910 time 344.193 not-muc 1683 unknown 1121 muc 873
346.79/346.86	c iter 911 time 344.269 not-muc 1683 unknown 1120 muc 874
346.79/346.86	c iter 912 time 344.347 not-muc 1683 unknown 1119 muc 875
346.79/346.86	c iter 913 time 344.441 not-muc 1683 unknown 1118 muc 876
346.79/346.86	c iter 914 time 344.463 not-muc 1683 unknown 1117 muc 877
346.79/346.86	c iter 915 time 344.692 not-muc 1683 unknown 1116 muc 878
346.79/346.86	c iter 916 time 344.786 not-muc 1683 unknown 1115 muc 879
346.79/346.86	c iter 917 time 344.814 not-muc 1683 unknown 1114 muc 880
346.79/346.86	c iter 918 time 344.849 not-muc 1683 unknown 1113 muc 881
346.79/346.86	c iter 919 time 345.147 not-muc 1683 unknown 1112 muc 882
346.79/346.86	c iter 920 time 345.301 not-muc 1683 unknown 1111 muc 883
346.79/346.86	c iter 921 time 345.436 not-muc 1683 unknown 1110 muc 884
346.79/346.86	c iter 922 time 345.474 not-muc 1683 unknown 1109 muc 885
346.79/346.86	c iter 923 time 345.674 not-muc 1683 unknown 1108 muc 886
362.79/362.87	c iter 924 time 345.75 not-muc 1683 unknown 1107 muc 887
362.79/362.87	c iter 925 time 345.918 not-muc 1683 unknown 1106 muc 888
362.79/362.87	c iter 926 time 346.008 not-muc 1683 unknown 1105 muc 889
362.79/362.87	c iter 927 time 346.186 not-muc 1683 unknown 1104 muc 890
362.79/362.87	c iter 928 time 346.403 not-muc 1683 unknown 1103 muc 891
362.79/362.87	c iter 929 time 346.439 not-muc 1683 unknown 1102 muc 892
362.79/362.87	c iter 930 time 346.517 not-muc 1683 unknown 1101 muc 893
362.79/362.87	c iter 931 time 353.672 not-muc 1684 unknown 1100 muc 893
362.79/362.87	c iter 932 time 353.912 not-muc 1684 unknown 1099 muc 894
362.79/362.87	c iter 933 time 354.122 not-muc 1684 unknown 1098 muc 895
362.79/362.87	c iter 934 time 354.205 not-muc 1684 unknown 1097 muc 896
362.79/362.87	c iter 935 time 354.284 not-muc 1684 unknown 1096 muc 897
362.79/362.87	c iter 936 time 354.365 not-muc 1684 unknown 1095 muc 898
362.79/362.87	c iter 937 time 354.47 not-muc 1684 unknown 1094 muc 899
362.79/362.87	c iter 938 time 354.779 not-muc 1684 unknown 1093 muc 900
362.79/362.87	c iter 939 time 354.884 not-muc 1684 unknown 1092 muc 901
362.79/362.87	c iter 940 time 354.989 not-muc 1684 unknown 1091 muc 902
362.79/362.87	c iter 941 time 355.091 not-muc 1684 unknown 1090 muc 903
362.79/362.87	c iter 942 time 355.189 not-muc 1684 unknown 1089 muc 904
362.79/362.87	c iter 943 time 355.277 not-muc 1684 unknown 1088 muc 905
362.79/362.87	c iter 944 time 355.439 not-muc 1684 unknown 1087 muc 906
362.79/362.87	c iter 945 time 355.619 not-muc 1684 unknown 1086 muc 907
362.79/362.87	c iter 946 time 355.686 not-muc 1684 unknown 1085 muc 908
362.79/362.87	c iter 947 time 355.795 not-muc 1684 unknown 1084 muc 909
362.79/362.87	c iter 948 time 355.899 not-muc 1684 unknown 1083 muc 910
362.79/362.87	c iter 949 time 355.996 not-muc 1684 unknown 1082 muc 911
362.79/362.87	c iter 950 time 356.076 not-muc 1684 unknown 1081 muc 912
362.79/362.87	c iter 951 time 356.192 not-muc 1684 unknown 1080 muc 913
362.79/362.87	c iter 952 time 356.298 not-muc 1684 unknown 1079 muc 914
362.79/362.87	c iter 953 time 356.438 not-muc 1684 unknown 1078 muc 915
362.79/362.87	c iter 954 time 356.542 not-muc 1684 unknown 1077 muc 916
362.79/362.87	c iter 955 time 356.614 not-muc 1684 unknown 1076 muc 917
362.79/362.87	c iter 956 time 356.715 not-muc 1684 unknown 1075 muc 918
362.79/362.87	c iter 957 time 356.819 not-muc 1684 unknown 1074 muc 919
362.79/362.87	c iter 958 time 356.924 not-muc 1684 unknown 1073 muc 920
362.79/362.87	c iter 959 time 357.003 not-muc 1684 unknown 1072 muc 921
362.79/362.87	c iter 960 time 357.052 not-muc 1684 unknown 1071 muc 922
362.79/362.87	c iter 961 time 357.314 not-muc 1684 unknown 1070 muc 923
362.79/362.87	c iter 962 time 357.6 not-muc 1684 unknown 1069 muc 924
362.79/362.87	c iter 963 time 357.654 not-muc 1684 unknown 1068 muc 925
362.79/362.87	c iter 964 time 357.966 not-muc 1684 unknown 1067 muc 926
362.79/362.87	c iter 965 time 358.072 not-muc 1684 unknown 1066 muc 927
362.79/362.87	c iter 966 time 358.165 not-muc 1684 unknown 1065 muc 928
362.79/362.87	c iter 967 time 358.306 not-muc 1684 unknown 1064 muc 929
362.79/362.87	c iter 968 time 358.411 not-muc 1684 unknown 1063 muc 930
362.79/362.87	c iter 969 time 358.512 not-muc 1684 unknown 1062 muc 931
362.79/362.87	c iter 970 time 358.629 not-muc 1684 unknown 1061 muc 932
362.79/362.87	c iter 971 time 358.68 not-muc 1684 unknown 1060 muc 933
362.79/362.87	c iter 972 time 358.833 not-muc 1684 unknown 1059 muc 934
362.79/362.87	c iter 973 time 358.894 not-muc 1684 unknown 1058 muc 935
362.79/362.87	c iter 974 time 359.013 not-muc 1684 unknown 1057 muc 936
362.79/362.87	c iter 975 time 359.202 not-muc 1684 unknown 1056 muc 937
362.79/362.87	c iter 976 time 359.281 not-muc 1684 unknown 1055 muc 938
362.79/362.87	c iter 977 time 359.403 not-muc 1684 unknown 1054 muc 939
362.79/362.87	c iter 978 time 359.477 not-muc 1684 unknown 1053 muc 940
362.79/362.87	c iter 979 time 359.589 not-muc 1684 unknown 1052 muc 941
362.79/362.87	c iter 980 time 359.836 not-muc 1684 unknown 1051 muc 942
362.79/362.87	c iter 981 time 359.938 not-muc 1684 unknown 1050 muc 943
362.79/362.87	c iter 982 time 360.045 not-muc 1684 unknown 1049 muc 944
362.79/362.87	c iter 983 time 360.116 not-muc 1684 unknown 1048 muc 945
362.79/362.87	c iter 984 time 360.22 not-muc 1684 unknown 1047 muc 946
362.79/362.87	c iter 985 time 360.33 not-muc 1684 unknown 1046 muc 947
362.79/362.87	c iter 986 time 360.603 not-muc 1684 unknown 1045 muc 948
362.79/362.87	c iter 987 time 360.696 not-muc 1684 unknown 1044 muc 949
362.79/362.87	c iter 988 time 360.776 not-muc 1684 unknown 1043 muc 950
362.79/362.87	c iter 989 time 360.882 not-muc 1684 unknown 1042 muc 951
362.79/362.87	c iter 990 time 360.987 not-muc 1684 unknown 1041 muc 952
362.79/362.87	c iter 991 time 361.195 not-muc 1684 unknown 1040 muc 953
362.79/362.87	c iter 992 time 361.299 not-muc 1684 unknown 1039 muc 954
362.79/362.87	c iter 993 time 361.485 not-muc 1684 unknown 1038 muc 955
362.79/362.87	c iter 994 time 361.664 not-muc 1684 unknown 1037 muc 956
378.49/378.55	c iter 995 time 361.803 not-muc 1684 unknown 1036 muc 957
378.49/378.55	c iter 996 time 361.898 not-muc 1684 unknown 1035 muc 958
378.49/378.55	c iter 997 time 362.009 not-muc 1684 unknown 1034 muc 959
378.49/378.55	c iter 998 time 362.088 not-muc 1684 unknown 1033 muc 960
378.49/378.55	c iter 999 time 362.19 not-muc 1684 unknown 1032 muc 961
378.49/378.55	c iter 1000 time 362.292 not-muc 1684 unknown 1031 muc 962
378.49/378.55	c iter 1001 time 362.372 not-muc 1684 unknown 1030 muc 963
378.49/378.55	c iter 1002 time 362.475 not-muc 1684 unknown 1029 muc 964
378.49/378.55	c iter 1003 time 362.548 not-muc 1684 unknown 1028 muc 965
378.49/378.55	c iter 1004 time 362.616 not-muc 1684 unknown 1027 muc 966
378.49/378.55	c iter 1005 time 362.709 not-muc 1684 unknown 1026 muc 967
378.49/378.55	c iter 1006 time 363.225 not-muc 1684 unknown 1025 muc 968
378.49/378.55	c iter 1007 time 363.558 not-muc 1684 unknown 1024 muc 969
378.49/378.55	c iter 1008 time 363.664 not-muc 1684 unknown 1023 muc 970
378.49/378.55	c iter 1009 time 363.733 not-muc 1684 unknown 1022 muc 971
378.49/378.55	c iter 1010 time 363.909 not-muc 1684 unknown 1021 muc 972
378.49/378.55	c iter 1011 time 364.074 not-muc 1684 unknown 1020 muc 973
378.49/378.55	c iter 1012 time 364.181 not-muc 1684 unknown 1019 muc 974
378.49/378.55	c iter 1013 time 364.322 not-muc 1684 unknown 1018 muc 975
378.49/378.55	c iter 1014 time 364.426 not-muc 1684 unknown 1017 muc 976
378.49/378.55	c iter 1015 time 364.836 not-muc 1684 unknown 1016 muc 977
378.49/378.55	c iter 1016 time 365.054 not-muc 1684 unknown 1015 muc 978
378.49/378.55	c iter 1017 time 365.111 not-muc 1684 unknown 1014 muc 979
378.49/378.55	c iter 1018 time 365.166 not-muc 1684 unknown 1013 muc 980
378.49/378.55	c iter 1019 time 365.237 not-muc 1684 unknown 1012 muc 981
378.49/378.55	c iter 1020 time 365.53 not-muc 1684 unknown 1011 muc 982
378.49/378.55	c iter 1021 time 365.599 not-muc 1684 unknown 1010 muc 983
378.49/378.55	c iter 1022 time 365.787 not-muc 1684 unknown 1009 muc 984
378.49/378.55	c iter 1023 time 366.068 not-muc 1684 unknown 1008 muc 985
378.49/378.55	c iter 1024 time 366.149 not-muc 1684 unknown 1007 muc 986
378.49/378.55	c iter 1025 time 371.591 not-muc 1686 unknown 1005 muc 986
378.49/378.55	c iter 1026 time 371.969 not-muc 1686 unknown 1004 muc 987
378.49/378.55	c iter 1027 time 372.265 not-muc 1686 unknown 1003 muc 988
378.49/378.55	c iter 1028 time 372.373 not-muc 1686 unknown 1002 muc 989
378.49/378.55	c iter 1029 time 372.513 not-muc 1686 unknown 1001 muc 990
378.49/378.55	c iter 1030 time 372.765 not-muc 1686 unknown 1000 muc 991
378.49/378.55	c iter 1031 time 372.977 not-muc 1686 unknown 999 muc 992
378.49/378.55	c iter 1032 time 373.132 not-muc 1686 unknown 998 muc 993
378.49/378.55	c iter 1033 time 373.224 not-muc 1686 unknown 997 muc 994
378.49/378.55	c iter 1034 time 373.362 not-muc 1686 unknown 996 muc 995
378.49/378.55	c iter 1035 time 373.468 not-muc 1686 unknown 995 muc 996
378.49/378.55	c iter 1036 time 373.58 not-muc 1686 unknown 994 muc 997
378.49/378.55	c iter 1037 time 373.688 not-muc 1686 unknown 993 muc 998
378.49/378.55	c iter 1038 time 373.777 not-muc 1686 unknown 992 muc 999
378.49/378.55	c iter 1039 time 373.896 not-muc 1686 unknown 991 muc 1000
378.49/378.55	c iter 1040 time 374.009 not-muc 1686 unknown 990 muc 1001
378.49/378.55	c iter 1041 time 374.098 not-muc 1686 unknown 989 muc 1002
378.49/378.55	c iter 1042 time 374.17 not-muc 1686 unknown 988 muc 1003
378.49/378.55	c iter 1043 time 374.299 not-muc 1686 unknown 987 muc 1004
378.49/378.55	c iter 1044 time 374.407 not-muc 1686 unknown 986 muc 1005
378.49/378.55	c iter 1045 time 375.076 not-muc 1686 unknown 985 muc 1006
378.49/378.55	c iter 1046 time 375.183 not-muc 1686 unknown 984 muc 1007
378.49/378.55	c iter 1047 time 375.256 not-muc 1686 unknown 983 muc 1008
378.49/378.55	c iter 1048 time 375.369 not-muc 1686 unknown 982 muc 1009
378.49/378.55	c iter 1049 time 375.46 not-muc 1686 unknown 981 muc 1010
378.49/378.55	c iter 1050 time 375.575 not-muc 1686 unknown 980 muc 1011
378.49/378.55	c iter 1051 time 375.757 not-muc 1686 unknown 979 muc 1012
378.49/378.55	c iter 1052 time 375.842 not-muc 1686 unknown 978 muc 1013
378.49/378.55	c iter 1053 time 375.9 not-muc 1686 unknown 977 muc 1014
378.49/378.55	c iter 1054 time 376.136 not-muc 1686 unknown 976 muc 1015
378.49/378.55	c iter 1055 time 376.334 not-muc 1686 unknown 975 muc 1016
378.49/378.55	c iter 1056 time 376.503 not-muc 1686 unknown 974 muc 1017
378.49/378.55	c iter 1057 time 376.696 not-muc 1686 unknown 973 muc 1018
378.49/378.55	c iter 1058 time 376.768 not-muc 1686 unknown 972 muc 1019
378.49/378.55	c iter 1059 time 376.874 not-muc 1686 unknown 971 muc 1020
378.49/378.55	c iter 1060 time 376.946 not-muc 1686 unknown 970 muc 1021
378.49/378.55	c iter 1061 time 377.073 not-muc 1686 unknown 969 muc 1022
378.49/378.55	c iter 1062 time 377.125 not-muc 1686 unknown 968 muc 1023
378.49/378.55	c iter 1063 time 377.235 not-muc 1686 unknown 967 muc 1024
378.49/378.55	c iter 1064 time 377.335 not-muc 1686 unknown 966 muc 1025
423.89/423.96	c iter 1065 time 377.446 not-muc 1686 unknown 965 muc 1026
423.89/423.96	c iter 1066 time 377.557 not-muc 1686 unknown 964 muc 1027
423.89/423.96	c iter 1067 time 377.633 not-muc 1686 unknown 963 muc 1028
423.89/423.96	c iter 1068 time 378.159 not-muc 1686 unknown 962 muc 1029
423.89/423.96	c iter 1069 time 378.336 not-muc 1686 unknown 961 muc 1030
423.89/423.96	c iter 1070 time 378.41 not-muc 1686 unknown 960 muc 1031
423.89/423.96	c iter 1071 time 378.51 not-muc 1686 unknown 959 muc 1032
423.89/423.96	c iter 1072 time 378.675 not-muc 1686 unknown 958 muc 1033
423.89/423.96	c iter 1073 time 378.788 not-muc 1686 unknown 957 muc 1034
423.89/423.96	c iter 1074 time 384.78 not-muc 1688 unknown 955 muc 1034
423.89/423.96	c iter 1075 time 385.256 not-muc 1688 unknown 954 muc 1035
423.89/423.96	c iter 1076 time 385.369 not-muc 1688 unknown 953 muc 1036
423.89/423.96	c iter 1077 time 385.481 not-muc 1688 unknown 952 muc 1037
423.89/423.96	c iter 1078 time 385.587 not-muc 1688 unknown 951 muc 1038
423.89/423.96	c iter 1079 time 385.666 not-muc 1688 unknown 950 muc 1039
423.89/423.96	c iter 1080 time 385.783 not-muc 1688 unknown 949 muc 1040
423.89/423.96	c iter 1081 time 385.903 not-muc 1688 unknown 948 muc 1041
423.89/423.96	c iter 1082 time 385.993 not-muc 1688 unknown 947 muc 1042
423.89/423.96	c iter 1083 time 386.11 not-muc 1688 unknown 946 muc 1043
423.89/423.96	c iter 1084 time 386.223 not-muc 1688 unknown 945 muc 1044
423.89/423.96	c iter 1085 time 386.3 not-muc 1688 unknown 944 muc 1045
423.89/423.96	c iter 1086 time 386.461 not-muc 1688 unknown 943 muc 1046
423.89/423.96	c iter 1087 time 386.586 not-muc 1688 unknown 942 muc 1047
423.89/423.96	c iter 1088 time 386.658 not-muc 1688 unknown 941 muc 1048
423.89/423.96	c iter 1089 time 386.894 not-muc 1688 unknown 940 muc 1049
423.89/423.96	c iter 1090 time 387.021 not-muc 1688 unknown 939 muc 1050
423.89/423.96	c iter 1091 time 387.136 not-muc 1688 unknown 938 muc 1051
423.89/423.96	c iter 1092 time 387.273 not-muc 1688 unknown 937 muc 1052
423.89/423.96	c iter 1093 time 387.366 not-muc 1688 unknown 936 muc 1053
423.89/423.96	c iter 1094 time 387.425 not-muc 1688 unknown 935 muc 1054
423.89/423.96	c iter 1095 time 387.539 not-muc 1688 unknown 934 muc 1055
423.89/423.96	c iter 1096 time 387.686 not-muc 1688 unknown 933 muc 1056
423.89/423.96	c iter 1097 time 387.796 not-muc 1688 unknown 932 muc 1057
423.89/423.96	c iter 1098 time 387.882 not-muc 1688 unknown 931 muc 1058
423.89/423.96	c iter 1099 time 387.952 not-muc 1688 unknown 930 muc 1059
423.89/423.96	c iter 1100 time 388.023 not-muc 1688 unknown 929 muc 1060
423.89/423.96	c iter 1101 time 388.151 not-muc 1688 unknown 928 muc 1061
423.89/423.96	c iter 1102 time 401.51 not-muc 1689 unknown 927 muc 1061
423.89/423.96	c iter 1103 time 401.809 not-muc 1689 unknown 926 muc 1062
423.89/423.96	c iter 1104 time 401.932 not-muc 1689 unknown 925 muc 1063
423.89/423.96	c iter 1105 time 402.052 not-muc 1689 unknown 924 muc 1064
423.89/423.96	c iter 1106 time 402.117 not-muc 1689 unknown 923 muc 1065
423.89/423.96	c iter 1107 time 402.313 not-muc 1689 unknown 922 muc 1066
423.89/423.96	c iter 1108 time 402.428 not-muc 1689 unknown 921 muc 1067
423.89/423.96	c iter 1109 time 402.551 not-muc 1689 unknown 920 muc 1068
423.89/423.96	c iter 1110 time 402.654 not-muc 1689 unknown 919 muc 1069
423.89/423.96	c iter 1111 time 402.778 not-muc 1689 unknown 918 muc 1070
423.89/423.96	c iter 1112 time 402.883 not-muc 1689 unknown 917 muc 1071
423.89/423.96	c iter 1113 time 402.987 not-muc 1689 unknown 916 muc 1072
423.89/423.96	c iter 1114 time 420.556 not-muc 1690 unknown 915 muc 1072
423.89/423.96	c iter 1115 time 420.708 not-muc 1690 unknown 914 muc 1073
423.89/423.96	c iter 1116 time 420.752 not-muc 1690 unknown 913 muc 1074
423.89/423.96	c iter 1117 time 420.824 not-muc 1690 unknown 912 muc 1075
423.89/423.96	c iter 1118 time 420.923 not-muc 1690 unknown 911 muc 1076
423.89/423.96	c iter 1119 time 420.997 not-muc 1690 unknown 910 muc 1077
423.89/423.96	c iter 1120 time 421.15 not-muc 1690 unknown 909 muc 1078
423.89/423.96	c iter 1121 time 421.252 not-muc 1690 unknown 908 muc 1079
423.89/423.96	c iter 1122 time 421.351 not-muc 1690 unknown 907 muc 1080
423.89/423.96	c iter 1123 time 421.48 not-muc 1690 unknown 906 muc 1081
423.89/423.96	c iter 1124 time 421.579 not-muc 1690 unknown 905 muc 1082
423.89/423.96	c iter 1125 time 421.76 not-muc 1690 unknown 904 muc 1083
423.89/423.96	c iter 1126 time 421.871 not-muc 1690 unknown 903 muc 1084
423.89/423.96	c iter 1127 time 421.934 not-muc 1690 unknown 902 muc 1085
423.89/423.96	c iter 1128 time 422.046 not-muc 1690 unknown 901 muc 1086
423.89/423.96	c iter 1129 time 422.258 not-muc 1690 unknown 900 muc 1087
423.89/423.96	c iter 1130 time 422.359 not-muc 1690 unknown 899 muc 1088
423.89/423.96	c iter 1131 time 422.442 not-muc 1690 unknown 898 muc 1089
423.89/423.96	c iter 1132 time 422.547 not-muc 1690 unknown 897 muc 1090
423.89/423.96	c iter 1133 time 422.64 not-muc 1690 unknown 896 muc 1091
452.30/452.35	c iter 1134 time 422.713 not-muc 1690 unknown 895 muc 1092
452.30/452.35	c iter 1135 time 422.748 not-muc 1690 unknown 894 muc 1093
452.30/452.35	c iter 1136 time 422.828 not-muc 1690 unknown 893 muc 1094
452.30/452.35	c iter 1137 time 423.188 not-muc 1690 unknown 892 muc 1095
452.30/452.35	c iter 1138 time 423.221 not-muc 1690 unknown 891 muc 1096
452.30/452.35	c iter 1139 time 423.375 not-muc 1690 unknown 890 muc 1097
452.30/452.35	c iter 1140 time 423.483 not-muc 1690 unknown 889 muc 1098
452.30/452.35	c iter 1141 time 423.584 not-muc 1690 unknown 888 muc 1099
452.30/452.35	c iter 1142 time 423.778 not-muc 1690 unknown 887 muc 1100
452.30/452.35	c iter 1143 time 423.877 not-muc 1690 unknown 886 muc 1101
452.30/452.35	c iter 1144 time 423.991 not-muc 1690 unknown 885 muc 1102
452.30/452.35	c iter 1145 time 424.041 not-muc 1690 unknown 884 muc 1103
452.30/452.35	c iter 1146 time 424.134 not-muc 1690 unknown 883 muc 1104
452.30/452.35	c iter 1147 time 424.23 not-muc 1690 unknown 882 muc 1105
452.30/452.35	c iter 1148 time 424.35 not-muc 1690 unknown 881 muc 1106
452.30/452.35	c iter 1149 time 424.451 not-muc 1690 unknown 880 muc 1107
452.30/452.35	c iter 1150 time 424.62 not-muc 1690 unknown 879 muc 1108
452.30/452.35	c iter 1151 time 424.65 not-muc 1690 unknown 878 muc 1109
452.30/452.35	c iter 1152 time 424.754 not-muc 1690 unknown 877 muc 1110
452.30/452.35	c iter 1153 time 424.853 not-muc 1690 unknown 876 muc 1111
452.30/452.35	c iter 1154 time 424.878 not-muc 1690 unknown 875 muc 1112
452.30/452.35	c iter 1155 time 425.135 not-muc 1690 unknown 874 muc 1113
452.30/452.35	c iter 1156 time 425.227 not-muc 1690 unknown 873 muc 1114
452.30/452.35	c iter 1157 time 425.324 not-muc 1690 unknown 872 muc 1115
452.30/452.35	c iter 1158 time 425.391 not-muc 1690 unknown 871 muc 1116
452.30/452.35	c iter 1159 time 425.632 not-muc 1690 unknown 870 muc 1117
452.30/452.35	c iter 1160 time 435.827 not-muc 1693 unknown 867 muc 1117
452.30/452.35	c iter 1161 time 436.067 not-muc 1693 unknown 866 muc 1118
452.30/452.35	c iter 1162 time 443.678 not-muc 1695 unknown 864 muc 1118
452.30/452.35	c iter 1163 time 443.928 not-muc 1695 unknown 863 muc 1119
452.30/452.35	c iter 1164 time 443.999 not-muc 1695 unknown 862 muc 1120
452.30/452.35	c iter 1165 time 444.139 not-muc 1695 unknown 861 muc 1121
452.30/452.35	c iter 1166 time 444.232 not-muc 1695 unknown 860 muc 1122
452.30/452.35	c iter 1167 time 444.745 not-muc 1695 unknown 859 muc 1123
452.30/452.35	c iter 1168 time 444.825 not-muc 1695 unknown 858 muc 1124
452.30/452.35	c iter 1169 time 444.94 not-muc 1695 unknown 857 muc 1125
452.30/452.35	c iter 1170 time 445.081 not-muc 1695 unknown 856 muc 1126
452.30/452.35	c iter 1171 time 445.223 not-muc 1695 unknown 855 muc 1127
452.30/452.35	c iter 1172 time 445.363 not-muc 1695 unknown 854 muc 1128
452.30/452.35	c iter 1173 time 445.534 not-muc 1695 unknown 853 muc 1129
452.30/452.35	c iter 1174 time 445.673 not-muc 1695 unknown 852 muc 1130
452.30/452.35	c iter 1175 time 445.814 not-muc 1695 unknown 851 muc 1131
452.30/452.35	c iter 1176 time 445.893 not-muc 1695 unknown 850 muc 1132
452.30/452.35	c iter 1177 time 446.176 not-muc 1695 unknown 849 muc 1133
452.30/452.35	c iter 1178 time 446.449 not-muc 1695 unknown 848 muc 1134
452.30/452.35	c iter 1179 time 446.589 not-muc 1695 unknown 847 muc 1135
452.30/452.35	c iter 1180 time 446.733 not-muc 1695 unknown 846 muc 1136
452.30/452.35	c iter 1181 time 446.892 not-muc 1695 unknown 845 muc 1137
452.30/452.35	c iter 1182 time 447.298 not-muc 1695 unknown 844 muc 1138
452.30/452.35	c iter 1183 time 447.445 not-muc 1695 unknown 843 muc 1139
452.30/452.35	c iter 1184 time 447.634 not-muc 1695 unknown 842 muc 1140
452.30/452.35	c iter 1185 time 447.794 not-muc 1695 unknown 841 muc 1141
452.30/452.35	c iter 1186 time 447.929 not-muc 1695 unknown 840 muc 1142
452.30/452.35	c iter 1187 time 448.058 not-muc 1695 unknown 839 muc 1143
452.30/452.35	c iter 1188 time 448.199 not-muc 1695 unknown 838 muc 1144
452.30/452.35	c iter 1189 time 448.34 not-muc 1695 unknown 837 muc 1145
452.30/452.35	c iter 1190 time 448.481 not-muc 1695 unknown 836 muc 1146
452.30/452.35	c iter 1191 time 448.722 not-muc 1695 unknown 835 muc 1147
452.30/452.35	c iter 1192 time 448.857 not-muc 1695 unknown 834 muc 1148
452.30/452.35	c iter 1193 time 449.25 not-muc 1695 unknown 833 muc 1149
452.30/452.35	c iter 1194 time 449.389 not-muc 1695 unknown 832 muc 1150
452.30/452.35	c iter 1195 time 449.531 not-muc 1695 unknown 831 muc 1151
452.30/452.35	c iter 1196 time 449.623 not-muc 1695 unknown 830 muc 1152
452.30/452.35	c iter 1197 time 450.214 not-muc 1695 unknown 829 muc 1153
452.30/452.35	c iter 1198 time 450.342 not-muc 1695 unknown 828 muc 1154
452.30/452.35	c iter 1199 time 450.474 not-muc 1695 unknown 827 muc 1155
452.30/452.35	c iter 1200 time 450.556 not-muc 1695 unknown 826 muc 1156
452.30/452.35	c iter 1201 time 450.647 not-muc 1695 unknown 825 muc 1157
452.30/452.35	c iter 1202 time 450.787 not-muc 1695 unknown 824 muc 1158
452.30/452.35	c iter 1203 time 450.997 not-muc 1695 unknown 823 muc 1159
467.29/467.35	c iter 1204 time 451.139 not-muc 1695 unknown 822 muc 1160
467.29/467.35	c iter 1205 time 451.286 not-muc 1695 unknown 821 muc 1161
467.29/467.35	c iter 1206 time 451.442 not-muc 1695 unknown 820 muc 1162
467.29/467.35	c iter 1207 time 451.687 not-muc 1695 unknown 819 muc 1163
467.29/467.35	c iter 1208 time 451.788 not-muc 1695 unknown 818 muc 1164
467.29/467.35	c iter 1209 time 451.925 not-muc 1695 unknown 817 muc 1165
467.29/467.35	c iter 1210 time 452.132 not-muc 1695 unknown 816 muc 1166
467.29/467.35	c iter 1211 time 452.264 not-muc 1695 unknown 815 muc 1167
467.29/467.35	c iter 1212 time 452.347 not-muc 1695 unknown 814 muc 1168
467.29/467.35	c iter 1213 time 452.439 not-muc 1695 unknown 813 muc 1169
467.29/467.35	c iter 1214 time 452.581 not-muc 1695 unknown 812 muc 1170
467.29/467.35	c iter 1215 time 452.71 not-muc 1695 unknown 811 muc 1171
467.29/467.35	c iter 1216 time 452.921 not-muc 1695 unknown 810 muc 1172
467.29/467.35	c iter 1217 time 453.066 not-muc 1695 unknown 809 muc 1173
467.29/467.35	c iter 1218 time 453.198 not-muc 1695 unknown 808 muc 1174
467.29/467.35	c iter 1219 time 453.297 not-muc 1695 unknown 807 muc 1175
467.29/467.35	c iter 1220 time 453.427 not-muc 1695 unknown 806 muc 1176
467.29/467.35	c iter 1221 time 453.508 not-muc 1695 unknown 805 muc 1177
467.29/467.35	c iter 1222 time 453.609 not-muc 1695 unknown 804 muc 1178
467.29/467.35	c iter 1223 time 453.753 not-muc 1695 unknown 803 muc 1179
467.29/467.35	c iter 1224 time 453.894 not-muc 1695 unknown 802 muc 1180
467.29/467.35	c iter 1225 time 454.065 not-muc 1695 unknown 801 muc 1181
467.29/467.35	c iter 1226 time 454.209 not-muc 1695 unknown 800 muc 1182
467.29/467.35	c iter 1227 time 454.305 not-muc 1695 unknown 799 muc 1183
467.29/467.35	c iter 1228 time 454.411 not-muc 1695 unknown 798 muc 1184
467.29/467.35	c iter 1229 time 454.544 not-muc 1695 unknown 797 muc 1185
467.29/467.35	c iter 1230 time 454.631 not-muc 1695 unknown 796 muc 1186
467.29/467.35	c iter 1231 time 454.765 not-muc 1695 unknown 795 muc 1187
467.29/467.35	c iter 1232 time 454.874 not-muc 1695 unknown 794 muc 1188
467.29/467.35	c iter 1233 time 454.953 not-muc 1695 unknown 793 muc 1189
467.29/467.35	c iter 1234 time 455.155 not-muc 1695 unknown 792 muc 1190
467.29/467.35	c iter 1235 time 455.248 not-muc 1695 unknown 791 muc 1191
467.29/467.35	c iter 1236 time 455.396 not-muc 1695 unknown 790 muc 1192
467.29/467.35	c iter 1237 time 455.543 not-muc 1695 unknown 789 muc 1193
467.29/467.35	c iter 1238 time 455.765 not-muc 1695 unknown 788 muc 1194
467.29/467.35	c iter 1239 time 455.897 not-muc 1695 unknown 787 muc 1195
467.29/467.35	c iter 1240 time 456.159 not-muc 1695 unknown 786 muc 1196
467.29/467.35	c iter 1241 time 456.301 not-muc 1695 unknown 785 muc 1197
467.29/467.35	c iter 1242 time 456.416 not-muc 1695 unknown 784 muc 1198
467.29/467.35	c iter 1243 time 456.623 not-muc 1695 unknown 783 muc 1199
467.29/467.35	c iter 1244 time 456.948 not-muc 1695 unknown 782 muc 1200
467.29/467.35	c iter 1245 time 457.047 not-muc 1695 unknown 781 muc 1201
467.29/467.35	c iter 1246 time 457.131 not-muc 1695 unknown 780 muc 1202
467.29/467.35	c iter 1247 time 457.226 not-muc 1695 unknown 779 muc 1203
467.29/467.35	c iter 1248 time 457.366 not-muc 1695 unknown 778 muc 1204
467.29/467.35	c iter 1249 time 457.508 not-muc 1695 unknown 777 muc 1205
467.29/467.35	c iter 1250 time 457.648 not-muc 1695 unknown 776 muc 1206
467.29/467.35	c iter 1251 time 457.89 not-muc 1695 unknown 775 muc 1207
467.29/467.35	c iter 1252 time 458.035 not-muc 1695 unknown 774 muc 1208
467.29/467.35	c iter 1253 time 458.123 not-muc 1695 unknown 773 muc 1209
467.29/467.35	c iter 1254 time 458.235 not-muc 1695 unknown 772 muc 1210
467.29/467.35	c iter 1255 time 458.32 not-muc 1695 unknown 771 muc 1211
467.29/467.35	c iter 1256 time 458.457 not-muc 1695 unknown 770 muc 1212
467.29/467.35	c iter 1257 time 464.422 not-muc 1696 unknown 769 muc 1212
467.29/467.35	c iter 1258 time 464.781 not-muc 1696 unknown 768 muc 1213
467.29/467.35	c iter 1259 time 464.882 not-muc 1696 unknown 767 muc 1214
467.29/467.35	c iter 1260 time 464.991 not-muc 1696 unknown 766 muc 1215
467.29/467.35	c iter 1261 time 465.095 not-muc 1696 unknown 765 muc 1216
467.29/467.35	c iter 1262 time 465.161 not-muc 1696 unknown 764 muc 1217
467.29/467.35	c iter 1263 time 465.242 not-muc 1696 unknown 763 muc 1218
467.29/467.35	c iter 1264 time 465.356 not-muc 1696 unknown 762 muc 1219
467.29/467.35	c iter 1265 time 465.477 not-muc 1696 unknown 761 muc 1220
467.29/467.35	c iter 1266 time 465.493 not-muc 1696 unknown 760 muc 1221
467.29/467.35	c iter 1267 time 465.574 not-muc 1696 unknown 759 muc 1222
467.29/467.35	c iter 1268 time 465.682 not-muc 1696 unknown 758 muc 1223
467.29/467.35	c iter 1269 time 465.782 not-muc 1696 unknown 757 muc 1224
467.29/467.35	c iter 1270 time 465.848 not-muc 1696 unknown 756 muc 1225
467.29/467.35	c iter 1271 time 465.908 not-muc 1696 unknown 755 muc 1226
467.29/467.35	c iter 1272 time 465.993 not-muc 1696 unknown 754 muc 1227
511.50/511.54	c iter 1273 time 466.101 not-muc 1696 unknown 753 muc 1228
511.50/511.54	c iter 1274 time 466.295 not-muc 1696 unknown 752 muc 1229
511.50/511.54	c iter 1275 time 466.353 not-muc 1696 unknown 751 muc 1230
511.50/511.54	c iter 1276 time 466.465 not-muc 1696 unknown 750 muc 1231
511.50/511.54	c iter 1277 time 466.539 not-muc 1696 unknown 749 muc 1232
511.50/511.54	c iter 1278 time 466.798 not-muc 1696 unknown 748 muc 1233
511.50/511.54	c iter 1279 time 466.929 not-muc 1696 unknown 747 muc 1234
511.50/511.54	c iter 1280 time 466.986 not-muc 1696 unknown 746 muc 1235
511.50/511.54	c iter 1281 time 467.025 not-muc 1696 unknown 745 muc 1236
511.50/511.54	c iter 1282 time 467.109 not-muc 1696 unknown 744 muc 1237
511.50/511.54	c iter 1283 time 467.178 not-muc 1696 unknown 743 muc 1238
511.50/511.54	c iter 1284 time 467.262 not-muc 1696 unknown 742 muc 1239
511.50/511.54	c iter 1285 time 467.306 not-muc 1696 unknown 741 muc 1240
511.50/511.54	c iter 1286 time 467.342 not-muc 1696 unknown 740 muc 1241
511.50/511.54	c iter 1287 time 467.448 not-muc 1696 unknown 739 muc 1242
511.50/511.54	c iter 1288 time 467.506 not-muc 1696 unknown 738 muc 1243
511.50/511.54	c iter 1289 time 467.573 not-muc 1696 unknown 737 muc 1244
511.50/511.54	c iter 1290 time 467.816 not-muc 1696 unknown 736 muc 1245
511.50/511.54	c iter 1291 time 468.138 not-muc 1696 unknown 735 muc 1246
511.50/511.54	c iter 1292 time 468.282 not-muc 1696 unknown 734 muc 1247
511.50/511.54	c iter 1293 time 468.488 not-muc 1696 unknown 733 muc 1248
511.50/511.54	c iter 1294 time 468.809 not-muc 1696 unknown 732 muc 1249
511.50/511.54	c iter 1295 time 468.903 not-muc 1696 unknown 731 muc 1250
511.50/511.54	c iter 1296 time 468.98 not-muc 1696 unknown 730 muc 1251
511.50/511.54	c iter 1297 time 469.054 not-muc 1696 unknown 729 muc 1252
511.50/511.54	c iter 1298 time 469.095 not-muc 1696 unknown 728 muc 1253
511.50/511.54	c iter 1299 time 469.209 not-muc 1696 unknown 727 muc 1254
511.50/511.54	c iter 1300 time 478.545 not-muc 1697 unknown 726 muc 1254
511.50/511.54	c iter 1301 time 478.695 not-muc 1697 unknown 725 muc 1255
511.50/511.54	c iter 1302 time 478.845 not-muc 1697 unknown 724 muc 1256
511.50/511.54	c iter 1303 time 478.966 not-muc 1697 unknown 723 muc 1257
511.50/511.54	c iter 1304 time 479.114 not-muc 1697 unknown 722 muc 1258
511.50/511.54	c iter 1305 time 479.254 not-muc 1697 unknown 721 muc 1259
511.50/511.54	c iter 1306 time 479.442 not-muc 1697 unknown 720 muc 1260
511.50/511.54	c iter 1307 time 479.899 not-muc 1697 unknown 719 muc 1261
511.50/511.54	c iter 1308 time 480.055 not-muc 1697 unknown 718 muc 1262
511.50/511.54	c iter 1309 time 480.171 not-muc 1697 unknown 717 muc 1263
511.50/511.54	c iter 1310 time 480.319 not-muc 1697 unknown 716 muc 1264
511.50/511.54	c iter 1311 time 480.552 not-muc 1697 unknown 715 muc 1265
511.50/511.54	c iter 1312 time 480.699 not-muc 1697 unknown 714 muc 1266
511.50/511.54	c iter 1313 time 480.808 not-muc 1697 unknown 713 muc 1267
511.50/511.54	c iter 1314 time 480.961 not-muc 1697 unknown 712 muc 1268
511.50/511.54	c iter 1315 time 481.065 not-muc 1697 unknown 711 muc 1269
511.50/511.54	c iter 1316 time 481.383 not-muc 1697 unknown 710 muc 1270
511.50/511.54	c iter 1317 time 481.491 not-muc 1697 unknown 709 muc 1271
511.50/511.54	c iter 1318 time 481.681 not-muc 1697 unknown 708 muc 1272
511.50/511.54	c iter 1319 time 482.117 not-muc 1697 unknown 707 muc 1273
511.50/511.54	c iter 1320 time 495.236 not-muc 1700 unknown 704 muc 1273
511.50/511.54	c iter 1321 time 495.449 not-muc 1700 unknown 703 muc 1274
511.50/511.54	c iter 1322 time 495.531 not-muc 1700 unknown 702 muc 1275
511.50/511.54	c iter 1323 time 495.718 not-muc 1700 unknown 701 muc 1276
511.50/511.54	c iter 1324 time 495.76 not-muc 1700 unknown 700 muc 1277
511.50/511.54	c iter 1325 time 495.859 not-muc 1700 unknown 699 muc 1278
511.50/511.54	c iter 1326 time 496.026 not-muc 1700 unknown 698 muc 1279
511.50/511.54	c iter 1327 time 496.063 not-muc 1700 unknown 697 muc 1280
511.50/511.54	c iter 1328 time 496.258 not-muc 1700 unknown 696 muc 1281
511.50/511.54	c iter 1329 time 496.311 not-muc 1700 unknown 695 muc 1282
511.50/511.54	c iter 1330 time 502.655 not-muc 1701 unknown 694 muc 1282
511.50/511.54	c iter 1331 time 502.834 not-muc 1701 unknown 693 muc 1283
511.50/511.54	c iter 1332 time 502.969 not-muc 1701 unknown 692 muc 1284
511.50/511.54	c iter 1333 time 503.063 not-muc 1701 unknown 691 muc 1285
511.50/511.54	c iter 1334 time 503.18 not-muc 1701 unknown 690 muc 1286
511.50/511.54	c iter 1335 time 509.336 not-muc 1703 unknown 688 muc 1286
511.50/511.54	c iter 1336 time 509.535 not-muc 1703 unknown 687 muc 1287
511.50/511.54	c iter 1337 time 509.656 not-muc 1703 unknown 686 muc 1288
511.50/511.54	c iter 1338 time 509.816 not-muc 1703 unknown 685 muc 1289
511.50/511.54	c iter 1339 time 509.92 not-muc 1703 unknown 684 muc 1290
511.50/511.54	c iter 1340 time 510.026 not-muc 1703 unknown 683 muc 1291
511.50/511.54	c iter 1341 time 510.109 not-muc 1703 unknown 682 muc 1292
511.50/511.54	c iter 1342 time 510.145 not-muc 1703 unknown 681 muc 1293
543.69/543.78	c iter 1343 time 510.226 not-muc 1703 unknown 680 muc 1294
543.69/543.78	c iter 1344 time 510.303 not-muc 1703 unknown 679 muc 1295
543.69/543.78	c iter 1345 time 510.364 not-muc 1703 unknown 678 muc 1296
543.69/543.78	c iter 1346 time 510.611 not-muc 1703 unknown 677 muc 1297
543.69/543.78	c iter 1347 time 510.725 not-muc 1703 unknown 676 muc 1298
543.69/543.78	c iter 1348 time 510.78 not-muc 1703 unknown 675 muc 1299
543.69/543.78	c iter 1349 time 510.948 not-muc 1703 unknown 674 muc 1300
543.69/543.78	c iter 1350 time 511.031 not-muc 1703 unknown 673 muc 1301
543.69/543.78	c iter 1351 time 511.169 not-muc 1703 unknown 672 muc 1302
543.69/543.78	c iter 1352 time 511.208 not-muc 1703 unknown 671 muc 1303
543.69/543.78	c iter 1353 time 511.307 not-muc 1703 unknown 670 muc 1304
543.69/543.78	c iter 1354 time 511.446 not-muc 1703 unknown 669 muc 1305
543.69/543.78	c iter 1355 time 511.666 not-muc 1703 unknown 668 muc 1306
543.69/543.78	c iter 1356 time 511.742 not-muc 1703 unknown 667 muc 1307
543.69/543.78	c iter 1357 time 511.855 not-muc 1703 unknown 666 muc 1308
543.69/543.78	c iter 1358 time 512.043 not-muc 1703 unknown 665 muc 1309
543.69/543.78	c iter 1359 time 512.097 not-muc 1703 unknown 664 muc 1310
543.69/543.78	c iter 1360 time 512.302 not-muc 1703 unknown 663 muc 1311
543.69/543.78	c iter 1361 time 512.38 not-muc 1703 unknown 662 muc 1312
543.69/543.78	c iter 1362 time 512.447 not-muc 1703 unknown 661 muc 1313
543.69/543.78	c iter 1363 time 512.517 not-muc 1703 unknown 660 muc 1314
543.69/543.78	c iter 1364 time 512.628 not-muc 1703 unknown 659 muc 1315
543.69/543.78	c iter 1365 time 512.73 not-muc 1703 unknown 658 muc 1316
543.69/543.78	c iter 1366 time 512.787 not-muc 1703 unknown 657 muc 1317
543.69/543.78	c iter 1367 time 512.891 not-muc 1703 unknown 656 muc 1318
543.69/543.78	c iter 1368 time 512.934 not-muc 1703 unknown 655 muc 1319
543.69/543.78	c iter 1369 time 513.013 not-muc 1703 unknown 654 muc 1320
543.69/543.78	c iter 1370 time 513.118 not-muc 1703 unknown 653 muc 1321
543.69/543.78	c iter 1371 time 513.454 not-muc 1703 unknown 652 muc 1322
543.69/543.78	c iter 1372 time 513.532 not-muc 1703 unknown 651 muc 1323
543.69/543.78	c iter 1373 time 513.662 not-muc 1703 unknown 650 muc 1324
543.69/543.78	c iter 1374 time 520.596 not-muc 1704 unknown 649 muc 1324
543.69/543.78	c iter 1375 time 521.009 not-muc 1704 unknown 648 muc 1325
543.69/543.78	c iter 1376 time 521.113 not-muc 1704 unknown 647 muc 1326
543.69/543.78	c iter 1377 time 521.229 not-muc 1704 unknown 646 muc 1327
543.69/543.78	c iter 1378 time 521.473 not-muc 1704 unknown 645 muc 1328
543.69/543.78	c iter 1379 time 521.773 not-muc 1704 unknown 644 muc 1329
543.69/543.78	c iter 1380 time 521.991 not-muc 1704 unknown 643 muc 1330
543.69/543.78	c iter 1381 time 522.117 not-muc 1704 unknown 642 muc 1331
543.69/543.78	c iter 1382 time 522.379 not-muc 1704 unknown 641 muc 1332
543.69/543.78	c iter 1383 time 522.518 not-muc 1704 unknown 640 muc 1333
543.69/543.78	c iter 1384 time 522.658 not-muc 1704 unknown 639 muc 1334
543.69/543.78	c iter 1385 time 522.746 not-muc 1704 unknown 638 muc 1335
543.69/543.78	c iter 1386 time 537.623 not-muc 1705 unknown 637 muc 1335
543.69/543.78	c iter 1387 time 537.857 not-muc 1705 unknown 636 muc 1336
543.69/543.78	c iter 1388 time 538.017 not-muc 1705 unknown 635 muc 1337
543.69/543.78	c iter 1389 time 538.212 not-muc 1705 unknown 634 muc 1338
543.69/543.78	c iter 1390 time 538.444 not-muc 1705 unknown 633 muc 1339
543.69/543.78	c iter 1391 time 538.705 not-muc 1705 unknown 632 muc 1340
543.69/543.78	c iter 1392 time 539.007 not-muc 1705 unknown 631 muc 1341
543.69/543.78	c iter 1393 time 539.428 not-muc 1705 unknown 630 muc 1342
543.69/543.78	c iter 1394 time 539.772 not-muc 1705 unknown 629 muc 1343
543.69/543.78	c iter 1395 time 539.932 not-muc 1705 unknown 628 muc 1344
543.69/543.78	c iter 1396 time 540.061 not-muc 1705 unknown 627 muc 1345
543.69/543.78	c iter 1397 time 540.165 not-muc 1705 unknown 626 muc 1346
543.69/543.78	c iter 1398 time 540.232 not-muc 1705 unknown 625 muc 1347
543.69/543.78	c iter 1399 time 540.411 not-muc 1705 unknown 624 muc 1348
543.69/543.78	c iter 1400 time 540.552 not-muc 1705 unknown 623 muc 1349
543.69/543.78	c iter 1401 time 540.642 not-muc 1705 unknown 622 muc 1350
543.69/543.78	c iter 1402 time 540.826 not-muc 1705 unknown 621 muc 1351
543.69/543.78	c iter 1403 time 541.002 not-muc 1705 unknown 620 muc 1352
543.69/543.78	c iter 1404 time 541.159 not-muc 1705 unknown 619 muc 1353
543.69/543.78	c iter 1405 time 541.317 not-muc 1705 unknown 618 muc 1354
543.69/543.78	c iter 1406 time 541.54 not-muc 1705 unknown 617 muc 1355
543.69/543.78	c iter 1407 time 541.739 not-muc 1705 unknown 616 muc 1356
543.69/543.78	c iter 1408 time 541.916 not-muc 1705 unknown 615 muc 1357
543.69/543.78	c iter 1409 time 542.013 not-muc 1705 unknown 614 muc 1358
543.69/543.78	c iter 1410 time 542.203 not-muc 1705 unknown 613 muc 1359
543.69/543.78	c iter 1411 time 542.349 not-muc 1705 unknown 612 muc 1360
558.89/558.93	c iter 1412 time 542.587 not-muc 1705 unknown 611 muc 1361
558.89/558.93	c iter 1413 time 542.765 not-muc 1705 unknown 610 muc 1362
558.89/558.93	c iter 1414 time 542.873 not-muc 1705 unknown 609 muc 1363
558.89/558.93	c iter 1415 time 542.979 not-muc 1705 unknown 608 muc 1364
558.89/558.93	c iter 1416 time 543.156 not-muc 1705 unknown 607 muc 1365
558.89/558.93	c iter 1417 time 543.279 not-muc 1705 unknown 606 muc 1366
558.89/558.93	c iter 1418 time 543.449 not-muc 1705 unknown 605 muc 1367
558.89/558.93	c iter 1419 time 543.854 not-muc 1705 unknown 604 muc 1368
558.89/558.93	c iter 1420 time 544.021 not-muc 1705 unknown 603 muc 1369
558.89/558.93	c iter 1421 time 544.206 not-muc 1705 unknown 602 muc 1370
558.89/558.93	c iter 1422 time 544.387 not-muc 1705 unknown 601 muc 1371
558.89/558.93	c iter 1423 time 544.891 not-muc 1705 unknown 600 muc 1372
558.89/558.93	c iter 1424 time 545.28 not-muc 1705 unknown 599 muc 1373
558.89/558.93	c iter 1425 time 545.684 not-muc 1705 unknown 598 muc 1374
558.89/558.93	c iter 1426 time 545.804 not-muc 1705 unknown 597 muc 1375
558.89/558.93	c iter 1427 time 545.925 not-muc 1705 unknown 596 muc 1376
558.89/558.93	c iter 1428 time 546.051 not-muc 1705 unknown 595 muc 1377
558.89/558.93	c iter 1429 time 546.231 not-muc 1705 unknown 594 muc 1378
558.89/558.93	c iter 1430 time 546.325 not-muc 1705 unknown 593 muc 1379
558.89/558.93	c iter 1431 time 546.502 not-muc 1705 unknown 592 muc 1380
558.89/558.93	c iter 1432 time 546.658 not-muc 1705 unknown 591 muc 1381
558.89/558.93	c iter 1433 time 546.788 not-muc 1705 unknown 590 muc 1382
558.89/558.93	c iter 1434 time 546.878 not-muc 1705 unknown 589 muc 1383
558.89/558.93	c iter 1435 time 547.057 not-muc 1705 unknown 588 muc 1384
558.89/558.93	c iter 1436 time 547.237 not-muc 1705 unknown 587 muc 1385
558.89/558.93	c iter 1437 time 547.444 not-muc 1705 unknown 586 muc 1386
558.89/558.93	c iter 1438 time 547.776 not-muc 1705 unknown 585 muc 1387
558.89/558.93	c iter 1439 time 548.141 not-muc 1705 unknown 584 muc 1388
558.89/558.93	c iter 1440 time 548.282 not-muc 1705 unknown 583 muc 1389
558.89/558.93	c iter 1441 time 548.555 not-muc 1705 unknown 582 muc 1390
558.89/558.93	c iter 1442 time 548.678 not-muc 1705 unknown 581 muc 1391
558.89/558.93	c iter 1443 time 548.854 not-muc 1705 unknown 580 muc 1392
558.89/558.93	c iter 1444 time 549.275 not-muc 1705 unknown 579 muc 1393
558.89/558.93	c iter 1445 time 549.39 not-muc 1705 unknown 578 muc 1394
558.89/558.93	c iter 1446 time 549.454 not-muc 1705 unknown 577 muc 1395
558.89/558.93	c iter 1447 time 549.644 not-muc 1705 unknown 576 muc 1396
558.89/558.93	c iter 1448 time 549.799 not-muc 1705 unknown 575 muc 1397
558.89/558.93	c iter 1449 time 550.036 not-muc 1705 unknown 574 muc 1398
558.89/558.93	c iter 1450 time 550.214 not-muc 1705 unknown 573 muc 1399
558.89/558.93	c iter 1451 time 550.477 not-muc 1705 unknown 572 muc 1400
558.89/558.93	c iter 1452 time 550.646 not-muc 1705 unknown 571 muc 1401
558.89/558.93	c iter 1453 time 550.787 not-muc 1705 unknown 570 muc 1402
558.89/558.93	c iter 1454 time 551.15 not-muc 1705 unknown 569 muc 1403
558.89/558.93	c iter 1455 time 551.243 not-muc 1705 unknown 568 muc 1404
558.89/558.93	c iter 1456 time 551.551 not-muc 1705 unknown 567 muc 1405
558.89/558.93	c iter 1457 time 551.72 not-muc 1705 unknown 566 muc 1406
558.89/558.93	c iter 1458 time 552.096 not-muc 1705 unknown 565 muc 1407
558.89/558.93	c iter 1459 time 552.384 not-muc 1705 unknown 564 muc 1408
558.89/558.93	c iter 1460 time 552.538 not-muc 1705 unknown 563 muc 1409
558.89/558.93	c iter 1461 time 553.021 not-muc 1705 unknown 562 muc 1410
558.89/558.93	c iter 1462 time 553.391 not-muc 1705 unknown 561 muc 1411
558.89/558.93	c iter 1463 time 553.515 not-muc 1705 unknown 560 muc 1412
558.89/558.93	c iter 1464 time 553.697 not-muc 1705 unknown 559 muc 1413
558.89/558.93	c iter 1465 time 554.067 not-muc 1705 unknown 558 muc 1414
558.89/558.93	c iter 1466 time 554.156 not-muc 1705 unknown 557 muc 1415
558.89/558.93	c iter 1467 time 554.356 not-muc 1705 unknown 556 muc 1416
558.89/558.93	c iter 1468 time 554.536 not-muc 1705 unknown 555 muc 1417
558.89/558.93	c iter 1469 time 554.719 not-muc 1705 unknown 554 muc 1418
558.89/558.93	c iter 1470 time 554.899 not-muc 1705 unknown 553 muc 1419
558.89/558.93	c iter 1471 time 555.432 not-muc 1705 unknown 552 muc 1420
558.89/558.93	c iter 1472 time 555.589 not-muc 1705 unknown 551 muc 1421
558.89/558.93	c iter 1473 time 555.769 not-muc 1705 unknown 550 muc 1422
558.89/558.93	c iter 1474 time 556.213 not-muc 1705 unknown 549 muc 1423
558.89/558.93	c iter 1475 time 556.402 not-muc 1705 unknown 548 muc 1424
558.89/558.93	c iter 1476 time 556.586 not-muc 1705 unknown 547 muc 1425
558.89/558.93	c iter 1477 time 556.643 not-muc 1705 unknown 546 muc 1426
558.89/558.93	c iter 1478 time 556.824 not-muc 1705 unknown 545 muc 1427
558.89/558.93	c iter 1479 time 556.94 not-muc 1705 unknown 544 muc 1428
558.89/558.93	c iter 1480 time 557.277 not-muc 1705 unknown 543 muc 1429
558.89/558.93	c iter 1481 time 557.494 not-muc 1705 unknown 542 muc 1430
577.40/577.47	c iter 1482 time 557.644 not-muc 1705 unknown 541 muc 1431
577.40/577.47	c iter 1483 time 557.899 not-muc 1705 unknown 540 muc 1432
577.40/577.47	c iter 1484 time 558.425 not-muc 1705 unknown 539 muc 1433
577.40/577.47	c iter 1485 time 558.602 not-muc 1705 unknown 538 muc 1434
577.40/577.47	c iter 1486 time 558.815 not-muc 1705 unknown 537 muc 1435
577.40/577.47	c iter 1487 time 559.125 not-muc 1705 unknown 536 muc 1436
577.40/577.47	c iter 1488 time 559.294 not-muc 1705 unknown 535 muc 1437
577.40/577.47	c iter 1489 time 559.392 not-muc 1705 unknown 534 muc 1438
577.40/577.47	c iter 1490 time 559.536 not-muc 1705 unknown 533 muc 1439
577.40/577.47	c iter 1491 time 559.662 not-muc 1705 unknown 532 muc 1440
577.40/577.47	c iter 1492 time 559.771 not-muc 1705 unknown 531 muc 1441
577.40/577.47	c iter 1493 time 559.949 not-muc 1705 unknown 530 muc 1442
577.40/577.47	c iter 1494 time 560.127 not-muc 1705 unknown 529 muc 1443
577.40/577.47	c iter 1495 time 560.197 not-muc 1705 unknown 528 muc 1444
577.40/577.47	c iter 1496 time 560.359 not-muc 1705 unknown 527 muc 1445
577.40/577.47	c iter 1497 time 560.637 not-muc 1705 unknown 526 muc 1446
577.40/577.47	c iter 1498 time 560.972 not-muc 1705 unknown 525 muc 1447
577.40/577.47	c iter 1499 time 561.52 not-muc 1705 unknown 524 muc 1448
577.40/577.47	c iter 1500 time 561.943 not-muc 1705 unknown 523 muc 1449
577.40/577.47	c iter 1501 time 562.111 not-muc 1705 unknown 522 muc 1450
577.40/577.47	c iter 1502 time 562.233 not-muc 1705 unknown 521 muc 1451
577.40/577.47	c iter 1503 time 562.396 not-muc 1705 unknown 520 muc 1452
577.40/577.47	c iter 1504 time 562.575 not-muc 1705 unknown 519 muc 1453
577.40/577.47	c iter 1505 time 562.724 not-muc 1705 unknown 518 muc 1454
577.40/577.47	c iter 1506 time 562.777 not-muc 1705 unknown 517 muc 1455
577.40/577.47	c iter 1507 time 562.971 not-muc 1705 unknown 516 muc 1456
577.40/577.47	c iter 1508 time 563.173 not-muc 1705 unknown 515 muc 1457
577.40/577.47	c iter 1509 time 563.351 not-muc 1705 unknown 514 muc 1458
577.40/577.47	c iter 1510 time 563.568 not-muc 1705 unknown 513 muc 1459
577.40/577.47	c iter 1511 time 563.749 not-muc 1705 unknown 512 muc 1460
577.40/577.47	c iter 1512 time 563.929 not-muc 1705 unknown 511 muc 1461
577.40/577.47	c iter 1513 time 571.363 not-muc 1706 unknown 510 muc 1461
577.40/577.47	c iter 1514 time 571.599 not-muc 1706 unknown 509 muc 1462
577.40/577.47	c iter 1515 time 571.679 not-muc 1706 unknown 508 muc 1463
577.40/577.47	c iter 1516 time 571.783 not-muc 1706 unknown 507 muc 1464
577.40/577.47	c iter 1517 time 572.003 not-muc 1706 unknown 506 muc 1465
577.40/577.47	c iter 1518 time 572.183 not-muc 1706 unknown 505 muc 1466
577.40/577.47	c iter 1519 time 572.262 not-muc 1706 unknown 504 muc 1467
577.40/577.47	c iter 1520 time 572.363 not-muc 1706 unknown 503 muc 1468
577.40/577.47	c iter 1521 time 572.418 not-muc 1706 unknown 502 muc 1469
577.40/577.47	c iter 1522 time 572.472 not-muc 1706 unknown 501 muc 1470
577.40/577.47	c iter 1523 time 572.571 not-muc 1706 unknown 500 muc 1471
577.40/577.47	c iter 1524 time 572.85 not-muc 1706 unknown 499 muc 1472
577.40/577.47	c iter 1525 time 573.158 not-muc 1706 unknown 498 muc 1473
577.40/577.47	c iter 1526 time 573.227 not-muc 1706 unknown 497 muc 1474
577.40/577.47	c iter 1527 time 573.386 not-muc 1706 unknown 496 muc 1475
577.40/577.47	c iter 1528 time 573.489 not-muc 1706 unknown 495 muc 1476
577.40/577.47	c iter 1529 time 573.772 not-muc 1706 unknown 494 muc 1477
577.40/577.47	c iter 1530 time 573.879 not-muc 1706 unknown 493 muc 1478
577.40/577.47	c iter 1531 time 574.214 not-muc 1706 unknown 492 muc 1479
577.40/577.47	c iter 1532 time 574.282 not-muc 1706 unknown 491 muc 1480
577.40/577.47	c iter 1533 time 574.387 not-muc 1706 unknown 490 muc 1481
577.40/577.47	c iter 1534 time 574.447 not-muc 1706 unknown 489 muc 1482
577.40/577.47	c iter 1535 time 574.495 not-muc 1706 unknown 488 muc 1483
577.40/577.47	c iter 1536 time 574.663 not-muc 1706 unknown 487 muc 1484
577.40/577.47	c iter 1537 time 574.714 not-muc 1706 unknown 486 muc 1485
577.40/577.47	c iter 1538 time 574.81 not-muc 1706 unknown 485 muc 1486
577.40/577.47	c iter 1539 time 574.897 not-muc 1706 unknown 484 muc 1487
577.40/577.47	c iter 1540 time 575.093 not-muc 1706 unknown 483 muc 1488
577.40/577.47	c iter 1541 time 575.2 not-muc 1706 unknown 482 muc 1489
577.40/577.47	c iter 1542 time 575.282 not-muc 1706 unknown 481 muc 1490
577.40/577.47	c iter 1543 time 575.306 not-muc 1706 unknown 480 muc 1491
577.40/577.47	c iter 1544 time 575.337 not-muc 1706 unknown 479 muc 1492
577.40/577.47	c iter 1545 time 575.444 not-muc 1706 unknown 478 muc 1493
577.40/577.47	c iter 1546 time 575.602 not-muc 1706 unknown 477 muc 1494
577.40/577.47	c iter 1547 time 575.646 not-muc 1706 unknown 476 muc 1495
577.40/577.47	c iter 1548 time 575.89 not-muc 1706 unknown 475 muc 1496
577.40/577.47	c iter 1549 time 575.958 not-muc 1706 unknown 474 muc 1497
577.40/577.47	c iter 1550 time 576.028 not-muc 1706 unknown 473 muc 1498
607.90/607.93	c iter 1551 time 576.133 not-muc 1706 unknown 472 muc 1499
607.90/607.93	c iter 1552 time 576.195 not-muc 1706 unknown 471 muc 1500
607.90/607.93	c iter 1553 time 576.503 not-muc 1706 unknown 470 muc 1501
607.90/607.93	c iter 1554 time 576.608 not-muc 1706 unknown 469 muc 1502
607.90/607.93	c iter 1555 time 576.762 not-muc 1706 unknown 468 muc 1503
607.90/607.93	c iter 1556 time 576.874 not-muc 1706 unknown 467 muc 1504
607.90/607.93	c iter 1557 time 576.975 not-muc 1706 unknown 466 muc 1505
607.90/607.93	c iter 1558 time 577.3 not-muc 1706 unknown 465 muc 1506
607.90/607.93	c iter 1559 time 577.411 not-muc 1706 unknown 464 muc 1507
607.90/607.93	c iter 1560 time 577.622 not-muc 1706 unknown 463 muc 1508
607.90/607.93	c iter 1561 time 577.686 not-muc 1706 unknown 462 muc 1509
607.90/607.93	c iter 1562 time 577.892 not-muc 1706 unknown 461 muc 1510
607.90/607.93	c iter 1563 time 578.005 not-muc 1706 unknown 460 muc 1511
607.90/607.93	c iter 1564 time 578.11 not-muc 1706 unknown 459 muc 1512
607.90/607.93	c iter 1565 time 578.215 not-muc 1706 unknown 458 muc 1513
607.90/607.93	c iter 1566 time 578.54 not-muc 1706 unknown 457 muc 1514
607.90/607.93	c iter 1567 time 578.563 not-muc 1706 unknown 456 muc 1515
607.90/607.93	c iter 1568 time 578.811 not-muc 1706 unknown 455 muc 1516
607.90/607.93	c iter 1569 time 578.915 not-muc 1706 unknown 454 muc 1517
607.90/607.93	c iter 1570 time 579.389 not-muc 1706 unknown 453 muc 1518
607.90/607.93	c iter 1571 time 579.436 not-muc 1706 unknown 452 muc 1519
607.90/607.93	c iter 1572 time 579.509 not-muc 1706 unknown 451 muc 1520
607.90/607.93	c iter 1573 time 579.613 not-muc 1706 unknown 450 muc 1521
607.90/607.93	c iter 1574 time 579.839 not-muc 1706 unknown 449 muc 1522
607.90/607.93	c iter 1575 time 579.943 not-muc 1706 unknown 448 muc 1523
607.90/607.93	c iter 1576 time 580.049 not-muc 1706 unknown 447 muc 1524
607.90/607.93	c iter 1577 time 580.143 not-muc 1706 unknown 446 muc 1525
607.90/607.93	c iter 1578 time 580.277 not-muc 1706 unknown 445 muc 1526
607.90/607.93	c iter 1579 time 580.644 not-muc 1706 unknown 444 muc 1527
607.90/607.93	c iter 1580 time 580.876 not-muc 1706 unknown 443 muc 1528
607.90/607.93	c iter 1581 time 586.294 not-muc 1708 unknown 441 muc 1528
607.90/607.93	c iter 1582 time 586.424 not-muc 1708 unknown 440 muc 1529
607.90/607.93	c iter 1583 time 586.538 not-muc 1708 unknown 439 muc 1530
607.90/607.93	c iter 1584 time 586.648 not-muc 1708 unknown 438 muc 1531
607.90/607.93	c iter 1585 time 586.779 not-muc 1708 unknown 437 muc 1532
607.90/607.93	c iter 1586 time 586.872 not-muc 1708 unknown 436 muc 1533
607.90/607.93	c iter 1587 time 587.054 not-muc 1708 unknown 435 muc 1534
607.90/607.93	c iter 1588 time 587.128 not-muc 1708 unknown 434 muc 1535
607.90/607.93	c iter 1589 time 587.25 not-muc 1708 unknown 433 muc 1536
607.90/607.93	c iter 1590 time 587.329 not-muc 1708 unknown 432 muc 1537
607.90/607.93	c iter 1591 time 587.531 not-muc 1708 unknown 431 muc 1538
607.90/607.93	c iter 1592 time 587.611 not-muc 1708 unknown 430 muc 1539
607.90/607.93	c iter 1593 time 587.723 not-muc 1708 unknown 429 muc 1540
607.90/607.93	c iter 1594 time 588.066 not-muc 1708 unknown 428 muc 1541
607.90/607.93	c iter 1595 time 588.124 not-muc 1708 unknown 427 muc 1542
607.90/607.93	c iter 1596 time 588.249 not-muc 1708 unknown 426 muc 1543
607.90/607.93	c iter 1597 time 588.516 not-muc 1708 unknown 425 muc 1544
607.90/607.93	c iter 1598 time 588.653 not-muc 1708 unknown 424 muc 1545
607.90/607.93	c iter 1599 time 588.832 not-muc 1708 unknown 423 muc 1546
607.90/607.93	c iter 1600 time 588.999 not-muc 1708 unknown 422 muc 1547
607.90/607.93	c iter 1601 time 589.125 not-muc 1708 unknown 421 muc 1548
607.90/607.93	c iter 1602 time 589.2 not-muc 1708 unknown 420 muc 1549
607.90/607.93	c iter 1603 time 589.333 not-muc 1708 unknown 419 muc 1550
607.90/607.93	c iter 1604 time 589.703 not-muc 1708 unknown 418 muc 1551
607.90/607.93	c iter 1605 time 589.877 not-muc 1708 unknown 417 muc 1552
607.90/607.93	c iter 1606 time 590.053 not-muc 1708 unknown 416 muc 1553
607.90/607.93	c iter 1607 time 598.092 not-muc 1709 unknown 415 muc 1553
607.90/607.93	c iter 1608 time 604.759 not-muc 1710 unknown 414 muc 1553
607.90/607.93	c iter 1609 time 605.236 not-muc 1710 unknown 413 muc 1554
607.90/607.93	c iter 1610 time 605.272 not-muc 1710 unknown 412 muc 1555
607.90/607.93	c iter 1611 time 605.37 not-muc 1710 unknown 411 muc 1556
607.90/607.93	c iter 1612 time 605.483 not-muc 1710 unknown 410 muc 1557
607.90/607.93	c iter 1613 time 605.525 not-muc 1710 unknown 409 muc 1558
607.90/607.93	c iter 1614 time 605.65 not-muc 1710 unknown 408 muc 1559
607.90/607.93	c iter 1615 time 605.798 not-muc 1710 unknown 407 muc 1560
607.90/607.93	c iter 1616 time 605.918 not-muc 1710 unknown 406 muc 1561
607.90/607.93	c iter 1617 time 606.182 not-muc 1710 unknown 405 muc 1562
607.90/607.93	c iter 1618 time 606.295 not-muc 1710 unknown 404 muc 1563
607.90/607.93	c iter 1619 time 606.359 not-muc 1710 unknown 403 muc 1564
607.90/607.93	c iter 1620 time 606.465 not-muc 1710 unknown 402 muc 1565
631.50/631.58	c iter 1621 time 606.912 not-muc 1710 unknown 401 muc 1566
631.50/631.58	c iter 1622 time 606.99 not-muc 1710 unknown 400 muc 1567
631.50/631.58	c iter 1623 time 607.101 not-muc 1710 unknown 399 muc 1568
631.50/631.58	c iter 1624 time 607.383 not-muc 1710 unknown 398 muc 1569
631.50/631.58	c iter 1625 time 607.445 not-muc 1710 unknown 397 muc 1570
631.50/631.58	c iter 1626 time 607.56 not-muc 1710 unknown 396 muc 1571
631.50/631.58	c iter 1627 time 607.638 not-muc 1710 unknown 395 muc 1572
631.50/631.58	c iter 1628 time 607.757 not-muc 1710 unknown 394 muc 1573
631.50/631.58	c iter 1629 time 608.084 not-muc 1710 unknown 393 muc 1574
631.50/631.58	c iter 1630 time 615.163 not-muc 1711 unknown 392 muc 1574
631.50/631.58	c iter 1631 time 615.378 not-muc 1711 unknown 391 muc 1575
631.50/631.58	c iter 1632 time 615.477 not-muc 1711 unknown 390 muc 1576
631.50/631.58	c iter 1633 time 615.576 not-muc 1711 unknown 389 muc 1577
631.50/631.58	c iter 1634 time 615.861 not-muc 1711 unknown 388 muc 1578
631.50/631.58	c iter 1635 time 615.964 not-muc 1711 unknown 387 muc 1579
631.50/631.58	c iter 1636 time 616.028 not-muc 1711 unknown 386 muc 1580
631.50/631.58	c iter 1637 time 616.132 not-muc 1711 unknown 385 muc 1581
631.50/631.58	c iter 1638 time 616.233 not-muc 1711 unknown 384 muc 1582
631.50/631.58	c iter 1639 time 616.298 not-muc 1711 unknown 383 muc 1583
631.50/631.58	c iter 1640 time 616.404 not-muc 1711 unknown 382 muc 1584
631.50/631.58	c iter 1641 time 616.418 not-muc 1711 unknown 381 muc 1585
631.50/631.58	c iter 1642 time 616.461 not-muc 1711 unknown 380 muc 1586
631.50/631.58	c iter 1643 time 622.422 not-muc 1712 unknown 379 muc 1586
631.50/631.58	c iter 1644 time 622.641 not-muc 1712 unknown 378 muc 1587
631.50/631.58	c iter 1645 time 622.712 not-muc 1712 unknown 377 muc 1588
631.50/631.58	c iter 1646 time 622.903 not-muc 1712 unknown 376 muc 1589
631.50/631.58	c iter 1647 time 623.036 not-muc 1712 unknown 375 muc 1590
631.50/631.58	c iter 1648 time 623.167 not-muc 1712 unknown 374 muc 1591
631.50/631.58	c iter 1649 time 623.296 not-muc 1712 unknown 373 muc 1592
631.50/631.58	c iter 1650 time 623.428 not-muc 1712 unknown 372 muc 1593
631.50/631.58	c iter 1651 time 623.859 not-muc 1712 unknown 371 muc 1594
631.50/631.58	c iter 1652 time 623.991 not-muc 1712 unknown 370 muc 1595
631.50/631.58	c iter 1653 time 624.141 not-muc 1712 unknown 369 muc 1596
631.50/631.58	c iter 1654 time 624.251 not-muc 1712 unknown 368 muc 1597
631.50/631.58	c iter 1655 time 624.379 not-muc 1712 unknown 367 muc 1598
631.50/631.58	c iter 1656 time 624.516 not-muc 1712 unknown 366 muc 1599
631.50/631.58	c iter 1657 time 624.681 not-muc 1712 unknown 365 muc 1600
631.50/631.58	c iter 1658 time 624.753 not-muc 1712 unknown 364 muc 1601
631.50/631.58	c iter 1659 time 624.87 not-muc 1712 unknown 363 muc 1602
631.50/631.58	c iter 1660 time 625.27 not-muc 1712 unknown 362 muc 1603
631.50/631.58	c iter 1661 time 625.344 not-muc 1712 unknown 361 muc 1604
631.50/631.58	c iter 1662 time 625.533 not-muc 1712 unknown 360 muc 1605
631.50/631.58	c iter 1663 time 625.644 not-muc 1712 unknown 359 muc 1606
631.50/631.58	c iter 1664 time 626.005 not-muc 1712 unknown 358 muc 1607
631.50/631.58	c iter 1665 time 626.137 not-muc 1712 unknown 357 muc 1608
631.50/631.58	c iter 1666 time 626.269 not-muc 1712 unknown 356 muc 1609
631.50/631.58	c iter 1667 time 626.363 not-muc 1712 unknown 355 muc 1610
631.50/631.58	c iter 1668 time 626.507 not-muc 1712 unknown 354 muc 1611
631.50/631.58	c iter 1669 time 626.644 not-muc 1712 unknown 353 muc 1612
631.50/631.58	c iter 1670 time 626.781 not-muc 1712 unknown 352 muc 1613
631.50/631.58	c iter 1671 time 627.163 not-muc 1712 unknown 351 muc 1614
631.50/631.58	c iter 1672 time 627.308 not-muc 1712 unknown 350 muc 1615
631.50/631.58	c iter 1673 time 627.509 not-muc 1712 unknown 349 muc 1616
631.50/631.58	c iter 1674 time 627.638 not-muc 1712 unknown 348 muc 1617
631.50/631.58	c iter 1675 time 627.886 not-muc 1712 unknown 347 muc 1618
631.50/631.58	c iter 1676 time 628.121 not-muc 1712 unknown 346 muc 1619
631.50/631.58	c iter 1677 time 628.203 not-muc 1712 unknown 345 muc 1620
631.50/631.58	c iter 1678 time 628.334 not-muc 1712 unknown 344 muc 1621
631.50/631.58	c iter 1679 time 628.493 not-muc 1712 unknown 343 muc 1622
631.50/631.58	c iter 1680 time 628.624 not-muc 1712 unknown 342 muc 1623
631.50/631.58	c iter 1681 time 628.757 not-muc 1712 unknown 341 muc 1624
631.50/631.58	c iter 1682 time 628.896 not-muc 1712 unknown 340 muc 1625
631.50/631.58	c iter 1683 time 629.19 not-muc 1712 unknown 339 muc 1626
631.50/631.58	c iter 1684 time 629.333 not-muc 1712 unknown 338 muc 1627
631.50/631.58	c iter 1685 time 629.505 not-muc 1712 unknown 337 muc 1628
631.50/631.58	c iter 1686 time 629.693 not-muc 1712 unknown 336 muc 1629
631.50/631.58	c iter 1687 time 629.866 not-muc 1712 unknown 335 muc 1630
631.50/631.58	c iter 1688 time 629.989 not-muc 1712 unknown 334 muc 1631
631.50/631.58	c iter 1689 time 630.093 not-muc 1712 unknown 333 muc 1632
650.69/650.70	c iter 1690 time 630.141 not-muc 1712 unknown 332 muc 1633
650.69/650.70	c iter 1691 time 630.27 not-muc 1712 unknown 331 muc 1634
650.69/650.70	c iter 1692 time 630.54 not-muc 1712 unknown 330 muc 1635
650.69/650.70	c iter 1693 time 630.834 not-muc 1712 unknown 329 muc 1636
650.69/650.70	c iter 1694 time 630.964 not-muc 1712 unknown 328 muc 1637
650.69/650.70	c iter 1695 time 631.102 not-muc 1712 unknown 327 muc 1638
650.69/650.70	c iter 1696 time 637.812 not-muc 1713 unknown 326 muc 1638
650.69/650.70	c iter 1697 time 637.989 not-muc 1713 unknown 325 muc 1639
650.69/650.70	c iter 1698 time 638.191 not-muc 1713 unknown 324 muc 1640
650.69/650.70	c iter 1699 time 638.274 not-muc 1713 unknown 323 muc 1641
650.69/650.70	c iter 1700 time 638.637 not-muc 1713 unknown 322 muc 1642
650.69/650.70	c iter 1701 time 638.771 not-muc 1713 unknown 321 muc 1643
650.69/650.70	c iter 1702 time 638.9 not-muc 1713 unknown 320 muc 1644
650.69/650.70	c iter 1703 time 639.029 not-muc 1713 unknown 319 muc 1645
650.69/650.70	c iter 1704 time 639.16 not-muc 1713 unknown 318 muc 1646
650.69/650.70	c iter 1705 time 639.312 not-muc 1713 unknown 317 muc 1647
650.69/650.70	c iter 1706 time 639.444 not-muc 1713 unknown 316 muc 1648
650.69/650.70	c iter 1707 time 639.583 not-muc 1713 unknown 315 muc 1649
650.69/650.70	c iter 1708 time 639.799 not-muc 1713 unknown 314 muc 1650
650.69/650.70	c iter 1709 time 639.931 not-muc 1713 unknown 313 muc 1651
650.69/650.70	c iter 1710 time 640.064 not-muc 1713 unknown 312 muc 1652
650.69/650.70	c iter 1711 time 640.194 not-muc 1713 unknown 311 muc 1653
650.69/650.70	c iter 1712 time 640.46 not-muc 1713 unknown 310 muc 1654
650.69/650.70	c iter 1713 time 640.588 not-muc 1713 unknown 309 muc 1655
650.69/650.70	c iter 1714 time 640.731 not-muc 1713 unknown 308 muc 1656
650.69/650.70	c iter 1715 time 640.867 not-muc 1713 unknown 307 muc 1657
650.69/650.70	c iter 1716 time 641.038 not-muc 1713 unknown 306 muc 1658
650.69/650.70	c iter 1717 time 641.154 not-muc 1713 unknown 305 muc 1659
650.69/650.70	c iter 1718 time 641.246 not-muc 1713 unknown 304 muc 1660
650.69/650.70	c iter 1719 time 641.38 not-muc 1713 unknown 303 muc 1661
650.69/650.70	c iter 1720 time 641.539 not-muc 1713 unknown 302 muc 1662
650.69/650.70	c iter 1721 time 641.674 not-muc 1713 unknown 301 muc 1663
650.69/650.70	c iter 1722 time 641.815 not-muc 1713 unknown 300 muc 1664
650.69/650.70	c iter 1723 time 641.891 not-muc 1713 unknown 299 muc 1665
650.69/650.70	c iter 1724 time 642.031 not-muc 1713 unknown 298 muc 1666
650.69/650.70	c iter 1725 time 642.177 not-muc 1713 unknown 297 muc 1667
650.69/650.70	c iter 1726 time 642.256 not-muc 1713 unknown 296 muc 1668
650.69/650.70	c iter 1727 time 642.363 not-muc 1713 unknown 295 muc 1669
650.69/650.70	c iter 1728 time 642.437 not-muc 1713 unknown 294 muc 1670
650.69/650.70	c iter 1729 time 642.567 not-muc 1713 unknown 293 muc 1671
650.69/650.70	c iter 1730 time 642.674 not-muc 1713 unknown 292 muc 1672
650.69/650.70	c iter 1731 time 643.054 not-muc 1713 unknown 291 muc 1673
650.69/650.70	c iter 1732 time 643.557 not-muc 1713 unknown 290 muc 1674
650.69/650.70	c iter 1733 time 643.893 not-muc 1713 unknown 289 muc 1675
650.69/650.70	c iter 1734 time 644.011 not-muc 1713 unknown 288 muc 1676
650.69/650.70	c iter 1735 time 644.146 not-muc 1713 unknown 287 muc 1677
650.69/650.70	c iter 1736 time 644.542 not-muc 1713 unknown 286 muc 1678
650.69/650.70	c iter 1737 time 644.673 not-muc 1713 unknown 285 muc 1679
650.69/650.70	c iter 1738 time 644.912 not-muc 1713 unknown 284 muc 1680
650.69/650.70	c iter 1739 time 645.234 not-muc 1713 unknown 283 muc 1681
650.69/650.70	c iter 1740 time 645.411 not-muc 1713 unknown 282 muc 1682
650.69/650.70	c iter 1741 time 645.543 not-muc 1713 unknown 281 muc 1683
650.69/650.70	c iter 1742 time 645.711 not-muc 1713 unknown 280 muc 1684
650.69/650.70	c iter 1743 time 646.231 not-muc 1713 unknown 279 muc 1685
650.69/650.70	c iter 1744 time 646.364 not-muc 1713 unknown 278 muc 1686
650.69/650.70	c iter 1745 time 646.446 not-muc 1713 unknown 277 muc 1687
650.69/650.70	c iter 1746 time 646.828 not-muc 1713 unknown 276 muc 1688
650.69/650.70	c iter 1747 time 647.173 not-muc 1713 unknown 275 muc 1689
650.69/650.70	c iter 1748 time 647.316 not-muc 1713 unknown 274 muc 1690
650.69/650.70	c iter 1749 time 647.603 not-muc 1713 unknown 273 muc 1691
650.69/650.70	c iter 1750 time 647.722 not-muc 1713 unknown 272 muc 1692
650.69/650.70	c iter 1751 time 647.97 not-muc 1713 unknown 271 muc 1693
650.69/650.70	c iter 1752 time 648.06 not-muc 1713 unknown 270 muc 1694
650.69/650.70	c iter 1753 time 648.191 not-muc 1713 unknown 269 muc 1695
650.69/650.70	c iter 1754 time 648.319 not-muc 1713 unknown 268 muc 1696
650.69/650.70	c iter 1755 time 648.646 not-muc 1713 unknown 267 muc 1697
650.69/650.70	c iter 1756 time 648.779 not-muc 1713 unknown 266 muc 1698
650.69/650.70	c iter 1757 time 648.935 not-muc 1713 unknown 265 muc 1699
650.69/650.70	c iter 1758 time 649.137 not-muc 1713 unknown 264 muc 1700
650.69/650.70	c iter 1759 time 649.215 not-muc 1713 unknown 263 muc 1701
668.39/668.41	c iter 1760 time 649.316 not-muc 1713 unknown 262 muc 1702
668.39/668.41	c iter 1761 time 649.406 not-muc 1713 unknown 261 muc 1703
668.39/668.41	c iter 1762 time 650.007 not-muc 1713 unknown 260 muc 1704
668.39/668.41	c iter 1763 time 650.142 not-muc 1713 unknown 259 muc 1705
668.39/668.41	c iter 1764 time 650.26 not-muc 1713 unknown 258 muc 1706
668.39/668.41	c iter 1765 time 650.331 not-muc 1713 unknown 257 muc 1707
668.39/668.41	c iter 1766 time 650.59 not-muc 1713 unknown 256 muc 1708
668.39/668.41	c iter 1767 time 650.716 not-muc 1713 unknown 255 muc 1709
668.39/668.41	c iter 1768 time 651.006 not-muc 1713 unknown 254 muc 1710
668.39/668.41	c iter 1769 time 651.262 not-muc 1713 unknown 253 muc 1711
668.39/668.41	c iter 1770 time 651.391 not-muc 1713 unknown 252 muc 1712
668.39/668.41	c iter 1771 time 651.561 not-muc 1713 unknown 251 muc 1713
668.39/668.41	c iter 1772 time 651.69 not-muc 1713 unknown 250 muc 1714
668.39/668.41	c iter 1773 time 651.821 not-muc 1713 unknown 249 muc 1715
668.39/668.41	c iter 1774 time 651.929 not-muc 1713 unknown 248 muc 1716
668.39/668.41	c iter 1775 time 652.054 not-muc 1713 unknown 247 muc 1717
668.39/668.41	c iter 1776 time 652.535 not-muc 1713 unknown 246 muc 1718
668.39/668.41	c iter 1777 time 652.724 not-muc 1713 unknown 245 muc 1719
668.39/668.41	c iter 1778 time 653.031 not-muc 1713 unknown 244 muc 1720
668.39/668.41	c iter 1779 time 653.092 not-muc 1713 unknown 243 muc 1721
668.39/668.41	c iter 1780 time 653.213 not-muc 1713 unknown 242 muc 1722
668.39/668.41	c iter 1781 time 653.341 not-muc 1713 unknown 241 muc 1723
668.39/668.41	c iter 1782 time 653.698 not-muc 1713 unknown 240 muc 1724
668.39/668.41	c iter 1783 time 653.791 not-muc 1713 unknown 239 muc 1725
668.39/668.41	c iter 1784 time 653.93 not-muc 1713 unknown 238 muc 1726
668.39/668.41	c iter 1785 time 653.996 not-muc 1713 unknown 237 muc 1727
668.39/668.41	c iter 1786 time 654.12 not-muc 1713 unknown 236 muc 1728
668.39/668.41	c iter 1787 time 654.245 not-muc 1713 unknown 235 muc 1729
668.39/668.41	c iter 1788 time 654.364 not-muc 1713 unknown 234 muc 1730
668.39/668.41	c iter 1789 time 654.483 not-muc 1713 unknown 233 muc 1731
668.39/668.41	c iter 1790 time 654.609 not-muc 1713 unknown 232 muc 1732
668.39/668.41	c iter 1791 time 654.745 not-muc 1713 unknown 231 muc 1733
668.39/668.41	c iter 1792 time 654.82 not-muc 1713 unknown 230 muc 1734
668.39/668.41	c iter 1793 time 655.062 not-muc 1713 unknown 229 muc 1735
668.39/668.41	c iter 1794 time 655.199 not-muc 1713 unknown 228 muc 1736
668.39/668.41	c iter 1795 time 655.278 not-muc 1713 unknown 227 muc 1737
668.39/668.41	c iter 1796 time 655.369 not-muc 1713 unknown 226 muc 1738
668.39/668.41	c iter 1797 time 655.791 not-muc 1713 unknown 225 muc 1739
668.39/668.41	c iter 1798 time 655.841 not-muc 1713 unknown 224 muc 1740
668.39/668.41	c iter 1799 time 656.1 not-muc 1713 unknown 223 muc 1741
668.39/668.41	c iter 1800 time 656.227 not-muc 1713 unknown 222 muc 1742
668.39/668.41	c iter 1801 time 656.357 not-muc 1713 unknown 221 muc 1743
668.39/668.41	c iter 1802 time 656.444 not-muc 1713 unknown 220 muc 1744
668.39/668.41	c iter 1803 time 656.718 not-muc 1713 unknown 219 muc 1745
668.39/668.41	c iter 1804 time 656.932 not-muc 1713 unknown 218 muc 1746
668.39/668.41	c iter 1805 time 657.063 not-muc 1713 unknown 217 muc 1747
668.39/668.41	c iter 1806 time 657.203 not-muc 1713 unknown 216 muc 1748
668.39/668.41	c iter 1807 time 657.281 not-muc 1713 unknown 215 muc 1749
668.39/668.41	c iter 1808 time 657.693 not-muc 1713 unknown 214 muc 1750
668.39/668.41	c iter 1809 time 657.852 not-muc 1713 unknown 213 muc 1751
668.39/668.41	c iter 1810 time 657.913 not-muc 1713 unknown 212 muc 1752
668.39/668.41	c iter 1811 time 658.055 not-muc 1713 unknown 211 muc 1753
668.39/668.41	c iter 1812 time 658.184 not-muc 1713 unknown 210 muc 1754
668.39/668.41	c iter 1813 time 658.326 not-muc 1713 unknown 209 muc 1755
668.39/668.41	c iter 1814 time 658.454 not-muc 1713 unknown 208 muc 1756
668.39/668.41	c iter 1815 time 658.523 not-muc 1713 unknown 207 muc 1757
668.39/668.41	c iter 1816 time 658.692 not-muc 1713 unknown 206 muc 1758
668.39/668.41	c iter 1817 time 658.824 not-muc 1713 unknown 205 muc 1759
668.39/668.41	c iter 1818 time 658.995 not-muc 1713 unknown 204 muc 1760
668.39/668.41	c iter 1819 time 659.068 not-muc 1713 unknown 203 muc 1761
668.39/668.41	c iter 1820 time 659.13 not-muc 1713 unknown 202 muc 1762
668.39/668.41	c iter 1821 time 659.201 not-muc 1713 unknown 201 muc 1763
668.39/668.41	c iter 1822 time 659.468 not-muc 1713 unknown 200 muc 1764
668.39/668.41	c iter 1823 time 659.531 not-muc 1713 unknown 199 muc 1765
668.39/668.41	c iter 1824 time 659.698 not-muc 1713 unknown 198 muc 1766
668.39/668.41	c iter 1825 time 659.824 not-muc 1713 unknown 197 muc 1767
668.39/668.41	c iter 1826 time 659.956 not-muc 1713 unknown 196 muc 1768
668.39/668.41	c iter 1827 time 660.036 not-muc 1713 unknown 195 muc 1769
668.39/668.41	c iter 1828 time 666.651 not-muc 1714 unknown 194 muc 1769
668.39/668.41	c iter 1829 time 666.916 not-muc 1714 unknown 193 muc 1770
680.91/680.97	c iter 1830 time 667.122 not-muc 1714 unknown 192 muc 1771
680.91/680.97	c iter 1831 time 667.477 not-muc 1714 unknown 191 muc 1772
680.91/680.97	c iter 1832 time 667.615 not-muc 1714 unknown 190 muc 1773
680.91/680.97	c iter 1833 time 667.754 not-muc 1714 unknown 189 muc 1774
680.91/680.97	c iter 1834 time 667.883 not-muc 1714 unknown 188 muc 1775
680.91/680.97	c iter 1835 time 668.04 not-muc 1714 unknown 187 muc 1776
680.91/680.97	c iter 1836 time 668.196 not-muc 1714 unknown 186 muc 1777
680.91/680.97	c iter 1837 time 668.286 not-muc 1714 unknown 185 muc 1778
680.91/680.97	c iter 1838 time 668.506 not-muc 1714 unknown 184 muc 1779
680.91/680.97	c iter 1839 time 668.842 not-muc 1714 unknown 183 muc 1780
680.91/680.97	c iter 1840 time 668.986 not-muc 1714 unknown 182 muc 1781
680.91/680.97	c iter 1841 time 669.159 not-muc 1714 unknown 181 muc 1782
680.91/680.97	c iter 1842 time 669.403 not-muc 1714 unknown 180 muc 1783
680.91/680.97	c iter 1843 time 669.577 not-muc 1714 unknown 179 muc 1784
680.91/680.97	c iter 1844 time 669.69 not-muc 1714 unknown 178 muc 1785
680.91/680.97	c iter 1845 time 669.846 not-muc 1714 unknown 177 muc 1786
680.91/680.97	c iter 1846 time 669.944 not-muc 1714 unknown 176 muc 1787
680.91/680.97	c iter 1847 time 670.098 not-muc 1714 unknown 175 muc 1788
680.91/680.97	c iter 1848 time 670.267 not-muc 1714 unknown 174 muc 1789
680.91/680.97	c iter 1849 time 670.365 not-muc 1714 unknown 173 muc 1790
680.91/680.97	c iter 1850 time 670.52 not-muc 1714 unknown 172 muc 1791
680.91/680.97	c iter 1851 time 670.762 not-muc 1714 unknown 171 muc 1792
680.91/680.97	c iter 1852 time 670.817 not-muc 1714 unknown 170 muc 1793
680.91/680.97	c iter 1853 time 671.146 not-muc 1714 unknown 169 muc 1794
680.91/680.97	c iter 1854 time 671.299 not-muc 1714 unknown 168 muc 1795
680.91/680.97	c iter 1855 time 671.65 not-muc 1714 unknown 167 muc 1796
680.91/680.97	c iter 1856 time 671.798 not-muc 1714 unknown 166 muc 1797
680.91/680.97	c iter 1857 time 672.019 not-muc 1714 unknown 165 muc 1798
680.91/680.97	c iter 1858 time 672.102 not-muc 1714 unknown 164 muc 1799
680.91/680.97	c iter 1859 time 672.288 not-muc 1714 unknown 163 muc 1800
680.91/680.97	c iter 1860 time 672.538 not-muc 1714 unknown 162 muc 1801
680.91/680.97	c iter 1861 time 672.637 not-muc 1714 unknown 161 muc 1802
680.91/680.97	c iter 1862 time 672.85 not-muc 1714 unknown 160 muc 1803
680.91/680.97	c iter 1863 time 673.016 not-muc 1714 unknown 159 muc 1804
680.91/680.97	c iter 1864 time 673.159 not-muc 1714 unknown 158 muc 1805
680.91/680.97	c iter 1865 time 673.312 not-muc 1714 unknown 157 muc 1806
680.91/680.97	c iter 1866 time 673.45 not-muc 1714 unknown 156 muc 1807
680.91/680.97	c iter 1867 time 673.707 not-muc 1714 unknown 155 muc 1808
680.91/680.97	c iter 1868 time 673.834 not-muc 1714 unknown 154 muc 1809
680.91/680.97	c iter 1869 time 674.527 not-muc 1714 unknown 153 muc 1810
680.91/680.97	c iter 1870 time 674.672 not-muc 1714 unknown 152 muc 1811
680.91/680.97	c iter 1871 time 674.818 not-muc 1714 unknown 151 muc 1812
680.91/680.97	c iter 1872 time 675.189 not-muc 1714 unknown 150 muc 1813
680.91/680.97	c iter 1873 time 675.287 not-muc 1714 unknown 149 muc 1814
680.91/680.97	c iter 1874 time 675.415 not-muc 1714 unknown 148 muc 1815
680.91/680.97	c iter 1875 time 675.534 not-muc 1714 unknown 147 muc 1816
680.91/680.97	c iter 1876 time 675.674 not-muc 1714 unknown 146 muc 1817
680.91/680.97	c iter 1877 time 675.889 not-muc 1714 unknown 145 muc 1818
680.91/680.97	c iter 1878 time 676.036 not-muc 1714 unknown 144 muc 1819
680.91/680.97	c iter 1879 time 676.128 not-muc 1714 unknown 143 muc 1820
680.91/680.97	c iter 1880 time 676.249 not-muc 1714 unknown 142 muc 1821
680.91/680.97	c iter 1881 time 676.353 not-muc 1714 unknown 141 muc 1822
680.91/680.97	c iter 1882 time 676.545 not-muc 1714 unknown 140 muc 1823
680.91/680.97	c iter 1883 time 676.695 not-muc 1714 unknown 139 muc 1824
680.91/680.97	c iter 1884 time 676.908 not-muc 1714 unknown 138 muc 1825
680.91/680.97	c iter 1885 time 677.072 not-muc 1714 unknown 137 muc 1826
680.91/680.97	c iter 1886 time 677.213 not-muc 1714 unknown 136 muc 1827
680.91/680.97	c iter 1887 time 677.345 not-muc 1714 unknown 135 muc 1828
680.91/680.97	c iter 1888 time 677.465 not-muc 1714 unknown 134 muc 1829
680.91/680.97	c iter 1889 time 677.664 not-muc 1714 unknown 133 muc 1830
680.91/680.97	c iter 1890 time 678.386 not-muc 1714 unknown 132 muc 1831
680.91/680.97	c iter 1891 time 678.667 not-muc 1714 unknown 131 muc 1832
680.91/680.97	c iter 1892 time 678.755 not-muc 1714 unknown 130 muc 1833
680.91/680.97	c iter 1893 time 678.933 not-muc 1714 unknown 129 muc 1834
680.91/680.97	c iter 1894 time 679.009 not-muc 1714 unknown 128 muc 1835
680.91/680.97	c iter 1895 time 679.131 not-muc 1714 unknown 127 muc 1836
680.91/680.97	c iter 1896 time 679.224 not-muc 1714 unknown 126 muc 1837
680.91/680.97	c iter 1897 time 679.365 not-muc 1714 unknown 125 muc 1838
680.91/680.97	c iter 1898 time 679.478 not-muc 1714 unknown 124 muc 1839
708.31/708.36	c iter 1899 time 679.62 not-muc 1714 unknown 123 muc 1840
708.31/708.36	c iter 1900 time 680.79 not-muc 1714 unknown 122 muc 1841
708.31/708.36	c iter 1901 time 680.901 not-muc 1714 unknown 121 muc 1842
708.31/708.36	c iter 1902 time 681.016 not-muc 1714 unknown 120 muc 1843
708.31/708.36	c iter 1903 time 681.307 not-muc 1714 unknown 119 muc 1844
708.31/708.36	c iter 1904 time 682.092 not-muc 1714 unknown 118 muc 1845
708.31/708.36	c iter 1905 time 682.188 not-muc 1714 unknown 117 muc 1846
708.31/708.36	c iter 1906 time 682.308 not-muc 1714 unknown 116 muc 1847
708.31/708.36	c iter 1907 time 682.378 not-muc 1714 unknown 115 muc 1848
708.31/708.36	c iter 1908 time 682.505 not-muc 1714 unknown 114 muc 1849
708.31/708.36	c iter 1909 time 682.693 not-muc 1714 unknown 113 muc 1850
708.31/708.36	c iter 1910 time 682.86 not-muc 1714 unknown 112 muc 1851
708.31/708.36	c iter 1911 time 683.013 not-muc 1714 unknown 111 muc 1852
708.31/708.36	c iter 1912 time 683.158 not-muc 1714 unknown 110 muc 1853
708.31/708.36	c iter 1913 time 683.317 not-muc 1714 unknown 109 muc 1854
708.31/708.36	c iter 1914 time 683.548 not-muc 1714 unknown 108 muc 1855
708.31/708.36	c iter 1915 time 683.685 not-muc 1714 unknown 107 muc 1856
708.31/708.36	c iter 1916 time 683.827 not-muc 1714 unknown 106 muc 1857
708.31/708.36	c iter 1917 time 684.055 not-muc 1714 unknown 105 muc 1858
708.31/708.36	c iter 1918 time 684.712 not-muc 1714 unknown 104 muc 1859
708.31/708.36	c iter 1919 time 685.429 not-muc 1714 unknown 103 muc 1860
708.31/708.36	c iter 1920 time 685.517 not-muc 1714 unknown 102 muc 1861
708.31/708.36	c iter 1921 time 686.194 not-muc 1714 unknown 101 muc 1862
708.31/708.36	c iter 1922 time 691.57 not-muc 1716 unknown 99 muc 1862
708.31/708.36	c iter 1923 time 691.813 not-muc 1716 unknown 98 muc 1863
708.31/708.36	c iter 1924 time 692.012 not-muc 1716 unknown 97 muc 1864
708.31/708.36	c iter 1925 time 699.05 not-muc 1717 unknown 96 muc 1864
708.31/708.36	c iter 1926 time 699.556 not-muc 1717 unknown 95 muc 1865
708.31/708.36	c iter 1927 time 699.679 not-muc 1717 unknown 94 muc 1866
708.31/708.36	c iter 1928 time 699.768 not-muc 1717 unknown 93 muc 1867
708.31/708.36	c iter 1929 time 699.872 not-muc 1717 unknown 92 muc 1868
708.31/708.36	c iter 1930 time 699.946 not-muc 1717 unknown 91 muc 1869
708.31/708.36	c iter 1931 time 700.064 not-muc 1717 unknown 90 muc 1870
708.31/708.36	c iter 1932 time 700.107 not-muc 1717 unknown 89 muc 1871
708.31/708.36	c iter 1933 time 700.221 not-muc 1717 unknown 88 muc 1872
708.31/708.36	c iter 1934 time 700.254 not-muc 1717 unknown 87 muc 1873
708.31/708.36	c iter 1935 time 700.3 not-muc 1717 unknown 86 muc 1874
708.31/708.36	c iter 1936 time 700.428 not-muc 1717 unknown 85 muc 1875
708.31/708.36	c iter 1937 time 700.498 not-muc 1717 unknown 84 muc 1876
708.31/708.36	c iter 1938 time 700.763 not-muc 1717 unknown 83 muc 1877
708.31/708.36	c iter 1939 time 700.819 not-muc 1717 unknown 82 muc 1878
708.31/708.36	c iter 1940 time 701.129 not-muc 1717 unknown 81 muc 1879
708.31/708.36	c iter 1941 time 701.206 not-muc 1717 unknown 80 muc 1880
708.31/708.36	c iter 1942 time 701.405 not-muc 1717 unknown 79 muc 1881
708.31/708.36	c iter 1943 time 701.507 not-muc 1717 unknown 78 muc 1882
708.31/708.36	c iter 1944 time 701.636 not-muc 1717 unknown 77 muc 1883
708.31/708.36	c iter 1945 time 701.719 not-muc 1717 unknown 76 muc 1884
708.31/708.36	c iter 1946 time 701.827 not-muc 1717 unknown 75 muc 1885
708.31/708.36	c iter 1947 time 701.925 not-muc 1717 unknown 74 muc 1886
708.31/708.36	c iter 1948 time 702.081 not-muc 1717 unknown 73 muc 1887
708.31/708.36	c iter 1949 time 702.882 not-muc 1717 unknown 72 muc 1888
708.31/708.36	c iter 1950 time 703.264 not-muc 1717 unknown 71 muc 1889
708.31/708.36	c iter 1951 time 703.342 not-muc 1717 unknown 70 muc 1890
708.31/708.36	c iter 1952 time 703.452 not-muc 1717 unknown 69 muc 1891
708.31/708.36	c iter 1953 time 703.458 not-muc 1717 unknown 68 muc 1892
708.31/708.36	c iter 1954 time 703.527 not-muc 1717 unknown 67 muc 1893
708.31/708.36	c iter 1955 time 703.576 not-muc 1717 unknown 66 muc 1894
708.31/708.36	c iter 1956 time 703.688 not-muc 1717 unknown 65 muc 1895
708.31/708.36	c iter 1957 time 704 not-muc 1717 unknown 64 muc 1896
708.31/708.36	c iter 1958 time 704.729 not-muc 1717 unknown 63 muc 1897
708.31/708.36	c iter 1959 time 704.84 not-muc 1717 unknown 62 muc 1898
708.31/708.36	c iter 1960 time 704.892 not-muc 1717 unknown 61 muc 1899
708.31/708.36	c iter 1961 time 705.187 not-muc 1717 unknown 60 muc 1900
708.31/708.36	c iter 1962 time 705.394 not-muc 1717 unknown 59 muc 1901
708.31/708.36	c iter 1963 time 705.43 not-muc 1717 unknown 58 muc 1902
708.31/708.36	c iter 1964 time 705.552 not-muc 1717 unknown 57 muc 1903
708.31/708.36	c iter 1965 time 705.675 not-muc 1717 unknown 56 muc 1904
708.31/708.36	c iter 1966 time 705.811 not-muc 1717 unknown 55 muc 1905
708.31/708.36	c iter 1967 time 706.369 not-muc 1717 unknown 54 muc 1906
708.31/708.36	c iter 1968 time 706.75 not-muc 1717 unknown 53 muc 1907
708.31/708.36	c iter 1969 time 706.862 not-muc 1717 unknown 52 muc 1908
724.80/724.90	c iter 1970 time 707.541 not-muc 1717 unknown 51 muc 1909
724.80/724.90	c iter 1971 time 707.632 not-muc 1717 unknown 50 muc 1910
724.80/724.90	c iter 1972 time 707.736 not-muc 1717 unknown 49 muc 1911
724.80/724.90	c iter 1973 time 708.089 not-muc 1717 unknown 48 muc 1912
724.80/724.90	c iter 1974 time 708.185 not-muc 1717 unknown 47 muc 1913
724.80/724.90	c iter 1975 time 708.255 not-muc 1717 unknown 46 muc 1914
724.80/724.90	c iter 1976 time 708.311 not-muc 1717 unknown 45 muc 1915
724.80/724.90	c iter 1977 time 708.439 not-muc 1717 unknown 44 muc 1916
724.80/724.90	c iter 1978 time 708.55 not-muc 1717 unknown 43 muc 1917
724.80/724.90	c iter 1979 time 708.778 not-muc 1717 unknown 42 muc 1918
724.80/724.90	c iter 1980 time 708.899 not-muc 1717 unknown 41 muc 1919
724.80/724.90	c iter 1981 time 708.972 not-muc 1717 unknown 40 muc 1920
724.80/724.90	c iter 1982 time 709.063 not-muc 1717 unknown 39 muc 1921
724.80/724.90	c iter 1983 time 709.179 not-muc 1717 unknown 38 muc 1922
724.80/724.90	c iter 1984 time 709.235 not-muc 1717 unknown 37 muc 1923
724.80/724.90	c iter 1985 time 709.349 not-muc 1717 unknown 36 muc 1924
724.80/724.90	c iter 1986 time 709.486 not-muc 1717 unknown 35 muc 1925
724.80/724.90	c iter 1987 time 709.603 not-muc 1717 unknown 34 muc 1926
724.80/724.90	c iter 1988 time 709.683 not-muc 1717 unknown 33 muc 1927
724.80/724.90	c iter 1989 time 710.36 not-muc 1717 unknown 32 muc 1928
724.80/724.90	c iter 1990 time 710.404 not-muc 1717 unknown 31 muc 1929
724.80/724.90	c iter 1991 time 710.509 not-muc 1717 unknown 30 muc 1930
724.80/724.90	c iter 1992 time 711.123 not-muc 1717 unknown 29 muc 1931
724.80/724.90	c iter 1993 time 711.203 not-muc 1717 unknown 28 muc 1932
724.80/724.90	c iter 1994 time 711.312 not-muc 1717 unknown 27 muc 1933
724.80/724.90	c iter 1995 time 711.388 not-muc 1717 unknown 26 muc 1934
724.80/724.90	c iter 1996 time 711.558 not-muc 1717 unknown 25 muc 1935
724.80/724.90	c iter 1997 time 716.381 not-muc 1718 unknown 24 muc 1935
724.80/724.90	c iter 1998 time 716.57 not-muc 1718 unknown 23 muc 1936
724.80/724.90	c iter 1999 time 716.695 not-muc 1718 unknown 22 muc 1937
724.80/724.90	c iter 2000 time 716.83 not-muc 1718 unknown 21 muc 1938
724.80/724.90	c iter 2001 time 716.957 not-muc 1718 unknown 20 muc 1939
724.80/724.90	c iter 2002 time 717.097 not-muc 1718 unknown 19 muc 1940
724.80/724.90	c iter 2003 time 717.493 not-muc 1718 unknown 18 muc 1941
724.80/724.90	c iter 2004 time 717.63 not-muc 1718 unknown 17 muc 1942
724.80/724.90	c iter 2005 time 718.321 not-muc 1718 unknown 16 muc 1943
724.80/724.90	c iter 2006 time 718.401 not-muc 1718 unknown 15 muc 1944
724.80/724.90	c iter 2007 time 718.597 not-muc 1718 unknown 14 muc 1945
724.80/724.90	c iter 2008 time 718.685 not-muc 1718 unknown 13 muc 1946
724.80/724.90	c iter 2009 time 719.139 not-muc 1718 unknown 12 muc 1947
724.80/724.90	c iter 2010 time 719.414 not-muc 1718 unknown 11 muc 1948
724.80/724.90	c iter 2011 time 721.122 not-muc 1718 unknown 10 muc 1949
724.80/724.90	c iter 2012 time 721.243 not-muc 1718 unknown 9 muc 1950
724.80/724.90	c iter 2013 time 721.341 not-muc 1718 unknown 8 muc 1951
724.80/724.90	c iter 2014 time 721.462 not-muc 1718 unknown 7 muc 1952
724.80/724.90	c iter 2015 time 721.535 not-muc 1718 unknown 6 muc 1953
724.80/724.90	c iter 2016 time 721.669 not-muc 1718 unknown 5 muc 1954
724.80/724.90	c iter 2017 time 722.184 not-muc 1718 unknown 4 muc 1955
724.80/724.90	c iter 2018 time 722.726 not-muc 1718 unknown 3 muc 1956
724.80/724.90	c iter 2019 time 722.834 not-muc 1718 unknown 2 muc 1957
724.80/724.90	c iter 2020 time 723.136 not-muc 1718 unknown 1 muc 1958
724.80/724.90	c final iter 2021 time 723.329 not-muc 1718 unknown 0 muc 1959
724.80/724.90	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 187 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 442 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 658 659 660 661 662 663 665 666 667 668 669 670 675 676 677 679 680 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 980 981 982 983 985 986 988 991 994 996 997 1001 1003 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 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 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 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 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 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 3196 3201 3203 3204 3206 3207 3209 3211 3213 3214 3217 3218 3220 3222 3223 3226 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 3346 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
724.80/724.90	s UNSATISFIABLE

OK	1959

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

running on 2 cores: 5,7

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.03 3.86 2.61 5/186 3410
/proc/meminfo: memFree=27831072/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=19540 CPUtime=0 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 451 0 0 0 0 0 0 0 25 0 1 0 891957303 20008960 389 33554432000 4194304 4337479 140733462640304 18446744073709551615 244446604383 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 4885 389 232 35 0 1508 0

[startup+0.0615181 s]
/proc/loadavg: 4.03 3.86 2.61 5/186 3410
/proc/meminfo: memFree=27831072/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=20400 CPUtime=0.05 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1102 0 0 0 5 0 0 0 25 0 1 0 891957303 20889600 1039 33554432000 4194304 4337479 140733462640304 18446744073709551615 4303479 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 5100 1039 240 35 0 1723 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20400

[startup+0.100509 s]
/proc/loadavg: 4.03 3.86 2.61 5/186 3410
/proc/meminfo: memFree=27831072/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=21444 CPUtime=0.09 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1401 0 0 0 9 0 0 0 25 0 1 0 891957303 21958656 1337 33554432000 4194304 4337479 140733462640304 18446744073709551615 4258600 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 5361 1337 240 35 0 1984 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21444

[startup+0.300479 s]
/proc/loadavg: 4.03 3.86 2.61 5/186 3410
/proc/meminfo: memFree=27831072/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=24672 CPUtime=0.29 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 2284 0 0 0 29 0 0 0 25 0 1 0 891957303 25264128 2198 33554432000 4194304 4337479 140733462640304 18446744073709551615 4288784 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 6168 2198 240 35 0 2791 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24672

[startup+0.700399 s]
/proc/loadavg: 4.03 3.86 2.61 5/186 3410
/proc/meminfo: memFree=27831072/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=31140 CPUtime=0.69 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 4112 0 0 0 69 0 0 0 25 0 1 0 891957303 31887360 3972 33554432000 4194304 4337479 140733462640304 18446744073709551615 4303408 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 7785 3972 240 35 0 4408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31140

[startup+1.50025 s]
/proc/loadavg: 4.03 3.86 2.61 5/187 3411
/proc/meminfo: memFree=27801088/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=45520 CPUtime=1.49 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 8070 0 0 0 148 1 0 0 25 0 1 0 891957303 46612480 7839 33554432000 4194304 4337479 140733462640304 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 11380 7839 241 35 0 8003 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45520

[startup+3.10096 s]
/proc/loadavg: 4.03 3.86 2.61 5/187 3411
/proc/meminfo: memFree=27778892/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=72256 CPUtime=3.09 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 14107 0 0 0 308 1 0 0 25 0 1 0 891957303 73990144 13769 33554432000 4194304 4337479 140733462640304 18446744073709551615 4258600 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 18064 13769 241 35 0 14687 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72256

[startup+6.30037 s]
/proc/loadavg: 4.02 3.87 2.62 5/187 3411
/proc/meminfo: memFree=27707076/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=137100 CPUtime=6.29 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 28729 0 0 0 626 3 0 0 25 0 1 0 891957303 140390400 28219 33554432000 4194304 4337479 140733462640304 18446744073709551615 4258699 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 34275 28219 241 35 0 30898 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 137100

[startup+12.7002 s]
/proc/loadavg: 4.02 3.87 2.63 5/187 3411
/proc/meminfo: memFree=27497024/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=322228 CPUtime=12.69 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 71919 0 0 0 1261 8 0 0 25 0 1 0 891957303 329961472 71188 33554432000 4194304 4337479 140733462640304 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 80557 71188 262 35 0 77180 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 322228

[startup+25.5008 s]
/proc/loadavg: 4.02 3.87 2.65 5/187 3412
/proc/meminfo: memFree=27183684/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=584612 CPUtime=25.49 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 132987 0 0 0 2532 17 0 0 25 0 1 0 891957303 598642688 132226 33554432000 4194304 4337479 140733462640304 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 146153 132226 262 35 0 142776 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 584612

[startup+51.1011 s]
/proc/loadavg: 4.01 3.88 2.68 5/187 3412
/proc/meminfo: memFree=26634216/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=1089820 CPUtime=51.09 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 242579 0 0 0 5078 31 0 0 25 0 1 0 891957303 1115975680 241814 33554432000 4194304 4337479 140733462640304 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 272455 241814 262 35 0 269078 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1089820

[startup+102.307 s]
/proc/loadavg: 4.00 3.90 2.75 5/187 3414
/proc/meminfo: memFree=25448204/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=2085564 CPUtime=102.3 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 474699 0 0 0 10172 58 0 0 25 0 1 0 891957303 2135617536 473934 33554432000 4194304 4337479 140733462640304 18446744073709551615 4303279 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 521391 473934 262 35 0 518014 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2085564

[startup+162.3 s]
/proc/loadavg: 4.08 3.93 2.83 5/187 3415
/proc/meminfo: memFree=24746408/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=2451332 CPUtime=162.29 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 574526 0 0 0 16157 72 0 0 25 0 1 0 891957303 2510163968 573761 33554432000 4194304 4337479 140733462640304 18446744073709551615 4260559 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 612833 573761 262 35 0 609456 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2451332

[startup+222.3 s]
/proc/loadavg: 4.03 3.94 2.90 5/187 3417
/proc/meminfo: memFree=23788300/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=3187764 CPUtime=222.29 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 749274 0 0 0 22134 95 0 0 25 0 1 0 891957303 3264270336 748509 33554432000 4194304 4337479 140733462640304 18446744073709551615 4278650 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 796941 748509 262 35 0 793564 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 3187764

[startup+282.3 s]
/proc/loadavg: 4.01 3.95 2.97 5/187 3418
/proc/meminfo: memFree=23254772/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=3441012 CPUtime=282.29 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 812352 0 0 0 28126 103 0 0 25 0 1 0 891957303 3523596288 809189 33554432000 4194304 4337479 140733462640304 18446744073709551615 4258657 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 860253 809189 262 35 0 856876 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 3441012

[startup+342.301 s]
/proc/loadavg: 4.06 3.97 3.04 5/187 3420
/proc/meminfo: memFree=22489380/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=3992808 CPUtime=342.3 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 934732 0 0 0 34111 119 0 0 25 0 1 0 891957303 4088635392 931569 33554432000 4194304 4337479 140733462640304 18446744073709551615 4288993 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 998202 931569 262 35 0 994825 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3992808

[startup+402.301 s]
/proc/loadavg: 4.02 3.97 3.09 5/187 3423
/proc/meminfo: memFree=22059124/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4093768 CPUtime=402.29 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 973086 0 0 0 40104 125 0 0 25 0 1 0 891957303 4192018432 962691 33554432000 4194304 4337479 140733462640304 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1023442 962691 262 35 0 1020065 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 4093768

[startup+462.301 s]
/proc/loadavg: 4.01 3.97 3.15 5/187 3424
/proc/meminfo: memFree=21427028/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4448848 CPUtime=462.3 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1057408 0 0 0 46094 136 0 0 25 0 1 0 891957303 4555620352 1047013 33554432000 4194304 4337479 140733462640304 18446744073709551615 4281677 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1112212 1047013 262 35 0 1108835 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 4448848

[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.20 5/187 3426
/proc/meminfo: memFree=21031744/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4552396 CPUtime=522.29 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1085773 0 0 0 52088 141 0 0 25 0 1 0 891957303 4661653504 1075378 33554432000 4194304 4337479 140733462640304 18446744073709551615 4259848 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1138099 1075378 262 35 0 1134722 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 4552396

[startup+582.3 s]
/proc/loadavg: 4.06 3.99 3.25 5/187 3427
/proc/meminfo: memFree=20642180/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4723352 CPUtime=582.3 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1111026 0 0 0 58085 145 0 0 25 0 1 0 891957303 4836712448 1100631 33554432000 4194304 4337479 140733462640304 18446744073709551615 4259852 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1180838 1100631 262 35 0 1177461 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 4723352

[startup+642.3 s]
/proc/loadavg: 4.02 3.99 3.29 5/187 3510
/proc/meminfo: memFree=20655944/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4761800 CPUtime=642.3 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1132875 0 0 0 64081 149 0 0 25 0 1 0 891957303 4876083200 1119079 33554432000 4194304 4337479 140733462640304 18446744073709551615 4262917 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1190450 1119079 262 35 0 1187073 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 4761800

[startup+702.3 s]
/proc/loadavg: 4.01 3.99 3.33 5/187 3557
/proc/meminfo: memFree=20312088/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4733088 CPUtime=702.3 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1145782 0 0 0 70079 151 0 0 25 0 1 0 891957303 4846682112 1118757 33554432000 4194304 4337479 140733462640304 18446744073709551615 4255616 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1183272 1118757 262 35 0 1179895 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 4733088

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

[startup+703.901 s]
/proc/loadavg: 4.00 3.99 3.34 5/187 3557
/proc/meminfo: memFree=20283452/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4724884 CPUtime=703.91 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1146231 0 0 0 70240 151 0 0 25 0 1 0 891957303 4838281216 1117835 33554432000 4194304 4337479 140733462640304 18446744073709551615 4262836 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1181221 1117835 262 35 0 1177844 0
Current children cumulated CPU time (s) 703.91
Current children cumulated vsize (KiB) 4724884

[startup+716.701 s]
/proc/loadavg: 4.00 3.99 3.35 5/187 3557
/proc/meminfo: memFree=20129172/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4724884 CPUtime=716.7 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1146910 0 0 0 71519 151 0 0 25 0 1 0 891957303 4838281216 1118514 33554432000 4194304 4337479 140733462640304 18446744073709551615 4290044 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1181221 1118514 262 35 0 1177844 0
Current children cumulated CPU time (s) 716.7
Current children cumulated vsize (KiB) 4724884

[startup+719.901 s]
/proc/loadavg: 4.00 3.99 3.35 5/187 3557
/proc/meminfo: memFree=20105984/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4712580 CPUtime=719.9 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1147353 0 0 0 71839 151 0 0 25 0 1 0 891957303 4825681920 1116202 33554432000 4194304 4337479 140733462640304 18446744073709551615 244446612505 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1178145 1116202 262 35 0 1174768 0
Current children cumulated CPU time (s) 719.9
Current children cumulated vsize (KiB) 4712580

[startup+723.1 s]
/proc/loadavg: 4.00 3.99 3.35 5/187 3557
/proc/meminfo: memFree=20075844/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4712580 CPUtime=723.1 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1147357 0 0 0 72159 151 0 0 25 0 1 0 891957303 4825681920 1116206 33554432000 4194304 4337479 140733462640304 18446744073709551615 4255744 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1178145 1116206 262 35 0 1174768 0
Current children cumulated CPU time (s) 723.1
Current children cumulated vsize (KiB) 4712580

[startup+723.9 s]
/proc/loadavg: 4.00 3.99 3.35 5/187 3557
/proc/meminfo: memFree=20057988/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4712580 CPUtime=723.9 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1147357 0 0 0 72239 151 0 0 25 0 1 0 891957303 4825681920 1116206 33554432000 4194304 4337479 140733462640304 18446744073709551615 4255778 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1178145 1116206 262 35 0 1174768 0
Current children cumulated CPU time (s) 723.9
Current children cumulated vsize (KiB) 4712580

[startup+724.701 s]
/proc/loadavg: 4.00 3.99 3.35 5/187 3557
/proc/meminfo: memFree=20057988/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=4712580 CPUtime=724.7 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202496 1147358 0 0 0 72319 151 0 0 25 0 1 0 891957303 4825681920 1116207 33554432000 4194304 4337479 140733462640304 18446744073709551615 4255641 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/3410/statm: 1178145 1116207 262 35 0 1174768 0
Current children cumulated CPU time (s) 724.7
Current children cumulated vsize (KiB) 4712580

[startup+724.907 s]
/proc/loadavg: 4.00 3.99 3.35 5/187 3557
/proc/meminfo: memFree=20051532/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=0 CPUtime=724.91 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202500 1147360 0 0 0 72333 158 0 0 25 0 1 0 891957303 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 5 0 0 0
/proc/3410/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 724.91
Current children cumulated vsize (KiB) 0

[startup+725.001 s]
/proc/loadavg: 4.00 3.99 3.35 5/187 3557
/proc/meminfo: memFree=20051532/32951124 swapFree=67064368/67111528
[pid=3410] ppid=3407 vsize=0 CPUtime=725 cores=5,7
/proc/3410/stat : 3410 (hmuc) R 3407 3410 3094 0 -1 4202500 1147360 0 0 0 72333 167 0 0 25 0 1 0 891957303 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 5 0 0 0
/proc/3410/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 725
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 725.021
CPU time (s): 725.028
CPU user time (s): 723.33
CPU system time (s): 1.69774
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 4803324

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

runsolver used 1.08883 second user time and 2.87856 second system time

The end

Begin job on node105 at 2011-06-11 16:46:09
IDJOB=3494200
IDBENCH=84233
IDSOLVER=1984
FILE ID=node105/3494200-1307803569
RUNJOBID= node105-1307802576-3117
PBS_JOBID= 13551071
Free space on /tmp= 74052 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 -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494200-1307803569/watcher-3494200-1307803569 -o /tmp/evaluation-result-3494200-1307803569/solver-3494200-1307803569 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494200-1307803569.cnf -no-pre

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

MD5SUM BENCH= d545f1b275cb8b044c819f6765152511
RANDOM SEED=909487338

node105.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.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27831864 kB
Buffers:        295032 kB
Cached:         821464 kB
SwapCached:      20132 kB
Active:        4208348 kB
Inactive:       677260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27831864 kB
SwapTotal:    67111528 kB
SwapFree:     67064368 kB
Dirty:             776 kB
Writeback:         216 kB
AnonPages:     3766188 kB
Mapped:          10816 kB
Slab:           160480 kB
PageTables:      12584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4182536 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= 74056 MiB
End job on node105 at 2011-06-11 16:58:14