3.99/4.07	c WARNING: for repeatability, setting FPU to use double precision
3.99/4.07	c iter 1 time 2.23766 not-muc 246786 unknown 2848 muc 0
3.99/4.07	c iter 2 time 3.23651 not-muc 246786 unknown 2847 muc 1
3.99/4.07	c iter 3 time 3.2505 not-muc 246786 unknown 2846 muc 2
3.99/4.07	c iter 4 time 3.2635 not-muc 246786 unknown 2845 muc 3
3.99/4.07	c iter 5 time 3.2775 not-muc 246786 unknown 2844 muc 4
3.99/4.07	c iter 6 time 3.2885 not-muc 246786 unknown 2843 muc 5
3.99/4.07	c iter 7 time 3.2935 not-muc 247512 unknown 2117 muc 5
3.99/4.07	c iter 8 time 3.3065 not-muc 247512 unknown 2116 muc 6
3.99/4.07	c iter 9 time 3.3165 not-muc 247512 unknown 2115 muc 7
3.99/4.07	c iter 10 time 3.32649 not-muc 247512 unknown 2114 muc 8
3.99/4.07	c iter 11 time 3.33649 not-muc 247512 unknown 2113 muc 9
3.99/4.07	c iter 12 time 3.34649 not-muc 247512 unknown 2112 muc 10
3.99/4.07	c iter 13 time 3.35649 not-muc 247512 unknown 2111 muc 11
3.99/4.07	c iter 14 time 3.36649 not-muc 247512 unknown 2110 muc 12
3.99/4.07	c iter 15 time 3.37649 not-muc 247512 unknown 2109 muc 13
3.99/4.07	c iter 16 time 3.38648 not-muc 247512 unknown 2108 muc 14
3.99/4.07	c iter 17 time 3.38848 not-muc 247688 unknown 1932 muc 14
3.99/4.07	c iter 18 time 3.39948 not-muc 247688 unknown 1931 muc 15
3.99/4.07	c iter 19 time 3.40948 not-muc 247688 unknown 1930 muc 16
3.99/4.07	c iter 20 time 3.41948 not-muc 247688 unknown 1929 muc 17
3.99/4.07	c iter 21 time 3.42948 not-muc 247688 unknown 1928 muc 18
3.99/4.07	c iter 22 time 3.43948 not-muc 247688 unknown 1927 muc 19
3.99/4.07	c iter 23 time 3.44948 not-muc 247688 unknown 1926 muc 20
3.99/4.07	c iter 24 time 3.45947 not-muc 247688 unknown 1925 muc 21
3.99/4.07	c iter 25 time 3.46947 not-muc 247688 unknown 1924 muc 22
3.99/4.07	c iter 26 time 3.48047 not-muc 247688 unknown 1923 muc 23
3.99/4.07	c iter 27 time 3.49047 not-muc 247688 unknown 1922 muc 24
3.99/4.07	c iter 28 time 3.50047 not-muc 247688 unknown 1921 muc 25
3.99/4.07	c iter 29 time 3.51047 not-muc 247688 unknown 1920 muc 26
3.99/4.07	c iter 30 time 3.51946 not-muc 247688 unknown 1919 muc 27
3.99/4.07	c iter 31 time 3.52946 not-muc 247688 unknown 1918 muc 28
3.99/4.07	c iter 32 time 3.54046 not-muc 247688 unknown 1917 muc 29
3.99/4.07	c iter 33 time 3.55046 not-muc 247688 unknown 1916 muc 30
3.99/4.07	c iter 34 time 3.56046 not-muc 247688 unknown 1915 muc 31
3.99/4.07	c iter 35 time 3.57046 not-muc 247688 unknown 1914 muc 32
3.99/4.07	c iter 36 time 3.58046 not-muc 247688 unknown 1913 muc 33
3.99/4.07	c iter 37 time 3.59045 not-muc 247688 unknown 1912 muc 34
3.99/4.07	c iter 38 time 3.60045 not-muc 247688 unknown 1911 muc 35
3.99/4.07	c iter 39 time 3.61145 not-muc 247688 unknown 1910 muc 36
3.99/4.07	c iter 40 time 3.62145 not-muc 247688 unknown 1909 muc 37
3.99/4.07	c iter 41 time 3.63145 not-muc 247688 unknown 1908 muc 38
3.99/4.07	c iter 42 time 3.64145 not-muc 247688 unknown 1907 muc 39
3.99/4.07	c iter 43 time 3.65144 not-muc 247688 unknown 1906 muc 40
3.99/4.07	c iter 44 time 3.66144 not-muc 247688 unknown 1905 muc 41
3.99/4.07	c iter 45 time 3.67244 not-muc 247688 unknown 1904 muc 42
3.99/4.07	c iter 46 time 3.68244 not-muc 247688 unknown 1903 muc 43
3.99/4.07	c iter 47 time 3.69244 not-muc 247688 unknown 1902 muc 44
3.99/4.07	c iter 48 time 3.70244 not-muc 247688 unknown 1901 muc 45
3.99/4.07	c iter 49 time 3.71244 not-muc 247688 unknown 1900 muc 46
3.99/4.07	c iter 50 time 3.72243 not-muc 247688 unknown 1899 muc 47
3.99/4.07	c iter 51 time 3.73243 not-muc 247688 unknown 1898 muc 48
3.99/4.07	c iter 52 time 3.74243 not-muc 247688 unknown 1897 muc 49
3.99/4.07	c iter 53 time 3.74543 not-muc 247746 unknown 1839 muc 49
3.99/4.07	c iter 54 time 3.75643 not-muc 247746 unknown 1838 muc 50
3.99/4.07	c iter 55 time 3.76643 not-muc 247746 unknown 1837 muc 51
3.99/4.07	c iter 56 time 3.77743 not-muc 247746 unknown 1836 muc 52
3.99/4.07	c iter 57 time 3.78742 not-muc 247746 unknown 1835 muc 53
3.99/4.07	c iter 58 time 3.79742 not-muc 247746 unknown 1834 muc 54
3.99/4.07	c iter 59 time 3.80742 not-muc 247746 unknown 1833 muc 55
3.99/4.07	c iter 60 time 3.81842 not-muc 247746 unknown 1832 muc 56
3.99/4.07	c iter 61 time 3.82842 not-muc 247746 unknown 1831 muc 57
3.99/4.07	c iter 62 time 3.83842 not-muc 247746 unknown 1830 muc 58
3.99/4.07	c iter 63 time 3.84941 not-muc 247746 unknown 1829 muc 59
3.99/4.07	c iter 64 time 3.85941 not-muc 247746 unknown 1828 muc 60
3.99/4.07	c iter 65 time 3.86941 not-muc 247746 unknown 1827 muc 61
3.99/4.07	c iter 66 time 3.88041 not-muc 247746 unknown 1826 muc 62
3.99/4.07	c iter 67 time 3.89041 not-muc 247746 unknown 1825 muc 63
3.99/4.07	c iter 68 time 3.90141 not-muc 247746 unknown 1824 muc 64
3.99/4.07	c iter 69 time 3.91141 not-muc 247746 unknown 1823 muc 65
3.99/4.07	c iter 70 time 3.9214 not-muc 247746 unknown 1822 muc 66
4.69/4.79	c iter 71 time 3.9314 not-muc 247746 unknown 1821 muc 67
4.69/4.79	c iter 72 time 3.9414 not-muc 247746 unknown 1820 muc 68
4.69/4.79	c iter 73 time 3.9524 not-muc 247746 unknown 1819 muc 69
4.69/4.79	c iter 74 time 3.9624 not-muc 247746 unknown 1818 muc 70
4.69/4.79	c iter 75 time 3.9724 not-muc 247746 unknown 1817 muc 71
4.69/4.79	c iter 76 time 3.98339 not-muc 247746 unknown 1816 muc 72
4.69/4.79	c iter 77 time 3.99339 not-muc 247746 unknown 1815 muc 73
4.69/4.79	c iter 78 time 4.00439 not-muc 247746 unknown 1814 muc 74
4.69/4.79	c iter 79 time 4.01439 not-muc 247746 unknown 1813 muc 75
4.69/4.79	c iter 80 time 4.02539 not-muc 247746 unknown 1812 muc 76
4.69/4.79	c iter 81 time 4.03539 not-muc 247746 unknown 1811 muc 77
4.69/4.79	c iter 82 time 4.04538 not-muc 247746 unknown 1810 muc 78
4.69/4.79	c iter 83 time 4.05638 not-muc 247746 unknown 1809 muc 79
4.69/4.79	c iter 84 time 4.06638 not-muc 247746 unknown 1808 muc 80
4.69/4.79	c iter 85 time 4.07738 not-muc 247746 unknown 1807 muc 81
4.69/4.79	c iter 86 time 4.08738 not-muc 247746 unknown 1806 muc 82
4.69/4.79	c iter 87 time 4.09838 not-muc 247746 unknown 1805 muc 83
4.69/4.79	c iter 88 time 4.10837 not-muc 247746 unknown 1804 muc 84
4.69/4.79	c iter 89 time 4.11937 not-muc 247746 unknown 1803 muc 85
4.69/4.79	c iter 90 time 4.12937 not-muc 247746 unknown 1802 muc 86
4.69/4.79	c iter 91 time 4.13937 not-muc 247746 unknown 1801 muc 87
4.69/4.79	c iter 92 time 4.15037 not-muc 247746 unknown 1800 muc 88
4.69/4.79	c iter 93 time 4.16037 not-muc 247746 unknown 1799 muc 89
4.69/4.79	c iter 94 time 4.17136 not-muc 247746 unknown 1798 muc 90
4.69/4.79	c iter 95 time 4.18136 not-muc 247746 unknown 1797 muc 91
4.69/4.79	c iter 96 time 4.19236 not-muc 247746 unknown 1796 muc 92
4.69/4.79	c iter 97 time 4.20236 not-muc 247746 unknown 1795 muc 93
4.69/4.79	c iter 98 time 4.21336 not-muc 247746 unknown 1794 muc 94
4.69/4.79	c iter 99 time 4.22336 not-muc 247746 unknown 1793 muc 95
4.69/4.79	c iter 100 time 4.23436 not-muc 247746 unknown 1792 muc 96
4.69/4.79	c iter 101 time 4.24435 not-muc 247746 unknown 1791 muc 97
4.69/4.79	c iter 102 time 4.25435 not-muc 247746 unknown 1790 muc 98
4.69/4.79	c iter 103 time 4.26435 not-muc 247746 unknown 1789 muc 99
4.69/4.79	c iter 104 time 4.27435 not-muc 247746 unknown 1788 muc 100
4.69/4.79	c iter 105 time 4.28535 not-muc 247746 unknown 1787 muc 101
4.69/4.79	c iter 106 time 4.29535 not-muc 247746 unknown 1786 muc 102
4.69/4.79	c iter 107 time 4.30635 not-muc 247746 unknown 1785 muc 103
4.69/4.79	c iter 108 time 4.31634 not-muc 247746 unknown 1784 muc 104
4.69/4.79	c iter 109 time 4.32734 not-muc 247746 unknown 1783 muc 105
4.69/4.79	c iter 110 time 4.33734 not-muc 247746 unknown 1782 muc 106
4.69/4.79	c iter 111 time 4.34834 not-muc 247746 unknown 1781 muc 107
4.69/4.79	c iter 112 time 4.35834 not-muc 247746 unknown 1780 muc 108
4.69/4.79	c iter 113 time 4.36934 not-muc 247746 unknown 1779 muc 109
4.69/4.79	c iter 114 time 4.37233 not-muc 247770 unknown 1755 muc 109
4.69/4.79	c iter 115 time 4.37434 not-muc 247778 unknown 1747 muc 109
4.69/4.79	c iter 116 time 4.38533 not-muc 247778 unknown 1746 muc 110
4.69/4.79	c iter 117 time 4.39533 not-muc 247778 unknown 1745 muc 111
4.69/4.79	c iter 118 time 4.40633 not-muc 247778 unknown 1744 muc 112
4.69/4.79	c iter 119 time 4.41633 not-muc 247778 unknown 1743 muc 113
4.69/4.79	c iter 120 time 4.42733 not-muc 247778 unknown 1742 muc 114
4.69/4.79	c iter 121 time 4.43832 not-muc 247778 unknown 1741 muc 115
4.69/4.79	c iter 122 time 4.44832 not-muc 247778 unknown 1740 muc 116
4.69/4.79	c iter 123 time 4.45932 not-muc 247778 unknown 1739 muc 117
4.69/4.79	c iter 124 time 4.46932 not-muc 247778 unknown 1738 muc 118
4.69/4.79	c iter 125 time 4.48032 not-muc 247778 unknown 1737 muc 119
4.69/4.79	c iter 126 time 4.49032 not-muc 247778 unknown 1736 muc 120
4.69/4.79	c iter 127 time 4.50131 not-muc 247778 unknown 1735 muc 121
4.69/4.79	c iter 128 time 4.51131 not-muc 247778 unknown 1734 muc 122
4.69/4.79	c iter 129 time 4.52231 not-muc 247778 unknown 1733 muc 123
4.69/4.79	c iter 130 time 4.53331 not-muc 247778 unknown 1732 muc 124
4.69/4.79	c iter 131 time 4.54331 not-muc 247778 unknown 1731 muc 125
4.69/4.79	c iter 132 time 4.55431 not-muc 247778 unknown 1730 muc 126
4.69/4.79	c iter 133 time 4.56431 not-muc 247778 unknown 1729 muc 127
4.69/4.79	c iter 134 time 4.5753 not-muc 247778 unknown 1728 muc 128
4.69/4.79	c iter 135 time 4.5863 not-muc 247778 unknown 1727 muc 129
4.69/4.79	c iter 136 time 4.5963 not-muc 247778 unknown 1726 muc 130
4.69/4.79	c iter 137 time 4.5993 not-muc 247802 unknown 1702 muc 130
4.69/4.79	c iter 138 time 4.6103 not-muc 247802 unknown 1701 muc 131
4.69/4.79	c iter 139 time 4.6213 not-muc 247802 unknown 1700 muc 132
4.69/4.79	c iter 140 time 4.63129 not-muc 247802 unknown 1699 muc 133
5.39/5.48	c iter 141 time 4.64229 not-muc 247802 unknown 1698 muc 134
5.39/5.48	c iter 142 time 4.65329 not-muc 247802 unknown 1697 muc 135
5.39/5.48	c iter 143 time 4.66329 not-muc 247802 unknown 1696 muc 136
5.39/5.48	c iter 144 time 4.67429 not-muc 247802 unknown 1695 muc 137
5.39/5.48	c iter 145 time 4.68529 not-muc 247802 unknown 1694 muc 138
5.39/5.48	c iter 146 time 4.69529 not-muc 247802 unknown 1693 muc 139
5.39/5.48	c iter 147 time 4.70628 not-muc 247802 unknown 1692 muc 140
5.39/5.48	c iter 148 time 4.71628 not-muc 247802 unknown 1691 muc 141
5.39/5.48	c iter 149 time 4.72728 not-muc 247802 unknown 1690 muc 142
5.39/5.48	c iter 150 time 4.73828 not-muc 247802 unknown 1689 muc 143
5.39/5.48	c iter 151 time 4.74828 not-muc 247802 unknown 1688 muc 144
5.39/5.48	c iter 152 time 4.75928 not-muc 247802 unknown 1687 muc 145
5.39/5.48	c iter 153 time 4.76927 not-muc 247802 unknown 1686 muc 146
5.39/5.48	c iter 154 time 4.78027 not-muc 247802 unknown 1685 muc 147
5.39/5.48	c iter 155 time 4.79127 not-muc 247802 unknown 1684 muc 148
5.39/5.48	c iter 156 time 4.80127 not-muc 247802 unknown 1683 muc 149
5.39/5.48	c iter 157 time 4.81227 not-muc 247802 unknown 1682 muc 150
5.39/5.48	c iter 158 time 4.82327 not-muc 247802 unknown 1681 muc 151
5.39/5.48	c iter 159 time 4.83326 not-muc 247802 unknown 1680 muc 152
5.39/5.48	c iter 160 time 4.84326 not-muc 247802 unknown 1679 muc 153
5.39/5.48	c iter 161 time 4.84626 not-muc 247925 unknown 1556 muc 153
5.39/5.48	c iter 162 time 4.84926 not-muc 247931 unknown 1550 muc 153
5.39/5.48	c iter 163 time 4.86026 not-muc 247931 unknown 1549 muc 154
5.39/5.48	c iter 164 time 4.87026 not-muc 247931 unknown 1548 muc 155
5.39/5.48	c iter 165 time 4.88126 not-muc 247931 unknown 1547 muc 156
5.39/5.48	c iter 166 time 4.89226 not-muc 247931 unknown 1546 muc 157
5.39/5.48	c iter 167 time 4.90225 not-muc 247931 unknown 1545 muc 158
5.39/5.48	c iter 168 time 4.91325 not-muc 247931 unknown 1544 muc 159
5.39/5.48	c iter 169 time 4.92425 not-muc 247931 unknown 1543 muc 160
5.39/5.48	c iter 170 time 4.93525 not-muc 247931 unknown 1542 muc 161
5.39/5.48	c iter 171 time 4.94525 not-muc 247931 unknown 1541 muc 162
5.39/5.48	c iter 172 time 4.95625 not-muc 247931 unknown 1540 muc 163
5.39/5.48	c iter 173 time 4.96724 not-muc 247931 unknown 1539 muc 164
5.39/5.48	c iter 174 time 4.97724 not-muc 247931 unknown 1538 muc 165
5.39/5.48	c iter 175 time 4.98824 not-muc 247931 unknown 1537 muc 166
5.39/5.48	c iter 176 time 4.99024 not-muc 247946 unknown 1522 muc 166
5.39/5.48	c iter 177 time 5.00124 not-muc 247946 unknown 1521 muc 167
5.39/5.48	c iter 178 time 5.01124 not-muc 247946 unknown 1520 muc 168
5.39/5.48	c iter 179 time 5.02224 not-muc 247946 unknown 1519 muc 169
5.39/5.48	c iter 180 time 5.03323 not-muc 247946 unknown 1518 muc 170
5.39/5.48	c iter 181 time 5.04323 not-muc 247946 unknown 1517 muc 171
5.39/5.48	c iter 182 time 5.05423 not-muc 247946 unknown 1516 muc 172
5.39/5.48	c iter 183 time 5.06523 not-muc 247946 unknown 1515 muc 173
5.39/5.48	c iter 184 time 5.07523 not-muc 247946 unknown 1514 muc 174
5.39/5.48	c iter 185 time 5.08623 not-muc 247946 unknown 1513 muc 175
5.39/5.48	c iter 186 time 5.09722 not-muc 247946 unknown 1512 muc 176
5.39/5.48	c iter 187 time 5.10722 not-muc 247946 unknown 1511 muc 177
5.39/5.48	c iter 188 time 5.11822 not-muc 247946 unknown 1510 muc 178
5.39/5.48	c iter 189 time 5.12922 not-muc 247946 unknown 1509 muc 179
5.39/5.48	c iter 190 time 5.14022 not-muc 247946 unknown 1508 muc 180
5.39/5.48	c iter 191 time 5.14222 not-muc 247950 unknown 1504 muc 180
5.39/5.48	c iter 192 time 5.15322 not-muc 247950 unknown 1503 muc 181
5.39/5.48	c iter 193 time 5.16421 not-muc 247950 unknown 1502 muc 182
5.39/5.48	c iter 194 time 5.17521 not-muc 247950 unknown 1501 muc 183
5.39/5.48	c iter 195 time 5.18521 not-muc 247950 unknown 1500 muc 184
5.39/5.48	c iter 196 time 5.19621 not-muc 247950 unknown 1499 muc 185
5.39/5.48	c iter 197 time 5.20721 not-muc 247950 unknown 1498 muc 186
5.39/5.48	c iter 198 time 5.21821 not-muc 247950 unknown 1497 muc 187
5.39/5.48	c iter 199 time 5.2282 not-muc 247950 unknown 1496 muc 188
5.39/5.48	c iter 200 time 5.2392 not-muc 247950 unknown 1495 muc 189
5.39/5.48	c iter 201 time 5.2502 not-muc 247950 unknown 1494 muc 190
5.39/5.48	c iter 202 time 5.2612 not-muc 247950 unknown 1493 muc 191
5.39/5.48	c iter 203 time 5.2712 not-muc 247950 unknown 1492 muc 192
5.39/5.48	c iter 204 time 5.2822 not-muc 247950 unknown 1491 muc 193
5.39/5.48	c iter 205 time 5.29319 not-muc 247950 unknown 1490 muc 194
5.39/5.48	c iter 206 time 5.30419 not-muc 247950 unknown 1489 muc 195
5.39/5.48	c iter 207 time 5.31419 not-muc 247950 unknown 1488 muc 196
5.39/5.48	c iter 208 time 5.32519 not-muc 247950 unknown 1487 muc 197
6.19/6.22	c iter 209 time 5.33619 not-muc 247950 unknown 1486 muc 198
6.19/6.22	c iter 210 time 5.34719 not-muc 247950 unknown 1485 muc 199
6.19/6.22	c iter 211 time 5.35818 not-muc 247950 unknown 1484 muc 200
6.19/6.22	c iter 212 time 5.36918 not-muc 247950 unknown 1483 muc 201
6.19/6.22	c iter 213 time 5.37918 not-muc 247950 unknown 1482 muc 202
6.19/6.22	c iter 214 time 5.39018 not-muc 247950 unknown 1481 muc 203
6.19/6.22	c iter 215 time 5.40118 not-muc 247950 unknown 1480 muc 204
6.19/6.22	c iter 216 time 5.41218 not-muc 247950 unknown 1479 muc 205
6.19/6.22	c iter 217 time 5.42317 not-muc 247950 unknown 1478 muc 206
6.19/6.22	c iter 218 time 5.43417 not-muc 247950 unknown 1477 muc 207
6.19/6.22	c iter 219 time 5.44417 not-muc 247950 unknown 1476 muc 208
6.19/6.22	c iter 220 time 5.45517 not-muc 247950 unknown 1475 muc 209
6.19/6.22	c iter 221 time 5.46617 not-muc 247950 unknown 1474 muc 210
6.19/6.22	c iter 222 time 5.46917 not-muc 247978 unknown 1446 muc 210
6.19/6.22	c iter 223 time 5.48017 not-muc 247978 unknown 1445 muc 211
6.19/6.22	c iter 224 time 5.49116 not-muc 247978 unknown 1444 muc 212
6.19/6.22	c iter 225 time 5.50216 not-muc 247978 unknown 1443 muc 213
6.19/6.22	c iter 226 time 5.51316 not-muc 247978 unknown 1442 muc 214
6.19/6.22	c iter 227 time 5.52416 not-muc 247978 unknown 1441 muc 215
6.19/6.22	c iter 228 time 5.53416 not-muc 247978 unknown 1440 muc 216
6.19/6.22	c iter 229 time 5.54516 not-muc 247978 unknown 1439 muc 217
6.19/6.22	c iter 230 time 5.55616 not-muc 247978 unknown 1438 muc 218
6.19/6.22	c iter 231 time 5.56715 not-muc 247978 unknown 1437 muc 219
6.19/6.22	c iter 232 time 5.57815 not-muc 247978 unknown 1436 muc 220
6.19/6.22	c iter 233 time 5.58915 not-muc 247978 unknown 1435 muc 221
6.19/6.22	c iter 234 time 5.60015 not-muc 247978 unknown 1434 muc 222
6.19/6.22	c iter 235 time 5.61115 not-muc 247978 unknown 1433 muc 223
6.19/6.22	c iter 236 time 5.62214 not-muc 247978 unknown 1432 muc 224
6.19/6.22	c iter 237 time 5.63314 not-muc 247978 unknown 1431 muc 225
6.19/6.22	c iter 238 time 5.64414 not-muc 247978 unknown 1430 muc 226
6.19/6.22	c iter 239 time 5.65514 not-muc 247978 unknown 1429 muc 227
6.19/6.22	c iter 240 time 5.66614 not-muc 247978 unknown 1428 muc 228
6.19/6.22	c iter 241 time 5.67714 not-muc 247978 unknown 1427 muc 229
6.19/6.22	c iter 242 time 5.68813 not-muc 247978 unknown 1426 muc 230
6.19/6.22	c iter 243 time 5.69813 not-muc 247978 unknown 1425 muc 231
6.19/6.22	c iter 244 time 5.70913 not-muc 247978 unknown 1424 muc 232
6.19/6.22	c iter 245 time 5.72013 not-muc 247978 unknown 1423 muc 233
6.19/6.22	c iter 246 time 5.73113 not-muc 247978 unknown 1422 muc 234
6.19/6.22	c iter 247 time 5.73313 not-muc 247986 unknown 1414 muc 234
6.19/6.22	c iter 248 time 5.74513 not-muc 247986 unknown 1413 muc 235
6.19/6.22	c iter 249 time 5.75612 not-muc 247986 unknown 1412 muc 236
6.19/6.22	c iter 250 time 5.76712 not-muc 247986 unknown 1411 muc 237
6.19/6.22	c iter 251 time 5.77812 not-muc 247986 unknown 1410 muc 238
6.19/6.22	c iter 252 time 5.78912 not-muc 247986 unknown 1409 muc 239
6.19/6.22	c iter 253 time 5.80012 not-muc 247986 unknown 1408 muc 240
6.19/6.22	c iter 254 time 5.81112 not-muc 247986 unknown 1407 muc 241
6.19/6.22	c iter 255 time 5.82211 not-muc 247986 unknown 1406 muc 242
6.19/6.22	c iter 256 time 5.83311 not-muc 247986 unknown 1405 muc 243
6.19/6.22	c iter 257 time 5.84411 not-muc 247986 unknown 1404 muc 244
6.19/6.22	c iter 258 time 5.85511 not-muc 247986 unknown 1403 muc 245
6.19/6.22	c iter 259 time 5.86611 not-muc 247986 unknown 1402 muc 246
6.19/6.22	c iter 260 time 5.87711 not-muc 247986 unknown 1401 muc 247
6.19/6.22	c iter 261 time 5.8881 not-muc 247986 unknown 1400 muc 248
6.19/6.22	c iter 262 time 5.8991 not-muc 247986 unknown 1399 muc 249
6.19/6.22	c iter 263 time 5.9101 not-muc 247986 unknown 1398 muc 250
6.19/6.22	c iter 264 time 5.9211 not-muc 247986 unknown 1397 muc 251
6.19/6.22	c iter 265 time 5.9311 not-muc 247986 unknown 1396 muc 252
6.19/6.22	c iter 266 time 5.9421 not-muc 247986 unknown 1395 muc 253
6.19/6.22	c iter 267 time 5.95309 not-muc 247986 unknown 1394 muc 254
6.19/6.22	c iter 268 time 5.96409 not-muc 247986 unknown 1393 muc 255
6.19/6.22	c iter 269 time 5.97509 not-muc 247986 unknown 1392 muc 256
6.19/6.22	c iter 270 time 5.98609 not-muc 247986 unknown 1391 muc 257
6.19/6.22	c iter 271 time 5.99809 not-muc 247986 unknown 1390 muc 258
6.19/6.22	c iter 272 time 6.00909 not-muc 247986 unknown 1389 muc 259
6.19/6.22	c iter 273 time 6.02008 not-muc 247986 unknown 1388 muc 260
6.19/6.22	c iter 274 time 6.03108 not-muc 247986 unknown 1387 muc 261
6.19/6.22	c iter 275 time 6.04108 not-muc 247986 unknown 1386 muc 262
6.19/6.22	c iter 276 time 6.05308 not-muc 247986 unknown 1385 muc 263
6.19/6.22	c iter 277 time 6.06308 not-muc 247986 unknown 1384 muc 264
6.88/6.98	c iter 278 time 6.07408 not-muc 247986 unknown 1383 muc 265
6.88/6.98	c iter 279 time 6.08507 not-muc 247986 unknown 1382 muc 266
6.88/6.98	c iter 280 time 6.09607 not-muc 247986 unknown 1381 muc 267
6.88/6.98	c iter 281 time 6.10707 not-muc 247986 unknown 1380 muc 268
6.88/6.98	c iter 282 time 6.11807 not-muc 247986 unknown 1379 muc 269
6.88/6.98	c iter 283 time 6.12907 not-muc 247986 unknown 1378 muc 270
6.88/6.98	c iter 284 time 6.14007 not-muc 247986 unknown 1377 muc 271
6.88/6.98	c iter 285 time 6.15106 not-muc 247986 unknown 1376 muc 272
6.88/6.98	c iter 286 time 6.16206 not-muc 247986 unknown 1375 muc 273
6.88/6.98	c iter 287 time 6.17306 not-muc 247986 unknown 1374 muc 274
6.88/6.98	c iter 288 time 6.18406 not-muc 247986 unknown 1373 muc 275
6.88/6.98	c iter 289 time 6.19506 not-muc 247986 unknown 1372 muc 276
6.88/6.98	c iter 290 time 6.20606 not-muc 247986 unknown 1371 muc 277
6.88/6.98	c iter 291 time 6.21705 not-muc 247986 unknown 1370 muc 278
6.88/6.98	c iter 292 time 6.22905 not-muc 247986 unknown 1369 muc 279
6.88/6.98	c iter 293 time 6.24005 not-muc 247986 unknown 1368 muc 280
6.88/6.98	c iter 294 time 6.25105 not-muc 247986 unknown 1367 muc 281
6.88/6.98	c iter 295 time 6.26205 not-muc 247986 unknown 1366 muc 282
6.88/6.98	c iter 296 time 6.27305 not-muc 247986 unknown 1365 muc 283
6.88/6.98	c iter 297 time 6.28404 not-muc 247986 unknown 1364 muc 284
6.88/6.98	c iter 298 time 6.29504 not-muc 247986 unknown 1363 muc 285
6.88/6.98	c iter 299 time 6.30604 not-muc 247986 unknown 1362 muc 286
6.88/6.98	c iter 300 time 6.31804 not-muc 247986 unknown 1361 muc 287
6.88/6.98	c iter 301 time 6.32904 not-muc 247986 unknown 1360 muc 288
6.88/6.98	c iter 302 time 6.34004 not-muc 247986 unknown 1359 muc 289
6.88/6.98	c iter 303 time 6.35103 not-muc 247986 unknown 1358 muc 290
6.88/6.98	c iter 304 time 6.36203 not-muc 247986 unknown 1357 muc 291
6.88/6.98	c iter 305 time 6.37303 not-muc 247986 unknown 1356 muc 292
6.88/6.98	c iter 306 time 6.38403 not-muc 247986 unknown 1355 muc 293
6.88/6.98	c iter 307 time 6.39503 not-muc 247986 unknown 1354 muc 294
6.88/6.98	c iter 308 time 6.40603 not-muc 247986 unknown 1353 muc 295
6.88/6.98	c iter 309 time 6.41702 not-muc 247986 unknown 1352 muc 296
6.88/6.98	c iter 310 time 6.42802 not-muc 247986 unknown 1351 muc 297
6.88/6.98	c iter 311 time 6.43902 not-muc 247986 unknown 1350 muc 298
6.88/6.98	c iter 312 time 6.45102 not-muc 247986 unknown 1349 muc 299
6.88/6.98	c iter 313 time 6.46202 not-muc 247986 unknown 1348 muc 300
6.88/6.98	c iter 314 time 6.47302 not-muc 247986 unknown 1347 muc 301
6.88/6.98	c iter 315 time 6.48401 not-muc 247986 unknown 1346 muc 302
6.88/6.98	c iter 316 time 6.49601 not-muc 247986 unknown 1345 muc 303
6.88/6.98	c iter 317 time 6.50701 not-muc 247986 unknown 1344 muc 304
6.88/6.98	c iter 318 time 6.51801 not-muc 247986 unknown 1343 muc 305
6.88/6.98	c iter 319 time 6.52901 not-muc 247986 unknown 1342 muc 306
6.88/6.98	c iter 320 time 6.54 not-muc 247986 unknown 1341 muc 307
6.88/6.98	c iter 321 time 6.551 not-muc 247986 unknown 1340 muc 308
6.88/6.98	c iter 322 time 6.562 not-muc 247986 unknown 1339 muc 309
6.88/6.98	c iter 323 time 6.574 not-muc 247986 unknown 1338 muc 310
6.88/6.98	c iter 324 time 6.585 not-muc 247986 unknown 1337 muc 311
6.88/6.98	c iter 325 time 6.596 not-muc 247986 unknown 1336 muc 312
6.88/6.98	c iter 326 time 6.60699 not-muc 247986 unknown 1335 muc 313
6.88/6.98	c iter 327 time 6.61799 not-muc 247986 unknown 1334 muc 314
6.88/6.98	c iter 328 time 6.62999 not-muc 247986 unknown 1333 muc 315
6.88/6.98	c iter 329 time 6.64099 not-muc 247986 unknown 1332 muc 316
6.88/6.98	c iter 330 time 6.65199 not-muc 247986 unknown 1331 muc 317
6.88/6.98	c iter 331 time 6.66299 not-muc 247986 unknown 1330 muc 318
6.88/6.98	c iter 332 time 6.67399 not-muc 247986 unknown 1329 muc 319
6.88/6.98	c iter 333 time 6.68598 not-muc 247986 unknown 1328 muc 320
6.88/6.98	c iter 334 time 6.69698 not-muc 247986 unknown 1327 muc 321
6.88/6.98	c iter 335 time 6.70798 not-muc 247986 unknown 1326 muc 322
6.88/6.98	c iter 336 time 6.71898 not-muc 247986 unknown 1325 muc 323
6.88/6.98	c iter 337 time 6.73098 not-muc 247986 unknown 1324 muc 324
6.88/6.98	c iter 338 time 6.74198 not-muc 247986 unknown 1323 muc 325
6.88/6.98	c iter 339 time 6.75297 not-muc 247986 unknown 1322 muc 326
6.88/6.98	c iter 340 time 6.76397 not-muc 247986 unknown 1321 muc 327
6.88/6.98	c iter 341 time 6.77597 not-muc 247986 unknown 1320 muc 328
6.88/6.98	c iter 342 time 6.78697 not-muc 247986 unknown 1319 muc 329
6.88/6.98	c iter 343 time 6.79797 not-muc 247986 unknown 1318 muc 330
6.88/6.98	c iter 344 time 6.80896 not-muc 247986 unknown 1317 muc 331
6.88/6.98	c iter 345 time 6.82096 not-muc 247986 unknown 1316 muc 332
7.69/7.73	c iter 346 time 6.83196 not-muc 247986 unknown 1315 muc 333
7.69/7.73	c iter 347 time 6.84296 not-muc 247986 unknown 1314 muc 334
7.69/7.73	c iter 348 time 6.85496 not-muc 247986 unknown 1313 muc 335
7.69/7.73	c iter 349 time 6.86596 not-muc 247986 unknown 1312 muc 336
7.69/7.73	c iter 350 time 6.87695 not-muc 247986 unknown 1311 muc 337
7.69/7.73	c iter 351 time 6.88795 not-muc 247986 unknown 1310 muc 338
7.69/7.73	c iter 352 time 6.89995 not-muc 247986 unknown 1309 muc 339
7.69/7.73	c iter 353 time 6.91095 not-muc 247986 unknown 1308 muc 340
7.69/7.73	c iter 354 time 6.92195 not-muc 247986 unknown 1307 muc 341
7.69/7.73	c iter 355 time 6.93394 not-muc 247986 unknown 1306 muc 342
7.69/7.73	c iter 356 time 6.94494 not-muc 247986 unknown 1305 muc 343
7.69/7.73	c iter 357 time 6.95594 not-muc 247986 unknown 1304 muc 344
7.69/7.73	c iter 358 time 6.96794 not-muc 247986 unknown 1303 muc 345
7.69/7.73	c iter 359 time 6.96994 not-muc 247989 unknown 1300 muc 345
7.69/7.73	c iter 360 time 6.97194 not-muc 248002 unknown 1287 muc 345
7.69/7.73	c iter 361 time 6.98394 not-muc 248002 unknown 1286 muc 346
7.69/7.73	c iter 362 time 6.99594 not-muc 248002 unknown 1285 muc 347
7.69/7.73	c iter 363 time 7.00693 not-muc 248002 unknown 1284 muc 348
7.69/7.73	c iter 364 time 7.01793 not-muc 248002 unknown 1283 muc 349
7.69/7.73	c iter 365 time 7.02993 not-muc 248002 unknown 1282 muc 350
7.69/7.73	c iter 366 time 7.04093 not-muc 248002 unknown 1281 muc 351
7.69/7.73	c iter 367 time 7.05293 not-muc 248002 unknown 1280 muc 352
7.69/7.73	c iter 368 time 7.06393 not-muc 248002 unknown 1279 muc 353
7.69/7.73	c iter 369 time 7.07592 not-muc 248002 unknown 1278 muc 354
7.69/7.73	c iter 370 time 7.08692 not-muc 248002 unknown 1277 muc 355
7.69/7.73	c iter 371 time 7.09892 not-muc 248002 unknown 1276 muc 356
7.69/7.73	c iter 372 time 7.10992 not-muc 248002 unknown 1275 muc 357
7.69/7.73	c iter 373 time 7.12092 not-muc 248002 unknown 1274 muc 358
7.69/7.73	c iter 374 time 7.13291 not-muc 248002 unknown 1273 muc 359
7.69/7.73	c iter 375 time 7.14391 not-muc 248002 unknown 1272 muc 360
7.69/7.73	c iter 376 time 7.15491 not-muc 248002 unknown 1271 muc 361
7.69/7.73	c iter 377 time 7.16691 not-muc 248002 unknown 1270 muc 362
7.69/7.73	c iter 378 time 7.17791 not-muc 248002 unknown 1269 muc 363
7.69/7.73	c iter 379 time 7.18891 not-muc 248002 unknown 1268 muc 364
7.69/7.73	c iter 380 time 7.2009 not-muc 248002 unknown 1267 muc 365
7.69/7.73	c iter 381 time 7.2119 not-muc 248002 unknown 1266 muc 366
7.69/7.73	c iter 382 time 7.2239 not-muc 248002 unknown 1265 muc 367
7.69/7.73	c iter 383 time 7.2349 not-muc 248002 unknown 1264 muc 368
7.69/7.73	c iter 384 time 7.2459 not-muc 248002 unknown 1263 muc 369
7.69/7.73	c iter 385 time 7.2579 not-muc 248002 unknown 1262 muc 370
7.69/7.73	c iter 386 time 7.26889 not-muc 248002 unknown 1261 muc 371
7.69/7.73	c iter 387 time 7.28089 not-muc 248002 unknown 1260 muc 372
7.69/7.73	c iter 388 time 7.29189 not-muc 248002 unknown 1259 muc 373
7.69/7.73	c iter 389 time 7.30389 not-muc 248002 unknown 1258 muc 374
7.69/7.73	c iter 390 time 7.31489 not-muc 248002 unknown 1257 muc 375
7.69/7.73	c iter 391 time 7.32689 not-muc 248002 unknown 1256 muc 376
7.69/7.73	c iter 392 time 7.33788 not-muc 248002 unknown 1255 muc 377
7.69/7.73	c iter 393 time 7.34988 not-muc 248002 unknown 1254 muc 378
7.69/7.73	c iter 394 time 7.36088 not-muc 248002 unknown 1253 muc 379
7.69/7.73	c iter 395 time 7.37288 not-muc 248002 unknown 1252 muc 380
7.69/7.73	c iter 396 time 7.38388 not-muc 248002 unknown 1251 muc 381
7.69/7.73	c iter 397 time 7.38688 not-muc 248011 unknown 1242 muc 381
7.69/7.73	c iter 398 time 7.39787 not-muc 248011 unknown 1241 muc 382
7.69/7.73	c iter 399 time 7.40987 not-muc 248011 unknown 1240 muc 383
7.69/7.73	c iter 400 time 7.42087 not-muc 248011 unknown 1239 muc 384
7.69/7.73	c iter 401 time 7.43287 not-muc 248011 unknown 1238 muc 385
7.69/7.73	c iter 402 time 7.44387 not-muc 248011 unknown 1237 muc 386
7.69/7.73	c iter 403 time 7.45587 not-muc 248011 unknown 1236 muc 387
7.69/7.73	c iter 404 time 7.46686 not-muc 248011 unknown 1235 muc 388
7.69/7.73	c iter 405 time 7.47886 not-muc 248011 unknown 1234 muc 389
7.69/7.73	c iter 406 time 7.48986 not-muc 248011 unknown 1233 muc 390
7.69/7.73	c iter 407 time 7.50186 not-muc 248011 unknown 1232 muc 391
7.69/7.73	c iter 408 time 7.51286 not-muc 248011 unknown 1231 muc 392
7.69/7.73	c iter 409 time 7.51486 not-muc 248020 unknown 1222 muc 392
7.69/7.73	c iter 410 time 7.52686 not-muc 248020 unknown 1221 muc 393
7.69/7.73	c iter 411 time 7.53785 not-muc 248020 unknown 1220 muc 394
7.69/7.73	c iter 412 time 7.54985 not-muc 248020 unknown 1219 muc 395
7.69/7.73	c iter 413 time 7.56085 not-muc 248020 unknown 1218 muc 396
7.69/7.73	c iter 414 time 7.57285 not-muc 248020 unknown 1217 muc 397
8.48/8.50	c iter 415 time 7.58485 not-muc 248020 unknown 1216 muc 398
8.48/8.50	c iter 416 time 7.59584 not-muc 248020 unknown 1215 muc 399
8.48/8.50	c iter 417 time 7.60784 not-muc 248020 unknown 1214 muc 400
8.48/8.50	c iter 418 time 7.61884 not-muc 248020 unknown 1213 muc 401
8.48/8.50	c iter 419 time 7.62084 not-muc 248031 unknown 1202 muc 401
8.48/8.50	c iter 420 time 7.63284 not-muc 248031 unknown 1201 muc 402
8.48/8.50	c iter 421 time 7.64484 not-muc 248031 unknown 1200 muc 403
8.48/8.50	c iter 422 time 7.65584 not-muc 248031 unknown 1199 muc 404
8.48/8.50	c iter 423 time 7.65883 not-muc 248032 unknown 1198 muc 404
8.48/8.50	c iter 424 time 7.66983 not-muc 248032 unknown 1197 muc 405
8.48/8.50	c iter 425 time 7.68183 not-muc 248032 unknown 1196 muc 406
8.48/8.50	c iter 426 time 7.69283 not-muc 248032 unknown 1195 muc 407
8.48/8.50	c iter 427 time 7.70483 not-muc 248032 unknown 1194 muc 408
8.48/8.50	c iter 428 time 7.71583 not-muc 248032 unknown 1193 muc 409
8.48/8.50	c iter 429 time 7.72783 not-muc 248032 unknown 1192 muc 410
8.48/8.50	c iter 430 time 7.73882 not-muc 248032 unknown 1191 muc 411
8.48/8.50	c iter 431 time 7.75082 not-muc 248032 unknown 1190 muc 412
8.48/8.50	c iter 432 time 7.76182 not-muc 248032 unknown 1189 muc 413
8.48/8.50	c iter 433 time 7.77382 not-muc 248032 unknown 1188 muc 414
8.48/8.50	c iter 434 time 7.78582 not-muc 248032 unknown 1187 muc 415
8.48/8.50	c iter 435 time 7.79681 not-muc 248032 unknown 1186 muc 416
8.48/8.50	c iter 436 time 7.80881 not-muc 248032 unknown 1185 muc 417
8.48/8.50	c iter 437 time 7.81981 not-muc 248032 unknown 1184 muc 418
8.48/8.50	c iter 438 time 7.83181 not-muc 248032 unknown 1183 muc 419
8.48/8.50	c iter 439 time 7.84281 not-muc 248032 unknown 1182 muc 420
8.48/8.50	c iter 440 time 7.8548 not-muc 248032 unknown 1181 muc 421
8.48/8.50	c iter 441 time 7.8658 not-muc 248032 unknown 1180 muc 422
8.48/8.50	c iter 442 time 7.8778 not-muc 248032 unknown 1179 muc 423
8.48/8.50	c iter 443 time 7.8898 not-muc 248032 unknown 1178 muc 424
8.48/8.50	c iter 444 time 7.9008 not-muc 248032 unknown 1177 muc 425
8.48/8.50	c iter 445 time 7.9128 not-muc 248032 unknown 1176 muc 426
8.48/8.50	c iter 446 time 7.9238 not-muc 248032 unknown 1175 muc 427
8.48/8.50	c iter 447 time 7.93579 not-muc 248032 unknown 1174 muc 428
8.48/8.50	c iter 448 time 7.94679 not-muc 248032 unknown 1173 muc 429
8.48/8.50	c iter 449 time 7.95879 not-muc 248032 unknown 1172 muc 430
8.48/8.50	c iter 450 time 7.97079 not-muc 248032 unknown 1171 muc 431
8.48/8.50	c iter 451 time 7.98179 not-muc 248032 unknown 1170 muc 432
8.48/8.50	c iter 452 time 7.99378 not-muc 248032 unknown 1169 muc 433
8.48/8.50	c iter 453 time 8.00578 not-muc 248032 unknown 1168 muc 434
8.48/8.50	c iter 454 time 8.01678 not-muc 248032 unknown 1167 muc 435
8.48/8.50	c iter 455 time 8.02878 not-muc 248032 unknown 1166 muc 436
8.48/8.50	c iter 456 time 8.04078 not-muc 248032 unknown 1165 muc 437
8.48/8.50	c iter 457 time 8.05177 not-muc 248032 unknown 1164 muc 438
8.48/8.50	c iter 458 time 8.06377 not-muc 248032 unknown 1163 muc 439
8.48/8.50	c iter 459 time 8.07477 not-muc 248032 unknown 1162 muc 440
8.48/8.50	c iter 460 time 8.08677 not-muc 248032 unknown 1161 muc 441
8.48/8.50	c iter 461 time 8.09877 not-muc 248032 unknown 1160 muc 442
8.48/8.50	c iter 462 time 8.10977 not-muc 248032 unknown 1159 muc 443
8.48/8.50	c iter 463 time 8.12176 not-muc 248032 unknown 1158 muc 444
8.48/8.50	c iter 464 time 8.13376 not-muc 248032 unknown 1157 muc 445
8.48/8.50	c iter 465 time 8.14476 not-muc 248032 unknown 1156 muc 446
8.48/8.50	c iter 466 time 8.15676 not-muc 248032 unknown 1155 muc 447
8.48/8.50	c iter 467 time 8.16876 not-muc 248032 unknown 1154 muc 448
8.48/8.50	c iter 468 time 8.17976 not-muc 248032 unknown 1153 muc 449
8.48/8.50	c iter 469 time 8.19175 not-muc 248032 unknown 1152 muc 450
8.48/8.50	c iter 470 time 8.20375 not-muc 248032 unknown 1151 muc 451
8.48/8.50	c iter 471 time 8.21475 not-muc 248032 unknown 1150 muc 452
8.48/8.50	c iter 472 time 8.22675 not-muc 248032 unknown 1149 muc 453
8.48/8.50	c iter 473 time 8.23875 not-muc 248032 unknown 1148 muc 454
8.48/8.50	c iter 474 time 8.24975 not-muc 248032 unknown 1147 muc 455
8.48/8.50	c iter 475 time 8.26174 not-muc 248032 unknown 1146 muc 456
8.48/8.50	c iter 476 time 8.27274 not-muc 248032 unknown 1145 muc 457
8.48/8.50	c iter 477 time 8.28474 not-muc 248032 unknown 1144 muc 458
8.48/8.50	c iter 478 time 8.29674 not-muc 248032 unknown 1143 muc 459
8.48/8.50	c iter 479 time 8.30774 not-muc 248032 unknown 1142 muc 460
8.48/8.50	c iter 480 time 8.31973 not-muc 248032 unknown 1141 muc 461
8.48/8.50	c iter 481 time 8.33173 not-muc 248032 unknown 1140 muc 462
8.48/8.50	c iter 482 time 8.34373 not-muc 248032 unknown 1139 muc 463
9.18/9.29	c iter 483 time 8.35573 not-muc 248032 unknown 1138 muc 464
9.18/9.29	c iter 484 time 8.36673 not-muc 248032 unknown 1137 muc 465
9.18/9.29	c iter 485 time 8.37773 not-muc 248032 unknown 1136 muc 466
9.18/9.29	c iter 486 time 8.38972 not-muc 248032 unknown 1135 muc 467
9.18/9.29	c iter 487 time 8.40172 not-muc 248032 unknown 1134 muc 468
9.18/9.29	c iter 488 time 8.41272 not-muc 248032 unknown 1133 muc 469
9.18/9.29	c iter 489 time 8.42472 not-muc 248032 unknown 1132 muc 470
9.18/9.29	c iter 490 time 8.43672 not-muc 248032 unknown 1131 muc 471
9.18/9.29	c iter 491 time 8.44772 not-muc 248032 unknown 1130 muc 472
9.18/9.29	c iter 492 time 8.45971 not-muc 248032 unknown 1129 muc 473
9.18/9.29	c iter 493 time 8.47171 not-muc 248032 unknown 1128 muc 474
9.18/9.29	c iter 494 time 8.48271 not-muc 248032 unknown 1127 muc 475
9.18/9.29	c iter 495 time 8.49471 not-muc 248032 unknown 1126 muc 476
9.18/9.29	c iter 496 time 8.50671 not-muc 248032 unknown 1125 muc 477
9.18/9.29	c iter 497 time 8.50871 not-muc 248036 unknown 1121 muc 477
9.18/9.29	c iter 498 time 8.5207 not-muc 248036 unknown 1120 muc 478
9.18/9.29	c iter 499 time 8.5327 not-muc 248036 unknown 1119 muc 479
9.18/9.29	c iter 500 time 8.5447 not-muc 248036 unknown 1118 muc 480
9.18/9.29	c iter 501 time 8.5567 not-muc 248036 unknown 1117 muc 481
9.18/9.29	c iter 502 time 8.5677 not-muc 248036 unknown 1116 muc 482
9.18/9.29	c iter 503 time 8.57969 not-muc 248036 unknown 1115 muc 483
9.18/9.29	c iter 504 time 8.59069 not-muc 248036 unknown 1114 muc 484
9.18/9.29	c iter 505 time 8.60269 not-muc 248036 unknown 1113 muc 485
9.18/9.29	c iter 506 time 8.61469 not-muc 248036 unknown 1112 muc 486
9.18/9.29	c iter 507 time 8.62669 not-muc 248036 unknown 1111 muc 487
9.18/9.29	c iter 508 time 8.63769 not-muc 248036 unknown 1110 muc 488
9.18/9.29	c iter 509 time 8.64968 not-muc 248036 unknown 1109 muc 489
9.18/9.29	c iter 510 time 8.66168 not-muc 248036 unknown 1108 muc 490
9.18/9.29	c iter 511 time 8.67368 not-muc 248036 unknown 1107 muc 491
9.18/9.29	c iter 512 time 8.68568 not-muc 248036 unknown 1106 muc 492
9.18/9.29	c iter 513 time 8.69668 not-muc 248036 unknown 1105 muc 493
9.18/9.29	c iter 514 time 8.70868 not-muc 248036 unknown 1104 muc 494
9.18/9.29	c iter 515 time 8.72067 not-muc 248036 unknown 1103 muc 495
9.18/9.29	c iter 516 time 8.73267 not-muc 248036 unknown 1102 muc 496
9.18/9.29	c iter 517 time 8.74467 not-muc 248036 unknown 1101 muc 497
9.18/9.29	c iter 518 time 8.75567 not-muc 248036 unknown 1100 muc 498
9.18/9.29	c iter 519 time 8.76767 not-muc 248036 unknown 1099 muc 499
9.18/9.29	c iter 520 time 8.77966 not-muc 248036 unknown 1098 muc 500
9.18/9.29	c iter 521 time 8.79166 not-muc 248036 unknown 1097 muc 501
9.18/9.29	c iter 522 time 8.80266 not-muc 248036 unknown 1096 muc 502
9.18/9.29	c iter 523 time 8.81466 not-muc 248036 unknown 1095 muc 503
9.18/9.29	c iter 524 time 8.82666 not-muc 248036 unknown 1094 muc 504
9.18/9.29	c iter 525 time 8.83866 not-muc 248036 unknown 1093 muc 505
9.18/9.29	c iter 526 time 8.85065 not-muc 248036 unknown 1092 muc 506
9.18/9.29	c iter 527 time 8.86265 not-muc 248036 unknown 1091 muc 507
9.18/9.29	c iter 528 time 8.87465 not-muc 248036 unknown 1090 muc 508
9.18/9.29	c iter 529 time 8.88665 not-muc 248036 unknown 1089 muc 509
9.18/9.29	c iter 530 time 8.89765 not-muc 248036 unknown 1088 muc 510
9.18/9.29	c iter 531 time 8.90964 not-muc 248036 unknown 1087 muc 511
9.18/9.29	c iter 532 time 8.92164 not-muc 248036 unknown 1086 muc 512
9.18/9.29	c iter 533 time 8.93364 not-muc 248036 unknown 1085 muc 513
9.18/9.29	c iter 534 time 8.94564 not-muc 248036 unknown 1084 muc 514
9.18/9.29	c iter 535 time 8.95764 not-muc 248036 unknown 1083 muc 515
9.18/9.29	c iter 536 time 8.96964 not-muc 248036 unknown 1082 muc 516
9.18/9.29	c iter 537 time 8.98063 not-muc 248036 unknown 1081 muc 517
9.18/9.29	c iter 538 time 8.99263 not-muc 248036 unknown 1080 muc 518
9.18/9.29	c iter 539 time 9.00463 not-muc 248036 unknown 1079 muc 519
9.18/9.29	c iter 540 time 9.01663 not-muc 248036 unknown 1078 muc 520
9.18/9.29	c iter 541 time 9.02863 not-muc 248036 unknown 1077 muc 521
9.18/9.29	c iter 542 time 9.04063 not-muc 248036 unknown 1076 muc 522
9.18/9.29	c iter 543 time 9.05262 not-muc 248036 unknown 1075 muc 523
9.18/9.29	c iter 544 time 9.06462 not-muc 248036 unknown 1074 muc 524
9.18/9.29	c iter 545 time 9.07662 not-muc 248036 unknown 1073 muc 525
9.18/9.29	c iter 546 time 9.08762 not-muc 248036 unknown 1072 muc 526
9.18/9.29	c iter 547 time 9.09962 not-muc 248036 unknown 1071 muc 527
9.18/9.29	c iter 548 time 9.11161 not-muc 248036 unknown 1070 muc 528
9.18/9.29	c iter 549 time 9.12361 not-muc 248036 unknown 1069 muc 529
9.18/9.29	c iter 550 time 9.13561 not-muc 248036 unknown 1068 muc 530
9.98/10.09	c iter 551 time 9.14761 not-muc 248036 unknown 1067 muc 531
9.98/10.09	c iter 552 time 9.14961 not-muc 248072 unknown 1031 muc 531
9.98/10.09	c iter 553 time 9.16261 not-muc 248072 unknown 1030 muc 532
9.98/10.09	c iter 554 time 9.1746 not-muc 248072 unknown 1029 muc 533
9.98/10.09	c iter 555 time 9.1856 not-muc 248072 unknown 1028 muc 534
9.98/10.09	c iter 556 time 9.1976 not-muc 248072 unknown 1027 muc 535
9.98/10.09	c iter 557 time 9.2096 not-muc 248072 unknown 1026 muc 536
9.98/10.09	c iter 558 time 9.2216 not-muc 248072 unknown 1025 muc 537
9.98/10.09	c iter 559 time 9.2336 not-muc 248072 unknown 1024 muc 538
9.98/10.09	c iter 560 time 9.24559 not-muc 248072 unknown 1023 muc 539
9.98/10.09	c iter 561 time 9.25759 not-muc 248072 unknown 1022 muc 540
9.98/10.09	c iter 562 time 9.26859 not-muc 248072 unknown 1021 muc 541
9.98/10.09	c iter 563 time 9.28059 not-muc 248072 unknown 1020 muc 542
9.98/10.09	c iter 564 time 9.29259 not-muc 248072 unknown 1019 muc 543
9.98/10.09	c iter 565 time 9.30458 not-muc 248072 unknown 1018 muc 544
9.98/10.09	c iter 566 time 9.31658 not-muc 248072 unknown 1017 muc 545
9.98/10.09	c iter 567 time 9.32858 not-muc 248072 unknown 1016 muc 546
9.98/10.09	c iter 568 time 9.34058 not-muc 248072 unknown 1015 muc 547
9.98/10.09	c iter 569 time 9.35258 not-muc 248072 unknown 1014 muc 548
9.98/10.09	c iter 570 time 9.36458 not-muc 248072 unknown 1013 muc 549
9.98/10.09	c iter 571 time 9.37657 not-muc 248072 unknown 1012 muc 550
9.98/10.09	c iter 572 time 9.38757 not-muc 248072 unknown 1011 muc 551
9.98/10.09	c iter 573 time 9.39957 not-muc 248072 unknown 1010 muc 552
9.98/10.09	c iter 574 time 9.41157 not-muc 248072 unknown 1009 muc 553
9.98/10.09	c iter 575 time 9.42357 not-muc 248072 unknown 1008 muc 554
9.98/10.09	c iter 576 time 9.43557 not-muc 248072 unknown 1007 muc 555
9.98/10.09	c iter 577 time 9.44756 not-muc 248072 unknown 1006 muc 556
9.98/10.09	c iter 578 time 9.45956 not-muc 248072 unknown 1005 muc 557
9.98/10.09	c iter 579 time 9.47156 not-muc 248072 unknown 1004 muc 558
9.98/10.09	c iter 580 time 9.48356 not-muc 248072 unknown 1003 muc 559
9.98/10.09	c iter 581 time 9.49556 not-muc 248072 unknown 1002 muc 560
9.98/10.09	c iter 582 time 9.50655 not-muc 248072 unknown 1001 muc 561
9.98/10.09	c iter 583 time 9.51855 not-muc 248072 unknown 1000 muc 562
9.98/10.09	c iter 584 time 9.53055 not-muc 248072 unknown 999 muc 563
9.98/10.09	c iter 585 time 9.54255 not-muc 248072 unknown 998 muc 564
9.98/10.09	c iter 586 time 9.55455 not-muc 248072 unknown 997 muc 565
9.98/10.09	c iter 587 time 9.56654 not-muc 248072 unknown 996 muc 566
9.98/10.09	c iter 588 time 9.57854 not-muc 248072 unknown 995 muc 567
9.98/10.09	c iter 589 time 9.59054 not-muc 248072 unknown 994 muc 568
9.98/10.09	c iter 590 time 9.60254 not-muc 248072 unknown 993 muc 569
9.98/10.09	c iter 591 time 9.61454 not-muc 248072 unknown 992 muc 570
9.98/10.09	c iter 592 time 9.62654 not-muc 248072 unknown 991 muc 571
9.98/10.09	c iter 593 time 9.63853 not-muc 248072 unknown 990 muc 572
9.98/10.09	c iter 594 time 9.65053 not-muc 248072 unknown 989 muc 573
9.98/10.09	c iter 595 time 9.66253 not-muc 248072 unknown 988 muc 574
9.98/10.09	c iter 596 time 9.67553 not-muc 248072 unknown 987 muc 575
9.98/10.09	c iter 597 time 9.68753 not-muc 248072 unknown 986 muc 576
9.98/10.09	c iter 598 time 9.69952 not-muc 248072 unknown 985 muc 577
9.98/10.09	c iter 599 time 9.70153 not-muc 248074 unknown 983 muc 577
9.98/10.09	c iter 600 time 9.71352 not-muc 248074 unknown 982 muc 578
9.98/10.09	c iter 601 time 9.72552 not-muc 248074 unknown 981 muc 579
9.98/10.09	c iter 602 time 9.73752 not-muc 248074 unknown 980 muc 580
9.98/10.09	c iter 603 time 9.74952 not-muc 248074 unknown 979 muc 581
9.98/10.09	c iter 604 time 9.76152 not-muc 248074 unknown 978 muc 582
9.98/10.09	c iter 605 time 9.77351 not-muc 248074 unknown 977 muc 583
9.98/10.09	c iter 606 time 9.78551 not-muc 248074 unknown 976 muc 584
9.98/10.09	c iter 607 time 9.79751 not-muc 248074 unknown 975 muc 585
9.98/10.09	c iter 608 time 9.80951 not-muc 248074 unknown 974 muc 586
9.98/10.09	c iter 609 time 9.82151 not-muc 248074 unknown 973 muc 587
9.98/10.09	c iter 610 time 9.83351 not-muc 248074 unknown 972 muc 588
9.98/10.09	c iter 611 time 9.8455 not-muc 248074 unknown 971 muc 589
9.98/10.09	c iter 612 time 9.8575 not-muc 248074 unknown 970 muc 590
9.98/10.09	c iter 613 time 9.8695 not-muc 248074 unknown 969 muc 591
9.98/10.09	c iter 614 time 9.8815 not-muc 248074 unknown 968 muc 592
9.98/10.09	c iter 615 time 9.89449 not-muc 248074 unknown 967 muc 593
9.98/10.09	c iter 616 time 9.89649 not-muc 248076 unknown 965 muc 593
9.98/10.09	c iter 617 time 9.90849 not-muc 248076 unknown 964 muc 594
9.98/10.09	c iter 618 time 9.92149 not-muc 248076 unknown 963 muc 595
9.98/10.09	c iter 619 time 9.93349 not-muc 248076 unknown 962 muc 596
10.89/10.94	c iter 620 time 9.94649 not-muc 248076 unknown 961 muc 597
10.89/10.94	c iter 621 time 9.95849 not-muc 248076 unknown 960 muc 598
10.89/10.94	c iter 622 time 9.97048 not-muc 248076 unknown 959 muc 599
10.89/10.94	c iter 623 time 9.98248 not-muc 248076 unknown 958 muc 600
10.89/10.94	c iter 624 time 9.99448 not-muc 248076 unknown 957 muc 601
10.89/10.94	c iter 625 time 10.0065 not-muc 248076 unknown 956 muc 602
10.89/10.94	c iter 626 time 10.0195 not-muc 248076 unknown 955 muc 603
10.89/10.94	c iter 627 time 10.0315 not-muc 248076 unknown 954 muc 604
10.89/10.94	c iter 628 time 10.0435 not-muc 248076 unknown 953 muc 605
10.89/10.94	c iter 629 time 10.0555 not-muc 248076 unknown 952 muc 606
10.89/10.94	c iter 630 time 10.0675 not-muc 248076 unknown 951 muc 607
10.89/10.94	c iter 631 time 10.0805 not-muc 248076 unknown 950 muc 608
10.89/10.94	c iter 632 time 10.0925 not-muc 248076 unknown 949 muc 609
10.89/10.94	c iter 633 time 10.1045 not-muc 248076 unknown 948 muc 610
10.89/10.94	c iter 634 time 10.1175 not-muc 248076 unknown 947 muc 611
10.89/10.94	c iter 635 time 10.1295 not-muc 248076 unknown 946 muc 612
10.89/10.94	c iter 636 time 10.1415 not-muc 248076 unknown 945 muc 613
10.89/10.94	c iter 637 time 10.1545 not-muc 248076 unknown 944 muc 614
10.89/10.94	c iter 638 time 10.1665 not-muc 248076 unknown 943 muc 615
10.89/10.94	c iter 639 time 10.1785 not-muc 248076 unknown 942 muc 616
10.89/10.94	c iter 640 time 10.1905 not-muc 248076 unknown 941 muc 617
10.89/10.94	c iter 641 time 10.2024 not-muc 248076 unknown 940 muc 618
10.89/10.94	c iter 642 time 10.2154 not-muc 248076 unknown 939 muc 619
10.89/10.94	c iter 643 time 10.2274 not-muc 248076 unknown 938 muc 620
10.89/10.94	c iter 644 time 10.2394 not-muc 248076 unknown 937 muc 621
10.89/10.94	c iter 645 time 10.2524 not-muc 248076 unknown 936 muc 622
10.89/10.94	c iter 646 time 10.2644 not-muc 248076 unknown 935 muc 623
10.89/10.94	c iter 647 time 10.2764 not-muc 248076 unknown 934 muc 624
10.89/10.94	c iter 648 time 10.2884 not-muc 248076 unknown 933 muc 625
10.89/10.94	c iter 649 time 10.3014 not-muc 248076 unknown 932 muc 626
10.89/10.94	c iter 650 time 10.3134 not-muc 248076 unknown 931 muc 627
10.89/10.94	c iter 651 time 10.3254 not-muc 248076 unknown 930 muc 628
10.89/10.94	c iter 652 time 10.3384 not-muc 248076 unknown 929 muc 629
10.89/10.94	c iter 653 time 10.3504 not-muc 248076 unknown 928 muc 630
10.89/10.94	c iter 654 time 10.3624 not-muc 248076 unknown 927 muc 631
10.89/10.94	c iter 655 time 10.3754 not-muc 248076 unknown 926 muc 632
10.89/10.94	c iter 656 time 10.3874 not-muc 248076 unknown 925 muc 633
10.89/10.94	c iter 657 time 10.4004 not-muc 248076 unknown 924 muc 634
10.89/10.94	c iter 658 time 10.4124 not-muc 248076 unknown 923 muc 635
10.89/10.94	c iter 659 time 10.4244 not-muc 248076 unknown 922 muc 636
10.89/10.94	c iter 660 time 10.4374 not-muc 248076 unknown 921 muc 637
10.89/10.94	c iter 661 time 10.4494 not-muc 248076 unknown 920 muc 638
10.89/10.94	c iter 662 time 10.4614 not-muc 248076 unknown 919 muc 639
10.89/10.94	c iter 663 time 10.4744 not-muc 248076 unknown 918 muc 640
10.89/10.94	c iter 664 time 10.4864 not-muc 248076 unknown 917 muc 641
10.89/10.94	c iter 665 time 10.4984 not-muc 248076 unknown 916 muc 642
10.89/10.94	c iter 666 time 10.5114 not-muc 248076 unknown 915 muc 643
10.89/10.94	c iter 667 time 10.5234 not-muc 248076 unknown 914 muc 644
10.89/10.94	c iter 668 time 10.5364 not-muc 248076 unknown 913 muc 645
10.89/10.94	c iter 669 time 10.5484 not-muc 248076 unknown 912 muc 646
10.89/10.94	c iter 670 time 10.5604 not-muc 248076 unknown 911 muc 647
10.89/10.94	c iter 671 time 10.5734 not-muc 248076 unknown 910 muc 648
10.89/10.94	c iter 672 time 10.5854 not-muc 248076 unknown 909 muc 649
10.89/10.94	c iter 673 time 10.5974 not-muc 248076 unknown 908 muc 650
10.89/10.94	c iter 674 time 10.6104 not-muc 248076 unknown 907 muc 651
10.89/10.94	c iter 675 time 10.6224 not-muc 248076 unknown 906 muc 652
10.89/10.94	c iter 676 time 10.6354 not-muc 248076 unknown 905 muc 653
10.89/10.94	c iter 677 time 10.6474 not-muc 248076 unknown 904 muc 654
10.89/10.94	c iter 678 time 10.6504 not-muc 248079 unknown 901 muc 654
10.89/10.94	c iter 679 time 10.6624 not-muc 248079 unknown 900 muc 655
10.89/10.94	c iter 680 time 10.6744 not-muc 248079 unknown 899 muc 656
10.89/10.94	c iter 681 time 10.6874 not-muc 248079 unknown 898 muc 657
10.89/10.94	c iter 682 time 10.6994 not-muc 248079 unknown 897 muc 658
10.89/10.94	c iter 683 time 10.7124 not-muc 248079 unknown 896 muc 659
10.89/10.94	c iter 684 time 10.7244 not-muc 248079 unknown 895 muc 660
10.89/10.94	c iter 685 time 10.7374 not-muc 248079 unknown 894 muc 661
10.89/10.94	c iter 686 time 10.7494 not-muc 248079 unknown 893 muc 662
10.89/10.94	c iter 687 time 10.7614 not-muc 248079 unknown 892 muc 663
10.89/10.94	c iter 688 time 10.7744 not-muc 248079 unknown 891 muc 664
10.89/10.94	c iter 689 time 10.7864 not-muc 248079 unknown 890 muc 665
11.68/11.75	c iter 690 time 10.7984 not-muc 248079 unknown 889 muc 666
11.68/11.75	c iter 691 time 10.8114 not-muc 248079 unknown 888 muc 667
11.68/11.75	c iter 692 time 10.8234 not-muc 248079 unknown 887 muc 668
11.68/11.75	c iter 693 time 10.8354 not-muc 248079 unknown 886 muc 669
11.68/11.75	c iter 694 time 10.8474 not-muc 248079 unknown 885 muc 670
11.68/11.75	c iter 695 time 10.8593 not-muc 248079 unknown 884 muc 671
11.68/11.75	c iter 696 time 10.8723 not-muc 248079 unknown 883 muc 672
11.68/11.75	c iter 697 time 10.8843 not-muc 248079 unknown 882 muc 673
11.68/11.75	c iter 698 time 10.8963 not-muc 248079 unknown 881 muc 674
11.68/11.75	c iter 699 time 10.9083 not-muc 248079 unknown 880 muc 675
11.68/11.75	c iter 700 time 10.9213 not-muc 248079 unknown 879 muc 676
11.68/11.75	c iter 701 time 10.9333 not-muc 248079 unknown 878 muc 677
11.68/11.75	c iter 702 time 10.9453 not-muc 248079 unknown 877 muc 678
11.68/11.75	c iter 703 time 10.9583 not-muc 248079 unknown 876 muc 679
11.68/11.75	c iter 704 time 10.9703 not-muc 248079 unknown 875 muc 680
11.68/11.75	c iter 705 time 10.9823 not-muc 248079 unknown 874 muc 681
11.68/11.75	c iter 706 time 10.9943 not-muc 248079 unknown 873 muc 682
11.68/11.75	c iter 707 time 11.0073 not-muc 248079 unknown 872 muc 683
11.68/11.75	c iter 708 time 11.0193 not-muc 248079 unknown 871 muc 684
11.68/11.75	c iter 709 time 11.0313 not-muc 248079 unknown 870 muc 685
11.68/11.75	c iter 710 time 11.0443 not-muc 248079 unknown 869 muc 686
11.68/11.75	c iter 711 time 11.0563 not-muc 248079 unknown 868 muc 687
11.68/11.75	c iter 712 time 11.0683 not-muc 248079 unknown 867 muc 688
11.68/11.75	c iter 713 time 11.0813 not-muc 248079 unknown 866 muc 689
11.68/11.75	c iter 714 time 11.0933 not-muc 248079 unknown 865 muc 690
11.68/11.75	c iter 715 time 11.1053 not-muc 248079 unknown 864 muc 691
11.68/11.75	c iter 716 time 11.1183 not-muc 248079 unknown 863 muc 692
11.68/11.75	c iter 717 time 11.1203 not-muc 248085 unknown 857 muc 692
11.68/11.75	c iter 718 time 11.1333 not-muc 248085 unknown 856 muc 693
11.68/11.75	c iter 719 time 11.1453 not-muc 248085 unknown 855 muc 694
11.68/11.75	c iter 720 time 11.1573 not-muc 248085 unknown 854 muc 695
11.68/11.75	c iter 721 time 11.1703 not-muc 248085 unknown 853 muc 696
11.68/11.75	c iter 722 time 11.1823 not-muc 248085 unknown 852 muc 697
11.68/11.75	c iter 723 time 11.1943 not-muc 248085 unknown 851 muc 698
11.68/11.75	c iter 724 time 11.2073 not-muc 248085 unknown 850 muc 699
11.68/11.75	c iter 725 time 11.2193 not-muc 248085 unknown 849 muc 700
11.68/11.75	c iter 726 time 11.2313 not-muc 248085 unknown 848 muc 701
11.68/11.75	c iter 727 time 11.2443 not-muc 248085 unknown 847 muc 702
11.68/11.75	c iter 728 time 11.2563 not-muc 248085 unknown 846 muc 703
11.68/11.75	c iter 729 time 11.2693 not-muc 248085 unknown 845 muc 704
11.68/11.75	c iter 730 time 11.2813 not-muc 248085 unknown 844 muc 705
11.68/11.75	c iter 731 time 11.2943 not-muc 248085 unknown 843 muc 706
11.68/11.75	c iter 732 time 11.3063 not-muc 248085 unknown 842 muc 707
11.68/11.75	c iter 733 time 11.3183 not-muc 248085 unknown 841 muc 708
11.68/11.75	c iter 734 time 11.3313 not-muc 248085 unknown 840 muc 709
11.68/11.75	c iter 735 time 11.3433 not-muc 248085 unknown 839 muc 710
11.68/11.75	c iter 736 time 11.3553 not-muc 248085 unknown 838 muc 711
11.68/11.75	c iter 737 time 11.3683 not-muc 248085 unknown 837 muc 712
11.68/11.75	c iter 738 time 11.3803 not-muc 248085 unknown 836 muc 713
11.68/11.75	c iter 739 time 11.3933 not-muc 248085 unknown 835 muc 714
11.68/11.75	c iter 740 time 11.4053 not-muc 248085 unknown 834 muc 715
11.68/11.75	c iter 741 time 11.4183 not-muc 248085 unknown 833 muc 716
11.68/11.75	c iter 742 time 11.4303 not-muc 248085 unknown 832 muc 717
11.68/11.75	c iter 743 time 11.4423 not-muc 248085 unknown 831 muc 718
11.68/11.75	c iter 744 time 11.4453 not-muc 248086 unknown 830 muc 718
11.68/11.75	c iter 745 time 11.4573 not-muc 248086 unknown 829 muc 719
11.68/11.75	c iter 746 time 11.4703 not-muc 248086 unknown 828 muc 720
11.68/11.75	c iter 747 time 11.4823 not-muc 248086 unknown 827 muc 721
11.68/11.75	c iter 748 time 11.4953 not-muc 248086 unknown 826 muc 722
11.68/11.75	c iter 749 time 11.5072 not-muc 248086 unknown 825 muc 723
11.68/11.75	c iter 750 time 11.5202 not-muc 248086 unknown 824 muc 724
11.68/11.75	c iter 751 time 11.5222 not-muc 248098 unknown 812 muc 724
11.68/11.75	c iter 752 time 11.5242 not-muc 248116 unknown 794 muc 724
11.68/11.75	c iter 753 time 11.5262 not-muc 248117 unknown 793 muc 724
11.68/11.75	c iter 754 time 11.5392 not-muc 248117 unknown 792 muc 725
11.68/11.75	c iter 755 time 11.5512 not-muc 248117 unknown 791 muc 726
11.68/11.75	c iter 756 time 11.5632 not-muc 248117 unknown 790 muc 727
11.68/11.75	c iter 757 time 11.5762 not-muc 248117 unknown 789 muc 728
11.68/11.75	c iter 758 time 11.5892 not-muc 248117 unknown 788 muc 729
12.58/12.60	c iter 759 time 11.6022 not-muc 248117 unknown 787 muc 730
12.58/12.60	c iter 760 time 11.6142 not-muc 248117 unknown 786 muc 731
12.58/12.60	c iter 761 time 11.6262 not-muc 248117 unknown 785 muc 732
12.58/12.60	c iter 762 time 11.6392 not-muc 248117 unknown 784 muc 733
12.58/12.60	c iter 763 time 11.6522 not-muc 248117 unknown 783 muc 734
12.58/12.60	c iter 764 time 11.6642 not-muc 248117 unknown 782 muc 735
12.58/12.60	c iter 765 time 11.6762 not-muc 248117 unknown 781 muc 736
12.58/12.60	c iter 766 time 11.6892 not-muc 248117 unknown 780 muc 737
12.58/12.60	c iter 767 time 11.7012 not-muc 248117 unknown 779 muc 738
12.58/12.60	c iter 768 time 11.7142 not-muc 248117 unknown 778 muc 739
12.58/12.60	c iter 769 time 11.7262 not-muc 248117 unknown 777 muc 740
12.58/12.60	c iter 770 time 11.7392 not-muc 248117 unknown 776 muc 741
12.58/12.60	c iter 771 time 11.7512 not-muc 248117 unknown 775 muc 742
12.58/12.60	c iter 772 time 11.7632 not-muc 248117 unknown 774 muc 743
12.58/12.60	c iter 773 time 11.7762 not-muc 248117 unknown 773 muc 744
12.58/12.60	c iter 774 time 11.7892 not-muc 248117 unknown 772 muc 745
12.58/12.60	c iter 775 time 11.8012 not-muc 248117 unknown 771 muc 746
12.58/12.60	c iter 776 time 11.8132 not-muc 248117 unknown 770 muc 747
12.58/12.60	c iter 777 time 11.8262 not-muc 248117 unknown 769 muc 748
12.58/12.60	c iter 778 time 11.8382 not-muc 248117 unknown 768 muc 749
12.58/12.60	c iter 779 time 11.8512 not-muc 248117 unknown 767 muc 750
12.58/12.60	c iter 780 time 11.8632 not-muc 248117 unknown 766 muc 751
12.58/12.60	c iter 781 time 11.8752 not-muc 248117 unknown 765 muc 752
12.58/12.60	c iter 782 time 11.8882 not-muc 248117 unknown 764 muc 753
12.58/12.60	c iter 783 time 11.9012 not-muc 248117 unknown 763 muc 754
12.58/12.60	c iter 784 time 11.9132 not-muc 248117 unknown 762 muc 755
12.58/12.60	c iter 785 time 11.9262 not-muc 248117 unknown 761 muc 756
12.58/12.60	c iter 786 time 11.9382 not-muc 248117 unknown 760 muc 757
12.58/12.60	c iter 787 time 11.9512 not-muc 248117 unknown 759 muc 758
12.58/12.60	c iter 788 time 11.9632 not-muc 248117 unknown 758 muc 759
12.58/12.60	c iter 789 time 11.9762 not-muc 248117 unknown 757 muc 760
12.58/12.60	c iter 790 time 11.9882 not-muc 248117 unknown 756 muc 761
12.58/12.60	c iter 791 time 12.0012 not-muc 248117 unknown 755 muc 762
12.58/12.60	c iter 792 time 12.0132 not-muc 248117 unknown 754 muc 763
12.58/12.60	c iter 793 time 12.0262 not-muc 248117 unknown 753 muc 764
12.58/12.60	c iter 794 time 12.0382 not-muc 248117 unknown 752 muc 765
12.58/12.60	c iter 795 time 12.0512 not-muc 248117 unknown 751 muc 766
12.58/12.60	c iter 796 time 12.0632 not-muc 248117 unknown 750 muc 767
12.58/12.60	c iter 797 time 12.0762 not-muc 248117 unknown 749 muc 768
12.58/12.60	c iter 798 time 12.0882 not-muc 248117 unknown 748 muc 769
12.58/12.60	c iter 799 time 12.1012 not-muc 248117 unknown 747 muc 770
12.58/12.60	c iter 800 time 12.1132 not-muc 248117 unknown 746 muc 771
12.58/12.60	c iter 801 time 12.1262 not-muc 248117 unknown 745 muc 772
12.58/12.60	c iter 802 time 12.1392 not-muc 248117 unknown 744 muc 773
12.58/12.60	c iter 803 time 12.1512 not-muc 248117 unknown 743 muc 774
12.58/12.60	c iter 804 time 12.1641 not-muc 248117 unknown 742 muc 775
12.58/12.60	c iter 805 time 12.1761 not-muc 248117 unknown 741 muc 776
12.58/12.60	c iter 806 time 12.1891 not-muc 248117 unknown 740 muc 777
12.58/12.60	c iter 807 time 12.2011 not-muc 248117 unknown 739 muc 778
12.58/12.60	c iter 808 time 12.2041 not-muc 248119 unknown 737 muc 778
12.58/12.60	c iter 809 time 12.2161 not-muc 248119 unknown 736 muc 779
12.58/12.60	c iter 810 time 12.2191 not-muc 248120 unknown 735 muc 779
12.58/12.60	c iter 811 time 12.2311 not-muc 248120 unknown 734 muc 780
12.58/12.60	c iter 812 time 12.2441 not-muc 248120 unknown 733 muc 781
12.58/12.60	c iter 813 time 12.2571 not-muc 248120 unknown 732 muc 782
12.58/12.60	c iter 814 time 12.2691 not-muc 248120 unknown 731 muc 783
12.58/12.60	c iter 815 time 12.2821 not-muc 248120 unknown 730 muc 784
12.58/12.60	c iter 816 time 12.2941 not-muc 248120 unknown 729 muc 785
12.58/12.60	c iter 817 time 12.3071 not-muc 248120 unknown 728 muc 786
12.58/12.60	c iter 818 time 12.3191 not-muc 248120 unknown 727 muc 787
12.58/12.60	c iter 819 time 12.3321 not-muc 248120 unknown 726 muc 788
12.58/12.60	c iter 820 time 12.3441 not-muc 248120 unknown 725 muc 789
12.58/12.60	c iter 821 time 12.3571 not-muc 248120 unknown 724 muc 790
12.58/12.60	c iter 822 time 12.3701 not-muc 248120 unknown 723 muc 791
12.58/12.60	c iter 823 time 12.3831 not-muc 248120 unknown 722 muc 792
12.58/12.60	c iter 824 time 12.3951 not-muc 248120 unknown 721 muc 793
12.58/12.60	c iter 825 time 12.4081 not-muc 248120 unknown 720 muc 794
12.58/12.60	c iter 826 time 12.4201 not-muc 248120 unknown 719 muc 795
12.58/12.60	c iter 827 time 12.4331 not-muc 248120 unknown 718 muc 796
12.58/12.60	c iter 828 time 12.4451 not-muc 248120 unknown 717 muc 797
13.48/13.50	c iter 829 time 12.4571 not-muc 248120 unknown 716 muc 798
13.48/13.50	c iter 830 time 12.4701 not-muc 248120 unknown 715 muc 799
13.48/13.50	c iter 831 time 12.4831 not-muc 248120 unknown 714 muc 800
13.48/13.50	c iter 832 time 12.4951 not-muc 248120 unknown 713 muc 801
13.48/13.50	c iter 833 time 12.5081 not-muc 248120 unknown 712 muc 802
13.48/13.50	c iter 834 time 12.5201 not-muc 248120 unknown 711 muc 803
13.48/13.50	c iter 835 time 12.5331 not-muc 248120 unknown 710 muc 804
13.48/13.50	c iter 836 time 12.5461 not-muc 248120 unknown 709 muc 805
13.48/13.50	c iter 837 time 12.5581 not-muc 248120 unknown 708 muc 806
13.48/13.50	c iter 838 time 12.5711 not-muc 248120 unknown 707 muc 807
13.48/13.50	c iter 839 time 12.5841 not-muc 248120 unknown 706 muc 808
13.48/13.50	c iter 840 time 12.5961 not-muc 248120 unknown 705 muc 809
13.48/13.50	c iter 841 time 12.6091 not-muc 248120 unknown 704 muc 810
13.48/13.50	c iter 842 time 12.6221 not-muc 248120 unknown 703 muc 811
13.48/13.50	c iter 843 time 12.6341 not-muc 248120 unknown 702 muc 812
13.48/13.50	c iter 844 time 12.6471 not-muc 248120 unknown 701 muc 813
13.48/13.50	c iter 845 time 12.6601 not-muc 248120 unknown 700 muc 814
13.48/13.50	c iter 846 time 12.6721 not-muc 248120 unknown 699 muc 815
13.48/13.50	c iter 847 time 12.6851 not-muc 248120 unknown 698 muc 816
13.48/13.50	c iter 848 time 12.6981 not-muc 248120 unknown 697 muc 817
13.48/13.50	c iter 849 time 12.7101 not-muc 248120 unknown 696 muc 818
13.48/13.50	c iter 850 time 12.7231 not-muc 248120 unknown 695 muc 819
13.48/13.50	c iter 851 time 12.7361 not-muc 248120 unknown 694 muc 820
13.48/13.50	c iter 852 time 12.7491 not-muc 248120 unknown 693 muc 821
13.48/13.50	c iter 853 time 12.7611 not-muc 248120 unknown 692 muc 822
13.48/13.50	c iter 854 time 12.7741 not-muc 248120 unknown 691 muc 823
13.48/13.50	c iter 855 time 12.7871 not-muc 248120 unknown 690 muc 824
13.48/13.50	c iter 856 time 12.7991 not-muc 248120 unknown 689 muc 825
13.48/13.50	c iter 857 time 12.8121 not-muc 248120 unknown 688 muc 826
13.48/13.50	c iter 858 time 12.825 not-muc 248120 unknown 687 muc 827
13.48/13.50	c iter 859 time 12.837 not-muc 248120 unknown 686 muc 828
13.48/13.50	c iter 860 time 12.85 not-muc 248120 unknown 685 muc 829
13.48/13.50	c iter 861 time 12.863 not-muc 248120 unknown 684 muc 830
13.48/13.50	c iter 862 time 12.876 not-muc 248120 unknown 683 muc 831
13.48/13.50	c iter 863 time 12.888 not-muc 248120 unknown 682 muc 832
13.48/13.50	c iter 864 time 12.901 not-muc 248120 unknown 681 muc 833
13.48/13.50	c iter 865 time 12.914 not-muc 248120 unknown 680 muc 834
13.48/13.50	c iter 866 time 12.927 not-muc 248120 unknown 679 muc 835
13.48/13.50	c iter 867 time 12.94 not-muc 248120 unknown 678 muc 836
13.48/13.50	c iter 868 time 12.953 not-muc 248120 unknown 677 muc 837
13.48/13.50	c iter 869 time 12.965 not-muc 248120 unknown 676 muc 838
13.48/13.50	c iter 870 time 12.978 not-muc 248120 unknown 675 muc 839
13.48/13.50	c iter 871 time 12.991 not-muc 248120 unknown 674 muc 840
13.48/13.50	c iter 872 time 13.004 not-muc 248120 unknown 673 muc 841
13.48/13.50	c iter 873 time 13.017 not-muc 248120 unknown 672 muc 842
13.48/13.50	c iter 874 time 13.029 not-muc 248120 unknown 671 muc 843
13.48/13.50	c iter 875 time 13.042 not-muc 248120 unknown 670 muc 844
13.48/13.50	c iter 876 time 13.055 not-muc 248120 unknown 669 muc 845
13.48/13.50	c iter 877 time 13.068 not-muc 248120 unknown 668 muc 846
13.48/13.50	c iter 878 time 13.081 not-muc 248120 unknown 667 muc 847
13.48/13.50	c iter 879 time 13.093 not-muc 248120 unknown 666 muc 848
13.48/13.50	c iter 880 time 13.106 not-muc 248120 unknown 665 muc 849
13.48/13.50	c iter 881 time 13.119 not-muc 248120 unknown 664 muc 850
13.48/13.50	c iter 882 time 13.132 not-muc 248120 unknown 663 muc 851
13.48/13.50	c iter 883 time 13.144 not-muc 248120 unknown 662 muc 852
13.48/13.50	c iter 884 time 13.157 not-muc 248120 unknown 661 muc 853
13.48/13.50	c iter 885 time 13.17 not-muc 248120 unknown 660 muc 854
13.48/13.50	c iter 886 time 13.183 not-muc 248120 unknown 659 muc 855
13.48/13.50	c iter 887 time 13.196 not-muc 248120 unknown 658 muc 856
13.48/13.50	c iter 888 time 13.209 not-muc 248120 unknown 657 muc 857
13.48/13.50	c iter 889 time 13.222 not-muc 248120 unknown 656 muc 858
13.48/13.50	c iter 890 time 13.234 not-muc 248120 unknown 655 muc 859
13.48/13.50	c iter 891 time 13.247 not-muc 248120 unknown 654 muc 860
13.48/13.50	c iter 892 time 13.26 not-muc 248120 unknown 653 muc 861
13.48/13.50	c iter 893 time 13.273 not-muc 248120 unknown 652 muc 862
13.48/13.50	c iter 894 time 13.286 not-muc 248120 unknown 651 muc 863
13.48/13.50	c iter 895 time 13.299 not-muc 248120 unknown 650 muc 864
13.48/13.50	c iter 896 time 13.312 not-muc 248120 unknown 649 muc 865
13.48/13.50	c iter 897 time 13.325 not-muc 248120 unknown 648 muc 866
13.48/13.50	c iter 898 time 13.337 not-muc 248120 unknown 647 muc 867
14.29/14.35	c iter 899 time 13.35 not-muc 248120 unknown 646 muc 868
14.29/14.35	c iter 900 time 13.362 not-muc 248120 unknown 645 muc 869
14.29/14.35	c iter 901 time 13.365 not-muc 248142 unknown 623 muc 869
14.29/14.35	c iter 902 time 13.378 not-muc 248142 unknown 622 muc 870
14.29/14.35	c iter 903 time 13.391 not-muc 248142 unknown 621 muc 871
14.29/14.35	c iter 904 time 13.403 not-muc 248142 unknown 620 muc 872
14.29/14.35	c iter 905 time 13.416 not-muc 248142 unknown 619 muc 873
14.29/14.35	c iter 906 time 13.429 not-muc 248142 unknown 618 muc 874
14.29/14.35	c iter 907 time 13.442 not-muc 248142 unknown 617 muc 875
14.29/14.35	c iter 908 time 13.455 not-muc 248142 unknown 616 muc 876
14.29/14.35	c iter 909 time 13.468 not-muc 248142 unknown 615 muc 877
14.29/14.35	c iter 910 time 13.47 not-muc 248147 unknown 610 muc 877
14.29/14.35	c iter 911 time 13.483 not-muc 248147 unknown 609 muc 878
14.29/14.35	c iter 912 time 13.4959 not-muc 248147 unknown 608 muc 879
14.29/14.35	c iter 913 time 13.5089 not-muc 248147 unknown 607 muc 880
14.29/14.35	c iter 914 time 13.5209 not-muc 248147 unknown 606 muc 881
14.29/14.35	c iter 915 time 13.5339 not-muc 248147 unknown 605 muc 882
14.29/14.35	c iter 916 time 13.5469 not-muc 248147 unknown 604 muc 883
14.29/14.35	c iter 917 time 13.5599 not-muc 248147 unknown 603 muc 884
14.29/14.35	c iter 918 time 13.5729 not-muc 248147 unknown 602 muc 885
14.29/14.35	c iter 919 time 13.5859 not-muc 248147 unknown 601 muc 886
14.29/14.35	c iter 920 time 13.5989 not-muc 248147 unknown 600 muc 887
14.29/14.35	c iter 921 time 13.6119 not-muc 248147 unknown 599 muc 888
14.29/14.35	c iter 922 time 13.6239 not-muc 248147 unknown 598 muc 889
14.29/14.35	c iter 923 time 13.6379 not-muc 248147 unknown 597 muc 890
14.29/14.35	c iter 924 time 13.6509 not-muc 248147 unknown 596 muc 891
14.29/14.35	c iter 925 time 13.6639 not-muc 248147 unknown 595 muc 892
14.29/14.35	c iter 926 time 13.6759 not-muc 248147 unknown 594 muc 893
14.29/14.35	c iter 927 time 13.6889 not-muc 248147 unknown 593 muc 894
14.29/14.35	c iter 928 time 13.7019 not-muc 248147 unknown 592 muc 895
14.29/14.35	c iter 929 time 13.7149 not-muc 248147 unknown 591 muc 896
14.29/14.35	c iter 930 time 13.7279 not-muc 248147 unknown 590 muc 897
14.29/14.35	c iter 931 time 13.7409 not-muc 248147 unknown 589 muc 898
14.29/14.35	c iter 932 time 13.7539 not-muc 248147 unknown 588 muc 899
14.29/14.35	c iter 933 time 13.7669 not-muc 248147 unknown 587 muc 900
14.29/14.35	c iter 934 time 13.7799 not-muc 248147 unknown 586 muc 901
14.29/14.35	c iter 935 time 13.7929 not-muc 248147 unknown 585 muc 902
14.29/14.35	c iter 936 time 13.8059 not-muc 248147 unknown 584 muc 903
14.29/14.35	c iter 937 time 13.8189 not-muc 248147 unknown 583 muc 904
14.29/14.35	c iter 938 time 13.8319 not-muc 248147 unknown 582 muc 905
14.29/14.35	c iter 939 time 13.8449 not-muc 248147 unknown 581 muc 906
14.29/14.35	c iter 940 time 13.8579 not-muc 248147 unknown 580 muc 907
14.29/14.35	c iter 941 time 13.8709 not-muc 248147 unknown 579 muc 908
14.29/14.35	c iter 942 time 13.8839 not-muc 248147 unknown 578 muc 909
14.29/14.35	c iter 943 time 13.8969 not-muc 248147 unknown 577 muc 910
14.29/14.35	c iter 944 time 13.9099 not-muc 248147 unknown 576 muc 911
14.29/14.35	c iter 945 time 13.9229 not-muc 248147 unknown 575 muc 912
14.29/14.35	c iter 946 time 13.9359 not-muc 248147 unknown 574 muc 913
14.29/14.35	c iter 947 time 13.9489 not-muc 248147 unknown 573 muc 914
14.29/14.35	c iter 948 time 13.9619 not-muc 248147 unknown 572 muc 915
14.29/14.35	c iter 949 time 13.9749 not-muc 248147 unknown 571 muc 916
14.29/14.35	c iter 950 time 13.9879 not-muc 248147 unknown 570 muc 917
14.29/14.35	c iter 951 time 14.0009 not-muc 248147 unknown 569 muc 918
14.29/14.35	c iter 952 time 14.0139 not-muc 248147 unknown 568 muc 919
14.29/14.35	c iter 953 time 14.0269 not-muc 248147 unknown 567 muc 920
14.29/14.35	c iter 954 time 14.0399 not-muc 248147 unknown 566 muc 921
14.29/14.35	c iter 955 time 14.0539 not-muc 248147 unknown 565 muc 922
14.29/14.35	c iter 956 time 14.0559 not-muc 248149 unknown 563 muc 922
14.29/14.35	c iter 957 time 14.0689 not-muc 248149 unknown 562 muc 923
14.29/14.35	c iter 958 time 14.0819 not-muc 248149 unknown 561 muc 924
14.29/14.35	c iter 959 time 14.0949 not-muc 248149 unknown 560 muc 925
14.29/14.35	c iter 960 time 14.1079 not-muc 248149 unknown 559 muc 926
14.29/14.35	c iter 961 time 14.1209 not-muc 248149 unknown 558 muc 927
14.29/14.35	c iter 962 time 14.1339 not-muc 248149 unknown 557 muc 928
14.29/14.35	c iter 963 time 14.1478 not-muc 248149 unknown 556 muc 929
14.29/14.35	c iter 964 time 14.1608 not-muc 248149 unknown 555 muc 930
14.29/14.35	c iter 965 time 14.1738 not-muc 248149 unknown 554 muc 931
14.29/14.35	c iter 966 time 14.1748 not-muc 248153 unknown 550 muc 931
14.29/14.35	c iter 967 time 14.1878 not-muc 248153 unknown 549 muc 932
15.19/15.26	c iter 968 time 14.2008 not-muc 248153 unknown 548 muc 933
15.19/15.26	c iter 969 time 14.2138 not-muc 248153 unknown 547 muc 934
15.19/15.26	c iter 970 time 14.2268 not-muc 248153 unknown 546 muc 935
15.19/15.26	c iter 971 time 14.2398 not-muc 248153 unknown 545 muc 936
15.19/15.26	c iter 972 time 14.2538 not-muc 248153 unknown 544 muc 937
15.19/15.26	c iter 973 time 14.2668 not-muc 248153 unknown 543 muc 938
15.19/15.26	c iter 974 time 14.2798 not-muc 248153 unknown 542 muc 939
15.19/15.26	c iter 975 time 14.2928 not-muc 248153 unknown 541 muc 940
15.19/15.26	c iter 976 time 14.3058 not-muc 248153 unknown 540 muc 941
15.19/15.26	c iter 977 time 14.3188 not-muc 248153 unknown 539 muc 942
15.19/15.26	c iter 978 time 14.3318 not-muc 248153 unknown 538 muc 943
15.19/15.26	c iter 979 time 14.3448 not-muc 248153 unknown 537 muc 944
15.19/15.26	c iter 980 time 14.3578 not-muc 248153 unknown 536 muc 945
15.19/15.26	c iter 981 time 14.3718 not-muc 248153 unknown 535 muc 946
15.19/15.26	c iter 982 time 14.3848 not-muc 248153 unknown 534 muc 947
15.19/15.26	c iter 983 time 14.3978 not-muc 248153 unknown 533 muc 948
15.19/15.26	c iter 984 time 14.4108 not-muc 248153 unknown 532 muc 949
15.19/15.26	c iter 985 time 14.4238 not-muc 248153 unknown 531 muc 950
15.19/15.26	c iter 986 time 14.4368 not-muc 248153 unknown 530 muc 951
15.19/15.26	c iter 987 time 14.4498 not-muc 248153 unknown 529 muc 952
15.19/15.26	c iter 988 time 14.4628 not-muc 248153 unknown 528 muc 953
15.19/15.26	c iter 989 time 14.4758 not-muc 248153 unknown 527 muc 954
15.19/15.26	c iter 990 time 14.4898 not-muc 248153 unknown 526 muc 955
15.19/15.26	c iter 991 time 14.5028 not-muc 248153 unknown 525 muc 956
15.19/15.26	c iter 992 time 14.5158 not-muc 248153 unknown 524 muc 957
15.19/15.26	c iter 993 time 14.5288 not-muc 248153 unknown 523 muc 958
15.19/15.26	c iter 994 time 14.5418 not-muc 248153 unknown 522 muc 959
15.19/15.26	c iter 995 time 14.5548 not-muc 248153 unknown 521 muc 960
15.19/15.26	c iter 996 time 14.5688 not-muc 248153 unknown 520 muc 961
15.19/15.26	c iter 997 time 14.5818 not-muc 248153 unknown 519 muc 962
15.19/15.26	c iter 998 time 14.5948 not-muc 248153 unknown 518 muc 963
15.19/15.26	c iter 999 time 14.6078 not-muc 248153 unknown 517 muc 964
15.19/15.26	c iter 1000 time 14.6208 not-muc 248153 unknown 516 muc 965
15.19/15.26	c iter 1001 time 14.6338 not-muc 248153 unknown 515 muc 966
15.19/15.26	c iter 1002 time 14.6468 not-muc 248153 unknown 514 muc 967
15.19/15.26	c iter 1003 time 14.6598 not-muc 248153 unknown 513 muc 968
15.19/15.26	c iter 1004 time 14.6738 not-muc 248153 unknown 512 muc 969
15.19/15.26	c iter 1005 time 14.6868 not-muc 248153 unknown 511 muc 970
15.19/15.26	c iter 1006 time 14.6998 not-muc 248153 unknown 510 muc 971
15.19/15.26	c iter 1007 time 14.7128 not-muc 248153 unknown 509 muc 972
15.19/15.26	c iter 1008 time 14.7258 not-muc 248153 unknown 508 muc 973
15.19/15.26	c iter 1009 time 14.7398 not-muc 248153 unknown 507 muc 974
15.19/15.26	c iter 1010 time 14.7528 not-muc 248153 unknown 506 muc 975
15.19/15.26	c iter 1011 time 14.7658 not-muc 248153 unknown 505 muc 976
15.19/15.26	c iter 1012 time 14.7788 not-muc 248153 unknown 504 muc 977
15.19/15.26	c iter 1013 time 14.7918 not-muc 248153 unknown 503 muc 978
15.19/15.26	c iter 1014 time 14.8057 not-muc 248153 unknown 502 muc 979
15.19/15.26	c iter 1015 time 14.8187 not-muc 248153 unknown 501 muc 980
15.19/15.26	c iter 1016 time 14.8317 not-muc 248153 unknown 500 muc 981
15.19/15.26	c iter 1017 time 14.8447 not-muc 248153 unknown 499 muc 982
15.19/15.26	c iter 1018 time 14.8577 not-muc 248153 unknown 498 muc 983
15.19/15.26	c iter 1019 time 14.8707 not-muc 248153 unknown 497 muc 984
15.19/15.26	c iter 1020 time 14.8847 not-muc 248153 unknown 496 muc 985
15.19/15.26	c iter 1021 time 14.8977 not-muc 248153 unknown 495 muc 986
15.19/15.26	c iter 1022 time 14.9107 not-muc 248153 unknown 494 muc 987
15.19/15.26	c iter 1023 time 14.9237 not-muc 248153 unknown 493 muc 988
15.19/15.26	c iter 1024 time 14.9377 not-muc 248153 unknown 492 muc 989
15.19/15.26	c iter 1025 time 14.9507 not-muc 248153 unknown 491 muc 990
15.19/15.26	c iter 1026 time 14.9637 not-muc 248153 unknown 490 muc 991
15.19/15.26	c iter 1027 time 14.9767 not-muc 248153 unknown 489 muc 992
15.19/15.26	c iter 1028 time 14.9907 not-muc 248153 unknown 488 muc 993
15.19/15.26	c iter 1029 time 15.0037 not-muc 248153 unknown 487 muc 994
15.19/15.26	c iter 1030 time 15.0167 not-muc 248153 unknown 486 muc 995
15.19/15.26	c iter 1031 time 15.0297 not-muc 248153 unknown 485 muc 996
15.19/15.26	c iter 1032 time 15.0427 not-muc 248153 unknown 484 muc 997
15.19/15.26	c iter 1033 time 15.0567 not-muc 248153 unknown 483 muc 998
15.19/15.26	c iter 1034 time 15.0697 not-muc 248153 unknown 482 muc 999
15.19/15.26	c iter 1035 time 15.0827 not-muc 248153 unknown 481 muc 1000
15.19/15.26	c iter 1036 time 15.0957 not-muc 248153 unknown 480 muc 1001
16.09/16.13	c iter 1037 time 15.1097 not-muc 248153 unknown 479 muc 1002
16.09/16.13	c iter 1038 time 15.1227 not-muc 248153 unknown 478 muc 1003
16.09/16.13	c iter 1039 time 15.1357 not-muc 248153 unknown 477 muc 1004
16.09/16.13	c iter 1040 time 15.1487 not-muc 248153 unknown 476 muc 1005
16.09/16.13	c iter 1041 time 15.1627 not-muc 248153 unknown 475 muc 1006
16.09/16.13	c iter 1042 time 15.1757 not-muc 248153 unknown 474 muc 1007
16.09/16.13	c iter 1043 time 15.1887 not-muc 248153 unknown 473 muc 1008
16.09/16.13	c iter 1044 time 15.2017 not-muc 248153 unknown 472 muc 1009
16.09/16.13	c iter 1045 time 15.2147 not-muc 248153 unknown 471 muc 1010
16.09/16.13	c iter 1046 time 15.2287 not-muc 248153 unknown 470 muc 1011
16.09/16.13	c iter 1047 time 15.2417 not-muc 248153 unknown 469 muc 1012
16.09/16.13	c iter 1048 time 15.2547 not-muc 248153 unknown 468 muc 1013
16.09/16.13	c iter 1049 time 15.2687 not-muc 248153 unknown 467 muc 1014
16.09/16.13	c iter 1050 time 15.2817 not-muc 248153 unknown 466 muc 1015
16.09/16.13	c iter 1051 time 15.2947 not-muc 248153 unknown 465 muc 1016
16.09/16.13	c iter 1052 time 15.3087 not-muc 248153 unknown 464 muc 1017
16.09/16.13	c iter 1053 time 15.3217 not-muc 248153 unknown 463 muc 1018
16.09/16.13	c iter 1054 time 15.3347 not-muc 248153 unknown 462 muc 1019
16.09/16.13	c iter 1055 time 15.3477 not-muc 248153 unknown 461 muc 1020
16.09/16.13	c iter 1056 time 15.3607 not-muc 248153 unknown 460 muc 1021
16.09/16.13	c iter 1057 time 15.3747 not-muc 248153 unknown 459 muc 1022
16.09/16.13	c iter 1058 time 15.3877 not-muc 248153 unknown 458 muc 1023
16.09/16.13	c iter 1059 time 15.4007 not-muc 248153 unknown 457 muc 1024
16.09/16.13	c iter 1060 time 15.4147 not-muc 248153 unknown 456 muc 1025
16.09/16.13	c iter 1061 time 15.4277 not-muc 248153 unknown 455 muc 1026
16.09/16.13	c iter 1062 time 15.4407 not-muc 248153 unknown 454 muc 1027
16.09/16.13	c iter 1063 time 15.4536 not-muc 248153 unknown 453 muc 1028
16.09/16.13	c iter 1064 time 15.4676 not-muc 248153 unknown 452 muc 1029
16.09/16.13	c iter 1065 time 15.4806 not-muc 248153 unknown 451 muc 1030
16.09/16.13	c iter 1066 time 15.4936 not-muc 248153 unknown 450 muc 1031
16.09/16.13	c iter 1067 time 15.5076 not-muc 248153 unknown 449 muc 1032
16.09/16.13	c iter 1068 time 15.5206 not-muc 248153 unknown 448 muc 1033
16.09/16.13	c iter 1069 time 15.5336 not-muc 248153 unknown 447 muc 1034
16.09/16.13	c iter 1070 time 15.5476 not-muc 248153 unknown 446 muc 1035
16.09/16.13	c iter 1071 time 15.5606 not-muc 248153 unknown 445 muc 1036
16.09/16.13	c iter 1072 time 15.5736 not-muc 248153 unknown 444 muc 1037
16.09/16.13	c iter 1073 time 15.5876 not-muc 248153 unknown 443 muc 1038
16.09/16.13	c iter 1074 time 15.6006 not-muc 248153 unknown 442 muc 1039
16.09/16.13	c iter 1075 time 15.6136 not-muc 248153 unknown 441 muc 1040
16.09/16.13	c iter 1076 time 15.6156 not-muc 248154 unknown 440 muc 1040
16.09/16.13	c iter 1077 time 15.6296 not-muc 248154 unknown 439 muc 1041
16.09/16.13	c iter 1078 time 15.6426 not-muc 248154 unknown 438 muc 1042
16.09/16.13	c iter 1079 time 15.6566 not-muc 248154 unknown 437 muc 1043
16.09/16.13	c iter 1080 time 15.6696 not-muc 248154 unknown 436 muc 1044
16.09/16.13	c iter 1081 time 15.6836 not-muc 248154 unknown 435 muc 1045
16.09/16.13	c iter 1082 time 15.6966 not-muc 248154 unknown 434 muc 1046
16.09/16.13	c iter 1083 time 15.7096 not-muc 248154 unknown 433 muc 1047
16.09/16.13	c iter 1084 time 15.7236 not-muc 248154 unknown 432 muc 1048
16.09/16.13	c iter 1085 time 15.7366 not-muc 248154 unknown 431 muc 1049
16.09/16.13	c iter 1086 time 15.7496 not-muc 248154 unknown 430 muc 1050
16.09/16.13	c iter 1087 time 15.7636 not-muc 248154 unknown 429 muc 1051
16.09/16.13	c iter 1088 time 15.7766 not-muc 248154 unknown 428 muc 1052
16.09/16.13	c iter 1089 time 15.7896 not-muc 248154 unknown 427 muc 1053
16.09/16.13	c iter 1090 time 15.8036 not-muc 248154 unknown 426 muc 1054
16.09/16.13	c iter 1091 time 15.8166 not-muc 248154 unknown 425 muc 1055
16.09/16.13	c iter 1092 time 15.8296 not-muc 248154 unknown 424 muc 1056
16.09/16.13	c iter 1093 time 15.8436 not-muc 248154 unknown 423 muc 1057
16.09/16.13	c iter 1094 time 15.8456 not-muc 248155 unknown 422 muc 1057
16.09/16.13	c iter 1095 time 15.8586 not-muc 248155 unknown 421 muc 1058
16.09/16.13	c iter 1096 time 15.8726 not-muc 248155 unknown 420 muc 1059
16.09/16.13	c iter 1097 time 15.8856 not-muc 248155 unknown 419 muc 1060
16.09/16.13	c iter 1098 time 15.8986 not-muc 248155 unknown 418 muc 1061
16.09/16.13	c iter 1099 time 15.9126 not-muc 248155 unknown 417 muc 1062
16.09/16.13	c iter 1100 time 15.9256 not-muc 248155 unknown 416 muc 1063
16.09/16.13	c iter 1101 time 15.9396 not-muc 248155 unknown 415 muc 1064
16.09/16.13	c iter 1102 time 15.9526 not-muc 248155 unknown 414 muc 1065
16.09/16.13	c iter 1103 time 15.9666 not-muc 248155 unknown 413 muc 1066
16.99/17.03	c iter 1104 time 15.9796 not-muc 248155 unknown 412 muc 1067
16.99/17.03	c iter 1105 time 15.9936 not-muc 248155 unknown 411 muc 1068
16.99/17.03	c iter 1106 time 16.0066 not-muc 248155 unknown 410 muc 1069
16.99/17.03	c iter 1107 time 16.0206 not-muc 248155 unknown 409 muc 1070
16.99/17.03	c iter 1108 time 16.0336 not-muc 248155 unknown 408 muc 1071
16.99/17.03	c iter 1109 time 16.0466 not-muc 248155 unknown 407 muc 1072
16.99/17.03	c iter 1110 time 16.0606 not-muc 248155 unknown 406 muc 1073
16.99/17.03	c iter 1111 time 16.0736 not-muc 248155 unknown 405 muc 1074
16.99/17.03	c iter 1112 time 16.0876 not-muc 248155 unknown 404 muc 1075
16.99/17.03	c iter 1113 time 16.1006 not-muc 248155 unknown 403 muc 1076
16.99/17.03	c iter 1114 time 16.1136 not-muc 248155 unknown 402 muc 1077
16.99/17.03	c iter 1115 time 16.1275 not-muc 248155 unknown 401 muc 1078
16.99/17.03	c iter 1116 time 16.1405 not-muc 248155 unknown 400 muc 1079
16.99/17.03	c iter 1117 time 16.1545 not-muc 248155 unknown 399 muc 1080
16.99/17.03	c iter 1118 time 16.1675 not-muc 248155 unknown 398 muc 1081
16.99/17.03	c iter 1119 time 16.1815 not-muc 248155 unknown 397 muc 1082
16.99/17.03	c iter 1120 time 16.1945 not-muc 248155 unknown 396 muc 1083
16.99/17.03	c iter 1121 time 16.2085 not-muc 248155 unknown 395 muc 1084
16.99/17.03	c iter 1122 time 16.2215 not-muc 248155 unknown 394 muc 1085
16.99/17.03	c iter 1123 time 16.2355 not-muc 248155 unknown 393 muc 1086
16.99/17.03	c iter 1124 time 16.2485 not-muc 248155 unknown 392 muc 1087
16.99/17.03	c iter 1125 time 16.2625 not-muc 248155 unknown 391 muc 1088
16.99/17.03	c iter 1126 time 16.2755 not-muc 248155 unknown 390 muc 1089
16.99/17.03	c iter 1127 time 16.2895 not-muc 248155 unknown 389 muc 1090
16.99/17.03	c iter 1128 time 16.3025 not-muc 248155 unknown 388 muc 1091
16.99/17.03	c iter 1129 time 16.3165 not-muc 248155 unknown 387 muc 1092
16.99/17.03	c iter 1130 time 16.3305 not-muc 248155 unknown 386 muc 1093
16.99/17.03	c iter 1131 time 16.3315 not-muc 248156 unknown 385 muc 1093
16.99/17.03	c iter 1132 time 16.3455 not-muc 248156 unknown 384 muc 1094
16.99/17.03	c iter 1133 time 16.3595 not-muc 248156 unknown 383 muc 1095
16.99/17.03	c iter 1134 time 16.3725 not-muc 248156 unknown 382 muc 1096
16.99/17.03	c iter 1135 time 16.3865 not-muc 248156 unknown 381 muc 1097
16.99/17.03	c iter 1136 time 16.3995 not-muc 248156 unknown 380 muc 1098
16.99/17.03	c iter 1137 time 16.4135 not-muc 248156 unknown 379 muc 1099
16.99/17.03	c iter 1138 time 16.4265 not-muc 248156 unknown 378 muc 1100
16.99/17.03	c iter 1139 time 16.4405 not-muc 248156 unknown 377 muc 1101
16.99/17.03	c iter 1140 time 16.4545 not-muc 248156 unknown 376 muc 1102
16.99/17.03	c iter 1141 time 16.4675 not-muc 248156 unknown 375 muc 1103
16.99/17.03	c iter 1142 time 16.4815 not-muc 248156 unknown 374 muc 1104
16.99/17.03	c iter 1143 time 16.4945 not-muc 248156 unknown 373 muc 1105
16.99/17.03	c iter 1144 time 16.4965 not-muc 248157 unknown 372 muc 1105
16.99/17.03	c iter 1145 time 16.5105 not-muc 248157 unknown 371 muc 1106
16.99/17.03	c iter 1146 time 16.5235 not-muc 248157 unknown 370 muc 1107
16.99/17.03	c iter 1147 time 16.5375 not-muc 248157 unknown 369 muc 1108
16.99/17.03	c iter 1148 time 16.5515 not-muc 248157 unknown 368 muc 1109
16.99/17.03	c iter 1149 time 16.5645 not-muc 248157 unknown 367 muc 1110
16.99/17.03	c iter 1150 time 16.5785 not-muc 248157 unknown 366 muc 1111
16.99/17.03	c iter 1151 time 16.5925 not-muc 248157 unknown 365 muc 1112
16.99/17.03	c iter 1152 time 16.6055 not-muc 248157 unknown 364 muc 1113
16.99/17.03	c iter 1153 time 16.6195 not-muc 248157 unknown 363 muc 1114
16.99/17.03	c iter 1154 time 16.6335 not-muc 248157 unknown 362 muc 1115
16.99/17.03	c iter 1155 time 16.6465 not-muc 248157 unknown 361 muc 1116
16.99/17.03	c iter 1156 time 16.6605 not-muc 248157 unknown 360 muc 1117
16.99/17.03	c iter 1157 time 16.6745 not-muc 248157 unknown 359 muc 1118
16.99/17.03	c iter 1158 time 16.6875 not-muc 248157 unknown 358 muc 1119
16.99/17.03	c iter 1159 time 16.7015 not-muc 248157 unknown 357 muc 1120
16.99/17.03	c iter 1160 time 16.7145 not-muc 248157 unknown 356 muc 1121
16.99/17.03	c iter 1161 time 16.7285 not-muc 248157 unknown 355 muc 1122
16.99/17.03	c iter 1162 time 16.7425 not-muc 248157 unknown 354 muc 1123
16.99/17.03	c iter 1163 time 16.7555 not-muc 248157 unknown 353 muc 1124
16.99/17.03	c iter 1164 time 16.7694 not-muc 248157 unknown 352 muc 1125
16.99/17.03	c iter 1165 time 16.7834 not-muc 248157 unknown 351 muc 1126
16.99/17.03	c iter 1166 time 16.7964 not-muc 248157 unknown 350 muc 1127
16.99/17.03	c iter 1167 time 16.8104 not-muc 248157 unknown 349 muc 1128
16.99/17.03	c iter 1168 time 16.8234 not-muc 248157 unknown 348 muc 1129
16.99/17.03	c iter 1169 time 16.8374 not-muc 248157 unknown 347 muc 1130
16.99/17.03	c iter 1170 time 16.8514 not-muc 248157 unknown 346 muc 1131
17.89/17.90	c iter 1171 time 16.8644 not-muc 248157 unknown 345 muc 1132
17.89/17.90	c iter 1172 time 16.8774 not-muc 248157 unknown 344 muc 1133
17.89/17.90	c iter 1173 time 16.8914 not-muc 248157 unknown 343 muc 1134
17.89/17.90	c iter 1174 time 16.9054 not-muc 248157 unknown 342 muc 1135
17.89/17.90	c iter 1175 time 16.9074 not-muc 248158 unknown 341 muc 1135
17.89/17.90	c iter 1176 time 16.9214 not-muc 248158 unknown 340 muc 1136
17.89/17.90	c iter 1177 time 16.9344 not-muc 248158 unknown 339 muc 1137
17.89/17.90	c iter 1178 time 16.9484 not-muc 248158 unknown 338 muc 1138
17.89/17.90	c iter 1179 time 16.9624 not-muc 248158 unknown 337 muc 1139
17.89/17.90	c iter 1180 time 16.9754 not-muc 248158 unknown 336 muc 1140
17.89/17.90	c iter 1181 time 16.9894 not-muc 248158 unknown 335 muc 1141
17.89/17.90	c iter 1182 time 17.0034 not-muc 248158 unknown 334 muc 1142
17.89/17.90	c iter 1183 time 17.0164 not-muc 248158 unknown 333 muc 1143
17.89/17.90	c iter 1184 time 17.0304 not-muc 248158 unknown 332 muc 1144
17.89/17.90	c iter 1185 time 17.0454 not-muc 248158 unknown 331 muc 1145
17.89/17.90	c iter 1186 time 17.0594 not-muc 248158 unknown 330 muc 1146
17.89/17.90	c iter 1187 time 17.0724 not-muc 248158 unknown 329 muc 1147
17.89/17.90	c iter 1188 time 17.0864 not-muc 248158 unknown 328 muc 1148
17.89/17.90	c iter 1189 time 17.1004 not-muc 248158 unknown 327 muc 1149
17.89/17.90	c iter 1190 time 17.1134 not-muc 248158 unknown 326 muc 1150
17.89/17.90	c iter 1191 time 17.1274 not-muc 248158 unknown 325 muc 1151
17.89/17.90	c iter 1192 time 17.1414 not-muc 248158 unknown 324 muc 1152
17.89/17.90	c iter 1193 time 17.1554 not-muc 248158 unknown 323 muc 1153
17.89/17.90	c iter 1194 time 17.1684 not-muc 248158 unknown 322 muc 1154
17.89/17.90	c iter 1195 time 17.1824 not-muc 248158 unknown 321 muc 1155
17.89/17.90	c iter 1196 time 17.1964 not-muc 248158 unknown 320 muc 1156
17.89/17.90	c iter 1197 time 17.1984 not-muc 248159 unknown 319 muc 1156
17.89/17.90	c iter 1198 time 17.2114 not-muc 248159 unknown 318 muc 1157
17.89/17.90	c iter 1199 time 17.2254 not-muc 248159 unknown 317 muc 1158
17.89/17.90	c iter 1200 time 17.2284 not-muc 248176 unknown 300 muc 1158
17.89/17.90	c iter 1201 time 17.2424 not-muc 248176 unknown 299 muc 1159
17.89/17.90	c iter 1202 time 17.2564 not-muc 248176 unknown 298 muc 1160
17.89/17.90	c iter 1203 time 17.2694 not-muc 248176 unknown 297 muc 1161
17.89/17.90	c iter 1204 time 17.2834 not-muc 248176 unknown 296 muc 1162
17.89/17.90	c iter 1205 time 17.2974 not-muc 248176 unknown 295 muc 1163
17.89/17.90	c iter 1206 time 17.3114 not-muc 248176 unknown 294 muc 1164
17.89/17.90	c iter 1207 time 17.3244 not-muc 248176 unknown 293 muc 1165
17.89/17.90	c iter 1208 time 17.3374 not-muc 248176 unknown 292 muc 1166
17.89/17.90	c iter 1209 time 17.3514 not-muc 248176 unknown 291 muc 1167
17.89/17.90	c iter 1210 time 17.3654 not-muc 248176 unknown 290 muc 1168
17.89/17.90	c iter 1211 time 17.3794 not-muc 248176 unknown 289 muc 1169
17.89/17.90	c iter 1212 time 17.3934 not-muc 248176 unknown 288 muc 1170
17.89/17.90	c iter 1213 time 17.4074 not-muc 248176 unknown 287 muc 1171
17.89/17.90	c iter 1214 time 17.4204 not-muc 248176 unknown 286 muc 1172
17.89/17.90	c iter 1215 time 17.4343 not-muc 248176 unknown 285 muc 1173
17.89/17.90	c iter 1216 time 17.4483 not-muc 248176 unknown 284 muc 1174
17.89/17.90	c iter 1217 time 17.4623 not-muc 248176 unknown 283 muc 1175
17.89/17.90	c iter 1218 time 17.4643 not-muc 248177 unknown 282 muc 1175
17.89/17.90	c iter 1219 time 17.4783 not-muc 248177 unknown 281 muc 1176
17.89/17.90	c iter 1220 time 17.4923 not-muc 248177 unknown 280 muc 1177
17.89/17.90	c iter 1221 time 17.5063 not-muc 248177 unknown 279 muc 1178
17.89/17.90	c iter 1222 time 17.5203 not-muc 248177 unknown 278 muc 1179
17.89/17.90	c iter 1223 time 17.5333 not-muc 248177 unknown 277 muc 1180
17.89/17.90	c iter 1224 time 17.5473 not-muc 248177 unknown 276 muc 1181
17.89/17.90	c iter 1225 time 17.5613 not-muc 248177 unknown 275 muc 1182
17.89/17.90	c iter 1226 time 17.5753 not-muc 248177 unknown 274 muc 1183
17.89/17.90	c iter 1227 time 17.5883 not-muc 248177 unknown 273 muc 1184
17.89/17.90	c iter 1228 time 17.6023 not-muc 248177 unknown 272 muc 1185
17.89/17.90	c iter 1229 time 17.6163 not-muc 248177 unknown 271 muc 1186
17.89/17.90	c iter 1230 time 17.6303 not-muc 248177 unknown 270 muc 1187
17.89/17.90	c iter 1231 time 17.6443 not-muc 248177 unknown 269 muc 1188
17.89/17.90	c iter 1232 time 17.6573 not-muc 248177 unknown 268 muc 1189
17.89/17.90	c iter 1233 time 17.6713 not-muc 248177 unknown 267 muc 1190
17.89/17.90	c iter 1234 time 17.6853 not-muc 248177 unknown 266 muc 1191
17.89/17.90	c iter 1235 time 17.6993 not-muc 248177 unknown 265 muc 1192
17.89/17.90	c iter 1236 time 17.7133 not-muc 248177 unknown 264 muc 1193
17.89/17.90	c iter 1237 time 17.7263 not-muc 248177 unknown 263 muc 1194
17.89/17.90	c iter 1238 time 17.7403 not-muc 248177 unknown 262 muc 1195
18.69/18.79	c iter 1239 time 17.7543 not-muc 248177 unknown 261 muc 1196
18.69/18.79	c iter 1240 time 17.7683 not-muc 248177 unknown 260 muc 1197
18.69/18.79	c iter 1241 time 17.7823 not-muc 248177 unknown 259 muc 1198
18.69/18.79	c iter 1242 time 17.7963 not-muc 248177 unknown 258 muc 1199
18.69/18.79	c iter 1243 time 17.8103 not-muc 248177 unknown 257 muc 1200
18.69/18.79	c iter 1244 time 17.8243 not-muc 248177 unknown 256 muc 1201
18.69/18.79	c iter 1245 time 17.8373 not-muc 248177 unknown 255 muc 1202
18.69/18.79	c iter 1246 time 17.8513 not-muc 248177 unknown 254 muc 1203
18.69/18.79	c iter 1247 time 17.8653 not-muc 248177 unknown 253 muc 1204
18.69/18.79	c iter 1248 time 17.8793 not-muc 248177 unknown 252 muc 1205
18.69/18.79	c iter 1249 time 17.8933 not-muc 248177 unknown 251 muc 1206
18.69/18.79	c iter 1250 time 17.9073 not-muc 248177 unknown 250 muc 1207
18.69/18.79	c iter 1251 time 17.9093 not-muc 248178 unknown 249 muc 1207
18.69/18.79	c iter 1252 time 17.9233 not-muc 248178 unknown 248 muc 1208
18.69/18.79	c iter 1253 time 17.9373 not-muc 248178 unknown 247 muc 1209
18.69/18.79	c iter 1254 time 17.9513 not-muc 248178 unknown 246 muc 1210
18.69/18.79	c iter 1255 time 17.9653 not-muc 248178 unknown 245 muc 1211
18.69/18.79	c iter 1256 time 17.9783 not-muc 248178 unknown 244 muc 1212
18.69/18.79	c iter 1257 time 17.9803 not-muc 248179 unknown 243 muc 1212
18.69/18.79	c iter 1258 time 17.9833 not-muc 248182 unknown 240 muc 1212
18.69/18.79	c iter 1259 time 17.9973 not-muc 248182 unknown 239 muc 1213
18.69/18.79	c iter 1260 time 18.0113 not-muc 248182 unknown 238 muc 1214
18.69/18.79	c iter 1261 time 18.0253 not-muc 248182 unknown 237 muc 1215
18.69/18.79	c iter 1262 time 18.0393 not-muc 248182 unknown 236 muc 1216
18.69/18.79	c iter 1263 time 18.0533 not-muc 248182 unknown 235 muc 1217
18.69/18.79	c iter 1264 time 18.0673 not-muc 248182 unknown 234 muc 1218
18.69/18.79	c iter 1265 time 18.0813 not-muc 248182 unknown 233 muc 1219
18.69/18.79	c iter 1266 time 18.0952 not-muc 248182 unknown 232 muc 1220
18.69/18.79	c iter 1267 time 18.1092 not-muc 248182 unknown 231 muc 1221
18.69/18.79	c iter 1268 time 18.1232 not-muc 248182 unknown 230 muc 1222
18.69/18.79	c iter 1269 time 18.1372 not-muc 248182 unknown 229 muc 1223
18.69/18.79	c iter 1270 time 18.1502 not-muc 248182 unknown 228 muc 1224
18.69/18.79	c iter 1271 time 18.1642 not-muc 248182 unknown 227 muc 1225
18.69/18.79	c iter 1272 time 18.1782 not-muc 248182 unknown 226 muc 1226
18.69/18.79	c iter 1273 time 18.1922 not-muc 248182 unknown 225 muc 1227
18.69/18.79	c iter 1274 time 18.2062 not-muc 248182 unknown 224 muc 1228
18.69/18.79	c iter 1275 time 18.2202 not-muc 248182 unknown 223 muc 1229
18.69/18.79	c iter 1276 time 18.2342 not-muc 248182 unknown 222 muc 1230
18.69/18.79	c iter 1277 time 18.2482 not-muc 248182 unknown 221 muc 1231
18.69/18.79	c iter 1278 time 18.2622 not-muc 248182 unknown 220 muc 1232
18.69/18.79	c iter 1279 time 18.2762 not-muc 248182 unknown 219 muc 1233
18.69/18.79	c iter 1280 time 18.2902 not-muc 248182 unknown 218 muc 1234
18.69/18.79	c iter 1281 time 18.3042 not-muc 248182 unknown 217 muc 1235
18.69/18.79	c iter 1282 time 18.3182 not-muc 248182 unknown 216 muc 1236
18.69/18.79	c iter 1283 time 18.3322 not-muc 248182 unknown 215 muc 1237
18.69/18.79	c iter 1284 time 18.3462 not-muc 248182 unknown 214 muc 1238
18.69/18.79	c iter 1285 time 18.3612 not-muc 248182 unknown 213 muc 1239
18.69/18.79	c iter 1286 time 18.3742 not-muc 248182 unknown 212 muc 1240
18.69/18.79	c iter 1287 time 18.3882 not-muc 248182 unknown 211 muc 1241
18.69/18.79	c iter 1288 time 18.3912 not-muc 248183 unknown 210 muc 1241
18.69/18.79	c iter 1289 time 18.4052 not-muc 248183 unknown 209 muc 1242
18.69/18.79	c iter 1290 time 18.4192 not-muc 248183 unknown 208 muc 1243
18.69/18.79	c iter 1291 time 18.4332 not-muc 248183 unknown 207 muc 1244
18.69/18.79	c iter 1292 time 18.4472 not-muc 248183 unknown 206 muc 1245
18.69/18.79	c iter 1293 time 18.4612 not-muc 248183 unknown 205 muc 1246
18.69/18.79	c iter 1294 time 18.4752 not-muc 248183 unknown 204 muc 1247
18.69/18.79	c iter 1295 time 18.4892 not-muc 248183 unknown 203 muc 1248
18.69/18.79	c iter 1296 time 18.5032 not-muc 248183 unknown 202 muc 1249
18.69/18.79	c iter 1297 time 18.5172 not-muc 248183 unknown 201 muc 1250
18.69/18.79	c iter 1298 time 18.5312 not-muc 248183 unknown 200 muc 1251
18.69/18.79	c iter 1299 time 18.5452 not-muc 248183 unknown 199 muc 1252
18.69/18.79	c iter 1300 time 18.5592 not-muc 248183 unknown 198 muc 1253
18.69/18.79	c iter 1301 time 18.5732 not-muc 248183 unknown 197 muc 1254
18.69/18.79	c iter 1302 time 18.5872 not-muc 248183 unknown 196 muc 1255
18.69/18.79	c iter 1303 time 18.6002 not-muc 248183 unknown 195 muc 1256
18.69/18.79	c iter 1304 time 18.6152 not-muc 248183 unknown 194 muc 1257
18.69/18.79	c iter 1305 time 18.6292 not-muc 248183 unknown 193 muc 1258
19.69/19.71	c iter 1306 time 18.6432 not-muc 248183 unknown 192 muc 1259
19.69/19.71	c iter 1307 time 18.6572 not-muc 248183 unknown 191 muc 1260
19.69/19.71	c iter 1308 time 18.6712 not-muc 248183 unknown 190 muc 1261
19.69/19.71	c iter 1309 time 18.6852 not-muc 248183 unknown 189 muc 1262
19.69/19.71	c iter 1310 time 18.6992 not-muc 248183 unknown 188 muc 1263
19.69/19.71	c iter 1311 time 18.7132 not-muc 248183 unknown 187 muc 1264
19.69/19.71	c iter 1312 time 18.7272 not-muc 248183 unknown 186 muc 1265
19.69/19.71	c iter 1313 time 18.7412 not-muc 248183 unknown 185 muc 1266
19.69/19.71	c iter 1314 time 18.7551 not-muc 248183 unknown 184 muc 1267
19.69/19.71	c iter 1315 time 18.7691 not-muc 248183 unknown 183 muc 1268
19.69/19.71	c iter 1316 time 18.7831 not-muc 248183 unknown 182 muc 1269
19.69/19.71	c iter 1317 time 18.7851 not-muc 248184 unknown 181 muc 1269
19.69/19.71	c iter 1318 time 18.7991 not-muc 248184 unknown 180 muc 1270
19.69/19.71	c iter 1319 time 18.8131 not-muc 248184 unknown 179 muc 1271
19.69/19.71	c iter 1320 time 18.8271 not-muc 248184 unknown 178 muc 1272
19.69/19.71	c iter 1321 time 18.8411 not-muc 248184 unknown 177 muc 1273
19.69/19.71	c iter 1322 time 18.8551 not-muc 248184 unknown 176 muc 1274
19.69/19.71	c iter 1323 time 18.8691 not-muc 248184 unknown 175 muc 1275
19.69/19.71	c iter 1324 time 18.8831 not-muc 248184 unknown 174 muc 1276
19.69/19.71	c iter 1325 time 18.8971 not-muc 248184 unknown 173 muc 1277
19.69/19.71	c iter 1326 time 18.9111 not-muc 248184 unknown 172 muc 1278
19.69/19.71	c iter 1327 time 18.9251 not-muc 248184 unknown 171 muc 1279
19.69/19.71	c iter 1328 time 18.9391 not-muc 248184 unknown 170 muc 1280
19.69/19.71	c iter 1329 time 18.9531 not-muc 248184 unknown 169 muc 1281
19.69/19.71	c iter 1330 time 18.9681 not-muc 248184 unknown 168 muc 1282
19.69/19.71	c iter 1331 time 18.9821 not-muc 248184 unknown 167 muc 1283
19.69/19.71	c iter 1332 time 18.9961 not-muc 248184 unknown 166 muc 1284
19.69/19.71	c iter 1333 time 19.0101 not-muc 248184 unknown 165 muc 1285
19.69/19.71	c iter 1334 time 19.0241 not-muc 248184 unknown 164 muc 1286
19.69/19.71	c iter 1335 time 19.0381 not-muc 248184 unknown 163 muc 1287
19.69/19.71	c iter 1336 time 19.0521 not-muc 248184 unknown 162 muc 1288
19.69/19.71	c iter 1337 time 19.0661 not-muc 248184 unknown 161 muc 1289
19.69/19.71	c iter 1338 time 19.0801 not-muc 248184 unknown 160 muc 1290
19.69/19.71	c iter 1339 time 19.0941 not-muc 248184 unknown 159 muc 1291
19.69/19.71	c iter 1340 time 19.1091 not-muc 248184 unknown 158 muc 1292
19.69/19.71	c iter 1341 time 19.1231 not-muc 248184 unknown 157 muc 1293
19.69/19.71	c iter 1342 time 19.1371 not-muc 248184 unknown 156 muc 1294
19.69/19.71	c iter 1343 time 19.1511 not-muc 248184 unknown 155 muc 1295
19.69/19.71	c iter 1344 time 19.1651 not-muc 248184 unknown 154 muc 1296
19.69/19.71	c iter 1345 time 19.1671 not-muc 248185 unknown 153 muc 1296
19.69/19.71	c iter 1346 time 19.1811 not-muc 248185 unknown 152 muc 1297
19.69/19.71	c iter 1347 time 19.1951 not-muc 248185 unknown 151 muc 1298
19.69/19.71	c iter 1348 time 19.2091 not-muc 248185 unknown 150 muc 1299
19.69/19.71	c iter 1349 time 19.2231 not-muc 248185 unknown 149 muc 1300
19.69/19.71	c iter 1350 time 19.2371 not-muc 248185 unknown 148 muc 1301
19.69/19.71	c iter 1351 time 19.2511 not-muc 248185 unknown 147 muc 1302
19.69/19.71	c iter 1352 time 19.2651 not-muc 248185 unknown 146 muc 1303
19.69/19.71	c iter 1353 time 19.2791 not-muc 248185 unknown 145 muc 1304
19.69/19.71	c iter 1354 time 19.2931 not-muc 248185 unknown 144 muc 1305
19.69/19.71	c iter 1355 time 19.3071 not-muc 248185 unknown 143 muc 1306
19.69/19.71	c iter 1356 time 19.3211 not-muc 248185 unknown 142 muc 1307
19.69/19.71	c iter 1357 time 19.3361 not-muc 248185 unknown 141 muc 1308
19.69/19.71	c iter 1358 time 19.3491 not-muc 248185 unknown 140 muc 1309
19.69/19.71	c iter 1359 time 19.3631 not-muc 248185 unknown 139 muc 1310
19.69/19.71	c iter 1360 time 19.3771 not-muc 248185 unknown 138 muc 1311
19.69/19.71	c iter 1361 time 19.3911 not-muc 248185 unknown 137 muc 1312
19.69/19.71	c iter 1362 time 19.405 not-muc 248185 unknown 136 muc 1313
19.69/19.71	c iter 1363 time 19.419 not-muc 248185 unknown 135 muc 1314
19.69/19.71	c iter 1364 time 19.433 not-muc 248185 unknown 134 muc 1315
19.69/19.71	c iter 1365 time 19.447 not-muc 248185 unknown 133 muc 1316
19.69/19.71	c iter 1366 time 19.462 not-muc 248185 unknown 132 muc 1317
19.69/19.71	c iter 1367 time 19.476 not-muc 248185 unknown 131 muc 1318
19.69/19.71	c iter 1368 time 19.489 not-muc 248185 unknown 130 muc 1319
19.69/19.71	c iter 1369 time 19.504 not-muc 248185 unknown 129 muc 1320
19.69/19.71	c iter 1370 time 19.518 not-muc 248185 unknown 128 muc 1321
19.69/19.71	c iter 1371 time 19.532 not-muc 248185 unknown 127 muc 1322
19.69/19.71	c iter 1372 time 19.546 not-muc 248185 unknown 126 muc 1323
20.59/20.65	c iter 1373 time 19.56 not-muc 248185 unknown 125 muc 1324
20.59/20.65	c iter 1374 time 19.574 not-muc 248185 unknown 124 muc 1325
20.59/20.65	c iter 1375 time 19.588 not-muc 248185 unknown 123 muc 1326
20.59/20.65	c iter 1376 time 19.602 not-muc 248185 unknown 122 muc 1327
20.59/20.65	c iter 1377 time 19.616 not-muc 248185 unknown 121 muc 1328
20.59/20.65	c iter 1378 time 19.63 not-muc 248185 unknown 120 muc 1329
20.59/20.65	c iter 1379 time 19.644 not-muc 248185 unknown 119 muc 1330
20.59/20.65	c iter 1380 time 19.658 not-muc 248185 unknown 118 muc 1331
20.59/20.65	c iter 1381 time 19.672 not-muc 248185 unknown 117 muc 1332
20.59/20.65	c iter 1382 time 19.686 not-muc 248185 unknown 116 muc 1333
20.59/20.65	c iter 1383 time 19.7 not-muc 248185 unknown 115 muc 1334
20.59/20.65	c iter 1384 time 19.714 not-muc 248185 unknown 114 muc 1335
20.59/20.65	c iter 1385 time 19.728 not-muc 248185 unknown 113 muc 1336
20.59/20.65	c iter 1386 time 19.742 not-muc 248185 unknown 112 muc 1337
20.59/20.65	c iter 1387 time 19.744 not-muc 248186 unknown 111 muc 1337
20.59/20.65	c iter 1388 time 19.759 not-muc 248186 unknown 110 muc 1338
20.59/20.65	c iter 1389 time 19.773 not-muc 248186 unknown 109 muc 1339
20.59/20.65	c iter 1390 time 19.787 not-muc 248186 unknown 108 muc 1340
20.59/20.65	c iter 1391 time 19.801 not-muc 248186 unknown 107 muc 1341
20.59/20.65	c iter 1392 time 19.815 not-muc 248186 unknown 106 muc 1342
20.59/20.65	c iter 1393 time 19.83 not-muc 248186 unknown 105 muc 1343
20.59/20.65	c iter 1394 time 19.844 not-muc 248186 unknown 104 muc 1344
20.59/20.65	c iter 1395 time 19.858 not-muc 248186 unknown 103 muc 1345
20.59/20.65	c iter 1396 time 19.872 not-muc 248186 unknown 102 muc 1346
20.59/20.65	c iter 1397 time 19.886 not-muc 248186 unknown 101 muc 1347
20.59/20.65	c iter 1398 time 19.9 not-muc 248186 unknown 100 muc 1348
20.59/20.65	c iter 1399 time 19.915 not-muc 248186 unknown 99 muc 1349
20.59/20.65	c iter 1400 time 19.929 not-muc 248186 unknown 98 muc 1350
20.59/20.65	c iter 1401 time 19.943 not-muc 248186 unknown 97 muc 1351
20.59/20.65	c iter 1402 time 19.957 not-muc 248186 unknown 96 muc 1352
20.59/20.65	c iter 1403 time 19.972 not-muc 248186 unknown 95 muc 1353
20.59/20.65	c iter 1404 time 19.986 not-muc 248186 unknown 94 muc 1354
20.59/20.65	c iter 1405 time 20 not-muc 248186 unknown 93 muc 1355
20.59/20.65	c iter 1406 time 20.002 not-muc 248187 unknown 92 muc 1355
20.59/20.65	c iter 1407 time 20.016 not-muc 248187 unknown 91 muc 1356
20.59/20.65	c iter 1408 time 20.031 not-muc 248187 unknown 90 muc 1357
20.59/20.65	c iter 1409 time 20.044 not-muc 248187 unknown 89 muc 1358
20.59/20.65	c iter 1410 time 20.0589 not-muc 248187 unknown 88 muc 1359
20.59/20.65	c iter 1411 time 20.0729 not-muc 248187 unknown 87 muc 1360
20.59/20.65	c iter 1412 time 20.0869 not-muc 248187 unknown 86 muc 1361
20.59/20.65	c iter 1413 time 20.1009 not-muc 248187 unknown 85 muc 1362
20.59/20.65	c iter 1414 time 20.1159 not-muc 248187 unknown 84 muc 1363
20.59/20.65	c iter 1415 time 20.1299 not-muc 248187 unknown 83 muc 1364
20.59/20.65	c iter 1416 time 20.1439 not-muc 248187 unknown 82 muc 1365
20.59/20.65	c iter 1417 time 20.1579 not-muc 248187 unknown 81 muc 1366
20.59/20.65	c iter 1418 time 20.1719 not-muc 248187 unknown 80 muc 1367
20.59/20.65	c iter 1419 time 20.1869 not-muc 248187 unknown 79 muc 1368
20.59/20.65	c iter 1420 time 20.2009 not-muc 248187 unknown 78 muc 1369
20.59/20.65	c iter 1421 time 20.2149 not-muc 248187 unknown 77 muc 1370
20.59/20.65	c iter 1422 time 20.2289 not-muc 248187 unknown 76 muc 1371
20.59/20.65	c iter 1423 time 20.2439 not-muc 248187 unknown 75 muc 1372
20.59/20.65	c iter 1424 time 20.2579 not-muc 248187 unknown 74 muc 1373
20.59/20.65	c iter 1425 time 20.2719 not-muc 248187 unknown 73 muc 1374
20.59/20.65	c iter 1426 time 20.2859 not-muc 248187 unknown 72 muc 1375
20.59/20.65	c iter 1427 time 20.2879 not-muc 248188 unknown 71 muc 1375
20.59/20.65	c iter 1428 time 20.3029 not-muc 248188 unknown 70 muc 1376
20.59/20.65	c iter 1429 time 20.3169 not-muc 248188 unknown 69 muc 1377
20.59/20.65	c iter 1430 time 20.3309 not-muc 248188 unknown 68 muc 1378
20.59/20.65	c iter 1431 time 20.3449 not-muc 248188 unknown 67 muc 1379
20.59/20.65	c iter 1432 time 20.3589 not-muc 248188 unknown 66 muc 1380
20.59/20.65	c iter 1433 time 20.3729 not-muc 248188 unknown 65 muc 1381
20.59/20.65	c iter 1434 time 20.3869 not-muc 248188 unknown 64 muc 1382
20.59/20.65	c iter 1435 time 20.4019 not-muc 248188 unknown 63 muc 1383
20.59/20.65	c iter 1436 time 20.4159 not-muc 248188 unknown 62 muc 1384
20.59/20.65	c iter 1437 time 20.4299 not-muc 248188 unknown 61 muc 1385
20.59/20.65	c iter 1438 time 20.4439 not-muc 248188 unknown 60 muc 1386
20.59/20.65	c iter 1439 time 20.4649 not-muc 248188 unknown 59 muc 1387
20.59/20.65	c iter 1440 time 20.4739 not-muc 248188 unknown 58 muc 1388
20.59/20.65	c iter 1441 time 20.4839 not-muc 248188 unknown 57 muc 1389
21.19/21.20	c iter 1442 time 20.4939 not-muc 248188 unknown 56 muc 1390
21.19/21.20	c iter 1443 time 20.5039 not-muc 248188 unknown 55 muc 1391
21.19/21.20	c iter 1444 time 20.5129 not-muc 248188 unknown 54 muc 1392
21.19/21.20	c iter 1445 time 20.5229 not-muc 248188 unknown 53 muc 1393
21.19/21.20	c iter 1446 time 20.5329 not-muc 248188 unknown 52 muc 1394
21.19/21.20	c iter 1447 time 20.5429 not-muc 248188 unknown 51 muc 1395
21.19/21.20	c iter 1448 time 20.5529 not-muc 248188 unknown 50 muc 1396
21.19/21.20	c iter 1449 time 20.5619 not-muc 248188 unknown 49 muc 1397
21.19/21.20	c iter 1450 time 20.5719 not-muc 248188 unknown 48 muc 1398
21.19/21.20	c iter 1451 time 20.5819 not-muc 248188 unknown 47 muc 1399
21.19/21.20	c iter 1452 time 20.5919 not-muc 248188 unknown 46 muc 1400
21.19/21.20	c iter 1453 time 20.6019 not-muc 248188 unknown 45 muc 1401
21.19/21.20	c iter 1454 time 20.6109 not-muc 248188 unknown 44 muc 1402
21.19/21.20	c iter 1455 time 20.6209 not-muc 248188 unknown 43 muc 1403
21.19/21.20	c iter 1456 time 20.6219 not-muc 248189 unknown 42 muc 1403
21.19/21.20	c iter 1457 time 20.6319 not-muc 248189 unknown 41 muc 1404
21.19/21.20	c iter 1458 time 20.6419 not-muc 248189 unknown 40 muc 1405
21.19/21.20	c iter 1459 time 20.6519 not-muc 248189 unknown 39 muc 1406
21.19/21.20	c iter 1460 time 20.6619 not-muc 248189 unknown 38 muc 1407
21.19/21.20	c iter 1461 time 20.6719 not-muc 248189 unknown 37 muc 1408
21.19/21.20	c iter 1462 time 20.6819 not-muc 248189 unknown 36 muc 1409
21.19/21.20	c iter 1463 time 20.6909 not-muc 248189 unknown 35 muc 1410
21.19/21.20	c iter 1464 time 20.7009 not-muc 248189 unknown 34 muc 1411
21.19/21.20	c iter 1465 time 20.7109 not-muc 248189 unknown 33 muc 1412
21.19/21.20	c iter 1466 time 20.7208 not-muc 248189 unknown 32 muc 1413
21.19/21.20	c iter 1467 time 20.7308 not-muc 248189 unknown 31 muc 1414
21.19/21.20	c iter 1468 time 20.7408 not-muc 248189 unknown 30 muc 1415
21.19/21.20	c iter 1469 time 20.7508 not-muc 248189 unknown 29 muc 1416
21.19/21.20	c iter 1470 time 20.7608 not-muc 248189 unknown 28 muc 1417
21.19/21.20	c iter 1471 time 20.7708 not-muc 248189 unknown 27 muc 1418
21.19/21.20	c iter 1472 time 20.7808 not-muc 248189 unknown 26 muc 1419
21.19/21.20	c iter 1473 time 20.7908 not-muc 248189 unknown 25 muc 1420
21.19/21.20	c iter 1474 time 20.7998 not-muc 248189 unknown 24 muc 1421
21.19/21.20	c iter 1475 time 20.8098 not-muc 248189 unknown 23 muc 1422
21.19/21.20	c iter 1476 time 20.8198 not-muc 248189 unknown 22 muc 1423
21.19/21.20	c iter 1477 time 20.8298 not-muc 248189 unknown 21 muc 1424
21.19/21.20	c iter 1478 time 20.8398 not-muc 248189 unknown 20 muc 1425
21.19/21.20	c iter 1479 time 20.8498 not-muc 248189 unknown 19 muc 1426
21.19/21.20	c iter 1480 time 20.8598 not-muc 248189 unknown 18 muc 1427
21.19/21.20	c iter 1481 time 20.8698 not-muc 248189 unknown 17 muc 1428
21.19/21.20	c iter 1482 time 20.8798 not-muc 248189 unknown 16 muc 1429
21.19/21.20	c iter 1483 time 20.8808 not-muc 248190 unknown 15 muc 1429
21.19/21.20	c iter 1484 time 20.8908 not-muc 248190 unknown 14 muc 1430
21.19/21.20	c iter 1485 time 20.9008 not-muc 248190 unknown 13 muc 1431
21.19/21.20	c iter 1486 time 20.9108 not-muc 248190 unknown 12 muc 1432
21.19/21.20	c iter 1487 time 20.9208 not-muc 248190 unknown 11 muc 1433
21.19/21.20	c iter 1488 time 20.9308 not-muc 248190 unknown 10 muc 1434
21.19/21.20	c iter 1489 time 20.9408 not-muc 248190 unknown 9 muc 1435
21.19/21.20	c iter 1490 time 20.9508 not-muc 248190 unknown 8 muc 1436
21.19/21.20	c iter 1491 time 20.9628 not-muc 248190 unknown 7 muc 1437
21.19/21.20	c iter 1492 time 20.9728 not-muc 248190 unknown 6 muc 1438
21.19/21.20	c iter 1493 time 20.9828 not-muc 248190 unknown 5 muc 1439
21.19/21.20	c iter 1494 time 20.9918 not-muc 248190 unknown 4 muc 1440
21.19/21.20	c iter 1495 time 21.0018 not-muc 248190 unknown 3 muc 1441
21.19/21.20	c iter 1496 time 21.0118 not-muc 248190 unknown 2 muc 1442
21.19/21.20	c iter 1497 time 21.0218 not-muc 248190 unknown 1 muc 1443
21.19/21.20	c final iter 1498 time 21.0318 not-muc 248190 unknown 0 muc 1444
21.19/21.20	v 124 146 160 161 163 164 167 172 173 174 223 224 225 226 227 228 231 232 233 241 258 259 261 262 263 264 265 266 267 268 269 270 271 272 281 282 292 293 308 480 501 502 506 507 508 509 510 511 512 513 514 515 516 517 520 521 522 523 524 525 527 528 748 770 784 785 787 788 791 796 797 798 904 905 913 914 1158 1159 1160 1161 1162 1164 1165 1170 1171 1202 1203 1204 1205 1212 1214 1215 1216 1219 1220 1221 1222 1223 1224 1225 1226 1231 1232 1233 1234 1235 1236 1237 1238 1239 1240 1241 1242 1243 1244 1245 1246 1247 1248 1249 1250 1730 1752 1766 1767 1769 1770 1773 1778 1779 1780 1983 1984 1992 1993 2455 2456 2458 2459 2460 2461 2462 2473 2474 2530 2531 2532 2533 2540 2542 2543 2544 2545 2546 2547 2548 2549 2550 2552 2553 2554 2559 2560 2562 2563 2564 2565 2566 2567 2568 2569 2570 2571 2572 2573 2574 2575 2576 2577 2578 3502 3524 3538 3539 3541 3542 3545 3550 3551 3552 3757 3758 3766 3767 4342 4343 4345 4346 4347 4348 4349 4375 4376 4436 4437 4438 4439 4446 4448 4449 4450 4451 4452 4453 4454 4455 4456 4458 4459 4460 4465 4466 4468 4469 4470 4471 4472 4473 4474 4475 4476 4477 4478 4479 4480 4481 4482 4483 4484 5619 5641 5655 5656 5658 5659 5662 5667 5668 5669 5874 5875 5883 5884 6480 6481 6483 6484 6485 6486 6487 6522 6523 6584 6585 6586 6587 6594 6596 6597 6598 6599 6600 6601 6602 6603 6604 6606 6607 6608 6613 6614 6616 6617 6618 6619 6620 6621 6622 6623 6624 6625 6626 6627 6628 6629 6630 6631 6632 13443 13465 13479 13480 13482 13483 13486 13491 13492 13493 13698 13699 13707 13708 14321 14322 14324 14325 14326 14327 14369 14371 14373 14434 14436 14437 14444 14446 14447 14448 14449 14450 14451 14452 14453 14454 14456 14457 14458 14459 14460 14461 14462 14463 14464 14465 14466 14467 14468 14469 14470 14471 14472 14473 14474 14475 14476 14477 14478 14479 14480 14481 14482 21771 21778 21779 21807 21808 21810 21811 21814 21815 21816 21817 21818 21819 21820 21821 22026 22027 22035 22036 22666 22667 22669 22670 22671 22672 22673 22726 22727 22788 22789 22790 22791 22798 22800 22801 22802 22803 22804 22805 22806 22807 22808 22810 22811 22812 22817 22818 22820 22821 22822 22823 22824 22825 22826 22827 22828 22829 22830 22831 22832 22833 22834 22835 22836 30982 30989 30990 31018 31019 31021 31022 31025 31026 31027 31028 31029 31030 31031 31032 31237 31238 31246 31247 31894 31895 31897 31898 31899 31900 31901 31963 31964 32025 32026 32027 32028 32035 32037 32038 32039 32040 32041 32042 32043 32044 32045 32047 32048 32049 32054 32055 32057 32058 32059 32060 32061 32062 32063 32064 32065 32066 32067 32068 32069 32070 32071 32072 32073 41172 41194 41208 41209 41211 41212 41215 41220 41221 41222 41427 41428 41436 41437 42101 42102 42104 42105 42106 42107 42108 42179 42180 42241 42242 42243 42244 42251 42253 42254 42255 42256 42257 42258 42259 42260 42261 42263 42264 42265 42270 42271 42273 42274 42275 42276 42277 42278 42279 42280 42281 42282 42283 42284 42285 42286 42287 42288 42289 52666 52673 52674 52702 52703 52705 52706 52709 52710 52711 52712 52713 52714 52715 52716 52921 52922 52930 52931 53612 53613 53615 53616 53617 53618 53619 53699 53700 53761 53762 53763 53764 53771 53773 53774 53775 53776 53777 53778 53779 53780 53781 53783 53784 53785 53790 53791 53793 53794 53795 53796 53797 53798 53799 53800 53801 53802 53803 53804 53805 53806 53807 53808 53809 65492 65514 65528 65529 65530 65531 65532 65535 65542 65747 65748 65756 65757 66455 66456 66458 66459 66460 66461 66462 66551 66552 66613 66614 66615 66616 66623 66625 66626 66627 66628 66629 66630 66631 66632 66633 66635 66636 66637 66642 66643 66645 66646 66647 66648 66649 66650 66651 66652 66653 66654 66655 66656 66657 66658 66659 66660 66661 78453 78460 78461 78489 78490 78492 78493 78496 78497 78498 78499 78500 78501 78502 78503 78708 78709 78717 78718 79433 79434 79436 79437 79438 79439 79440 79538 79539 79600 79601 79602 79603 79610 79612 79613 79614 79615 79616 79617 79618 79619 79620 79622 79623 79624 79629 79630 79632 79633 79634 79635 79636 79637 79638 79639 79640 79641 79642 79643 79644 79645 79646 79647 79648 91608 91630 91644 91645 91647 91648 91651 91656 91657 91658 91863 91864 91872 91873 92605 92606 92608 92609 92610 92611 92612 92719 92720 92781 92782 92783 92784 92791 92793 92794 92795 92796 92797 92798 92799 92800 92801 92803 92804 92805 92810 92811 92813 92814 92815 92816 92817 92818 92819 92820 92821 92822 92823 92824 92825 92826 92827 92828 92829 104947 104954 104955 104983 104984 104986 104987 104990 104991 104992 104993 104994 104995 104996 104997 105202 105203 105211 105212 105961 105962 105964 105965 105966 105967 105968 106084 106085 106146 106147 106148 106149 106156 106158 106159 106160 106161 106162 106163 106164 106165 106166 106168 106169 106170 106175 106176 106178 106179 106180 106181 106182 106183 106184 106185 106186 106187 106188 106189 106190 106191 106192 106193 106194 118464 118486 118500 118501 118502 118503 118504 118507 118514 118719 118720 118728 118729 119495 119496 119498 119499 119500 119501 119502 119627 119628 119689 119690 119691 119692 119699 119701 119702 119703 119704 119705 119706 119707 119708 119709 119711 119712 119713 119718 119719 119721 119722 119723 119724 119725 119726 119727 119728 119729 119730 119731 119732 119733 119734 119735 119736 119737 132159 132181 132195 132196 132197 132198 132199 132202 132209 132414 132415 132423 132424 133207 133208 133210 133211 133212 133213 133214 133348 133349 133410 133411 133412 133413 133420 133422 133423 133424 133425 133426 133427 133428 133429 133430 133432 133433 133434 133439 133440 133442 133443 133444 133445 133446 133447 133448 133449 133450 133451 133452 133453 133454 133455 133456 133457 133458 146032 146054 146068 146069 146070 146071 146072 146075 146082 146287 146288 146296 146297 147097 147098 147100 147101 147102 147103 147104 147247 147248 147309 147310 147311 147312 147319 147321 147322 147323 147324 147325 147326 147327 147328 147329 147331 147332 147333 147338 147339 147341 147342 147343 147344 147345 147346 147347 147348 147349 147350 147351 147352 147353 147354 147355 147356 147357 160083 160090 160091 160119 160120 160122 160123 160126 160127 160128 160129 160130 160131 160132 160133 160338 160339 160347 160348 161165 161166 161168 161169 161170 161171 161172 161324 161325 161386 161387 161388 161389 161396 161398 161399 161400 161401 161402 161403 161404 161405 161406 161408 161409 161410 161415 161416 161418 161419 161420 161421 161422 161423 161424 161425 161426 161427 161428 161429 161430 161431 161432 161433 161434 174312 174334 174348 174349 174351 174352 174355 174360 174361 174362 174567 174568 174576 174577 175411 175412 175414 175415 175416 175417 175418 175579 175580 175641 175642 175643 175644 175651 175653 175654 175655 175656 175657 175658 175659 175660 175661 175663 175664 175665 175670 175671 175673 175674 175675 175676 175677 175678 175679 175680 175681 175682 175683 175684 175685 175686 175687 175688 175689 188719 188741 188755 188756 188758 188759 188762 188767 188768 188769 188974 188975 188983 188984 189835 189836 189838 189839 189840 189841 189842 190012 190013 190074 190075 190076 190077 190084 190086 190087 190088 190089 190090 190091 190092 190093 190094 190096 190097 190098 190103 190104 190106 190107 190108 190109 190110 190111 190112 190113 190114 190115 190116 190117 190118 190119 190120 190121 190122 203304 203326 203340 203341 203343 203344 203347 203352 203353 203354 203559 203560 203568 203569 204437 204438 204440 204441 204442 204443 204444 204623 204624 204685 204686 204687 204688 204695 204697 204698 204699 204700 204701 204702 204703 204704 204705 204707 204708 204709 204714 204715 204717 204718 204719 204720 204721 204722 204723 204724 204725 204726 204727 204728 204729 204730 204731 204732 204733 218067 218089 218103 218104 218106 218107 218110 218115 218116 218117 218322 218323 218331 218332 219217 219218 219220 219221 219222 219223 219224 219412 219413 219474 219475 219476 219477 219484 219486 219487 219488 219489 219490 219491 219492 219493 219494 219496 219497 219498 219503 219504 219506 219507 219508 219509 219510 219511 219512 219513 219514 219515 219516 219517 219518 219519 219520 219521 219522 233008 233015 233016 233044 233045 233047 233048 233051 233052 233053 233054 233055 233056 233057 233058 233263 233264 233272 233273 234175 234176 234178 234179 234180 234181 234182 234379 234380 234441 234442 234443 234444 234451 234453 234454 234455 234456 234457 234458 234459 234460 234461 234463 234464 234465 234470 234471 234473 234474 234475 234476 234477 234478 234479 234480 234481 234482 234483 234484 234485 234486 234487 234488 234489 248382 248383 248391 248392 249311 249312 249314 249315 249316 249317 249318 249524 249525 249586 249587 249588 249589 249596 249598 249599 249600 249601 249602 249603 249604 249605 249606 249608 249609 249610 249615 249616 249618 249619 249620 249621 249622 249623 249624 249625 249626 249627 249628 249629 249630 249631 249632 249633 249634 0
21.19/21.20	s UNSATISFIABLE

OK	1444

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3501753-1308044413/watcher-3501753-1308044413 -o /tmp/evaluation-result-3501753-1308044413/solver-3501753-1308044413 -C 1800 -W 1850 -M 7680 HOME/hhlmuc HOME/instance-3501753-1308044413.gcnf 

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 3.51 2.08 2.00 4/189 4015
/proc/meminfo: memFree=31517208/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=28180 CPUtime=0 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 1530 0 0 0 0 0 0 0 25 0 1 0 994671902 28856320 1472 33554432000 4194304 4338123 140737099995264 18446744073709551615 4322150 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 7045 1472 222 36 0 3667 0

[startup+0.0548799 s]
/proc/loadavg: 3.51 2.08 2.00 4/189 4015
/proc/meminfo: memFree=31517208/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=36488 CPUtime=0.04 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 4158 0 0 0 4 0 0 0 25 0 1 0 994671902 37363712 4100 33554432000 4194304 4338123 140737099995264 18446744073709551615 4260126 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 9122 4100 223 36 0 5744 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36488

[startup+0.100872 s]
/proc/loadavg: 3.51 2.08 2.00 4/189 4015
/proc/meminfo: memFree=31517208/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=44224 CPUtime=0.09 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 6525 0 0 0 8 1 0 0 25 0 1 0 994671902 45285376 6467 33554432000 4194304 4338123 140737099995264 18446744073709551615 260020395776 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 11056 6478 223 36 0 7678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44224

[startup+0.300838 s]
/proc/loadavg: 3.51 2.08 2.00 4/189 4015
/proc/meminfo: memFree=31517208/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=88948 CPUtime=0.29 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 16609 0 0 0 26 3 0 0 25 0 1 0 994671902 91082752 16551 33554432000 4194304 4338123 140737099995264 18446744073709551615 260020056773 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 22237 16554 223 36 0 18859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88948

[startup+0.700765 s]
/proc/loadavg: 3.51 2.08 2.00 4/189 4015
/proc/meminfo: memFree=31517208/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=162760 CPUtime=0.69 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 33022 0 0 0 63 6 0 0 25 0 1 0 994671902 166666240 32882 33554432000 4194304 4338123 140737099995264 18446744073709551615 4260118 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 40690 32883 227 36 0 37312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 162760

[startup+1.50062 s]
/proc/loadavg: 3.51 2.08 2.00 5/190 4016
/proc/meminfo: memFree=31348460/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=219612 CPUtime=1.49 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 53656 0 0 0 140 9 0 0 25 0 1 0 994671902 224882688 46627 33554432000 4194304 4338123 140737099995264 18446744073709551615 4260118 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 54903 46628 229 36 0 51525 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 219612

[startup+3.10032 s]
/proc/loadavg: 3.51 2.08 2.00 5/190 4016
/proc/meminfo: memFree=31328744/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=314860 CPUtime=3.08 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 94963 0 0 0 294 14 0 0 25 0 1 0 994671902 322416640 69450 33554432000 4194304 4338123 140737099995264 18446744073709551615 4258206 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 78715 69450 267 36 0 75337 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 314860

[startup+6.30074 s]
/proc/loadavg: 3.55 2.11 2.01 5/190 4016
/proc/meminfo: memFree=31324240/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=224900 CPUtime=6.28 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 95067 0 0 0 613 15 0 0 25 0 1 0 994671902 230297600 46918 33554432000 4194304 4338123 140737099995264 18446744073709551615 4280929 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 56225 46918 267 36 0 52847 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 224900

[startup+12.7006 s]
/proc/loadavg: 3.58 2.14 2.02 5/190 4016
/proc/meminfo: memFree=31316308/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=224900 CPUtime=12.68 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 95087 0 0 0 1253 15 0 0 25 0 1 0 994671902 230297600 46936 33554432000 4194304 4338123 140737099995264 18446744073709551615 4283352 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 56225 46936 268 36 0 52847 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 224900

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

[startup+15.901 s]
/proc/loadavg: 3.61 2.17 2.03 5/190 4016
/proc/meminfo: memFree=31314076/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=224900 CPUtime=15.89 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 95094 0 0 0 1573 16 0 0 25 0 1 0 994671902 230297600 46942 33554432000 4194304 4338123 140737099995264 18446744073709551615 4281333 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 56225 46942 268 36 0 52847 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 224900

[startup+19.1004 s]
/proc/loadavg: 3.65 2.20 2.04 5/190 4016
/proc/meminfo: memFree=31329560/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=224900 CPUtime=19.09 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 95109 0 0 0 1893 16 0 0 25 0 1 0 994671902 230297600 46955 33554432000 4194304 4338123 140737099995264 18446744073709551615 4292231 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 56225 46955 268 36 0 52847 0
Current children cumulated CPU time (s) 19.09
Current children cumulated vsize (KiB) 224900

[startup+19.9002 s]
/proc/loadavg: 3.65 2.20 2.04 5/190 4016
/proc/meminfo: memFree=31329436/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=224900 CPUtime=19.89 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 95111 0 0 0 1973 16 0 0 25 0 1 0 994671902 230297600 46957 33554432000 4194304 4338123 140737099995264 18446744073709551615 4292231 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 56225 46957 268 36 0 52847 0
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (KiB) 224900

[startup+20.7011 s]
/proc/loadavg: 3.65 2.20 2.04 5/190 4016
/proc/meminfo: memFree=31329436/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=224900 CPUtime=20.69 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 95117 0 0 0 2053 16 0 0 25 0 1 0 994671902 230297600 46962 33554432000 4194304 4338123 140737099995264 18446744073709551615 4281306 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 56225 46962 268 36 0 52847 0
Current children cumulated CPU time (s) 20.69
Current children cumulated vsize (KiB) 224900

[startup+21.101 s]
/proc/loadavg: 3.65 2.20 2.04 5/190 4016
/proc/meminfo: memFree=31328940/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=224900 CPUtime=21.09 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 95117 0 0 0 2093 16 0 0 25 0 1 0 994671902 230297600 46962 33554432000 4194304 4338123 140737099995264 18446744073709551615 4292231 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 56225 46962 268 36 0 52847 0
Current children cumulated CPU time (s) 21.09
Current children cumulated vsize (KiB) 224900

[startup+21.201 s]
/proc/loadavg: 3.65 2.20 2.04 5/190 4016
/proc/meminfo: memFree=31328940/32951124 swapFree=67056304/67111528
[pid=4015] ppid=4013 vsize=224900 CPUtime=21.19 cores=1,3
/proc/4015/stat : 4015 (hhlmuc) R 4013 4015 3678 0 -1 4202496 95117 0 0 0 2103 16 0 0 25 0 1 0 994671902 230297600 46962 33554432000 4194304 4338123 140737099995264 18446744073709551615 260020054837 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/4015/statm: 56225 46962 268 36 0 52847 0
Current children cumulated CPU time (s) 21.19
Current children cumulated vsize (KiB) 224900

Child status: 20
Real time (s): 21.2115
CPU time (s): 21.2058
CPU user time (s): 21.0328
CPU system time (s): 0.172973
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 357040

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

runsolver used 0.037994 second user time and 0.087986 second system time

The end

Begin job on node110 at 2011-06-14 11:40:13
IDJOB=3501753
IDBENCH=90102
IDSOLVER=2001
FILE ID=node110/3501753-1308044413
RUNJOBID= node110-1308044312-3698
PBS_JOBID= 13565103
Free space on /tmp= 74076 MiB

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

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

MD5SUM BENCH= 2884b5599c418e2c2f13c080d2b3fb7b
RANDOM SEED=840452873

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31517628 kB
Buffers:        212788 kB
Cached:         643748 kB
SwapCached:       9184 kB
Active:         684904 kB
Inactive:       517984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31517628 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:           33692 kB
Writeback:           4 kB
AnonPages:      344196 kB
Mapped:          13756 kB
Slab:           164124 kB
PageTables:       5832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   613036 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= 74076 MiB
End job on node110 at 2011-06-14 11:40:35