4.19/4.23	c WARNING: for repeatability, setting FPU to use double precision
4.19/4.23	c iter 1 time 3.10053 not-muc 246529 unknown 3105 muc 0
4.19/4.23	c iter 2 time 3.16552 not-muc 246529 unknown 3104 muc 1
4.19/4.23	c iter 3 time 3.17452 not-muc 246554 unknown 3079 muc 1
4.19/4.23	c iter 4 time 3.18751 not-muc 246554 unknown 3078 muc 2
4.19/4.23	c iter 5 time 3.19951 not-muc 246554 unknown 3077 muc 3
4.19/4.23	c iter 6 time 3.21451 not-muc 246554 unknown 3076 muc 4
4.19/4.23	c iter 7 time 3.22751 not-muc 246554 unknown 3075 muc 5
4.19/4.23	c iter 8 time 3.24051 not-muc 246554 unknown 3074 muc 6
4.19/4.23	c iter 9 time 3.25351 not-muc 246554 unknown 3073 muc 7
4.19/4.23	c iter 10 time 3.2695 not-muc 246554 unknown 3072 muc 8
4.19/4.23	c iter 11 time 3.2835 not-muc 246554 unknown 3071 muc 9
4.19/4.23	c iter 12 time 3.2975 not-muc 246554 unknown 3070 muc 10
4.19/4.23	c iter 13 time 3.3115 not-muc 246554 unknown 3069 muc 11
4.19/4.23	c iter 14 time 3.32749 not-muc 246554 unknown 3068 muc 12
4.19/4.23	c iter 15 time 3.34049 not-muc 246554 unknown 3067 muc 13
4.19/4.23	c iter 16 time 3.34949 not-muc 246596 unknown 3025 muc 13
4.19/4.23	c iter 17 time 3.36249 not-muc 246596 unknown 3024 muc 14
4.19/4.23	c iter 18 time 3.37549 not-muc 246596 unknown 3023 muc 15
4.19/4.23	c iter 19 time 3.39748 not-muc 246596 unknown 3022 muc 16
4.19/4.23	c iter 20 time 3.41148 not-muc 246596 unknown 3021 muc 17
4.19/4.23	c iter 21 time 3.41848 not-muc 246597 unknown 3020 muc 17
4.19/4.23	c iter 22 time 3.43148 not-muc 246597 unknown 3019 muc 18
4.19/4.23	c iter 23 time 3.44747 not-muc 246597 unknown 3018 muc 19
4.19/4.23	c iter 24 time 3.46047 not-muc 246597 unknown 3017 muc 20
4.19/4.23	c iter 25 time 3.47347 not-muc 246597 unknown 3016 muc 21
4.19/4.23	c iter 26 time 3.48947 not-muc 246597 unknown 3015 muc 22
4.19/4.23	c iter 27 time 3.50347 not-muc 246597 unknown 3014 muc 23
4.19/4.23	c iter 28 time 3.51647 not-muc 246597 unknown 3013 muc 24
4.19/4.23	c iter 29 time 3.53346 not-muc 246597 unknown 3012 muc 25
4.19/4.23	c iter 30 time 3.54646 not-muc 246597 unknown 3011 muc 26
4.19/4.23	c iter 31 time 3.55946 not-muc 246597 unknown 3010 muc 27
4.19/4.23	c iter 32 time 3.57646 not-muc 246597 unknown 3009 muc 28
4.19/4.23	c iter 33 time 3.58945 not-muc 246597 unknown 3008 muc 29
4.19/4.23	c iter 34 time 3.60245 not-muc 246597 unknown 3007 muc 30
4.19/4.23	c iter 35 time 3.61745 not-muc 246597 unknown 3006 muc 31
4.19/4.23	c iter 36 time 3.63045 not-muc 246597 unknown 3005 muc 32
4.19/4.23	c iter 37 time 3.63945 not-muc 246907 unknown 2695 muc 32
4.19/4.23	c iter 38 time 3.65344 not-muc 246907 unknown 2694 muc 33
4.19/4.23	c iter 39 time 3.67544 not-muc 246907 unknown 2693 muc 34
4.19/4.23	c iter 40 time 3.68944 not-muc 246907 unknown 2692 muc 35
4.19/4.23	c iter 41 time 3.70544 not-muc 246907 unknown 2691 muc 36
4.19/4.23	c iter 42 time 3.71843 not-muc 246907 unknown 2690 muc 37
4.19/4.23	c iter 43 time 3.73543 not-muc 246907 unknown 2689 muc 38
4.19/4.23	c iter 44 time 3.74343 not-muc 246965 unknown 2631 muc 38
4.19/4.23	c iter 45 time 3.75643 not-muc 246965 unknown 2630 muc 39
4.19/4.23	c iter 46 time 3.77842 not-muc 246965 unknown 2629 muc 40
4.19/4.23	c iter 47 time 3.79142 not-muc 246965 unknown 2628 muc 41
4.19/4.23	c iter 48 time 3.80742 not-muc 246965 unknown 2627 muc 42
4.19/4.23	c iter 49 time 3.82042 not-muc 246965 unknown 2626 muc 43
4.19/4.23	c iter 50 time 3.83642 not-muc 246965 unknown 2625 muc 44
4.19/4.23	c iter 51 time 3.85041 not-muc 246965 unknown 2624 muc 45
4.19/4.23	c iter 52 time 3.86741 not-muc 246965 unknown 2623 muc 46
4.19/4.23	c iter 53 time 3.88041 not-muc 246965 unknown 2622 muc 47
4.19/4.23	c iter 54 time 3.89741 not-muc 246965 unknown 2621 muc 48
4.19/4.23	c iter 55 time 3.91141 not-muc 246965 unknown 2620 muc 49
4.19/4.23	c iter 56 time 3.9274 not-muc 246965 unknown 2619 muc 50
4.19/4.23	c iter 57 time 3.9414 not-muc 246965 unknown 2618 muc 51
4.19/4.23	c iter 58 time 3.9574 not-muc 246965 unknown 2617 muc 52
4.19/4.23	c iter 59 time 3.9704 not-muc 246965 unknown 2616 muc 53
4.19/4.23	c iter 60 time 3.98639 not-muc 246965 unknown 2615 muc 54
4.19/4.23	c iter 61 time 4.00039 not-muc 246965 unknown 2614 muc 55
4.19/4.23	c iter 62 time 4.01639 not-muc 246965 unknown 2613 muc 56
4.19/4.23	c iter 63 time 4.03139 not-muc 246965 unknown 2612 muc 57
4.19/4.23	c iter 64 time 4.04738 not-muc 246965 unknown 2611 muc 58
4.19/4.23	c iter 65 time 4.06138 not-muc 246965 unknown 2610 muc 59
4.19/4.23	c iter 66 time 4.07838 not-muc 246965 unknown 2609 muc 60
4.19/4.23	c iter 67 time 4.09338 not-muc 246965 unknown 2608 muc 61
4.19/4.23	c iter 68 time 4.10938 not-muc 246965 unknown 2607 muc 62
4.19/4.23	c iter 69 time 4.12437 not-muc 246965 unknown 2606 muc 63
4.19/4.23	c iter 70 time 4.14137 not-muc 246965 unknown 2605 muc 64
5.19/5.24	c iter 71 time 4.15637 not-muc 246965 unknown 2604 muc 65
5.19/5.24	c iter 72 time 4.17237 not-muc 246965 unknown 2603 muc 66
5.19/5.24	c iter 73 time 4.18736 not-muc 246965 unknown 2602 muc 67
5.19/5.24	c iter 74 time 4.20436 not-muc 246965 unknown 2601 muc 68
5.19/5.24	c iter 75 time 4.21936 not-muc 246965 unknown 2600 muc 69
5.19/5.24	c iter 76 time 4.23635 not-muc 246965 unknown 2599 muc 70
5.19/5.24	c iter 77 time 4.25135 not-muc 246965 unknown 2598 muc 71
5.19/5.24	c iter 78 time 4.26835 not-muc 246965 unknown 2597 muc 72
5.19/5.24	c iter 79 time 4.28335 not-muc 246965 unknown 2596 muc 73
5.19/5.24	c iter 80 time 4.30135 not-muc 246965 unknown 2595 muc 74
5.19/5.24	c iter 81 time 4.31434 not-muc 246965 unknown 2594 muc 75
5.19/5.24	c iter 82 time 4.33134 not-muc 246965 unknown 2593 muc 76
5.19/5.24	c iter 83 time 4.34534 not-muc 246965 unknown 2592 muc 77
5.19/5.24	c iter 84 time 4.36234 not-muc 246965 unknown 2591 muc 78
5.19/5.24	c iter 85 time 4.37633 not-muc 246965 unknown 2590 muc 79
5.19/5.24	c iter 86 time 4.39333 not-muc 246965 unknown 2589 muc 80
5.19/5.24	c iter 87 time 4.40733 not-muc 246965 unknown 2588 muc 81
5.19/5.24	c iter 88 time 4.42433 not-muc 246965 unknown 2587 muc 82
5.19/5.24	c iter 89 time 4.43832 not-muc 246965 unknown 2586 muc 83
5.19/5.24	c iter 90 time 4.45532 not-muc 246965 unknown 2585 muc 84
5.19/5.24	c iter 91 time 4.46932 not-muc 246965 unknown 2584 muc 85
5.19/5.24	c iter 92 time 4.48532 not-muc 246965 unknown 2583 muc 86
5.19/5.24	c iter 93 time 4.49832 not-muc 246965 unknown 2582 muc 87
5.19/5.24	c iter 94 time 4.51431 not-muc 246965 unknown 2581 muc 88
5.19/5.24	c iter 95 time 4.52831 not-muc 246965 unknown 2580 muc 89
5.19/5.24	c iter 96 time 4.54431 not-muc 246965 unknown 2579 muc 90
5.19/5.24	c iter 97 time 4.55831 not-muc 246965 unknown 2578 muc 91
5.19/5.24	c iter 98 time 4.5753 not-muc 246965 unknown 2577 muc 92
5.19/5.24	c iter 99 time 4.5893 not-muc 246965 unknown 2576 muc 93
5.19/5.24	c iter 100 time 4.5993 not-muc 247226 unknown 2315 muc 93
5.19/5.24	c iter 101 time 4.6133 not-muc 247226 unknown 2314 muc 94
5.19/5.24	c iter 102 time 4.6273 not-muc 247226 unknown 2313 muc 95
5.19/5.24	c iter 103 time 4.63829 not-muc 247239 unknown 2300 muc 95
5.19/5.24	c iter 104 time 4.65229 not-muc 247239 unknown 2299 muc 96
5.19/5.24	c iter 105 time 4.66629 not-muc 247239 unknown 2298 muc 97
5.19/5.24	c iter 106 time 4.68229 not-muc 247239 unknown 2297 muc 98
5.19/5.24	c iter 107 time 4.69529 not-muc 247239 unknown 2296 muc 99
5.19/5.24	c iter 108 time 4.71228 not-muc 247239 unknown 2295 muc 100
5.19/5.24	c iter 109 time 4.72528 not-muc 247239 unknown 2294 muc 101
5.19/5.24	c iter 110 time 4.73528 not-muc 247241 unknown 2292 muc 101
5.19/5.24	c iter 111 time 4.74228 not-muc 247246 unknown 2287 muc 101
5.19/5.24	c iter 112 time 4.74928 not-muc 247248 unknown 2285 muc 101
5.19/5.24	c iter 113 time 4.75528 not-muc 247260 unknown 2273 muc 101
5.19/5.24	c iter 114 time 4.76927 not-muc 247260 unknown 2272 muc 102
5.19/5.24	c iter 115 time 4.77627 not-muc 247264 unknown 2268 muc 102
5.19/5.24	c iter 116 time 4.78927 not-muc 247264 unknown 2267 muc 103
5.19/5.24	c iter 117 time 4.80527 not-muc 247293 unknown 2238 muc 103
5.19/5.24	c iter 118 time 4.81927 not-muc 247293 unknown 2237 muc 104
5.19/5.24	c iter 119 time 4.83326 not-muc 247293 unknown 2236 muc 105
5.19/5.24	c iter 120 time 4.85026 not-muc 247293 unknown 2235 muc 106
5.19/5.24	c iter 121 time 4.86326 not-muc 247293 unknown 2234 muc 107
5.19/5.24	c iter 122 time 4.88026 not-muc 247293 unknown 2233 muc 108
5.19/5.24	c iter 123 time 4.89426 not-muc 247293 unknown 2232 muc 109
5.19/5.24	c iter 124 time 4.91025 not-muc 247293 unknown 2231 muc 110
5.19/5.24	c iter 125 time 4.92425 not-muc 247293 unknown 2230 muc 111
5.19/5.24	c iter 126 time 4.94125 not-muc 247293 unknown 2229 muc 112
5.19/5.24	c iter 127 time 4.95525 not-muc 247293 unknown 2228 muc 113
5.19/5.24	c iter 128 time 4.97224 not-muc 247293 unknown 2227 muc 114
5.19/5.24	c iter 129 time 4.98624 not-muc 247293 unknown 2226 muc 115
5.19/5.24	c iter 130 time 5.00224 not-muc 247293 unknown 2225 muc 116
5.19/5.24	c iter 131 time 5.01624 not-muc 247293 unknown 2224 muc 117
5.19/5.24	c iter 132 time 5.03323 not-muc 247293 unknown 2223 muc 118
5.19/5.24	c iter 133 time 5.04723 not-muc 247293 unknown 2222 muc 119
5.19/5.24	c iter 134 time 5.06423 not-muc 247293 unknown 2221 muc 120
5.19/5.24	c iter 135 time 5.07123 not-muc 247295 unknown 2219 muc 120
5.19/5.24	c iter 136 time 5.08523 not-muc 247295 unknown 2218 muc 121
5.19/5.24	c iter 137 time 5.10222 not-muc 247295 unknown 2217 muc 122
5.19/5.24	c iter 138 time 5.11622 not-muc 247295 unknown 2216 muc 123
5.19/5.24	c iter 139 time 5.13322 not-muc 247295 unknown 2215 muc 124
5.19/5.24	c iter 140 time 5.14722 not-muc 247295 unknown 2214 muc 125
6.19/6.24	c iter 141 time 5.16421 not-muc 247295 unknown 2213 muc 126
6.19/6.24	c iter 142 time 5.17821 not-muc 247295 unknown 2212 muc 127
6.19/6.24	c iter 143 time 5.19421 not-muc 247295 unknown 2211 muc 128
6.19/6.24	c iter 144 time 5.20921 not-muc 247295 unknown 2210 muc 129
6.19/6.24	c iter 145 time 5.22621 not-muc 247295 unknown 2209 muc 130
6.19/6.24	c iter 146 time 5.2402 not-muc 247295 unknown 2208 muc 131
6.19/6.24	c iter 147 time 5.2562 not-muc 247295 unknown 2207 muc 132
6.19/6.24	c iter 148 time 5.2712 not-muc 247295 unknown 2206 muc 133
6.19/6.24	c iter 149 time 5.2882 not-muc 247295 unknown 2205 muc 134
6.19/6.24	c iter 150 time 5.30319 not-muc 247295 unknown 2204 muc 135
6.19/6.24	c iter 151 time 5.32019 not-muc 247295 unknown 2203 muc 136
6.19/6.24	c iter 152 time 5.33419 not-muc 247295 unknown 2202 muc 137
6.19/6.24	c iter 153 time 5.35119 not-muc 247295 unknown 2201 muc 138
6.19/6.24	c iter 154 time 5.36518 not-muc 247295 unknown 2200 muc 139
6.19/6.24	c iter 155 time 5.38218 not-muc 247295 unknown 2199 muc 140
6.19/6.24	c iter 156 time 5.39718 not-muc 247295 unknown 2198 muc 141
6.19/6.24	c iter 157 time 5.41418 not-muc 247295 unknown 2197 muc 142
6.19/6.24	c iter 158 time 5.42817 not-muc 247295 unknown 2196 muc 143
6.19/6.24	c iter 159 time 5.44517 not-muc 247295 unknown 2195 muc 144
6.19/6.24	c iter 160 time 5.46017 not-muc 247295 unknown 2194 muc 145
6.19/6.24	c iter 161 time 5.47717 not-muc 247295 unknown 2193 muc 146
6.19/6.24	c iter 162 time 5.49116 not-muc 247295 unknown 2192 muc 147
6.19/6.24	c iter 163 time 5.50916 not-muc 247295 unknown 2191 muc 148
6.19/6.24	c iter 164 time 5.52616 not-muc 247295 unknown 2190 muc 149
6.19/6.24	c iter 165 time 5.54316 not-muc 247295 unknown 2189 muc 150
6.19/6.24	c iter 166 time 5.55816 not-muc 247295 unknown 2188 muc 151
6.19/6.24	c iter 167 time 5.57615 not-muc 247295 unknown 2187 muc 152
6.19/6.24	c iter 168 time 5.59315 not-muc 247295 unknown 2186 muc 153
6.19/6.24	c iter 169 time 5.60715 not-muc 247295 unknown 2185 muc 154
6.19/6.24	c iter 170 time 5.61415 not-muc 247405 unknown 2075 muc 154
6.19/6.24	c iter 171 time 5.62214 not-muc 247409 unknown 2071 muc 154
6.19/6.24	c iter 172 time 5.63514 not-muc 247409 unknown 2070 muc 155
6.19/6.24	c iter 173 time 5.65114 not-muc 247672 unknown 1807 muc 155
6.19/6.24	c iter 174 time 5.66514 not-muc 247672 unknown 1806 muc 156
6.19/6.24	c iter 175 time 5.67814 not-muc 247672 unknown 1805 muc 157
6.19/6.24	c iter 176 time 5.69313 not-muc 247692 unknown 1785 muc 157
6.19/6.24	c iter 177 time 5.70613 not-muc 247692 unknown 1784 muc 158
6.19/6.24	c iter 178 time 5.71913 not-muc 247692 unknown 1783 muc 159
6.19/6.24	c iter 179 time 5.73513 not-muc 247692 unknown 1782 muc 160
6.19/6.24	c iter 180 time 5.74813 not-muc 247692 unknown 1781 muc 161
6.19/6.24	c iter 181 time 5.76412 not-muc 247692 unknown 1780 muc 162
6.19/6.24	c iter 182 time 5.77712 not-muc 247692 unknown 1779 muc 163
6.19/6.24	c iter 183 time 5.79312 not-muc 247692 unknown 1778 muc 164
6.19/6.24	c iter 184 time 5.80612 not-muc 247692 unknown 1777 muc 165
6.19/6.24	c iter 185 time 5.81512 not-muc 247694 unknown 1775 muc 165
6.19/6.24	c iter 186 time 5.82811 not-muc 247694 unknown 1774 muc 166
6.19/6.24	c iter 187 time 5.84111 not-muc 247694 unknown 1773 muc 167
6.19/6.24	c iter 188 time 5.85711 not-muc 247694 unknown 1772 muc 168
6.19/6.24	c iter 189 time 5.87011 not-muc 247694 unknown 1771 muc 169
6.19/6.24	c iter 190 time 5.8861 not-muc 247694 unknown 1770 muc 170
6.19/6.24	c iter 191 time 5.8991 not-muc 247694 unknown 1769 muc 171
6.19/6.24	c iter 192 time 5.9141 not-muc 247694 unknown 1768 muc 172
6.19/6.24	c iter 193 time 5.9211 not-muc 247695 unknown 1767 muc 172
6.19/6.24	c iter 194 time 5.9341 not-muc 247695 unknown 1766 muc 173
6.19/6.24	c iter 195 time 5.9501 not-muc 247695 unknown 1765 muc 174
6.19/6.24	c iter 196 time 5.96309 not-muc 247695 unknown 1764 muc 175
6.19/6.24	c iter 197 time 5.97909 not-muc 247695 unknown 1763 muc 176
6.19/6.24	c iter 198 time 5.99209 not-muc 247695 unknown 1762 muc 177
6.19/6.24	c iter 199 time 6.00809 not-muc 247695 unknown 1761 muc 178
6.19/6.24	c iter 200 time 6.02208 not-muc 247695 unknown 1760 muc 179
6.19/6.24	c iter 201 time 6.03708 not-muc 247695 unknown 1759 muc 180
6.19/6.24	c iter 202 time 6.05108 not-muc 247695 unknown 1758 muc 181
6.19/6.24	c iter 203 time 6.06708 not-muc 247695 unknown 1757 muc 182
6.19/6.24	c iter 204 time 6.08207 not-muc 247695 unknown 1756 muc 183
6.19/6.24	c iter 205 time 6.09907 not-muc 247695 unknown 1755 muc 184
6.19/6.24	c iter 206 time 6.11307 not-muc 247695 unknown 1754 muc 185
6.19/6.24	c iter 207 time 6.13007 not-muc 247695 unknown 1753 muc 186
6.19/6.24	c iter 208 time 6.14407 not-muc 247695 unknown 1752 muc 187
7.19/7.26	c iter 209 time 6.16106 not-muc 247695 unknown 1751 muc 188
7.19/7.26	c iter 210 time 6.17606 not-muc 247695 unknown 1750 muc 189
7.19/7.26	c iter 211 time 6.19406 not-muc 247695 unknown 1749 muc 190
7.19/7.26	c iter 212 time 6.20706 not-muc 247695 unknown 1748 muc 191
7.19/7.26	c iter 213 time 6.22305 not-muc 247695 unknown 1747 muc 192
7.19/7.26	c iter 214 time 6.23705 not-muc 247695 unknown 1746 muc 193
7.19/7.26	c iter 215 time 6.25205 not-muc 247695 unknown 1745 muc 194
7.19/7.26	c iter 216 time 6.26605 not-muc 247695 unknown 1744 muc 195
7.19/7.26	c iter 217 time 6.28204 not-muc 247695 unknown 1743 muc 196
7.19/7.26	c iter 218 time 6.29404 not-muc 247695 unknown 1742 muc 197
7.19/7.26	c iter 219 time 6.31004 not-muc 247695 unknown 1741 muc 198
7.19/7.26	c iter 220 time 6.32304 not-muc 247695 unknown 1740 muc 199
7.19/7.26	c iter 221 time 6.33904 not-muc 247695 unknown 1739 muc 200
7.19/7.26	c iter 222 time 6.35203 not-muc 247695 unknown 1738 muc 201
7.19/7.26	c iter 223 time 6.36803 not-muc 247695 unknown 1737 muc 202
7.19/7.26	c iter 224 time 6.38203 not-muc 247695 unknown 1736 muc 203
7.19/7.26	c iter 225 time 6.39703 not-muc 247695 unknown 1735 muc 204
7.19/7.26	c iter 226 time 6.41103 not-muc 247695 unknown 1734 muc 205
7.19/7.26	c iter 227 time 6.42802 not-muc 247695 unknown 1733 muc 206
7.19/7.26	c iter 228 time 6.44202 not-muc 247695 unknown 1732 muc 207
7.19/7.26	c iter 229 time 6.45802 not-muc 247695 unknown 1731 muc 208
7.19/7.26	c iter 230 time 6.47102 not-muc 247695 unknown 1730 muc 209
7.19/7.26	c iter 231 time 6.48701 not-muc 247695 unknown 1729 muc 210
7.19/7.26	c iter 232 time 6.50001 not-muc 247695 unknown 1728 muc 211
7.19/7.26	c iter 233 time 6.51601 not-muc 247695 unknown 1727 muc 212
7.19/7.26	c iter 234 time 6.52901 not-muc 247695 unknown 1726 muc 213
7.19/7.26	c iter 235 time 6.54401 not-muc 247695 unknown 1725 muc 214
7.19/7.26	c iter 236 time 6.557 not-muc 247695 unknown 1724 muc 215
7.19/7.26	c iter 237 time 6.574 not-muc 247695 unknown 1723 muc 216
7.19/7.26	c iter 238 time 6.587 not-muc 247695 unknown 1722 muc 217
7.19/7.26	c iter 239 time 6.603 not-muc 247695 unknown 1721 muc 218
7.19/7.26	c iter 240 time 6.61599 not-muc 247695 unknown 1720 muc 219
7.19/7.26	c iter 241 time 6.63199 not-muc 247695 unknown 1719 muc 220
7.19/7.26	c iter 242 time 6.64599 not-muc 247695 unknown 1718 muc 221
7.19/7.26	c iter 243 time 6.66199 not-muc 247695 unknown 1717 muc 222
7.19/7.26	c iter 244 time 6.67498 not-muc 247695 unknown 1716 muc 223
7.19/7.26	c iter 245 time 6.69098 not-muc 247695 unknown 1715 muc 224
7.19/7.26	c iter 246 time 6.70498 not-muc 247695 unknown 1714 muc 225
7.19/7.26	c iter 247 time 6.72098 not-muc 247695 unknown 1713 muc 226
7.19/7.26	c iter 248 time 6.73498 not-muc 247695 unknown 1712 muc 227
7.19/7.26	c iter 249 time 6.75097 not-muc 247695 unknown 1711 muc 228
7.19/7.26	c iter 250 time 6.76497 not-muc 247695 unknown 1710 muc 229
7.19/7.26	c iter 251 time 6.78097 not-muc 247695 unknown 1709 muc 230
7.19/7.26	c iter 252 time 6.79497 not-muc 247695 unknown 1708 muc 231
7.19/7.26	c iter 253 time 6.81096 not-muc 247695 unknown 1707 muc 232
7.19/7.26	c iter 254 time 6.82496 not-muc 247695 unknown 1706 muc 233
7.19/7.26	c iter 255 time 6.84096 not-muc 247695 unknown 1705 muc 234
7.19/7.26	c iter 256 time 6.85396 not-muc 247695 unknown 1704 muc 235
7.19/7.26	c iter 257 time 6.86996 not-muc 247695 unknown 1703 muc 236
7.19/7.26	c iter 258 time 6.88495 not-muc 247695 unknown 1702 muc 237
7.19/7.26	c iter 259 time 6.90095 not-muc 247695 unknown 1701 muc 238
7.19/7.26	c iter 260 time 6.91495 not-muc 247695 unknown 1700 muc 239
7.19/7.26	c iter 261 time 6.93095 not-muc 247695 unknown 1699 muc 240
7.19/7.26	c iter 262 time 6.94394 not-muc 247695 unknown 1698 muc 241
7.19/7.26	c iter 263 time 6.95994 not-muc 247695 unknown 1697 muc 242
7.19/7.26	c iter 264 time 6.97294 not-muc 247695 unknown 1696 muc 243
7.19/7.26	c iter 265 time 6.98894 not-muc 247695 unknown 1695 muc 244
7.19/7.26	c iter 266 time 7.00293 not-muc 247695 unknown 1694 muc 245
7.19/7.26	c iter 267 time 7.01893 not-muc 247695 unknown 1693 muc 246
7.19/7.26	c iter 268 time 7.03193 not-muc 247695 unknown 1692 muc 247
7.19/7.26	c iter 269 time 7.04893 not-muc 247695 unknown 1691 muc 248
7.19/7.26	c iter 270 time 7.06393 not-muc 247695 unknown 1690 muc 249
7.19/7.26	c iter 271 time 7.08092 not-muc 247695 unknown 1689 muc 250
7.19/7.26	c iter 272 time 7.09392 not-muc 247695 unknown 1688 muc 251
7.19/7.26	c iter 273 time 7.10992 not-muc 247695 unknown 1687 muc 252
7.19/7.26	c iter 274 time 7.12492 not-muc 247695 unknown 1686 muc 253
7.19/7.26	c iter 275 time 7.14191 not-muc 247695 unknown 1685 muc 254
7.19/7.26	c iter 276 time 7.14991 not-muc 247764 unknown 1616 muc 254
7.19/7.26	c iter 277 time 7.16291 not-muc 247764 unknown 1615 muc 255
8.19/8.29	c iter 278 time 7.18591 not-muc 247764 unknown 1614 muc 256
8.19/8.29	c iter 279 time 7.1989 not-muc 247764 unknown 1613 muc 257
8.19/8.29	c iter 280 time 7.2149 not-muc 247764 unknown 1612 muc 258
8.19/8.29	c iter 281 time 7.2289 not-muc 247764 unknown 1611 muc 259
8.19/8.29	c iter 282 time 7.2449 not-muc 247764 unknown 1610 muc 260
8.19/8.29	c iter 283 time 7.2589 not-muc 247764 unknown 1609 muc 261
8.19/8.29	c iter 284 time 7.2679 not-muc 247767 unknown 1606 muc 261
8.19/8.29	c iter 285 time 7.27489 not-muc 247788 unknown 1585 muc 261
8.19/8.29	c iter 286 time 7.28789 not-muc 247788 unknown 1584 muc 262
8.19/8.29	c iter 287 time 7.30189 not-muc 247788 unknown 1583 muc 263
8.19/8.29	c iter 288 time 7.32289 not-muc 247788 unknown 1582 muc 264
8.19/8.29	c iter 289 time 7.33188 not-muc 247789 unknown 1581 muc 264
8.19/8.29	c iter 290 time 7.34488 not-muc 247789 unknown 1580 muc 265
8.19/8.29	c iter 291 time 7.36088 not-muc 247789 unknown 1579 muc 266
8.19/8.29	c iter 292 time 7.37688 not-muc 247789 unknown 1578 muc 267
8.19/8.29	c iter 293 time 7.39188 not-muc 247789 unknown 1577 muc 268
8.19/8.29	c iter 294 time 7.40787 not-muc 247789 unknown 1576 muc 269
8.19/8.29	c iter 295 time 7.42387 not-muc 247789 unknown 1575 muc 270
8.19/8.29	c iter 296 time 7.43887 not-muc 247789 unknown 1574 muc 271
8.19/8.29	c iter 297 time 7.45487 not-muc 247789 unknown 1573 muc 272
8.19/8.29	c iter 298 time 7.47086 not-muc 247789 unknown 1572 muc 273
8.19/8.29	c iter 299 time 7.48586 not-muc 247789 unknown 1571 muc 274
8.19/8.29	c iter 300 time 7.50186 not-muc 247789 unknown 1570 muc 275
8.19/8.29	c iter 301 time 7.51786 not-muc 247789 unknown 1569 muc 276
8.19/8.29	c iter 302 time 7.53385 not-muc 247789 unknown 1568 muc 277
8.19/8.29	c iter 303 time 7.54985 not-muc 247789 unknown 1567 muc 278
8.19/8.29	c iter 304 time 7.56585 not-muc 247789 unknown 1566 muc 279
8.19/8.29	c iter 305 time 7.58185 not-muc 247789 unknown 1565 muc 280
8.19/8.29	c iter 306 time 7.59784 not-muc 247789 unknown 1564 muc 281
8.19/8.29	c iter 307 time 7.61384 not-muc 247789 unknown 1563 muc 282
8.19/8.29	c iter 308 time 7.62984 not-muc 247789 unknown 1562 muc 283
8.19/8.29	c iter 309 time 7.64584 not-muc 247789 unknown 1561 muc 284
8.19/8.29	c iter 310 time 7.66183 not-muc 247789 unknown 1560 muc 285
8.19/8.29	c iter 311 time 7.67083 not-muc 247803 unknown 1546 muc 285
8.19/8.29	c iter 312 time 7.68383 not-muc 247803 unknown 1545 muc 286
8.19/8.29	c iter 313 time 7.69983 not-muc 247803 unknown 1544 muc 287
8.19/8.29	c iter 314 time 7.70983 not-muc 247807 unknown 1540 muc 287
8.19/8.29	c iter 315 time 7.72283 not-muc 247807 unknown 1539 muc 288
8.19/8.29	c iter 316 time 7.73782 not-muc 247807 unknown 1538 muc 289
8.19/8.29	c iter 317 time 7.75382 not-muc 247807 unknown 1537 muc 290
8.19/8.29	c iter 318 time 7.77082 not-muc 247807 unknown 1536 muc 291
8.19/8.29	c iter 319 time 7.78682 not-muc 247807 unknown 1535 muc 292
8.19/8.29	c iter 320 time 7.80281 not-muc 247807 unknown 1534 muc 293
8.19/8.29	c iter 321 time 7.81881 not-muc 247807 unknown 1533 muc 294
8.19/8.29	c iter 322 time 7.82881 not-muc 247808 unknown 1532 muc 294
8.19/8.29	c iter 323 time 7.84181 not-muc 247808 unknown 1531 muc 295
8.19/8.29	c iter 324 time 7.85881 not-muc 247808 unknown 1530 muc 296
8.19/8.29	c iter 325 time 7.8748 not-muc 247808 unknown 1529 muc 297
8.19/8.29	c iter 326 time 7.8908 not-muc 247808 unknown 1528 muc 298
8.19/8.29	c iter 327 time 7.9068 not-muc 247808 unknown 1527 muc 299
8.19/8.29	c iter 328 time 7.9238 not-muc 247808 unknown 1526 muc 300
8.19/8.29	c iter 329 time 7.93979 not-muc 247808 unknown 1525 muc 301
8.19/8.29	c iter 330 time 7.95679 not-muc 247808 unknown 1524 muc 302
8.19/8.29	c iter 331 time 7.97279 not-muc 247808 unknown 1523 muc 303
8.19/8.29	c iter 332 time 7.98879 not-muc 247808 unknown 1522 muc 304
8.19/8.29	c iter 333 time 8.00478 not-muc 247808 unknown 1521 muc 305
8.19/8.29	c iter 334 time 8.02078 not-muc 247808 unknown 1520 muc 306
8.19/8.29	c iter 335 time 8.03678 not-muc 247808 unknown 1519 muc 307
8.19/8.29	c iter 336 time 8.05377 not-muc 247808 unknown 1518 muc 308
8.19/8.29	c iter 337 time 8.06977 not-muc 247808 unknown 1517 muc 309
8.19/8.29	c iter 338 time 8.08577 not-muc 247808 unknown 1516 muc 310
8.19/8.29	c iter 339 time 8.10177 not-muc 247808 unknown 1515 muc 311
8.19/8.29	c iter 340 time 8.11876 not-muc 247808 unknown 1514 muc 312
8.19/8.29	c iter 341 time 8.13476 not-muc 247808 unknown 1513 muc 313
8.19/8.29	c iter 342 time 8.15176 not-muc 247808 unknown 1512 muc 314
8.19/8.29	c iter 343 time 8.16676 not-muc 247808 unknown 1511 muc 315
8.19/8.29	c iter 344 time 8.18176 not-muc 247808 unknown 1510 muc 316
8.19/8.29	c iter 345 time 8.19675 not-muc 247808 unknown 1509 muc 317
9.19/9.27	c iter 346 time 8.21175 not-muc 247808 unknown 1508 muc 318
9.19/9.27	c iter 347 time 8.22675 not-muc 247808 unknown 1507 muc 319
9.19/9.27	c iter 348 time 8.24175 not-muc 247808 unknown 1506 muc 320
9.19/9.27	c iter 349 time 8.25674 not-muc 247808 unknown 1505 muc 321
9.19/9.27	c iter 350 time 8.27174 not-muc 247808 unknown 1504 muc 322
9.19/9.27	c iter 351 time 8.28674 not-muc 247808 unknown 1503 muc 323
9.19/9.27	c iter 352 time 8.30174 not-muc 247808 unknown 1502 muc 324
9.19/9.27	c iter 353 time 8.31673 not-muc 247808 unknown 1501 muc 325
9.19/9.27	c iter 354 time 8.33073 not-muc 247808 unknown 1500 muc 326
9.19/9.27	c iter 355 time 8.34573 not-muc 247808 unknown 1499 muc 327
9.19/9.27	c iter 356 time 8.36073 not-muc 247808 unknown 1498 muc 328
9.19/9.27	c iter 357 time 8.37573 not-muc 247808 unknown 1497 muc 329
9.19/9.27	c iter 358 time 8.39072 not-muc 247808 unknown 1496 muc 330
9.19/9.27	c iter 359 time 8.40572 not-muc 247808 unknown 1495 muc 331
9.19/9.27	c iter 360 time 8.42072 not-muc 247808 unknown 1494 muc 332
9.19/9.27	c iter 361 time 8.43572 not-muc 247808 unknown 1493 muc 333
9.19/9.27	c iter 362 time 8.45072 not-muc 247808 unknown 1492 muc 334
9.19/9.27	c iter 363 time 8.46571 not-muc 247808 unknown 1491 muc 335
9.19/9.27	c iter 364 time 8.48071 not-muc 247808 unknown 1490 muc 336
9.19/9.27	c iter 365 time 8.49571 not-muc 247808 unknown 1489 muc 337
9.19/9.27	c iter 366 time 8.50971 not-muc 247808 unknown 1488 muc 338
9.19/9.27	c iter 367 time 8.5257 not-muc 247808 unknown 1487 muc 339
9.19/9.27	c iter 368 time 8.5407 not-muc 247808 unknown 1486 muc 340
9.19/9.27	c iter 369 time 8.5557 not-muc 247808 unknown 1485 muc 341
9.19/9.27	c iter 370 time 8.5697 not-muc 247808 unknown 1484 muc 342
9.19/9.27	c iter 371 time 8.58569 not-muc 247808 unknown 1483 muc 343
9.19/9.27	c iter 372 time 8.60069 not-muc 247808 unknown 1482 muc 344
9.19/9.27	c iter 373 time 8.61469 not-muc 247808 unknown 1481 muc 345
9.19/9.27	c iter 374 time 8.62969 not-muc 247808 unknown 1480 muc 346
9.19/9.27	c iter 375 time 8.64468 not-muc 247808 unknown 1479 muc 347
9.19/9.27	c iter 376 time 8.66068 not-muc 247808 unknown 1478 muc 348
9.19/9.27	c iter 377 time 8.67468 not-muc 247808 unknown 1477 muc 349
9.19/9.27	c iter 378 time 8.69068 not-muc 247808 unknown 1476 muc 350
9.19/9.27	c iter 379 time 8.70568 not-muc 247808 unknown 1475 muc 351
9.19/9.27	c iter 380 time 8.72067 not-muc 247808 unknown 1474 muc 352
9.19/9.27	c iter 381 time 8.73367 not-muc 247808 unknown 1473 muc 353
9.19/9.27	c iter 382 time 8.74867 not-muc 247808 unknown 1472 muc 354
9.19/9.27	c iter 383 time 8.76167 not-muc 247808 unknown 1471 muc 355
9.19/9.27	c iter 384 time 8.77666 not-muc 247808 unknown 1470 muc 356
9.19/9.27	c iter 385 time 8.78966 not-muc 247808 unknown 1469 muc 357
9.19/9.27	c iter 386 time 8.80466 not-muc 247808 unknown 1468 muc 358
9.19/9.27	c iter 387 time 8.81666 not-muc 247808 unknown 1467 muc 359
9.19/9.27	c iter 388 time 8.83166 not-muc 247808 unknown 1466 muc 360
9.19/9.27	c iter 389 time 8.84366 not-muc 247808 unknown 1465 muc 361
9.19/9.27	c iter 390 time 8.85965 not-muc 247808 unknown 1464 muc 362
9.19/9.27	c iter 391 time 8.87165 not-muc 247808 unknown 1463 muc 363
9.19/9.27	c iter 392 time 8.88665 not-muc 247808 unknown 1462 muc 364
9.19/9.27	c iter 393 time 8.89965 not-muc 247808 unknown 1461 muc 365
9.19/9.27	c iter 394 time 8.91464 not-muc 247808 unknown 1460 muc 366
9.19/9.27	c iter 395 time 8.92764 not-muc 247808 unknown 1459 muc 367
9.19/9.27	c iter 396 time 8.94264 not-muc 247808 unknown 1458 muc 368
9.19/9.27	c iter 397 time 8.95464 not-muc 247808 unknown 1457 muc 369
9.19/9.27	c iter 398 time 8.96964 not-muc 247808 unknown 1456 muc 370
9.19/9.27	c iter 399 time 8.98263 not-muc 247808 unknown 1455 muc 371
9.19/9.27	c iter 400 time 8.99763 not-muc 247808 unknown 1454 muc 372
9.19/9.27	c iter 401 time 9.01063 not-muc 247808 unknown 1453 muc 373
9.19/9.27	c iter 402 time 9.02563 not-muc 247808 unknown 1452 muc 374
9.19/9.27	c iter 403 time 9.03763 not-muc 247808 unknown 1451 muc 375
9.19/9.27	c iter 404 time 9.05262 not-muc 247808 unknown 1450 muc 376
9.19/9.27	c iter 405 time 9.06562 not-muc 247808 unknown 1449 muc 377
9.19/9.27	c iter 406 time 9.08062 not-muc 247808 unknown 1448 muc 378
9.19/9.27	c iter 407 time 9.09362 not-muc 247808 unknown 1447 muc 379
9.19/9.27	c iter 408 time 9.10262 not-muc 247810 unknown 1445 muc 379
9.19/9.27	c iter 409 time 9.11561 not-muc 247810 unknown 1444 muc 380
9.19/9.27	c iter 410 time 9.13061 not-muc 247810 unknown 1443 muc 381
9.19/9.27	c iter 411 time 9.14261 not-muc 247810 unknown 1442 muc 382
9.19/9.27	c iter 412 time 9.15761 not-muc 247810 unknown 1441 muc 383
9.19/9.27	c iter 413 time 9.16361 not-muc 247811 unknown 1440 muc 383
9.19/9.27	c iter 414 time 9.17561 not-muc 247811 unknown 1439 muc 384
10.19/10.27	c iter 415 time 9.1966 not-muc 247811 unknown 1438 muc 385
10.19/10.27	c iter 416 time 9.2116 not-muc 247811 unknown 1437 muc 386
10.19/10.27	c iter 417 time 9.2266 not-muc 247811 unknown 1436 muc 387
10.19/10.27	c iter 418 time 9.24259 not-muc 247811 unknown 1435 muc 388
10.19/10.27	c iter 419 time 9.25159 not-muc 247817 unknown 1429 muc 388
10.19/10.27	c iter 420 time 9.26359 not-muc 247817 unknown 1428 muc 389
10.19/10.27	c iter 421 time 9.27959 not-muc 247817 unknown 1427 muc 390
10.19/10.27	c iter 422 time 9.29459 not-muc 247817 unknown 1426 muc 391
10.19/10.27	c iter 423 time 9.30958 not-muc 247817 unknown 1425 muc 392
10.19/10.27	c iter 424 time 9.32558 not-muc 247817 unknown 1424 muc 393
10.19/10.27	c iter 425 time 9.33358 not-muc 247823 unknown 1418 muc 393
10.19/10.27	c iter 426 time 9.33958 not-muc 247829 unknown 1412 muc 393
10.19/10.27	c iter 427 time 9.35258 not-muc 247829 unknown 1411 muc 394
10.19/10.27	c iter 428 time 9.36758 not-muc 247829 unknown 1410 muc 395
10.19/10.27	c iter 429 time 9.38257 not-muc 247829 unknown 1409 muc 396
10.19/10.27	c iter 430 time 9.39757 not-muc 247829 unknown 1408 muc 397
10.19/10.27	c iter 431 time 9.41357 not-muc 247829 unknown 1407 muc 398
10.19/10.27	c iter 432 time 9.42857 not-muc 247829 unknown 1406 muc 399
10.19/10.27	c iter 433 time 9.44456 not-muc 247829 unknown 1405 muc 400
10.19/10.27	c iter 434 time 9.45956 not-muc 247829 unknown 1404 muc 401
10.19/10.27	c iter 435 time 9.47456 not-muc 247829 unknown 1403 muc 402
10.19/10.27	c iter 436 time 9.49056 not-muc 247829 unknown 1402 muc 403
10.19/10.27	c iter 437 time 9.50555 not-muc 247829 unknown 1401 muc 404
10.19/10.27	c iter 438 time 9.52055 not-muc 247829 unknown 1400 muc 405
10.19/10.27	c iter 439 time 9.53655 not-muc 247829 unknown 1399 muc 406
10.19/10.27	c iter 440 time 9.55155 not-muc 247829 unknown 1398 muc 407
10.19/10.27	c iter 441 time 9.56754 not-muc 247829 unknown 1397 muc 408
10.19/10.27	c iter 442 time 9.58254 not-muc 247829 unknown 1396 muc 409
10.19/10.27	c iter 443 time 9.59754 not-muc 247829 unknown 1395 muc 410
10.19/10.27	c iter 444 time 9.61254 not-muc 247829 unknown 1394 muc 411
10.19/10.27	c iter 445 time 9.62654 not-muc 247829 unknown 1393 muc 412
10.19/10.27	c iter 446 time 9.64153 not-muc 247829 unknown 1392 muc 413
10.19/10.27	c iter 447 time 9.65053 not-muc 247878 unknown 1343 muc 413
10.19/10.27	c iter 448 time 9.66253 not-muc 247878 unknown 1342 muc 414
10.19/10.27	c iter 449 time 9.67753 not-muc 247878 unknown 1341 muc 415
10.19/10.27	c iter 450 time 9.69253 not-muc 247878 unknown 1340 muc 416
10.19/10.27	c iter 451 time 9.70752 not-muc 247878 unknown 1339 muc 417
10.19/10.27	c iter 452 time 9.72252 not-muc 247878 unknown 1338 muc 418
10.19/10.27	c iter 453 time 9.73752 not-muc 247878 unknown 1337 muc 419
10.19/10.27	c iter 454 time 9.75352 not-muc 247878 unknown 1336 muc 420
10.19/10.27	c iter 455 time 9.76851 not-muc 247878 unknown 1335 muc 421
10.19/10.27	c iter 456 time 9.78351 not-muc 247878 unknown 1334 muc 422
10.19/10.27	c iter 457 time 9.79851 not-muc 247878 unknown 1333 muc 423
10.19/10.27	c iter 458 time 9.81351 not-muc 247878 unknown 1332 muc 424
10.19/10.27	c iter 459 time 9.8285 not-muc 247878 unknown 1331 muc 425
10.19/10.27	c iter 460 time 9.8435 not-muc 247878 unknown 1330 muc 426
10.19/10.27	c iter 461 time 9.8585 not-muc 247878 unknown 1329 muc 427
10.19/10.27	c iter 462 time 9.8735 not-muc 247878 unknown 1328 muc 428
10.19/10.27	c iter 463 time 9.8885 not-muc 247878 unknown 1327 muc 429
10.19/10.27	c iter 464 time 9.90349 not-muc 247878 unknown 1326 muc 430
10.19/10.27	c iter 465 time 9.91849 not-muc 247878 unknown 1325 muc 431
10.19/10.27	c iter 466 time 9.93349 not-muc 247878 unknown 1324 muc 432
10.19/10.27	c iter 467 time 9.94849 not-muc 247878 unknown 1323 muc 433
10.19/10.27	c iter 468 time 9.96349 not-muc 247878 unknown 1322 muc 434
10.19/10.27	c iter 469 time 9.97848 not-muc 247878 unknown 1321 muc 435
10.19/10.27	c iter 470 time 9.99348 not-muc 247878 unknown 1320 muc 436
10.19/10.27	c iter 471 time 10.0075 not-muc 247878 unknown 1319 muc 437
10.19/10.27	c iter 472 time 10.0225 not-muc 247878 unknown 1318 muc 438
10.19/10.27	c iter 473 time 10.0385 not-muc 247878 unknown 1317 muc 439
10.19/10.27	c iter 474 time 10.0535 not-muc 247878 unknown 1316 muc 440
10.19/10.27	c iter 475 time 10.0685 not-muc 247878 unknown 1315 muc 441
10.19/10.27	c iter 476 time 10.0825 not-muc 247878 unknown 1314 muc 442
10.19/10.27	c iter 477 time 10.0975 not-muc 247878 unknown 1313 muc 443
10.19/10.27	c iter 478 time 10.1125 not-muc 247878 unknown 1312 muc 444
10.19/10.27	c iter 479 time 10.1275 not-muc 247878 unknown 1311 muc 445
10.19/10.27	c iter 480 time 10.1425 not-muc 247878 unknown 1310 muc 446
10.19/10.27	c iter 481 time 10.1575 not-muc 247878 unknown 1309 muc 447
10.19/10.27	c iter 482 time 10.1725 not-muc 247878 unknown 1308 muc 448
11.29/11.32	c iter 483 time 10.1875 not-muc 247878 unknown 1307 muc 449
11.29/11.32	c iter 484 time 10.2034 not-muc 247878 unknown 1306 muc 450
11.29/11.32	c iter 485 time 10.2184 not-muc 247878 unknown 1305 muc 451
11.29/11.32	c iter 486 time 10.2334 not-muc 247878 unknown 1304 muc 452
11.29/11.32	c iter 487 time 10.2484 not-muc 247878 unknown 1303 muc 453
11.29/11.32	c iter 488 time 10.2634 not-muc 247878 unknown 1302 muc 454
11.29/11.32	c iter 489 time 10.2794 not-muc 247878 unknown 1301 muc 455
11.29/11.32	c iter 490 time 10.2944 not-muc 247878 unknown 1300 muc 456
11.29/11.32	c iter 491 time 10.3094 not-muc 247878 unknown 1299 muc 457
11.29/11.32	c iter 492 time 10.3244 not-muc 247878 unknown 1298 muc 458
11.29/11.32	c iter 493 time 10.3404 not-muc 247878 unknown 1297 muc 459
11.29/11.32	c iter 494 time 10.3554 not-muc 247878 unknown 1296 muc 460
11.29/11.32	c iter 495 time 10.3704 not-muc 247878 unknown 1295 muc 461
11.29/11.32	c iter 496 time 10.3854 not-muc 247878 unknown 1294 muc 462
11.29/11.32	c iter 497 time 10.4014 not-muc 247878 unknown 1293 muc 463
11.29/11.32	c iter 498 time 10.4164 not-muc 247878 unknown 1292 muc 464
11.29/11.32	c iter 499 time 10.4324 not-muc 247878 unknown 1291 muc 465
11.29/11.32	c iter 500 time 10.4484 not-muc 247878 unknown 1290 muc 466
11.29/11.32	c iter 501 time 10.4634 not-muc 247878 unknown 1289 muc 467
11.29/11.32	c iter 502 time 10.4784 not-muc 247878 unknown 1288 muc 468
11.29/11.32	c iter 503 time 10.4864 not-muc 247880 unknown 1286 muc 468
11.29/11.32	c iter 504 time 10.4934 not-muc 247900 unknown 1266 muc 468
11.29/11.32	c iter 505 time 10.5064 not-muc 247900 unknown 1265 muc 469
11.29/11.32	c iter 506 time 10.5284 not-muc 247900 unknown 1264 muc 470
11.29/11.32	c iter 507 time 10.5444 not-muc 247900 unknown 1263 muc 471
11.29/11.32	c iter 508 time 10.5604 not-muc 247900 unknown 1262 muc 472
11.29/11.32	c iter 509 time 10.5764 not-muc 247900 unknown 1261 muc 473
11.29/11.32	c iter 510 time 10.5914 not-muc 247900 unknown 1260 muc 474
11.29/11.32	c iter 511 time 10.6074 not-muc 247900 unknown 1259 muc 475
11.29/11.32	c iter 512 time 10.6234 not-muc 247900 unknown 1258 muc 476
11.29/11.32	c iter 513 time 10.6394 not-muc 247900 unknown 1257 muc 477
11.29/11.32	c iter 514 time 10.6554 not-muc 247900 unknown 1256 muc 478
11.29/11.32	c iter 515 time 10.6714 not-muc 247900 unknown 1255 muc 479
11.29/11.32	c iter 516 time 10.6864 not-muc 247900 unknown 1254 muc 480
11.29/11.32	c iter 517 time 10.7024 not-muc 247900 unknown 1253 muc 481
11.29/11.32	c iter 518 time 10.7184 not-muc 247900 unknown 1252 muc 482
11.29/11.32	c iter 519 time 10.7334 not-muc 247900 unknown 1251 muc 483
11.29/11.32	c iter 520 time 10.7504 not-muc 247900 unknown 1250 muc 484
11.29/11.32	c iter 521 time 10.7664 not-muc 247900 unknown 1249 muc 485
11.29/11.32	c iter 522 time 10.7814 not-muc 247900 unknown 1248 muc 486
11.29/11.32	c iter 523 time 10.7974 not-muc 247900 unknown 1247 muc 487
11.29/11.32	c iter 524 time 10.8134 not-muc 247900 unknown 1246 muc 488
11.29/11.32	c iter 525 time 10.8294 not-muc 247900 unknown 1245 muc 489
11.29/11.32	c iter 526 time 10.8444 not-muc 247900 unknown 1244 muc 490
11.29/11.32	c iter 527 time 10.8603 not-muc 247900 unknown 1243 muc 491
11.29/11.32	c iter 528 time 10.8763 not-muc 247900 unknown 1242 muc 492
11.29/11.32	c iter 529 time 10.8923 not-muc 247900 unknown 1241 muc 493
11.29/11.32	c iter 530 time 10.9083 not-muc 247900 unknown 1240 muc 494
11.29/11.32	c iter 531 time 10.9243 not-muc 247900 unknown 1239 muc 495
11.29/11.32	c iter 532 time 10.9403 not-muc 247900 unknown 1238 muc 496
11.29/11.32	c iter 533 time 10.9563 not-muc 247900 unknown 1237 muc 497
11.29/11.32	c iter 534 time 10.9723 not-muc 247900 unknown 1236 muc 498
11.29/11.32	c iter 535 time 10.9883 not-muc 247900 unknown 1235 muc 499
11.29/11.32	c iter 536 time 11.0043 not-muc 247900 unknown 1234 muc 500
11.29/11.32	c iter 537 time 11.0193 not-muc 247900 unknown 1233 muc 501
11.29/11.32	c iter 538 time 11.0353 not-muc 247900 unknown 1232 muc 502
11.29/11.32	c iter 539 time 11.0513 not-muc 247900 unknown 1231 muc 503
11.29/11.32	c iter 540 time 11.0673 not-muc 247900 unknown 1230 muc 504
11.29/11.32	c iter 541 time 11.0833 not-muc 247900 unknown 1229 muc 505
11.29/11.32	c iter 542 time 11.0993 not-muc 247900 unknown 1228 muc 506
11.29/11.32	c iter 543 time 11.1153 not-muc 247900 unknown 1227 muc 507
11.29/11.32	c iter 544 time 11.1313 not-muc 247900 unknown 1226 muc 508
11.29/11.32	c iter 545 time 11.1473 not-muc 247900 unknown 1225 muc 509
11.29/11.32	c iter 546 time 11.1633 not-muc 247900 unknown 1224 muc 510
11.29/11.32	c iter 547 time 11.1793 not-muc 247900 unknown 1223 muc 511
11.29/11.32	c iter 548 time 11.1953 not-muc 247900 unknown 1222 muc 512
11.29/11.32	c iter 549 time 11.2113 not-muc 247900 unknown 1221 muc 513
11.29/11.32	c iter 550 time 11.2273 not-muc 247900 unknown 1220 muc 514
12.28/12.35	c iter 551 time 11.2433 not-muc 247900 unknown 1219 muc 515
12.28/12.35	c iter 552 time 11.2573 not-muc 247900 unknown 1218 muc 516
12.28/12.35	c iter 553 time 11.2733 not-muc 247900 unknown 1217 muc 517
12.28/12.35	c iter 554 time 11.2863 not-muc 247900 unknown 1216 muc 518
12.28/12.35	c iter 555 time 11.3023 not-muc 247900 unknown 1215 muc 519
12.28/12.35	c iter 556 time 11.3163 not-muc 247900 unknown 1214 muc 520
12.28/12.35	c iter 557 time 11.3323 not-muc 247900 unknown 1213 muc 521
12.28/12.35	c iter 558 time 11.3453 not-muc 247900 unknown 1212 muc 522
12.28/12.35	c iter 559 time 11.3613 not-muc 247900 unknown 1211 muc 523
12.28/12.35	c iter 560 time 11.3743 not-muc 247900 unknown 1210 muc 524
12.28/12.35	c iter 561 time 11.3903 not-muc 247900 unknown 1209 muc 525
12.28/12.35	c iter 562 time 11.4043 not-muc 247900 unknown 1208 muc 526
12.28/12.35	c iter 563 time 11.4203 not-muc 247900 unknown 1207 muc 527
12.28/12.35	c iter 564 time 11.4343 not-muc 247900 unknown 1206 muc 528
12.28/12.35	c iter 565 time 11.4503 not-muc 247900 unknown 1205 muc 529
12.28/12.35	c iter 566 time 11.4643 not-muc 247900 unknown 1204 muc 530
12.28/12.35	c iter 567 time 11.4803 not-muc 247900 unknown 1203 muc 531
12.28/12.35	c iter 568 time 11.4943 not-muc 247900 unknown 1202 muc 532
12.28/12.35	c iter 569 time 11.5102 not-muc 247900 unknown 1201 muc 533
12.28/12.35	c iter 570 time 11.5182 not-muc 247914 unknown 1187 muc 533
12.28/12.35	c iter 571 time 11.5322 not-muc 247919 unknown 1182 muc 533
12.28/12.35	c iter 572 time 11.5462 not-muc 247919 unknown 1181 muc 534
12.28/12.35	c iter 573 time 11.5622 not-muc 247919 unknown 1180 muc 535
12.28/12.35	c iter 574 time 11.5782 not-muc 247919 unknown 1179 muc 536
12.28/12.35	c iter 575 time 11.5942 not-muc 247919 unknown 1178 muc 537
12.28/12.35	c iter 576 time 11.6102 not-muc 247919 unknown 1177 muc 538
12.28/12.35	c iter 577 time 11.6262 not-muc 247919 unknown 1176 muc 539
12.28/12.35	c iter 578 time 11.6352 not-muc 247921 unknown 1174 muc 539
12.28/12.35	c iter 579 time 11.6422 not-muc 247930 unknown 1165 muc 539
12.28/12.35	c iter 580 time 11.6562 not-muc 247930 unknown 1164 muc 540
12.28/12.35	c iter 581 time 11.6712 not-muc 247930 unknown 1163 muc 541
12.28/12.35	c iter 582 time 11.6872 not-muc 247930 unknown 1162 muc 542
12.28/12.35	c iter 583 time 11.7032 not-muc 247930 unknown 1161 muc 543
12.28/12.35	c iter 584 time 11.7182 not-muc 247930 unknown 1160 muc 544
12.28/12.35	c iter 585 time 11.7342 not-muc 247930 unknown 1159 muc 545
12.28/12.35	c iter 586 time 11.7502 not-muc 247930 unknown 1158 muc 546
12.28/12.35	c iter 587 time 11.7662 not-muc 247930 unknown 1157 muc 547
12.28/12.35	c iter 588 time 11.7822 not-muc 247930 unknown 1156 muc 548
12.28/12.35	c iter 589 time 11.7982 not-muc 247930 unknown 1155 muc 549
12.28/12.35	c iter 590 time 11.8132 not-muc 247930 unknown 1154 muc 550
12.28/12.35	c iter 591 time 11.8292 not-muc 247930 unknown 1153 muc 551
12.28/12.35	c iter 592 time 11.8462 not-muc 247930 unknown 1152 muc 552
12.28/12.35	c iter 593 time 11.8612 not-muc 247930 unknown 1151 muc 553
12.28/12.35	c iter 594 time 11.8772 not-muc 247930 unknown 1150 muc 554
12.28/12.35	c iter 595 time 11.8932 not-muc 247930 unknown 1149 muc 555
12.28/12.35	c iter 596 time 11.9092 not-muc 247930 unknown 1148 muc 556
12.28/12.35	c iter 597 time 11.9252 not-muc 247930 unknown 1147 muc 557
12.28/12.35	c iter 598 time 11.9412 not-muc 247930 unknown 1146 muc 558
12.28/12.35	c iter 599 time 11.9572 not-muc 247930 unknown 1145 muc 559
12.28/12.35	c iter 600 time 11.9732 not-muc 247930 unknown 1144 muc 560
12.28/12.35	c iter 601 time 11.9892 not-muc 247930 unknown 1143 muc 561
12.28/12.35	c iter 602 time 12.0052 not-muc 247930 unknown 1142 muc 562
12.28/12.35	c iter 603 time 12.0212 not-muc 247930 unknown 1141 muc 563
12.28/12.35	c iter 604 time 12.0312 not-muc 247934 unknown 1137 muc 563
12.28/12.35	c iter 605 time 12.0442 not-muc 247934 unknown 1136 muc 564
12.28/12.35	c iter 606 time 12.0602 not-muc 247934 unknown 1135 muc 565
12.28/12.35	c iter 607 time 12.0752 not-muc 247934 unknown 1134 muc 566
12.28/12.35	c iter 608 time 12.0912 not-muc 247934 unknown 1133 muc 567
12.28/12.35	c iter 609 time 12.1072 not-muc 247934 unknown 1132 muc 568
12.28/12.35	c iter 610 time 12.1232 not-muc 247934 unknown 1131 muc 569
12.28/12.35	c iter 611 time 12.1392 not-muc 247934 unknown 1130 muc 570
12.28/12.35	c iter 612 time 12.1552 not-muc 247934 unknown 1129 muc 571
12.28/12.35	c iter 613 time 12.1711 not-muc 247934 unknown 1128 muc 572
12.28/12.35	c iter 614 time 12.1871 not-muc 247934 unknown 1127 muc 573
12.28/12.35	c iter 615 time 12.2031 not-muc 247934 unknown 1126 muc 574
12.28/12.35	c iter 616 time 12.2191 not-muc 247934 unknown 1125 muc 575
12.28/12.35	c iter 617 time 12.2351 not-muc 247934 unknown 1124 muc 576
12.28/12.35	c iter 618 time 12.2501 not-muc 247934 unknown 1123 muc 577
13.38/13.44	c iter 619 time 12.2661 not-muc 247934 unknown 1122 muc 578
13.38/13.44	c iter 620 time 12.2811 not-muc 247934 unknown 1121 muc 579
13.38/13.44	c iter 621 time 12.2971 not-muc 247934 unknown 1120 muc 580
13.38/13.44	c iter 622 time 12.3131 not-muc 247934 unknown 1119 muc 581
13.38/13.44	c iter 623 time 12.3291 not-muc 247934 unknown 1118 muc 582
13.38/13.44	c iter 624 time 12.3451 not-muc 247934 unknown 1117 muc 583
13.38/13.44	c iter 625 time 12.3601 not-muc 247934 unknown 1116 muc 584
13.38/13.44	c iter 626 time 12.3761 not-muc 247934 unknown 1115 muc 585
13.38/13.44	c iter 627 time 12.3921 not-muc 247934 unknown 1114 muc 586
13.38/13.44	c iter 628 time 12.4091 not-muc 247934 unknown 1113 muc 587
13.38/13.44	c iter 629 time 12.4251 not-muc 247934 unknown 1112 muc 588
13.38/13.44	c iter 630 time 12.4411 not-muc 247934 unknown 1111 muc 589
13.38/13.44	c iter 631 time 12.4571 not-muc 247934 unknown 1110 muc 590
13.38/13.44	c iter 632 time 12.4681 not-muc 247939 unknown 1105 muc 590
13.38/13.44	c iter 633 time 12.4811 not-muc 247939 unknown 1104 muc 591
13.38/13.44	c iter 634 time 12.5031 not-muc 247939 unknown 1103 muc 592
13.38/13.44	c iter 635 time 12.5191 not-muc 247939 unknown 1102 muc 593
13.38/13.44	c iter 636 time 12.5351 not-muc 247939 unknown 1101 muc 594
13.38/13.44	c iter 637 time 12.5511 not-muc 247939 unknown 1100 muc 595
13.38/13.44	c iter 638 time 12.5671 not-muc 247939 unknown 1099 muc 596
13.38/13.44	c iter 639 time 12.5831 not-muc 247939 unknown 1098 muc 597
13.38/13.44	c iter 640 time 12.5981 not-muc 247939 unknown 1097 muc 598
13.38/13.44	c iter 641 time 12.6151 not-muc 247939 unknown 1096 muc 599
13.38/13.44	c iter 642 time 12.6311 not-muc 247939 unknown 1095 muc 600
13.38/13.44	c iter 643 time 12.6471 not-muc 247939 unknown 1094 muc 601
13.38/13.44	c iter 644 time 12.6621 not-muc 247939 unknown 1093 muc 602
13.38/13.44	c iter 645 time 12.6771 not-muc 247939 unknown 1092 muc 603
13.38/13.44	c iter 646 time 12.6931 not-muc 247939 unknown 1091 muc 604
13.38/13.44	c iter 647 time 12.7101 not-muc 247939 unknown 1090 muc 605
13.38/13.44	c iter 648 time 12.7261 not-muc 247939 unknown 1089 muc 606
13.38/13.44	c iter 649 time 12.7421 not-muc 247939 unknown 1088 muc 607
13.38/13.44	c iter 650 time 12.7591 not-muc 247939 unknown 1087 muc 608
13.38/13.44	c iter 651 time 12.7741 not-muc 247939 unknown 1086 muc 609
13.38/13.44	c iter 652 time 12.7901 not-muc 247939 unknown 1085 muc 610
13.38/13.44	c iter 653 time 12.8071 not-muc 247939 unknown 1084 muc 611
13.38/13.44	c iter 654 time 12.8231 not-muc 247939 unknown 1083 muc 612
13.38/13.44	c iter 655 time 12.839 not-muc 247939 unknown 1082 muc 613
13.38/13.44	c iter 656 time 12.856 not-muc 247939 unknown 1081 muc 614
13.38/13.44	c iter 657 time 12.872 not-muc 247939 unknown 1080 muc 615
13.38/13.44	c iter 658 time 12.889 not-muc 247939 unknown 1079 muc 616
13.38/13.44	c iter 659 time 12.905 not-muc 247939 unknown 1078 muc 617
13.38/13.44	c iter 660 time 12.922 not-muc 247939 unknown 1077 muc 618
13.38/13.44	c iter 661 time 12.938 not-muc 247939 unknown 1076 muc 619
13.38/13.44	c iter 662 time 12.955 not-muc 247939 unknown 1075 muc 620
13.38/13.44	c iter 663 time 12.972 not-muc 247939 unknown 1074 muc 621
13.38/13.44	c iter 664 time 12.988 not-muc 247939 unknown 1073 muc 622
13.38/13.44	c iter 665 time 13.005 not-muc 247939 unknown 1072 muc 623
13.38/13.44	c iter 666 time 13.022 not-muc 247939 unknown 1071 muc 624
13.38/13.44	c iter 667 time 13.038 not-muc 247939 unknown 1070 muc 625
13.38/13.44	c iter 668 time 13.055 not-muc 247939 unknown 1069 muc 626
13.38/13.44	c iter 669 time 13.065 not-muc 247940 unknown 1068 muc 626
13.38/13.44	c iter 670 time 13.078 not-muc 247940 unknown 1067 muc 627
13.38/13.44	c iter 671 time 13.093 not-muc 247940 unknown 1066 muc 628
13.38/13.44	c iter 672 time 13.109 not-muc 247940 unknown 1065 muc 629
13.38/13.44	c iter 673 time 13.125 not-muc 247940 unknown 1064 muc 630
13.38/13.44	c iter 674 time 13.141 not-muc 247940 unknown 1063 muc 631
13.38/13.44	c iter 675 time 13.157 not-muc 247940 unknown 1062 muc 632
13.38/13.44	c iter 676 time 13.173 not-muc 247940 unknown 1061 muc 633
13.38/13.44	c iter 677 time 13.189 not-muc 247940 unknown 1060 muc 634
13.38/13.44	c iter 678 time 13.205 not-muc 247940 unknown 1059 muc 635
13.38/13.44	c iter 679 time 13.221 not-muc 247940 unknown 1058 muc 636
13.38/13.44	c iter 680 time 13.237 not-muc 247940 unknown 1057 muc 637
13.38/13.44	c iter 681 time 13.254 not-muc 247940 unknown 1056 muc 638
13.38/13.44	c iter 682 time 13.27 not-muc 247940 unknown 1055 muc 639
13.38/13.44	c iter 683 time 13.286 not-muc 247940 unknown 1054 muc 640
13.38/13.44	c iter 684 time 13.303 not-muc 247940 unknown 1053 muc 641
13.38/13.44	c iter 685 time 13.312 not-muc 247941 unknown 1052 muc 641
13.38/13.44	c iter 686 time 13.326 not-muc 247941 unknown 1051 muc 642
13.38/13.44	c iter 687 time 13.34 not-muc 247941 unknown 1050 muc 643
14.38/14.43	c iter 688 time 13.356 not-muc 247941 unknown 1049 muc 644
14.38/14.43	c iter 689 time 13.372 not-muc 247941 unknown 1048 muc 645
14.38/14.43	c iter 690 time 13.387 not-muc 247941 unknown 1047 muc 646
14.38/14.43	c iter 691 time 13.396 not-muc 247957 unknown 1031 muc 646
14.38/14.43	c iter 692 time 13.408 not-muc 247957 unknown 1030 muc 647
14.38/14.43	c iter 693 time 13.429 not-muc 247957 unknown 1029 muc 648
14.38/14.43	c iter 694 time 13.443 not-muc 247957 unknown 1028 muc 649
14.38/14.43	c iter 695 time 13.458 not-muc 247957 unknown 1027 muc 650
14.38/14.43	c iter 696 time 13.473 not-muc 247957 unknown 1026 muc 651
14.38/14.43	c iter 697 time 13.4879 not-muc 247957 unknown 1025 muc 652
14.38/14.43	c iter 698 time 13.5039 not-muc 247957 unknown 1024 muc 653
14.38/14.43	c iter 699 time 13.5189 not-muc 247957 unknown 1023 muc 654
14.38/14.43	c iter 700 time 13.5339 not-muc 247957 unknown 1022 muc 655
14.38/14.43	c iter 701 time 13.5489 not-muc 247957 unknown 1021 muc 656
14.38/14.43	c iter 702 time 13.5639 not-muc 247957 unknown 1020 muc 657
14.38/14.43	c iter 703 time 13.5789 not-muc 247957 unknown 1019 muc 658
14.38/14.43	c iter 704 time 13.5949 not-muc 247957 unknown 1018 muc 659
14.38/14.43	c iter 705 time 13.6099 not-muc 247957 unknown 1017 muc 660
14.38/14.43	c iter 706 time 13.6259 not-muc 247957 unknown 1016 muc 661
14.38/14.43	c iter 707 time 13.6409 not-muc 247957 unknown 1015 muc 662
14.38/14.43	c iter 708 time 13.6569 not-muc 247957 unknown 1014 muc 663
14.38/14.43	c iter 709 time 13.6719 not-muc 247957 unknown 1013 muc 664
14.38/14.43	c iter 710 time 13.6869 not-muc 247957 unknown 1012 muc 665
14.38/14.43	c iter 711 time 13.7019 not-muc 247957 unknown 1011 muc 666
14.38/14.43	c iter 712 time 13.7169 not-muc 247957 unknown 1010 muc 667
14.38/14.43	c iter 713 time 13.7259 not-muc 247961 unknown 1006 muc 667
14.38/14.43	c iter 714 time 13.7389 not-muc 247961 unknown 1005 muc 668
14.38/14.43	c iter 715 time 13.7539 not-muc 247961 unknown 1004 muc 669
14.38/14.43	c iter 716 time 13.7619 not-muc 247964 unknown 1001 muc 669
14.38/14.43	c iter 717 time 13.7679 not-muc 247968 unknown 997 muc 669
14.38/14.43	c iter 718 time 13.7739 not-muc 247970 unknown 995 muc 669
14.38/14.43	c iter 719 time 13.7859 not-muc 247970 unknown 994 muc 670
14.38/14.43	c iter 720 time 13.8059 not-muc 247970 unknown 993 muc 671
14.38/14.43	c iter 721 time 13.8139 not-muc 247972 unknown 991 muc 671
14.38/14.43	c iter 722 time 13.8269 not-muc 247972 unknown 990 muc 672
14.38/14.43	c iter 723 time 13.8409 not-muc 247972 unknown 989 muc 673
14.38/14.43	c iter 724 time 13.8559 not-muc 247972 unknown 988 muc 674
14.38/14.43	c iter 725 time 13.8699 not-muc 247972 unknown 987 muc 675
14.38/14.43	c iter 726 time 13.8849 not-muc 247972 unknown 986 muc 676
14.38/14.43	c iter 727 time 13.8999 not-muc 247972 unknown 985 muc 677
14.38/14.43	c iter 728 time 13.9149 not-muc 247972 unknown 984 muc 678
14.38/14.43	c iter 729 time 13.9289 not-muc 247972 unknown 983 muc 679
14.38/14.43	c iter 730 time 13.9439 not-muc 247972 unknown 982 muc 680
14.38/14.43	c iter 731 time 13.9589 not-muc 247972 unknown 981 muc 681
14.38/14.43	c iter 732 time 13.9729 not-muc 247972 unknown 980 muc 682
14.38/14.43	c iter 733 time 13.9879 not-muc 247972 unknown 979 muc 683
14.38/14.43	c iter 734 time 14.0019 not-muc 247972 unknown 978 muc 684
14.38/14.43	c iter 735 time 14.0169 not-muc 247972 unknown 977 muc 685
14.38/14.43	c iter 736 time 14.0319 not-muc 247972 unknown 976 muc 686
14.38/14.43	c iter 737 time 14.0459 not-muc 247972 unknown 975 muc 687
14.38/14.43	c iter 738 time 14.0609 not-muc 247972 unknown 974 muc 688
14.38/14.43	c iter 739 time 14.0759 not-muc 247972 unknown 973 muc 689
14.38/14.43	c iter 740 time 14.0909 not-muc 247972 unknown 972 muc 690
14.38/14.43	c iter 741 time 14.1049 not-muc 247972 unknown 971 muc 691
14.38/14.43	c iter 742 time 14.1199 not-muc 247972 unknown 970 muc 692
14.38/14.43	c iter 743 time 14.1349 not-muc 247972 unknown 969 muc 693
14.38/14.43	c iter 744 time 14.1498 not-muc 247972 unknown 968 muc 694
14.38/14.43	c iter 745 time 14.1648 not-muc 247972 unknown 967 muc 695
14.38/14.43	c iter 746 time 14.1798 not-muc 247972 unknown 966 muc 696
14.38/14.43	c iter 747 time 14.1958 not-muc 247972 unknown 965 muc 697
14.38/14.43	c iter 748 time 14.2108 not-muc 247972 unknown 964 muc 698
14.38/14.43	c iter 749 time 14.2258 not-muc 247972 unknown 963 muc 699
14.38/14.43	c iter 750 time 14.2408 not-muc 247972 unknown 962 muc 700
14.38/14.43	c iter 751 time 14.2558 not-muc 247972 unknown 961 muc 701
14.38/14.43	c iter 752 time 14.2718 not-muc 247972 unknown 960 muc 702
14.38/14.43	c iter 753 time 14.2868 not-muc 247972 unknown 959 muc 703
14.38/14.43	c iter 754 time 14.3018 not-muc 247972 unknown 958 muc 704
14.38/14.43	c iter 755 time 14.3168 not-muc 247972 unknown 957 muc 705
14.38/14.43	c iter 756 time 14.3318 not-muc 247972 unknown 956 muc 706
15.39/15.48	c iter 757 time 14.3468 not-muc 247972 unknown 955 muc 707
15.39/15.48	c iter 758 time 14.3618 not-muc 247972 unknown 954 muc 708
15.39/15.48	c iter 759 time 14.3768 not-muc 247972 unknown 953 muc 709
15.39/15.48	c iter 760 time 14.3928 not-muc 247972 unknown 952 muc 710
15.39/15.48	c iter 761 time 14.4078 not-muc 247972 unknown 951 muc 711
15.39/15.48	c iter 762 time 14.4228 not-muc 247972 unknown 950 muc 712
15.39/15.48	c iter 763 time 14.4378 not-muc 247972 unknown 949 muc 713
15.39/15.48	c iter 764 time 14.4528 not-muc 247972 unknown 948 muc 714
15.39/15.48	c iter 765 time 14.4688 not-muc 247972 unknown 947 muc 715
15.39/15.48	c iter 766 time 14.4838 not-muc 247972 unknown 946 muc 716
15.39/15.48	c iter 767 time 14.4988 not-muc 247972 unknown 945 muc 717
15.39/15.48	c iter 768 time 14.5138 not-muc 247972 unknown 944 muc 718
15.39/15.48	c iter 769 time 14.5288 not-muc 247972 unknown 943 muc 719
15.39/15.48	c iter 770 time 14.5448 not-muc 247972 unknown 942 muc 720
15.39/15.48	c iter 771 time 14.5598 not-muc 247972 unknown 941 muc 721
15.39/15.48	c iter 772 time 14.5748 not-muc 247972 unknown 940 muc 722
15.39/15.48	c iter 773 time 14.5898 not-muc 247972 unknown 939 muc 723
15.39/15.48	c iter 774 time 14.6048 not-muc 247972 unknown 938 muc 724
15.39/15.48	c iter 775 time 14.6198 not-muc 247972 unknown 937 muc 725
15.39/15.48	c iter 776 time 14.6348 not-muc 247972 unknown 936 muc 726
15.39/15.48	c iter 777 time 14.6498 not-muc 247972 unknown 935 muc 727
15.39/15.48	c iter 778 time 14.6648 not-muc 247972 unknown 934 muc 728
15.39/15.48	c iter 779 time 14.6808 not-muc 247972 unknown 933 muc 729
15.39/15.48	c iter 780 time 14.6958 not-muc 247972 unknown 932 muc 730
15.39/15.48	c iter 781 time 14.7098 not-muc 247972 unknown 931 muc 731
15.39/15.48	c iter 782 time 14.7258 not-muc 247972 unknown 930 muc 732
15.39/15.48	c iter 783 time 14.7398 not-muc 247972 unknown 929 muc 733
15.39/15.48	c iter 784 time 14.7548 not-muc 247972 unknown 928 muc 734
15.39/15.48	c iter 785 time 14.7698 not-muc 247972 unknown 927 muc 735
15.39/15.48	c iter 786 time 14.7848 not-muc 247972 unknown 926 muc 736
15.39/15.48	c iter 787 time 14.7997 not-muc 247972 unknown 925 muc 737
15.39/15.48	c iter 788 time 14.8147 not-muc 247972 unknown 924 muc 738
15.39/15.48	c iter 789 time 14.8297 not-muc 247972 unknown 923 muc 739
15.39/15.48	c iter 790 time 14.8447 not-muc 247972 unknown 922 muc 740
15.39/15.48	c iter 791 time 14.8587 not-muc 247972 unknown 921 muc 741
15.39/15.48	c iter 792 time 14.8737 not-muc 247972 unknown 920 muc 742
15.39/15.48	c iter 793 time 14.8897 not-muc 247972 unknown 919 muc 743
15.39/15.48	c iter 794 time 14.9047 not-muc 247972 unknown 918 muc 744
15.39/15.48	c iter 795 time 14.9197 not-muc 247972 unknown 917 muc 745
15.39/15.48	c iter 796 time 14.9347 not-muc 247972 unknown 916 muc 746
15.39/15.48	c iter 797 time 14.9497 not-muc 247972 unknown 915 muc 747
15.39/15.48	c iter 798 time 14.9647 not-muc 247972 unknown 914 muc 748
15.39/15.48	c iter 799 time 14.9807 not-muc 247972 unknown 913 muc 749
15.39/15.48	c iter 800 time 14.9957 not-muc 247972 unknown 912 muc 750
15.39/15.48	c iter 801 time 15.0107 not-muc 247972 unknown 911 muc 751
15.39/15.48	c iter 802 time 15.0257 not-muc 247972 unknown 910 muc 752
15.39/15.48	c iter 803 time 15.0407 not-muc 247972 unknown 909 muc 753
15.39/15.48	c iter 804 time 15.0557 not-muc 247972 unknown 908 muc 754
15.39/15.48	c iter 805 time 15.0707 not-muc 247972 unknown 907 muc 755
15.39/15.48	c iter 806 time 15.0857 not-muc 247972 unknown 906 muc 756
15.39/15.48	c iter 807 time 15.1007 not-muc 247972 unknown 905 muc 757
15.39/15.48	c iter 808 time 15.1157 not-muc 247972 unknown 904 muc 758
15.39/15.48	c iter 809 time 15.1307 not-muc 247972 unknown 903 muc 759
15.39/15.48	c iter 810 time 15.1467 not-muc 247972 unknown 902 muc 760
15.39/15.48	c iter 811 time 15.1617 not-muc 247972 unknown 901 muc 761
15.39/15.48	c iter 812 time 15.1767 not-muc 247972 unknown 900 muc 762
15.39/15.48	c iter 813 time 15.1917 not-muc 247972 unknown 899 muc 763
15.39/15.48	c iter 814 time 15.2067 not-muc 247972 unknown 898 muc 764
15.39/15.48	c iter 815 time 15.2217 not-muc 247972 unknown 897 muc 765
15.39/15.48	c iter 816 time 15.2367 not-muc 247972 unknown 896 muc 766
15.39/15.48	c iter 817 time 15.2517 not-muc 247972 unknown 895 muc 767
15.39/15.48	c iter 818 time 15.2677 not-muc 247972 unknown 894 muc 768
15.39/15.48	c iter 819 time 15.2827 not-muc 247972 unknown 893 muc 769
15.39/15.48	c iter 820 time 15.2977 not-muc 247972 unknown 892 muc 770
15.39/15.48	c iter 821 time 15.3127 not-muc 247972 unknown 891 muc 771
15.39/15.48	c iter 822 time 15.3277 not-muc 247972 unknown 890 muc 772
15.39/15.48	c iter 823 time 15.3357 not-muc 247976 unknown 886 muc 772
15.39/15.48	c iter 824 time 15.3407 not-muc 247985 unknown 877 muc 772
15.39/15.48	c iter 825 time 15.3537 not-muc 247985 unknown 876 muc 773
15.39/15.48	c iter 826 time 15.3747 not-muc 247985 unknown 875 muc 774
16.49/16.51	c iter 827 time 15.3897 not-muc 247985 unknown 874 muc 775
16.49/16.51	c iter 828 time 15.4047 not-muc 247985 unknown 873 muc 776
16.49/16.51	c iter 829 time 15.4197 not-muc 247985 unknown 872 muc 777
16.49/16.51	c iter 830 time 15.4347 not-muc 247985 unknown 871 muc 778
16.49/16.51	c iter 831 time 15.4497 not-muc 247985 unknown 870 muc 779
16.49/16.51	c iter 832 time 15.4646 not-muc 247985 unknown 869 muc 780
16.49/16.51	c iter 833 time 15.4796 not-muc 247985 unknown 868 muc 781
16.49/16.51	c iter 834 time 15.4946 not-muc 247985 unknown 867 muc 782
16.49/16.51	c iter 835 time 15.5096 not-muc 247985 unknown 866 muc 783
16.49/16.51	c iter 836 time 15.5246 not-muc 247985 unknown 865 muc 784
16.49/16.51	c iter 837 time 15.5396 not-muc 247985 unknown 864 muc 785
16.49/16.51	c iter 838 time 15.5546 not-muc 247985 unknown 863 muc 786
16.49/16.51	c iter 839 time 15.5696 not-muc 247985 unknown 862 muc 787
16.49/16.51	c iter 840 time 15.5846 not-muc 247985 unknown 861 muc 788
16.49/16.51	c iter 841 time 15.5996 not-muc 247985 unknown 860 muc 789
16.49/16.51	c iter 842 time 15.6146 not-muc 247985 unknown 859 muc 790
16.49/16.51	c iter 843 time 15.6296 not-muc 247985 unknown 858 muc 791
16.49/16.51	c iter 844 time 15.6436 not-muc 247985 unknown 857 muc 792
16.49/16.51	c iter 845 time 15.6586 not-muc 247985 unknown 856 muc 793
16.49/16.51	c iter 846 time 15.6736 not-muc 247985 unknown 855 muc 794
16.49/16.51	c iter 847 time 15.6886 not-muc 247985 unknown 854 muc 795
16.49/16.51	c iter 848 time 15.7036 not-muc 247985 unknown 853 muc 796
16.49/16.51	c iter 849 time 15.7186 not-muc 247985 unknown 852 muc 797
16.49/16.51	c iter 850 time 15.7326 not-muc 247985 unknown 851 muc 798
16.49/16.51	c iter 851 time 15.7476 not-muc 247985 unknown 850 muc 799
16.49/16.51	c iter 852 time 15.7626 not-muc 247985 unknown 849 muc 800
16.49/16.51	c iter 853 time 15.7776 not-muc 247985 unknown 848 muc 801
16.49/16.51	c iter 854 time 15.7926 not-muc 247985 unknown 847 muc 802
16.49/16.51	c iter 855 time 15.8076 not-muc 247985 unknown 846 muc 803
16.49/16.51	c iter 856 time 15.8216 not-muc 247985 unknown 845 muc 804
16.49/16.51	c iter 857 time 15.8366 not-muc 247985 unknown 844 muc 805
16.49/16.51	c iter 858 time 15.8516 not-muc 247985 unknown 843 muc 806
16.49/16.51	c iter 859 time 15.8666 not-muc 247985 unknown 842 muc 807
16.49/16.51	c iter 860 time 15.8816 not-muc 247985 unknown 841 muc 808
16.49/16.51	c iter 861 time 15.8966 not-muc 247985 unknown 840 muc 809
16.49/16.51	c iter 862 time 15.9116 not-muc 247985 unknown 839 muc 810
16.49/16.51	c iter 863 time 15.9266 not-muc 247985 unknown 838 muc 811
16.49/16.51	c iter 864 time 15.9416 not-muc 247985 unknown 837 muc 812
16.49/16.51	c iter 865 time 15.9566 not-muc 247985 unknown 836 muc 813
16.49/16.51	c iter 866 time 15.9716 not-muc 247985 unknown 835 muc 814
16.49/16.51	c iter 867 time 15.9866 not-muc 247985 unknown 834 muc 815
16.49/16.51	c iter 868 time 16.0016 not-muc 247985 unknown 833 muc 816
16.49/16.51	c iter 869 time 16.0166 not-muc 247985 unknown 832 muc 817
16.49/16.51	c iter 870 time 16.0316 not-muc 247985 unknown 831 muc 818
16.49/16.51	c iter 871 time 16.0466 not-muc 247985 unknown 830 muc 819
16.49/16.51	c iter 872 time 16.0616 not-muc 247985 unknown 829 muc 820
16.49/16.51	c iter 873 time 16.0766 not-muc 247985 unknown 828 muc 821
16.49/16.51	c iter 874 time 16.0916 not-muc 247985 unknown 827 muc 822
16.49/16.51	c iter 875 time 16.1066 not-muc 247985 unknown 826 muc 823
16.49/16.51	c iter 876 time 16.1215 not-muc 247985 unknown 825 muc 824
16.49/16.51	c iter 877 time 16.1365 not-muc 247985 unknown 824 muc 825
16.49/16.51	c iter 878 time 16.1515 not-muc 247985 unknown 823 muc 826
16.49/16.51	c iter 879 time 16.1665 not-muc 247985 unknown 822 muc 827
16.49/16.51	c iter 880 time 16.1815 not-muc 247985 unknown 821 muc 828
16.49/16.51	c iter 881 time 16.1965 not-muc 247985 unknown 820 muc 829
16.49/16.51	c iter 882 time 16.2115 not-muc 247985 unknown 819 muc 830
16.49/16.51	c iter 883 time 16.2265 not-muc 247985 unknown 818 muc 831
16.49/16.51	c iter 884 time 16.2415 not-muc 247985 unknown 817 muc 832
16.49/16.51	c iter 885 time 16.2565 not-muc 247985 unknown 816 muc 833
16.49/16.51	c iter 886 time 16.2715 not-muc 247985 unknown 815 muc 834
16.49/16.51	c iter 887 time 16.2865 not-muc 247985 unknown 814 muc 835
16.49/16.51	c iter 888 time 16.3015 not-muc 247985 unknown 813 muc 836
16.49/16.51	c iter 889 time 16.3165 not-muc 247985 unknown 812 muc 837
16.49/16.51	c iter 890 time 16.3315 not-muc 247985 unknown 811 muc 838
16.49/16.51	c iter 891 time 16.3465 not-muc 247985 unknown 810 muc 839
16.49/16.51	c iter 892 time 16.3615 not-muc 247985 unknown 809 muc 840
16.49/16.51	c iter 893 time 16.3775 not-muc 247985 unknown 808 muc 841
16.49/16.51	c iter 894 time 16.3925 not-muc 247985 unknown 807 muc 842
16.49/16.51	c iter 895 time 16.4075 not-muc 247985 unknown 806 muc 843
17.48/17.54	c iter 896 time 16.4225 not-muc 247985 unknown 805 muc 844
17.48/17.54	c iter 897 time 16.4375 not-muc 247985 unknown 804 muc 845
17.48/17.54	c iter 898 time 16.4525 not-muc 247985 unknown 803 muc 846
17.48/17.54	c iter 899 time 16.4675 not-muc 247985 unknown 802 muc 847
17.48/17.54	c iter 900 time 16.4825 not-muc 247985 unknown 801 muc 848
17.48/17.54	c iter 901 time 16.4965 not-muc 247985 unknown 800 muc 849
17.48/17.54	c iter 902 time 16.5105 not-muc 247985 unknown 799 muc 850
17.48/17.54	c iter 903 time 16.5255 not-muc 247985 unknown 798 muc 851
17.48/17.54	c iter 904 time 16.5405 not-muc 247985 unknown 797 muc 852
17.48/17.54	c iter 905 time 16.5555 not-muc 247985 unknown 796 muc 853
17.48/17.54	c iter 906 time 16.5705 not-muc 247985 unknown 795 muc 854
17.48/17.54	c iter 907 time 16.5845 not-muc 247985 unknown 794 muc 855
17.48/17.54	c iter 908 time 16.5995 not-muc 247985 unknown 793 muc 856
17.48/17.54	c iter 909 time 16.6145 not-muc 247985 unknown 792 muc 857
17.48/17.54	c iter 910 time 16.6295 not-muc 247985 unknown 791 muc 858
17.48/17.54	c iter 911 time 16.6445 not-muc 247985 unknown 790 muc 859
17.48/17.54	c iter 912 time 16.6595 not-muc 247985 unknown 789 muc 860
17.48/17.54	c iter 913 time 16.6745 not-muc 247985 unknown 788 muc 861
17.48/17.54	c iter 914 time 16.6895 not-muc 247985 unknown 787 muc 862
17.48/17.54	c iter 915 time 16.7045 not-muc 247985 unknown 786 muc 863
17.48/17.54	c iter 916 time 16.7125 not-muc 248004 unknown 767 muc 863
17.48/17.54	c iter 917 time 16.7255 not-muc 248004 unknown 766 muc 864
17.48/17.54	c iter 918 time 16.7405 not-muc 248004 unknown 765 muc 865
17.48/17.54	c iter 919 time 16.7555 not-muc 248004 unknown 764 muc 866
17.48/17.54	c iter 920 time 16.7705 not-muc 248004 unknown 763 muc 867
17.48/17.54	c iter 921 time 16.7854 not-muc 248004 unknown 762 muc 868
17.48/17.54	c iter 922 time 16.8004 not-muc 248004 unknown 761 muc 869
17.48/17.54	c iter 923 time 16.8154 not-muc 248004 unknown 760 muc 870
17.48/17.54	c iter 924 time 16.8304 not-muc 248004 unknown 759 muc 871
17.48/17.54	c iter 925 time 16.8454 not-muc 248004 unknown 758 muc 872
17.48/17.54	c iter 926 time 16.8594 not-muc 248004 unknown 757 muc 873
17.48/17.54	c iter 927 time 16.8744 not-muc 248004 unknown 756 muc 874
17.48/17.54	c iter 928 time 16.8884 not-muc 248004 unknown 755 muc 875
17.48/17.54	c iter 929 time 16.9034 not-muc 248004 unknown 754 muc 876
17.48/17.54	c iter 930 time 16.9184 not-muc 248004 unknown 753 muc 877
17.48/17.54	c iter 931 time 16.9334 not-muc 248004 unknown 752 muc 878
17.48/17.54	c iter 932 time 16.9484 not-muc 248004 unknown 751 muc 879
17.48/17.54	c iter 933 time 16.9634 not-muc 248004 unknown 750 muc 880
17.48/17.54	c iter 934 time 16.9784 not-muc 248004 unknown 749 muc 881
17.48/17.54	c iter 935 time 16.9924 not-muc 248004 unknown 748 muc 882
17.48/17.54	c iter 936 time 17.0074 not-muc 248004 unknown 747 muc 883
17.48/17.54	c iter 937 time 17.0224 not-muc 248004 unknown 746 muc 884
17.48/17.54	c iter 938 time 17.0374 not-muc 248004 unknown 745 muc 885
17.48/17.54	c iter 939 time 17.0514 not-muc 248004 unknown 744 muc 886
17.48/17.54	c iter 940 time 17.0664 not-muc 248004 unknown 743 muc 887
17.48/17.54	c iter 941 time 17.0814 not-muc 248004 unknown 742 muc 888
17.48/17.54	c iter 942 time 17.0964 not-muc 248004 unknown 741 muc 889
17.48/17.54	c iter 943 time 17.1104 not-muc 248004 unknown 740 muc 890
17.48/17.54	c iter 944 time 17.1254 not-muc 248004 unknown 739 muc 891
17.48/17.54	c iter 945 time 17.1404 not-muc 248004 unknown 738 muc 892
17.48/17.54	c iter 946 time 17.1554 not-muc 248004 unknown 737 muc 893
17.48/17.54	c iter 947 time 17.1694 not-muc 248004 unknown 736 muc 894
17.48/17.54	c iter 948 time 17.1844 not-muc 248004 unknown 735 muc 895
17.48/17.54	c iter 949 time 17.1994 not-muc 248004 unknown 734 muc 896
17.48/17.54	c iter 950 time 17.2134 not-muc 248004 unknown 733 muc 897
17.48/17.54	c iter 951 time 17.2284 not-muc 248004 unknown 732 muc 898
17.48/17.54	c iter 952 time 17.2434 not-muc 248004 unknown 731 muc 899
17.48/17.54	c iter 953 time 17.2584 not-muc 248004 unknown 730 muc 900
17.48/17.54	c iter 954 time 17.2734 not-muc 248004 unknown 729 muc 901
17.48/17.54	c iter 955 time 17.2884 not-muc 248004 unknown 728 muc 902
17.48/17.54	c iter 956 time 17.3034 not-muc 248004 unknown 727 muc 903
17.48/17.54	c iter 957 time 17.3184 not-muc 248004 unknown 726 muc 904
17.48/17.54	c iter 958 time 17.3334 not-muc 248004 unknown 725 muc 905
17.48/17.54	c iter 959 time 17.3484 not-muc 248004 unknown 724 muc 906
17.48/17.54	c iter 960 time 17.3634 not-muc 248004 unknown 723 muc 907
17.48/17.54	c iter 961 time 17.3784 not-muc 248004 unknown 722 muc 908
17.48/17.54	c iter 962 time 17.3924 not-muc 248004 unknown 721 muc 909
17.48/17.54	c iter 963 time 17.4074 not-muc 248004 unknown 720 muc 910
17.48/17.54	c iter 964 time 17.4224 not-muc 248004 unknown 719 muc 911
17.48/17.54	c iter 965 time 17.4373 not-muc 248004 unknown 718 muc 912
18.48/18.56	c iter 966 time 17.4523 not-muc 248004 unknown 717 muc 913
18.48/18.56	c iter 967 time 17.4673 not-muc 248004 unknown 716 muc 914
18.48/18.56	c iter 968 time 17.4823 not-muc 248004 unknown 715 muc 915
18.48/18.56	c iter 969 time 17.4973 not-muc 248004 unknown 714 muc 916
18.48/18.56	c iter 970 time 17.5123 not-muc 248004 unknown 713 muc 917
18.48/18.56	c iter 971 time 17.5273 not-muc 248004 unknown 712 muc 918
18.48/18.56	c iter 972 time 17.5423 not-muc 248004 unknown 711 muc 919
18.48/18.56	c iter 973 time 17.5513 not-muc 248007 unknown 708 muc 919
18.48/18.56	c iter 974 time 17.5633 not-muc 248007 unknown 707 muc 920
18.48/18.56	c iter 975 time 17.5773 not-muc 248016 unknown 698 muc 920
18.48/18.56	c iter 976 time 17.5893 not-muc 248016 unknown 697 muc 921
18.48/18.56	c iter 977 time 17.5973 not-muc 248025 unknown 688 muc 921
18.48/18.56	c iter 978 time 17.6103 not-muc 248025 unknown 687 muc 922
18.48/18.56	c iter 979 time 17.6253 not-muc 248025 unknown 686 muc 923
18.48/18.56	c iter 980 time 17.6393 not-muc 248025 unknown 685 muc 924
18.48/18.56	c iter 981 time 17.6543 not-muc 248025 unknown 684 muc 925
18.48/18.56	c iter 982 time 17.6693 not-muc 248025 unknown 683 muc 926
18.48/18.56	c iter 983 time 17.6843 not-muc 248025 unknown 682 muc 927
18.48/18.56	c iter 984 time 17.6993 not-muc 248025 unknown 681 muc 928
18.48/18.56	c iter 985 time 17.7143 not-muc 248025 unknown 680 muc 929
18.48/18.56	c iter 986 time 17.7293 not-muc 248025 unknown 679 muc 930
18.48/18.56	c iter 987 time 17.7443 not-muc 248025 unknown 678 muc 931
18.48/18.56	c iter 988 time 17.7603 not-muc 248025 unknown 677 muc 932
18.48/18.56	c iter 989 time 17.7753 not-muc 248025 unknown 676 muc 933
18.48/18.56	c iter 990 time 17.7903 not-muc 248025 unknown 675 muc 934
18.48/18.56	c iter 991 time 17.8053 not-muc 248025 unknown 674 muc 935
18.48/18.56	c iter 992 time 17.8203 not-muc 248025 unknown 673 muc 936
18.48/18.56	c iter 993 time 17.8353 not-muc 248025 unknown 672 muc 937
18.48/18.56	c iter 994 time 17.8503 not-muc 248025 unknown 671 muc 938
18.48/18.56	c iter 995 time 17.8653 not-muc 248025 unknown 670 muc 939
18.48/18.56	c iter 996 time 17.8813 not-muc 248025 unknown 669 muc 940
18.48/18.56	c iter 997 time 17.8963 not-muc 248025 unknown 668 muc 941
18.48/18.56	c iter 998 time 17.9113 not-muc 248025 unknown 667 muc 942
18.48/18.56	c iter 999 time 17.9263 not-muc 248025 unknown 666 muc 943
18.48/18.56	c iter 1000 time 17.9413 not-muc 248025 unknown 665 muc 944
18.48/18.56	c iter 1001 time 17.9563 not-muc 248025 unknown 664 muc 945
18.48/18.56	c iter 1002 time 17.9713 not-muc 248025 unknown 663 muc 946
18.48/18.56	c iter 1003 time 17.9863 not-muc 248025 unknown 662 muc 947
18.48/18.56	c iter 1004 time 18.0013 not-muc 248025 unknown 661 muc 948
18.48/18.56	c iter 1005 time 18.0163 not-muc 248025 unknown 660 muc 949
18.48/18.56	c iter 1006 time 18.0313 not-muc 248025 unknown 659 muc 950
18.48/18.56	c iter 1007 time 18.0463 not-muc 248025 unknown 658 muc 951
18.48/18.56	c iter 1008 time 18.0613 not-muc 248025 unknown 657 muc 952
18.48/18.56	c iter 1009 time 18.0763 not-muc 248025 unknown 656 muc 953
18.48/18.56	c iter 1010 time 18.0912 not-muc 248025 unknown 655 muc 954
18.48/18.56	c iter 1011 time 18.1062 not-muc 248025 unknown 654 muc 955
18.48/18.56	c iter 1012 time 18.1202 not-muc 248025 unknown 653 muc 956
18.48/18.56	c iter 1013 time 18.1282 not-muc 248098 unknown 580 muc 956
18.48/18.56	c iter 1014 time 18.1412 not-muc 248098 unknown 579 muc 957
18.48/18.56	c iter 1015 time 18.1572 not-muc 248098 unknown 578 muc 958
18.48/18.56	c iter 1016 time 18.1722 not-muc 248098 unknown 577 muc 959
18.48/18.56	c iter 1017 time 18.1882 not-muc 248098 unknown 576 muc 960
18.48/18.56	c iter 1018 time 18.2042 not-muc 248098 unknown 575 muc 961
18.48/18.56	c iter 1019 time 18.2202 not-muc 248098 unknown 574 muc 962
18.48/18.56	c iter 1020 time 18.2352 not-muc 248098 unknown 573 muc 963
18.48/18.56	c iter 1021 time 18.2512 not-muc 248098 unknown 572 muc 964
18.48/18.56	c iter 1022 time 18.2662 not-muc 248098 unknown 571 muc 965
18.48/18.56	c iter 1023 time 18.2822 not-muc 248098 unknown 570 muc 966
18.48/18.56	c iter 1024 time 18.2982 not-muc 248098 unknown 569 muc 967
18.48/18.56	c iter 1025 time 18.3132 not-muc 248098 unknown 568 muc 968
18.48/18.56	c iter 1026 time 18.3292 not-muc 248098 unknown 567 muc 969
18.48/18.56	c iter 1027 time 18.3442 not-muc 248098 unknown 566 muc 970
18.48/18.56	c iter 1028 time 18.3602 not-muc 248098 unknown 565 muc 971
18.48/18.56	c iter 1029 time 18.3762 not-muc 248098 unknown 564 muc 972
18.48/18.56	c iter 1030 time 18.3912 not-muc 248098 unknown 563 muc 973
18.48/18.56	c iter 1031 time 18.4072 not-muc 248098 unknown 562 muc 974
18.48/18.56	c iter 1032 time 18.4232 not-muc 248098 unknown 561 muc 975
18.48/18.56	c iter 1033 time 18.4382 not-muc 248098 unknown 560 muc 976
19.49/19.51	c iter 1034 time 18.4542 not-muc 248098 unknown 559 muc 977
19.49/19.51	c iter 1035 time 18.4692 not-muc 248098 unknown 558 muc 978
19.49/19.51	c iter 1036 time 18.4852 not-muc 248098 unknown 557 muc 979
19.49/19.51	c iter 1037 time 18.5002 not-muc 248098 unknown 556 muc 980
19.49/19.51	c iter 1038 time 18.5162 not-muc 248098 unknown 555 muc 981
19.49/19.51	c iter 1039 time 18.5252 not-muc 248099 unknown 554 muc 981
19.49/19.51	c iter 1040 time 18.5372 not-muc 248099 unknown 553 muc 982
19.49/19.51	c iter 1041 time 18.5462 not-muc 248106 unknown 546 muc 982
19.49/19.51	c iter 1042 time 18.5592 not-muc 248106 unknown 545 muc 983
19.49/19.51	c iter 1043 time 18.5732 not-muc 248107 unknown 544 muc 983
19.49/19.51	c iter 1044 time 18.5862 not-muc 248107 unknown 543 muc 984
19.49/19.51	c iter 1045 time 18.5952 not-muc 248108 unknown 542 muc 984
19.49/19.51	c iter 1046 time 18.6082 not-muc 248108 unknown 541 muc 985
19.49/19.51	c iter 1047 time 18.6242 not-muc 248108 unknown 540 muc 986
19.49/19.51	c iter 1048 time 18.6392 not-muc 248108 unknown 539 muc 987
19.49/19.51	c iter 1049 time 18.6482 not-muc 248110 unknown 537 muc 987
19.49/19.51	c iter 1050 time 18.6612 not-muc 248110 unknown 536 muc 988
19.49/19.51	c iter 1051 time 18.6772 not-muc 248110 unknown 535 muc 989
19.49/19.51	c iter 1052 time 18.6942 not-muc 248110 unknown 534 muc 990
19.49/19.51	c iter 1053 time 18.7102 not-muc 248110 unknown 533 muc 991
19.49/19.51	c iter 1054 time 18.7262 not-muc 248110 unknown 532 muc 992
19.49/19.51	c iter 1055 time 18.7421 not-muc 248110 unknown 531 muc 993
19.49/19.51	c iter 1056 time 18.7571 not-muc 248110 unknown 530 muc 994
19.49/19.51	c iter 1057 time 18.7661 not-muc 248117 unknown 523 muc 994
19.49/19.51	c iter 1058 time 18.7791 not-muc 248117 unknown 522 muc 995
19.49/19.51	c iter 1059 time 18.8001 not-muc 248117 unknown 521 muc 996
19.49/19.51	c iter 1060 time 18.8151 not-muc 248117 unknown 520 muc 997
19.49/19.51	c iter 1061 time 18.8311 not-muc 248117 unknown 519 muc 998
19.49/19.51	c iter 1062 time 18.8391 not-muc 248124 unknown 512 muc 998
19.49/19.51	c iter 1063 time 18.8521 not-muc 248124 unknown 511 muc 999
19.49/19.51	c iter 1064 time 18.8681 not-muc 248124 unknown 510 muc 1000
19.49/19.51	c iter 1065 time 18.8761 not-muc 248134 unknown 500 muc 1000
19.49/19.51	c iter 1066 time 18.8891 not-muc 248134 unknown 499 muc 1001
19.49/19.51	c iter 1067 time 18.9041 not-muc 248134 unknown 498 muc 1002
19.49/19.51	c iter 1068 time 18.9201 not-muc 248134 unknown 497 muc 1003
19.49/19.51	c iter 1069 time 18.9281 not-muc 248145 unknown 486 muc 1003
19.49/19.51	c iter 1070 time 18.9411 not-muc 248145 unknown 485 muc 1004
19.49/19.51	c iter 1071 time 18.9571 not-muc 248145 unknown 484 muc 1005
19.49/19.51	c iter 1072 time 18.9721 not-muc 248145 unknown 483 muc 1006
19.49/19.51	c iter 1073 time 18.9871 not-muc 248145 unknown 482 muc 1007
19.49/19.51	c iter 1074 time 19.0031 not-muc 248145 unknown 481 muc 1008
19.49/19.51	c iter 1075 time 19.0181 not-muc 248145 unknown 480 muc 1009
19.49/19.51	c iter 1076 time 19.0331 not-muc 248145 unknown 479 muc 1010
19.49/19.51	c iter 1077 time 19.0481 not-muc 248145 unknown 478 muc 1011
19.49/19.51	c iter 1078 time 19.0641 not-muc 248145 unknown 477 muc 1012
19.49/19.51	c iter 1079 time 19.0721 not-muc 248156 unknown 466 muc 1012
19.49/19.51	c iter 1080 time 19.0851 not-muc 248156 unknown 465 muc 1013
19.49/19.51	c iter 1081 time 19.1011 not-muc 248156 unknown 464 muc 1014
19.49/19.51	c iter 1082 time 19.1161 not-muc 248156 unknown 463 muc 1015
19.49/19.51	c iter 1083 time 19.1311 not-muc 248156 unknown 462 muc 1016
19.49/19.51	c iter 1084 time 19.1461 not-muc 248156 unknown 461 muc 1017
19.49/19.51	c iter 1085 time 19.1621 not-muc 248156 unknown 460 muc 1018
19.49/19.51	c iter 1086 time 19.1771 not-muc 248156 unknown 459 muc 1019
19.49/19.51	c iter 1087 time 19.1921 not-muc 248156 unknown 458 muc 1020
19.49/19.51	c iter 1088 time 19.2071 not-muc 248156 unknown 457 muc 1021
19.49/19.51	c iter 1089 time 19.2231 not-muc 248156 unknown 456 muc 1022
19.49/19.51	c iter 1090 time 19.2381 not-muc 248156 unknown 455 muc 1023
19.49/19.51	c iter 1091 time 19.2531 not-muc 248156 unknown 454 muc 1024
19.49/19.51	c iter 1092 time 19.2691 not-muc 248156 unknown 453 muc 1025
19.49/19.51	c iter 1093 time 19.2841 not-muc 248156 unknown 452 muc 1026
19.49/19.51	c iter 1094 time 19.2991 not-muc 248156 unknown 451 muc 1027
19.49/19.51	c iter 1095 time 19.3151 not-muc 248156 unknown 450 muc 1028
19.49/19.51	c iter 1096 time 19.3301 not-muc 248156 unknown 449 muc 1029
19.49/19.51	c iter 1097 time 19.3461 not-muc 248156 unknown 448 muc 1030
19.49/19.51	c iter 1098 time 19.3611 not-muc 248156 unknown 447 muc 1031
19.49/19.51	c iter 1099 time 19.3761 not-muc 248156 unknown 446 muc 1032
19.49/19.51	c iter 1100 time 19.3921 not-muc 248156 unknown 445 muc 1033
19.49/19.51	c iter 1101 time 19.407 not-muc 248156 unknown 444 muc 1034
20.49/20.56	c iter 1102 time 19.423 not-muc 248156 unknown 443 muc 1035
20.49/20.56	c iter 1103 time 19.438 not-muc 248156 unknown 442 muc 1036
20.49/20.56	c iter 1104 time 19.454 not-muc 248156 unknown 441 muc 1037
20.49/20.56	c iter 1105 time 19.469 not-muc 248156 unknown 440 muc 1038
20.49/20.56	c iter 1106 time 19.485 not-muc 248156 unknown 439 muc 1039
20.49/20.56	c iter 1107 time 19.5 not-muc 248156 unknown 438 muc 1040
20.49/20.56	c iter 1108 time 19.516 not-muc 248156 unknown 437 muc 1041
20.49/20.56	c iter 1109 time 19.531 not-muc 248156 unknown 436 muc 1042
20.49/20.56	c iter 1110 time 19.547 not-muc 248156 unknown 435 muc 1043
20.49/20.56	c iter 1111 time 19.563 not-muc 248156 unknown 434 muc 1044
20.49/20.56	c iter 1112 time 19.578 not-muc 248156 unknown 433 muc 1045
20.49/20.56	c iter 1113 time 19.594 not-muc 248156 unknown 432 muc 1046
20.49/20.56	c iter 1114 time 19.609 not-muc 248156 unknown 431 muc 1047
20.49/20.56	c iter 1115 time 19.625 not-muc 248156 unknown 430 muc 1048
20.49/20.56	c iter 1116 time 19.64 not-muc 248156 unknown 429 muc 1049
20.49/20.56	c iter 1117 time 19.656 not-muc 248156 unknown 428 muc 1050
20.49/20.56	c iter 1118 time 19.671 not-muc 248156 unknown 427 muc 1051
20.49/20.56	c iter 1119 time 19.687 not-muc 248156 unknown 426 muc 1052
20.49/20.56	c iter 1120 time 19.702 not-muc 248156 unknown 425 muc 1053
20.49/20.56	c iter 1121 time 19.718 not-muc 248156 unknown 424 muc 1054
20.49/20.56	c iter 1122 time 19.733 not-muc 248156 unknown 423 muc 1055
20.49/20.56	c iter 1123 time 19.749 not-muc 248156 unknown 422 muc 1056
20.49/20.56	c iter 1124 time 19.765 not-muc 248156 unknown 421 muc 1057
20.49/20.56	c iter 1125 time 19.78 not-muc 248156 unknown 420 muc 1058
20.49/20.56	c iter 1126 time 19.796 not-muc 248156 unknown 419 muc 1059
20.49/20.56	c iter 1127 time 19.812 not-muc 248156 unknown 418 muc 1060
20.49/20.56	c iter 1128 time 19.827 not-muc 248156 unknown 417 muc 1061
20.49/20.56	c iter 1129 time 19.843 not-muc 248156 unknown 416 muc 1062
20.49/20.56	c iter 1130 time 19.858 not-muc 248156 unknown 415 muc 1063
20.49/20.56	c iter 1131 time 19.874 not-muc 248156 unknown 414 muc 1064
20.49/20.56	c iter 1132 time 19.889 not-muc 248156 unknown 413 muc 1065
20.49/20.56	c iter 1133 time 19.904 not-muc 248156 unknown 412 muc 1066
20.49/20.56	c iter 1134 time 19.92 not-muc 248156 unknown 411 muc 1067
20.49/20.56	c iter 1135 time 19.935 not-muc 248156 unknown 410 muc 1068
20.49/20.56	c iter 1136 time 19.951 not-muc 248156 unknown 409 muc 1069
20.49/20.56	c iter 1137 time 19.966 not-muc 248156 unknown 408 muc 1070
20.49/20.56	c iter 1138 time 19.982 not-muc 248156 unknown 407 muc 1071
20.49/20.56	c iter 1139 time 19.997 not-muc 248156 unknown 406 muc 1072
20.49/20.56	c iter 1140 time 20.013 not-muc 248156 unknown 405 muc 1073
20.49/20.56	c iter 1141 time 20.029 not-muc 248156 unknown 404 muc 1074
20.49/20.56	c iter 1142 time 20.044 not-muc 248156 unknown 403 muc 1075
20.49/20.56	c iter 1143 time 20.06 not-muc 248156 unknown 402 muc 1076
20.49/20.56	c iter 1144 time 20.0749 not-muc 248156 unknown 401 muc 1077
20.49/20.56	c iter 1145 time 20.0909 not-muc 248156 unknown 400 muc 1078
20.49/20.56	c iter 1146 time 20.1059 not-muc 248156 unknown 399 muc 1079
20.49/20.56	c iter 1147 time 20.1219 not-muc 248156 unknown 398 muc 1080
20.49/20.56	c iter 1148 time 20.1369 not-muc 248156 unknown 397 muc 1081
20.49/20.56	c iter 1149 time 20.1529 not-muc 248156 unknown 396 muc 1082
20.49/20.56	c iter 1150 time 20.1689 not-muc 248156 unknown 395 muc 1083
20.49/20.56	c iter 1151 time 20.1839 not-muc 248156 unknown 394 muc 1084
20.49/20.56	c iter 1152 time 20.1999 not-muc 248156 unknown 393 muc 1085
20.49/20.56	c iter 1153 time 20.2149 not-muc 248156 unknown 392 muc 1086
20.49/20.56	c iter 1154 time 20.2309 not-muc 248156 unknown 391 muc 1087
20.49/20.56	c iter 1155 time 20.2459 not-muc 248156 unknown 390 muc 1088
20.49/20.56	c iter 1156 time 20.2619 not-muc 248156 unknown 389 muc 1089
20.49/20.56	c iter 1157 time 20.2769 not-muc 248156 unknown 388 muc 1090
20.49/20.56	c iter 1158 time 20.2929 not-muc 248156 unknown 387 muc 1091
20.49/20.56	c iter 1159 time 20.3009 not-muc 248157 unknown 386 muc 1091
20.49/20.56	c iter 1160 time 20.3139 not-muc 248157 unknown 385 muc 1092
20.49/20.56	c iter 1161 time 20.3349 not-muc 248157 unknown 384 muc 1093
20.49/20.56	c iter 1162 time 20.3499 not-muc 248157 unknown 383 muc 1094
20.49/20.56	c iter 1163 time 20.3659 not-muc 248157 unknown 382 muc 1095
20.49/20.56	c iter 1164 time 20.3809 not-muc 248157 unknown 381 muc 1096
20.49/20.56	c iter 1165 time 20.3959 not-muc 248157 unknown 380 muc 1097
20.49/20.56	c iter 1166 time 20.4119 not-muc 248157 unknown 379 muc 1098
20.49/20.56	c iter 1167 time 20.4269 not-muc 248157 unknown 378 muc 1099
20.49/20.56	c iter 1168 time 20.4419 not-muc 248157 unknown 377 muc 1100
20.49/20.56	c iter 1169 time 20.4579 not-muc 248157 unknown 376 muc 1101
21.48/21.57	c iter 1170 time 20.4739 not-muc 248157 unknown 375 muc 1102
21.48/21.57	c iter 1171 time 20.4889 not-muc 248157 unknown 374 muc 1103
21.48/21.57	c iter 1172 time 20.5049 not-muc 248157 unknown 373 muc 1104
21.48/21.57	c iter 1173 time 20.5199 not-muc 248157 unknown 372 muc 1105
21.48/21.57	c iter 1174 time 20.5359 not-muc 248157 unknown 371 muc 1106
21.48/21.57	c iter 1175 time 20.5509 not-muc 248157 unknown 370 muc 1107
21.48/21.57	c iter 1176 time 20.5659 not-muc 248157 unknown 369 muc 1108
21.48/21.57	c iter 1177 time 20.5819 not-muc 248157 unknown 368 muc 1109
21.48/21.57	c iter 1178 time 20.5969 not-muc 248157 unknown 367 muc 1110
21.48/21.57	c iter 1179 time 20.6129 not-muc 248157 unknown 366 muc 1111
21.48/21.57	c iter 1180 time 20.6279 not-muc 248157 unknown 365 muc 1112
21.48/21.57	c iter 1181 time 20.6429 not-muc 248157 unknown 364 muc 1113
21.48/21.57	c iter 1182 time 20.6579 not-muc 248157 unknown 363 muc 1114
21.48/21.57	c iter 1183 time 20.6739 not-muc 248157 unknown 362 muc 1115
21.48/21.57	c iter 1184 time 20.6889 not-muc 248157 unknown 361 muc 1116
21.48/21.57	c iter 1185 time 20.7039 not-muc 248157 unknown 360 muc 1117
21.48/21.57	c iter 1186 time 20.7199 not-muc 248157 unknown 359 muc 1118
21.48/21.57	c iter 1187 time 20.7348 not-muc 248157 unknown 358 muc 1119
21.48/21.57	c iter 1188 time 20.7498 not-muc 248157 unknown 357 muc 1120
21.48/21.57	c iter 1189 time 20.7658 not-muc 248157 unknown 356 muc 1121
21.48/21.57	c iter 1190 time 20.7808 not-muc 248157 unknown 355 muc 1122
21.48/21.57	c iter 1191 time 20.7958 not-muc 248157 unknown 354 muc 1123
21.48/21.57	c iter 1192 time 20.8108 not-muc 248157 unknown 353 muc 1124
21.48/21.57	c iter 1193 time 20.8268 not-muc 248157 unknown 352 muc 1125
21.48/21.57	c iter 1194 time 20.8418 not-muc 248157 unknown 351 muc 1126
21.48/21.57	c iter 1195 time 20.8578 not-muc 248157 unknown 350 muc 1127
21.48/21.57	c iter 1196 time 20.8728 not-muc 248157 unknown 349 muc 1128
21.48/21.57	c iter 1197 time 20.8878 not-muc 248157 unknown 348 muc 1129
21.48/21.57	c iter 1198 time 20.9038 not-muc 248157 unknown 347 muc 1130
21.48/21.57	c iter 1199 time 20.9188 not-muc 248157 unknown 346 muc 1131
21.48/21.57	c iter 1200 time 20.9348 not-muc 248157 unknown 345 muc 1132
21.48/21.57	c iter 1201 time 20.9498 not-muc 248157 unknown 344 muc 1133
21.48/21.57	c iter 1202 time 20.9578 not-muc 248165 unknown 336 muc 1133
21.48/21.57	c iter 1203 time 20.9708 not-muc 248165 unknown 335 muc 1134
21.48/21.57	c iter 1204 time 20.9798 not-muc 248172 unknown 328 muc 1134
21.48/21.57	c iter 1205 time 20.9918 not-muc 248172 unknown 327 muc 1135
21.48/21.57	c iter 1206 time 21.0078 not-muc 248172 unknown 326 muc 1136
21.48/21.57	c iter 1207 time 21.0228 not-muc 248172 unknown 325 muc 1137
21.48/21.57	c iter 1208 time 21.0388 not-muc 248172 unknown 324 muc 1138
21.48/21.57	c iter 1209 time 21.0538 not-muc 248172 unknown 323 muc 1139
21.48/21.57	c iter 1210 time 21.0628 not-muc 248186 unknown 309 muc 1139
21.48/21.57	c iter 1211 time 21.0688 not-muc 248190 unknown 305 muc 1139
21.48/21.57	c iter 1212 time 21.0828 not-muc 248190 unknown 304 muc 1140
21.48/21.57	c iter 1213 time 21.1048 not-muc 248190 unknown 303 muc 1141
21.48/21.57	c iter 1214 time 21.1218 not-muc 248190 unknown 302 muc 1142
21.48/21.57	c iter 1215 time 21.1378 not-muc 248190 unknown 301 muc 1143
21.48/21.57	c iter 1216 time 21.1538 not-muc 248190 unknown 300 muc 1144
21.48/21.57	c iter 1217 time 21.1628 not-muc 248191 unknown 299 muc 1144
21.48/21.57	c iter 1218 time 21.1768 not-muc 248191 unknown 298 muc 1145
21.48/21.57	c iter 1219 time 21.1928 not-muc 248191 unknown 297 muc 1146
21.48/21.57	c iter 1220 time 21.2098 not-muc 248191 unknown 296 muc 1147
21.48/21.57	c iter 1221 time 21.2258 not-muc 248191 unknown 295 muc 1148
21.48/21.57	c iter 1222 time 21.2428 not-muc 248191 unknown 294 muc 1149
21.48/21.57	c iter 1223 time 21.2588 not-muc 248191 unknown 293 muc 1150
21.48/21.57	c iter 1224 time 21.2758 not-muc 248191 unknown 292 muc 1151
21.48/21.57	c iter 1225 time 21.2908 not-muc 248191 unknown 291 muc 1152
21.48/21.57	c iter 1226 time 21.3068 not-muc 248191 unknown 290 muc 1153
21.48/21.57	c iter 1227 time 21.3228 not-muc 248191 unknown 289 muc 1154
21.48/21.57	c iter 1228 time 21.3388 not-muc 248191 unknown 288 muc 1155
21.48/21.57	c iter 1229 time 21.3548 not-muc 248191 unknown 287 muc 1156
21.48/21.57	c iter 1230 time 21.3708 not-muc 248191 unknown 286 muc 1157
21.48/21.57	c iter 1231 time 21.3867 not-muc 248191 unknown 285 muc 1158
21.48/21.57	c iter 1232 time 21.4027 not-muc 248191 unknown 284 muc 1159
21.48/21.57	c iter 1233 time 21.4187 not-muc 248191 unknown 283 muc 1160
21.48/21.57	c iter 1234 time 21.4347 not-muc 248191 unknown 282 muc 1161
21.48/21.57	c iter 1235 time 21.4507 not-muc 248191 unknown 281 muc 1162
21.48/21.57	c iter 1236 time 21.4667 not-muc 248191 unknown 280 muc 1163
22.58/22.60	c iter 1237 time 21.4827 not-muc 248191 unknown 279 muc 1164
22.58/22.60	c iter 1238 time 21.4987 not-muc 248191 unknown 278 muc 1165
22.58/22.60	c iter 1239 time 21.5147 not-muc 248191 unknown 277 muc 1166
22.58/22.60	c iter 1240 time 21.5307 not-muc 248191 unknown 276 muc 1167
22.58/22.60	c iter 1241 time 21.5457 not-muc 248191 unknown 275 muc 1168
22.58/22.60	c iter 1242 time 21.5617 not-muc 248191 unknown 274 muc 1169
22.58/22.60	c iter 1243 time 21.5777 not-muc 248191 unknown 273 muc 1170
22.58/22.60	c iter 1244 time 21.5937 not-muc 248191 unknown 272 muc 1171
22.58/22.60	c iter 1245 time 21.6097 not-muc 248191 unknown 271 muc 1172
22.58/22.60	c iter 1246 time 21.6257 not-muc 248191 unknown 270 muc 1173
22.58/22.60	c iter 1247 time 21.6417 not-muc 248191 unknown 269 muc 1174
22.58/22.60	c iter 1248 time 21.6567 not-muc 248191 unknown 268 muc 1175
22.58/22.60	c iter 1249 time 21.6727 not-muc 248191 unknown 267 muc 1176
22.58/22.60	c iter 1250 time 21.6887 not-muc 248191 unknown 266 muc 1177
22.58/22.60	c iter 1251 time 21.7047 not-muc 248191 unknown 265 muc 1178
22.58/22.60	c iter 1252 time 21.7207 not-muc 248191 unknown 264 muc 1179
22.58/22.60	c iter 1253 time 21.7357 not-muc 248191 unknown 263 muc 1180
22.58/22.60	c iter 1254 time 21.7517 not-muc 248191 unknown 262 muc 1181
22.58/22.60	c iter 1255 time 21.7667 not-muc 248191 unknown 261 muc 1182
22.58/22.60	c iter 1256 time 21.7827 not-muc 248191 unknown 260 muc 1183
22.58/22.60	c iter 1257 time 21.7987 not-muc 248191 unknown 259 muc 1184
22.58/22.60	c iter 1258 time 21.8147 not-muc 248191 unknown 258 muc 1185
22.58/22.60	c iter 1259 time 21.8307 not-muc 248191 unknown 257 muc 1186
22.58/22.60	c iter 1260 time 21.8457 not-muc 248191 unknown 256 muc 1187
22.58/22.60	c iter 1261 time 21.8617 not-muc 248191 unknown 255 muc 1188
22.58/22.60	c iter 1262 time 21.8767 not-muc 248191 unknown 254 muc 1189
22.58/22.60	c iter 1263 time 21.8917 not-muc 248191 unknown 253 muc 1190
22.58/22.60	c iter 1264 time 21.9077 not-muc 248191 unknown 252 muc 1191
22.58/22.60	c iter 1265 time 21.9227 not-muc 248191 unknown 251 muc 1192
22.58/22.60	c iter 1266 time 21.9377 not-muc 248191 unknown 250 muc 1193
22.58/22.60	c iter 1267 time 21.9537 not-muc 248191 unknown 249 muc 1194
22.58/22.60	c iter 1268 time 21.9687 not-muc 248191 unknown 248 muc 1195
22.58/22.60	c iter 1269 time 21.9847 not-muc 248191 unknown 247 muc 1196
22.58/22.60	c iter 1270 time 21.9997 not-muc 248191 unknown 246 muc 1197
22.58/22.60	c iter 1271 time 22.0147 not-muc 248191 unknown 245 muc 1198
22.58/22.60	c iter 1272 time 22.0307 not-muc 248191 unknown 244 muc 1199
22.58/22.60	c iter 1273 time 22.0456 not-muc 248191 unknown 243 muc 1200
22.58/22.60	c iter 1274 time 22.0616 not-muc 248191 unknown 242 muc 1201
22.58/22.60	c iter 1275 time 22.0776 not-muc 248191 unknown 241 muc 1202
22.58/22.60	c iter 1276 time 22.0926 not-muc 248191 unknown 240 muc 1203
22.58/22.60	c iter 1277 time 22.1076 not-muc 248191 unknown 239 muc 1204
22.58/22.60	c iter 1278 time 22.1236 not-muc 248191 unknown 238 muc 1205
22.58/22.60	c iter 1279 time 22.1386 not-muc 248191 unknown 237 muc 1206
22.58/22.60	c iter 1280 time 22.1546 not-muc 248191 unknown 236 muc 1207
22.58/22.60	c iter 1281 time 22.1696 not-muc 248191 unknown 235 muc 1208
22.58/22.60	c iter 1282 time 22.1846 not-muc 248191 unknown 234 muc 1209
22.58/22.60	c iter 1283 time 22.2006 not-muc 248191 unknown 233 muc 1210
22.58/22.60	c iter 1284 time 22.2156 not-muc 248191 unknown 232 muc 1211
22.58/22.60	c iter 1285 time 22.2316 not-muc 248191 unknown 231 muc 1212
22.58/22.60	c iter 1286 time 22.2466 not-muc 248191 unknown 230 muc 1213
22.58/22.60	c iter 1287 time 22.2616 not-muc 248191 unknown 229 muc 1214
22.58/22.60	c iter 1288 time 22.2766 not-muc 248191 unknown 228 muc 1215
22.58/22.60	c iter 1289 time 22.2926 not-muc 248191 unknown 227 muc 1216
22.58/22.60	c iter 1290 time 22.3006 not-muc 248197 unknown 221 muc 1216
22.58/22.60	c iter 1291 time 22.3136 not-muc 248197 unknown 220 muc 1217
22.58/22.60	c iter 1292 time 22.3286 not-muc 248197 unknown 219 muc 1218
22.58/22.60	c iter 1293 time 22.3446 not-muc 248197 unknown 218 muc 1219
22.58/22.60	c iter 1294 time 22.3596 not-muc 248197 unknown 217 muc 1220
22.58/22.60	c iter 1295 time 22.3746 not-muc 248197 unknown 216 muc 1221
22.58/22.60	c iter 1296 time 22.3906 not-muc 248197 unknown 215 muc 1222
22.58/22.60	c iter 1297 time 22.4056 not-muc 248197 unknown 214 muc 1223
22.58/22.60	c iter 1298 time 22.4206 not-muc 248197 unknown 213 muc 1224
22.58/22.60	c iter 1299 time 22.4366 not-muc 248197 unknown 212 muc 1225
22.58/22.60	c iter 1300 time 22.4516 not-muc 248197 unknown 211 muc 1226
22.58/22.60	c iter 1301 time 22.4666 not-muc 248197 unknown 210 muc 1227
22.58/22.60	c iter 1302 time 22.4826 not-muc 248197 unknown 209 muc 1228
22.58/22.60	c iter 1303 time 22.4976 not-muc 248197 unknown 208 muc 1229
23.58/23.63	c iter 1304 time 22.5126 not-muc 248197 unknown 207 muc 1230
23.58/23.63	c iter 1305 time 22.5286 not-muc 248197 unknown 206 muc 1231
23.58/23.63	c iter 1306 time 22.5436 not-muc 248197 unknown 205 muc 1232
23.58/23.63	c iter 1307 time 22.5586 not-muc 248197 unknown 204 muc 1233
23.58/23.63	c iter 1308 time 22.5736 not-muc 248197 unknown 203 muc 1234
23.58/23.63	c iter 1309 time 22.5886 not-muc 248197 unknown 202 muc 1235
23.58/23.63	c iter 1310 time 22.6036 not-muc 248197 unknown 201 muc 1236
23.58/23.63	c iter 1311 time 22.6196 not-muc 248197 unknown 200 muc 1237
23.58/23.63	c iter 1312 time 22.6346 not-muc 248197 unknown 199 muc 1238
23.58/23.63	c iter 1313 time 22.6496 not-muc 248197 unknown 198 muc 1239
23.58/23.63	c iter 1314 time 22.6646 not-muc 248197 unknown 197 muc 1240
23.58/23.63	c iter 1315 time 22.6796 not-muc 248197 unknown 196 muc 1241
23.58/23.63	c iter 1316 time 22.6945 not-muc 248197 unknown 195 muc 1242
23.58/23.63	c iter 1317 time 22.7105 not-muc 248197 unknown 194 muc 1243
23.58/23.63	c iter 1318 time 22.7255 not-muc 248197 unknown 193 muc 1244
23.58/23.63	c iter 1319 time 22.7415 not-muc 248197 unknown 192 muc 1245
23.58/23.63	c iter 1320 time 22.7565 not-muc 248197 unknown 191 muc 1246
23.58/23.63	c iter 1321 time 22.7715 not-muc 248197 unknown 190 muc 1247
23.58/23.63	c iter 1322 time 22.7865 not-muc 248197 unknown 189 muc 1248
23.58/23.63	c iter 1323 time 22.8015 not-muc 248197 unknown 188 muc 1249
23.58/23.63	c iter 1324 time 22.8165 not-muc 248197 unknown 187 muc 1250
23.58/23.63	c iter 1325 time 22.8315 not-muc 248197 unknown 186 muc 1251
23.58/23.63	c iter 1326 time 22.8465 not-muc 248197 unknown 185 muc 1252
23.58/23.63	c iter 1327 time 22.8615 not-muc 248197 unknown 184 muc 1253
23.58/23.63	c iter 1328 time 22.8765 not-muc 248197 unknown 183 muc 1254
23.58/23.63	c iter 1329 time 22.8915 not-muc 248197 unknown 182 muc 1255
23.58/23.63	c iter 1330 time 22.9065 not-muc 248197 unknown 181 muc 1256
23.58/23.63	c iter 1331 time 22.9215 not-muc 248197 unknown 180 muc 1257
23.58/23.63	c iter 1332 time 22.9365 not-muc 248197 unknown 179 muc 1258
23.58/23.63	c iter 1333 time 22.9515 not-muc 248197 unknown 178 muc 1259
23.58/23.63	c iter 1334 time 22.9665 not-muc 248197 unknown 177 muc 1260
23.58/23.63	c iter 1335 time 22.9825 not-muc 248197 unknown 176 muc 1261
23.58/23.63	c iter 1336 time 22.9975 not-muc 248197 unknown 175 muc 1262
23.58/23.63	c iter 1337 time 23.0125 not-muc 248197 unknown 174 muc 1263
23.58/23.63	c iter 1338 time 23.0285 not-muc 248197 unknown 173 muc 1264
23.58/23.63	c iter 1339 time 23.0435 not-muc 248197 unknown 172 muc 1265
23.58/23.63	c iter 1340 time 23.0585 not-muc 248197 unknown 171 muc 1266
23.58/23.63	c iter 1341 time 23.0735 not-muc 248197 unknown 170 muc 1267
23.58/23.63	c iter 1342 time 23.0895 not-muc 248197 unknown 169 muc 1268
23.58/23.63	c iter 1343 time 23.1045 not-muc 248197 unknown 168 muc 1269
23.58/23.63	c iter 1344 time 23.1195 not-muc 248197 unknown 167 muc 1270
23.58/23.63	c iter 1345 time 23.1355 not-muc 248197 unknown 166 muc 1271
23.58/23.63	c iter 1346 time 23.1505 not-muc 248197 unknown 165 muc 1272
23.58/23.63	c iter 1347 time 23.1655 not-muc 248197 unknown 164 muc 1273
23.58/23.63	c iter 1348 time 23.1815 not-muc 248197 unknown 163 muc 1274
23.58/23.63	c iter 1349 time 23.1965 not-muc 248197 unknown 162 muc 1275
23.58/23.63	c iter 1350 time 23.2115 not-muc 248197 unknown 161 muc 1276
23.58/23.63	c iter 1351 time 23.2265 not-muc 248197 unknown 160 muc 1277
23.58/23.63	c iter 1352 time 23.2415 not-muc 248197 unknown 159 muc 1278
23.58/23.63	c iter 1353 time 23.2575 not-muc 248197 unknown 158 muc 1279
23.58/23.63	c iter 1354 time 23.2725 not-muc 248197 unknown 157 muc 1280
23.58/23.63	c iter 1355 time 23.2875 not-muc 248197 unknown 156 muc 1281
23.58/23.63	c iter 1356 time 23.3025 not-muc 248197 unknown 155 muc 1282
23.58/23.63	c iter 1357 time 23.3185 not-muc 248197 unknown 154 muc 1283
23.58/23.63	c iter 1358 time 23.3335 not-muc 248197 unknown 153 muc 1284
23.58/23.63	c iter 1359 time 23.3484 not-muc 248197 unknown 152 muc 1285
23.58/23.63	c iter 1360 time 23.3634 not-muc 248197 unknown 151 muc 1286
23.58/23.63	c iter 1361 time 23.3784 not-muc 248197 unknown 150 muc 1287
23.58/23.63	c iter 1362 time 23.3864 not-muc 248200 unknown 147 muc 1287
23.58/23.63	c iter 1363 time 23.3934 not-muc 248211 unknown 136 muc 1287
23.58/23.63	c iter 1364 time 23.4074 not-muc 248211 unknown 135 muc 1288
23.58/23.63	c iter 1365 time 23.4234 not-muc 248211 unknown 134 muc 1289
23.58/23.63	c iter 1366 time 23.4394 not-muc 248211 unknown 133 muc 1290
23.58/23.63	c iter 1367 time 23.4564 not-muc 248211 unknown 132 muc 1291
23.58/23.63	c iter 1368 time 23.4724 not-muc 248211 unknown 131 muc 1292
23.58/23.63	c iter 1369 time 23.4884 not-muc 248211 unknown 130 muc 1293
23.58/23.63	c iter 1370 time 23.5034 not-muc 248211 unknown 129 muc 1294
23.58/23.63	c iter 1371 time 23.5194 not-muc 248211 unknown 128 muc 1295
24.48/24.59	c iter 1372 time 23.5354 not-muc 248211 unknown 127 muc 1296
24.48/24.59	c iter 1373 time 23.5504 not-muc 248211 unknown 126 muc 1297
24.48/24.59	c iter 1374 time 23.5664 not-muc 248211 unknown 125 muc 1298
24.48/24.59	c iter 1375 time 23.5814 not-muc 248211 unknown 124 muc 1299
24.48/24.59	c iter 1376 time 23.5964 not-muc 248211 unknown 123 muc 1300
24.48/24.59	c iter 1377 time 23.6124 not-muc 248211 unknown 122 muc 1301
24.48/24.59	c iter 1378 time 23.6274 not-muc 248211 unknown 121 muc 1302
24.48/24.59	c iter 1379 time 23.6424 not-muc 248211 unknown 120 muc 1303
24.48/24.59	c iter 1380 time 23.6574 not-muc 248211 unknown 119 muc 1304
24.48/24.59	c iter 1381 time 23.6724 not-muc 248211 unknown 118 muc 1305
24.48/24.59	c iter 1382 time 23.6874 not-muc 248211 unknown 117 muc 1306
24.48/24.59	c iter 1383 time 23.7034 not-muc 248211 unknown 116 muc 1307
24.48/24.59	c iter 1384 time 23.7184 not-muc 248211 unknown 115 muc 1308
24.48/24.59	c iter 1385 time 23.7334 not-muc 248211 unknown 114 muc 1309
24.48/24.59	c iter 1386 time 23.7484 not-muc 248211 unknown 113 muc 1310
24.48/24.59	c iter 1387 time 23.7634 not-muc 248211 unknown 112 muc 1311
24.48/24.59	c iter 1388 time 23.7784 not-muc 248211 unknown 111 muc 1312
24.48/24.59	c iter 1389 time 23.7934 not-muc 248211 unknown 110 muc 1313
24.48/24.59	c iter 1390 time 23.8084 not-muc 248211 unknown 109 muc 1314
24.48/24.59	c iter 1391 time 23.8234 not-muc 248211 unknown 108 muc 1315
24.48/24.59	c iter 1392 time 23.8384 not-muc 248211 unknown 107 muc 1316
24.48/24.59	c iter 1393 time 23.8524 not-muc 248211 unknown 106 muc 1317
24.48/24.59	c iter 1394 time 23.8674 not-muc 248211 unknown 105 muc 1318
24.48/24.59	c iter 1395 time 23.8824 not-muc 248211 unknown 104 muc 1319
24.48/24.59	c iter 1396 time 23.8974 not-muc 248211 unknown 103 muc 1320
24.48/24.59	c iter 1397 time 23.9114 not-muc 248211 unknown 102 muc 1321
24.48/24.59	c iter 1398 time 23.9264 not-muc 248211 unknown 101 muc 1322
24.48/24.59	c iter 1399 time 23.9404 not-muc 248211 unknown 100 muc 1323
24.48/24.59	c iter 1400 time 23.9554 not-muc 248211 unknown 99 muc 1324
24.48/24.59	c iter 1401 time 23.9694 not-muc 248211 unknown 98 muc 1325
24.48/24.59	c iter 1402 time 23.9844 not-muc 248211 unknown 97 muc 1326
24.48/24.59	c iter 1403 time 23.9984 not-muc 248211 unknown 96 muc 1327
24.48/24.59	c iter 1404 time 24.0133 not-muc 248211 unknown 95 muc 1328
24.48/24.59	c iter 1405 time 24.0273 not-muc 248211 unknown 94 muc 1329
24.48/24.59	c iter 1406 time 24.0423 not-muc 248211 unknown 93 muc 1330
24.48/24.59	c iter 1407 time 24.0563 not-muc 248211 unknown 92 muc 1331
24.48/24.59	c iter 1408 time 24.0713 not-muc 248211 unknown 91 muc 1332
24.48/24.59	c iter 1409 time 24.0853 not-muc 248211 unknown 90 muc 1333
24.48/24.59	c iter 1410 time 24.0923 not-muc 248213 unknown 88 muc 1333
24.48/24.59	c iter 1411 time 24.1043 not-muc 248213 unknown 87 muc 1334
24.48/24.59	c iter 1412 time 24.1183 not-muc 248213 unknown 86 muc 1335
24.48/24.59	c iter 1413 time 24.1323 not-muc 248213 unknown 85 muc 1336
24.48/24.59	c iter 1414 time 24.1463 not-muc 248213 unknown 84 muc 1337
24.48/24.59	c iter 1415 time 24.1603 not-muc 248213 unknown 83 muc 1338
24.48/24.59	c iter 1416 time 24.1743 not-muc 248213 unknown 82 muc 1339
24.48/24.59	c iter 1417 time 24.1883 not-muc 248213 unknown 81 muc 1340
24.48/24.59	c iter 1418 time 24.2033 not-muc 248213 unknown 80 muc 1341
24.48/24.59	c iter 1419 time 24.2173 not-muc 248213 unknown 79 muc 1342
24.48/24.59	c iter 1420 time 24.2313 not-muc 248213 unknown 78 muc 1343
24.48/24.59	c iter 1421 time 24.2443 not-muc 248213 unknown 77 muc 1344
24.48/24.59	c iter 1422 time 24.2573 not-muc 248213 unknown 76 muc 1345
24.48/24.59	c iter 1423 time 24.2723 not-muc 248213 unknown 75 muc 1346
24.48/24.59	c iter 1424 time 24.2863 not-muc 248213 unknown 74 muc 1347
24.48/24.59	c iter 1425 time 24.2993 not-muc 248213 unknown 73 muc 1348
24.48/24.59	c iter 1426 time 24.3133 not-muc 248213 unknown 72 muc 1349
24.48/24.59	c iter 1427 time 24.3283 not-muc 248213 unknown 71 muc 1350
24.48/24.59	c iter 1428 time 24.3423 not-muc 248213 unknown 70 muc 1351
24.48/24.59	c iter 1429 time 24.3563 not-muc 248213 unknown 69 muc 1352
24.48/24.59	c iter 1430 time 24.3693 not-muc 248213 unknown 68 muc 1353
24.48/24.59	c iter 1431 time 24.3833 not-muc 248213 unknown 67 muc 1354
24.48/24.59	c iter 1432 time 24.3973 not-muc 248213 unknown 66 muc 1355
24.48/24.59	c iter 1433 time 24.4113 not-muc 248213 unknown 65 muc 1356
24.48/24.59	c iter 1434 time 24.4253 not-muc 248213 unknown 64 muc 1357
24.48/24.59	c iter 1435 time 24.4393 not-muc 248213 unknown 63 muc 1358
24.48/24.59	c iter 1436 time 24.4533 not-muc 248213 unknown 62 muc 1359
24.48/24.59	c iter 1437 time 24.4673 not-muc 248213 unknown 61 muc 1360
24.48/24.59	c iter 1438 time 24.4803 not-muc 248213 unknown 60 muc 1361
25.38/25.42	c iter 1439 time 24.4933 not-muc 248213 unknown 59 muc 1362
25.38/25.42	c iter 1440 time 24.5073 not-muc 248213 unknown 58 muc 1363
25.38/25.42	c iter 1441 time 24.5213 not-muc 248213 unknown 57 muc 1364
25.38/25.42	c iter 1442 time 24.5353 not-muc 248213 unknown 56 muc 1365
25.38/25.42	c iter 1443 time 24.5483 not-muc 248213 unknown 55 muc 1366
25.38/25.42	c iter 1444 time 24.5623 not-muc 248213 unknown 54 muc 1367
25.38/25.42	c iter 1445 time 24.5763 not-muc 248213 unknown 53 muc 1368
25.38/25.42	c iter 1446 time 24.5893 not-muc 248213 unknown 52 muc 1369
25.38/25.42	c iter 1447 time 24.6033 not-muc 248213 unknown 51 muc 1370
25.38/25.42	c iter 1448 time 24.6173 not-muc 248213 unknown 50 muc 1371
25.38/25.42	c iter 1449 time 24.6313 not-muc 248213 unknown 49 muc 1372
25.38/25.42	c iter 1450 time 24.6443 not-muc 248213 unknown 48 muc 1373
25.38/25.42	c iter 1451 time 24.6633 not-muc 248213 unknown 47 muc 1374
25.38/25.42	c iter 1452 time 24.6772 not-muc 248213 unknown 46 muc 1375
25.38/25.42	c iter 1453 time 24.6912 not-muc 248213 unknown 45 muc 1376
25.38/25.42	c iter 1454 time 24.7052 not-muc 248213 unknown 44 muc 1377
25.38/25.42	c iter 1455 time 24.7182 not-muc 248213 unknown 43 muc 1378
25.38/25.42	c iter 1456 time 24.7312 not-muc 248213 unknown 42 muc 1379
25.38/25.42	c iter 1457 time 24.7452 not-muc 248213 unknown 41 muc 1380
25.38/25.42	c iter 1458 time 24.7582 not-muc 248213 unknown 40 muc 1381
25.38/25.42	c iter 1459 time 24.7712 not-muc 248213 unknown 39 muc 1382
25.38/25.42	c iter 1460 time 24.7842 not-muc 248213 unknown 38 muc 1383
25.38/25.42	c iter 1461 time 24.7982 not-muc 248213 unknown 37 muc 1384
25.38/25.42	c iter 1462 time 24.8122 not-muc 248213 unknown 36 muc 1385
25.38/25.42	c iter 1463 time 24.8252 not-muc 248213 unknown 35 muc 1386
25.38/25.42	c iter 1464 time 24.8382 not-muc 248213 unknown 34 muc 1387
25.38/25.42	c iter 1465 time 24.8512 not-muc 248213 unknown 33 muc 1388
25.38/25.42	c iter 1466 time 24.8652 not-muc 248213 unknown 32 muc 1389
25.38/25.42	c iter 1467 time 24.8782 not-muc 248213 unknown 31 muc 1390
25.38/25.42	c iter 1468 time 24.8922 not-muc 248213 unknown 30 muc 1391
25.38/25.42	c iter 1469 time 24.8992 not-muc 248214 unknown 29 muc 1391
25.38/25.42	c iter 1470 time 24.9112 not-muc 248214 unknown 28 muc 1392
25.38/25.42	c iter 1471 time 24.9252 not-muc 248214 unknown 27 muc 1393
25.38/25.42	c iter 1472 time 24.9402 not-muc 248214 unknown 26 muc 1394
25.38/25.42	c iter 1473 time 24.9552 not-muc 248214 unknown 25 muc 1395
25.38/25.42	c iter 1474 time 24.9692 not-muc 248214 unknown 24 muc 1396
25.38/25.42	c iter 1475 time 24.9842 not-muc 248214 unknown 23 muc 1397
25.38/25.42	c iter 1476 time 24.9992 not-muc 248214 unknown 22 muc 1398
25.38/25.42	c iter 1477 time 25.0142 not-muc 248214 unknown 21 muc 1399
25.38/25.42	c iter 1478 time 25.0292 not-muc 248214 unknown 20 muc 1400
25.38/25.42	c iter 1479 time 25.0432 not-muc 248214 unknown 19 muc 1401
25.38/25.42	c iter 1480 time 25.0582 not-muc 248214 unknown 18 muc 1402
25.38/25.42	c iter 1481 time 25.0732 not-muc 248214 unknown 17 muc 1403
25.38/25.42	c iter 1482 time 25.0882 not-muc 248214 unknown 16 muc 1404
25.38/25.42	c iter 1483 time 25.1022 not-muc 248214 unknown 15 muc 1405
25.38/25.42	c iter 1484 time 25.1172 not-muc 248214 unknown 14 muc 1406
25.38/25.42	c iter 1485 time 25.1312 not-muc 248214 unknown 13 muc 1407
25.38/25.42	c iter 1486 time 25.1452 not-muc 248214 unknown 12 muc 1408
25.38/25.42	c iter 1487 time 25.1592 not-muc 248214 unknown 11 muc 1409
25.38/25.42	c iter 1488 time 25.1732 not-muc 248214 unknown 10 muc 1410
25.38/25.42	c iter 1489 time 25.1872 not-muc 248214 unknown 9 muc 1411
25.38/25.42	c iter 1490 time 25.2012 not-muc 248214 unknown 8 muc 1412
25.38/25.42	c iter 1491 time 25.2152 not-muc 248214 unknown 7 muc 1413
25.38/25.42	c iter 1492 time 25.2282 not-muc 248214 unknown 6 muc 1414
25.38/25.42	c iter 1493 time 25.2422 not-muc 248214 unknown 5 muc 1415
25.38/25.42	c iter 1494 time 25.2562 not-muc 248214 unknown 4 muc 1416
25.38/25.42	c iter 1495 time 25.2692 not-muc 248214 unknown 3 muc 1417
25.38/25.42	c iter 1496 time 25.2832 not-muc 248214 unknown 2 muc 1418
25.38/25.42	c iter 1497 time 25.2962 not-muc 248214 unknown 1 muc 1419
25.38/25.42	c final iter 1498 time 25.3082 not-muc 248214 unknown 0 muc 1420
25.38/25.42	v 124 146 160 161 163 164 167 172 173 174 223 258 259 261 262 265 270 271 272 280 281 282 292 293 501 502 506 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 527 528 748 755 756 784 785 787 788 791 792 793 794 795 796 797 798 904 905 913 914 1158 1159 1161 1162 1163 1164 1165 1170 1171 1202 1203 1204 1205 1212 1214 1215 1216 1219 1220 1221 1222 1224 1225 1226 1231 1232 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1730 1752 1766 1767 1768 1769 1770 1773 1780 1983 1984 1992 1993 2455 2456 2458 2459 2460 2461 2470 2472 2474 2530 2532 2533 2540 2542 2543 2544 2545 2546 2547 2548 2549 2550 2552 2553 2554 2555 2556 2557 2558 2559 2560 2561 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 3502 3524 3538 3539 3540 3541 3542 3545 3552 3757 3758 3766 3767 4342 4343 4345 4346 4347 4348 4349 4375 4376 4436 4437 4438 4439 4446 4448 4449 4450 4451 4452 4453 4454 4455 4456 4458 4459 4460 4465 4466 4468 4469 4470 4471 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 4483 4484 5619 5641 5655 5656 5657 5658 5659 5662 5669 5874 5875 5883 5884 6480 6481 6483 6484 6485 6486 6487 6522 6523 6584 6585 6586 6587 6594 6596 6597 6598 6599 6600 6601 6602 6603 6604 6606 6607 6608 6613 6614 6616 6617 6618 6619 6620 6621 6622 6623 6624 6625 6626 6627 6628 6629 6630 6631 6632 13443 13465 13479 13480 13482 13483 13486 13491 13492 13493 13698 13699 13707 13708 14321 14322 14324 14325 14326 14327 14369 14371 14373 14434 14436 14437 14444 14446 14447 14448 14449 14450 14451 14452 14453 14454 14456 14457 14458 14459 14460 14461 14462 14463 14464 14465 14466 14467 14468 14469 14470 14471 14472 14473 14474 14475 14476 14477 14478 14479 14480 14481 14482 21771 21793 21807 21808 21810 21811 21814 21819 21820 21821 22026 22027 22035 22036 22666 22667 22669 22670 22671 22672 22673 22726 22727 22788 22789 22790 22791 22798 22800 22801 22802 22803 22804 22805 22806 22807 22808 22810 22811 22812 22817 22818 22820 22821 22822 22823 22824 22825 22826 22827 22828 22829 22830 22831 22832 22833 22834 22835 22836 30982 30989 30990 31018 31019 31021 31022 31025 31026 31027 31028 31029 31030 31031 31032 31237 31238 31246 31247 31894 31895 31897 31898 31899 31900 31901 31963 31964 32025 32026 32027 32028 32035 32037 32038 32039 32040 32041 32042 32043 32044 32045 32047 32048 32049 32054 32055 32057 32058 32059 32060 32061 32062 32063 32064 32065 32066 32067 32068 32069 32070 32071 32072 32073 41172 41194 41208 41209 41211 41212 41215 41220 41221 41222 41427 41428 41436 41437 42101 42102 42104 42105 42106 42107 42108 42179 42180 42241 42242 42243 42244 42251 42253 42254 42255 42256 42257 42258 42259 42260 42261 42263 42264 42265 42270 42271 42273 42274 42275 42276 42277 42278 42279 42280 42281 42282 42283 42284 42285 42286 42287 42288 42289 52666 52688 52702 52703 52705 52706 52709 52714 52715 52716 52921 52922 52930 52931 53612 53613 53615 53616 53617 53618 53619 53699 53700 53761 53762 53763 53764 53771 53773 53774 53775 53776 53777 53778 53779 53780 53781 53783 53784 53785 53790 53791 53793 53794 53795 53796 53797 53798 53799 53800 53801 53802 53803 53804 53805 53806 53807 53808 53809 65492 65514 65528 65529 65531 65532 65535 65540 65541 65542 65747 65748 65756 65757 66455 66456 66458 66459 66460 66461 66548 66550 66552 66613 66615 66616 66623 66625 66626 66627 66628 66629 66630 66631 66632 66633 66635 66636 66637 66638 66639 66640 66641 66642 66643 66644 66645 66646 66647 66648 66649 66650 66651 66652 66653 66654 66655 66656 66657 66658 66659 66660 66661 78453 78475 78489 78490 78492 78493 78496 78501 78502 78503 78708 78709 78717 78718 79433 79434 79436 79437 79438 79439 79440 79538 79539 79600 79601 79602 79603 79610 79612 79613 79614 79615 79616 79617 79618 79619 79620 79622 79623 79624 79629 79630 79632 79633 79634 79635 79636 79637 79638 79639 79640 79641 79642 79643 79644 79645 79646 79647 79648 91608 91615 91616 91644 91645 91647 91648 91651 91652 91653 91654 91655 91656 91657 91658 91863 91864 91872 91873 92605 92606 92608 92609 92610 92611 92612 92719 92720 92781 92782 92783 92784 92791 92793 92794 92795 92796 92797 92798 92799 92800 92801 92803 92804 92805 92810 92811 92813 92814 92815 92816 92817 92818 92819 92820 92821 92822 92823 92824 92825 92826 92827 92828 92829 104947 104969 104983 104984 104985 104986 104987 104990 104997 105202 105203 105211 105212 105961 105962 105964 105965 105966 105967 105968 106084 106085 106146 106147 106148 106149 106156 106158 106159 106160 106161 106162 106163 106164 106165 106166 106168 106169 106170 106175 106176 106178 106179 106180 106181 106182 106183 106184 106185 106186 106187 106188 106189 106190 106191 106192 106193 106194 118464 118486 118500 118501 118503 118504 118507 118512 118513 118514 118719 118720 118728 118729 119495 119496 119498 119499 119500 119501 119624 119626 119628 119689 119691 119692 119699 119701 119702 119703 119704 119705 119706 119707 119708 119709 119711 119712 119713 119714 119715 119716 119717 119718 119719 119720 119721 119722 119723 119724 119725 119726 119727 119728 119729 119730 119731 119732 119733 119734 119735 119736 119737 132159 132181 132195 132196 132198 132199 132202 132207 132208 132209 132414 132415 132423 132424 133207 133208 133210 133211 133212 133213 133214 133348 133349 133410 133411 133412 133413 133420 133422 133423 133424 133425 133426 133427 133428 133429 133430 133432 133433 133434 133439 133440 133442 133443 133444 133445 133446 133447 133448 133449 133450 133451 133452 133453 133454 133455 133456 133457 133458 146032 146039 146040 146068 146069 146071 146072 146075 146076 146077 146078 146079 146080 146081 146082 146287 146288 146296 146297 147097 147098 147100 147101 147102 147103 147104 147247 147248 147309 147310 147311 147312 147319 147321 147322 147323 147324 147325 147326 147327 147328 147329 147331 147332 147333 147338 147339 147341 147342 147343 147344 147345 147346 147347 147348 147349 147350 147351 147352 147353 147354 147355 147356 147357 160083 160105 160119 160120 160122 160123 160126 160131 160132 160133 160338 160339 160347 160348 161165 161166 161168 161169 161170 161171 161172 161324 161325 161386 161387 161388 161389 161396 161398 161399 161400 161401 161402 161403 161404 161405 161406 161408 161409 161410 161415 161416 161418 161419 161420 161421 161422 161423 161424 161425 161426 161427 161428 161429 161430 161431 161432 161433 161434 174312 174334 174348 174349 174350 174351 174352 174355 174362 174567 174568 174576 174577 175411 175412 175414 175415 175416 175417 175418 175579 175580 175641 175642 175643 175644 175651 175653 175654 175655 175656 175657 175658 175659 175660 175661 175663 175664 175665 175670 175671 175673 175674 175675 175676 175677 175678 175679 175680 175681 175682 175683 175684 175685 175686 175687 175688 175689 188719 188741 188755 188756 188758 188759 188762 188767 188768 188769 188974 188975 188983 188984 189835 189836 189838 189839 189840 189841 189842 190012 190013 190074 190075 190076 190077 190084 190086 190087 190088 190089 190090 190091 190092 190093 190094 190096 190097 190098 190103 190104 190106 190107 190108 190109 190110 190111 190112 190113 190114 190115 190116 190117 190118 190119 190120 190121 190122 203304 203326 203340 203341 203343 203344 203347 203352 203353 203354 203559 203560 203568 203569 204437 204438 204440 204441 204442 204443 204444 204623 204624 204685 204686 204687 204688 204695 204697 204698 204699 204700 204701 204702 204703 204704 204705 204707 204708 204709 204714 204715 204717 204718 204719 204720 204721 204722 204723 204724 204725 204726 204727 204728 204729 204730 204731 204732 204733 218067 218089 218103 218104 218106 218107 218110 218115 218116 218117 218322 218323 218331 218332 219217 219218 219220 219221 219222 219223 219224 219412 219413 219474 219475 219476 219477 219484 219486 219487 219488 219489 219490 219491 219492 219493 219494 219496 219497 219498 219503 219504 219506 219507 219508 219509 219510 219511 219512 219513 219514 219515 219516 219517 219518 219519 219520 219521 219522 233008 233030 233044 233045 233047 233048 233051 233056 233057 233058 233263 233264 233272 233273 234175 234176 234178 234179 234180 234181 234182 234379 234380 234441 234442 234443 234444 234451 234453 234454 234455 234456 234457 234458 234459 234460 234461 234463 234464 234465 234470 234471 234473 234474 234475 234476 234477 234478 234479 234480 234481 234482 234483 234484 234485 234486 234487 234488 234489 248382 248383 248391 248392 249311 249312 249314 249315 249316 249317 249318 249524 249525 249586 249587 249588 249589 249596 249598 249599 249600 249601 249602 249603 249604 249605 249606 249608 249609 249610 249615 249616 249618 249619 249620 249621 249622 249623 249624 249625 249626 249627 249628 249629 249630 249631 249632 249633 249634 0
25.38/25.42	s UNSATISFIABLE

OK	1420

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3501950-1308044493/watcher-3501950-1308044493 -o /var/tmp/evaluation-result-3501950-1308044493/solver-3501950-1308044493 -C 1800 -W 1850 -M 7680 /varHOME/hhlmuc-a /varHOME/instance-3501950-1308044493.gcnf 

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.06 3.74 3.58 4/189 13633
/proc/meminfo: memFree=15996324/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=23292 CPUtime=0 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 1190 0 0 0 0 0 0 0 25 0 1 0 896865161 23851008 1109 33554432000 4194304 4312002 140736425273472 18446744073709551615 4240961 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 5823 1112 216 29 0 2452 0

[startup+0.0700409 s]
/proc/loadavg: 4.06 3.74 3.58 4/189 13633
/proc/meminfo: memFree=15996324/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=84840 CPUtime=0.06 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 12847 0 0 0 4 2 0 0 25 0 1 0 896865161 86876160 12421 33554432000 4194304 4312002 140736425273472 18446744073709551615 233510297344 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 21210 12423 218 29 0 17839 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84840

[startup+0.101036 s]
/proc/loadavg: 4.06 3.74 3.58 4/189 13633
/proc/meminfo: memFree=15996324/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=87712 CPUtime=0.09 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 13831 0 0 0 7 2 0 0 25 0 1 0 896865161 89817088 13364 33554432000 4194304 4312002 140736425273472 18446744073709551615 233509958341 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 21928 13364 218 29 0 18557 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 87712

[startup+0.300998 s]
/proc/loadavg: 4.06 3.74 3.58 4/189 13633
/proc/meminfo: memFree=15996324/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=110580 CPUtime=0.29 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 21078 0 0 0 25 4 0 0 25 0 1 0 896865161 113233920 19816 33554432000 4194304 4312002 140736425273472 18446744073709551615 233510297344 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 27645 19818 218 29 0 24274 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 110580

[startup+0.700938 s]
/proc/loadavg: 4.06 3.74 3.58 4/189 13633
/proc/meminfo: memFree=15996324/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=155948 CPUtime=0.69 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 32433 0 0 0 63 6 0 0 25 0 1 0 896865161 159690752 30029 33554432000 4194304 4312002 140736425273472 18446744073709551615 4235653 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 38987 30029 226 29 0 35616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 155948

[startup+1.50079 s]
/proc/loadavg: 4.06 3.74 3.58 5/190 13634
/proc/meminfo: memFree=15834892/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=202804 CPUtime=1.49 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 43513 0 0 0 142 7 0 0 25 0 1 0 896865161 207671296 40242 33554432000 4194304 4312002 140736425273472 18446744073709551615 4266184 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 50701 40242 226 29 0 47330 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 202804

[startup+3.1005 s]
/proc/loadavg: 4.06 3.74 3.58 5/190 13634
/proc/meminfo: memFree=15950452/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=159968 CPUtime=3.09 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53081 0 0 0 300 9 0 0 25 0 1 0 896865161 163807232 31642 33554432000 4194304 4312002 140736425273472 18446744073709551615 4287182 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 39992 31642 245 29 0 36621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 159968

[startup+6.30094 s]
/proc/loadavg: 4.13 3.77 3.59 5/190 13634
/proc/meminfo: memFree=15858016/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=161064 CPUtime=6.29 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53544 0 0 0 620 9 0 0 25 0 1 0 896865161 164929536 32093 33554432000 4194304 4312002 140736425273472 18446744073709551615 4264486 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 40266 32093 264 29 0 36895 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 161064

[startup+12.7008 s]
/proc/loadavg: 4.12 3.77 3.59 5/190 13635
/proc/meminfo: memFree=15678836/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=161064 CPUtime=12.68 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53545 0 0 0 1259 9 0 0 25 0 1 0 896865161 164929536 32094 33554432000 4194304 4312002 140736425273472 18446744073709551615 4259656 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 40266 32094 265 29 0 36895 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 161064

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

[startup+19.1006 s]
/proc/loadavg: 4.10 3.78 3.60 5/190 13635
/proc/meminfo: memFree=15692604/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=161064 CPUtime=19.09 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53545 0 0 0 1899 10 0 0 25 0 1 0 896865161 164929536 32094 33554432000 4194304 4312002 140736425273472 18446744073709551615 4247632 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 40266 32094 265 29 0 36895 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 161064

[startup+22.3011 s]
/proc/loadavg: 4.10 3.78 3.60 5/190 13635
/proc/meminfo: memFree=16015044/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=161064 CPUtime=22.28 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53545 0 0 0 2218 10 0 0 25 0 1 0 896865161 164929536 32094 33554432000 4194304 4312002 140736425273472 18446744073709551615 4247574 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 40266 32094 265 29 0 36895 0
Current children cumulated CPU time (s) 22.28
Current children cumulated vsize (KiB) 161064

[startup+23.9008 s]
/proc/loadavg: 4.10 3.78 3.60 5/190 13635
/proc/meminfo: memFree=16009588/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=161064 CPUtime=23.88 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53545 0 0 0 2378 10 0 0 25 0 1 0 896865161 164929536 32094 33554432000 4194304 4312002 140736425273472 18446744073709551615 4265706 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 40266 32094 265 29 0 36895 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 161064

[startup+24.7006 s]
/proc/loadavg: 4.09 3.78 3.60 5/190 13635
/proc/meminfo: memFree=15979088/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=161064 CPUtime=24.68 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53545 0 0 0 2458 10 0 0 25 0 1 0 896865161 164929536 32094 33554432000 4194304 4312002 140736425273472 18446744073709551615 4263187 0 0 4096 8388610 0 0 0 17 7 0 0 0
/proc/13633/statm: 40266 32094 265 29 0 36895 0
Current children cumulated CPU time (s) 24.68
Current children cumulated vsize (KiB) 161064

[startup+25.1005 s]
/proc/loadavg: 4.09 3.78 3.60 5/190 13635
/proc/meminfo: memFree=15979088/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=161064 CPUtime=25.08 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53545 0 0 0 2498 10 0 0 25 0 1 0 896865161 164929536 32094 33554432000 4194304 4312002 140736425273472 18446744073709551615 4247632 0 0 4096 8388610 0 0 0 17 7 0 0 0
/proc/13633/statm: 40266 32094 265 29 0 36895 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 161064

[startup+25.3065 s]
/proc/loadavg: 4.09 3.78 3.60 5/190 13635
/proc/meminfo: memFree=15961232/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=161064 CPUtime=25.28 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53545 0 0 0 2518 10 0 0 25 0 1 0 896865161 164929536 32094 33554432000 4194304 4312002 140736425273472 18446744073709551615 4247592 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 40266 32094 265 29 0 36895 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 161064

[startup+25.4005 s]
/proc/loadavg: 4.09 3.78 3.60 5/190 13635
/proc/meminfo: memFree=15961232/32951124 swapFree=67054264/67111528
[pid=13633] ppid=13631 vsize=161064 CPUtime=25.38 cores=5,7
/proc/13633/stat : 13633 (hhlmuc-a) R 13631 13633 29465 0 -1 4202496 53545 0 0 0 2528 10 0 0 25 0 1 0 896865161 164929536 32094 33554432000 4194304 4312002 140736425273472 18446744073709551615 4259908 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/13633/statm: 40266 32094 265 29 0 36895 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 161064

Child status: 20
Real time (s): 25.4333
CPU time (s): 25.4201
CPU user time (s): 25.3092
CPU system time (s): 0.110983
CPU usage (%): 99.9484
Max. virtual memory (cumulated for all children) (KiB): 202804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.3092
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53546
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= 73

runsolver used 0.043993 second user time and 0.108983 second system time

The end

Begin job on node145 at 2011-06-14 11:41:33
IDJOB=3501950
IDBENCH=90102
IDSOLVER=2002
FILE ID=node145/3501950-1308044493
RUNJOBID= node145-1308044178-13426
PBS_JOBID= 13563891
Free space on /var/tmp= 2876 MiB

SOLVER NAME= Haifa-HLMUC-A 2011-04-07
BENCH NAME= SAT11/gmus/belov/mentorbm1p02.aig.k25.gcnf
COMMAND LINE= HOME/hhlmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3501950-1308044493/watcher-3501950-1308044493 -o /var/tmp/evaluation-result-3501950-1308044493/solver-3501950-1308044493 -C 1800 -W 1850 -M 7680  /varHOME/hhlmuc-a /varHOME/instance-3501950-1308044493.gcnf

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

MD5SUM BENCH= 2884b5599c418e2c2f13c080d2b3fb7b
RANDOM SEED=1184587281

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15997984 kB
Buffers:        147164 kB
Cached:       15507792 kB
SwapCached:      10064 kB
Active:         915728 kB
Inactive:     15459700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15997984 kB
SwapTotal:    67111528 kB
SwapFree:     67054264 kB
Dirty:           20404 kB
Writeback:           0 kB
AnonPages:      717788 kB
Mapped:          13388 kB
Slab:           510732 kB
PageTables:       6444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1056368 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 /var/tmp at the end= 2876 MiB
End job on node145 at 2011-06-14 11:41:59