1.10/1.15	c WARNING: for repeatability, setting FPU to use double precision
1.10/1.15	c iter 1 time 0.353946 not-muc 32092 unknown 2789 muc 0
1.10/1.15	c iter 2 time 0.424935 not-muc 32223 unknown 2658 muc 0
1.10/1.15	c iter 3 time 0.469928 not-muc 32230 unknown 2651 muc 0
1.10/1.15	c iter 4 time 0.514921 not-muc 32249 unknown 2632 muc 0
1.10/1.15	c iter 5 time 0.549916 not-muc 32252 unknown 2629 muc 0
1.10/1.15	c iter 6 time 0.563914 not-muc 32254 unknown 2627 muc 0
1.10/1.15	c iter 7 time 0.58791 not-muc 32258 unknown 2623 muc 0
1.10/1.15	c iter 8 time 0.625904 not-muc 32286 unknown 2595 muc 0
1.10/1.15	c iter 9 time 0.644901 not-muc 32304 unknown 2577 muc 0
1.10/1.15	c iter 10 time 0.649901 not-muc 32347 unknown 2534 muc 0
1.10/1.15	c iter 11 time 0.658899 not-muc 32347 unknown 2533 muc 1
1.10/1.15	c iter 12 time 0.660899 not-muc 32347 unknown 2532 muc 2
1.10/1.15	c iter 13 time 0.661899 not-muc 32347 unknown 2531 muc 3
1.10/1.15	c iter 14 time 0.663899 not-muc 32347 unknown 2530 muc 4
1.10/1.15	c iter 15 time 0.665898 not-muc 32347 unknown 2529 muc 5
1.10/1.15	c iter 16 time 0.710891 not-muc 32356 unknown 2520 muc 5
1.10/1.15	c iter 17 time 0.728889 not-muc 32393 unknown 2483 muc 5
1.10/1.15	c iter 18 time 0.737887 not-muc 32393 unknown 2482 muc 6
1.10/1.15	c iter 19 time 0.739887 not-muc 32393 unknown 2481 muc 7
1.10/1.15	c iter 20 time 0.741887 not-muc 32393 unknown 2480 muc 8
1.10/1.15	c iter 21 time 0.743886 not-muc 32393 unknown 2479 muc 9
1.10/1.15	c iter 22 time 0.744886 not-muc 32393 unknown 2478 muc 10
1.10/1.15	c iter 23 time 0.746886 not-muc 32393 unknown 2477 muc 11
1.10/1.15	c iter 24 time 0.762884 not-muc 32413 unknown 2457 muc 11
1.10/1.15	c iter 25 time 0.765883 not-muc 32413 unknown 2456 muc 12
1.10/1.15	c iter 26 time 0.775882 not-muc 32413 unknown 2455 muc 13
1.10/1.15	c iter 27 time 0.778881 not-muc 32413 unknown 2454 muc 14
1.10/1.15	c iter 28 time 0.78588 not-muc 32425 unknown 2442 muc 14
1.10/1.15	c iter 29 time 0.817875 not-muc 32425 unknown 2441 muc 15
1.10/1.15	c iter 30 time 0.819875 not-muc 32425 unknown 2440 muc 16
1.10/1.15	c iter 31 time 0.829873 not-muc 32428 unknown 2437 muc 16
1.10/1.15	c iter 32 time 0.839872 not-muc 32434 unknown 2431 muc 16
1.10/1.15	c iter 33 time 0.842871 not-muc 32438 unknown 2427 muc 16
1.10/1.15	c iter 34 time 0.845871 not-muc 32440 unknown 2425 muc 16
1.10/1.15	c iter 35 time 0.85287 not-muc 32442 unknown 2423 muc 16
1.10/1.15	c iter 36 time 0.858869 not-muc 32442 unknown 2422 muc 17
1.10/1.15	c iter 37 time 0.860869 not-muc 32442 unknown 2421 muc 18
1.10/1.15	c iter 38 time 0.862868 not-muc 32442 unknown 2420 muc 19
1.10/1.15	c iter 39 time 0.866868 not-muc 32442 unknown 2419 muc 20
1.10/1.15	c iter 40 time 0.896863 not-muc 32686 unknown 2175 muc 20
1.10/1.15	c iter 41 time 0.899863 not-muc 32686 unknown 2174 muc 21
1.10/1.15	c iter 42 time 0.902862 not-muc 32737 unknown 2123 muc 21
1.10/1.15	c iter 43 time 0.91486 not-muc 32737 unknown 2122 muc 22
1.10/1.15	c iter 44 time 0.939857 not-muc 32737 unknown 2121 muc 23
1.10/1.15	c iter 45 time 0.941856 not-muc 32737 unknown 2120 muc 24
1.10/1.15	c iter 46 time 0.944856 not-muc 32737 unknown 2119 muc 25
1.10/1.15	c iter 47 time 0.952855 not-muc 32741 unknown 2115 muc 25
1.10/1.15	c iter 48 time 0.954854 not-muc 32741 unknown 2114 muc 26
1.10/1.15	c iter 49 time 0.956854 not-muc 32741 unknown 2113 muc 27
1.10/1.15	c iter 50 time 0.958854 not-muc 32741 unknown 2112 muc 28
1.10/1.15	c iter 51 time 0.960853 not-muc 32741 unknown 2111 muc 29
1.10/1.15	c iter 52 time 0.961853 not-muc 32741 unknown 2110 muc 30
1.10/1.15	c iter 53 time 0.963853 not-muc 32741 unknown 2109 muc 31
1.10/1.15	c iter 54 time 0.970852 not-muc 32750 unknown 2100 muc 31
1.10/1.15	c iter 55 time 0.98385 not-muc 32759 unknown 2091 muc 31
1.10/1.15	c iter 56 time 1.01185 not-muc 32759 unknown 2090 muc 32
1.10/1.15	c iter 57 time 1.02384 not-muc 32793 unknown 2056 muc 32
1.10/1.15	c iter 58 time 1.03584 not-muc 32793 unknown 2055 muc 33
1.10/1.15	c iter 59 time 1.05984 not-muc 32800 unknown 2048 muc 33
1.10/1.15	c iter 60 time 1.06984 not-muc 32806 unknown 2042 muc 33
1.10/1.15	c iter 61 time 1.07984 not-muc 32808 unknown 2040 muc 33
1.10/1.15	c iter 62 time 1.08483 not-muc 32810 unknown 2038 muc 33
1.10/1.15	c iter 63 time 1.08783 not-muc 32814 unknown 2034 muc 33
1.10/1.15	c iter 64 time 1.08983 not-muc 32816 unknown 2032 muc 33
1.10/1.15	c iter 65 time 1.09283 not-muc 32818 unknown 2030 muc 33
1.10/1.15	c iter 66 time 1.09683 not-muc 32820 unknown 2028 muc 33
1.10/1.15	c iter 67 time 1.10283 not-muc 32844 unknown 2004 muc 33
1.10/1.15	c iter 68 time 1.11583 not-muc 32849 unknown 1999 muc 33
1.10/1.15	c iter 69 time 1.11883 not-muc 32851 unknown 1997 muc 33
1.10/1.15	c iter 70 time 1.12383 not-muc 32870 unknown 1978 muc 33
1.10/1.15	c iter 71 time 1.13483 not-muc 32925 unknown 1923 muc 33
1.79/1.87	c iter 72 time 1.16582 not-muc 33087 unknown 1761 muc 33
1.79/1.87	c iter 73 time 1.18382 not-muc 33091 unknown 1757 muc 33
1.79/1.87	c iter 74 time 1.18982 not-muc 33102 unknown 1746 muc 33
1.79/1.87	c iter 75 time 1.19282 not-muc 33132 unknown 1716 muc 33
1.79/1.87	c iter 76 time 1.22081 not-muc 33148 unknown 1700 muc 33
1.79/1.87	c iter 77 time 1.24881 not-muc 33179 unknown 1669 muc 33
1.79/1.87	c iter 78 time 1.26681 not-muc 33188 unknown 1660 muc 33
1.79/1.87	c iter 79 time 1.27081 not-muc 33189 unknown 1659 muc 33
1.79/1.87	c iter 80 time 1.2848 not-muc 33192 unknown 1656 muc 33
1.79/1.87	c iter 81 time 1.2918 not-muc 33195 unknown 1653 muc 33
1.79/1.87	c iter 82 time 1.3148 not-muc 33202 unknown 1646 muc 33
1.79/1.87	c iter 83 time 1.3228 not-muc 33203 unknown 1645 muc 33
1.79/1.87	c iter 84 time 1.3328 not-muc 33204 unknown 1644 muc 33
1.79/1.87	c iter 85 time 1.3418 not-muc 33205 unknown 1643 muc 33
1.79/1.87	c iter 86 time 1.35879 not-muc 33214 unknown 1634 muc 33
1.79/1.87	c iter 87 time 1.36479 not-muc 33215 unknown 1633 muc 33
1.79/1.87	c iter 88 time 1.37279 not-muc 33216 unknown 1632 muc 33
1.79/1.87	c iter 89 time 1.37879 not-muc 33218 unknown 1630 muc 33
1.79/1.87	c iter 90 time 1.38479 not-muc 33219 unknown 1629 muc 33
1.79/1.87	c iter 91 time 1.40579 not-muc 33224 unknown 1624 muc 33
1.79/1.87	c iter 92 time 1.41478 not-muc 33225 unknown 1623 muc 33
1.79/1.87	c iter 93 time 1.42278 not-muc 33226 unknown 1622 muc 33
1.79/1.87	c iter 94 time 1.42578 not-muc 33227 unknown 1621 muc 33
1.79/1.87	c iter 95 time 1.42878 not-muc 33228 unknown 1620 muc 33
1.79/1.87	c iter 96 time 1.44078 not-muc 33230 unknown 1618 muc 33
1.79/1.87	c iter 97 time 1.44478 not-muc 33235 unknown 1613 muc 33
1.79/1.87	c iter 98 time 1.44878 not-muc 33236 unknown 1612 muc 33
1.79/1.87	c iter 99 time 1.47477 not-muc 33244 unknown 1604 muc 33
1.79/1.87	c iter 100 time 1.49977 not-muc 33251 unknown 1597 muc 33
1.79/1.87	c iter 101 time 1.52477 not-muc 33263 unknown 1585 muc 33
1.79/1.87	c iter 102 time 1.53677 not-muc 33265 unknown 1583 muc 33
1.79/1.87	c iter 103 time 1.54377 not-muc 33266 unknown 1582 muc 33
1.79/1.87	c iter 104 time 1.54576 not-muc 33267 unknown 1581 muc 33
1.79/1.87	c iter 105 time 1.54776 not-muc 33268 unknown 1580 muc 33
1.79/1.87	c iter 106 time 1.54876 not-muc 33269 unknown 1579 muc 33
1.79/1.87	c iter 107 time 1.55576 not-muc 33270 unknown 1578 muc 33
1.79/1.87	c iter 108 time 1.57976 not-muc 33279 unknown 1569 muc 33
1.79/1.87	c iter 109 time 1.59076 not-muc 33282 unknown 1566 muc 33
1.79/1.87	c iter 110 time 1.59576 not-muc 33284 unknown 1564 muc 33
1.79/1.87	c iter 111 time 1.64575 not-muc 33285 unknown 1563 muc 33
1.79/1.87	c iter 112 time 1.65875 not-muc 33312 unknown 1536 muc 33
1.79/1.87	c iter 113 time 1.66475 not-muc 33316 unknown 1532 muc 33
1.79/1.87	c iter 114 time 1.66975 not-muc 33318 unknown 1530 muc 33
1.79/1.87	c iter 115 time 1.67175 not-muc 33319 unknown 1529 muc 33
1.79/1.87	c iter 116 time 1.69774 not-muc 33343 unknown 1505 muc 33
1.79/1.87	c iter 117 time 1.70274 not-muc 33346 unknown 1502 muc 33
1.79/1.87	c iter 118 time 1.70574 not-muc 33347 unknown 1501 muc 33
1.79/1.87	c iter 119 time 1.70674 not-muc 33351 unknown 1497 muc 33
1.79/1.87	c iter 120 time 1.73174 not-muc 33354 unknown 1494 muc 33
1.79/1.87	c iter 121 time 1.74174 not-muc 33362 unknown 1486 muc 33
1.79/1.87	c iter 122 time 1.74373 not-muc 33363 unknown 1485 muc 33
1.79/1.87	c iter 123 time 1.74973 not-muc 33366 unknown 1482 muc 33
1.79/1.87	c iter 124 time 1.77173 not-muc 33375 unknown 1473 muc 33
1.79/1.87	c iter 125 time 1.77473 not-muc 33376 unknown 1472 muc 33
1.79/1.87	c iter 126 time 1.77973 not-muc 33380 unknown 1468 muc 33
1.79/1.87	c iter 127 time 1.78173 not-muc 33381 unknown 1467 muc 33
1.79/1.87	c iter 128 time 1.78373 not-muc 33382 unknown 1466 muc 33
1.79/1.87	c iter 129 time 1.78473 not-muc 33385 unknown 1463 muc 33
1.79/1.87	c iter 130 time 1.78573 not-muc 33386 unknown 1462 muc 33
1.79/1.87	c iter 131 time 1.78773 not-muc 33387 unknown 1461 muc 33
1.79/1.87	c iter 132 time 1.78873 not-muc 33390 unknown 1458 muc 33
1.79/1.87	c iter 133 time 1.79373 not-muc 33451 unknown 1397 muc 33
1.79/1.87	c iter 134 time 1.79673 not-muc 33452 unknown 1396 muc 33
1.79/1.87	c iter 135 time 1.79773 not-muc 33469 unknown 1379 muc 33
1.79/1.87	c iter 136 time 1.79973 not-muc 33469 unknown 1378 muc 34
1.79/1.87	c iter 137 time 1.81172 not-muc 33472 unknown 1375 muc 34
1.79/1.87	c iter 138 time 1.81572 not-muc 33474 unknown 1373 muc 34
1.79/1.87	c iter 139 time 1.82872 not-muc 33477 unknown 1370 muc 34
1.79/1.87	c iter 140 time 1.83472 not-muc 33478 unknown 1369 muc 34
1.79/1.87	c iter 141 time 1.83972 not-muc 33481 unknown 1366 muc 34
1.79/1.87	c iter 142 time 1.84172 not-muc 33481 unknown 1365 muc 35
2.20/2.22	c iter 143 time 1.85472 not-muc 33482 unknown 1364 muc 35
2.20/2.22	c iter 144 time 1.86972 not-muc 33485 unknown 1361 muc 35
2.20/2.22	c iter 145 time 1.88671 not-muc 33486 unknown 1360 muc 35
2.20/2.22	c iter 146 time 1.89671 not-muc 33493 unknown 1353 muc 35
2.20/2.22	c iter 147 time 1.90671 not-muc 33496 unknown 1350 muc 35
2.20/2.22	c iter 148 time 1.91371 not-muc 33497 unknown 1349 muc 35
2.20/2.22	c iter 149 time 1.92571 not-muc 33498 unknown 1348 muc 35
2.20/2.22	c iter 150 time 1.93471 not-muc 33499 unknown 1347 muc 35
2.20/2.22	c iter 151 time 1.9417 not-muc 33502 unknown 1344 muc 35
2.20/2.22	c iter 152 time 1.9477 not-muc 33503 unknown 1343 muc 35
2.20/2.22	c iter 153 time 1.9507 not-muc 33504 unknown 1342 muc 35
2.20/2.22	c iter 154 time 1.9527 not-muc 33505 unknown 1341 muc 35
2.20/2.22	c iter 155 time 1.9577 not-muc 33506 unknown 1340 muc 35
2.20/2.22	c iter 156 time 1.9697 not-muc 33531 unknown 1315 muc 35
2.20/2.22	c iter 157 time 1.9767 not-muc 33548 unknown 1298 muc 35
2.20/2.22	c iter 158 time 1.9827 not-muc 33551 unknown 1295 muc 35
2.20/2.22	c iter 159 time 1.9857 not-muc 33596 unknown 1250 muc 35
2.20/2.22	c iter 160 time 1.9867 not-muc 33596 unknown 1249 muc 36
2.20/2.22	c iter 161 time 1.9907 not-muc 33596 unknown 1248 muc 37
2.20/2.22	c iter 162 time 1.9917 not-muc 33596 unknown 1247 muc 38
2.20/2.22	c iter 163 time 1.9927 not-muc 33596 unknown 1246 muc 39
2.20/2.22	c iter 164 time 1.9947 not-muc 33596 unknown 1245 muc 40
2.20/2.22	c iter 165 time 2.0027 not-muc 33601 unknown 1240 muc 40
2.20/2.22	c iter 166 time 2.00569 not-muc 33601 unknown 1239 muc 41
2.20/2.22	c iter 167 time 2.00769 not-muc 33601 unknown 1238 muc 42
2.20/2.22	c iter 168 time 2.00869 not-muc 33601 unknown 1237 muc 43
2.20/2.22	c iter 169 time 2.01069 not-muc 33601 unknown 1236 muc 44
2.20/2.22	c iter 170 time 2.01169 not-muc 33601 unknown 1235 muc 45
2.20/2.22	c iter 171 time 2.01369 not-muc 33601 unknown 1234 muc 46
2.20/2.22	c iter 172 time 2.01869 not-muc 33601 unknown 1233 muc 47
2.20/2.22	c iter 173 time 2.02069 not-muc 33601 unknown 1232 muc 48
2.20/2.22	c iter 174 time 2.02269 not-muc 33601 unknown 1231 muc 49
2.20/2.22	c iter 175 time 2.02369 not-muc 33601 unknown 1230 muc 50
2.20/2.22	c iter 176 time 2.02669 not-muc 33601 unknown 1229 muc 51
2.20/2.22	c iter 177 time 2.03369 not-muc 33601 unknown 1228 muc 52
2.20/2.22	c iter 178 time 2.03669 not-muc 33601 unknown 1227 muc 53
2.20/2.22	c iter 179 time 2.04869 not-muc 33609 unknown 1219 muc 53
2.20/2.22	c iter 180 time 2.05169 not-muc 33609 unknown 1218 muc 54
2.20/2.22	c iter 181 time 2.05369 not-muc 33609 unknown 1217 muc 55
2.20/2.22	c iter 182 time 2.06868 not-muc 33615 unknown 1211 muc 55
2.20/2.22	c iter 183 time 2.06968 not-muc 33615 unknown 1210 muc 56
2.20/2.22	c iter 184 time 2.07868 not-muc 33615 unknown 1209 muc 57
2.20/2.22	c iter 185 time 2.08068 not-muc 33615 unknown 1208 muc 58
2.20/2.22	c iter 186 time 2.09868 not-muc 33620 unknown 1203 muc 58
2.20/2.22	c iter 187 time 2.10468 not-muc 33620 unknown 1202 muc 59
2.20/2.22	c iter 188 time 2.10668 not-muc 33620 unknown 1201 muc 60
2.20/2.22	c iter 189 time 2.11368 not-muc 33620 unknown 1200 muc 61
2.20/2.22	c iter 190 time 2.11568 not-muc 33620 unknown 1199 muc 62
2.20/2.22	c iter 191 time 2.11768 not-muc 33620 unknown 1198 muc 63
2.20/2.22	c iter 192 time 2.13567 not-muc 33625 unknown 1193 muc 63
2.20/2.22	c iter 193 time 2.13867 not-muc 33625 unknown 1192 muc 64
2.20/2.22	c iter 194 time 2.14067 not-muc 33625 unknown 1191 muc 65
2.20/2.22	c iter 195 time 2.14267 not-muc 33625 unknown 1190 muc 66
2.20/2.22	c iter 196 time 2.14467 not-muc 33625 unknown 1189 muc 67
2.20/2.22	c iter 197 time 2.14567 not-muc 33625 unknown 1188 muc 68
2.20/2.22	c iter 198 time 2.16567 not-muc 33628 unknown 1185 muc 68
2.20/2.22	c iter 199 time 2.16667 not-muc 33628 unknown 1184 muc 69
2.20/2.22	c iter 200 time 2.16967 not-muc 33628 unknown 1183 muc 70
2.20/2.22	c iter 201 time 2.17067 not-muc 33628 unknown 1182 muc 71
2.20/2.22	c iter 202 time 2.17267 not-muc 33628 unknown 1181 muc 72
2.20/2.22	c iter 203 time 2.17467 not-muc 33628 unknown 1180 muc 73
2.20/2.22	c iter 204 time 2.17567 not-muc 33628 unknown 1179 muc 74
2.20/2.22	c iter 205 time 2.17767 not-muc 33628 unknown 1178 muc 75
2.20/2.22	c iter 206 time 2.18067 not-muc 33628 unknown 1177 muc 76
2.20/2.22	c iter 207 time 2.18167 not-muc 33628 unknown 1176 muc 77
2.20/2.22	c iter 208 time 2.18367 not-muc 33628 unknown 1175 muc 78
2.20/2.22	c iter 209 time 2.18467 not-muc 33628 unknown 1174 muc 79
2.20/2.22	c iter 210 time 2.18667 not-muc 33628 unknown 1173 muc 80
2.20/2.22	c iter 211 time 2.18767 not-muc 33628 unknown 1172 muc 81
2.20/2.22	c iter 212 time 2.18967 not-muc 33628 unknown 1171 muc 82
2.20/2.22	c iter 213 time 2.19167 not-muc 33628 unknown 1170 muc 83
2.49/2.59	c iter 214 time 2.20866 not-muc 33629 unknown 1169 muc 83
2.49/2.59	c iter 215 time 2.21166 not-muc 33629 unknown 1168 muc 84
2.49/2.59	c iter 216 time 2.21366 not-muc 33629 unknown 1167 muc 85
2.49/2.59	c iter 217 time 2.22766 not-muc 33636 unknown 1160 muc 85
2.49/2.59	c iter 218 time 2.23166 not-muc 33636 unknown 1159 muc 86
2.49/2.59	c iter 219 time 2.23366 not-muc 33636 unknown 1158 muc 87
2.49/2.59	c iter 220 time 2.23566 not-muc 33636 unknown 1157 muc 88
2.49/2.59	c iter 221 time 2.24166 not-muc 33636 unknown 1156 muc 89
2.49/2.59	c iter 222 time 2.24566 not-muc 33636 unknown 1155 muc 90
2.49/2.59	c iter 223 time 2.24766 not-muc 33636 unknown 1154 muc 91
2.49/2.59	c iter 224 time 2.25066 not-muc 33636 unknown 1153 muc 92
2.49/2.59	c iter 225 time 2.26465 not-muc 33636 unknown 1152 muc 93
2.49/2.59	c iter 226 time 2.26965 not-muc 33636 unknown 1151 muc 94
2.49/2.59	c iter 227 time 2.27165 not-muc 33636 unknown 1150 muc 95
2.49/2.59	c iter 228 time 2.27865 not-muc 33636 unknown 1149 muc 96
2.49/2.59	c iter 229 time 2.28065 not-muc 33636 unknown 1148 muc 97
2.49/2.59	c iter 230 time 2.28265 not-muc 33636 unknown 1147 muc 98
2.49/2.59	c iter 231 time 2.28465 not-muc 33636 unknown 1146 muc 99
2.49/2.59	c iter 232 time 2.29165 not-muc 33638 unknown 1144 muc 99
2.49/2.59	c iter 233 time 2.29865 not-muc 33638 unknown 1143 muc 100
2.49/2.59	c iter 234 time 2.29965 not-muc 33638 unknown 1142 muc 101
2.49/2.59	c iter 235 time 2.32465 not-muc 33647 unknown 1133 muc 101
2.49/2.59	c iter 236 time 2.32864 not-muc 33647 unknown 1132 muc 102
2.49/2.59	c iter 237 time 2.35664 not-muc 33664 unknown 1115 muc 102
2.49/2.59	c iter 238 time 2.36164 not-muc 33664 unknown 1114 muc 103
2.49/2.59	c iter 239 time 2.37264 not-muc 33681 unknown 1097 muc 103
2.49/2.59	c iter 240 time 2.37464 not-muc 33681 unknown 1096 muc 104
2.49/2.59	c iter 241 time 2.37564 not-muc 33681 unknown 1095 muc 105
2.49/2.59	c iter 242 time 2.37664 not-muc 33681 unknown 1094 muc 106
2.49/2.59	c iter 243 time 2.37864 not-muc 33681 unknown 1093 muc 107
2.49/2.59	c iter 244 time 2.38464 not-muc 33681 unknown 1092 muc 108
2.49/2.59	c iter 245 time 2.38664 not-muc 33681 unknown 1091 muc 109
2.49/2.59	c iter 246 time 2.39364 not-muc 33681 unknown 1090 muc 110
2.49/2.59	c iter 247 time 2.41863 not-muc 33681 unknown 1089 muc 111
2.49/2.59	c iter 248 time 2.42863 not-muc 33681 unknown 1088 muc 112
2.49/2.59	c iter 249 time 2.43063 not-muc 33681 unknown 1087 muc 113
2.49/2.59	c iter 250 time 2.43263 not-muc 33681 unknown 1086 muc 114
2.49/2.59	c iter 251 time 2.43363 not-muc 33681 unknown 1085 muc 115
2.49/2.59	c iter 252 time 2.43563 not-muc 33681 unknown 1084 muc 116
2.49/2.59	c iter 253 time 2.43763 not-muc 33681 unknown 1083 muc 117
2.49/2.59	c iter 254 time 2.43863 not-muc 33681 unknown 1082 muc 118
2.49/2.59	c iter 255 time 2.44063 not-muc 33681 unknown 1081 muc 119
2.49/2.59	c iter 256 time 2.44263 not-muc 33681 unknown 1080 muc 120
2.49/2.59	c iter 257 time 2.44463 not-muc 33681 unknown 1079 muc 121
2.49/2.59	c iter 258 time 2.44763 not-muc 33681 unknown 1078 muc 122
2.49/2.59	c iter 259 time 2.46062 not-muc 33681 unknown 1077 muc 123
2.49/2.59	c iter 260 time 2.46362 not-muc 33681 unknown 1076 muc 124
2.49/2.59	c iter 261 time 2.46563 not-muc 33681 unknown 1075 muc 125
2.49/2.59	c iter 262 time 2.46762 not-muc 33681 unknown 1074 muc 126
2.49/2.59	c iter 263 time 2.46962 not-muc 33681 unknown 1073 muc 127
2.49/2.59	c iter 264 time 2.47162 not-muc 33681 unknown 1072 muc 128
2.49/2.59	c iter 265 time 2.47362 not-muc 33681 unknown 1071 muc 129
2.49/2.59	c iter 266 time 2.47562 not-muc 33681 unknown 1070 muc 130
2.49/2.59	c iter 267 time 2.47862 not-muc 33681 unknown 1069 muc 131
2.49/2.59	c iter 268 time 2.48662 not-muc 33681 unknown 1068 muc 132
2.49/2.59	c iter 269 time 2.49262 not-muc 33681 unknown 1067 muc 133
2.49/2.59	c iter 270 time 2.49862 not-muc 33681 unknown 1066 muc 134
2.49/2.59	c iter 271 time 2.51462 not-muc 33681 unknown 1065 muc 135
2.49/2.59	c iter 272 time 2.51762 not-muc 33681 unknown 1064 muc 136
2.49/2.59	c iter 273 time 2.51962 not-muc 33681 unknown 1063 muc 137
2.49/2.59	c iter 274 time 2.52162 not-muc 33681 unknown 1062 muc 138
2.49/2.59	c iter 275 time 2.52462 not-muc 33681 unknown 1061 muc 139
2.49/2.59	c iter 276 time 2.52662 not-muc 33681 unknown 1060 muc 140
2.49/2.59	c iter 277 time 2.53062 not-muc 33681 unknown 1059 muc 141
2.49/2.59	c iter 278 time 2.53361 not-muc 33681 unknown 1058 muc 142
2.49/2.59	c iter 279 time 2.53661 not-muc 33681 unknown 1057 muc 143
2.49/2.59	c iter 280 time 2.54461 not-muc 33681 unknown 1056 muc 144
2.49/2.59	c iter 281 time 2.54861 not-muc 33681 unknown 1055 muc 145
2.49/2.59	c iter 282 time 2.55061 not-muc 33681 unknown 1054 muc 146
2.49/2.59	c iter 283 time 2.55761 not-muc 33681 unknown 1053 muc 147
2.88/2.98	c iter 284 time 2.56961 not-muc 33681 unknown 1052 muc 148
2.88/2.98	c iter 285 time 2.57161 not-muc 33681 unknown 1051 muc 149
2.88/2.98	c iter 286 time 2.57361 not-muc 33681 unknown 1050 muc 150
2.88/2.98	c iter 287 time 2.57561 not-muc 33681 unknown 1049 muc 151
2.88/2.98	c iter 288 time 2.57761 not-muc 33681 unknown 1048 muc 152
2.88/2.98	c iter 289 time 2.57961 not-muc 33681 unknown 1047 muc 153
2.88/2.98	c iter 290 time 2.58161 not-muc 33681 unknown 1046 muc 154
2.88/2.98	c iter 291 time 2.58361 not-muc 33681 unknown 1045 muc 155
2.88/2.98	c iter 292 time 2.58561 not-muc 33681 unknown 1044 muc 156
2.88/2.98	c iter 293 time 2.58761 not-muc 33681 unknown 1043 muc 157
2.88/2.98	c iter 294 time 2.58961 not-muc 33681 unknown 1042 muc 158
2.88/2.98	c iter 295 time 2.59161 not-muc 33681 unknown 1041 muc 159
2.88/2.98	c iter 296 time 2.5926 not-muc 33681 unknown 1040 muc 160
2.88/2.98	c iter 297 time 2.59461 not-muc 33681 unknown 1039 muc 161
2.88/2.98	c iter 298 time 2.59661 not-muc 33681 unknown 1038 muc 162
2.88/2.98	c iter 299 time 2.5986 not-muc 33681 unknown 1037 muc 163
2.88/2.98	c iter 300 time 2.6076 not-muc 33681 unknown 1036 muc 164
2.88/2.98	c iter 301 time 2.6116 not-muc 33681 unknown 1035 muc 165
2.88/2.98	c iter 302 time 2.6146 not-muc 33681 unknown 1034 muc 166
2.88/2.98	c iter 303 time 2.6166 not-muc 33681 unknown 1033 muc 167
2.88/2.98	c iter 304 time 2.6206 not-muc 33681 unknown 1032 muc 168
2.88/2.98	c iter 305 time 2.6266 not-muc 33681 unknown 1031 muc 169
2.88/2.98	c iter 306 time 2.6306 not-muc 33681 unknown 1030 muc 170
2.88/2.98	c iter 307 time 2.6426 not-muc 33682 unknown 1029 muc 170
2.88/2.98	c iter 308 time 2.6446 not-muc 33682 unknown 1028 muc 171
2.88/2.98	c iter 309 time 2.6476 not-muc 33682 unknown 1027 muc 172
2.88/2.98	c iter 310 time 2.6506 not-muc 33682 unknown 1026 muc 173
2.88/2.98	c iter 311 time 2.6526 not-muc 33682 unknown 1025 muc 174
2.88/2.98	c iter 312 time 2.66759 not-muc 33683 unknown 1024 muc 174
2.88/2.98	c iter 313 time 2.67059 not-muc 33683 unknown 1023 muc 175
2.88/2.98	c iter 314 time 2.67359 not-muc 33683 unknown 1022 muc 176
2.88/2.98	c iter 315 time 2.67759 not-muc 33683 unknown 1021 muc 177
2.88/2.98	c iter 316 time 2.68059 not-muc 33683 unknown 1020 muc 178
2.88/2.98	c iter 317 time 2.69659 not-muc 33687 unknown 1016 muc 178
2.88/2.98	c iter 318 time 2.69959 not-muc 33687 unknown 1015 muc 179
2.88/2.98	c iter 319 time 2.71159 not-muc 33687 unknown 1014 muc 180
2.88/2.98	c iter 320 time 2.72358 not-muc 33687 unknown 1013 muc 181
2.88/2.98	c iter 321 time 2.72659 not-muc 33687 unknown 1012 muc 182
2.88/2.98	c iter 322 time 2.73558 not-muc 33688 unknown 1011 muc 182
2.88/2.98	c iter 323 time 2.73758 not-muc 33688 unknown 1010 muc 183
2.88/2.98	c iter 324 time 2.73858 not-muc 33688 unknown 1009 muc 184
2.88/2.98	c iter 325 time 2.74058 not-muc 33688 unknown 1008 muc 185
2.88/2.98	c iter 326 time 2.74158 not-muc 33688 unknown 1007 muc 186
2.88/2.98	c iter 327 time 2.74358 not-muc 33688 unknown 1006 muc 187
2.88/2.98	c iter 328 time 2.75358 not-muc 33689 unknown 1005 muc 187
2.88/2.98	c iter 329 time 2.75958 not-muc 33689 unknown 1004 muc 188
2.88/2.98	c iter 330 time 2.76258 not-muc 33689 unknown 1003 muc 189
2.88/2.98	c iter 331 time 2.76558 not-muc 33689 unknown 1002 muc 190
2.88/2.98	c iter 332 time 2.79358 not-muc 33693 unknown 998 muc 190
2.88/2.98	c iter 333 time 2.80057 not-muc 33693 unknown 997 muc 191
2.88/2.98	c iter 334 time 2.80957 not-muc 33693 unknown 996 muc 192
2.88/2.98	c iter 335 time 2.82957 not-muc 33694 unknown 995 muc 192
2.88/2.98	c iter 336 time 2.83857 not-muc 33694 unknown 994 muc 193
2.88/2.98	c iter 337 time 2.84157 not-muc 33694 unknown 993 muc 194
2.88/2.98	c iter 338 time 2.84357 not-muc 33694 unknown 992 muc 195
2.88/2.98	c iter 339 time 2.84557 not-muc 33694 unknown 991 muc 196
2.88/2.98	c iter 340 time 2.85956 not-muc 33694 unknown 990 muc 197
2.88/2.98	c iter 341 time 2.86656 not-muc 33694 unknown 989 muc 198
2.88/2.98	c iter 342 time 2.87856 not-muc 33694 unknown 988 muc 199
2.88/2.98	c iter 343 time 2.88556 not-muc 33694 unknown 987 muc 200
2.88/2.98	c iter 344 time 2.90856 not-muc 33706 unknown 975 muc 200
2.88/2.98	c iter 345 time 2.91056 not-muc 33706 unknown 974 muc 201
2.88/2.98	c iter 346 time 2.91156 not-muc 33706 unknown 973 muc 202
2.88/2.98	c iter 347 time 2.91456 not-muc 33706 unknown 972 muc 203
2.88/2.98	c iter 348 time 2.93455 not-muc 33706 unknown 971 muc 204
2.88/2.98	c iter 349 time 2.93755 not-muc 33706 unknown 970 muc 205
2.88/2.98	c iter 350 time 2.94255 not-muc 33706 unknown 969 muc 206
2.88/2.98	c iter 351 time 2.94455 not-muc 33706 unknown 968 muc 207
2.88/2.98	c iter 352 time 2.94655 not-muc 33706 unknown 967 muc 208
2.88/2.98	c iter 353 time 2.94855 not-muc 33706 unknown 966 muc 209
3.30/3.35	c iter 354 time 2.95155 not-muc 33706 unknown 965 muc 210
3.30/3.35	c iter 355 time 2.95355 not-muc 33706 unknown 964 muc 211
3.30/3.35	c iter 356 time 2.95555 not-muc 33706 unknown 963 muc 212
3.30/3.35	c iter 357 time 2.96155 not-muc 33706 unknown 962 muc 213
3.30/3.35	c iter 358 time 2.96555 not-muc 33706 unknown 961 muc 214
3.30/3.35	c iter 359 time 2.96855 not-muc 33706 unknown 960 muc 215
3.30/3.35	c iter 360 time 2.97555 not-muc 33706 unknown 959 muc 216
3.30/3.35	c iter 361 time 2.97755 not-muc 33706 unknown 958 muc 217
3.30/3.35	c iter 362 time 2.98155 not-muc 33706 unknown 957 muc 218
3.30/3.35	c iter 363 time 2.98455 not-muc 33706 unknown 956 muc 219
3.30/3.35	c iter 364 time 2.99554 not-muc 33706 unknown 955 muc 220
3.30/3.35	c iter 365 time 3.00054 not-muc 33706 unknown 954 muc 221
3.30/3.35	c iter 366 time 3.01554 not-muc 33707 unknown 953 muc 221
3.30/3.35	c iter 367 time 3.01654 not-muc 33707 unknown 952 muc 222
3.30/3.35	c iter 368 time 3.02854 not-muc 33707 unknown 951 muc 223
3.30/3.35	c iter 369 time 3.03954 not-muc 33707 unknown 950 muc 224
3.30/3.35	c iter 370 time 3.04454 not-muc 33708 unknown 949 muc 224
3.30/3.35	c iter 371 time 3.04654 not-muc 33708 unknown 948 muc 225
3.30/3.35	c iter 372 time 3.05054 not-muc 33709 unknown 947 muc 225
3.30/3.35	c iter 373 time 3.05953 not-muc 33709 unknown 946 muc 226
3.30/3.35	c iter 374 time 3.07053 not-muc 33709 unknown 945 muc 227
3.30/3.35	c iter 375 time 3.07653 not-muc 33711 unknown 943 muc 227
3.30/3.35	c iter 376 time 3.07853 not-muc 33712 unknown 942 muc 227
3.30/3.35	c iter 377 time 3.08753 not-muc 33714 unknown 940 muc 227
3.30/3.35	c iter 378 time 3.08953 not-muc 33714 unknown 939 muc 228
3.30/3.35	c iter 379 time 3.10453 not-muc 33714 unknown 938 muc 229
3.30/3.35	c iter 380 time 3.11053 not-muc 33714 unknown 937 muc 230
3.30/3.35	c iter 381 time 3.11852 not-muc 33714 unknown 936 muc 231
3.30/3.35	c iter 382 time 3.12552 not-muc 33714 unknown 935 muc 232
3.30/3.35	c iter 383 time 3.12952 not-muc 33714 unknown 934 muc 233
3.30/3.35	c iter 384 time 3.13052 not-muc 33714 unknown 933 muc 234
3.30/3.35	c iter 385 time 3.13252 not-muc 33714 unknown 932 muc 235
3.30/3.35	c iter 386 time 3.13552 not-muc 33717 unknown 929 muc 235
3.30/3.35	c iter 387 time 3.14552 not-muc 33718 unknown 928 muc 235
3.30/3.35	c iter 388 time 3.15152 not-muc 33718 unknown 927 muc 236
3.30/3.35	c iter 389 time 3.16552 not-muc 33720 unknown 925 muc 236
3.30/3.35	c iter 390 time 3.17052 not-muc 33721 unknown 924 muc 236
3.30/3.35	c iter 391 time 3.17152 not-muc 33721 unknown 923 muc 237
3.30/3.35	c iter 392 time 3.18252 not-muc 33722 unknown 922 muc 237
3.30/3.35	c iter 393 time 3.18452 not-muc 33722 unknown 921 muc 238
3.30/3.35	c iter 394 time 3.18651 not-muc 33722 unknown 920 muc 239
3.30/3.35	c iter 395 time 3.19951 not-muc 33722 unknown 919 muc 240
3.30/3.35	c iter 396 time 3.20051 not-muc 33722 unknown 918 muc 241
3.30/3.35	c iter 397 time 3.20251 not-muc 33722 unknown 917 muc 242
3.30/3.35	c iter 398 time 3.20351 not-muc 33722 unknown 916 muc 243
3.30/3.35	c iter 399 time 3.20551 not-muc 33722 unknown 915 muc 244
3.30/3.35	c iter 400 time 3.20651 not-muc 33722 unknown 914 muc 245
3.30/3.35	c iter 401 time 3.20851 not-muc 33722 unknown 913 muc 246
3.30/3.35	c iter 402 time 3.21451 not-muc 33737 unknown 898 muc 246
3.30/3.35	c iter 403 time 3.21551 not-muc 33737 unknown 897 muc 247
3.30/3.35	c iter 404 time 3.21851 not-muc 33737 unknown 896 muc 248
3.30/3.35	c iter 405 time 3.22251 not-muc 33737 unknown 895 muc 249
3.30/3.35	c iter 406 time 3.22451 not-muc 33737 unknown 894 muc 250
3.30/3.35	c iter 407 time 3.22751 not-muc 33738 unknown 893 muc 250
3.30/3.35	c iter 408 time 3.23351 not-muc 33738 unknown 892 muc 251
3.30/3.35	c iter 409 time 3.23551 not-muc 33738 unknown 891 muc 252
3.30/3.35	c iter 410 time 3.23851 not-muc 33738 unknown 890 muc 253
3.30/3.35	c iter 411 time 3.24251 not-muc 33738 unknown 889 muc 254
3.30/3.35	c iter 412 time 3.24451 not-muc 33738 unknown 888 muc 255
3.30/3.35	c iter 413 time 3.24551 not-muc 33738 unknown 887 muc 256
3.30/3.35	c iter 414 time 3.24951 not-muc 33742 unknown 883 muc 256
3.30/3.35	c iter 415 time 3.2515 not-muc 33742 unknown 882 muc 257
3.30/3.35	c iter 416 time 3.2605 not-muc 33744 unknown 880 muc 257
3.30/3.35	c iter 417 time 3.2665 not-muc 33744 unknown 879 muc 258
3.30/3.35	c iter 418 time 3.2715 not-muc 33746 unknown 877 muc 258
3.30/3.35	c iter 419 time 3.2775 not-muc 33746 unknown 876 muc 259
3.30/3.35	c iter 420 time 3.2795 not-muc 33746 unknown 875 muc 260
3.30/3.35	c iter 421 time 3.2875 not-muc 33748 unknown 873 muc 260
3.30/3.35	c iter 422 time 3.2965 not-muc 33752 unknown 869 muc 260
3.30/3.35	c iter 423 time 3.3075 not-muc 33755 unknown 866 muc 260
3.49/3.56	c iter 424 time 3.3125 not-muc 33755 unknown 865 muc 261
3.49/3.56	c iter 425 time 3.3145 not-muc 33757 unknown 863 muc 261
3.49/3.56	c iter 426 time 3.31549 not-muc 33757 unknown 862 muc 262
3.49/3.56	c iter 427 time 3.3175 not-muc 33757 unknown 861 muc 263
3.49/3.56	c iter 428 time 3.32649 not-muc 33759 unknown 859 muc 263
3.49/3.56	c iter 429 time 3.33449 not-muc 33759 unknown 858 muc 264
3.49/3.56	c iter 430 time 3.33649 not-muc 33759 unknown 857 muc 265
3.49/3.56	c iter 431 time 3.34049 not-muc 33761 unknown 855 muc 265
3.49/3.56	c iter 432 time 3.34149 not-muc 33761 unknown 854 muc 266
3.49/3.56	c iter 433 time 3.34249 not-muc 33761 unknown 853 muc 267
3.49/3.56	c iter 434 time 3.34449 not-muc 33761 unknown 852 muc 268
3.49/3.56	c iter 435 time 3.34549 not-muc 33761 unknown 851 muc 269
3.49/3.56	c iter 436 time 3.34749 not-muc 33761 unknown 850 muc 270
3.49/3.56	c iter 437 time 3.34849 not-muc 33761 unknown 849 muc 271
3.49/3.56	c iter 438 time 3.34949 not-muc 33761 unknown 848 muc 272
3.49/3.56	c iter 439 time 3.35149 not-muc 33761 unknown 847 muc 273
3.49/3.56	c iter 440 time 3.35249 not-muc 33761 unknown 846 muc 274
3.49/3.56	c iter 441 time 3.35549 not-muc 33761 unknown 845 muc 275
3.49/3.56	c iter 442 time 3.35749 not-muc 33761 unknown 844 muc 276
3.49/3.56	c iter 443 time 3.36749 not-muc 33761 unknown 843 muc 277
3.49/3.56	c iter 444 time 3.37149 not-muc 33761 unknown 842 muc 278
3.49/3.56	c iter 445 time 3.37349 not-muc 33761 unknown 841 muc 279
3.49/3.56	c iter 446 time 3.37849 not-muc 33761 unknown 840 muc 280
3.49/3.56	c iter 447 time 3.38549 not-muc 33761 unknown 839 muc 281
3.49/3.56	c iter 448 time 3.38648 not-muc 33761 unknown 838 muc 282
3.49/3.56	c iter 449 time 3.38848 not-muc 33761 unknown 837 muc 283
3.49/3.56	c iter 450 time 3.39248 not-muc 33761 unknown 836 muc 284
3.49/3.56	c iter 451 time 3.39348 not-muc 33761 unknown 835 muc 285
3.49/3.56	c iter 452 time 3.40148 not-muc 33761 unknown 834 muc 286
3.49/3.56	c iter 453 time 3.40548 not-muc 33761 unknown 833 muc 287
3.49/3.56	c iter 454 time 3.40648 not-muc 33761 unknown 832 muc 288
3.49/3.56	c iter 455 time 3.40848 not-muc 33761 unknown 831 muc 289
3.49/3.56	c iter 456 time 3.41048 not-muc 33761 unknown 830 muc 290
3.49/3.56	c iter 457 time 3.41348 not-muc 33761 unknown 829 muc 291
3.49/3.56	c iter 458 time 3.41548 not-muc 33761 unknown 828 muc 292
3.49/3.56	c iter 459 time 3.41848 not-muc 33763 unknown 826 muc 292
3.49/3.56	c iter 460 time 3.42048 not-muc 33764 unknown 825 muc 292
3.49/3.56	c iter 461 time 3.42248 not-muc 33764 unknown 824 muc 293
3.49/3.56	c iter 462 time 3.42748 not-muc 33766 unknown 822 muc 293
3.49/3.56	c iter 463 time 3.42948 not-muc 33766 unknown 821 muc 294
3.49/3.56	c iter 464 time 3.44448 not-muc 33766 unknown 820 muc 295
3.49/3.56	c iter 465 time 3.44948 not-muc 33767 unknown 819 muc 295
3.49/3.56	c iter 466 time 3.45147 not-muc 33767 unknown 818 muc 296
3.49/3.56	c iter 467 time 3.45447 not-muc 33770 unknown 815 muc 296
3.49/3.56	c iter 468 time 3.45547 not-muc 33771 unknown 814 muc 296
3.49/3.56	c iter 469 time 3.45747 not-muc 33771 unknown 813 muc 297
3.49/3.56	c iter 470 time 3.46347 not-muc 33772 unknown 812 muc 297
3.49/3.56	c iter 471 time 3.46547 not-muc 33772 unknown 811 muc 298
3.49/3.56	c iter 472 time 3.47247 not-muc 33773 unknown 810 muc 298
3.49/3.56	c iter 473 time 3.47447 not-muc 33773 unknown 809 muc 299
3.49/3.56	c iter 474 time 3.47647 not-muc 33773 unknown 808 muc 300
3.49/3.56	c iter 475 time 3.48247 not-muc 33773 unknown 807 muc 301
3.49/3.56	c iter 476 time 3.48547 not-muc 33773 unknown 806 muc 302
3.49/3.56	c iter 477 time 3.48847 not-muc 33773 unknown 805 muc 303
3.49/3.56	c iter 478 time 3.49347 not-muc 33773 unknown 804 muc 304
3.49/3.56	c iter 479 time 3.49547 not-muc 33773 unknown 803 muc 305
3.49/3.56	c iter 480 time 3.50347 not-muc 33790 unknown 786 muc 305
3.49/3.56	c iter 481 time 3.50447 not-muc 33790 unknown 785 muc 306
3.49/3.56	c iter 482 time 3.50647 not-muc 33790 unknown 784 muc 307
3.49/3.56	c iter 483 time 3.50747 not-muc 33790 unknown 783 muc 308
3.49/3.56	c iter 484 time 3.50847 not-muc 33790 unknown 782 muc 309
3.49/3.56	c iter 485 time 3.51047 not-muc 33790 unknown 781 muc 310
3.49/3.56	c iter 486 time 3.51147 not-muc 33790 unknown 780 muc 311
3.49/3.56	c iter 487 time 3.51347 not-muc 33790 unknown 779 muc 312
3.49/3.56	c iter 488 time 3.51446 not-muc 33790 unknown 778 muc 313
3.49/3.56	c iter 489 time 3.51546 not-muc 33790 unknown 777 muc 314
3.49/3.56	c iter 490 time 3.51747 not-muc 33790 unknown 776 muc 315
3.49/3.56	c iter 491 time 3.51846 not-muc 33790 unknown 775 muc 316
3.49/3.56	c iter 492 time 3.51946 not-muc 33790 unknown 774 muc 317
3.49/3.56	c iter 493 time 3.52046 not-muc 33790 unknown 773 muc 318
3.49/3.56	c iter 494 time 3.52246 not-muc 33790 unknown 772 muc 319
3.69/3.77	c iter 495 time 3.52346 not-muc 33790 unknown 771 muc 320
3.69/3.77	c iter 496 time 3.52446 not-muc 33790 unknown 770 muc 321
3.69/3.77	c iter 497 time 3.52546 not-muc 33790 unknown 769 muc 322
3.69/3.77	c iter 498 time 3.52746 not-muc 33790 unknown 768 muc 323
3.69/3.77	c iter 499 time 3.52846 not-muc 33790 unknown 767 muc 324
3.69/3.77	c iter 500 time 3.54846 not-muc 33791 unknown 766 muc 324
3.69/3.77	c iter 501 time 3.55146 not-muc 33791 unknown 765 muc 325
3.69/3.77	c iter 502 time 3.55346 not-muc 33791 unknown 764 muc 326
3.69/3.77	c iter 503 time 3.55646 not-muc 33791 unknown 763 muc 327
3.69/3.77	c iter 504 time 3.55846 not-muc 33791 unknown 762 muc 328
3.69/3.77	c iter 505 time 3.57246 not-muc 33792 unknown 761 muc 328
3.69/3.77	c iter 506 time 3.57546 not-muc 33792 unknown 760 muc 329
3.69/3.77	c iter 507 time 3.57746 not-muc 33792 unknown 759 muc 330
3.69/3.77	c iter 508 time 3.58245 not-muc 33792 unknown 758 muc 331
3.69/3.77	c iter 509 time 3.58845 not-muc 33792 unknown 757 muc 332
3.69/3.77	c iter 510 time 3.59045 not-muc 33792 unknown 756 muc 333
3.69/3.77	c iter 511 time 3.59445 not-muc 33792 unknown 755 muc 334
3.69/3.77	c iter 512 time 3.59745 not-muc 33792 unknown 754 muc 335
3.69/3.77	c iter 513 time 3.60245 not-muc 33792 unknown 753 muc 336
3.69/3.77	c iter 514 time 3.61045 not-muc 33792 unknown 752 muc 337
3.69/3.77	c iter 515 time 3.61245 not-muc 33792 unknown 751 muc 338
3.69/3.77	c iter 516 time 3.61445 not-muc 33792 unknown 750 muc 339
3.69/3.77	c iter 517 time 3.61545 not-muc 33792 unknown 749 muc 340
3.69/3.77	c iter 518 time 3.61845 not-muc 33792 unknown 748 muc 341
3.69/3.77	c iter 519 time 3.61945 not-muc 33792 unknown 747 muc 342
3.69/3.77	c iter 520 time 3.63445 not-muc 33808 unknown 731 muc 342
3.69/3.77	c iter 521 time 3.63645 not-muc 33808 unknown 730 muc 343
3.69/3.77	c iter 522 time 3.63745 not-muc 33808 unknown 729 muc 344
3.69/3.77	c iter 523 time 3.63845 not-muc 33808 unknown 728 muc 345
3.69/3.77	c iter 524 time 3.63945 not-muc 33808 unknown 727 muc 346
3.69/3.77	c iter 525 time 3.64145 not-muc 33808 unknown 726 muc 347
3.69/3.77	c iter 526 time 3.64245 not-muc 33808 unknown 725 muc 348
3.69/3.77	c iter 527 time 3.64345 not-muc 33808 unknown 724 muc 349
3.69/3.77	c iter 528 time 3.64445 not-muc 33808 unknown 723 muc 350
3.69/3.77	c iter 529 time 3.64644 not-muc 33808 unknown 722 muc 351
3.69/3.77	c iter 530 time 3.64745 not-muc 33808 unknown 721 muc 352
3.69/3.77	c iter 531 time 3.64845 not-muc 33808 unknown 720 muc 353
3.69/3.77	c iter 532 time 3.65044 not-muc 33808 unknown 719 muc 354
3.69/3.77	c iter 533 time 3.65144 not-muc 33808 unknown 718 muc 355
3.69/3.77	c iter 534 time 3.66744 not-muc 33808 unknown 717 muc 356
3.69/3.77	c iter 535 time 3.66844 not-muc 33808 unknown 716 muc 357
3.69/3.77	c iter 536 time 3.67044 not-muc 33808 unknown 715 muc 358
3.69/3.77	c iter 537 time 3.67144 not-muc 33808 unknown 714 muc 359
3.69/3.77	c iter 538 time 3.67244 not-muc 33808 unknown 713 muc 360
3.69/3.77	c iter 539 time 3.67444 not-muc 33808 unknown 712 muc 361
3.69/3.77	c iter 540 time 3.67644 not-muc 33808 unknown 711 muc 362
3.69/3.77	c iter 541 time 3.67844 not-muc 33808 unknown 710 muc 363
3.69/3.77	c iter 542 time 3.68044 not-muc 33808 unknown 709 muc 364
3.69/3.77	c iter 543 time 3.68144 not-muc 33808 unknown 708 muc 365
3.69/3.77	c iter 544 time 3.68244 not-muc 33808 unknown 707 muc 366
3.69/3.77	c iter 545 time 3.68444 not-muc 33808 unknown 706 muc 367
3.69/3.77	c iter 546 time 3.68544 not-muc 33808 unknown 705 muc 368
3.69/3.77	c iter 547 time 3.68744 not-muc 33808 unknown 704 muc 369
3.69/3.77	c iter 548 time 3.68844 not-muc 33808 unknown 703 muc 370
3.69/3.77	c iter 549 time 3.69044 not-muc 33808 unknown 702 muc 371
3.69/3.77	c iter 550 time 3.69244 not-muc 33808 unknown 701 muc 372
3.69/3.77	c iter 551 time 3.69344 not-muc 33808 unknown 700 muc 373
3.69/3.77	c iter 552 time 3.69944 not-muc 33810 unknown 698 muc 373
3.69/3.77	c iter 553 time 3.70344 not-muc 33810 unknown 697 muc 374
3.69/3.77	c iter 554 time 3.70544 not-muc 33810 unknown 696 muc 375
3.69/3.77	c iter 555 time 3.70644 not-muc 33810 unknown 695 muc 376
3.69/3.77	c iter 556 time 3.70944 not-muc 33812 unknown 693 muc 376
3.69/3.77	c iter 557 time 3.71043 not-muc 33812 unknown 692 muc 377
3.69/3.77	c iter 558 time 3.71143 not-muc 33812 unknown 691 muc 378
3.69/3.77	c iter 559 time 3.71344 not-muc 33812 unknown 690 muc 379
3.69/3.77	c iter 560 time 3.71443 not-muc 33812 unknown 689 muc 380
3.69/3.77	c iter 561 time 3.72643 not-muc 33812 unknown 688 muc 381
3.69/3.77	c iter 562 time 3.72843 not-muc 33812 unknown 687 muc 382
3.69/3.77	c iter 563 time 3.73143 not-muc 33814 unknown 685 muc 382
3.69/3.77	c iter 564 time 3.73243 not-muc 33814 unknown 684 muc 383
3.69/3.77	c iter 565 time 3.73443 not-muc 33814 unknown 683 muc 384
3.89/3.99	c iter 566 time 3.73643 not-muc 33814 unknown 682 muc 385
3.89/3.99	c iter 567 time 3.73743 not-muc 33814 unknown 681 muc 386
3.89/3.99	c iter 568 time 3.74343 not-muc 33814 unknown 680 muc 387
3.89/3.99	c iter 569 time 3.74543 not-muc 33814 unknown 679 muc 388
3.89/3.99	c iter 570 time 3.74643 not-muc 33814 unknown 678 muc 389
3.89/3.99	c iter 571 time 3.74843 not-muc 33814 unknown 677 muc 390
3.89/3.99	c iter 572 time 3.75043 not-muc 33814 unknown 676 muc 391
3.89/3.99	c iter 573 time 3.75443 not-muc 33814 unknown 675 muc 392
3.89/3.99	c iter 574 time 3.75743 not-muc 33814 unknown 674 muc 393
3.89/3.99	c iter 575 time 3.75943 not-muc 33814 unknown 673 muc 394
3.89/3.99	c iter 576 time 3.76843 not-muc 33814 unknown 672 muc 395
3.89/3.99	c iter 577 time 3.77143 not-muc 33814 unknown 671 muc 396
3.89/3.99	c iter 578 time 3.77443 not-muc 33814 unknown 670 muc 397
3.89/3.99	c iter 579 time 3.77643 not-muc 33814 unknown 669 muc 398
3.89/3.99	c iter 580 time 3.77842 not-muc 33814 unknown 668 muc 399
3.89/3.99	c iter 581 time 3.78342 not-muc 33814 unknown 667 muc 400
3.89/3.99	c iter 582 time 3.78642 not-muc 33814 unknown 666 muc 401
3.89/3.99	c iter 583 time 3.78942 not-muc 33814 unknown 665 muc 402
3.89/3.99	c iter 584 time 3.79142 not-muc 33814 unknown 664 muc 403
3.89/3.99	c iter 585 time 3.79342 not-muc 33814 unknown 663 muc 404
3.89/3.99	c iter 586 time 3.79742 not-muc 33814 unknown 662 muc 405
3.89/3.99	c iter 587 time 3.80042 not-muc 33814 unknown 661 muc 406
3.89/3.99	c iter 588 time 3.80342 not-muc 33814 unknown 660 muc 407
3.89/3.99	c iter 589 time 3.80642 not-muc 33814 unknown 659 muc 408
3.89/3.99	c iter 590 time 3.80842 not-muc 33814 unknown 658 muc 409
3.89/3.99	c iter 591 time 3.81042 not-muc 33814 unknown 657 muc 410
3.89/3.99	c iter 592 time 3.81242 not-muc 33814 unknown 656 muc 411
3.89/3.99	c iter 593 time 3.81542 not-muc 33814 unknown 655 muc 412
3.89/3.99	c iter 594 time 3.81742 not-muc 33814 unknown 654 muc 413
3.89/3.99	c iter 595 time 3.81942 not-muc 33814 unknown 653 muc 414
3.89/3.99	c iter 596 time 3.82242 not-muc 33814 unknown 652 muc 415
3.89/3.99	c iter 597 time 3.82442 not-muc 33814 unknown 651 muc 416
3.89/3.99	c iter 598 time 3.82642 not-muc 33814 unknown 650 muc 417
3.89/3.99	c iter 599 time 3.82842 not-muc 33814 unknown 649 muc 418
3.89/3.99	c iter 600 time 3.83142 not-muc 33814 unknown 648 muc 419
3.89/3.99	c iter 601 time 3.84142 not-muc 33814 unknown 647 muc 420
3.89/3.99	c iter 602 time 3.84342 not-muc 33814 unknown 646 muc 421
3.89/3.99	c iter 603 time 3.84542 not-muc 33814 unknown 645 muc 422
3.89/3.99	c iter 604 time 3.84741 not-muc 33814 unknown 644 muc 423
3.89/3.99	c iter 605 time 3.84941 not-muc 33814 unknown 643 muc 424
3.89/3.99	c iter 606 time 3.85141 not-muc 33814 unknown 642 muc 425
3.89/3.99	c iter 607 time 3.85341 not-muc 33814 unknown 641 muc 426
3.89/3.99	c iter 608 time 3.85941 not-muc 33814 unknown 640 muc 427
3.89/3.99	c iter 609 time 3.86241 not-muc 33814 unknown 639 muc 428
3.89/3.99	c iter 610 time 3.86441 not-muc 33814 unknown 638 muc 429
3.89/3.99	c iter 611 time 3.87441 not-muc 33814 unknown 637 muc 430
3.89/3.99	c iter 612 time 3.88141 not-muc 33814 unknown 636 muc 431
3.89/3.99	c iter 613 time 3.88741 not-muc 33814 unknown 635 muc 432
3.89/3.99	c iter 614 time 3.89041 not-muc 33814 unknown 634 muc 433
3.89/3.99	c iter 615 time 3.89341 not-muc 33814 unknown 633 muc 434
3.89/3.99	c iter 616 time 3.90341 not-muc 33817 unknown 630 muc 434
3.89/3.99	c iter 617 time 3.90841 not-muc 33817 unknown 629 muc 435
3.89/3.99	c iter 618 time 3.91141 not-muc 33817 unknown 628 muc 436
3.89/3.99	c iter 619 time 3.9214 not-muc 33819 unknown 626 muc 436
3.89/3.99	c iter 620 time 3.9254 not-muc 33819 unknown 625 muc 437
3.89/3.99	c iter 621 time 3.9274 not-muc 33819 unknown 624 muc 438
3.89/3.99	c iter 622 time 3.9294 not-muc 33820 unknown 623 muc 438
3.89/3.99	c iter 623 time 3.9314 not-muc 33820 unknown 622 muc 439
3.89/3.99	c iter 624 time 3.9324 not-muc 33820 unknown 621 muc 440
3.89/3.99	c iter 625 time 3.9344 not-muc 33820 unknown 620 muc 441
3.89/3.99	c iter 626 time 3.9354 not-muc 33820 unknown 619 muc 442
3.89/3.99	c iter 627 time 3.9364 not-muc 33820 unknown 618 muc 443
3.89/3.99	c iter 628 time 3.9394 not-muc 33820 unknown 617 muc 444
3.89/3.99	c iter 629 time 3.9404 not-muc 33820 unknown 616 muc 445
3.89/3.99	c iter 630 time 3.9424 not-muc 33820 unknown 615 muc 446
3.89/3.99	c iter 631 time 3.9434 not-muc 33820 unknown 614 muc 447
3.89/3.99	c iter 632 time 3.9454 not-muc 33820 unknown 613 muc 448
3.89/3.99	c iter 633 time 3.9464 not-muc 33820 unknown 612 muc 449
3.89/3.99	c iter 634 time 3.9484 not-muc 33820 unknown 611 muc 450
3.89/3.99	c iter 635 time 3.9504 not-muc 33820 unknown 610 muc 451
3.89/3.99	c iter 636 time 3.9534 not-muc 33820 unknown 609 muc 452
4.09/4.15	c iter 637 time 3.9564 not-muc 33820 unknown 608 muc 453
4.09/4.15	c iter 638 time 3.9614 not-muc 33820 unknown 607 muc 454
4.09/4.15	c iter 639 time 3.9634 not-muc 33820 unknown 606 muc 455
4.09/4.15	c iter 640 time 3.9664 not-muc 33820 unknown 605 muc 456
4.09/4.15	c iter 641 time 3.9714 not-muc 33821 unknown 604 muc 456
4.09/4.15	c iter 642 time 3.9734 not-muc 33821 unknown 603 muc 457
4.09/4.15	c iter 643 time 3.9774 not-muc 33821 unknown 602 muc 458
4.09/4.15	c iter 644 time 3.97839 not-muc 33821 unknown 601 muc 459
4.09/4.15	c iter 645 time 3.98439 not-muc 33821 unknown 600 muc 460
4.09/4.15	c iter 646 time 3.98739 not-muc 33822 unknown 599 muc 460
4.09/4.15	c iter 647 time 3.98839 not-muc 33822 unknown 598 muc 461
4.09/4.15	c iter 648 time 3.99139 not-muc 33823 unknown 597 muc 461
4.09/4.15	c iter 649 time 3.99239 not-muc 33823 unknown 596 muc 462
4.09/4.15	c iter 650 time 3.99739 not-muc 33824 unknown 595 muc 462
4.09/4.15	c iter 651 time 3.99839 not-muc 33824 unknown 594 muc 463
4.09/4.15	c iter 652 time 3.99939 not-muc 33824 unknown 593 muc 464
4.09/4.15	c iter 653 time 4.00939 not-muc 33825 unknown 592 muc 464
4.09/4.15	c iter 654 time 4.01239 not-muc 33825 unknown 591 muc 465
4.09/4.15	c iter 655 time 4.01339 not-muc 33825 unknown 590 muc 466
4.09/4.15	c iter 656 time 4.01439 not-muc 33825 unknown 589 muc 467
4.09/4.15	c iter 657 time 4.02139 not-muc 33826 unknown 588 muc 467
4.09/4.15	c iter 658 time 4.02339 not-muc 33826 unknown 587 muc 468
4.09/4.15	c iter 659 time 4.02639 not-muc 33826 unknown 586 muc 469
4.09/4.15	c iter 660 time 4.03139 not-muc 33826 unknown 585 muc 470
4.09/4.15	c iter 661 time 4.03239 not-muc 33826 unknown 584 muc 471
4.09/4.15	c iter 662 time 4.03439 not-muc 33826 unknown 583 muc 472
4.09/4.15	c iter 663 time 4.04038 not-muc 33827 unknown 582 muc 472
4.09/4.15	c iter 664 time 4.04239 not-muc 33827 unknown 581 muc 473
4.09/4.15	c iter 665 time 4.04338 not-muc 33827 unknown 580 muc 474
4.09/4.15	c iter 666 time 4.04439 not-muc 33827 unknown 579 muc 475
4.09/4.15	c iter 667 time 4.04538 not-muc 33827 unknown 578 muc 476
4.09/4.15	c iter 668 time 4.04638 not-muc 33827 unknown 577 muc 477
4.09/4.15	c iter 669 time 4.04838 not-muc 33827 unknown 576 muc 478
4.09/4.15	c iter 670 time 4.04938 not-muc 33827 unknown 575 muc 479
4.09/4.15	c iter 671 time 4.05138 not-muc 33827 unknown 574 muc 480
4.09/4.15	c iter 672 time 4.05238 not-muc 33827 unknown 573 muc 481
4.09/4.15	c iter 673 time 4.05338 not-muc 33827 unknown 572 muc 482
4.09/4.15	c iter 674 time 4.05538 not-muc 33827 unknown 571 muc 483
4.09/4.15	c iter 675 time 4.05638 not-muc 33827 unknown 570 muc 484
4.09/4.15	c iter 676 time 4.05838 not-muc 33827 unknown 569 muc 485
4.09/4.15	c iter 677 time 4.05938 not-muc 33827 unknown 568 muc 486
4.09/4.15	c iter 678 time 4.06538 not-muc 33827 unknown 567 muc 487
4.09/4.15	c iter 679 time 4.06738 not-muc 33827 unknown 566 muc 488
4.09/4.15	c iter 680 time 4.06838 not-muc 33827 unknown 565 muc 489
4.09/4.15	c iter 681 time 4.07038 not-muc 33827 unknown 564 muc 490
4.09/4.15	c iter 682 time 4.07238 not-muc 33827 unknown 563 muc 491
4.09/4.15	c iter 683 time 4.07338 not-muc 33827 unknown 562 muc 492
4.09/4.15	c iter 684 time 4.07538 not-muc 33827 unknown 561 muc 493
4.09/4.15	c iter 685 time 4.07638 not-muc 33827 unknown 560 muc 494
4.09/4.15	c iter 686 time 4.07838 not-muc 33827 unknown 559 muc 495
4.09/4.15	c iter 687 time 4.08038 not-muc 33827 unknown 558 muc 496
4.09/4.15	c iter 688 time 4.08138 not-muc 33827 unknown 557 muc 497
4.09/4.15	c iter 689 time 4.08338 not-muc 33827 unknown 556 muc 498
4.09/4.15	c iter 690 time 4.08438 not-muc 33827 unknown 555 muc 499
4.09/4.15	c iter 691 time 4.08538 not-muc 33827 unknown 554 muc 500
4.09/4.15	c iter 692 time 4.08738 not-muc 33827 unknown 553 muc 501
4.09/4.15	c iter 693 time 4.08838 not-muc 33827 unknown 552 muc 502
4.09/4.15	c iter 694 time 4.09038 not-muc 33827 unknown 551 muc 503
4.09/4.15	c iter 695 time 4.09338 not-muc 33827 unknown 550 muc 504
4.09/4.15	c iter 696 time 4.09538 not-muc 33827 unknown 549 muc 505
4.09/4.15	c iter 697 time 4.09638 not-muc 33827 unknown 548 muc 506
4.09/4.15	c iter 698 time 4.09838 not-muc 33827 unknown 547 muc 507
4.09/4.15	c iter 699 time 4.09938 not-muc 33827 unknown 546 muc 508
4.09/4.15	c iter 700 time 4.10138 not-muc 33827 unknown 545 muc 509
4.09/4.15	c iter 701 time 4.10338 not-muc 33827 unknown 544 muc 510
4.09/4.15	c iter 702 time 4.10538 not-muc 33827 unknown 543 muc 511
4.09/4.15	c iter 703 time 4.10738 not-muc 33827 unknown 542 muc 512
4.09/4.15	c iter 704 time 4.10837 not-muc 33827 unknown 541 muc 513
4.09/4.15	c iter 705 time 4.11038 not-muc 33827 unknown 540 muc 514
4.09/4.15	c iter 706 time 4.11237 not-muc 33827 unknown 539 muc 515
4.19/4.30	c iter 707 time 4.11437 not-muc 33827 unknown 538 muc 516
4.19/4.30	c iter 708 time 4.11637 not-muc 33827 unknown 537 muc 517
4.19/4.30	c iter 709 time 4.12237 not-muc 33827 unknown 536 muc 518
4.19/4.30	c iter 710 time 4.12437 not-muc 33827 unknown 535 muc 519
4.19/4.30	c iter 711 time 4.12637 not-muc 33827 unknown 534 muc 520
4.19/4.30	c iter 712 time 4.12837 not-muc 33827 unknown 533 muc 521
4.19/4.30	c iter 713 time 4.12937 not-muc 33827 unknown 532 muc 522
4.19/4.30	c iter 714 time 4.13237 not-muc 33827 unknown 531 muc 523
4.19/4.30	c iter 715 time 4.13337 not-muc 33827 unknown 530 muc 524
4.19/4.30	c iter 716 time 4.13437 not-muc 33827 unknown 529 muc 525
4.19/4.30	c iter 717 time 4.13737 not-muc 33827 unknown 528 muc 526
4.19/4.30	c iter 718 time 4.13837 not-muc 33827 unknown 527 muc 527
4.19/4.30	c iter 719 time 4.14037 not-muc 33827 unknown 526 muc 528
4.19/4.30	c iter 720 time 4.14837 not-muc 33831 unknown 522 muc 528
4.19/4.30	c iter 721 time 4.15037 not-muc 33831 unknown 521 muc 529
4.19/4.30	c iter 722 time 4.15137 not-muc 33831 unknown 520 muc 530
4.19/4.30	c iter 723 time 4.15237 not-muc 33831 unknown 519 muc 531
4.19/4.30	c iter 724 time 4.15337 not-muc 33831 unknown 518 muc 532
4.19/4.30	c iter 725 time 4.15537 not-muc 33831 unknown 517 muc 533
4.19/4.30	c iter 726 time 4.15637 not-muc 33831 unknown 516 muc 534
4.19/4.30	c iter 727 time 4.15837 not-muc 33831 unknown 515 muc 535
4.19/4.30	c iter 728 time 4.16037 not-muc 33831 unknown 514 muc 536
4.19/4.30	c iter 729 time 4.16137 not-muc 33831 unknown 513 muc 537
4.19/4.30	c iter 730 time 4.16337 not-muc 33831 unknown 512 muc 538
4.19/4.30	c iter 731 time 4.16537 not-muc 33831 unknown 511 muc 539
4.19/4.30	c iter 732 time 4.16737 not-muc 33831 unknown 510 muc 540
4.19/4.30	c iter 733 time 4.16937 not-muc 33831 unknown 509 muc 541
4.19/4.30	c iter 734 time 4.17136 not-muc 33831 unknown 508 muc 542
4.19/4.30	c iter 735 time 4.17337 not-muc 33831 unknown 507 muc 543
4.19/4.30	c iter 736 time 4.17436 not-muc 33831 unknown 506 muc 544
4.19/4.30	c iter 737 time 4.18036 not-muc 33831 unknown 505 muc 545
4.19/4.30	c iter 738 time 4.18236 not-muc 33831 unknown 504 muc 546
4.19/4.30	c iter 739 time 4.18636 not-muc 33831 unknown 503 muc 547
4.19/4.30	c iter 740 time 4.18836 not-muc 33831 unknown 502 muc 548
4.19/4.30	c iter 741 time 4.18936 not-muc 33831 unknown 501 muc 549
4.19/4.30	c iter 742 time 4.19136 not-muc 33831 unknown 500 muc 550
4.19/4.30	c iter 743 time 4.19336 not-muc 33831 unknown 499 muc 551
4.19/4.30	c iter 744 time 4.19536 not-muc 33831 unknown 498 muc 552
4.19/4.30	c iter 745 time 4.19636 not-muc 33831 unknown 497 muc 553
4.19/4.30	c iter 746 time 4.19836 not-muc 33831 unknown 496 muc 554
4.19/4.30	c iter 747 time 4.20036 not-muc 33831 unknown 495 muc 555
4.19/4.30	c iter 748 time 4.20236 not-muc 33831 unknown 494 muc 556
4.19/4.30	c iter 749 time 4.20336 not-muc 33831 unknown 493 muc 557
4.19/4.30	c iter 750 time 4.20836 not-muc 33831 unknown 492 muc 558
4.19/4.30	c iter 751 time 4.21036 not-muc 33831 unknown 491 muc 559
4.19/4.30	c iter 752 time 4.22236 not-muc 33833 unknown 489 muc 559
4.19/4.30	c iter 753 time 4.22436 not-muc 33833 unknown 488 muc 560
4.19/4.30	c iter 754 time 4.22536 not-muc 33833 unknown 487 muc 561
4.19/4.30	c iter 755 time 4.22636 not-muc 33833 unknown 486 muc 562
4.19/4.30	c iter 756 time 4.22736 not-muc 33833 unknown 485 muc 563
4.19/4.30	c iter 757 time 4.22836 not-muc 33833 unknown 484 muc 564
4.19/4.30	c iter 758 time 4.23036 not-muc 33833 unknown 483 muc 565
4.19/4.30	c iter 759 time 4.23136 not-muc 33833 unknown 482 muc 566
4.19/4.30	c iter 760 time 4.23236 not-muc 33833 unknown 481 muc 567
4.19/4.30	c iter 761 time 4.23436 not-muc 33833 unknown 480 muc 568
4.19/4.30	c iter 762 time 4.23536 not-muc 33833 unknown 479 muc 569
4.19/4.30	c iter 763 time 4.23635 not-muc 33833 unknown 478 muc 570
4.19/4.30	c iter 764 time 4.23735 not-muc 33833 unknown 477 muc 571
4.19/4.30	c iter 765 time 4.23935 not-muc 33833 unknown 476 muc 572
4.19/4.30	c iter 766 time 4.24235 not-muc 33833 unknown 475 muc 573
4.19/4.30	c iter 767 time 4.24435 not-muc 33833 unknown 474 muc 574
4.19/4.30	c iter 768 time 4.24535 not-muc 33833 unknown 473 muc 575
4.19/4.30	c iter 769 time 4.24635 not-muc 33833 unknown 472 muc 576
4.19/4.30	c iter 770 time 4.24735 not-muc 33833 unknown 471 muc 577
4.19/4.30	c iter 771 time 4.24935 not-muc 33833 unknown 470 muc 578
4.19/4.30	c iter 772 time 4.25035 not-muc 33833 unknown 469 muc 579
4.19/4.30	c iter 773 time 4.25235 not-muc 33833 unknown 468 muc 580
4.19/4.30	c iter 774 time 4.25335 not-muc 33833 unknown 467 muc 581
4.19/4.30	c iter 775 time 4.25435 not-muc 33833 unknown 466 muc 582
4.19/4.30	c iter 776 time 4.25635 not-muc 33833 unknown 465 muc 583
4.19/4.30	c iter 777 time 4.25735 not-muc 33833 unknown 464 muc 584
4.40/4.47	c iter 778 time 4.25935 not-muc 33833 unknown 463 muc 585
4.40/4.47	c iter 779 time 4.26135 not-muc 33833 unknown 462 muc 586
4.40/4.47	c iter 780 time 4.26435 not-muc 33833 unknown 461 muc 587
4.40/4.47	c iter 781 time 4.26835 not-muc 33833 unknown 460 muc 588
4.40/4.47	c iter 782 time 4.27035 not-muc 33833 unknown 459 muc 589
4.40/4.47	c iter 783 time 4.27235 not-muc 33833 unknown 458 muc 590
4.40/4.47	c iter 784 time 4.27335 not-muc 33833 unknown 457 muc 591
4.40/4.47	c iter 785 time 4.27535 not-muc 33833 unknown 456 muc 592
4.40/4.47	c iter 786 time 4.27635 not-muc 33833 unknown 455 muc 593
4.40/4.47	c iter 787 time 4.28035 not-muc 33833 unknown 454 muc 594
4.40/4.47	c iter 788 time 4.28735 not-muc 33833 unknown 453 muc 595
4.40/4.47	c iter 789 time 4.29035 not-muc 33833 unknown 452 muc 596
4.40/4.47	c iter 790 time 4.29135 not-muc 33833 unknown 451 muc 597
4.40/4.47	c iter 791 time 4.29335 not-muc 33833 unknown 450 muc 598
4.40/4.47	c iter 792 time 4.29435 not-muc 33833 unknown 449 muc 599
4.40/4.47	c iter 793 time 4.29635 not-muc 33833 unknown 448 muc 600
4.40/4.47	c iter 794 time 4.29835 not-muc 33833 unknown 447 muc 601
4.40/4.47	c iter 795 time 4.30035 not-muc 33833 unknown 446 muc 602
4.40/4.47	c iter 796 time 4.30234 not-muc 33833 unknown 445 muc 603
4.40/4.47	c iter 797 time 4.30434 not-muc 33833 unknown 444 muc 604
4.40/4.47	c iter 798 time 4.30635 not-muc 33833 unknown 443 muc 605
4.40/4.47	c iter 799 time 4.30835 not-muc 33833 unknown 442 muc 606
4.40/4.47	c iter 800 time 4.30934 not-muc 33833 unknown 441 muc 607
4.40/4.47	c iter 801 time 4.31134 not-muc 33833 unknown 440 muc 608
4.40/4.47	c iter 802 time 4.31334 not-muc 33833 unknown 439 muc 609
4.40/4.47	c iter 803 time 4.32134 not-muc 33833 unknown 438 muc 610
4.40/4.47	c iter 804 time 4.32334 not-muc 33833 unknown 437 muc 611
4.40/4.47	c iter 805 time 4.32534 not-muc 33833 unknown 436 muc 612
4.40/4.47	c iter 806 time 4.32734 not-muc 33833 unknown 435 muc 613
4.40/4.47	c iter 807 time 4.32934 not-muc 33833 unknown 434 muc 614
4.40/4.47	c iter 808 time 4.33234 not-muc 33833 unknown 433 muc 615
4.40/4.47	c iter 809 time 4.33334 not-muc 33833 unknown 432 muc 616
4.40/4.47	c iter 810 time 4.33534 not-muc 33833 unknown 431 muc 617
4.40/4.47	c iter 811 time 4.33734 not-muc 33833 unknown 430 muc 618
4.40/4.47	c iter 812 time 4.33934 not-muc 33833 unknown 429 muc 619
4.40/4.47	c iter 813 time 4.34834 not-muc 33833 unknown 428 muc 620
4.40/4.47	c iter 814 time 4.35034 not-muc 33833 unknown 427 muc 621
4.40/4.47	c iter 815 time 4.35234 not-muc 33833 unknown 426 muc 622
4.40/4.47	c iter 816 time 4.35434 not-muc 33833 unknown 425 muc 623
4.40/4.47	c iter 817 time 4.35634 not-muc 33833 unknown 424 muc 624
4.40/4.47	c iter 818 time 4.35834 not-muc 33833 unknown 423 muc 625
4.40/4.47	c iter 819 time 4.36034 not-muc 33833 unknown 422 muc 626
4.40/4.47	c iter 820 time 4.36234 not-muc 33833 unknown 421 muc 627
4.40/4.47	c iter 821 time 4.36334 not-muc 33833 unknown 420 muc 628
4.40/4.47	c iter 822 time 4.36534 not-muc 33833 unknown 419 muc 629
4.40/4.47	c iter 823 time 4.36734 not-muc 33833 unknown 418 muc 630
4.40/4.47	c iter 824 time 4.37233 not-muc 33833 unknown 417 muc 631
4.40/4.47	c iter 825 time 4.37434 not-muc 33833 unknown 416 muc 632
4.40/4.47	c iter 826 time 4.37533 not-muc 33833 unknown 415 muc 633
4.40/4.47	c iter 827 time 4.37733 not-muc 33833 unknown 414 muc 634
4.40/4.47	c iter 828 time 4.37933 not-muc 33833 unknown 413 muc 635
4.40/4.47	c iter 829 time 4.38133 not-muc 33833 unknown 412 muc 636
4.40/4.47	c iter 830 time 4.38733 not-muc 33833 unknown 411 muc 637
4.40/4.47	c iter 831 time 4.39233 not-muc 33833 unknown 410 muc 638
4.40/4.47	c iter 832 time 4.39533 not-muc 33833 unknown 409 muc 639
4.40/4.47	c iter 833 time 4.39633 not-muc 33833 unknown 408 muc 640
4.40/4.47	c iter 834 time 4.39833 not-muc 33833 unknown 407 muc 641
4.40/4.47	c iter 835 time 4.40033 not-muc 33833 unknown 406 muc 642
4.40/4.47	c iter 836 time 4.40233 not-muc 33833 unknown 405 muc 643
4.40/4.47	c iter 837 time 4.40533 not-muc 33833 unknown 404 muc 644
4.40/4.47	c iter 838 time 4.40633 not-muc 33833 unknown 403 muc 645
4.40/4.47	c iter 839 time 4.40833 not-muc 33833 unknown 402 muc 646
4.40/4.47	c iter 840 time 4.41133 not-muc 33833 unknown 401 muc 647
4.40/4.47	c iter 841 time 4.41233 not-muc 33833 unknown 400 muc 648
4.40/4.47	c iter 842 time 4.41333 not-muc 33833 unknown 399 muc 649
4.40/4.47	c iter 843 time 4.41533 not-muc 33833 unknown 398 muc 650
4.40/4.47	c iter 844 time 4.41733 not-muc 33833 unknown 397 muc 651
4.40/4.47	c iter 845 time 4.41933 not-muc 33833 unknown 396 muc 652
4.40/4.47	c iter 846 time 4.42133 not-muc 33833 unknown 395 muc 653
4.40/4.47	c iter 847 time 4.42333 not-muc 33833 unknown 394 muc 654
4.40/4.47	c iter 848 time 4.42533 not-muc 33833 unknown 393 muc 655
4.59/4.69	c iter 849 time 4.42733 not-muc 33833 unknown 392 muc 656
4.59/4.69	c iter 850 time 4.43033 not-muc 33833 unknown 391 muc 657
4.59/4.69	c iter 851 time 4.43233 not-muc 33833 unknown 390 muc 658
4.59/4.69	c iter 852 time 4.43433 not-muc 33833 unknown 389 muc 659
4.59/4.69	c iter 853 time 4.43633 not-muc 33833 unknown 388 muc 660
4.59/4.69	c iter 854 time 4.43933 not-muc 33833 unknown 387 muc 661
4.59/4.69	c iter 855 time 4.44132 not-muc 33833 unknown 386 muc 662
4.59/4.69	c iter 856 time 4.44432 not-muc 33833 unknown 385 muc 663
4.59/4.69	c iter 857 time 4.44532 not-muc 33833 unknown 384 muc 664
4.59/4.69	c iter 858 time 4.44732 not-muc 33833 unknown 383 muc 665
4.59/4.69	c iter 859 time 4.46132 not-muc 33834 unknown 382 muc 665
4.59/4.69	c iter 860 time 4.46232 not-muc 33834 unknown 381 muc 666
4.59/4.69	c iter 861 time 4.46432 not-muc 33834 unknown 380 muc 667
4.59/4.69	c iter 862 time 4.46632 not-muc 33834 unknown 379 muc 668
4.59/4.69	c iter 863 time 4.46832 not-muc 33834 unknown 378 muc 669
4.59/4.69	c iter 864 time 4.47632 not-muc 33834 unknown 377 muc 670
4.59/4.69	c iter 865 time 4.48432 not-muc 33834 unknown 376 muc 671
4.59/4.69	c iter 866 time 4.49732 not-muc 33835 unknown 375 muc 671
4.59/4.69	c iter 867 time 4.49832 not-muc 33835 unknown 374 muc 672
4.59/4.69	c iter 868 time 4.49932 not-muc 33835 unknown 373 muc 673
4.59/4.69	c iter 869 time 4.51231 not-muc 33836 unknown 372 muc 673
4.59/4.69	c iter 870 time 4.51331 not-muc 33836 unknown 371 muc 674
4.59/4.69	c iter 871 time 4.51531 not-muc 33836 unknown 370 muc 675
4.59/4.69	c iter 872 time 4.52231 not-muc 33837 unknown 369 muc 675
4.59/4.69	c iter 873 time 4.52331 not-muc 33837 unknown 368 muc 676
4.59/4.69	c iter 874 time 4.52431 not-muc 33837 unknown 367 muc 677
4.59/4.69	c iter 875 time 4.53531 not-muc 33838 unknown 366 muc 677
4.59/4.69	c iter 876 time 4.53931 not-muc 33838 unknown 365 muc 678
4.59/4.69	c iter 877 time 4.54131 not-muc 33838 unknown 364 muc 679
4.59/4.69	c iter 878 time 4.54831 not-muc 33839 unknown 363 muc 679
4.59/4.69	c iter 879 time 4.55031 not-muc 33839 unknown 362 muc 680
4.59/4.69	c iter 880 time 4.55131 not-muc 33839 unknown 361 muc 681
4.59/4.69	c iter 881 time 4.56031 not-muc 33841 unknown 359 muc 681
4.59/4.69	c iter 882 time 4.56131 not-muc 33841 unknown 358 muc 682
4.59/4.69	c iter 883 time 4.56231 not-muc 33841 unknown 357 muc 683
4.59/4.69	c iter 884 time 4.57031 not-muc 33842 unknown 356 muc 683
4.59/4.69	c iter 885 time 4.5723 not-muc 33842 unknown 355 muc 684
4.59/4.69	c iter 886 time 4.5733 not-muc 33842 unknown 354 muc 685
4.59/4.69	c iter 887 time 4.5793 not-muc 33842 unknown 353 muc 686
4.59/4.69	c iter 888 time 4.5803 not-muc 33842 unknown 352 muc 687
4.59/4.69	c iter 889 time 4.5813 not-muc 33842 unknown 351 muc 688
4.59/4.69	c iter 890 time 4.5833 not-muc 33842 unknown 350 muc 689
4.59/4.69	c iter 891 time 4.5843 not-muc 33842 unknown 349 muc 690
4.59/4.69	c iter 892 time 4.5853 not-muc 33842 unknown 348 muc 691
4.59/4.69	c iter 893 time 4.5883 not-muc 33843 unknown 347 muc 691
4.59/4.69	c iter 894 time 4.5893 not-muc 33843 unknown 346 muc 692
4.59/4.69	c iter 895 time 4.5913 not-muc 33843 unknown 345 muc 693
4.59/4.69	c iter 896 time 4.5923 not-muc 33843 unknown 344 muc 694
4.59/4.69	c iter 897 time 4.5943 not-muc 33843 unknown 343 muc 695
4.59/4.69	c iter 898 time 4.5953 not-muc 33843 unknown 342 muc 696
4.59/4.69	c iter 899 time 4.5963 not-muc 33843 unknown 341 muc 697
4.59/4.69	c iter 900 time 4.5983 not-muc 33843 unknown 340 muc 698
4.59/4.69	c iter 901 time 4.5993 not-muc 33843 unknown 339 muc 699
4.59/4.69	c iter 902 time 4.6073 not-muc 33844 unknown 338 muc 699
4.59/4.69	c iter 903 time 4.6153 not-muc 33844 unknown 337 muc 700
4.59/4.69	c iter 904 time 4.6173 not-muc 33844 unknown 336 muc 701
4.59/4.69	c iter 905 time 4.6243 not-muc 33845 unknown 335 muc 701
4.59/4.69	c iter 906 time 4.6253 not-muc 33845 unknown 334 muc 702
4.59/4.69	c iter 907 time 4.6263 not-muc 33845 unknown 333 muc 703
4.59/4.69	c iter 908 time 4.6323 not-muc 33846 unknown 332 muc 703
4.59/4.69	c iter 909 time 4.6333 not-muc 33846 unknown 331 muc 704
4.59/4.69	c iter 910 time 4.63429 not-muc 33846 unknown 330 muc 705
4.59/4.69	c iter 911 time 4.6353 not-muc 33847 unknown 329 muc 705
4.59/4.69	c iter 912 time 4.6363 not-muc 33847 unknown 328 muc 706
4.59/4.69	c iter 913 time 4.63829 not-muc 33847 unknown 327 muc 707
4.59/4.69	c iter 914 time 4.64129 not-muc 33848 unknown 326 muc 707
4.59/4.69	c iter 915 time 4.64229 not-muc 33848 unknown 325 muc 708
4.59/4.69	c iter 916 time 4.64429 not-muc 33848 unknown 324 muc 709
4.59/4.69	c iter 917 time 4.64529 not-muc 33848 unknown 323 muc 710
4.59/4.69	c iter 918 time 4.64629 not-muc 33848 unknown 322 muc 711
4.59/4.69	c iter 919 time 4.64929 not-muc 33849 unknown 321 muc 711
4.79/4.84	c iter 920 time 4.65029 not-muc 33849 unknown 320 muc 712
4.79/4.84	c iter 921 time 4.65129 not-muc 33849 unknown 319 muc 713
4.79/4.84	c iter 922 time 4.65329 not-muc 33850 unknown 318 muc 713
4.79/4.84	c iter 923 time 4.65429 not-muc 33850 unknown 317 muc 714
4.79/4.84	c iter 924 time 4.65529 not-muc 33850 unknown 316 muc 715
4.79/4.84	c iter 925 time 4.65729 not-muc 33850 unknown 315 muc 716
4.79/4.84	c iter 926 time 4.65829 not-muc 33850 unknown 314 muc 717
4.79/4.84	c iter 927 time 4.65929 not-muc 33850 unknown 313 muc 718
4.79/4.84	c iter 928 time 4.66129 not-muc 33850 unknown 312 muc 719
4.79/4.84	c iter 929 time 4.66229 not-muc 33850 unknown 311 muc 720
4.79/4.84	c iter 930 time 4.66329 not-muc 33850 unknown 310 muc 721
4.79/4.84	c iter 931 time 4.68129 not-muc 33851 unknown 309 muc 721
4.79/4.84	c iter 932 time 4.68329 not-muc 33851 unknown 308 muc 722
4.79/4.84	c iter 933 time 4.68429 not-muc 33851 unknown 307 muc 723
4.79/4.84	c iter 934 time 4.68529 not-muc 33851 unknown 306 muc 724
4.79/4.84	c iter 935 time 4.68729 not-muc 33851 unknown 305 muc 725
4.79/4.84	c iter 936 time 4.68829 not-muc 33851 unknown 304 muc 726
4.79/4.84	c iter 937 time 4.68929 not-muc 33851 unknown 303 muc 727
4.79/4.84	c iter 938 time 4.69029 not-muc 33851 unknown 302 muc 728
4.79/4.84	c iter 939 time 4.69229 not-muc 33851 unknown 301 muc 729
4.79/4.84	c iter 940 time 4.69329 not-muc 33851 unknown 300 muc 730
4.79/4.84	c iter 941 time 4.69429 not-muc 33851 unknown 299 muc 731
4.79/4.84	c iter 942 time 4.69529 not-muc 33851 unknown 298 muc 732
4.79/4.84	c iter 943 time 4.69629 not-muc 33851 unknown 297 muc 733
4.79/4.84	c iter 944 time 4.69728 not-muc 33851 unknown 296 muc 734
4.79/4.84	c iter 945 time 4.69928 not-muc 33851 unknown 295 muc 735
4.79/4.84	c iter 946 time 4.70029 not-muc 33851 unknown 294 muc 736
4.79/4.84	c iter 947 time 4.70129 not-muc 33851 unknown 293 muc 737
4.79/4.84	c iter 948 time 4.70328 not-muc 33851 unknown 292 muc 738
4.79/4.84	c iter 949 time 4.71228 not-muc 33851 unknown 291 muc 739
4.79/4.84	c iter 950 time 4.71428 not-muc 33851 unknown 290 muc 740
4.79/4.84	c iter 951 time 4.71828 not-muc 33852 unknown 289 muc 740
4.79/4.84	c iter 952 time 4.72228 not-muc 33852 unknown 288 muc 741
4.79/4.84	c iter 953 time 4.72328 not-muc 33852 unknown 287 muc 742
4.79/4.84	c iter 954 time 4.72728 not-muc 33852 unknown 286 muc 743
4.79/4.84	c iter 955 time 4.72828 not-muc 33852 unknown 285 muc 744
4.79/4.84	c iter 956 time 4.72928 not-muc 33852 unknown 284 muc 745
4.79/4.84	c iter 957 time 4.73028 not-muc 33852 unknown 283 muc 746
4.79/4.84	c iter 958 time 4.73128 not-muc 33852 unknown 282 muc 747
4.79/4.84	c iter 959 time 4.73228 not-muc 33852 unknown 281 muc 748
4.79/4.84	c iter 960 time 4.74428 not-muc 33852 unknown 280 muc 749
4.79/4.84	c iter 961 time 4.74628 not-muc 33852 unknown 279 muc 750
4.79/4.84	c iter 962 time 4.74828 not-muc 33852 unknown 278 muc 751
4.79/4.84	c iter 963 time 4.74928 not-muc 33852 unknown 277 muc 752
4.79/4.84	c iter 964 time 4.75828 not-muc 33853 unknown 276 muc 752
4.79/4.84	c iter 965 time 4.75928 not-muc 33853 unknown 275 muc 753
4.79/4.84	c iter 966 time 4.76128 not-muc 33853 unknown 274 muc 754
4.79/4.84	c iter 967 time 4.76328 not-muc 33853 unknown 273 muc 755
4.79/4.84	c iter 968 time 4.76427 not-muc 33853 unknown 272 muc 756
4.79/4.84	c iter 969 time 4.76628 not-muc 33853 unknown 271 muc 757
4.79/4.84	c iter 970 time 4.76727 not-muc 33853 unknown 270 muc 758
4.79/4.84	c iter 971 time 4.76828 not-muc 33853 unknown 269 muc 759
4.79/4.84	c iter 972 time 4.76927 not-muc 33853 unknown 268 muc 760
4.79/4.84	c iter 973 time 4.77027 not-muc 33853 unknown 267 muc 761
4.79/4.84	c iter 974 time 4.77227 not-muc 33853 unknown 266 muc 762
4.79/4.84	c iter 975 time 4.77327 not-muc 33853 unknown 265 muc 763
4.79/4.84	c iter 976 time 4.77427 not-muc 33853 unknown 264 muc 764
4.79/4.84	c iter 977 time 4.77527 not-muc 33853 unknown 263 muc 765
4.79/4.84	c iter 978 time 4.77727 not-muc 33853 unknown 262 muc 766
4.79/4.84	c iter 979 time 4.77927 not-muc 33853 unknown 261 muc 767
4.79/4.84	c iter 980 time 4.78327 not-muc 33853 unknown 260 muc 768
4.79/4.84	c iter 981 time 4.78527 not-muc 33853 unknown 259 muc 769
4.79/4.84	c iter 982 time 4.78627 not-muc 33853 unknown 258 muc 770
4.79/4.84	c iter 983 time 4.78927 not-muc 33853 unknown 257 muc 771
4.79/4.84	c iter 984 time 4.79027 not-muc 33853 unknown 256 muc 772
4.79/4.84	c iter 985 time 4.79227 not-muc 33853 unknown 255 muc 773
4.79/4.84	c iter 986 time 4.79327 not-muc 33853 unknown 254 muc 774
4.79/4.84	c iter 987 time 4.79527 not-muc 33853 unknown 253 muc 775
4.79/4.84	c iter 988 time 4.79927 not-muc 33853 unknown 252 muc 776
4.79/4.84	c iter 989 time 4.80127 not-muc 33853 unknown 251 muc 777
4.99/5.01	c iter 990 time 4.80327 not-muc 33853 unknown 250 muc 778
4.99/5.01	c iter 991 time 4.80527 not-muc 33853 unknown 249 muc 779
4.99/5.01	c iter 992 time 4.80627 not-muc 33853 unknown 248 muc 780
4.99/5.01	c iter 993 time 4.80827 not-muc 33853 unknown 247 muc 781
4.99/5.01	c iter 994 time 4.80927 not-muc 33853 unknown 246 muc 782
4.99/5.01	c iter 995 time 4.81027 not-muc 33853 unknown 245 muc 783
4.99/5.01	c iter 996 time 4.81227 not-muc 33853 unknown 244 muc 784
4.99/5.01	c iter 997 time 4.81327 not-muc 33853 unknown 243 muc 785
4.99/5.01	c iter 998 time 4.81527 not-muc 33853 unknown 242 muc 786
4.99/5.01	c iter 999 time 4.81727 not-muc 33853 unknown 241 muc 787
4.99/5.01	c iter 1000 time 4.81827 not-muc 33853 unknown 240 muc 788
4.99/5.01	c iter 1001 time 4.82027 not-muc 33853 unknown 239 muc 789
4.99/5.01	c iter 1002 time 4.82127 not-muc 33853 unknown 238 muc 790
4.99/5.01	c iter 1003 time 4.82327 not-muc 33853 unknown 237 muc 791
4.99/5.01	c iter 1004 time 4.82827 not-muc 33853 unknown 236 muc 792
4.99/5.01	c iter 1005 time 4.82927 not-muc 33853 unknown 235 muc 793
4.99/5.01	c iter 1006 time 4.83127 not-muc 33853 unknown 234 muc 794
4.99/5.01	c iter 1007 time 4.83326 not-muc 33853 unknown 233 muc 795
4.99/5.01	c iter 1008 time 4.83526 not-muc 33853 unknown 232 muc 796
4.99/5.01	c iter 1009 time 4.83626 not-muc 33853 unknown 231 muc 797
4.99/5.01	c iter 1010 time 4.83726 not-muc 33853 unknown 230 muc 798
4.99/5.01	c iter 1011 time 4.84026 not-muc 33853 unknown 229 muc 799
4.99/5.01	c iter 1012 time 4.84326 not-muc 33853 unknown 228 muc 800
4.99/5.01	c iter 1013 time 4.84526 not-muc 33853 unknown 227 muc 801
4.99/5.01	c iter 1014 time 4.84726 not-muc 33853 unknown 226 muc 802
4.99/5.01	c iter 1015 time 4.84926 not-muc 33853 unknown 225 muc 803
4.99/5.01	c iter 1016 time 4.85126 not-muc 33853 unknown 224 muc 804
4.99/5.01	c iter 1017 time 4.85326 not-muc 33853 unknown 223 muc 805
4.99/5.01	c iter 1018 time 4.85626 not-muc 33853 unknown 222 muc 806
4.99/5.01	c iter 1019 time 4.85926 not-muc 33853 unknown 221 muc 807
4.99/5.01	c iter 1020 time 4.86126 not-muc 33853 unknown 220 muc 808
4.99/5.01	c iter 1021 time 4.86326 not-muc 33853 unknown 219 muc 809
4.99/5.01	c iter 1022 time 4.86526 not-muc 33853 unknown 218 muc 810
4.99/5.01	c iter 1023 time 4.86726 not-muc 33853 unknown 217 muc 811
4.99/5.01	c iter 1024 time 4.86826 not-muc 33853 unknown 216 muc 812
4.99/5.01	c iter 1025 time 4.87126 not-muc 33853 unknown 215 muc 813
4.99/5.01	c iter 1026 time 4.87426 not-muc 33853 unknown 214 muc 814
4.99/5.01	c iter 1027 time 4.87626 not-muc 33853 unknown 213 muc 815
4.99/5.01	c iter 1028 time 4.87826 not-muc 33853 unknown 212 muc 816
4.99/5.01	c iter 1029 time 4.88126 not-muc 33853 unknown 211 muc 817
4.99/5.01	c iter 1030 time 4.88226 not-muc 33853 unknown 210 muc 818
4.99/5.01	c iter 1031 time 4.88426 not-muc 33853 unknown 209 muc 819
4.99/5.01	c iter 1032 time 4.88726 not-muc 33853 unknown 208 muc 820
4.99/5.01	c iter 1033 time 4.88926 not-muc 33853 unknown 207 muc 821
4.99/5.01	c iter 1034 time 4.89126 not-muc 33853 unknown 206 muc 822
4.99/5.01	c iter 1035 time 4.89326 not-muc 33853 unknown 205 muc 823
4.99/5.01	c iter 1036 time 4.89525 not-muc 33853 unknown 204 muc 824
4.99/5.01	c iter 1037 time 4.89825 not-muc 33853 unknown 203 muc 825
4.99/5.01	c iter 1038 time 4.90025 not-muc 33853 unknown 202 muc 826
4.99/5.01	c iter 1039 time 4.90425 not-muc 33853 unknown 201 muc 827
4.99/5.01	c iter 1040 time 4.90625 not-muc 33853 unknown 200 muc 828
4.99/5.01	c iter 1041 time 4.90825 not-muc 33853 unknown 199 muc 829
4.99/5.01	c iter 1042 time 4.91025 not-muc 33853 unknown 198 muc 830
4.99/5.01	c iter 1043 time 4.91225 not-muc 33853 unknown 197 muc 831
4.99/5.01	c iter 1044 time 4.91725 not-muc 33853 unknown 196 muc 832
4.99/5.01	c iter 1045 time 4.91925 not-muc 33853 unknown 195 muc 833
4.99/5.01	c iter 1046 time 4.92225 not-muc 33853 unknown 194 muc 834
4.99/5.01	c iter 1047 time 4.92425 not-muc 33853 unknown 193 muc 835
4.99/5.01	c iter 1048 time 4.93025 not-muc 33853 unknown 192 muc 836
4.99/5.01	c iter 1049 time 4.93325 not-muc 33853 unknown 191 muc 837
4.99/5.01	c iter 1050 time 4.94025 not-muc 33853 unknown 190 muc 838
4.99/5.01	c iter 1051 time 4.94325 not-muc 33853 unknown 189 muc 839
4.99/5.01	c iter 1052 time 4.94525 not-muc 33853 unknown 188 muc 840
4.99/5.01	c iter 1053 time 4.95025 not-muc 33853 unknown 187 muc 841
4.99/5.01	c iter 1054 time 4.95325 not-muc 33853 unknown 186 muc 842
4.99/5.01	c iter 1055 time 4.95525 not-muc 33853 unknown 185 muc 843
4.99/5.01	c iter 1056 time 4.95825 not-muc 33853 unknown 184 muc 844
4.99/5.01	c iter 1057 time 4.96124 not-muc 33853 unknown 183 muc 845
4.99/5.01	c iter 1058 time 4.97124 not-muc 33854 unknown 182 muc 845
4.99/5.01	c iter 1059 time 4.97324 not-muc 33854 unknown 181 muc 846
5.09/5.15	c iter 1060 time 4.97624 not-muc 33854 unknown 180 muc 847
5.09/5.15	c iter 1061 time 4.97924 not-muc 33854 unknown 179 muc 848
5.09/5.15	c iter 1062 time 4.98024 not-muc 33854 unknown 178 muc 849
5.09/5.15	c iter 1063 time 4.98324 not-muc 33854 unknown 177 muc 850
5.09/5.15	c iter 1064 time 4.98624 not-muc 33854 unknown 176 muc 851
5.09/5.15	c iter 1065 time 4.98824 not-muc 33854 unknown 175 muc 852
5.09/5.15	c iter 1066 time 4.99124 not-muc 33854 unknown 174 muc 853
5.09/5.15	c iter 1067 time 4.99324 not-muc 33854 unknown 173 muc 854
5.09/5.15	c iter 1068 time 4.99424 not-muc 33854 unknown 172 muc 855
5.09/5.15	c iter 1069 time 4.99524 not-muc 33854 unknown 171 muc 856
5.09/5.15	c iter 1070 time 4.99924 not-muc 33854 unknown 170 muc 857
5.09/5.15	c iter 1071 time 5.00024 not-muc 33854 unknown 169 muc 858
5.09/5.15	c iter 1072 time 5.00224 not-muc 33854 unknown 168 muc 859
5.09/5.15	c iter 1073 time 5.00524 not-muc 33854 unknown 167 muc 860
5.09/5.15	c iter 1074 time 5.00724 not-muc 33854 unknown 166 muc 861
5.09/5.15	c iter 1075 time 5.00924 not-muc 33854 unknown 165 muc 862
5.09/5.15	c iter 1076 time 5.02024 not-muc 33854 unknown 164 muc 863
5.09/5.16	c iter 1077 time 5.02224 not-muc 33854 unknown 163 muc 864
5.09/5.16	c iter 1078 time 5.02623 not-muc 33854 unknown 162 muc 865
5.09/5.16	c iter 1079 time 5.03024 not-muc 33854 unknown 161 muc 866
5.09/5.16	c iter 1080 time 5.03223 not-muc 33854 unknown 160 muc 867
5.09/5.16	c iter 1081 time 5.03423 not-muc 33854 unknown 159 muc 868
5.09/5.16	c iter 1082 time 5.03523 not-muc 33854 unknown 158 muc 869
5.09/5.16	c iter 1083 time 5.03623 not-muc 33854 unknown 157 muc 870
5.09/5.16	c iter 1084 time 5.03823 not-muc 33854 unknown 156 muc 871
5.09/5.16	c iter 1085 time 5.03923 not-muc 33854 unknown 155 muc 872
5.09/5.16	c iter 1086 time 5.04123 not-muc 33854 unknown 154 muc 873
5.09/5.16	c iter 1087 time 5.04223 not-muc 33854 unknown 153 muc 874
5.09/5.16	c iter 1088 time 5.04323 not-muc 33854 unknown 152 muc 875
5.09/5.16	c iter 1089 time 5.04523 not-muc 33854 unknown 151 muc 876
5.09/5.16	c iter 1090 time 5.04823 not-muc 33855 unknown 150 muc 876
5.09/5.16	c iter 1091 time 5.05023 not-muc 33855 unknown 149 muc 877
5.09/5.16	c iter 1092 time 5.05123 not-muc 33855 unknown 148 muc 878
5.09/5.16	c iter 1093 time 5.05223 not-muc 33855 unknown 147 muc 879
5.09/5.16	c iter 1094 time 5.05523 not-muc 33855 unknown 146 muc 880
5.09/5.16	c iter 1095 time 5.05623 not-muc 33855 unknown 145 muc 881
5.09/5.16	c iter 1096 time 5.05823 not-muc 33855 unknown 144 muc 882
5.09/5.16	c iter 1097 time 5.06023 not-muc 33855 unknown 143 muc 883
5.09/5.16	c iter 1098 time 5.06223 not-muc 33855 unknown 142 muc 884
5.09/5.16	c iter 1099 time 5.06323 not-muc 33855 unknown 141 muc 885
5.09/5.16	c iter 1100 time 5.06523 not-muc 33855 unknown 140 muc 886
5.09/5.16	c iter 1101 time 5.06623 not-muc 33855 unknown 139 muc 887
5.09/5.16	c iter 1102 time 5.06923 not-muc 33855 unknown 138 muc 888
5.09/5.16	c iter 1103 time 5.07123 not-muc 33855 unknown 137 muc 889
5.09/5.16	c iter 1104 time 5.07323 not-muc 33855 unknown 136 muc 890
5.09/5.16	c iter 1105 time 5.07523 not-muc 33855 unknown 135 muc 891
5.09/5.16	c iter 1106 time 5.07623 not-muc 33855 unknown 134 muc 892
5.09/5.16	c iter 1107 time 5.08123 not-muc 33855 unknown 133 muc 893
5.09/5.16	c iter 1108 time 5.08223 not-muc 33855 unknown 132 muc 894
5.09/5.16	c iter 1109 time 5.08423 not-muc 33855 unknown 131 muc 895
5.09/5.16	c iter 1110 time 5.08523 not-muc 33855 unknown 130 muc 896
5.09/5.16	c iter 1111 time 5.08623 not-muc 33855 unknown 129 muc 897
5.09/5.16	c iter 1112 time 5.08723 not-muc 33855 unknown 128 muc 898
5.09/5.16	c iter 1113 time 5.08923 not-muc 33855 unknown 127 muc 899
5.09/5.16	c iter 1114 time 5.09023 not-muc 33855 unknown 126 muc 900
5.09/5.16	c iter 1115 time 5.09123 not-muc 33855 unknown 125 muc 901
5.09/5.16	c iter 1116 time 5.09223 not-muc 33855 unknown 124 muc 902
5.09/5.16	c iter 1117 time 5.09422 not-muc 33855 unknown 123 muc 903
5.09/5.16	c iter 1118 time 5.09822 not-muc 33855 unknown 122 muc 904
5.09/5.16	c iter 1119 time 5.10122 not-muc 33855 unknown 121 muc 905
5.09/5.16	c iter 1120 time 5.10322 not-muc 33855 unknown 120 muc 906
5.09/5.16	c iter 1121 time 5.10422 not-muc 33855 unknown 119 muc 907
5.09/5.16	c iter 1122 time 5.10522 not-muc 33855 unknown 118 muc 908
5.09/5.16	c iter 1123 time 5.10622 not-muc 33855 unknown 117 muc 909
5.09/5.16	c iter 1124 time 5.10722 not-muc 33855 unknown 116 muc 910
5.09/5.16	c iter 1125 time 5.10922 not-muc 33855 unknown 115 muc 911
5.09/5.16	c iter 1126 time 5.11122 not-muc 33855 unknown 114 muc 912
5.09/5.16	c iter 1127 time 5.11222 not-muc 33855 unknown 113 muc 913
5.09/5.16	c iter 1128 time 5.11422 not-muc 33855 unknown 112 muc 914
5.29/5.32	c iter 1129 time 5.11522 not-muc 33855 unknown 111 muc 915
5.29/5.32	c iter 1130 time 5.11622 not-muc 33855 unknown 110 muc 916
5.29/5.32	c iter 1131 time 5.11722 not-muc 33855 unknown 109 muc 917
5.29/5.32	c iter 1132 time 5.12022 not-muc 33855 unknown 108 muc 918
5.29/5.32	c iter 1133 time 5.12122 not-muc 33855 unknown 107 muc 919
5.29/5.32	c iter 1134 time 5.12422 not-muc 33855 unknown 106 muc 920
5.29/5.32	c iter 1135 time 5.12522 not-muc 33855 unknown 105 muc 921
5.29/5.32	c iter 1136 time 5.12722 not-muc 33855 unknown 104 muc 922
5.29/5.32	c iter 1137 time 5.12822 not-muc 33855 unknown 103 muc 923
5.29/5.32	c iter 1138 time 5.13022 not-muc 33855 unknown 102 muc 924
5.29/5.32	c iter 1139 time 5.13522 not-muc 33855 unknown 101 muc 925
5.29/5.32	c iter 1140 time 5.13822 not-muc 33855 unknown 100 muc 926
5.29/5.32	c iter 1141 time 5.14022 not-muc 33855 unknown 99 muc 927
5.29/5.32	c iter 1142 time 5.14222 not-muc 33855 unknown 98 muc 928
5.29/5.32	c iter 1143 time 5.14322 not-muc 33855 unknown 97 muc 929
5.29/5.32	c iter 1144 time 5.14722 not-muc 33857 unknown 95 muc 929
5.29/5.32	c iter 1145 time 5.15122 not-muc 33857 unknown 94 muc 930
5.29/5.32	c iter 1146 time 5.15422 not-muc 33857 unknown 93 muc 931
5.29/5.32	c iter 1147 time 5.15622 not-muc 33857 unknown 92 muc 932
5.29/5.32	c iter 1148 time 5.15822 not-muc 33857 unknown 91 muc 933
5.29/5.32	c iter 1149 time 5.16021 not-muc 33857 unknown 90 muc 934
5.29/5.32	c iter 1150 time 5.16122 not-muc 33857 unknown 89 muc 935
5.29/5.32	c iter 1151 time 5.16322 not-muc 33857 unknown 88 muc 936
5.29/5.32	c iter 1152 time 5.16721 not-muc 33857 unknown 87 muc 937
5.29/5.32	c iter 1153 time 5.17121 not-muc 33857 unknown 86 muc 938
5.29/5.32	c iter 1154 time 5.17621 not-muc 33857 unknown 85 muc 939
5.29/5.32	c iter 1155 time 5.17821 not-muc 33857 unknown 84 muc 940
5.29/5.32	c iter 1156 time 5.18421 not-muc 33858 unknown 83 muc 940
5.29/5.32	c iter 1157 time 5.18521 not-muc 33858 unknown 82 muc 941
5.29/5.32	c iter 1158 time 5.18721 not-muc 33858 unknown 81 muc 942
5.29/5.32	c iter 1159 time 5.18921 not-muc 33858 unknown 80 muc 943
5.29/5.32	c iter 1160 time 5.19221 not-muc 33859 unknown 79 muc 943
5.29/5.32	c iter 1161 time 5.19321 not-muc 33859 unknown 78 muc 944
5.29/5.32	c iter 1162 time 5.20321 not-muc 33861 unknown 76 muc 944
5.29/5.32	c iter 1163 time 5.20421 not-muc 33861 unknown 75 muc 945
5.29/5.32	c iter 1164 time 5.20621 not-muc 33861 unknown 74 muc 946
5.29/5.32	c iter 1165 time 5.21221 not-muc 33862 unknown 73 muc 946
5.29/5.32	c iter 1166 time 5.21321 not-muc 33862 unknown 72 muc 947
5.29/5.32	c iter 1167 time 5.21421 not-muc 33862 unknown 71 muc 948
5.29/5.32	c iter 1168 time 5.21821 not-muc 33863 unknown 70 muc 948
5.29/5.32	c iter 1169 time 5.22021 not-muc 33863 unknown 69 muc 949
5.29/5.32	c iter 1170 time 5.22121 not-muc 33863 unknown 68 muc 950
5.29/5.32	c iter 1171 time 5.2242 not-muc 33864 unknown 67 muc 950
5.29/5.32	c iter 1172 time 5.2252 not-muc 33864 unknown 66 muc 951
5.29/5.32	c iter 1173 time 5.22621 not-muc 33864 unknown 65 muc 952
5.29/5.32	c iter 1174 time 5.2282 not-muc 33864 unknown 64 muc 953
5.29/5.32	c iter 1175 time 5.22921 not-muc 33864 unknown 63 muc 954
5.29/5.32	c iter 1176 time 5.2302 not-muc 33864 unknown 62 muc 955
5.29/5.32	c iter 1177 time 5.2312 not-muc 33864 unknown 61 muc 956
5.29/5.32	c iter 1178 time 5.2322 not-muc 33864 unknown 60 muc 957
5.29/5.32	c iter 1179 time 5.2332 not-muc 33864 unknown 59 muc 958
5.29/5.32	c iter 1180 time 5.2342 not-muc 33864 unknown 58 muc 959
5.29/5.32	c iter 1181 time 5.2362 not-muc 33864 unknown 57 muc 960
5.29/5.32	c iter 1182 time 5.2372 not-muc 33864 unknown 56 muc 961
5.29/5.32	c iter 1183 time 5.2412 not-muc 33864 unknown 55 muc 962
5.29/5.32	c iter 1184 time 5.2462 not-muc 33864 unknown 54 muc 963
5.29/5.32	c iter 1185 time 5.2472 not-muc 33864 unknown 53 muc 964
5.29/5.32	c iter 1186 time 5.2482 not-muc 33864 unknown 52 muc 965
5.29/5.32	c iter 1187 time 5.2602 not-muc 33866 unknown 50 muc 965
5.29/5.32	c iter 1188 time 5.2652 not-muc 33866 unknown 49 muc 966
5.29/5.32	c iter 1189 time 5.2662 not-muc 33866 unknown 48 muc 967
5.29/5.32	c iter 1190 time 5.2672 not-muc 33866 unknown 47 muc 968
5.29/5.32	c iter 1191 time 5.2692 not-muc 33866 unknown 46 muc 969
5.29/5.32	c iter 1192 time 5.2702 not-muc 33866 unknown 45 muc 970
5.29/5.32	c iter 1193 time 5.2712 not-muc 33866 unknown 44 muc 971
5.29/5.32	c iter 1194 time 5.2722 not-muc 33866 unknown 43 muc 972
5.29/5.32	c iter 1195 time 5.2732 not-muc 33866 unknown 42 muc 973
5.29/5.32	c iter 1196 time 5.2762 not-muc 33866 unknown 41 muc 974
5.29/5.32	c iter 1197 time 5.2792 not-muc 33866 unknown 40 muc 975
5.29/5.32	c iter 1198 time 5.2802 not-muc 33866 unknown 39 muc 976
5.29/5.32	c iter 1199 time 5.2812 not-muc 33866 unknown 38 muc 977
5.29/5.38	c iter 1200 time 5.2832 not-muc 33866 unknown 37 muc 978
5.29/5.38	c iter 1201 time 5.2852 not-muc 33866 unknown 36 muc 979
5.29/5.38	c iter 1202 time 5.2862 not-muc 33866 unknown 35 muc 980
5.29/5.38	c iter 1203 time 5.2872 not-muc 33866 unknown 34 muc 981
5.29/5.38	c iter 1204 time 5.29019 not-muc 33866 unknown 33 muc 982
5.29/5.38	c iter 1205 time 5.2942 not-muc 33866 unknown 32 muc 983
5.29/5.38	c iter 1206 time 5.29819 not-muc 33866 unknown 31 muc 984
5.29/5.38	c iter 1207 time 5.29919 not-muc 33866 unknown 30 muc 985
5.29/5.38	c iter 1208 time 5.30019 not-muc 33866 unknown 29 muc 986
5.29/5.38	c iter 1209 time 5.30219 not-muc 33866 unknown 28 muc 987
5.29/5.38	c iter 1210 time 5.30319 not-muc 33866 unknown 27 muc 988
5.29/5.38	c iter 1211 time 5.30419 not-muc 33866 unknown 26 muc 989
5.29/5.38	c iter 1212 time 5.30519 not-muc 33866 unknown 25 muc 990
5.29/5.38	c iter 1213 time 5.30619 not-muc 33866 unknown 24 muc 991
5.29/5.38	c iter 1214 time 5.30719 not-muc 33866 unknown 23 muc 992
5.29/5.38	c iter 1215 time 5.31019 not-muc 33866 unknown 22 muc 993
5.29/5.38	c iter 1216 time 5.31119 not-muc 33866 unknown 21 muc 994
5.29/5.38	c iter 1217 time 5.31219 not-muc 33866 unknown 20 muc 995
5.29/5.38	c iter 1218 time 5.31319 not-muc 33866 unknown 19 muc 996
5.29/5.38	c iter 1219 time 5.31519 not-muc 33866 unknown 18 muc 997
5.29/5.38	c iter 1220 time 5.31719 not-muc 33866 unknown 17 muc 998
5.29/5.38	c iter 1221 time 5.31819 not-muc 33866 unknown 16 muc 999
5.29/5.38	c iter 1222 time 5.31919 not-muc 33866 unknown 15 muc 1000
5.29/5.38	c iter 1223 time 5.32019 not-muc 33866 unknown 14 muc 1001
5.29/5.38	c iter 1224 time 5.32119 not-muc 33866 unknown 13 muc 1002
5.29/5.38	c iter 1225 time 5.32319 not-muc 33866 unknown 12 muc 1003
5.29/5.38	c iter 1226 time 5.32319 not-muc 33866 unknown 11 muc 1004
5.29/5.38	c iter 1227 time 5.32519 not-muc 33866 unknown 10 muc 1005
5.29/5.38	c iter 1228 time 5.32619 not-muc 33866 unknown 9 muc 1006
5.29/5.38	c iter 1229 time 5.32719 not-muc 33866 unknown 8 muc 1007
5.29/5.38	c iter 1230 time 5.32819 not-muc 33866 unknown 7 muc 1008
5.29/5.38	c iter 1231 time 5.32919 not-muc 33866 unknown 6 muc 1009
5.29/5.38	c iter 1232 time 5.33019 not-muc 33866 unknown 5 muc 1010
5.29/5.38	c iter 1233 time 5.33119 not-muc 33866 unknown 4 muc 1011
5.29/5.38	c iter 1234 time 5.33419 not-muc 33866 unknown 3 muc 1012
5.29/5.38	c iter 1235 time 5.33519 not-muc 33866 unknown 2 muc 1013
5.29/5.38	c iter 1236 time 5.33619 not-muc 33866 unknown 1 muc 1014
5.29/5.38	c final iter 1237 time 5.33919 not-muc 33866 unknown 0 muc 1015
5.29/5.38	v 1606 1607 1608 1609 1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1683 1684 1685 1686 1688 1689 1690 1692 1693 1695 1696 1697 1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1711 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 1722 1723 1724 1725 1726 1727 1728 1729 1730 1731 1732 1733 1734 1735 1736 1737 1738 1739 1740 1741 1742 1743 1744 1745 1746 1747 1748 1749 1750 1751 1752 1753 1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765 1766 1767 1768 1769 1770 1771 1772 1773 1774 1775 1776 1777 1778 1779 1780 1781 1782 1783 1784 1785 1786 1787 2061 2062 2063 2064 2065 2066 2067 2068 2069 2070 2071 2072 2073 2074 2075 2076 2077 2078 2079 2080 2081 2082 2083 2084 2085 2086 2087 2088 2089 2090 2091 2092 2093 2094 2095 2096 2097 2098 2099 2100 2101 2102 2103 2104 2105 2106 2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202 2203 2204 2205 2206 2208 2209 2210 2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2223 2224 2225 2226 2227 2228 2229 2230 2231 2232 2234 2235 2236 2238 2239 2241 2242 2334 2335 2336 2337 2338 2339 2340 2341 2342 2343 2344 2345 2346 2347 2348 2349 2350 2351 2352 2353 2354 2355 2356 2357 2358 2359 2360 2361 2362 2363 2364 2365 2366 2367 2368 2369 2370 2371 2372 2373 2374 2375 2376 2377 2378 2379 2380 2381 2382 2383 2384 2385 2386 2387 2388 2389 2390 2391 2392 2393 2394 2395 2396 2397 2398 2399 2400 2401 2402 2403 2404 2405 2406 2407 2408 2409 2410 2411 2412 2413 2414 2415 2416 2417 2418 2420 2421 2422 2423 2425 2426 2427 2428 2429 2430 2431 2432 2433 2434 2435 2436 2437 2438 2439 2440 2441 2442 2443 2444 2445 2446 2447 2448 2449 2450 2451 2452 2453 2454 2455 2456 2457 2458 2459 2460 2461 2462 2463 2464 2465 2466 2467 2468 2469 2470 2471 2472 2473 2474 2475 2476 2477 2478 2479 2480 2481 2482 2483 2484 2485 2486 2487 2488 2489 2490 2491 2492 2493 2494 2495 2496 2497 2498 2499 2500 2501 2502 2503 2504 2505 2506 2507 2508 2509 2510 2511 2512 2513 2514 2515 2971 2973 2974 2975 2976 2977 2978 2979 2980 2986 2987 2988 2989 2990 2991 2992 2993 3011 3012 3013 3014 3015 3021 3022 3023 3024 3025 3026 3031 3032 3033 3034 3035 3040 3041 3042 3043 3048 3049 3050 3055 3056 3061 3127 3329 3412 3456 3522 3523 3524 3594 3675 3680 3681 3685 3698 3699 3700 3702 3703 3745 3761 3762 3781 3782 3783 3784 3804 3828 3842 3845 3909 3912 3916 3919 3948 3951 3954 3958 3961 3975 3994 4000 4003 4004 4021 4022 4035 4038 4041 4042 4044 4045 4046 4050 4053 4054 4055 4057 4058 4059 4060 8791 8794 8797 8800 8806 8812 8815 8818 8821 8824 8827 8830 8966 8967 8969 8970 8972 8973 8975 8976 8978 8979 8981 8982 8984 8985 8987 8988 8990 8991 8993 8994 8996 8997 8999 9000 9002 9003 9005 9006 9008 9009 9011 9012 9014 9015 9017 9018 9020 9021 9023 9024 9026 9027 9029 9030 9032 9033 9035 9036 9038 9039 9041 9042 9044 9045 9047 9048 9050 9051 9053 9054 9056 9059 9063 9065 9068 9071 9074 9077 9080 9083 9086 9089 9092 9095 9098 9101 9102 9104 9105 9107 9108 9110 9111 9113 9114 9116 9117 9119 9120 9122 9123 9125 9126 9128 9129 9131 9132 9134 9135 9137 9138 9140 9143 9144 9146 9147 9149 9150 9152 9153 9155 9156 9158 9159 9161 9162 9164 9165 9167 9168 9170 9171 9173 9174 9176 9177 9179 9180 9182 9183 9185 9186 9188 9189 9507 9509 9512 9515 9518 9521 9524 9527 9530 9533 9536 9539 9542 9545 9548 9551 9552 9554 9555 9557 9558 9560 9561 9563 9564 9566 9567 9569 9570 9572 9573 9575 9576 9578 9579 9581 9582 9584 9585 9587 9588 9590 9591 9593 9594 9596 9597 9599 9600 9602 9603 9605 9606 9608 9609 9611 9612 9614 9615 9617 9618 9620 9621 9623 9624 9626 9627 9629 9630 9632 9633 9635 9636 9638 9639 9686 9687 9689 9690 9692 9693 9695 9696 9698 9699 9701 9702 9704 9705 9707 9708 9710 9711 9713 9714 9716 9717 9719 9720 9722 9723 9725 9726 9728 9729 9731 9732 9734 9735 9737 9738 9740 9741 9743 9744 9746 9747 9749 9750 9752 9753 9755 9756 9758 9759 9761 9762 9764 9765 9767 9768 9770 9771 9773 9774 11581 11608 11611 11614 11620 11659 11986 11992 11998 12004 12010 12013 12016 12019 12022 12567 12570 12572 12573 12575 12576 12578 12579 12581 12582 12584 12585 12587 12588 12590 12591 12593 12594 12596 12597 12599 12600 12602 12605 12608 15192 15193 15194 15195 15197 15199 15200 15201 15202 15203 15204 15205 15270 15286 15302 15318 15334 15462 15478 15494 15526 15542 16184 16193 16194 16195 16197 16211 16328 16330 16332 16334 16336 16337 16338 16339 16340 16550 30954 33232 33322 33323 33324 33325 33326 33327 33328 33329 33330 33331 33332 33333 33334 33336 33607 33609 33610 33611 33612 33613 33614 33615 33616 0
5.29/5.38	s UNSATISFIABLE

OK	1015

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493954-1307803982/watcher-3493954-1307803982 -o /tmp/evaluation-result-3493954-1307803982/solver-3493954-1307803982 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3493954-1307803982.cnf 

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.02 4.00 3.53 4/189 4749
/proc/meminfo: memFree=31257124/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=23292 CPUtime=0 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 1259 0 0 0 0 0 0 0 25 0 1 0 872814375 23851008 1177 33554432000 4194304 4311632 140735038143744 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 5823 1179 216 29 0 2452 0

[startup+0.017755 s]
/proc/loadavg: 4.02 4.00 3.53 4/189 4749
/proc/meminfo: memFree=31257124/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=25676 CPUtime=0.01 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 1875 0 0 0 1 0 0 0 25 0 1 0 872814375 26292224 1742 33554432000 4194304 4311632 140735038143744 18446744073709551615 4221411 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 6419 1743 218 29 0 3048 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25676

[startup+0.1007 s]
/proc/loadavg: 4.02 4.00 3.53 4/189 4749
/proc/meminfo: memFree=31257124/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=22964 CPUtime=0.09 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 3014 0 0 0 9 0 0 0 25 0 1 0 872814375 23515136 2277 33554432000 4194304 4311632 140735038143744 18446744073709551615 255110227288 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 5741 2277 245 29 0 2370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22964

[startup+0.300666 s]
/proc/loadavg: 4.02 4.00 3.53 4/189 4749
/proc/meminfo: memFree=31257124/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=28388 CPUtime=0.29 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 4084 0 0 0 29 0 0 0 25 0 1 0 872814375 29069312 3345 33554432000 4194304 4311632 140735038143744 18446744073709551615 4271139 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 7097 3348 245 29 0 3726 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28388

[startup+0.700595 s]
/proc/loadavg: 4.02 4.00 3.53 4/189 4749
/proc/meminfo: memFree=31257124/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=51664 CPUtime=0.69 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 7445 0 0 0 68 1 0 0 25 0 1 0 872814375 52903936 6698 33554432000 4194304 4311632 140735038143744 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 12916 6698 263 29 0 9545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51664

[startup+1.50046 s]
/proc/loadavg: 4.02 4.00 3.53 5/190 4750
/proc/meminfo: memFree=31164004/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=70632 CPUtime=1.49 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 12780 0 0 0 147 2 0 0 25 0 1 0 872814375 72327168 12024 33554432000 4194304 4311632 140735038143744 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 17658 12025 263 29 0 14287 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70632

[startup+3.10017 s]
/proc/loadavg: 4.02 4.00 3.53 5/190 4750
/proc/meminfo: memFree=31126184/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=39876 CPUtime=3.09 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 22996 0 0 0 305 4 0 0 25 0 1 0 872814375 40833024 6502 33554432000 4194304 4311632 140735038143744 18446744073709551615 4264231 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 9969 6502 263 29 0 6598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39876

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

[startup+4.70089 s]
/proc/loadavg: 4.02 4.00 3.53 5/190 4750
/proc/meminfo: memFree=30988048/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=42684 CPUtime=4.69 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 23838 0 0 0 465 4 0 0 25 0 1 0 872814375 43708416 7337 33554432000 4194304 4311632 140735038143744 18446744073709551615 4247247 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 10671 7337 263 29 0 7300 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 42684

[startup+5.10082 s]
/proc/loadavg: 4.02 4.00 3.53 5/190 4750
/proc/meminfo: memFree=30988048/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=42684 CPUtime=5.09 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 23838 0 0 0 505 4 0 0 25 0 1 0 872814375 43708416 7337 33554432000 4194304 4311632 140735038143744 18446744073709551615 4260238 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 10671 7337 263 29 0 7300 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 42684

[startup+5.30079 s]
/proc/loadavg: 4.02 4.00 3.53 5/190 4750
/proc/meminfo: memFree=30988048/32951124 swapFree=67088052/67111528
[pid=4749] ppid=4747 vsize=42684 CPUtime=5.29 cores=1,3
/proc/4749/stat : 4749 (hmuc-a) R 4747 4749 10609 0 -1 4202496 23838 0 0 0 525 4 0 0 25 0 1 0 872814375 43708416 7337 33554432000 4194304 4311632 140735038143744 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4749/statm: 10671 7337 263 29 0 7300 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 42684

Child status: 20
Real time (s): 5.38808
CPU time (s): 5.38218
CPU user time (s): 5.33919
CPU system time (s): 0.042993
CPU usage (%): 99.8904
Max. virtual memory (cumulated for all children) (KiB): 101452

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

runsolver used 0.009998 second user time and 0.032994 second system time

The end

Begin job on node144 at 2011-06-11 16:53:02
IDJOB=3493954
IDBENCH=83452
IDSOLVER=1983
FILE ID=node144/3493954-1307803982
RUNJOBID= node144-1307802619-4542
PBS_JOBID= 13551004
Free space on /tmp= 74004 MiB

SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E03N15.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493954-1307803982/watcher-3493954-1307803982 -o /tmp/evaluation-result-3493954-1307803982/solver-3493954-1307803982 -C 1800 -W 1850 -M 7680  HOME/hmuc-a HOME/instance-3493954-1307803982.cnf

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

MD5SUM BENCH= 5e437ee939aa66499926385ad9d3b182
RANDOM SEED=2007966188

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31258536 kB
Buffers:        195844 kB
Cached:         817680 kB
SwapCached:       1652 kB
Active:         898840 kB
Inactive:       619284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31258536 kB
SwapTotal:    67111528 kB
SwapFree:     67088052 kB
Dirty:            1388 kB
Writeback:           0 kB
AnonPages:      503220 kB
Mapped:          14488 kB
Slab:           107472 kB
PageTables:       6108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   786108 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74004 MiB
End job on node144 at 2011-06-11 16:53:08