6.19/6.22	c WARNING: for repeatability, setting FPU to use double precision
6.19/6.22	c iter 1 time 1.15082 not-muc 2527223 unknown 1798 muc 0
6.19/6.22	c iter 2 time 1.88871 not-muc 2527223 unknown 1797 muc 1
6.19/6.22	c iter 3 time 1.9477 not-muc 2527223 unknown 1796 muc 2
6.19/6.22	c iter 4 time 2.00769 not-muc 2527223 unknown 1795 muc 3
6.19/6.22	c iter 5 time 2.06669 not-muc 2527223 unknown 1794 muc 4
6.19/6.22	c iter 6 time 2.12568 not-muc 2527223 unknown 1793 muc 5
6.19/6.22	c iter 7 time 2.18567 not-muc 2527223 unknown 1792 muc 6
6.19/6.22	c iter 8 time 2.24466 not-muc 2527223 unknown 1791 muc 7
6.19/6.22	c iter 9 time 2.33564 not-muc 2527223 unknown 1790 muc 8
6.19/6.22	c iter 10 time 2.40663 not-muc 2527223 unknown 1789 muc 9
6.19/6.22	c iter 11 time 2.47762 not-muc 2527223 unknown 1788 muc 10
6.19/6.22	c iter 12 time 2.53661 not-muc 2527223 unknown 1787 muc 11
6.19/6.22	c iter 13 time 2.59661 not-muc 2527223 unknown 1786 muc 12
6.19/6.22	c iter 14 time 2.6556 not-muc 2527223 unknown 1785 muc 13
6.19/6.22	c iter 15 time 2.71559 not-muc 2527223 unknown 1784 muc 14
6.19/6.22	c iter 16 time 2.77558 not-muc 2527223 unknown 1783 muc 15
6.19/6.22	c iter 17 time 2.83457 not-muc 2527223 unknown 1782 muc 16
6.19/6.22	c iter 18 time 2.90556 not-muc 2527223 unknown 1781 muc 17
6.19/6.22	c iter 19 time 2.96555 not-muc 2527223 unknown 1780 muc 18
6.19/6.22	c iter 20 time 3.02454 not-muc 2527223 unknown 1779 muc 19
6.19/6.22	c iter 21 time 3.08453 not-muc 2527223 unknown 1778 muc 20
6.19/6.22	c iter 22 time 3.14452 not-muc 2527223 unknown 1777 muc 21
6.19/6.22	c iter 23 time 3.20351 not-muc 2527223 unknown 1776 muc 22
6.19/6.22	c iter 24 time 3.2635 not-muc 2527223 unknown 1775 muc 23
6.19/6.22	c iter 25 time 3.33449 not-muc 2527223 unknown 1774 muc 24
6.19/6.22	c iter 26 time 3.39348 not-muc 2527223 unknown 1773 muc 25
6.19/6.22	c iter 27 time 3.45347 not-muc 2527223 unknown 1772 muc 26
6.19/6.22	c iter 28 time 3.51347 not-muc 2527223 unknown 1771 muc 27
6.19/6.22	c iter 29 time 3.57346 not-muc 2527223 unknown 1770 muc 28
6.19/6.22	c iter 30 time 3.63245 not-muc 2527223 unknown 1769 muc 29
6.19/6.22	c iter 31 time 3.69244 not-muc 2527223 unknown 1768 muc 30
6.19/6.22	c iter 32 time 3.76343 not-muc 2527223 unknown 1767 muc 31
6.19/6.22	c iter 33 time 3.82342 not-muc 2527223 unknown 1766 muc 32
6.19/6.22	c iter 34 time 3.88241 not-muc 2527223 unknown 1765 muc 33
6.19/6.22	c iter 35 time 3.9424 not-muc 2527223 unknown 1764 muc 34
6.19/6.22	c iter 36 time 4.00239 not-muc 2527223 unknown 1763 muc 35
6.19/6.22	c iter 37 time 4.07338 not-muc 2527223 unknown 1762 muc 36
6.19/6.22	c iter 38 time 4.13237 not-muc 2527223 unknown 1761 muc 37
6.19/6.22	c iter 39 time 4.19236 not-muc 2527223 unknown 1760 muc 38
6.19/6.22	c iter 40 time 4.25235 not-muc 2527223 unknown 1759 muc 39
6.19/6.22	c iter 41 time 4.31134 not-muc 2527223 unknown 1758 muc 40
6.19/6.22	c iter 42 time 4.38333 not-muc 2527223 unknown 1757 muc 41
6.19/6.22	c iter 43 time 4.44232 not-muc 2527223 unknown 1756 muc 42
6.19/6.22	c iter 44 time 4.50232 not-muc 2527223 unknown 1755 muc 43
6.19/6.22	c iter 45 time 4.56131 not-muc 2527223 unknown 1754 muc 44
6.19/6.22	c iter 46 time 4.6213 not-muc 2527223 unknown 1753 muc 45
6.19/6.22	c iter 47 time 4.69229 not-muc 2527223 unknown 1752 muc 46
6.19/6.22	c iter 48 time 4.75228 not-muc 2527223 unknown 1751 muc 47
6.19/6.22	c iter 49 time 4.81227 not-muc 2527223 unknown 1750 muc 48
6.19/6.22	c iter 50 time 4.87126 not-muc 2527223 unknown 1749 muc 49
6.19/6.22	c iter 51 time 4.93125 not-muc 2527223 unknown 1748 muc 50
6.19/6.22	c iter 52 time 5.00224 not-muc 2527223 unknown 1747 muc 51
6.19/6.22	c iter 53 time 5.06223 not-muc 2527223 unknown 1746 muc 52
6.19/6.22	c iter 54 time 5.12122 not-muc 2527223 unknown 1745 muc 53
6.19/6.22	c iter 55 time 5.18121 not-muc 2527223 unknown 1744 muc 54
6.19/6.22	c iter 56 time 5.2412 not-muc 2527223 unknown 1743 muc 55
6.19/6.22	c iter 57 time 5.31219 not-muc 2527223 unknown 1742 muc 56
6.19/6.22	c iter 58 time 5.37118 not-muc 2527223 unknown 1741 muc 57
6.19/6.22	c iter 59 time 5.43117 not-muc 2527223 unknown 1740 muc 58
6.19/6.22	c iter 60 time 5.49116 not-muc 2527223 unknown 1739 muc 59
6.19/6.22	c iter 61 time 5.55116 not-muc 2527223 unknown 1738 muc 60
6.19/6.22	c iter 62 time 5.62115 not-muc 2527223 unknown 1737 muc 61
6.19/6.22	c iter 63 time 5.68114 not-muc 2527223 unknown 1736 muc 62
6.19/6.22	c iter 64 time 5.74113 not-muc 2527223 unknown 1735 muc 63
6.19/6.22	c iter 65 time 5.80112 not-muc 2527223 unknown 1734 muc 64
6.19/6.22	c iter 66 time 5.86011 not-muc 2527223 unknown 1733 muc 65
6.19/6.22	c iter 67 time 5.9311 not-muc 2527223 unknown 1732 muc 66
6.19/6.22	c iter 68 time 5.99109 not-muc 2527223 unknown 1731 muc 67
6.19/6.22	c iter 69 time 6.05008 not-muc 2527223 unknown 1730 muc 68
10.59/10.66	c iter 70 time 6.11007 not-muc 2527223 unknown 1729 muc 69
10.59/10.66	c iter 71 time 6.17006 not-muc 2527223 unknown 1728 muc 70
10.59/10.66	c iter 72 time 6.24105 not-muc 2527223 unknown 1727 muc 71
10.59/10.66	c iter 73 time 6.30004 not-muc 2527223 unknown 1726 muc 72
10.59/10.66	c iter 74 time 6.36003 not-muc 2527223 unknown 1725 muc 73
10.59/10.66	c iter 75 time 6.41902 not-muc 2527223 unknown 1724 muc 74
10.59/10.66	c iter 76 time 6.47802 not-muc 2527223 unknown 1723 muc 75
10.59/10.66	c iter 77 time 6.549 not-muc 2527223 unknown 1722 muc 76
10.59/10.66	c iter 78 time 6.609 not-muc 2527223 unknown 1721 muc 77
10.59/10.66	c iter 79 time 6.66799 not-muc 2527223 unknown 1720 muc 78
10.59/10.66	c iter 80 time 6.72798 not-muc 2527223 unknown 1719 muc 79
10.59/10.66	c iter 81 time 6.78797 not-muc 2527223 unknown 1718 muc 80
10.59/10.66	c iter 82 time 6.85896 not-muc 2527223 unknown 1717 muc 81
10.59/10.66	c iter 83 time 6.91895 not-muc 2527223 unknown 1716 muc 82
10.59/10.66	c iter 84 time 6.97794 not-muc 2527223 unknown 1715 muc 83
10.59/10.66	c iter 85 time 7.03793 not-muc 2527223 unknown 1714 muc 84
10.59/10.66	c iter 86 time 7.09792 not-muc 2527223 unknown 1713 muc 85
10.59/10.66	c iter 87 time 7.17191 not-muc 2527223 unknown 1712 muc 86
10.59/10.66	c iter 88 time 7.2439 not-muc 2527223 unknown 1711 muc 87
10.59/10.66	c iter 89 time 7.31489 not-muc 2527223 unknown 1710 muc 88
10.59/10.66	c iter 90 time 7.38588 not-muc 2527223 unknown 1709 muc 89
10.59/10.66	c iter 91 time 7.45687 not-muc 2527223 unknown 1708 muc 90
10.59/10.66	c iter 92 time 7.52886 not-muc 2527223 unknown 1707 muc 91
10.59/10.66	c iter 93 time 7.59984 not-muc 2527223 unknown 1706 muc 92
10.59/10.66	c iter 94 time 7.67183 not-muc 2527223 unknown 1705 muc 93
10.59/10.66	c iter 95 time 7.74282 not-muc 2527223 unknown 1704 muc 94
10.59/10.66	c iter 96 time 7.81381 not-muc 2527223 unknown 1703 muc 95
10.59/10.66	c iter 97 time 7.8858 not-muc 2527223 unknown 1702 muc 96
10.59/10.66	c iter 98 time 7.95679 not-muc 2527223 unknown 1701 muc 97
10.59/10.66	c iter 99 time 8.03278 not-muc 2527223 unknown 1700 muc 98
10.59/10.66	c iter 100 time 8.10477 not-muc 2527223 unknown 1699 muc 99
10.59/10.66	c iter 101 time 8.16576 not-muc 2527223 unknown 1698 muc 100
10.59/10.66	c iter 102 time 8.22675 not-muc 2527223 unknown 1697 muc 101
10.59/10.66	c iter 103 time 8.28674 not-muc 2527223 unknown 1696 muc 102
10.59/10.66	c iter 104 time 8.34773 not-muc 2527223 unknown 1695 muc 103
10.59/10.66	c iter 105 time 8.40872 not-muc 2527223 unknown 1694 muc 104
10.59/10.66	c iter 106 time 8.46971 not-muc 2527223 unknown 1693 muc 105
10.59/10.66	c iter 107 time 8.5417 not-muc 2527223 unknown 1692 muc 106
10.59/10.66	c iter 108 time 8.60269 not-muc 2527223 unknown 1691 muc 107
10.59/10.66	c iter 109 time 8.66368 not-muc 2527223 unknown 1690 muc 108
10.59/10.66	c iter 110 time 8.72467 not-muc 2527223 unknown 1689 muc 109
10.59/10.66	c iter 111 time 8.78566 not-muc 2527223 unknown 1688 muc 110
10.59/10.66	c iter 112 time 8.85765 not-muc 2527223 unknown 1687 muc 111
10.59/10.66	c iter 113 time 8.91764 not-muc 2527223 unknown 1686 muc 112
10.59/10.66	c iter 114 time 8.97864 not-muc 2527223 unknown 1685 muc 113
10.59/10.66	c iter 115 time 9.03962 not-muc 2527223 unknown 1684 muc 114
10.59/10.66	c iter 116 time 9.10062 not-muc 2527223 unknown 1683 muc 115
10.59/10.66	c iter 117 time 9.1716 not-muc 2527223 unknown 1682 muc 116
10.59/10.66	c iter 118 time 9.2326 not-muc 2527223 unknown 1681 muc 117
10.59/10.66	c iter 119 time 9.29359 not-muc 2527223 unknown 1680 muc 118
10.59/10.66	c iter 120 time 9.35458 not-muc 2527223 unknown 1679 muc 119
10.59/10.66	c iter 121 time 9.41457 not-muc 2527223 unknown 1678 muc 120
10.59/10.66	c iter 122 time 9.48656 not-muc 2527223 unknown 1677 muc 121
10.59/10.66	c iter 123 time 9.54755 not-muc 2527223 unknown 1676 muc 122
10.59/10.66	c iter 124 time 9.60854 not-muc 2527223 unknown 1675 muc 123
10.59/10.66	c iter 125 time 9.66853 not-muc 2527223 unknown 1674 muc 124
10.59/10.66	c iter 126 time 9.73052 not-muc 2527223 unknown 1673 muc 125
10.59/10.66	c iter 127 time 9.80251 not-muc 2527223 unknown 1672 muc 126
10.59/10.66	c iter 128 time 9.8635 not-muc 2527223 unknown 1671 muc 127
10.59/10.66	c iter 129 time 9.92449 not-muc 2527223 unknown 1670 muc 128
10.59/10.66	c iter 130 time 9.98448 not-muc 2527223 unknown 1669 muc 129
10.59/10.66	c iter 131 time 10.0455 not-muc 2527223 unknown 1668 muc 130
10.59/10.66	c iter 132 time 10.1175 not-muc 2527223 unknown 1667 muc 131
10.59/10.66	c iter 133 time 10.1785 not-muc 2527223 unknown 1666 muc 132
10.59/10.66	c iter 134 time 10.2394 not-muc 2527223 unknown 1665 muc 133
10.59/10.66	c iter 135 time 10.3004 not-muc 2527223 unknown 1664 muc 134
10.59/10.66	c iter 136 time 10.3614 not-muc 2527223 unknown 1663 muc 135
10.59/10.66	c iter 137 time 10.4334 not-muc 2527223 unknown 1662 muc 136
10.59/10.66	c iter 138 time 10.4944 not-muc 2527223 unknown 1661 muc 137
14.79/14.89	c iter 139 time 10.5544 not-muc 2527223 unknown 1660 muc 138
14.79/14.89	c iter 140 time 10.6274 not-muc 2527223 unknown 1659 muc 139
14.79/14.89	c iter 141 time 10.6884 not-muc 2527223 unknown 1658 muc 140
14.79/14.89	c iter 142 time 10.7494 not-muc 2527223 unknown 1657 muc 141
14.79/14.89	c iter 143 time 10.8104 not-muc 2527223 unknown 1656 muc 142
14.79/14.89	c iter 144 time 10.8713 not-muc 2527223 unknown 1655 muc 143
14.79/14.89	c iter 145 time 10.9323 not-muc 2527223 unknown 1654 muc 144
14.79/14.89	c iter 146 time 10.9933 not-muc 2527223 unknown 1653 muc 145
14.79/14.89	c iter 147 time 11.0543 not-muc 2527223 unknown 1652 muc 146
14.79/14.89	c iter 148 time 11.1153 not-muc 2527223 unknown 1651 muc 147
14.79/14.89	c iter 149 time 11.1773 not-muc 2527223 unknown 1650 muc 148
14.79/14.89	c iter 150 time 11.2383 not-muc 2527223 unknown 1649 muc 149
14.79/14.89	c iter 151 time 11.3003 not-muc 2527223 unknown 1648 muc 150
14.79/14.89	c iter 152 time 11.3613 not-muc 2527223 unknown 1647 muc 151
14.79/14.89	c iter 153 time 11.4233 not-muc 2527223 unknown 1646 muc 152
14.79/14.89	c iter 154 time 11.4853 not-muc 2527223 unknown 1645 muc 153
14.79/14.89	c iter 155 time 11.5462 not-muc 2527223 unknown 1644 muc 154
14.79/14.89	c iter 156 time 11.6082 not-muc 2527223 unknown 1643 muc 155
14.79/14.89	c iter 157 time 11.6702 not-muc 2527223 unknown 1642 muc 156
14.79/14.89	c iter 158 time 11.7322 not-muc 2527223 unknown 1641 muc 157
14.79/14.89	c iter 159 time 11.7942 not-muc 2527223 unknown 1640 muc 158
14.79/14.89	c iter 160 time 11.8562 not-muc 2527223 unknown 1639 muc 159
14.79/14.89	c iter 161 time 11.9182 not-muc 2527223 unknown 1638 muc 160
14.79/14.89	c iter 162 time 11.9802 not-muc 2527223 unknown 1637 muc 161
14.79/14.89	c iter 163 time 12.0422 not-muc 2527223 unknown 1636 muc 162
14.79/14.89	c iter 164 time 12.1052 not-muc 2527223 unknown 1635 muc 163
14.79/14.89	c iter 165 time 12.1671 not-muc 2527223 unknown 1634 muc 164
14.79/14.89	c iter 166 time 12.2291 not-muc 2527223 unknown 1633 muc 165
14.79/14.89	c iter 167 time 12.2921 not-muc 2527223 unknown 1632 muc 166
14.79/14.89	c iter 168 time 12.3551 not-muc 2527223 unknown 1631 muc 167
14.79/14.89	c iter 169 time 12.4171 not-muc 2527223 unknown 1630 muc 168
14.79/14.89	c iter 170 time 12.4801 not-muc 2527223 unknown 1629 muc 169
14.79/14.89	c iter 171 time 12.5421 not-muc 2527223 unknown 1628 muc 170
14.79/14.89	c iter 172 time 12.6061 not-muc 2527223 unknown 1627 muc 171
14.79/14.89	c iter 173 time 12.6691 not-muc 2527223 unknown 1626 muc 172
14.79/14.89	c iter 174 time 12.7321 not-muc 2527223 unknown 1625 muc 173
14.79/14.89	c iter 175 time 12.7951 not-muc 2527223 unknown 1624 muc 174
14.79/14.89	c iter 176 time 12.858 not-muc 2527223 unknown 1623 muc 175
14.79/14.89	c iter 177 time 12.922 not-muc 2527223 unknown 1622 muc 176
14.79/14.89	c iter 178 time 12.985 not-muc 2527223 unknown 1621 muc 177
14.79/14.89	c iter 179 time 13.048 not-muc 2527223 unknown 1620 muc 178
14.79/14.89	c iter 180 time 13.112 not-muc 2527223 unknown 1619 muc 179
14.79/14.89	c iter 181 time 13.175 not-muc 2527223 unknown 1618 muc 180
14.79/14.89	c iter 182 time 13.239 not-muc 2527223 unknown 1617 muc 181
14.79/14.89	c iter 183 time 13.303 not-muc 2527223 unknown 1616 muc 182
14.79/14.89	c iter 184 time 13.366 not-muc 2527223 unknown 1615 muc 183
14.79/14.89	c iter 185 time 13.43 not-muc 2527223 unknown 1614 muc 184
14.79/14.89	c iter 186 time 13.4939 not-muc 2527223 unknown 1613 muc 185
14.79/14.89	c iter 187 time 13.5579 not-muc 2527223 unknown 1612 muc 186
14.79/14.89	c iter 188 time 13.6219 not-muc 2527223 unknown 1611 muc 187
14.79/14.89	c iter 189 time 13.6869 not-muc 2527223 unknown 1610 muc 188
14.79/14.89	c iter 190 time 13.7509 not-muc 2527223 unknown 1609 muc 189
14.79/14.89	c iter 191 time 13.8159 not-muc 2527223 unknown 1608 muc 190
14.79/14.89	c iter 192 time 13.8799 not-muc 2527223 unknown 1607 muc 191
14.79/14.89	c iter 193 time 13.9449 not-muc 2527223 unknown 1606 muc 192
14.79/14.89	c iter 194 time 14.0099 not-muc 2527223 unknown 1605 muc 193
14.79/14.89	c iter 195 time 14.0749 not-muc 2527223 unknown 1604 muc 194
14.79/14.89	c iter 196 time 14.1398 not-muc 2527223 unknown 1603 muc 195
14.79/14.89	c iter 197 time 14.2038 not-muc 2527223 unknown 1602 muc 196
14.79/14.89	c iter 198 time 14.2688 not-muc 2527223 unknown 1601 muc 197
14.79/14.89	c iter 199 time 14.3338 not-muc 2527223 unknown 1600 muc 198
14.79/14.89	c iter 200 time 14.4068 not-muc 2527223 unknown 1599 muc 199
14.79/14.89	c iter 201 time 14.4788 not-muc 2527223 unknown 1598 muc 200
14.79/14.89	c iter 202 time 14.5398 not-muc 2527223 unknown 1597 muc 201
14.79/14.89	c iter 203 time 14.6008 not-muc 2527223 unknown 1596 muc 202
14.79/14.89	c iter 204 time 14.6618 not-muc 2527223 unknown 1595 muc 203
14.79/14.89	c iter 205 time 14.7238 not-muc 2527223 unknown 1594 muc 204
19.49/19.52	c iter 206 time 14.7848 not-muc 2527223 unknown 1593 muc 205
19.49/19.52	c iter 207 time 14.8467 not-muc 2527223 unknown 1592 muc 206
19.49/19.52	c iter 208 time 14.9077 not-muc 2527223 unknown 1591 muc 207
19.49/19.52	c iter 209 time 14.9797 not-muc 2527223 unknown 1590 muc 208
19.49/19.52	c iter 210 time 15.0527 not-muc 2527223 unknown 1589 muc 209
19.49/19.52	c iter 211 time 15.1137 not-muc 2527223 unknown 1588 muc 210
19.49/19.52	c iter 212 time 15.1857 not-muc 2527223 unknown 1587 muc 211
19.49/19.52	c iter 213 time 15.2467 not-muc 2527223 unknown 1586 muc 212
19.49/19.52	c iter 214 time 15.3187 not-muc 2527223 unknown 1585 muc 213
19.49/19.52	c iter 215 time 15.3797 not-muc 2527223 unknown 1584 muc 214
19.49/19.52	c iter 216 time 15.4527 not-muc 2527223 unknown 1583 muc 215
19.49/19.52	c iter 217 time 15.5136 not-muc 2527223 unknown 1582 muc 216
19.49/19.52	c iter 218 time 15.5746 not-muc 2527223 unknown 1581 muc 217
19.49/19.52	c iter 219 time 15.6466 not-muc 2527223 unknown 1580 muc 218
19.49/19.52	c iter 220 time 15.7076 not-muc 2527223 unknown 1579 muc 219
19.49/19.52	c iter 221 time 15.7686 not-muc 2527223 unknown 1578 muc 220
19.49/19.52	c iter 222 time 15.8406 not-muc 2527223 unknown 1577 muc 221
19.49/19.52	c iter 223 time 15.9016 not-muc 2527223 unknown 1576 muc 222
19.49/19.52	c iter 224 time 15.9626 not-muc 2527223 unknown 1575 muc 223
19.49/19.52	c iter 225 time 16.0346 not-muc 2527223 unknown 1574 muc 224
19.49/19.52	c iter 226 time 16.0956 not-muc 2527223 unknown 1573 muc 225
19.49/19.52	c iter 227 time 16.1565 not-muc 2527223 unknown 1572 muc 226
19.49/19.52	c iter 228 time 16.2285 not-muc 2527223 unknown 1571 muc 227
19.49/19.52	c iter 229 time 16.2895 not-muc 2527223 unknown 1570 muc 228
19.49/19.52	c iter 230 time 16.3615 not-muc 2527223 unknown 1569 muc 229
19.49/19.52	c iter 231 time 16.4335 not-muc 2527223 unknown 1568 muc 230
19.49/19.52	c iter 232 time 16.5065 not-muc 2527223 unknown 1567 muc 231
19.49/19.52	c iter 233 time 16.5785 not-muc 2527223 unknown 1566 muc 232
19.49/19.52	c iter 234 time 16.6505 not-muc 2527223 unknown 1565 muc 233
19.49/19.52	c iter 235 time 16.7235 not-muc 2527223 unknown 1564 muc 234
19.49/19.52	c iter 236 time 16.7954 not-muc 2527223 unknown 1563 muc 235
19.49/19.52	c iter 237 time 16.8684 not-muc 2527223 unknown 1562 muc 236
19.49/19.52	c iter 238 time 16.9404 not-muc 2527223 unknown 1561 muc 237
19.49/19.52	c iter 239 time 17.0124 not-muc 2527223 unknown 1560 muc 238
19.49/19.52	c iter 240 time 17.0854 not-muc 2527223 unknown 1559 muc 239
19.49/19.52	c iter 241 time 17.1574 not-muc 2527223 unknown 1558 muc 240
19.49/19.52	c iter 242 time 17.2294 not-muc 2527223 unknown 1557 muc 241
19.49/19.52	c iter 243 time 17.3024 not-muc 2527223 unknown 1556 muc 242
19.49/19.52	c iter 244 time 17.3744 not-muc 2527223 unknown 1555 muc 243
19.49/19.52	c iter 245 time 17.4473 not-muc 2527223 unknown 1554 muc 244
19.49/19.52	c iter 246 time 17.5193 not-muc 2527223 unknown 1553 muc 245
19.49/19.52	c iter 247 time 17.5923 not-muc 2527223 unknown 1552 muc 246
19.49/19.52	c iter 248 time 17.6643 not-muc 2527223 unknown 1551 muc 247
19.49/19.52	c iter 249 time 17.7373 not-muc 2527223 unknown 1550 muc 248
19.49/19.52	c iter 250 time 17.8093 not-muc 2527223 unknown 1549 muc 249
19.49/19.52	c iter 251 time 17.8823 not-muc 2527223 unknown 1548 muc 250
19.49/19.52	c iter 252 time 17.9543 not-muc 2527223 unknown 1547 muc 251
19.49/19.52	c iter 253 time 18.0263 not-muc 2527223 unknown 1546 muc 252
19.49/19.52	c iter 254 time 18.0982 not-muc 2527223 unknown 1545 muc 253
19.49/19.52	c iter 255 time 18.1712 not-muc 2527223 unknown 1544 muc 254
19.49/19.52	c iter 256 time 18.2432 not-muc 2527223 unknown 1543 muc 255
19.49/19.52	c iter 257 time 18.3152 not-muc 2527223 unknown 1542 muc 256
19.49/19.52	c iter 258 time 18.3882 not-muc 2527223 unknown 1541 muc 257
19.49/19.52	c iter 259 time 18.4602 not-muc 2527223 unknown 1540 muc 258
19.49/19.52	c iter 260 time 18.5322 not-muc 2527223 unknown 1539 muc 259
19.49/19.52	c iter 261 time 18.6042 not-muc 2527223 unknown 1538 muc 260
19.49/19.52	c iter 262 time 18.6772 not-muc 2527223 unknown 1537 muc 261
19.49/19.52	c iter 263 time 18.7491 not-muc 2527223 unknown 1536 muc 262
19.49/19.52	c iter 264 time 18.8221 not-muc 2527223 unknown 1535 muc 263
19.49/19.52	c iter 265 time 18.8831 not-muc 2527223 unknown 1534 muc 264
19.49/19.52	c iter 266 time 18.9561 not-muc 2527223 unknown 1533 muc 265
19.49/19.52	c iter 267 time 19.0171 not-muc 2527223 unknown 1532 muc 266
19.49/19.52	c iter 268 time 19.0891 not-muc 2527223 unknown 1531 muc 267
19.49/19.52	c iter 269 time 19.1511 not-muc 2527223 unknown 1530 muc 268
19.49/19.52	c iter 270 time 19.2121 not-muc 2527223 unknown 1529 muc 269
19.49/19.52	c iter 271 time 19.2741 not-muc 2527223 unknown 1528 muc 270
19.49/19.52	c iter 272 time 19.3461 not-muc 2527223 unknown 1527 muc 271
23.69/23.75	c iter 273 time 19.408 not-muc 2527223 unknown 1526 muc 272
23.69/23.75	c iter 274 time 19.469 not-muc 2527223 unknown 1525 muc 273
23.69/23.75	c iter 275 time 19.53 not-muc 2527223 unknown 1524 muc 274
23.69/23.75	c iter 276 time 19.592 not-muc 2527223 unknown 1523 muc 275
23.69/23.75	c iter 277 time 19.664 not-muc 2527223 unknown 1522 muc 276
23.69/23.75	c iter 278 time 19.726 not-muc 2527223 unknown 1521 muc 277
23.69/23.75	c iter 279 time 19.787 not-muc 2527223 unknown 1520 muc 278
23.69/23.75	c iter 280 time 19.849 not-muc 2527223 unknown 1519 muc 279
23.69/23.75	c iter 281 time 19.91 not-muc 2527223 unknown 1518 muc 280
23.69/23.75	c iter 282 time 19.983 not-muc 2527223 unknown 1517 muc 281
23.69/23.75	c iter 283 time 20.044 not-muc 2527223 unknown 1516 muc 282
23.69/23.75	c iter 284 time 20.1049 not-muc 2527223 unknown 1515 muc 283
23.69/23.75	c iter 285 time 20.1669 not-muc 2527223 unknown 1514 muc 284
23.69/23.75	c iter 286 time 20.2289 not-muc 2527223 unknown 1513 muc 285
23.69/23.75	c iter 287 time 20.3019 not-muc 2527223 unknown 1512 muc 286
23.69/23.75	c iter 288 time 20.3629 not-muc 2527223 unknown 1511 muc 287
23.69/23.75	c iter 289 time 20.4239 not-muc 2527223 unknown 1510 muc 288
23.69/23.75	c iter 290 time 20.4859 not-muc 2527223 unknown 1509 muc 289
23.69/23.75	c iter 291 time 20.5469 not-muc 2527223 unknown 1508 muc 290
23.69/23.75	c iter 292 time 20.6199 not-muc 2527223 unknown 1507 muc 291
23.69/23.75	c iter 293 time 20.6809 not-muc 2527223 unknown 1506 muc 292
23.69/23.75	c iter 294 time 20.7428 not-muc 2527223 unknown 1505 muc 293
23.69/23.75	c iter 295 time 20.8038 not-muc 2527223 unknown 1504 muc 294
23.69/23.75	c iter 296 time 20.8658 not-muc 2527223 unknown 1503 muc 295
23.69/23.75	c iter 297 time 20.9378 not-muc 2527223 unknown 1502 muc 296
23.69/23.75	c iter 298 time 20.9998 not-muc 2527223 unknown 1501 muc 297
23.69/23.75	c iter 299 time 21.0608 not-muc 2527223 unknown 1500 muc 298
23.69/23.75	c iter 300 time 21.1228 not-muc 2527223 unknown 1499 muc 299
23.69/23.75	c iter 301 time 21.1838 not-muc 2527223 unknown 1498 muc 300
23.69/23.75	c iter 302 time 21.2568 not-muc 2527223 unknown 1497 muc 301
23.69/23.75	c iter 303 time 21.3178 not-muc 2527223 unknown 1496 muc 302
23.69/23.75	c iter 304 time 21.3797 not-muc 2527223 unknown 1495 muc 303
23.69/23.75	c iter 305 time 21.4407 not-muc 2527223 unknown 1494 muc 304
23.69/23.75	c iter 306 time 21.5017 not-muc 2527223 unknown 1493 muc 305
23.69/23.75	c iter 307 time 21.5747 not-muc 2527223 unknown 1492 muc 306
23.69/23.75	c iter 308 time 21.6357 not-muc 2527223 unknown 1491 muc 307
23.69/23.75	c iter 309 time 21.6977 not-muc 2527223 unknown 1490 muc 308
23.69/23.75	c iter 310 time 21.7587 not-muc 2527223 unknown 1489 muc 309
23.69/23.75	c iter 311 time 21.8207 not-muc 2527223 unknown 1488 muc 310
23.69/23.75	c iter 312 time 21.8937 not-muc 2527223 unknown 1487 muc 311
23.69/23.75	c iter 313 time 21.9547 not-muc 2527223 unknown 1486 muc 312
23.69/23.75	c iter 314 time 22.0157 not-muc 2527223 unknown 1485 muc 313
23.69/23.75	c iter 315 time 22.0776 not-muc 2527223 unknown 1484 muc 314
23.69/23.75	c iter 316 time 22.1386 not-muc 2527223 unknown 1483 muc 315
23.69/23.75	c iter 317 time 22.2116 not-muc 2527223 unknown 1482 muc 316
23.69/23.75	c iter 318 time 22.2726 not-muc 2527223 unknown 1481 muc 317
23.69/23.75	c iter 319 time 22.3336 not-muc 2527223 unknown 1480 muc 318
23.69/23.75	c iter 320 time 22.3946 not-muc 2527223 unknown 1479 muc 319
23.69/23.75	c iter 321 time 22.4556 not-muc 2527223 unknown 1478 muc 320
23.69/23.75	c iter 322 time 22.5286 not-muc 2527223 unknown 1477 muc 321
23.69/23.75	c iter 323 time 22.5896 not-muc 2527223 unknown 1476 muc 322
23.69/23.75	c iter 324 time 22.6506 not-muc 2527223 unknown 1475 muc 323
23.69/23.75	c iter 325 time 22.7125 not-muc 2527223 unknown 1474 muc 324
23.69/23.75	c iter 326 time 22.7735 not-muc 2527223 unknown 1473 muc 325
23.69/23.75	c iter 327 time 22.8355 not-muc 2527223 unknown 1472 muc 326
23.69/23.75	c iter 328 time 22.8975 not-muc 2527223 unknown 1471 muc 327
23.69/23.75	c iter 329 time 22.9585 not-muc 2527223 unknown 1470 muc 328
23.69/23.75	c iter 330 time 23.0205 not-muc 2527223 unknown 1469 muc 329
23.69/23.75	c iter 331 time 23.0825 not-muc 2527223 unknown 1468 muc 330
23.69/23.75	c iter 332 time 23.1445 not-muc 2527223 unknown 1467 muc 331
23.69/23.75	c iter 333 time 23.2065 not-muc 2527223 unknown 1466 muc 332
23.69/23.75	c iter 334 time 23.2685 not-muc 2527223 unknown 1465 muc 333
23.69/23.75	c iter 335 time 23.3305 not-muc 2527223 unknown 1464 muc 334
23.69/23.75	c iter 336 time 23.3934 not-muc 2527223 unknown 1463 muc 335
23.69/23.75	c iter 337 time 23.4554 not-muc 2527223 unknown 1462 muc 336
23.69/23.75	c iter 338 time 23.5174 not-muc 2527223 unknown 1461 muc 337
23.69/23.75	c iter 339 time 23.5804 not-muc 2527223 unknown 1460 muc 338
28.09/28.11	c iter 340 time 23.6424 not-muc 2527223 unknown 1459 muc 339
28.09/28.11	c iter 341 time 23.7054 not-muc 2527223 unknown 1458 muc 340
28.09/28.11	c iter 342 time 23.7684 not-muc 2527223 unknown 1457 muc 341
28.09/28.11	c iter 343 time 23.8314 not-muc 2527223 unknown 1456 muc 342
28.09/28.11	c iter 344 time 23.8934 not-muc 2527223 unknown 1455 muc 343
28.09/28.11	c iter 345 time 23.9564 not-muc 2527223 unknown 1454 muc 344
28.09/28.11	c iter 346 time 24.0193 not-muc 2527223 unknown 1453 muc 345
28.09/28.11	c iter 347 time 24.0823 not-muc 2527223 unknown 1452 muc 346
28.09/28.11	c iter 348 time 24.1453 not-muc 2527223 unknown 1451 muc 347
28.09/28.11	c iter 349 time 24.2093 not-muc 2527223 unknown 1450 muc 348
28.09/28.11	c iter 350 time 24.2893 not-muc 2527223 unknown 1449 muc 349
28.09/28.11	c iter 351 time 24.3513 not-muc 2527223 unknown 1448 muc 350
28.09/28.11	c iter 352 time 24.4233 not-muc 2527223 unknown 1447 muc 351
28.09/28.11	c iter 353 time 24.4953 not-muc 2527223 unknown 1446 muc 352
28.09/28.11	c iter 354 time 24.5683 not-muc 2527223 unknown 1445 muc 353
28.09/28.11	c iter 355 time 24.6403 not-muc 2527223 unknown 1444 muc 354
28.09/28.11	c iter 356 time 24.7132 not-muc 2527223 unknown 1443 muc 355
28.09/28.11	c iter 357 time 24.7862 not-muc 2527223 unknown 1442 muc 356
28.09/28.11	c iter 358 time 24.8582 not-muc 2527223 unknown 1441 muc 357
28.09/28.11	c iter 359 time 24.9192 not-muc 2527223 unknown 1440 muc 358
28.09/28.11	c iter 360 time 24.9812 not-muc 2527223 unknown 1439 muc 359
28.09/28.11	c iter 361 time 25.0422 not-muc 2527223 unknown 1438 muc 360
28.09/28.11	c iter 362 time 25.1032 not-muc 2527223 unknown 1437 muc 361
28.09/28.11	c iter 363 time 25.1652 not-muc 2527223 unknown 1436 muc 362
28.09/28.11	c iter 364 time 25.2262 not-muc 2527223 unknown 1435 muc 363
28.09/28.11	c iter 365 time 25.2882 not-muc 2527223 unknown 1434 muc 364
28.09/28.11	c iter 366 time 25.3501 not-muc 2527223 unknown 1433 muc 365
28.09/28.11	c iter 367 time 25.4111 not-muc 2527223 unknown 1432 muc 366
28.09/28.11	c iter 368 time 25.4731 not-muc 2527223 unknown 1431 muc 367
28.09/28.11	c iter 369 time 25.5351 not-muc 2527223 unknown 1430 muc 368
28.09/28.11	c iter 370 time 25.5971 not-muc 2527223 unknown 1429 muc 369
28.09/28.11	c iter 371 time 25.6591 not-muc 2527223 unknown 1428 muc 370
28.09/28.11	c iter 372 time 25.7211 not-muc 2527223 unknown 1427 muc 371
28.09/28.11	c iter 373 time 25.7831 not-muc 2527223 unknown 1426 muc 372
28.09/28.11	c iter 374 time 25.8461 not-muc 2527223 unknown 1425 muc 373
28.09/28.11	c iter 375 time 25.9081 not-muc 2527223 unknown 1424 muc 374
28.09/28.11	c iter 376 time 25.9701 not-muc 2527223 unknown 1423 muc 375
28.09/28.11	c iter 377 time 26.032 not-muc 2527223 unknown 1422 muc 376
28.09/28.11	c iter 378 time 26.095 not-muc 2527223 unknown 1421 muc 377
28.09/28.11	c iter 379 time 26.157 not-muc 2527223 unknown 1420 muc 378
28.09/28.11	c iter 380 time 26.22 not-muc 2527223 unknown 1419 muc 379
28.09/28.11	c iter 381 time 26.283 not-muc 2527223 unknown 1418 muc 380
28.09/28.11	c iter 382 time 26.345 not-muc 2527223 unknown 1417 muc 381
28.09/28.11	c iter 383 time 26.408 not-muc 2527223 unknown 1416 muc 382
28.09/28.11	c iter 384 time 26.471 not-muc 2527223 unknown 1415 muc 383
28.09/28.11	c iter 385 time 26.534 not-muc 2527223 unknown 1414 muc 384
28.09/28.11	c iter 386 time 26.597 not-muc 2527223 unknown 1413 muc 385
28.09/28.11	c iter 387 time 26.6599 not-muc 2527223 unknown 1412 muc 386
28.09/28.11	c iter 388 time 26.7239 not-muc 2527223 unknown 1411 muc 387
28.09/28.11	c iter 389 time 26.7869 not-muc 2527223 unknown 1410 muc 388
28.09/28.11	c iter 390 time 26.8499 not-muc 2527223 unknown 1409 muc 389
28.09/28.11	c iter 391 time 26.9139 not-muc 2527223 unknown 1408 muc 390
28.09/28.11	c iter 392 time 26.9769 not-muc 2527223 unknown 1407 muc 391
28.09/28.11	c iter 393 time 27.0399 not-muc 2527223 unknown 1406 muc 392
28.09/28.11	c iter 394 time 27.1039 not-muc 2527223 unknown 1405 muc 393
28.09/28.11	c iter 395 time 27.1669 not-muc 2527223 unknown 1404 muc 394
28.09/28.11	c iter 396 time 27.2309 not-muc 2527223 unknown 1403 muc 395
28.09/28.11	c iter 397 time 27.2938 not-muc 2527223 unknown 1402 muc 396
28.09/28.11	c iter 398 time 27.3578 not-muc 2527223 unknown 1401 muc 397
28.09/28.11	c iter 399 time 27.4218 not-muc 2527223 unknown 1400 muc 398
28.09/28.11	c iter 400 time 27.4858 not-muc 2527223 unknown 1399 muc 399
28.09/28.11	c iter 401 time 27.5498 not-muc 2527223 unknown 1398 muc 400
28.09/28.11	c iter 402 time 27.6138 not-muc 2527223 unknown 1397 muc 401
28.09/28.11	c iter 403 time 27.6778 not-muc 2527223 unknown 1396 muc 402
28.09/28.11	c iter 404 time 27.7418 not-muc 2527223 unknown 1395 muc 403
28.09/28.11	c iter 405 time 27.8068 not-muc 2527223 unknown 1394 muc 404
28.09/28.11	c iter 406 time 27.8708 not-muc 2527223 unknown 1393 muc 405
28.09/28.11	c iter 407 time 27.9348 not-muc 2527223 unknown 1392 muc 406
32.90/32.90	c iter 408 time 27.9997 not-muc 2527223 unknown 1391 muc 407
32.90/32.90	c iter 409 time 28.0647 not-muc 2527223 unknown 1390 muc 408
32.90/32.90	c iter 410 time 28.1287 not-muc 2527223 unknown 1389 muc 409
32.90/32.90	c iter 411 time 28.1937 not-muc 2527223 unknown 1388 muc 410
32.90/32.90	c iter 412 time 28.2587 not-muc 2527223 unknown 1387 muc 411
32.90/32.90	c iter 413 time 28.3227 not-muc 2527223 unknown 1386 muc 412
32.90/32.90	c iter 414 time 28.3877 not-muc 2527223 unknown 1385 muc 413
32.90/32.90	c iter 415 time 28.4527 not-muc 2527223 unknown 1384 muc 414
32.90/32.90	c iter 416 time 28.5177 not-muc 2527223 unknown 1383 muc 415
32.90/32.90	c iter 417 time 28.5897 not-muc 2527223 unknown 1382 muc 416
32.90/32.90	c iter 418 time 28.6626 not-muc 2527223 unknown 1381 muc 417
32.90/32.90	c iter 419 time 28.7356 not-muc 2527223 unknown 1380 muc 418
32.90/32.90	c iter 420 time 28.8086 not-muc 2527223 unknown 1379 muc 419
32.90/32.90	c iter 421 time 28.8816 not-muc 2527223 unknown 1378 muc 420
32.90/32.90	c iter 422 time 28.9536 not-muc 2527223 unknown 1377 muc 421
32.90/32.90	c iter 423 time 29.0266 not-muc 2527223 unknown 1376 muc 422
32.90/32.90	c iter 424 time 29.0996 not-muc 2527223 unknown 1375 muc 423
32.90/32.90	c iter 425 time 29.1716 not-muc 2527223 unknown 1374 muc 424
32.90/32.90	c iter 426 time 29.2446 not-muc 2527223 unknown 1373 muc 425
32.90/32.90	c iter 427 time 29.3175 not-muc 2527223 unknown 1372 muc 426
32.90/32.90	c iter 428 time 29.3895 not-muc 2527223 unknown 1371 muc 427
32.90/32.90	c iter 429 time 29.4625 not-muc 2527223 unknown 1370 muc 428
32.90/32.90	c iter 430 time 29.5345 not-muc 2527223 unknown 1369 muc 429
32.90/32.90	c iter 431 time 29.6075 not-muc 2527223 unknown 1368 muc 430
32.90/32.90	c iter 432 time 29.6805 not-muc 2527223 unknown 1367 muc 431
32.90/32.90	c iter 433 time 29.7535 not-muc 2527223 unknown 1366 muc 432
32.90/32.90	c iter 434 time 29.8255 not-muc 2527223 unknown 1365 muc 433
32.90/32.90	c iter 435 time 29.8985 not-muc 2527223 unknown 1364 muc 434
32.90/32.90	c iter 436 time 29.9704 not-muc 2527223 unknown 1363 muc 435
32.90/32.90	c iter 437 time 30.0434 not-muc 2527223 unknown 1362 muc 436
32.90/32.90	c iter 438 time 30.1154 not-muc 2527223 unknown 1361 muc 437
32.90/32.90	c iter 439 time 30.1884 not-muc 2527223 unknown 1360 muc 438
32.90/32.90	c iter 440 time 30.2604 not-muc 2527223 unknown 1359 muc 439
32.90/32.90	c iter 441 time 30.3334 not-muc 2527223 unknown 1358 muc 440
32.90/32.90	c iter 442 time 30.4054 not-muc 2527223 unknown 1357 muc 441
32.90/32.90	c iter 443 time 30.4784 not-muc 2527223 unknown 1356 muc 442
32.90/32.90	c iter 444 time 30.5514 not-muc 2527223 unknown 1355 muc 443
32.90/32.90	c iter 445 time 30.6233 not-muc 2527223 unknown 1354 muc 444
32.90/32.90	c iter 446 time 30.6963 not-muc 2527223 unknown 1353 muc 445
32.90/32.90	c iter 447 time 30.7683 not-muc 2527223 unknown 1352 muc 446
32.90/32.90	c iter 448 time 30.8413 not-muc 2527223 unknown 1351 muc 447
32.90/32.90	c iter 449 time 30.9133 not-muc 2527223 unknown 1350 muc 448
32.90/32.90	c iter 450 time 30.9863 not-muc 2527223 unknown 1349 muc 449
32.90/32.90	c iter 451 time 31.0593 not-muc 2527223 unknown 1348 muc 450
32.90/32.90	c iter 452 time 31.1313 not-muc 2527223 unknown 1347 muc 451
32.90/32.90	c iter 453 time 31.2043 not-muc 2527223 unknown 1346 muc 452
32.90/32.90	c iter 454 time 31.2772 not-muc 2527223 unknown 1345 muc 453
32.90/32.90	c iter 455 time 31.3492 not-muc 2527223 unknown 1344 muc 454
32.90/32.90	c iter 456 time 31.4222 not-muc 2527223 unknown 1343 muc 455
32.90/32.90	c iter 457 time 31.4942 not-muc 2527223 unknown 1342 muc 456
32.90/32.90	c iter 458 time 31.5672 not-muc 2527223 unknown 1341 muc 457
32.90/32.90	c iter 459 time 31.6392 not-muc 2527223 unknown 1340 muc 458
32.90/32.90	c iter 460 time 31.7122 not-muc 2527223 unknown 1339 muc 459
32.90/32.90	c iter 461 time 31.7852 not-muc 2527223 unknown 1338 muc 460
32.90/32.90	c iter 462 time 31.8582 not-muc 2527223 unknown 1337 muc 461
32.90/32.90	c iter 463 time 31.9301 not-muc 2527223 unknown 1336 muc 462
32.90/32.90	c iter 464 time 32.0031 not-muc 2527223 unknown 1335 muc 463
32.90/32.90	c iter 465 time 32.0761 not-muc 2527223 unknown 1334 muc 464
32.90/32.90	c iter 466 time 32.1481 not-muc 2527223 unknown 1333 muc 465
32.90/32.90	c iter 467 time 32.2211 not-muc 2527223 unknown 1332 muc 466
32.90/32.90	c iter 468 time 32.2931 not-muc 2527223 unknown 1331 muc 467
32.90/32.90	c iter 469 time 32.3661 not-muc 2527223 unknown 1330 muc 468
32.90/32.90	c iter 470 time 32.4391 not-muc 2527223 unknown 1329 muc 469
32.90/32.90	c iter 471 time 32.5121 not-muc 2527223 unknown 1328 muc 470
32.90/32.90	c iter 472 time 32.584 not-muc 2527223 unknown 1327 muc 471
32.90/32.90	c iter 473 time 32.657 not-muc 2527223 unknown 1326 muc 472
32.90/32.90	c iter 474 time 32.73 not-muc 2527223 unknown 1325 muc 473
37.69/37.77	c iter 475 time 32.802 not-muc 2527223 unknown 1324 muc 474
37.69/37.77	c iter 476 time 32.875 not-muc 2527223 unknown 1323 muc 475
37.69/37.77	c iter 477 time 32.948 not-muc 2527223 unknown 1322 muc 476
37.69/37.77	c iter 478 time 33.021 not-muc 2527223 unknown 1321 muc 477
37.69/37.77	c iter 479 time 33.093 not-muc 2527223 unknown 1320 muc 478
37.69/37.77	c iter 480 time 33.166 not-muc 2527223 unknown 1319 muc 479
37.69/37.77	c iter 481 time 33.2389 not-muc 2527223 unknown 1318 muc 480
37.69/37.77	c iter 482 time 33.3109 not-muc 2527223 unknown 1317 muc 481
37.69/37.77	c iter 483 time 33.3839 not-muc 2527223 unknown 1316 muc 482
37.69/37.77	c iter 484 time 33.4569 not-muc 2527223 unknown 1315 muc 483
37.69/37.77	c iter 485 time 33.5289 not-muc 2527223 unknown 1314 muc 484
37.69/37.77	c iter 486 time 33.6019 not-muc 2527223 unknown 1313 muc 485
37.69/37.77	c iter 487 time 33.6739 not-muc 2527223 unknown 1312 muc 486
37.69/37.77	c iter 488 time 33.7479 not-muc 2527223 unknown 1311 muc 487
37.69/37.77	c iter 489 time 33.8199 not-muc 2527223 unknown 1310 muc 488
37.69/37.77	c iter 490 time 33.8928 not-muc 2527223 unknown 1309 muc 489
37.69/37.77	c iter 491 time 33.9648 not-muc 2527223 unknown 1308 muc 490
37.69/37.77	c iter 492 time 34.0378 not-muc 2527223 unknown 1307 muc 491
37.69/37.77	c iter 493 time 34.1098 not-muc 2527223 unknown 1306 muc 492
37.69/37.77	c iter 494 time 34.1828 not-muc 2527223 unknown 1305 muc 493
37.69/37.77	c iter 495 time 34.2558 not-muc 2527223 unknown 1304 muc 494
37.69/37.77	c iter 496 time 34.3278 not-muc 2527223 unknown 1303 muc 495
37.69/37.77	c iter 497 time 34.4008 not-muc 2527223 unknown 1302 muc 496
37.69/37.77	c iter 498 time 34.4728 not-muc 2527223 unknown 1301 muc 497
37.69/37.77	c iter 499 time 34.5457 not-muc 2527223 unknown 1300 muc 498
37.69/37.77	c iter 500 time 34.6187 not-muc 2527223 unknown 1299 muc 499
37.69/37.77	c iter 501 time 34.6917 not-muc 2527223 unknown 1298 muc 500
37.69/37.77	c iter 502 time 34.7647 not-muc 2527223 unknown 1297 muc 501
37.69/37.77	c iter 503 time 34.8367 not-muc 2527223 unknown 1296 muc 502
37.69/37.77	c iter 504 time 34.9097 not-muc 2527223 unknown 1295 muc 503
37.69/37.77	c iter 505 time 34.9817 not-muc 2527223 unknown 1294 muc 504
37.69/37.77	c iter 506 time 35.0547 not-muc 2527223 unknown 1293 muc 505
37.69/37.77	c iter 507 time 35.1277 not-muc 2527223 unknown 1292 muc 506
37.69/37.77	c iter 508 time 35.1996 not-muc 2527223 unknown 1291 muc 507
37.69/37.77	c iter 509 time 35.2726 not-muc 2527223 unknown 1290 muc 508
37.69/37.77	c iter 510 time 35.3446 not-muc 2527223 unknown 1289 muc 509
37.69/37.77	c iter 511 time 35.4176 not-muc 2527223 unknown 1288 muc 510
37.69/37.77	c iter 512 time 35.4906 not-muc 2527223 unknown 1287 muc 511
37.69/37.77	c iter 513 time 35.5636 not-muc 2527223 unknown 1286 muc 512
37.69/37.77	c iter 514 time 35.6356 not-muc 2527223 unknown 1285 muc 513
37.69/37.77	c iter 515 time 35.7086 not-muc 2527223 unknown 1284 muc 514
37.69/37.77	c iter 516 time 35.7816 not-muc 2527223 unknown 1283 muc 515
37.69/37.77	c iter 517 time 35.8535 not-muc 2527223 unknown 1282 muc 516
37.69/37.77	c iter 518 time 35.9265 not-muc 2527223 unknown 1281 muc 517
37.69/37.77	c iter 519 time 35.9995 not-muc 2527223 unknown 1280 muc 518
37.69/37.77	c iter 520 time 36.0715 not-muc 2527223 unknown 1279 muc 519
37.69/37.77	c iter 521 time 36.1445 not-muc 2527223 unknown 1278 muc 520
37.69/37.77	c iter 522 time 36.2165 not-muc 2527223 unknown 1277 muc 521
37.69/37.77	c iter 523 time 36.2895 not-muc 2527223 unknown 1276 muc 522
37.69/37.77	c iter 524 time 36.3625 not-muc 2527223 unknown 1275 muc 523
37.69/37.77	c iter 525 time 36.4345 not-muc 2527223 unknown 1274 muc 524
37.69/37.77	c iter 526 time 36.5074 not-muc 2527223 unknown 1273 muc 525
37.69/37.77	c iter 527 time 36.5794 not-muc 2527223 unknown 1272 muc 526
37.69/37.77	c iter 528 time 36.6524 not-muc 2527223 unknown 1271 muc 527
37.69/37.77	c iter 529 time 36.7254 not-muc 2527223 unknown 1270 muc 528
37.69/37.77	c iter 530 time 36.7984 not-muc 2527223 unknown 1269 muc 529
37.69/37.77	c iter 531 time 36.8704 not-muc 2527223 unknown 1268 muc 530
37.69/37.77	c iter 532 time 36.9434 not-muc 2527223 unknown 1267 muc 531
37.69/37.77	c iter 533 time 37.0164 not-muc 2527223 unknown 1266 muc 532
37.69/37.77	c iter 534 time 37.0884 not-muc 2527223 unknown 1265 muc 533
37.69/37.77	c iter 535 time 37.1613 not-muc 2527223 unknown 1264 muc 534
37.69/37.77	c iter 536 time 37.2343 not-muc 2527223 unknown 1263 muc 535
37.69/37.77	c iter 537 time 37.3073 not-muc 2527223 unknown 1262 muc 536
37.69/37.77	c iter 538 time 37.3793 not-muc 2527223 unknown 1261 muc 537
37.69/37.77	c iter 539 time 37.4523 not-muc 2527223 unknown 1260 muc 538
37.69/37.77	c iter 540 time 37.5253 not-muc 2527223 unknown 1259 muc 539
37.69/37.77	c iter 541 time 37.5973 not-muc 2527223 unknown 1258 muc 540
42.69/42.71	c iter 542 time 37.6703 not-muc 2527223 unknown 1257 muc 541
42.69/42.71	c iter 543 time 37.7433 not-muc 2527223 unknown 1256 muc 542
42.69/42.71	c iter 544 time 37.8153 not-muc 2527223 unknown 1255 muc 543
42.69/42.71	c iter 545 time 37.8882 not-muc 2527223 unknown 1254 muc 544
42.69/42.71	c iter 546 time 37.9602 not-muc 2527223 unknown 1253 muc 545
42.69/42.71	c iter 547 time 38.0332 not-muc 2527223 unknown 1252 muc 546
42.69/42.71	c iter 548 time 38.1062 not-muc 2527223 unknown 1251 muc 547
42.69/42.71	c iter 549 time 38.1782 not-muc 2527223 unknown 1250 muc 548
42.69/42.71	c iter 550 time 38.2512 not-muc 2527223 unknown 1249 muc 549
42.69/42.71	c iter 551 time 38.3232 not-muc 2527223 unknown 1248 muc 550
42.69/42.71	c iter 552 time 38.3962 not-muc 2527223 unknown 1247 muc 551
42.69/42.71	c iter 553 time 38.4682 not-muc 2527223 unknown 1246 muc 552
42.69/42.71	c iter 554 time 38.5411 not-muc 2527223 unknown 1245 muc 553
42.69/42.71	c iter 555 time 38.6141 not-muc 2527223 unknown 1244 muc 554
42.69/42.71	c iter 556 time 38.6861 not-muc 2527223 unknown 1243 muc 555
42.69/42.71	c iter 557 time 38.7591 not-muc 2527223 unknown 1242 muc 556
42.69/42.71	c iter 558 time 38.8321 not-muc 2527223 unknown 1241 muc 557
42.69/42.71	c iter 559 time 38.9041 not-muc 2527223 unknown 1240 muc 558
42.69/42.71	c iter 560 time 38.9771 not-muc 2527223 unknown 1239 muc 559
42.69/42.71	c iter 561 time 39.0491 not-muc 2527223 unknown 1238 muc 560
42.69/42.71	c iter 562 time 39.1221 not-muc 2527223 unknown 1237 muc 561
42.69/42.71	c iter 563 time 39.194 not-muc 2527223 unknown 1236 muc 562
42.69/42.71	c iter 564 time 39.267 not-muc 2527223 unknown 1235 muc 563
42.69/42.71	c iter 565 time 39.339 not-muc 2527223 unknown 1234 muc 564
42.69/42.71	c iter 566 time 39.412 not-muc 2527223 unknown 1233 muc 565
42.69/42.71	c iter 567 time 39.484 not-muc 2527223 unknown 1232 muc 566
42.69/42.71	c iter 568 time 39.557 not-muc 2527223 unknown 1231 muc 567
42.69/42.71	c iter 569 time 39.63 not-muc 2527223 unknown 1230 muc 568
42.69/42.71	c iter 570 time 39.702 not-muc 2527223 unknown 1229 muc 569
42.69/42.71	c iter 571 time 39.775 not-muc 2527223 unknown 1228 muc 570
42.69/42.71	c iter 572 time 39.8479 not-muc 2527223 unknown 1227 muc 571
42.69/42.71	c iter 573 time 39.9199 not-muc 2527223 unknown 1226 muc 572
42.69/42.71	c iter 574 time 39.9929 not-muc 2527223 unknown 1225 muc 573
42.69/42.71	c iter 575 time 40.0659 not-muc 2527223 unknown 1224 muc 574
42.69/42.71	c iter 576 time 40.1379 not-muc 2527223 unknown 1223 muc 575
42.69/42.71	c iter 577 time 40.2109 not-muc 2527223 unknown 1222 muc 576
42.69/42.71	c iter 578 time 40.2839 not-muc 2527223 unknown 1221 muc 577
42.69/42.71	c iter 579 time 40.3559 not-muc 2527223 unknown 1220 muc 578
42.69/42.71	c iter 580 time 40.4289 not-muc 2527223 unknown 1219 muc 579
42.69/42.71	c iter 581 time 40.5098 not-muc 2527223 unknown 1218 muc 580
42.69/42.71	c iter 582 time 40.5818 not-muc 2527223 unknown 1217 muc 581
42.69/42.71	c iter 583 time 40.6548 not-muc 2527223 unknown 1216 muc 582
42.69/42.71	c iter 584 time 40.7278 not-muc 2527223 unknown 1215 muc 583
42.69/42.71	c iter 585 time 40.7998 not-muc 2527223 unknown 1214 muc 584
42.69/42.71	c iter 586 time 40.8728 not-muc 2527223 unknown 1213 muc 585
42.69/42.71	c iter 587 time 40.9448 not-muc 2527223 unknown 1212 muc 586
42.69/42.71	c iter 588 time 41.0178 not-muc 2527223 unknown 1211 muc 587
42.69/42.71	c iter 589 time 41.0908 not-muc 2527223 unknown 1210 muc 588
42.69/42.71	c iter 590 time 41.1627 not-muc 2527223 unknown 1209 muc 589
42.69/42.71	c iter 591 time 41.2357 not-muc 2527223 unknown 1208 muc 590
42.69/42.71	c iter 592 time 41.3087 not-muc 2527223 unknown 1207 muc 591
42.69/42.71	c iter 593 time 41.3807 not-muc 2527223 unknown 1206 muc 592
42.69/42.71	c iter 594 time 41.4537 not-muc 2527223 unknown 1205 muc 593
42.69/42.71	c iter 595 time 41.5257 not-muc 2527223 unknown 1204 muc 594
42.69/42.71	c iter 596 time 41.5987 not-muc 2527223 unknown 1203 muc 595
42.69/42.71	c iter 597 time 41.6717 not-muc 2527223 unknown 1202 muc 596
42.69/42.71	c iter 598 time 41.7447 not-muc 2527223 unknown 1201 muc 597
42.69/42.71	c iter 599 time 41.8176 not-muc 2527223 unknown 1200 muc 598
42.69/42.71	c iter 600 time 41.8896 not-muc 2527223 unknown 1199 muc 599
42.69/42.71	c iter 601 time 41.9626 not-muc 2527223 unknown 1198 muc 600
42.69/42.71	c iter 602 time 42.0346 not-muc 2527223 unknown 1197 muc 601
42.69/42.71	c iter 603 time 42.1076 not-muc 2527223 unknown 1196 muc 602
42.69/42.71	c iter 604 time 42.1806 not-muc 2527223 unknown 1195 muc 603
42.69/42.71	c iter 605 time 42.2526 not-muc 2527223 unknown 1194 muc 604
42.69/42.71	c iter 606 time 42.3256 not-muc 2527223 unknown 1193 muc 605
42.69/42.71	c iter 607 time 42.3976 not-muc 2527223 unknown 1192 muc 606
42.69/42.71	c iter 608 time 42.4705 not-muc 2527223 unknown 1191 muc 607
47.49/47.57	c iter 609 time 42.5425 not-muc 2527223 unknown 1190 muc 608
47.49/47.57	c iter 610 time 42.6155 not-muc 2527223 unknown 1189 muc 609
47.49/47.57	c iter 611 time 42.6885 not-muc 2527223 unknown 1188 muc 610
47.49/47.57	c iter 612 time 42.7605 not-muc 2527223 unknown 1187 muc 611
47.49/47.57	c iter 613 time 42.8335 not-muc 2527223 unknown 1186 muc 612
47.49/47.57	c iter 614 time 42.9055 not-muc 2527223 unknown 1185 muc 613
47.49/47.57	c iter 615 time 42.9785 not-muc 2527223 unknown 1184 muc 614
47.49/47.57	c iter 616 time 43.0505 not-muc 2527223 unknown 1183 muc 615
47.49/47.57	c iter 617 time 43.1234 not-muc 2527223 unknown 1182 muc 616
47.49/47.57	c iter 618 time 43.1964 not-muc 2527223 unknown 1181 muc 617
47.49/47.57	c iter 619 time 43.2684 not-muc 2527223 unknown 1180 muc 618
47.49/47.57	c iter 620 time 43.3414 not-muc 2527223 unknown 1179 muc 619
47.49/47.57	c iter 621 time 43.4134 not-muc 2527223 unknown 1178 muc 620
47.49/47.57	c iter 622 time 43.4854 not-muc 2527223 unknown 1177 muc 621
47.49/47.57	c iter 623 time 43.5584 not-muc 2527223 unknown 1176 muc 622
47.49/47.57	c iter 624 time 43.6304 not-muc 2527223 unknown 1175 muc 623
47.49/47.57	c iter 625 time 43.7034 not-muc 2527223 unknown 1174 muc 624
47.49/47.57	c iter 626 time 43.7753 not-muc 2527223 unknown 1173 muc 625
47.49/47.57	c iter 627 time 43.8483 not-muc 2527223 unknown 1172 muc 626
47.49/47.57	c iter 628 time 43.9203 not-muc 2527223 unknown 1171 muc 627
47.49/47.57	c iter 629 time 43.9933 not-muc 2527223 unknown 1170 muc 628
47.49/47.57	c iter 630 time 44.0653 not-muc 2527223 unknown 1169 muc 629
47.49/47.57	c iter 631 time 44.1383 not-muc 2527223 unknown 1168 muc 630
47.49/47.57	c iter 632 time 44.2103 not-muc 2527223 unknown 1167 muc 631
47.49/47.57	c iter 633 time 44.2833 not-muc 2527223 unknown 1166 muc 632
47.49/47.57	c iter 634 time 44.3553 not-muc 2527223 unknown 1165 muc 633
47.49/47.57	c iter 635 time 44.4272 not-muc 2527223 unknown 1164 muc 634
47.49/47.57	c iter 636 time 44.5002 not-muc 2527223 unknown 1163 muc 635
47.49/47.57	c iter 637 time 44.5722 not-muc 2527223 unknown 1162 muc 636
47.49/47.57	c iter 638 time 44.6452 not-muc 2527223 unknown 1161 muc 637
47.49/47.57	c iter 639 time 44.7172 not-muc 2527223 unknown 1160 muc 638
47.49/47.57	c iter 640 time 44.7902 not-muc 2527223 unknown 1159 muc 639
47.49/47.57	c iter 641 time 44.8622 not-muc 2527223 unknown 1158 muc 640
47.49/47.57	c iter 642 time 44.9352 not-muc 2527223 unknown 1157 muc 641
47.49/47.57	c iter 643 time 45.0072 not-muc 2527223 unknown 1156 muc 642
47.49/47.57	c iter 644 time 45.0801 not-muc 2527223 unknown 1155 muc 643
47.49/47.57	c iter 645 time 45.1531 not-muc 2527223 unknown 1154 muc 644
47.49/47.57	c iter 646 time 45.2251 not-muc 2527223 unknown 1153 muc 645
47.49/47.57	c iter 647 time 45.2981 not-muc 2527223 unknown 1152 muc 646
47.49/47.57	c iter 648 time 45.3701 not-muc 2527223 unknown 1151 muc 647
47.49/47.57	c iter 649 time 45.4431 not-muc 2527223 unknown 1150 muc 648
47.49/47.57	c iter 650 time 45.5151 not-muc 2527223 unknown 1149 muc 649
47.49/47.57	c iter 651 time 45.5881 not-muc 2527223 unknown 1148 muc 650
47.49/47.57	c iter 652 time 45.6601 not-muc 2527223 unknown 1147 muc 651
47.49/47.57	c iter 653 time 45.733 not-muc 2527223 unknown 1146 muc 652
47.49/47.57	c iter 654 time 45.806 not-muc 2527223 unknown 1145 muc 653
47.49/47.57	c iter 655 time 45.878 not-muc 2527223 unknown 1144 muc 654
47.49/47.57	c iter 656 time 45.951 not-muc 2527223 unknown 1143 muc 655
47.49/47.57	c iter 657 time 46.023 not-muc 2527223 unknown 1142 muc 656
47.49/47.57	c iter 658 time 46.096 not-muc 2527223 unknown 1141 muc 657
47.49/47.57	c iter 659 time 46.168 not-muc 2527223 unknown 1140 muc 658
47.49/47.57	c iter 660 time 46.241 not-muc 2527223 unknown 1139 muc 659
47.49/47.57	c iter 661 time 46.313 not-muc 2527223 unknown 1138 muc 660
47.49/47.57	c iter 662 time 46.3859 not-muc 2527223 unknown 1137 muc 661
47.49/47.57	c iter 663 time 46.4579 not-muc 2527223 unknown 1136 muc 662
47.49/47.57	c iter 664 time 46.5309 not-muc 2527223 unknown 1135 muc 663
47.49/47.57	c iter 665 time 46.6029 not-muc 2527223 unknown 1134 muc 664
47.49/47.57	c iter 666 time 46.6759 not-muc 2527223 unknown 1133 muc 665
47.49/47.57	c iter 667 time 46.7479 not-muc 2527223 unknown 1132 muc 666
47.49/47.57	c iter 668 time 46.8209 not-muc 2527223 unknown 1131 muc 667
47.49/47.57	c iter 669 time 46.8929 not-muc 2527223 unknown 1130 muc 668
47.49/47.57	c iter 670 time 46.9659 not-muc 2527223 unknown 1129 muc 669
47.49/47.57	c iter 671 time 47.0378 not-muc 2527223 unknown 1128 muc 670
47.49/47.57	c iter 672 time 47.1108 not-muc 2527223 unknown 1127 muc 671
47.49/47.57	c iter 673 time 47.1828 not-muc 2527223 unknown 1126 muc 672
47.49/47.57	c iter 674 time 47.2558 not-muc 2527223 unknown 1125 muc 673
47.49/47.57	c iter 675 time 47.3278 not-muc 2527223 unknown 1124 muc 674
47.49/47.57	c iter 676 time 47.3998 not-muc 2527223 unknown 1123 muc 675
52.39/52.43	c iter 677 time 47.4728 not-muc 2527223 unknown 1122 muc 676
52.39/52.43	c iter 678 time 47.5448 not-muc 2527223 unknown 1121 muc 677
52.39/52.43	c iter 679 time 47.6168 not-muc 2527223 unknown 1120 muc 678
52.39/52.43	c iter 680 time 47.6887 not-muc 2527223 unknown 1119 muc 679
52.39/52.43	c iter 681 time 47.7607 not-muc 2527223 unknown 1118 muc 680
52.39/52.43	c iter 682 time 47.8337 not-muc 2527223 unknown 1117 muc 681
52.39/52.43	c iter 683 time 47.9057 not-muc 2527223 unknown 1116 muc 682
52.39/52.43	c iter 684 time 47.9787 not-muc 2527223 unknown 1115 muc 683
52.39/52.43	c iter 685 time 48.0507 not-muc 2527223 unknown 1114 muc 684
52.39/52.43	c iter 686 time 48.1237 not-muc 2527223 unknown 1113 muc 685
52.39/52.43	c iter 687 time 48.1957 not-muc 2527223 unknown 1112 muc 686
52.39/52.43	c iter 688 time 48.2687 not-muc 2527223 unknown 1111 muc 687
52.39/52.43	c iter 689 time 48.3407 not-muc 2527223 unknown 1110 muc 688
52.39/52.43	c iter 690 time 48.4136 not-muc 2527223 unknown 1109 muc 689
52.39/52.43	c iter 691 time 48.4856 not-muc 2527223 unknown 1108 muc 690
52.39/52.43	c iter 692 time 48.5586 not-muc 2527223 unknown 1107 muc 691
52.39/52.43	c iter 693 time 48.6306 not-muc 2527223 unknown 1106 muc 692
52.39/52.43	c iter 694 time 48.7036 not-muc 2527223 unknown 1105 muc 693
52.39/52.43	c iter 695 time 48.7756 not-muc 2527223 unknown 1104 muc 694
52.39/52.43	c iter 696 time 48.8486 not-muc 2527223 unknown 1103 muc 695
52.39/52.43	c iter 697 time 48.9206 not-muc 2527223 unknown 1102 muc 696
52.39/52.43	c iter 698 time 48.9936 not-muc 2527223 unknown 1101 muc 697
52.39/52.43	c iter 699 time 49.0655 not-muc 2527223 unknown 1100 muc 698
52.39/52.43	c iter 700 time 49.1385 not-muc 2527223 unknown 1099 muc 699
52.39/52.43	c iter 701 time 49.2115 not-muc 2527223 unknown 1098 muc 700
52.39/52.43	c iter 702 time 49.2835 not-muc 2527223 unknown 1097 muc 701
52.39/52.43	c iter 703 time 49.3565 not-muc 2527223 unknown 1096 muc 702
52.39/52.43	c iter 704 time 49.4285 not-muc 2527223 unknown 1095 muc 703
52.39/52.43	c iter 705 time 49.5005 not-muc 2527223 unknown 1094 muc 704
52.39/52.43	c iter 706 time 49.5735 not-muc 2527223 unknown 1093 muc 705
52.39/52.43	c iter 707 time 49.6455 not-muc 2527223 unknown 1092 muc 706
52.39/52.43	c iter 708 time 49.7184 not-muc 2527223 unknown 1091 muc 707
52.39/52.43	c iter 709 time 49.7914 not-muc 2527223 unknown 1090 muc 708
52.39/52.43	c iter 710 time 49.8634 not-muc 2527223 unknown 1089 muc 709
52.39/52.43	c iter 711 time 49.9364 not-muc 2527223 unknown 1088 muc 710
52.39/52.43	c iter 712 time 50.0084 not-muc 2527223 unknown 1087 muc 711
52.39/52.43	c iter 713 time 50.0814 not-muc 2527223 unknown 1086 muc 712
52.39/52.43	c iter 714 time 50.1534 not-muc 2527223 unknown 1085 muc 713
52.39/52.43	c iter 715 time 50.2254 not-muc 2527223 unknown 1084 muc 714
52.39/52.43	c iter 716 time 50.2984 not-muc 2527223 unknown 1083 muc 715
52.39/52.43	c iter 717 time 50.3713 not-muc 2527223 unknown 1082 muc 716
52.39/52.43	c iter 718 time 50.4433 not-muc 2527223 unknown 1081 muc 717
52.39/52.43	c iter 719 time 50.5163 not-muc 2527223 unknown 1080 muc 718
52.39/52.43	c iter 720 time 50.5883 not-muc 2527223 unknown 1079 muc 719
52.39/52.43	c iter 721 time 50.6613 not-muc 2527223 unknown 1078 muc 720
52.39/52.43	c iter 722 time 50.7343 not-muc 2527223 unknown 1077 muc 721
52.39/52.43	c iter 723 time 50.8063 not-muc 2527223 unknown 1076 muc 722
52.39/52.43	c iter 724 time 50.8793 not-muc 2527223 unknown 1075 muc 723
52.39/52.43	c iter 725 time 50.9513 not-muc 2527223 unknown 1074 muc 724
52.39/52.43	c iter 726 time 51.0242 not-muc 2527223 unknown 1073 muc 725
52.39/52.43	c iter 727 time 51.0962 not-muc 2527223 unknown 1072 muc 726
52.39/52.43	c iter 728 time 51.1692 not-muc 2527223 unknown 1071 muc 727
52.39/52.43	c iter 729 time 51.2412 not-muc 2527223 unknown 1070 muc 728
52.39/52.43	c iter 730 time 51.3142 not-muc 2527223 unknown 1069 muc 729
52.39/52.43	c iter 731 time 51.3862 not-muc 2527223 unknown 1068 muc 730
52.39/52.43	c iter 732 time 51.4592 not-muc 2527223 unknown 1067 muc 731
52.39/52.43	c iter 733 time 51.5312 not-muc 2527223 unknown 1066 muc 732
52.39/52.43	c iter 734 time 51.6042 not-muc 2527223 unknown 1065 muc 733
52.39/52.43	c iter 735 time 51.6761 not-muc 2527223 unknown 1064 muc 734
52.39/52.43	c iter 736 time 51.7491 not-muc 2527223 unknown 1063 muc 735
52.39/52.43	c iter 737 time 51.8221 not-muc 2527223 unknown 1062 muc 736
52.39/52.43	c iter 738 time 51.8941 not-muc 2527223 unknown 1061 muc 737
52.39/52.43	c iter 739 time 51.9671 not-muc 2527223 unknown 1060 muc 738
52.39/52.43	c iter 740 time 52.0391 not-muc 2527223 unknown 1059 muc 739
52.39/52.43	c iter 741 time 52.1121 not-muc 2527223 unknown 1058 muc 740
52.39/52.43	c iter 742 time 52.1841 not-muc 2527223 unknown 1057 muc 741
52.39/52.43	c iter 743 time 52.2571 not-muc 2527223 unknown 1056 muc 742
57.20/57.29	c iter 744 time 52.329 not-muc 2527223 unknown 1055 muc 743
57.20/57.29	c iter 745 time 52.402 not-muc 2527223 unknown 1054 muc 744
57.20/57.29	c iter 746 time 52.474 not-muc 2527223 unknown 1053 muc 745
57.20/57.29	c iter 747 time 52.546 not-muc 2527223 unknown 1052 muc 746
57.20/57.29	c iter 748 time 52.619 not-muc 2527223 unknown 1051 muc 747
57.20/57.29	c iter 749 time 52.691 not-muc 2527223 unknown 1050 muc 748
57.20/57.29	c iter 750 time 52.764 not-muc 2527223 unknown 1049 muc 749
57.20/57.29	c iter 751 time 52.837 not-muc 2527223 unknown 1048 muc 750
57.20/57.29	c iter 752 time 52.909 not-muc 2527223 unknown 1047 muc 751
57.20/57.29	c iter 753 time 52.9819 not-muc 2527223 unknown 1046 muc 752
57.20/57.29	c iter 754 time 53.0539 not-muc 2527223 unknown 1045 muc 753
57.20/57.29	c iter 755 time 53.1269 not-muc 2527223 unknown 1044 muc 754
57.20/57.29	c iter 756 time 53.1989 not-muc 2527223 unknown 1043 muc 755
57.20/57.29	c iter 757 time 53.2709 not-muc 2527223 unknown 1042 muc 756
57.20/57.29	c iter 758 time 53.3439 not-muc 2527223 unknown 1041 muc 757
57.20/57.29	c iter 759 time 53.4159 not-muc 2527223 unknown 1040 muc 758
57.20/57.29	c iter 760 time 53.4879 not-muc 2527223 unknown 1039 muc 759
57.20/57.29	c iter 761 time 53.5609 not-muc 2527223 unknown 1038 muc 760
57.20/57.29	c iter 762 time 53.6328 not-muc 2527223 unknown 1037 muc 761
57.20/57.29	c iter 763 time 53.7058 not-muc 2527223 unknown 1036 muc 762
57.20/57.29	c iter 764 time 53.7788 not-muc 2527223 unknown 1035 muc 763
57.20/57.29	c iter 765 time 53.8508 not-muc 2527223 unknown 1034 muc 764
57.20/57.29	c iter 766 time 53.9238 not-muc 2527223 unknown 1033 muc 765
57.20/57.29	c iter 767 time 53.9958 not-muc 2527223 unknown 1032 muc 766
57.20/57.29	c iter 768 time 54.0678 not-muc 2527223 unknown 1031 muc 767
57.20/57.29	c iter 769 time 54.1408 not-muc 2527223 unknown 1030 muc 768
57.20/57.29	c iter 770 time 54.2128 not-muc 2527223 unknown 1029 muc 769
57.20/57.29	c iter 771 time 54.2857 not-muc 2527223 unknown 1028 muc 770
57.20/57.29	c iter 772 time 54.3577 not-muc 2527223 unknown 1027 muc 771
57.20/57.29	c iter 773 time 54.4297 not-muc 2527223 unknown 1026 muc 772
57.20/57.29	c iter 774 time 54.5017 not-muc 2527223 unknown 1025 muc 773
57.20/57.29	c iter 775 time 54.5747 not-muc 2527223 unknown 1024 muc 774
57.20/57.29	c iter 776 time 54.6467 not-muc 2527223 unknown 1023 muc 775
57.20/57.29	c iter 777 time 54.7197 not-muc 2527223 unknown 1022 muc 776
57.20/57.29	c iter 778 time 54.7917 not-muc 2527223 unknown 1021 muc 777
57.20/57.29	c iter 779 time 54.8637 not-muc 2527223 unknown 1020 muc 778
57.20/57.29	c iter 780 time 54.9366 not-muc 2527223 unknown 1019 muc 779
57.20/57.29	c iter 781 time 55.0086 not-muc 2527223 unknown 1018 muc 780
57.20/57.29	c iter 782 time 55.0816 not-muc 2527223 unknown 1017 muc 781
57.20/57.29	c iter 783 time 55.1536 not-muc 2527223 unknown 1016 muc 782
57.20/57.29	c iter 784 time 55.2256 not-muc 2527223 unknown 1015 muc 783
57.20/57.29	c iter 785 time 55.2986 not-muc 2527223 unknown 1014 muc 784
57.20/57.29	c iter 786 time 55.3706 not-muc 2527223 unknown 1013 muc 785
57.20/57.29	c iter 787 time 55.4436 not-muc 2527223 unknown 1012 muc 786
57.20/57.29	c iter 788 time 55.5156 not-muc 2527223 unknown 1011 muc 787
57.20/57.29	c iter 789 time 55.5965 not-muc 2527223 unknown 1010 muc 788
57.20/57.29	c iter 790 time 55.6685 not-muc 2527223 unknown 1009 muc 789
57.20/57.29	c iter 791 time 55.7415 not-muc 2527223 unknown 1008 muc 790
57.20/57.29	c iter 792 time 55.8135 not-muc 2527223 unknown 1007 muc 791
57.20/57.29	c iter 793 time 55.8855 not-muc 2527223 unknown 1006 muc 792
57.20/57.29	c iter 794 time 55.9585 not-muc 2527223 unknown 1005 muc 793
57.20/57.29	c iter 795 time 56.0305 not-muc 2527223 unknown 1004 muc 794
57.20/57.29	c iter 796 time 56.1035 not-muc 2527223 unknown 1003 muc 795
57.20/57.29	c iter 797 time 56.1755 not-muc 2527223 unknown 1002 muc 796
57.20/57.29	c iter 798 time 56.2474 not-muc 2527223 unknown 1001 muc 797
57.20/57.29	c iter 799 time 56.3204 not-muc 2527223 unknown 1000 muc 798
57.20/57.29	c iter 800 time 56.3924 not-muc 2527223 unknown 999 muc 799
57.20/57.29	c iter 801 time 56.4654 not-muc 2527223 unknown 998 muc 800
57.20/57.29	c iter 802 time 56.5384 not-muc 2527223 unknown 997 muc 801
57.20/57.29	c iter 803 time 56.6104 not-muc 2527223 unknown 996 muc 802
57.20/57.29	c iter 804 time 56.6824 not-muc 2527223 unknown 995 muc 803
57.20/57.29	c iter 805 time 56.7554 not-muc 2527223 unknown 994 muc 804
57.20/57.29	c iter 806 time 56.8274 not-muc 2527223 unknown 993 muc 805
57.20/57.29	c iter 807 time 56.9003 not-muc 2527223 unknown 992 muc 806
57.20/57.29	c iter 808 time 56.9723 not-muc 2527223 unknown 991 muc 807
57.20/57.29	c iter 809 time 57.0453 not-muc 2527223 unknown 990 muc 808
57.20/57.29	c iter 810 time 57.1173 not-muc 2527223 unknown 989 muc 809
62.19/62.29	c iter 811 time 57.1903 not-muc 2527223 unknown 988 muc 810
62.19/62.29	c iter 812 time 57.2623 not-muc 2527223 unknown 987 muc 811
62.19/62.29	c iter 813 time 57.3353 not-muc 2527223 unknown 986 muc 812
62.19/62.29	c iter 814 time 57.4073 not-muc 2527223 unknown 985 muc 813
62.19/62.29	c iter 815 time 57.4803 not-muc 2527223 unknown 984 muc 814
62.19/62.29	c iter 816 time 57.5523 not-muc 2527223 unknown 983 muc 815
62.19/62.29	c iter 817 time 57.6252 not-muc 2527223 unknown 982 muc 816
62.19/62.29	c iter 818 time 57.6982 not-muc 2527223 unknown 981 muc 817
62.19/62.29	c iter 819 time 57.7712 not-muc 2527223 unknown 980 muc 818
62.19/62.29	c iter 820 time 57.8432 not-muc 2527223 unknown 979 muc 819
62.19/62.29	c iter 821 time 57.9162 not-muc 2527223 unknown 978 muc 820
62.19/62.29	c iter 822 time 57.9882 not-muc 2527223 unknown 977 muc 821
62.19/62.29	c iter 823 time 58.0602 not-muc 2527223 unknown 976 muc 822
62.19/62.29	c iter 824 time 58.1332 not-muc 2527223 unknown 975 muc 823
62.19/62.29	c iter 825 time 58.2062 not-muc 2527223 unknown 974 muc 824
62.19/62.29	c iter 826 time 58.2781 not-muc 2527223 unknown 973 muc 825
62.19/62.29	c iter 827 time 58.3511 not-muc 2527223 unknown 972 muc 826
62.19/62.29	c iter 828 time 58.4231 not-muc 2527223 unknown 971 muc 827
62.19/62.29	c iter 829 time 58.4961 not-muc 2527223 unknown 970 muc 828
62.19/62.29	c iter 830 time 58.5691 not-muc 2527223 unknown 969 muc 829
62.19/62.29	c iter 831 time 58.6411 not-muc 2527223 unknown 968 muc 830
62.19/62.29	c iter 832 time 58.7141 not-muc 2527223 unknown 967 muc 831
62.19/62.29	c iter 833 time 58.7871 not-muc 2527223 unknown 966 muc 832
62.19/62.29	c iter 834 time 58.8591 not-muc 2527223 unknown 965 muc 833
62.19/62.29	c iter 835 time 58.932 not-muc 2527223 unknown 964 muc 834
62.19/62.29	c iter 836 time 59.004 not-muc 2527223 unknown 963 muc 835
62.19/62.29	c iter 837 time 59.076 not-muc 2527223 unknown 962 muc 836
62.19/62.29	c iter 838 time 59.149 not-muc 2527223 unknown 961 muc 837
62.19/62.29	c iter 839 time 59.221 not-muc 2527223 unknown 960 muc 838
62.19/62.29	c iter 840 time 59.294 not-muc 2527223 unknown 959 muc 839
62.19/62.29	c iter 841 time 59.367 not-muc 2527223 unknown 958 muc 840
62.19/62.29	c iter 842 time 59.439 not-muc 2527223 unknown 957 muc 841
62.19/62.29	c iter 843 time 59.512 not-muc 2527223 unknown 956 muc 842
62.19/62.29	c iter 844 time 59.5839 not-muc 2527223 unknown 955 muc 843
62.19/62.29	c iter 845 time 59.6559 not-muc 2527223 unknown 954 muc 844
62.19/62.29	c iter 846 time 59.7289 not-muc 2527223 unknown 953 muc 845
62.19/62.29	c iter 847 time 59.8019 not-muc 2527223 unknown 952 muc 846
62.19/62.29	c iter 848 time 59.8739 not-muc 2527223 unknown 951 muc 847
62.19/62.29	c iter 849 time 59.9469 not-muc 2527223 unknown 950 muc 848
62.19/62.29	c iter 850 time 60.0199 not-muc 2527223 unknown 949 muc 849
62.19/62.29	c iter 851 time 60.0919 not-muc 2527223 unknown 948 muc 850
62.19/62.29	c iter 852 time 60.1649 not-muc 2527223 unknown 947 muc 851
62.19/62.29	c iter 853 time 60.2368 not-muc 2527223 unknown 946 muc 852
62.19/62.29	c iter 854 time 60.3098 not-muc 2527223 unknown 945 muc 853
62.19/62.29	c iter 855 time 60.3818 not-muc 2527223 unknown 944 muc 854
62.19/62.29	c iter 856 time 60.4548 not-muc 2527223 unknown 943 muc 855
62.19/62.29	c iter 857 time 60.5268 not-muc 2527223 unknown 942 muc 856
62.19/62.29	c iter 858 time 60.5998 not-muc 2527223 unknown 941 muc 857
62.19/62.29	c iter 859 time 60.6718 not-muc 2527223 unknown 940 muc 858
62.19/62.29	c iter 860 time 60.7448 not-muc 2527223 unknown 939 muc 859
62.19/62.29	c iter 861 time 60.8168 not-muc 2527223 unknown 938 muc 860
62.19/62.29	c iter 862 time 60.8897 not-muc 2527223 unknown 937 muc 861
62.19/62.29	c iter 863 time 60.9617 not-muc 2527223 unknown 936 muc 862
62.19/62.29	c iter 864 time 61.0337 not-muc 2527223 unknown 935 muc 863
62.19/62.29	c iter 865 time 61.1057 not-muc 2527223 unknown 934 muc 864
62.19/62.29	c iter 866 time 61.1787 not-muc 2527223 unknown 933 muc 865
62.19/62.29	c iter 867 time 61.2507 not-muc 2527223 unknown 932 muc 866
62.19/62.29	c iter 868 time 61.3237 not-muc 2527223 unknown 931 muc 867
62.19/62.29	c iter 869 time 61.3957 not-muc 2527223 unknown 930 muc 868
62.19/62.29	c iter 870 time 61.4677 not-muc 2527223 unknown 929 muc 869
62.19/62.29	c iter 871 time 61.5406 not-muc 2527223 unknown 928 muc 870
62.19/62.29	c iter 872 time 61.6126 not-muc 2527223 unknown 927 muc 871
62.19/62.29	c iter 873 time 61.6856 not-muc 2527223 unknown 926 muc 872
62.19/62.29	c iter 874 time 61.7586 not-muc 2527223 unknown 925 muc 873
62.19/62.29	c iter 875 time 61.8306 not-muc 2527223 unknown 924 muc 874
62.19/62.29	c iter 876 time 61.9026 not-muc 2527223 unknown 923 muc 875
62.19/62.29	c iter 877 time 61.9746 not-muc 2527223 unknown 922 muc 876
62.19/62.29	c iter 878 time 62.0476 not-muc 2527223 unknown 921 muc 877
62.19/62.29	c iter 879 time 62.1196 not-muc 2527223 unknown 920 muc 878
67.10/67.11	c iter 880 time 62.1925 not-muc 2527223 unknown 919 muc 879
67.10/67.11	c iter 881 time 62.2645 not-muc 2527223 unknown 918 muc 880
67.10/67.11	c iter 882 time 62.3365 not-muc 2527223 unknown 917 muc 881
67.10/67.11	c iter 883 time 62.4095 not-muc 2527223 unknown 916 muc 882
67.10/67.11	c iter 884 time 62.4815 not-muc 2527223 unknown 915 muc 883
67.10/67.11	c iter 885 time 62.5545 not-muc 2527223 unknown 914 muc 884
67.10/67.11	c iter 886 time 62.6265 not-muc 2527223 unknown 913 muc 885
67.10/67.11	c iter 887 time 62.6985 not-muc 2527223 unknown 912 muc 886
67.10/67.11	c iter 888 time 62.7715 not-muc 2527223 unknown 911 muc 887
67.10/67.11	c iter 889 time 62.8444 not-muc 2527223 unknown 910 muc 888
67.10/67.11	c iter 890 time 62.9164 not-muc 2527223 unknown 909 muc 889
67.10/67.11	c iter 891 time 62.9894 not-muc 2527223 unknown 908 muc 890
67.10/67.11	c iter 892 time 63.0614 not-muc 2527223 unknown 907 muc 891
67.10/67.11	c iter 893 time 63.1334 not-muc 2527223 unknown 906 muc 892
67.10/67.11	c iter 894 time 63.2064 not-muc 2527223 unknown 905 muc 893
67.10/67.11	c iter 895 time 63.2784 not-muc 2527223 unknown 904 muc 894
67.10/67.11	c iter 896 time 63.3504 not-muc 2527223 unknown 903 muc 895
67.10/67.11	c iter 897 time 63.4234 not-muc 2527223 unknown 902 muc 896
67.10/67.11	c iter 898 time 63.4953 not-muc 2527223 unknown 901 muc 897
67.10/67.11	c iter 899 time 63.5673 not-muc 2527223 unknown 900 muc 898
67.10/67.11	c iter 900 time 63.6403 not-muc 2527223 unknown 899 muc 899
67.10/67.11	c iter 901 time 63.7123 not-muc 2527223 unknown 898 muc 900
67.10/67.11	c iter 902 time 63.7853 not-muc 2527223 unknown 897 muc 901
67.10/67.11	c iter 903 time 63.8583 not-muc 2527223 unknown 896 muc 902
67.10/67.11	c iter 904 time 63.9303 not-muc 2527223 unknown 895 muc 903
67.10/67.11	c iter 905 time 64.0023 not-muc 2527223 unknown 894 muc 904
67.10/67.11	c iter 906 time 64.0753 not-muc 2527223 unknown 893 muc 905
67.10/67.11	c iter 907 time 64.1472 not-muc 2527223 unknown 892 muc 906
67.10/67.11	c iter 908 time 64.2192 not-muc 2527223 unknown 891 muc 907
67.10/67.11	c iter 909 time 64.2922 not-muc 2527223 unknown 890 muc 908
67.10/67.11	c iter 910 time 64.3642 not-muc 2527223 unknown 889 muc 909
67.10/67.11	c iter 911 time 64.4372 not-muc 2527223 unknown 888 muc 910
67.10/67.11	c iter 912 time 64.5092 not-muc 2527223 unknown 887 muc 911
67.10/67.11	c iter 913 time 64.5812 not-muc 2527223 unknown 886 muc 912
67.10/67.11	c iter 914 time 64.6542 not-muc 2527223 unknown 885 muc 913
67.10/67.11	c iter 915 time 64.7262 not-muc 2527223 unknown 884 muc 914
67.10/67.11	c iter 916 time 64.7991 not-muc 2527223 unknown 883 muc 915
67.10/67.11	c iter 917 time 64.8711 not-muc 2527223 unknown 882 muc 916
67.10/67.11	c iter 918 time 64.9441 not-muc 2527223 unknown 881 muc 917
67.10/67.11	c iter 919 time 65.0161 not-muc 2527223 unknown 880 muc 918
67.10/67.11	c iter 920 time 65.0881 not-muc 2527223 unknown 879 muc 919
67.10/67.11	c iter 921 time 65.1601 not-muc 2527223 unknown 878 muc 920
67.10/67.11	c iter 922 time 65.2331 not-muc 2527223 unknown 877 muc 921
67.10/67.11	c iter 923 time 65.3051 not-muc 2527223 unknown 876 muc 922
67.10/67.11	c iter 924 time 65.3771 not-muc 2527223 unknown 875 muc 923
67.10/67.11	c iter 925 time 65.4501 not-muc 2527223 unknown 874 muc 924
67.10/67.11	c iter 926 time 65.51 not-muc 2527223 unknown 873 muc 925
67.10/67.11	c iter 927 time 65.571 not-muc 2527223 unknown 872 muc 926
67.10/67.11	c iter 928 time 65.643 not-muc 2527223 unknown 871 muc 927
67.10/67.11	c iter 929 time 65.716 not-muc 2527223 unknown 870 muc 928
67.10/67.11	c iter 930 time 65.777 not-muc 2527223 unknown 869 muc 929
67.10/67.11	c iter 931 time 65.838 not-muc 2527223 unknown 868 muc 930
67.10/67.11	c iter 932 time 65.898 not-muc 2527223 unknown 867 muc 931
67.10/67.11	c iter 933 time 65.959 not-muc 2527223 unknown 866 muc 932
67.10/67.11	c iter 934 time 66.02 not-muc 2527223 unknown 865 muc 933
67.10/67.11	c iter 935 time 66.081 not-muc 2527223 unknown 864 muc 934
67.10/67.11	c iter 936 time 66.1419 not-muc 2527223 unknown 863 muc 935
67.10/67.11	c iter 937 time 66.2139 not-muc 2527223 unknown 862 muc 936
67.10/67.11	c iter 938 time 66.2859 not-muc 2527223 unknown 861 muc 937
67.10/67.11	c iter 939 time 66.3589 not-muc 2527223 unknown 860 muc 938
67.10/67.11	c iter 940 time 66.4309 not-muc 2527223 unknown 859 muc 939
67.10/67.11	c iter 941 time 66.5029 not-muc 2527223 unknown 858 muc 940
67.10/67.11	c iter 942 time 66.5749 not-muc 2527223 unknown 857 muc 941
67.10/67.11	c iter 943 time 66.6469 not-muc 2527223 unknown 856 muc 942
67.10/67.11	c iter 944 time 66.7199 not-muc 2527223 unknown 855 muc 943
67.10/67.11	c iter 945 time 66.7998 not-muc 2527223 unknown 854 muc 944
67.10/67.11	c iter 946 time 66.8718 not-muc 2527223 unknown 853 muc 945
67.10/67.11	c iter 947 time 66.9438 not-muc 2527223 unknown 852 muc 946
71.89/71.96	c iter 948 time 67.0168 not-muc 2527223 unknown 851 muc 947
71.89/71.96	c iter 949 time 67.0888 not-muc 2527223 unknown 850 muc 948
71.89/71.96	c iter 950 time 67.1608 not-muc 2527223 unknown 849 muc 949
71.89/71.96	c iter 951 time 67.2338 not-muc 2527223 unknown 848 muc 950
71.89/71.96	c iter 952 time 67.3058 not-muc 2527223 unknown 847 muc 951
71.89/71.96	c iter 953 time 67.3778 not-muc 2527223 unknown 846 muc 952
71.89/71.96	c iter 954 time 67.4497 not-muc 2527223 unknown 845 muc 953
71.89/71.96	c iter 955 time 67.5227 not-muc 2527223 unknown 844 muc 954
71.89/71.96	c iter 956 time 67.5947 not-muc 2527223 unknown 843 muc 955
71.89/71.96	c iter 957 time 67.6667 not-muc 2527223 unknown 842 muc 956
71.89/71.96	c iter 958 time 67.7397 not-muc 2527223 unknown 841 muc 957
71.89/71.96	c iter 959 time 67.8117 not-muc 2527223 unknown 840 muc 958
71.89/71.96	c iter 960 time 67.8837 not-muc 2527223 unknown 839 muc 959
71.89/71.96	c iter 961 time 67.9557 not-muc 2527223 unknown 838 muc 960
71.89/71.96	c iter 962 time 68.0277 not-muc 2527223 unknown 837 muc 961
71.89/71.96	c iter 963 time 68.0996 not-muc 2527223 unknown 836 muc 962
71.89/71.96	c iter 964 time 68.1726 not-muc 2527223 unknown 835 muc 963
71.89/71.96	c iter 965 time 68.2446 not-muc 2527223 unknown 834 muc 964
71.89/71.96	c iter 966 time 68.3166 not-muc 2527223 unknown 833 muc 965
71.89/71.96	c iter 967 time 68.3886 not-muc 2527223 unknown 832 muc 966
71.89/71.96	c iter 968 time 68.4606 not-muc 2527223 unknown 831 muc 967
71.89/71.96	c iter 969 time 68.5326 not-muc 2527223 unknown 830 muc 968
71.89/71.96	c iter 970 time 68.6046 not-muc 2527223 unknown 829 muc 969
71.89/71.96	c iter 971 time 68.6766 not-muc 2527223 unknown 828 muc 970
71.89/71.96	c iter 972 time 68.7485 not-muc 2527223 unknown 827 muc 971
71.89/71.96	c iter 973 time 68.8215 not-muc 2527223 unknown 826 muc 972
71.89/71.96	c iter 974 time 68.8935 not-muc 2527223 unknown 825 muc 973
71.89/71.96	c iter 975 time 68.9655 not-muc 2527223 unknown 824 muc 974
71.89/71.96	c iter 976 time 69.0375 not-muc 2527223 unknown 823 muc 975
71.89/71.96	c iter 977 time 69.1095 not-muc 2527223 unknown 822 muc 976
71.89/71.96	c iter 978 time 69.1825 not-muc 2527223 unknown 821 muc 977
71.89/71.96	c iter 979 time 69.2545 not-muc 2527223 unknown 820 muc 978
71.89/71.96	c iter 980 time 69.3265 not-muc 2527223 unknown 819 muc 979
71.89/71.96	c iter 981 time 69.3984 not-muc 2527223 unknown 818 muc 980
71.89/71.96	c iter 982 time 69.4704 not-muc 2527223 unknown 817 muc 981
71.89/71.96	c iter 983 time 69.5424 not-muc 2527223 unknown 816 muc 982
71.89/71.96	c iter 984 time 69.6144 not-muc 2527223 unknown 815 muc 983
71.89/71.96	c iter 985 time 69.6754 not-muc 2527223 unknown 814 muc 984
71.89/71.96	c iter 986 time 69.7484 not-muc 2527223 unknown 813 muc 985
71.89/71.96	c iter 987 time 69.8204 not-muc 2527223 unknown 812 muc 986
71.89/71.96	c iter 988 time 69.8924 not-muc 2527223 unknown 811 muc 987
71.89/71.96	c iter 989 time 69.9644 not-muc 2527223 unknown 810 muc 988
71.89/71.96	c iter 990 time 70.0374 not-muc 2527223 unknown 809 muc 989
71.89/71.96	c iter 991 time 70.1093 not-muc 2527223 unknown 808 muc 990
71.89/71.96	c iter 992 time 70.1813 not-muc 2527223 unknown 807 muc 991
71.89/71.96	c iter 993 time 70.2533 not-muc 2527223 unknown 806 muc 992
71.89/71.96	c iter 994 time 70.3253 not-muc 2527223 unknown 805 muc 993
71.89/71.96	c iter 995 time 70.3973 not-muc 2527223 unknown 804 muc 994
71.89/71.96	c iter 996 time 70.4703 not-muc 2527223 unknown 803 muc 995
71.89/71.96	c iter 997 time 70.5423 not-muc 2527223 unknown 802 muc 996
71.89/71.96	c iter 998 time 70.6143 not-muc 2527223 unknown 801 muc 997
71.89/71.96	c iter 999 time 70.6863 not-muc 2527223 unknown 800 muc 998
71.89/71.96	c iter 1000 time 70.7582 not-muc 2527223 unknown 799 muc 999
71.89/71.96	c iter 1001 time 70.8192 not-muc 2527223 unknown 798 muc 1000
71.89/71.96	c iter 1002 time 70.8792 not-muc 2527223 unknown 797 muc 1001
71.89/71.96	c iter 1003 time 70.9402 not-muc 2527223 unknown 796 muc 1002
71.89/71.96	c iter 1004 time 71.0012 not-muc 2527223 unknown 795 muc 1003
71.89/71.96	c iter 1005 time 71.0732 not-muc 2527223 unknown 794 muc 1004
71.89/71.96	c iter 1006 time 71.1452 not-muc 2527223 unknown 793 muc 1005
71.89/71.96	c iter 1007 time 71.2172 not-muc 2527223 unknown 792 muc 1006
71.89/71.96	c iter 1008 time 71.2892 not-muc 2527223 unknown 791 muc 1007
71.89/71.96	c iter 1009 time 71.3602 not-muc 2527223 unknown 790 muc 1008
71.89/71.96	c iter 1010 time 71.4321 not-muc 2527223 unknown 789 muc 1009
71.89/71.96	c iter 1011 time 71.5041 not-muc 2527223 unknown 788 muc 1010
71.89/71.96	c iter 1012 time 71.5761 not-muc 2527223 unknown 787 muc 1011
71.89/71.96	c iter 1013 time 71.6481 not-muc 2527223 unknown 786 muc 1012
71.89/71.96	c iter 1014 time 71.7211 not-muc 2527223 unknown 785 muc 1013
71.89/71.96	c iter 1015 time 71.7931 not-muc 2527223 unknown 784 muc 1014
76.49/76.54	c iter 1016 time 71.8651 not-muc 2527223 unknown 783 muc 1015
76.49/76.54	c iter 1017 time 71.9371 not-muc 2527223 unknown 782 muc 1016
76.49/76.54	c iter 1018 time 72.0091 not-muc 2527223 unknown 781 muc 1017
76.49/76.54	c iter 1019 time 72.081 not-muc 2527223 unknown 780 muc 1018
76.49/76.54	c iter 1020 time 72.142 not-muc 2527223 unknown 779 muc 1019
76.49/76.54	c iter 1021 time 72.203 not-muc 2527223 unknown 778 muc 1020
76.49/76.54	c iter 1022 time 72.263 not-muc 2527223 unknown 777 muc 1021
76.49/76.54	c iter 1023 time 72.324 not-muc 2527223 unknown 776 muc 1022
76.49/76.54	c iter 1024 time 72.396 not-muc 2527223 unknown 775 muc 1023
76.49/76.54	c iter 1025 time 72.469 not-muc 2527223 unknown 774 muc 1024
76.49/76.54	c iter 1026 time 72.541 not-muc 2527223 unknown 773 muc 1025
76.49/76.54	c iter 1027 time 72.613 not-muc 2527223 unknown 772 muc 1026
76.49/76.54	c iter 1028 time 72.685 not-muc 2527223 unknown 771 muc 1027
76.49/76.54	c iter 1029 time 72.7569 not-muc 2527223 unknown 770 muc 1028
76.49/76.54	c iter 1030 time 72.8289 not-muc 2527223 unknown 769 muc 1029
76.49/76.54	c iter 1031 time 72.9009 not-muc 2527223 unknown 768 muc 1030
76.49/76.54	c iter 1032 time 72.9729 not-muc 2527223 unknown 767 muc 1031
76.49/76.54	c iter 1033 time 73.0449 not-muc 2527223 unknown 766 muc 1032
76.49/76.54	c iter 1034 time 73.1169 not-muc 2527223 unknown 765 muc 1033
76.49/76.54	c iter 1035 time 73.1889 not-muc 2527223 unknown 764 muc 1034
76.49/76.54	c iter 1036 time 73.2609 not-muc 2527223 unknown 763 muc 1035
76.49/76.54	c iter 1037 time 73.3329 not-muc 2527223 unknown 762 muc 1036
76.49/76.54	c iter 1038 time 73.4048 not-muc 2527223 unknown 761 muc 1037
76.49/76.54	c iter 1039 time 73.4658 not-muc 2527223 unknown 760 muc 1038
76.49/76.54	c iter 1040 time 73.5268 not-muc 2527223 unknown 759 muc 1039
76.49/76.54	c iter 1041 time 73.5868 not-muc 2527223 unknown 758 muc 1040
76.49/76.54	c iter 1042 time 73.6478 not-muc 2527223 unknown 757 muc 1041
76.49/76.54	c iter 1043 time 73.7198 not-muc 2527223 unknown 756 muc 1042
76.49/76.54	c iter 1044 time 73.7918 not-muc 2527223 unknown 755 muc 1043
76.49/76.54	c iter 1045 time 73.8638 not-muc 2527223 unknown 754 muc 1044
76.49/76.54	c iter 1046 time 73.9368 not-muc 2527223 unknown 753 muc 1045
76.49/76.54	c iter 1047 time 74.0087 not-muc 2527223 unknown 752 muc 1046
76.49/76.54	c iter 1048 time 74.0807 not-muc 2527223 unknown 751 muc 1047
76.49/76.54	c iter 1049 time 74.1527 not-muc 2527223 unknown 750 muc 1048
76.49/76.54	c iter 1050 time 74.2257 not-muc 2527223 unknown 749 muc 1049
76.49/76.54	c iter 1051 time 74.2977 not-muc 2527223 unknown 748 muc 1050
76.49/76.54	c iter 1052 time 74.3697 not-muc 2527223 unknown 747 muc 1051
76.49/76.54	c iter 1053 time 74.4417 not-muc 2527223 unknown 746 muc 1052
76.49/76.54	c iter 1054 time 74.5137 not-muc 2527223 unknown 745 muc 1053
76.49/76.54	c iter 1055 time 74.5857 not-muc 2527223 unknown 744 muc 1054
76.49/76.54	c iter 1056 time 74.6577 not-muc 2527223 unknown 743 muc 1055
76.49/76.54	c iter 1057 time 74.7296 not-muc 2527223 unknown 742 muc 1056
76.49/76.54	c iter 1058 time 74.7906 not-muc 2527223 unknown 741 muc 1057
76.49/76.54	c iter 1059 time 74.8506 not-muc 2527223 unknown 740 muc 1058
76.49/76.54	c iter 1060 time 74.9116 not-muc 2527223 unknown 739 muc 1059
76.49/76.54	c iter 1061 time 74.9726 not-muc 2527223 unknown 738 muc 1060
76.49/76.54	c iter 1062 time 75.0436 not-muc 2527223 unknown 737 muc 1061
76.49/76.54	c iter 1063 time 75.1156 not-muc 2527223 unknown 736 muc 1062
76.49/76.54	c iter 1064 time 75.1876 not-muc 2527223 unknown 735 muc 1063
76.49/76.54	c iter 1065 time 75.2596 not-muc 2527223 unknown 734 muc 1064
76.49/76.54	c iter 1066 time 75.3325 not-muc 2527223 unknown 733 muc 1065
76.49/76.54	c iter 1067 time 75.4045 not-muc 2527223 unknown 732 muc 1066
76.49/76.54	c iter 1068 time 75.4765 not-muc 2527223 unknown 731 muc 1067
76.49/76.54	c iter 1069 time 75.5485 not-muc 2527223 unknown 730 muc 1068
76.49/76.54	c iter 1070 time 75.6205 not-muc 2527223 unknown 729 muc 1069
76.49/76.54	c iter 1071 time 75.6925 not-muc 2527223 unknown 728 muc 1070
76.49/76.54	c iter 1072 time 75.7645 not-muc 2527223 unknown 727 muc 1071
76.49/76.54	c iter 1073 time 75.8365 not-muc 2527223 unknown 726 muc 1072
76.49/76.54	c iter 1074 time 75.9085 not-muc 2527223 unknown 725 muc 1073
76.49/76.54	c iter 1075 time 75.9804 not-muc 2527223 unknown 724 muc 1074
76.49/76.54	c iter 1076 time 76.0524 not-muc 2527223 unknown 723 muc 1075
76.49/76.54	c iter 1077 time 76.1124 not-muc 2527223 unknown 722 muc 1076
76.49/76.54	c iter 1078 time 76.1734 not-muc 2527223 unknown 721 muc 1077
76.49/76.54	c iter 1079 time 76.2344 not-muc 2527223 unknown 720 muc 1078
76.49/76.54	c iter 1080 time 76.2944 not-muc 2527223 unknown 719 muc 1079
76.49/76.54	c iter 1081 time 76.3664 not-muc 2527223 unknown 718 muc 1080
81.19/81.25	c iter 1082 time 76.4384 not-muc 2527223 unknown 717 muc 1081
81.19/81.25	c iter 1083 time 76.4994 not-muc 2527223 unknown 716 muc 1082
81.19/81.25	c iter 1084 time 76.5594 not-muc 2527223 unknown 715 muc 1083
81.19/81.25	c iter 1085 time 76.6204 not-muc 2527223 unknown 714 muc 1084
81.19/81.25	c iter 1086 time 76.6803 not-muc 2527223 unknown 713 muc 1085
81.19/81.25	c iter 1087 time 76.7413 not-muc 2527223 unknown 712 muc 1086
81.19/81.25	c iter 1088 time 76.8023 not-muc 2527223 unknown 711 muc 1087
81.19/81.25	c iter 1089 time 76.8633 not-muc 2527223 unknown 710 muc 1088
81.19/81.25	c iter 1090 time 76.9233 not-muc 2527223 unknown 709 muc 1089
81.19/81.25	c iter 1091 time 76.9843 not-muc 2527223 unknown 708 muc 1090
81.19/81.25	c iter 1092 time 77.0453 not-muc 2527223 unknown 707 muc 1091
81.19/81.25	c iter 1093 time 77.1163 not-muc 2527223 unknown 706 muc 1092
81.19/81.25	c iter 1094 time 77.1883 not-muc 2527223 unknown 705 muc 1093
81.19/81.25	c iter 1095 time 77.2603 not-muc 2527223 unknown 704 muc 1094
81.19/81.25	c iter 1096 time 77.3322 not-muc 2527223 unknown 703 muc 1095
81.19/81.25	c iter 1097 time 77.4042 not-muc 2527223 unknown 702 muc 1096
81.19/81.25	c iter 1098 time 77.4762 not-muc 2527223 unknown 701 muc 1097
81.19/81.25	c iter 1099 time 77.5482 not-muc 2527223 unknown 700 muc 1098
81.19/81.25	c iter 1100 time 77.6282 not-muc 2527223 unknown 699 muc 1099
81.19/81.25	c iter 1101 time 77.7002 not-muc 2527223 unknown 698 muc 1100
81.19/81.25	c iter 1102 time 77.7722 not-muc 2527223 unknown 697 muc 1101
81.19/81.25	c iter 1103 time 77.8442 not-muc 2527223 unknown 696 muc 1102
81.19/81.25	c iter 1104 time 77.9162 not-muc 2527223 unknown 695 muc 1103
81.19/81.25	c iter 1105 time 77.9881 not-muc 2527223 unknown 694 muc 1104
81.19/81.25	c iter 1106 time 78.0601 not-muc 2527223 unknown 693 muc 1105
81.19/81.25	c iter 1107 time 78.1321 not-muc 2527223 unknown 692 muc 1106
81.19/81.25	c iter 1108 time 78.2041 not-muc 2527223 unknown 691 muc 1107
81.19/81.25	c iter 1109 time 78.2761 not-muc 2527223 unknown 690 muc 1108
81.19/81.25	c iter 1110 time 78.3481 not-muc 2527223 unknown 689 muc 1109
81.19/81.25	c iter 1111 time 78.4201 not-muc 2527223 unknown 688 muc 1110
81.19/81.25	c iter 1112 time 78.4911 not-muc 2527223 unknown 687 muc 1111
81.19/81.25	c iter 1113 time 78.5631 not-muc 2527223 unknown 686 muc 1112
81.19/81.25	c iter 1114 time 78.635 not-muc 2527223 unknown 685 muc 1113
81.19/81.25	c iter 1115 time 78.707 not-muc 2527223 unknown 684 muc 1114
81.19/81.25	c iter 1116 time 78.779 not-muc 2527223 unknown 683 muc 1115
81.19/81.25	c iter 1117 time 78.851 not-muc 2527223 unknown 682 muc 1116
81.19/81.25	c iter 1118 time 78.923 not-muc 2527223 unknown 681 muc 1117
81.19/81.25	c iter 1119 time 78.995 not-muc 2527223 unknown 680 muc 1118
81.19/81.25	c iter 1120 time 79.067 not-muc 2527223 unknown 679 muc 1119
81.19/81.25	c iter 1121 time 79.138 not-muc 2527223 unknown 678 muc 1120
81.19/81.25	c iter 1122 time 79.21 not-muc 2527223 unknown 677 muc 1121
81.19/81.25	c iter 1123 time 79.2819 not-muc 2527223 unknown 676 muc 1122
81.19/81.25	c iter 1124 time 79.3539 not-muc 2527223 unknown 675 muc 1123
81.19/81.25	c iter 1125 time 79.4249 not-muc 2527223 unknown 674 muc 1124
81.19/81.25	c iter 1126 time 79.4969 not-muc 2527223 unknown 673 muc 1125
81.19/81.25	c iter 1127 time 79.5689 not-muc 2527223 unknown 672 muc 1126
81.19/81.25	c iter 1128 time 79.6409 not-muc 2527223 unknown 671 muc 1127
81.19/81.25	c iter 1129 time 79.7129 not-muc 2527223 unknown 670 muc 1128
81.19/81.25	c iter 1130 time 79.7849 not-muc 2527223 unknown 669 muc 1129
81.19/81.25	c iter 1131 time 79.8559 not-muc 2527223 unknown 668 muc 1130
81.19/81.25	c iter 1132 time 79.9278 not-muc 2527223 unknown 667 muc 1131
81.19/81.25	c iter 1133 time 79.9998 not-muc 2527223 unknown 666 muc 1132
81.19/81.25	c iter 1134 time 80.0708 not-muc 2527223 unknown 665 muc 1133
81.19/81.25	c iter 1135 time 80.1428 not-muc 2527223 unknown 664 muc 1134
81.19/81.25	c iter 1136 time 80.2148 not-muc 2527223 unknown 663 muc 1135
81.19/81.25	c iter 1137 time 80.2868 not-muc 2527223 unknown 662 muc 1136
81.19/81.25	c iter 1138 time 80.3588 not-muc 2527223 unknown 661 muc 1137
81.19/81.25	c iter 1139 time 80.4298 not-muc 2527223 unknown 660 muc 1138
81.19/81.25	c iter 1140 time 80.5018 not-muc 2527223 unknown 659 muc 1139
81.19/81.25	c iter 1141 time 80.5738 not-muc 2527223 unknown 658 muc 1140
81.19/81.25	c iter 1142 time 80.6457 not-muc 2527223 unknown 657 muc 1141
81.19/81.25	c iter 1143 time 80.7177 not-muc 2527223 unknown 656 muc 1142
81.19/81.25	c iter 1144 time 80.7897 not-muc 2527223 unknown 655 muc 1143
81.19/81.25	c iter 1145 time 80.8607 not-muc 2527223 unknown 654 muc 1144
81.19/81.25	c iter 1146 time 80.9327 not-muc 2527223 unknown 653 muc 1145
81.19/81.25	c iter 1147 time 81.0047 not-muc 2527223 unknown 652 muc 1146
81.19/81.25	c iter 1148 time 81.0767 not-muc 2527223 unknown 651 muc 1147
85.89/85.99	c iter 1149 time 81.1487 not-muc 2527223 unknown 650 muc 1148
85.89/85.99	c iter 1150 time 81.2197 not-muc 2527223 unknown 649 muc 1149
85.89/85.99	c iter 1151 time 81.2906 not-muc 2527223 unknown 648 muc 1150
85.89/85.99	c iter 1152 time 81.3626 not-muc 2527223 unknown 647 muc 1151
85.89/85.99	c iter 1153 time 81.4346 not-muc 2527223 unknown 646 muc 1152
85.89/85.99	c iter 1154 time 81.5056 not-muc 2527223 unknown 645 muc 1153
85.89/85.99	c iter 1155 time 81.5766 not-muc 2527223 unknown 644 muc 1154
85.89/85.99	c iter 1156 time 81.6486 not-muc 2527223 unknown 643 muc 1155
85.89/85.99	c iter 1157 time 81.7206 not-muc 2527223 unknown 642 muc 1156
85.89/85.99	c iter 1158 time 81.7926 not-muc 2527223 unknown 641 muc 1157
85.89/85.99	c iter 1159 time 81.8646 not-muc 2527223 unknown 640 muc 1158
85.89/85.99	c iter 1160 time 81.9365 not-muc 2527223 unknown 639 muc 1159
85.89/85.99	c iter 1161 time 82.0075 not-muc 2527223 unknown 638 muc 1160
85.89/85.99	c iter 1162 time 82.0795 not-muc 2527223 unknown 637 muc 1161
85.89/85.99	c iter 1163 time 82.1515 not-muc 2527223 unknown 636 muc 1162
85.89/85.99	c iter 1164 time 82.2235 not-muc 2527223 unknown 635 muc 1163
85.89/85.99	c iter 1165 time 82.2955 not-muc 2527223 unknown 634 muc 1164
85.89/85.99	c iter 1166 time 82.3675 not-muc 2527223 unknown 633 muc 1165
85.89/85.99	c iter 1167 time 82.4385 not-muc 2527223 unknown 632 muc 1166
85.89/85.99	c iter 1168 time 82.5105 not-muc 2527223 unknown 631 muc 1167
85.89/85.99	c iter 1169 time 82.5824 not-muc 2527223 unknown 630 muc 1168
85.89/85.99	c iter 1170 time 82.6544 not-muc 2527223 unknown 629 muc 1169
85.89/85.99	c iter 1171 time 82.7254 not-muc 2527223 unknown 628 muc 1170
85.89/85.99	c iter 1172 time 82.7974 not-muc 2527223 unknown 627 muc 1171
85.89/85.99	c iter 1173 time 82.8694 not-muc 2527223 unknown 626 muc 1172
85.89/85.99	c iter 1174 time 82.9414 not-muc 2527223 unknown 625 muc 1173
85.89/85.99	c iter 1175 time 83.0134 not-muc 2527223 unknown 624 muc 1174
85.89/85.99	c iter 1176 time 83.0844 not-muc 2527223 unknown 623 muc 1175
85.89/85.99	c iter 1177 time 83.1564 not-muc 2527223 unknown 622 muc 1176
85.89/85.99	c iter 1178 time 83.2283 not-muc 2527223 unknown 621 muc 1177
85.89/85.99	c iter 1179 time 83.3003 not-muc 2527223 unknown 620 muc 1178
85.89/85.99	c iter 1180 time 83.3723 not-muc 2527223 unknown 619 muc 1179
85.89/85.99	c iter 1181 time 83.4443 not-muc 2527223 unknown 618 muc 1180
85.89/85.99	c iter 1182 time 83.5153 not-muc 2527223 unknown 617 muc 1181
85.89/85.99	c iter 1183 time 83.5873 not-muc 2527223 unknown 616 muc 1182
85.89/85.99	c iter 1184 time 83.6593 not-muc 2527223 unknown 615 muc 1183
85.89/85.99	c iter 1185 time 83.7313 not-muc 2527223 unknown 614 muc 1184
85.89/85.99	c iter 1186 time 83.8033 not-muc 2527223 unknown 613 muc 1185
85.89/85.99	c iter 1187 time 83.8752 not-muc 2527223 unknown 612 muc 1186
85.89/85.99	c iter 1188 time 83.9462 not-muc 2527223 unknown 611 muc 1187
85.89/85.99	c iter 1189 time 84.0182 not-muc 2527223 unknown 610 muc 1188
85.89/85.99	c iter 1190 time 84.0892 not-muc 2527223 unknown 609 muc 1189
85.89/85.99	c iter 1191 time 84.1612 not-muc 2527223 unknown 608 muc 1190
85.89/85.99	c iter 1192 time 84.2332 not-muc 2527223 unknown 607 muc 1191
85.89/85.99	c iter 1193 time 84.3052 not-muc 2527223 unknown 606 muc 1192
85.89/85.99	c iter 1194 time 84.3772 not-muc 2527223 unknown 605 muc 1193
85.89/85.99	c iter 1195 time 84.4482 not-muc 2527223 unknown 604 muc 1194
85.89/85.99	c iter 1196 time 84.5202 not-muc 2527223 unknown 603 muc 1195
85.89/85.99	c iter 1197 time 84.5921 not-muc 2527223 unknown 602 muc 1196
85.89/85.99	c iter 1198 time 84.6641 not-muc 2527223 unknown 601 muc 1197
85.89/85.99	c iter 1199 time 84.7361 not-muc 2527223 unknown 600 muc 1198
85.89/85.99	c iter 1200 time 84.8081 not-muc 2527223 unknown 599 muc 1199
85.89/85.99	c iter 1201 time 84.8791 not-muc 2527223 unknown 598 muc 1200
85.89/85.99	c iter 1202 time 84.9511 not-muc 2527223 unknown 597 muc 1201
85.89/85.99	c iter 1203 time 85.0231 not-muc 2527223 unknown 596 muc 1202
85.89/85.99	c iter 1204 time 85.0951 not-muc 2527223 unknown 595 muc 1203
85.89/85.99	c iter 1205 time 85.1741 not-muc 2527223 unknown 594 muc 1204
85.89/85.99	c iter 1206 time 85.246 not-muc 2527223 unknown 593 muc 1205
85.89/85.99	c iter 1207 time 85.318 not-muc 2527223 unknown 592 muc 1206
85.89/85.99	c iter 1208 time 85.389 not-muc 2527223 unknown 591 muc 1207
85.89/85.99	c iter 1209 time 85.461 not-muc 2527223 unknown 590 muc 1208
85.89/85.99	c iter 1210 time 85.533 not-muc 2527223 unknown 589 muc 1209
85.89/85.99	c iter 1211 time 85.604 not-muc 2527223 unknown 588 muc 1210
85.89/85.99	c iter 1212 time 85.676 not-muc 2527223 unknown 587 muc 1211
85.89/85.99	c iter 1213 time 85.748 not-muc 2527223 unknown 586 muc 1212
85.89/85.99	c iter 1214 time 85.82 not-muc 2527223 unknown 585 muc 1213
90.69/90.72	c iter 1215 time 85.8919 not-muc 2527223 unknown 584 muc 1214
90.69/90.72	c iter 1216 time 85.9629 not-muc 2527223 unknown 583 muc 1215
90.69/90.72	c iter 1217 time 86.0349 not-muc 2527223 unknown 582 muc 1216
90.69/90.72	c iter 1218 time 86.1069 not-muc 2527223 unknown 581 muc 1217
90.69/90.72	c iter 1219 time 86.1779 not-muc 2527223 unknown 580 muc 1218
90.69/90.72	c iter 1220 time 86.2499 not-muc 2527223 unknown 579 muc 1219
90.69/90.72	c iter 1221 time 86.3209 not-muc 2527223 unknown 578 muc 1220
90.69/90.72	c iter 1222 time 86.3929 not-muc 2527223 unknown 577 muc 1221
90.69/90.72	c iter 1223 time 86.4649 not-muc 2527223 unknown 576 muc 1222
90.69/90.72	c iter 1224 time 86.5358 not-muc 2527223 unknown 575 muc 1223
90.69/90.72	c iter 1225 time 86.6078 not-muc 2527223 unknown 574 muc 1224
90.69/90.72	c iter 1226 time 86.6798 not-muc 2527223 unknown 573 muc 1225
90.69/90.72	c iter 1227 time 86.7518 not-muc 2527223 unknown 572 muc 1226
90.69/90.72	c iter 1228 time 86.8228 not-muc 2527223 unknown 571 muc 1227
90.69/90.72	c iter 1229 time 86.8948 not-muc 2527223 unknown 570 muc 1228
90.69/90.72	c iter 1230 time 86.9658 not-muc 2527223 unknown 569 muc 1229
90.69/90.72	c iter 1231 time 87.0378 not-muc 2527223 unknown 568 muc 1230
90.69/90.72	c iter 1232 time 87.1098 not-muc 2527223 unknown 567 muc 1231
90.69/90.72	c iter 1233 time 87.1817 not-muc 2527223 unknown 566 muc 1232
90.69/90.72	c iter 1234 time 87.2527 not-muc 2527223 unknown 565 muc 1233
90.69/90.72	c iter 1235 time 87.3247 not-muc 2527223 unknown 564 muc 1234
90.69/90.72	c iter 1236 time 87.3967 not-muc 2527223 unknown 563 muc 1235
90.69/90.72	c iter 1237 time 87.4677 not-muc 2527223 unknown 562 muc 1236
90.69/90.72	c iter 1238 time 87.5387 not-muc 2527223 unknown 561 muc 1237
90.69/90.72	c iter 1239 time 87.6107 not-muc 2527223 unknown 560 muc 1238
90.69/90.72	c iter 1240 time 87.6817 not-muc 2527223 unknown 559 muc 1239
90.69/90.72	c iter 1241 time 87.7537 not-muc 2527223 unknown 558 muc 1240
90.69/90.72	c iter 1242 time 87.8256 not-muc 2527223 unknown 557 muc 1241
90.69/90.72	c iter 1243 time 87.8976 not-muc 2527223 unknown 556 muc 1242
90.69/90.72	c iter 1244 time 87.9686 not-muc 2527223 unknown 555 muc 1243
90.69/90.72	c iter 1245 time 88.0406 not-muc 2527223 unknown 554 muc 1244
90.69/90.72	c iter 1246 time 88.1126 not-muc 2527223 unknown 553 muc 1245
90.69/90.72	c iter 1247 time 88.1846 not-muc 2527223 unknown 552 muc 1246
90.69/90.72	c iter 1248 time 88.2556 not-muc 2527223 unknown 551 muc 1247
90.69/90.72	c iter 1249 time 88.3276 not-muc 2527223 unknown 550 muc 1248
90.69/90.72	c iter 1250 time 88.3986 not-muc 2527223 unknown 549 muc 1249
90.69/90.72	c iter 1251 time 88.4706 not-muc 2527223 unknown 548 muc 1250
90.69/90.72	c iter 1252 time 88.5425 not-muc 2527223 unknown 547 muc 1251
90.69/90.72	c iter 1253 time 88.6135 not-muc 2527223 unknown 546 muc 1252
90.69/90.72	c iter 1254 time 88.6855 not-muc 2527223 unknown 545 muc 1253
90.69/90.72	c iter 1255 time 88.7575 not-muc 2527223 unknown 544 muc 1254
90.69/90.72	c iter 1256 time 88.8295 not-muc 2527223 unknown 543 muc 1255
90.69/90.72	c iter 1257 time 88.9005 not-muc 2527223 unknown 542 muc 1256
90.69/90.72	c iter 1258 time 88.9725 not-muc 2527223 unknown 541 muc 1257
90.69/90.72	c iter 1259 time 89.0435 not-muc 2527223 unknown 540 muc 1258
90.69/90.72	c iter 1260 time 89.1155 not-muc 2527223 unknown 539 muc 1259
90.69/90.72	c iter 1261 time 89.1874 not-muc 2527223 unknown 538 muc 1260
90.69/90.72	c iter 1262 time 89.2584 not-muc 2527223 unknown 537 muc 1261
90.69/90.72	c iter 1263 time 89.3304 not-muc 2527223 unknown 536 muc 1262
90.69/90.72	c iter 1264 time 89.4024 not-muc 2527223 unknown 535 muc 1263
90.69/90.72	c iter 1265 time 89.4734 not-muc 2527223 unknown 534 muc 1264
90.69/90.72	c iter 1266 time 89.5454 not-muc 2527223 unknown 533 muc 1265
90.69/90.72	c iter 1267 time 89.6174 not-muc 2527223 unknown 532 muc 1266
90.69/90.72	c iter 1268 time 89.6884 not-muc 2527223 unknown 531 muc 1267
90.69/90.72	c iter 1269 time 89.7604 not-muc 2527223 unknown 530 muc 1268
90.69/90.72	c iter 1270 time 89.8323 not-muc 2527223 unknown 529 muc 1269
90.69/90.72	c iter 1271 time 89.9033 not-muc 2527223 unknown 528 muc 1270
90.69/90.72	c iter 1272 time 89.9753 not-muc 2527223 unknown 527 muc 1271
90.69/90.72	c iter 1273 time 90.0473 not-muc 2527223 unknown 526 muc 1272
90.69/90.72	c iter 1274 time 90.1183 not-muc 2527223 unknown 525 muc 1273
90.69/90.72	c iter 1275 time 90.1903 not-muc 2527223 unknown 524 muc 1274
90.69/90.72	c iter 1276 time 90.2623 not-muc 2527223 unknown 523 muc 1275
90.69/90.72	c iter 1277 time 90.3333 not-muc 2527223 unknown 522 muc 1276
90.69/90.72	c iter 1278 time 90.4053 not-muc 2527223 unknown 521 muc 1277
90.69/90.72	c iter 1279 time 90.4762 not-muc 2527223 unknown 520 muc 1278
90.69/90.72	c iter 1280 time 90.5482 not-muc 2527223 unknown 519 muc 1279
95.29/95.31	c iter 1281 time 90.6192 not-muc 2527223 unknown 518 muc 1280
95.29/95.31	c iter 1282 time 90.6912 not-muc 2527223 unknown 517 muc 1281
95.29/95.31	c iter 1283 time 90.7512 not-muc 2527223 unknown 516 muc 1282
95.29/95.31	c iter 1284 time 90.8112 not-muc 2527223 unknown 515 muc 1283
95.29/95.31	c iter 1285 time 90.8832 not-muc 2527223 unknown 514 muc 1284
95.29/95.31	c iter 1286 time 90.9432 not-muc 2527223 unknown 513 muc 1285
95.29/95.31	c iter 1287 time 91.0032 not-muc 2527223 unknown 512 muc 1286
95.29/95.31	c iter 1288 time 91.0632 not-muc 2527223 unknown 511 muc 1287
95.29/95.31	c iter 1289 time 91.1351 not-muc 2527223 unknown 510 muc 1288
95.29/95.31	c iter 1290 time 91.1951 not-muc 2527223 unknown 509 muc 1289
95.29/95.31	c iter 1291 time 91.2551 not-muc 2527223 unknown 508 muc 1290
95.29/95.31	c iter 1292 time 91.3151 not-muc 2527223 unknown 507 muc 1291
95.29/95.31	c iter 1293 time 91.3871 not-muc 2527223 unknown 506 muc 1292
95.29/95.31	c iter 1294 time 91.4471 not-muc 2527223 unknown 505 muc 1293
95.29/95.31	c iter 1295 time 91.5071 not-muc 2527223 unknown 504 muc 1294
95.29/95.31	c iter 1296 time 91.5681 not-muc 2527223 unknown 503 muc 1295
95.29/95.31	c iter 1297 time 91.6391 not-muc 2527223 unknown 502 muc 1296
95.29/95.31	c iter 1298 time 91.6991 not-muc 2527223 unknown 501 muc 1297
95.29/95.31	c iter 1299 time 91.771 not-muc 2527223 unknown 500 muc 1298
95.29/95.31	c iter 1300 time 91.843 not-muc 2527223 unknown 499 muc 1299
95.29/95.31	c iter 1301 time 91.914 not-muc 2527223 unknown 498 muc 1300
95.29/95.31	c iter 1302 time 91.986 not-muc 2527223 unknown 497 muc 1301
95.29/95.31	c iter 1303 time 92.057 not-muc 2527223 unknown 496 muc 1302
95.29/95.31	c iter 1304 time 92.129 not-muc 2527223 unknown 495 muc 1303
95.29/95.31	c iter 1305 time 92.2 not-muc 2527223 unknown 494 muc 1304
95.29/95.31	c iter 1306 time 92.272 not-muc 2527223 unknown 493 muc 1305
95.29/95.31	c iter 1307 time 92.343 not-muc 2527223 unknown 492 muc 1306
95.29/95.31	c iter 1308 time 92.415 not-muc 2527223 unknown 491 muc 1307
95.29/95.31	c iter 1309 time 92.4859 not-muc 2527223 unknown 490 muc 1308
95.29/95.31	c iter 1310 time 92.5579 not-muc 2527223 unknown 489 muc 1309
95.29/95.31	c iter 1311 time 92.6289 not-muc 2527223 unknown 488 muc 1310
95.29/95.31	c iter 1312 time 92.7009 not-muc 2527223 unknown 487 muc 1311
95.29/95.31	c iter 1313 time 92.7729 not-muc 2527223 unknown 486 muc 1312
95.29/95.31	c iter 1314 time 92.8439 not-muc 2527223 unknown 485 muc 1313
95.29/95.31	c iter 1315 time 92.9159 not-muc 2527223 unknown 484 muc 1314
95.29/95.31	c iter 1316 time 92.9879 not-muc 2527223 unknown 483 muc 1315
95.29/95.31	c iter 1317 time 93.0589 not-muc 2527223 unknown 482 muc 1316
95.29/95.31	c iter 1318 time 93.1308 not-muc 2527223 unknown 481 muc 1317
95.29/95.31	c iter 1319 time 93.2018 not-muc 2527223 unknown 480 muc 1318
95.29/95.31	c iter 1320 time 93.2738 not-muc 2527223 unknown 479 muc 1319
95.29/95.31	c iter 1321 time 93.3538 not-muc 2527223 unknown 478 muc 1320
95.29/95.31	c iter 1322 time 93.4248 not-muc 2527223 unknown 477 muc 1321
95.29/95.31	c iter 1323 time 93.4958 not-muc 2527223 unknown 476 muc 1322
95.29/95.31	c iter 1324 time 93.5678 not-muc 2527223 unknown 475 muc 1323
95.29/95.31	c iter 1325 time 93.6388 not-muc 2527223 unknown 474 muc 1324
95.29/95.31	c iter 1326 time 93.7108 not-muc 2527223 unknown 473 muc 1325
95.29/95.31	c iter 1327 time 93.7817 not-muc 2527223 unknown 472 muc 1326
95.29/95.31	c iter 1328 time 93.8537 not-muc 2527223 unknown 471 muc 1327
95.29/95.31	c iter 1329 time 93.9247 not-muc 2527223 unknown 470 muc 1328
95.29/95.31	c iter 1330 time 93.9967 not-muc 2527223 unknown 469 muc 1329
95.29/95.31	c iter 1331 time 94.0677 not-muc 2527223 unknown 468 muc 1330
95.29/95.31	c iter 1332 time 94.1397 not-muc 2527223 unknown 467 muc 1331
95.29/95.31	c iter 1333 time 94.2107 not-muc 2527223 unknown 466 muc 1332
95.29/95.31	c iter 1334 time 94.2827 not-muc 2527223 unknown 465 muc 1333
95.29/95.31	c iter 1335 time 94.3537 not-muc 2527223 unknown 464 muc 1334
95.29/95.31	c iter 1336 time 94.4256 not-muc 2527223 unknown 463 muc 1335
95.29/95.31	c iter 1337 time 94.4966 not-muc 2527223 unknown 462 muc 1336
95.29/95.31	c iter 1338 time 94.5676 not-muc 2527223 unknown 461 muc 1337
95.29/95.31	c iter 1339 time 94.6396 not-muc 2527223 unknown 460 muc 1338
95.29/95.31	c iter 1340 time 94.7106 not-muc 2527223 unknown 459 muc 1339
95.29/95.31	c iter 1341 time 94.7826 not-muc 2527223 unknown 458 muc 1340
95.29/95.31	c iter 1342 time 94.8546 not-muc 2527223 unknown 457 muc 1341
95.29/95.31	c iter 1343 time 94.9256 not-muc 2527223 unknown 456 muc 1342
95.29/95.31	c iter 1344 time 94.9976 not-muc 2527223 unknown 455 muc 1343
95.29/95.31	c iter 1345 time 95.0685 not-muc 2527223 unknown 454 muc 1344
95.29/95.31	c iter 1346 time 95.1405 not-muc 2527223 unknown 453 muc 1345
99.29/99.38	c iter 1347 time 95.2115 not-muc 2527223 unknown 452 muc 1346
99.29/99.38	c iter 1348 time 95.2835 not-muc 2527223 unknown 451 muc 1347
99.29/99.38	c iter 1349 time 95.3545 not-muc 2527223 unknown 450 muc 1348
99.29/99.38	c iter 1350 time 95.4255 not-muc 2527223 unknown 449 muc 1349
99.29/99.38	c iter 1351 time 95.4975 not-muc 2527223 unknown 448 muc 1350
99.29/99.38	c iter 1352 time 95.5685 not-muc 2527223 unknown 447 muc 1351
99.29/99.38	c iter 1353 time 95.6405 not-muc 2527223 unknown 446 muc 1352
99.29/99.38	c iter 1354 time 95.7114 not-muc 2527223 unknown 445 muc 1353
99.29/99.38	c iter 1355 time 95.7714 not-muc 2527223 unknown 444 muc 1354
99.29/99.38	c iter 1356 time 95.8314 not-muc 2527223 unknown 443 muc 1355
99.29/99.38	c iter 1357 time 95.8914 not-muc 2527223 unknown 442 muc 1356
99.29/99.38	c iter 1358 time 95.9514 not-muc 2527223 unknown 441 muc 1357
99.29/99.38	c iter 1359 time 96.0114 not-muc 2527223 unknown 440 muc 1358
99.29/99.38	c iter 1360 time 96.0724 not-muc 2527223 unknown 439 muc 1359
99.29/99.38	c iter 1361 time 96.1324 not-muc 2527223 unknown 438 muc 1360
99.29/99.38	c iter 1362 time 96.1924 not-muc 2527223 unknown 437 muc 1361
99.29/99.38	c iter 1363 time 96.2524 not-muc 2527223 unknown 436 muc 1362
99.29/99.38	c iter 1364 time 96.3124 not-muc 2527223 unknown 435 muc 1363
99.29/99.38	c iter 1365 time 96.3723 not-muc 2527223 unknown 434 muc 1364
99.29/99.38	c iter 1366 time 96.4323 not-muc 2527223 unknown 433 muc 1365
99.29/99.38	c iter 1367 time 96.4923 not-muc 2527223 unknown 432 muc 1366
99.29/99.38	c iter 1368 time 96.5523 not-muc 2527223 unknown 431 muc 1367
99.29/99.38	c iter 1369 time 96.6133 not-muc 2527223 unknown 430 muc 1368
99.29/99.38	c iter 1370 time 96.6733 not-muc 2527223 unknown 429 muc 1369
99.29/99.38	c iter 1371 time 96.7333 not-muc 2527223 unknown 428 muc 1370
99.29/99.38	c iter 1372 time 96.7933 not-muc 2527223 unknown 427 muc 1371
99.29/99.38	c iter 1373 time 96.8543 not-muc 2527223 unknown 426 muc 1372
99.29/99.38	c iter 1374 time 96.9143 not-muc 2527223 unknown 425 muc 1373
99.29/99.38	c iter 1375 time 96.9743 not-muc 2527223 unknown 424 muc 1374
99.29/99.38	c iter 1376 time 97.0342 not-muc 2527223 unknown 423 muc 1375
99.29/99.38	c iter 1377 time 97.0942 not-muc 2527223 unknown 422 muc 1376
99.29/99.38	c iter 1378 time 97.1552 not-muc 2527223 unknown 421 muc 1377
99.29/99.38	c iter 1379 time 97.2152 not-muc 2527223 unknown 420 muc 1378
99.29/99.38	c iter 1380 time 97.2752 not-muc 2527223 unknown 419 muc 1379
99.29/99.38	c iter 1381 time 97.3352 not-muc 2527223 unknown 418 muc 1380
99.29/99.38	c iter 1382 time 97.3962 not-muc 2527223 unknown 417 muc 1381
99.29/99.38	c iter 1383 time 97.4562 not-muc 2527223 unknown 416 muc 1382
99.29/99.38	c iter 1384 time 97.5162 not-muc 2527223 unknown 415 muc 1383
99.29/99.38	c iter 1385 time 97.5772 not-muc 2527223 unknown 414 muc 1384
99.29/99.38	c iter 1386 time 97.6372 not-muc 2527223 unknown 413 muc 1385
99.29/99.38	c iter 1387 time 97.6971 not-muc 2527223 unknown 412 muc 1386
99.29/99.38	c iter 1388 time 97.7581 not-muc 2527223 unknown 411 muc 1387
99.29/99.38	c iter 1389 time 97.8181 not-muc 2527223 unknown 410 muc 1388
99.29/99.38	c iter 1390 time 97.8791 not-muc 2527223 unknown 409 muc 1389
99.29/99.38	c iter 1391 time 97.9391 not-muc 2527223 unknown 408 muc 1390
99.29/99.38	c iter 1392 time 98.0001 not-muc 2527223 unknown 407 muc 1391
99.29/99.38	c iter 1393 time 98.0601 not-muc 2527223 unknown 406 muc 1392
99.29/99.38	c iter 1394 time 98.1201 not-muc 2527223 unknown 405 muc 1393
99.29/99.38	c iter 1395 time 98.1811 not-muc 2527223 unknown 404 muc 1394
99.29/99.38	c iter 1396 time 98.2411 not-muc 2527223 unknown 403 muc 1395
99.29/99.38	c iter 1397 time 98.3021 not-muc 2527223 unknown 402 muc 1396
99.29/99.38	c iter 1398 time 98.362 not-muc 2527223 unknown 401 muc 1397
99.29/99.38	c iter 1399 time 98.423 not-muc 2527223 unknown 400 muc 1398
99.29/99.38	c iter 1400 time 98.483 not-muc 2527223 unknown 399 muc 1399
99.29/99.38	c iter 1401 time 98.544 not-muc 2527223 unknown 398 muc 1400
99.29/99.38	c iter 1402 time 98.604 not-muc 2527223 unknown 397 muc 1401
99.29/99.38	c iter 1403 time 98.665 not-muc 2527223 unknown 396 muc 1402
99.29/99.38	c iter 1404 time 98.725 not-muc 2527223 unknown 395 muc 1403
99.29/99.38	c iter 1405 time 98.786 not-muc 2527223 unknown 394 muc 1404
99.29/99.38	c iter 1406 time 98.847 not-muc 2527223 unknown 393 muc 1405
99.29/99.38	c iter 1407 time 98.907 not-muc 2527223 unknown 392 muc 1406
99.29/99.38	c iter 1408 time 98.968 not-muc 2527223 unknown 391 muc 1407
99.29/99.38	c iter 1409 time 99.0279 not-muc 2527223 unknown 390 muc 1408
99.29/99.38	c iter 1410 time 99.0889 not-muc 2527223 unknown 389 muc 1409
99.29/99.38	c iter 1411 time 99.1499 not-muc 2527223 unknown 388 muc 1410
99.29/99.38	c iter 1412 time 99.2099 not-muc 2527223 unknown 387 muc 1411
104.09/104.17	c iter 1413 time 99.2819 not-muc 2527223 unknown 386 muc 1412
104.09/104.17	c iter 1414 time 99.3529 not-muc 2527223 unknown 385 muc 1413
104.09/104.17	c iter 1415 time 99.4249 not-muc 2527223 unknown 384 muc 1414
104.09/104.17	c iter 1416 time 99.4959 not-muc 2527223 unknown 383 muc 1415
104.09/104.17	c iter 1417 time 99.5669 not-muc 2527223 unknown 382 muc 1416
104.09/104.17	c iter 1418 time 99.6389 not-muc 2527223 unknown 381 muc 1417
104.09/104.17	c iter 1419 time 99.7178 not-muc 2527223 unknown 380 muc 1418
104.09/104.17	c iter 1420 time 99.7898 not-muc 2527223 unknown 379 muc 1419
104.09/104.17	c iter 1421 time 99.8608 not-muc 2527223 unknown 378 muc 1420
104.09/104.17	c iter 1422 time 99.9318 not-muc 2527223 unknown 377 muc 1421
104.09/104.17	c iter 1423 time 100.004 not-muc 2527223 unknown 376 muc 1422
104.09/104.17	c iter 1424 time 100.075 not-muc 2527223 unknown 375 muc 1423
104.09/104.17	c iter 1425 time 100.146 not-muc 2527223 unknown 374 muc 1424
104.09/104.17	c iter 1426 time 100.218 not-muc 2527223 unknown 373 muc 1425
104.09/104.17	c iter 1427 time 100.289 not-muc 2527223 unknown 372 muc 1426
104.09/104.17	c iter 1428 time 100.361 not-muc 2527223 unknown 371 muc 1427
104.09/104.17	c iter 1429 time 100.432 not-muc 2527223 unknown 370 muc 1428
104.09/104.17	c iter 1430 time 100.503 not-muc 2527223 unknown 369 muc 1429
104.09/104.17	c iter 1431 time 100.574 not-muc 2527223 unknown 368 muc 1430
104.09/104.17	c iter 1432 time 100.646 not-muc 2527223 unknown 367 muc 1431
104.09/104.17	c iter 1433 time 100.717 not-muc 2527223 unknown 366 muc 1432
104.09/104.17	c iter 1434 time 100.789 not-muc 2527223 unknown 365 muc 1433
104.09/104.17	c iter 1435 time 100.86 not-muc 2527223 unknown 364 muc 1434
104.09/104.17	c iter 1436 time 100.931 not-muc 2527223 unknown 363 muc 1435
104.09/104.17	c iter 1437 time 101.002 not-muc 2527223 unknown 362 muc 1436
104.09/104.17	c iter 1438 time 101.074 not-muc 2527223 unknown 361 muc 1437
104.09/104.17	c iter 1439 time 101.145 not-muc 2527223 unknown 360 muc 1438
104.09/104.17	c iter 1440 time 101.216 not-muc 2527223 unknown 359 muc 1439
104.09/104.17	c iter 1441 time 101.288 not-muc 2527223 unknown 358 muc 1440
104.09/104.17	c iter 1442 time 101.359 not-muc 2527223 unknown 357 muc 1441
104.09/104.17	c iter 1443 time 101.43 not-muc 2527223 unknown 356 muc 1442
104.09/104.17	c iter 1444 time 101.502 not-muc 2527223 unknown 355 muc 1443
104.09/104.17	c iter 1445 time 101.573 not-muc 2527223 unknown 354 muc 1444
104.09/104.17	c iter 1446 time 101.644 not-muc 2527223 unknown 353 muc 1445
104.09/104.17	c iter 1447 time 101.716 not-muc 2527223 unknown 352 muc 1446
104.09/104.17	c iter 1448 time 101.787 not-muc 2527223 unknown 351 muc 1447
104.09/104.17	c iter 1449 time 101.858 not-muc 2527223 unknown 350 muc 1448
104.09/104.17	c iter 1450 time 101.93 not-muc 2527223 unknown 349 muc 1449
104.09/104.17	c iter 1451 time 102 not-muc 2527223 unknown 348 muc 1450
104.09/104.17	c iter 1452 time 102.071 not-muc 2527223 unknown 347 muc 1451
104.09/104.17	c iter 1453 time 102.142 not-muc 2527223 unknown 346 muc 1452
104.09/104.17	c iter 1454 time 102.213 not-muc 2527223 unknown 345 muc 1453
104.09/104.17	c iter 1455 time 102.284 not-muc 2527223 unknown 344 muc 1454
104.09/104.17	c iter 1456 time 102.355 not-muc 2527223 unknown 343 muc 1455
104.09/104.17	c iter 1457 time 102.426 not-muc 2527223 unknown 342 muc 1456
104.09/104.17	c iter 1458 time 102.497 not-muc 2527223 unknown 341 muc 1457
104.09/104.17	c iter 1459 time 102.568 not-muc 2527223 unknown 340 muc 1458
104.09/104.17	c iter 1460 time 102.639 not-muc 2527223 unknown 339 muc 1459
104.09/104.17	c iter 1461 time 102.711 not-muc 2527223 unknown 338 muc 1460
104.09/104.17	c iter 1462 time 102.782 not-muc 2527223 unknown 337 muc 1461
104.09/104.17	c iter 1463 time 102.853 not-muc 2527223 unknown 336 muc 1462
104.09/104.17	c iter 1464 time 102.924 not-muc 2527223 unknown 335 muc 1463
104.09/104.17	c iter 1465 time 102.996 not-muc 2527223 unknown 334 muc 1464
104.09/104.17	c iter 1466 time 103.068 not-muc 2527223 unknown 333 muc 1465
104.09/104.17	c iter 1467 time 103.139 not-muc 2527223 unknown 332 muc 1466
104.09/104.17	c iter 1468 time 103.211 not-muc 2527223 unknown 331 muc 1467
104.09/104.17	c iter 1469 time 103.282 not-muc 2527223 unknown 330 muc 1468
104.09/104.17	c iter 1470 time 103.353 not-muc 2527223 unknown 329 muc 1469
104.09/104.17	c iter 1471 time 103.424 not-muc 2527223 unknown 328 muc 1470
104.09/104.17	c iter 1472 time 103.495 not-muc 2527223 unknown 327 muc 1471
104.09/104.17	c iter 1473 time 103.566 not-muc 2527223 unknown 326 muc 1472
104.09/104.17	c iter 1474 time 103.637 not-muc 2527223 unknown 325 muc 1473
104.09/104.17	c iter 1475 time 103.708 not-muc 2527223 unknown 324 muc 1474
104.09/104.17	c iter 1476 time 103.78 not-muc 2527223 unknown 323 muc 1475
104.09/104.17	c iter 1477 time 103.859 not-muc 2527223 unknown 322 muc 1476
104.09/104.17	c iter 1478 time 103.93 not-muc 2527223 unknown 321 muc 1477
104.09/104.17	c iter 1479 time 104.001 not-muc 2527223 unknown 320 muc 1478
108.79/108.87	c iter 1480 time 104.072 not-muc 2527223 unknown 319 muc 1479
108.79/108.87	c iter 1481 time 104.143 not-muc 2527223 unknown 318 muc 1480
108.79/108.87	c iter 1482 time 104.214 not-muc 2527223 unknown 317 muc 1481
108.79/108.87	c iter 1483 time 104.285 not-muc 2527223 unknown 316 muc 1482
108.79/108.87	c iter 1484 time 104.356 not-muc 2527223 unknown 315 muc 1483
108.79/108.87	c iter 1485 time 104.427 not-muc 2527223 unknown 314 muc 1484
108.79/108.87	c iter 1486 time 104.498 not-muc 2527223 unknown 313 muc 1485
108.79/108.87	c iter 1487 time 104.569 not-muc 2527223 unknown 312 muc 1486
108.79/108.87	c iter 1488 time 104.64 not-muc 2527223 unknown 311 muc 1487
108.79/108.87	c iter 1489 time 104.711 not-muc 2527223 unknown 310 muc 1488
108.79/108.87	c iter 1490 time 104.782 not-muc 2527223 unknown 309 muc 1489
108.79/108.87	c iter 1491 time 104.853 not-muc 2527223 unknown 308 muc 1490
108.79/108.87	c iter 1492 time 104.924 not-muc 2527223 unknown 307 muc 1491
108.79/108.87	c iter 1493 time 104.995 not-muc 2527223 unknown 306 muc 1492
108.79/108.87	c iter 1494 time 105.066 not-muc 2527223 unknown 305 muc 1493
108.79/108.87	c iter 1495 time 105.137 not-muc 2527223 unknown 304 muc 1494
108.79/108.87	c iter 1496 time 105.209 not-muc 2527223 unknown 303 muc 1495
108.79/108.87	c iter 1497 time 105.28 not-muc 2527223 unknown 302 muc 1496
108.79/108.87	c iter 1498 time 105.351 not-muc 2527223 unknown 301 muc 1497
108.79/108.87	c iter 1499 time 105.422 not-muc 2527223 unknown 300 muc 1498
108.79/108.87	c iter 1500 time 105.493 not-muc 2527223 unknown 299 muc 1499
108.79/108.87	c iter 1501 time 105.564 not-muc 2527223 unknown 298 muc 1500
108.79/108.87	c iter 1502 time 105.635 not-muc 2527223 unknown 297 muc 1501
108.79/108.87	c iter 1503 time 105.706 not-muc 2527223 unknown 296 muc 1502
108.79/108.87	c iter 1504 time 105.777 not-muc 2527223 unknown 295 muc 1503
108.79/108.87	c iter 1505 time 105.848 not-muc 2527223 unknown 294 muc 1504
108.79/108.87	c iter 1506 time 105.919 not-muc 2527223 unknown 293 muc 1505
108.79/108.87	c iter 1507 time 105.99 not-muc 2527223 unknown 292 muc 1506
108.79/108.87	c iter 1508 time 106.061 not-muc 2527223 unknown 291 muc 1507
108.79/108.87	c iter 1509 time 106.132 not-muc 2527223 unknown 290 muc 1508
108.79/108.87	c iter 1510 time 106.204 not-muc 2527223 unknown 289 muc 1509
108.79/108.87	c iter 1511 time 106.275 not-muc 2527223 unknown 288 muc 1510
108.79/108.87	c iter 1512 time 106.346 not-muc 2527223 unknown 287 muc 1511
108.79/108.87	c iter 1513 time 106.417 not-muc 2527223 unknown 286 muc 1512
108.79/108.87	c iter 1514 time 106.488 not-muc 2527223 unknown 285 muc 1513
108.79/108.87	c iter 1515 time 106.559 not-muc 2527223 unknown 284 muc 1514
108.79/108.87	c iter 1516 time 106.63 not-muc 2527223 unknown 283 muc 1515
108.79/108.87	c iter 1517 time 106.701 not-muc 2527223 unknown 282 muc 1516
108.79/108.87	c iter 1518 time 106.772 not-muc 2527223 unknown 281 muc 1517
108.79/108.87	c iter 1519 time 106.843 not-muc 2527223 unknown 280 muc 1518
108.79/108.87	c iter 1520 time 106.914 not-muc 2527223 unknown 279 muc 1519
108.79/108.87	c iter 1521 time 106.985 not-muc 2527223 unknown 278 muc 1520
108.79/108.87	c iter 1522 time 107.056 not-muc 2527223 unknown 277 muc 1521
108.79/108.87	c iter 1523 time 107.127 not-muc 2527223 unknown 276 muc 1522
108.79/108.87	c iter 1524 time 107.198 not-muc 2527223 unknown 275 muc 1523
108.79/108.87	c iter 1525 time 107.269 not-muc 2527223 unknown 274 muc 1524
108.79/108.87	c iter 1526 time 107.34 not-muc 2527223 unknown 273 muc 1525
108.79/108.87	c iter 1527 time 107.411 not-muc 2527223 unknown 272 muc 1526
108.79/108.87	c iter 1528 time 107.482 not-muc 2527223 unknown 271 muc 1527
108.79/108.87	c iter 1529 time 107.553 not-muc 2527223 unknown 270 muc 1528
108.79/108.87	c iter 1530 time 107.623 not-muc 2527223 unknown 269 muc 1529
108.79/108.87	c iter 1531 time 107.694 not-muc 2527223 unknown 268 muc 1530
108.79/108.87	c iter 1532 time 107.765 not-muc 2527223 unknown 267 muc 1531
108.79/108.87	c iter 1533 time 107.836 not-muc 2527223 unknown 266 muc 1532
108.79/108.87	c iter 1534 time 107.907 not-muc 2527223 unknown 265 muc 1533
108.79/108.87	c iter 1535 time 107.978 not-muc 2527223 unknown 264 muc 1534
108.79/108.87	c iter 1536 time 108.057 not-muc 2527223 unknown 263 muc 1535
108.79/108.87	c iter 1537 time 108.128 not-muc 2527223 unknown 262 muc 1536
108.79/108.87	c iter 1538 time 108.199 not-muc 2527223 unknown 261 muc 1537
108.79/108.87	c iter 1539 time 108.27 not-muc 2527223 unknown 260 muc 1538
108.79/108.87	c iter 1540 time 108.341 not-muc 2527223 unknown 259 muc 1539
108.79/108.87	c iter 1541 time 108.411 not-muc 2527223 unknown 258 muc 1540
108.79/108.87	c iter 1542 time 108.482 not-muc 2527223 unknown 257 muc 1541
108.79/108.87	c iter 1543 time 108.552 not-muc 2527223 unknown 256 muc 1542
108.79/108.87	c iter 1544 time 108.623 not-muc 2527223 unknown 255 muc 1543
108.79/108.87	c iter 1545 time 108.694 not-muc 2527223 unknown 254 muc 1544
113.49/113.51	c iter 1546 time 108.765 not-muc 2527223 unknown 253 muc 1545
113.49/113.51	c iter 1547 time 108.836 not-muc 2527223 unknown 252 muc 1546
113.49/113.51	c iter 1548 time 108.906 not-muc 2527223 unknown 251 muc 1547
113.49/113.51	c iter 1549 time 108.977 not-muc 2527223 unknown 250 muc 1548
113.49/113.51	c iter 1550 time 109.048 not-muc 2527223 unknown 249 muc 1549
113.49/113.51	c iter 1551 time 109.118 not-muc 2527223 unknown 248 muc 1550
113.49/113.51	c iter 1552 time 109.189 not-muc 2527223 unknown 247 muc 1551
113.49/113.51	c iter 1553 time 109.26 not-muc 2527223 unknown 246 muc 1552
113.49/113.51	c iter 1554 time 109.331 not-muc 2527223 unknown 245 muc 1553
113.49/113.51	c iter 1555 time 109.401 not-muc 2527223 unknown 244 muc 1554
113.49/113.51	c iter 1556 time 109.472 not-muc 2527223 unknown 243 muc 1555
113.49/113.51	c iter 1557 time 109.543 not-muc 2527223 unknown 242 muc 1556
113.49/113.51	c iter 1558 time 109.613 not-muc 2527223 unknown 241 muc 1557
113.49/113.51	c iter 1559 time 109.684 not-muc 2527223 unknown 240 muc 1558
113.49/113.51	c iter 1560 time 109.755 not-muc 2527223 unknown 239 muc 1559
113.49/113.51	c iter 1561 time 109.826 not-muc 2527223 unknown 238 muc 1560
113.49/113.51	c iter 1562 time 109.896 not-muc 2527223 unknown 237 muc 1561
113.49/113.51	c iter 1563 time 109.967 not-muc 2527223 unknown 236 muc 1562
113.49/113.51	c iter 1564 time 110.038 not-muc 2527223 unknown 235 muc 1563
113.49/113.51	c iter 1565 time 110.109 not-muc 2527223 unknown 234 muc 1564
113.49/113.51	c iter 1566 time 110.18 not-muc 2527223 unknown 233 muc 1565
113.49/113.51	c iter 1567 time 110.25 not-muc 2527223 unknown 232 muc 1566
113.49/113.51	c iter 1568 time 110.321 not-muc 2527223 unknown 231 muc 1567
113.49/113.51	c iter 1569 time 110.392 not-muc 2527223 unknown 230 muc 1568
113.49/113.51	c iter 1570 time 110.462 not-muc 2527223 unknown 229 muc 1569
113.49/113.51	c iter 1571 time 110.533 not-muc 2527223 unknown 228 muc 1570
113.49/113.51	c iter 1572 time 110.604 not-muc 2527223 unknown 227 muc 1571
113.49/113.51	c iter 1573 time 110.675 not-muc 2527223 unknown 226 muc 1572
113.49/113.51	c iter 1574 time 110.745 not-muc 2527223 unknown 225 muc 1573
113.49/113.51	c iter 1575 time 110.816 not-muc 2527223 unknown 224 muc 1574
113.49/113.51	c iter 1576 time 110.887 not-muc 2527223 unknown 223 muc 1575
113.49/113.51	c iter 1577 time 110.958 not-muc 2527223 unknown 222 muc 1576
113.49/113.51	c iter 1578 time 111.029 not-muc 2527223 unknown 221 muc 1577
113.49/113.51	c iter 1579 time 111.1 not-muc 2527223 unknown 220 muc 1578
113.49/113.51	c iter 1580 time 111.171 not-muc 2527223 unknown 219 muc 1579
113.49/113.51	c iter 1581 time 111.242 not-muc 2527223 unknown 218 muc 1580
113.49/113.51	c iter 1582 time 111.312 not-muc 2527223 unknown 217 muc 1581
113.49/113.51	c iter 1583 time 111.383 not-muc 2527223 unknown 216 muc 1582
113.49/113.51	c iter 1584 time 111.454 not-muc 2527223 unknown 215 muc 1583
113.49/113.51	c iter 1585 time 111.525 not-muc 2527223 unknown 214 muc 1584
113.49/113.51	c iter 1586 time 111.596 not-muc 2527223 unknown 213 muc 1585
113.49/113.51	c iter 1587 time 111.666 not-muc 2527223 unknown 212 muc 1586
113.49/113.51	c iter 1588 time 111.737 not-muc 2527223 unknown 211 muc 1587
113.49/113.51	c iter 1589 time 111.808 not-muc 2527223 unknown 210 muc 1588
113.49/113.51	c iter 1590 time 111.887 not-muc 2527223 unknown 209 muc 1589
113.49/113.51	c iter 1591 time 111.958 not-muc 2527223 unknown 208 muc 1590
113.49/113.51	c iter 1592 time 112.028 not-muc 2527223 unknown 207 muc 1591
113.49/113.51	c iter 1593 time 112.099 not-muc 2527223 unknown 206 muc 1592
113.49/113.51	c iter 1594 time 112.17 not-muc 2527223 unknown 205 muc 1593
113.49/113.51	c iter 1595 time 112.241 not-muc 2527223 unknown 204 muc 1594
113.49/113.51	c iter 1596 time 112.311 not-muc 2527223 unknown 203 muc 1595
113.49/113.51	c iter 1597 time 112.382 not-muc 2527223 unknown 202 muc 1596
113.49/113.51	c iter 1598 time 112.453 not-muc 2527223 unknown 201 muc 1597
113.49/113.51	c iter 1599 time 112.523 not-muc 2527223 unknown 200 muc 1598
113.49/113.51	c iter 1600 time 112.594 not-muc 2527223 unknown 199 muc 1599
113.49/113.51	c iter 1601 time 112.665 not-muc 2527223 unknown 198 muc 1600
113.49/113.51	c iter 1602 time 112.735 not-muc 2527223 unknown 197 muc 1601
113.49/113.51	c iter 1603 time 112.806 not-muc 2527223 unknown 196 muc 1602
113.49/113.51	c iter 1604 time 112.877 not-muc 2527223 unknown 195 muc 1603
113.49/113.51	c iter 1605 time 112.936 not-muc 2527223 unknown 194 muc 1604
113.49/113.51	c iter 1606 time 112.996 not-muc 2527223 unknown 193 muc 1605
113.49/113.51	c iter 1607 time 113.067 not-muc 2527223 unknown 192 muc 1606
113.49/113.51	c iter 1608 time 113.137 not-muc 2527223 unknown 191 muc 1607
113.49/113.51	c iter 1609 time 113.197 not-muc 2527223 unknown 190 muc 1608
113.49/113.51	c iter 1610 time 113.268 not-muc 2527223 unknown 189 muc 1609
113.49/113.51	c iter 1611 time 113.338 not-muc 2527223 unknown 188 muc 1610
117.99/118.05	c iter 1612 time 113.409 not-muc 2527223 unknown 187 muc 1611
117.99/118.05	c iter 1613 time 113.48 not-muc 2527223 unknown 186 muc 1612
117.99/118.05	c iter 1614 time 113.55 not-muc 2527223 unknown 185 muc 1613
117.99/118.05	c iter 1615 time 113.621 not-muc 2527223 unknown 184 muc 1614
117.99/118.05	c iter 1616 time 113.691 not-muc 2527223 unknown 183 muc 1615
117.99/118.05	c iter 1617 time 113.762 not-muc 2527223 unknown 182 muc 1616
117.99/118.05	c iter 1618 time 113.833 not-muc 2527223 unknown 181 muc 1617
117.99/118.05	c iter 1619 time 113.904 not-muc 2527223 unknown 180 muc 1618
117.99/118.05	c iter 1620 time 113.975 not-muc 2527223 unknown 179 muc 1619
117.99/118.05	c iter 1621 time 114.045 not-muc 2527223 unknown 178 muc 1620
117.99/118.05	c iter 1622 time 114.116 not-muc 2527223 unknown 177 muc 1621
117.99/118.05	c iter 1623 time 114.187 not-muc 2527223 unknown 176 muc 1622
117.99/118.05	c iter 1624 time 114.258 not-muc 2527223 unknown 175 muc 1623
117.99/118.05	c iter 1625 time 114.328 not-muc 2527223 unknown 174 muc 1624
117.99/118.05	c iter 1626 time 114.399 not-muc 2527223 unknown 173 muc 1625
117.99/118.05	c iter 1627 time 114.469 not-muc 2527223 unknown 172 muc 1626
117.99/118.05	c iter 1628 time 114.548 not-muc 2527223 unknown 171 muc 1627
117.99/118.05	c iter 1629 time 114.619 not-muc 2527223 unknown 170 muc 1628
117.99/118.05	c iter 1630 time 114.689 not-muc 2527223 unknown 169 muc 1629
117.99/118.05	c iter 1631 time 114.76 not-muc 2527223 unknown 168 muc 1630
117.99/118.05	c iter 1632 time 114.831 not-muc 2527223 unknown 167 muc 1631
117.99/118.05	c iter 1633 time 114.902 not-muc 2527223 unknown 166 muc 1632
117.99/118.05	c iter 1634 time 114.972 not-muc 2527223 unknown 165 muc 1633
117.99/118.05	c iter 1635 time 115.043 not-muc 2527223 unknown 164 muc 1634
117.99/118.05	c iter 1636 time 115.114 not-muc 2527223 unknown 163 muc 1635
117.99/118.05	c iter 1637 time 115.183 not-muc 2527223 unknown 162 muc 1636
117.99/118.05	c iter 1638 time 115.254 not-muc 2527223 unknown 161 muc 1637
117.99/118.05	c iter 1639 time 115.325 not-muc 2527223 unknown 160 muc 1638
117.99/118.05	c iter 1640 time 115.395 not-muc 2527223 unknown 159 muc 1639
117.99/118.05	c iter 1641 time 115.466 not-muc 2527223 unknown 158 muc 1640
117.99/118.05	c iter 1642 time 115.537 not-muc 2527223 unknown 157 muc 1641
117.99/118.05	c iter 1643 time 115.607 not-muc 2527223 unknown 156 muc 1642
117.99/118.05	c iter 1644 time 115.678 not-muc 2527223 unknown 155 muc 1643
117.99/118.05	c iter 1645 time 115.749 not-muc 2527223 unknown 154 muc 1644
117.99/118.05	c iter 1646 time 115.819 not-muc 2527223 unknown 153 muc 1645
117.99/118.05	c iter 1647 time 115.89 not-muc 2527223 unknown 152 muc 1646
117.99/118.05	c iter 1648 time 115.961 not-muc 2527223 unknown 151 muc 1647
117.99/118.05	c iter 1649 time 116.031 not-muc 2527223 unknown 150 muc 1648
117.99/118.05	c iter 1650 time 116.102 not-muc 2527223 unknown 149 muc 1649
117.99/118.05	c iter 1651 time 116.172 not-muc 2527223 unknown 148 muc 1650
117.99/118.05	c iter 1652 time 116.232 not-muc 2527223 unknown 147 muc 1651
117.99/118.05	c iter 1653 time 116.291 not-muc 2527223 unknown 146 muc 1652
117.99/118.05	c iter 1654 time 116.362 not-muc 2527223 unknown 145 muc 1653
117.99/118.05	c iter 1655 time 116.421 not-muc 2527223 unknown 144 muc 1654
117.99/118.05	c iter 1656 time 116.48 not-muc 2527223 unknown 143 muc 1655
117.99/118.05	c iter 1657 time 116.539 not-muc 2527223 unknown 142 muc 1656
117.99/118.05	c iter 1658 time 116.61 not-muc 2527223 unknown 141 muc 1657
117.99/118.05	c iter 1659 time 116.669 not-muc 2527223 unknown 140 muc 1658
117.99/118.05	c iter 1660 time 116.729 not-muc 2527223 unknown 139 muc 1659
117.99/118.05	c iter 1661 time 116.788 not-muc 2527223 unknown 138 muc 1660
117.99/118.05	c iter 1662 time 116.859 not-muc 2527223 unknown 137 muc 1661
117.99/118.05	c iter 1663 time 116.918 not-muc 2527223 unknown 136 muc 1662
117.99/118.05	c iter 1664 time 116.977 not-muc 2527223 unknown 135 muc 1663
117.99/118.05	c iter 1665 time 117.036 not-muc 2527223 unknown 134 muc 1664
117.99/118.05	c iter 1666 time 117.115 not-muc 2527223 unknown 133 muc 1665
117.99/118.05	c iter 1667 time 117.174 not-muc 2527223 unknown 132 muc 1666
117.99/118.05	c iter 1668 time 117.245 not-muc 2527223 unknown 131 muc 1667
117.99/118.05	c iter 1669 time 117.315 not-muc 2527223 unknown 130 muc 1668
117.99/118.05	c iter 1670 time 117.386 not-muc 2527223 unknown 129 muc 1669
117.99/118.05	c iter 1671 time 117.456 not-muc 2527223 unknown 128 muc 1670
117.99/118.05	c iter 1672 time 117.527 not-muc 2527223 unknown 127 muc 1671
117.99/118.05	c iter 1673 time 117.597 not-muc 2527223 unknown 126 muc 1672
117.99/118.05	c iter 1674 time 117.668 not-muc 2527223 unknown 125 muc 1673
117.99/118.05	c iter 1675 time 117.739 not-muc 2527223 unknown 124 muc 1674
117.99/118.05	c iter 1676 time 117.809 not-muc 2527223 unknown 123 muc 1675
117.99/118.05	c iter 1677 time 117.88 not-muc 2527223 unknown 122 muc 1676
122.69/122.79	c iter 1678 time 117.951 not-muc 2527223 unknown 121 muc 1677
122.69/122.79	c iter 1679 time 118.021 not-muc 2527223 unknown 120 muc 1678
122.69/122.79	c iter 1680 time 118.092 not-muc 2527223 unknown 119 muc 1679
122.69/122.79	c iter 1681 time 118.162 not-muc 2527223 unknown 118 muc 1680
122.69/122.79	c iter 1682 time 118.233 not-muc 2527223 unknown 117 muc 1681
122.69/122.79	c iter 1683 time 118.303 not-muc 2527223 unknown 116 muc 1682
122.69/122.79	c iter 1684 time 118.374 not-muc 2527223 unknown 115 muc 1683
122.69/122.79	c iter 1685 time 118.444 not-muc 2527223 unknown 114 muc 1684
122.69/122.79	c iter 1686 time 118.515 not-muc 2527223 unknown 113 muc 1685
122.69/122.79	c iter 1687 time 118.585 not-muc 2527223 unknown 112 muc 1686
122.69/122.79	c iter 1688 time 118.655 not-muc 2527223 unknown 111 muc 1687
122.69/122.79	c iter 1689 time 118.726 not-muc 2527223 unknown 110 muc 1688
122.69/122.79	c iter 1690 time 118.797 not-muc 2527223 unknown 109 muc 1689
122.69/122.79	c iter 1691 time 118.867 not-muc 2527223 unknown 108 muc 1690
122.69/122.79	c iter 1692 time 118.938 not-muc 2527223 unknown 107 muc 1691
122.69/122.79	c iter 1693 time 119.008 not-muc 2527223 unknown 106 muc 1692
122.69/122.79	c iter 1694 time 119.087 not-muc 2527223 unknown 105 muc 1693
122.69/122.79	c iter 1695 time 119.157 not-muc 2527223 unknown 104 muc 1694
122.69/122.79	c iter 1696 time 119.228 not-muc 2527223 unknown 103 muc 1695
122.69/122.79	c iter 1697 time 119.298 not-muc 2527223 unknown 102 muc 1696
122.69/122.79	c iter 1698 time 119.369 not-muc 2527223 unknown 101 muc 1697
122.69/122.79	c iter 1699 time 119.439 not-muc 2527223 unknown 100 muc 1698
122.69/122.79	c iter 1700 time 119.509 not-muc 2527223 unknown 99 muc 1699
122.69/122.79	c iter 1701 time 119.58 not-muc 2527223 unknown 98 muc 1700
122.69/122.79	c iter 1702 time 119.65 not-muc 2527223 unknown 97 muc 1701
122.69/122.79	c iter 1703 time 119.721 not-muc 2527223 unknown 96 muc 1702
122.69/122.79	c iter 1704 time 119.792 not-muc 2527223 unknown 95 muc 1703
122.69/122.79	c iter 1705 time 119.863 not-muc 2527223 unknown 94 muc 1704
122.69/122.79	c iter 1706 time 119.933 not-muc 2527223 unknown 93 muc 1705
122.69/122.79	c iter 1707 time 120.004 not-muc 2527223 unknown 92 muc 1706
122.69/122.79	c iter 1708 time 120.074 not-muc 2527223 unknown 91 muc 1707
122.69/122.79	c iter 1709 time 120.144 not-muc 2527223 unknown 90 muc 1708
122.69/122.79	c iter 1710 time 120.215 not-muc 2527223 unknown 89 muc 1709
122.69/122.79	c iter 1711 time 120.285 not-muc 2527223 unknown 88 muc 1710
122.69/122.79	c iter 1712 time 120.355 not-muc 2527223 unknown 87 muc 1711
122.69/122.79	c iter 1713 time 120.426 not-muc 2527223 unknown 86 muc 1712
122.69/122.79	c iter 1714 time 120.496 not-muc 2527223 unknown 85 muc 1713
122.69/122.79	c iter 1715 time 120.566 not-muc 2527223 unknown 84 muc 1714
122.69/122.79	c iter 1716 time 120.637 not-muc 2527223 unknown 83 muc 1715
122.69/122.79	c iter 1717 time 120.715 not-muc 2527223 unknown 82 muc 1716
122.69/122.79	c iter 1718 time 120.786 not-muc 2527223 unknown 81 muc 1717
122.69/122.79	c iter 1719 time 120.856 not-muc 2527223 unknown 80 muc 1718
122.69/122.79	c iter 1720 time 120.926 not-muc 2527223 unknown 79 muc 1719
122.69/122.79	c iter 1721 time 120.997 not-muc 2527223 unknown 78 muc 1720
122.69/122.79	c iter 1722 time 121.067 not-muc 2527223 unknown 77 muc 1721
122.69/122.79	c iter 1723 time 121.137 not-muc 2527223 unknown 76 muc 1722
122.69/122.79	c iter 1724 time 121.207 not-muc 2527223 unknown 75 muc 1723
122.69/122.79	c iter 1725 time 121.278 not-muc 2527223 unknown 74 muc 1724
122.69/122.79	c iter 1726 time 121.348 not-muc 2527223 unknown 73 muc 1725
122.69/122.79	c iter 1727 time 121.418 not-muc 2527223 unknown 72 muc 1726
122.69/122.79	c iter 1728 time 121.489 not-muc 2527223 unknown 71 muc 1727
122.69/122.79	c iter 1729 time 121.559 not-muc 2527223 unknown 70 muc 1728
122.69/122.79	c iter 1730 time 121.629 not-muc 2527223 unknown 69 muc 1729
122.69/122.79	c iter 1731 time 121.699 not-muc 2527223 unknown 68 muc 1730
122.69/122.79	c iter 1732 time 121.769 not-muc 2527223 unknown 67 muc 1731
122.69/122.79	c iter 1733 time 121.839 not-muc 2527223 unknown 66 muc 1732
122.69/122.79	c iter 1734 time 121.91 not-muc 2527223 unknown 65 muc 1733
122.69/122.79	c iter 1735 time 121.988 not-muc 2527223 unknown 64 muc 1734
122.69/122.79	c iter 1736 time 122.058 not-muc 2527223 unknown 63 muc 1735
122.69/122.79	c iter 1737 time 122.129 not-muc 2527223 unknown 62 muc 1736
122.69/122.79	c iter 1738 time 122.199 not-muc 2527223 unknown 61 muc 1737
122.69/122.79	c iter 1739 time 122.269 not-muc 2527223 unknown 60 muc 1738
122.69/122.79	c iter 1740 time 122.339 not-muc 2527223 unknown 59 muc 1739
122.69/122.79	c iter 1741 time 122.41 not-muc 2527223 unknown 58 muc 1740
122.69/122.79	c iter 1742 time 122.48 not-muc 2527223 unknown 57 muc 1741
122.69/122.79	c iter 1743 time 122.55 not-muc 2527223 unknown 56 muc 1742
122.69/122.79	c iter 1744 time 122.62 not-muc 2527223 unknown 55 muc 1743
126.59/126.67	c iter 1745 time 122.691 not-muc 2527223 unknown 54 muc 1744
126.59/126.67	c iter 1746 time 122.761 not-muc 2527223 unknown 53 muc 1745
126.59/126.67	c iter 1747 time 122.832 not-muc 2527223 unknown 52 muc 1746
126.59/126.67	c iter 1748 time 122.902 not-muc 2527223 unknown 51 muc 1747
126.59/126.67	c iter 1749 time 122.972 not-muc 2527223 unknown 50 muc 1748
126.59/126.67	c iter 1750 time 123.042 not-muc 2527223 unknown 49 muc 1749
126.59/126.67	c iter 1751 time 123.121 not-muc 2527223 unknown 48 muc 1750
126.59/126.67	c iter 1752 time 123.191 not-muc 2527223 unknown 47 muc 1751
126.59/126.67	c iter 1753 time 123.261 not-muc 2527223 unknown 46 muc 1752
126.59/126.67	c iter 1754 time 123.331 not-muc 2527223 unknown 45 muc 1753
126.59/126.67	c iter 1755 time 123.401 not-muc 2527223 unknown 44 muc 1754
126.59/126.67	c iter 1756 time 123.472 not-muc 2527223 unknown 43 muc 1755
126.59/126.67	c iter 1757 time 123.542 not-muc 2527223 unknown 42 muc 1756
126.59/126.67	c iter 1758 time 123.612 not-muc 2527223 unknown 41 muc 1757
126.59/126.67	c iter 1759 time 123.682 not-muc 2527223 unknown 40 muc 1758
126.59/126.67	c iter 1760 time 123.752 not-muc 2527223 unknown 39 muc 1759
126.59/126.67	c iter 1761 time 123.823 not-muc 2527223 unknown 38 muc 1760
126.59/126.67	c iter 1762 time 123.893 not-muc 2527223 unknown 37 muc 1761
126.59/126.67	c iter 1763 time 123.964 not-muc 2527223 unknown 36 muc 1762
126.59/126.67	c iter 1764 time 124.034 not-muc 2527223 unknown 35 muc 1763
126.59/126.67	c iter 1765 time 124.104 not-muc 2527223 unknown 34 muc 1764
126.59/126.67	c iter 1766 time 124.174 not-muc 2527223 unknown 33 muc 1765
126.59/126.67	c iter 1767 time 124.244 not-muc 2527223 unknown 32 muc 1766
126.59/126.67	c iter 1768 time 124.322 not-muc 2527223 unknown 31 muc 1767
126.59/126.67	c iter 1769 time 124.392 not-muc 2527223 unknown 30 muc 1768
126.59/126.67	c iter 1770 time 124.462 not-muc 2527223 unknown 29 muc 1769
126.59/126.67	c iter 1771 time 124.521 not-muc 2527223 unknown 28 muc 1770
126.59/126.67	c iter 1772 time 124.58 not-muc 2527223 unknown 27 muc 1771
126.59/126.67	c iter 1773 time 124.65 not-muc 2527223 unknown 26 muc 1772
126.59/126.67	c iter 1774 time 124.72 not-muc 2527223 unknown 25 muc 1773
126.59/126.67	c iter 1775 time 124.791 not-muc 2527223 unknown 24 muc 1774
126.59/126.67	c iter 1776 time 124.861 not-muc 2527223 unknown 23 muc 1775
126.59/126.67	c iter 1777 time 124.931 not-muc 2527223 unknown 22 muc 1776
126.59/126.67	c iter 1778 time 125.009 not-muc 2527223 unknown 21 muc 1777
126.59/126.67	c iter 1779 time 125.079 not-muc 2527223 unknown 20 muc 1778
126.59/126.67	c iter 1780 time 125.149 not-muc 2527223 unknown 19 muc 1779
126.59/126.67	c iter 1781 time 125.22 not-muc 2527223 unknown 18 muc 1780
126.59/126.67	c iter 1782 time 125.29 not-muc 2527223 unknown 17 muc 1781
126.59/126.67	c iter 1783 time 125.36 not-muc 2527223 unknown 16 muc 1782
126.59/126.67	c iter 1784 time 125.43 not-muc 2527223 unknown 15 muc 1783
126.59/126.67	c iter 1785 time 125.5 not-muc 2527223 unknown 14 muc 1784
126.59/126.67	c iter 1786 time 125.578 not-muc 2527223 unknown 13 muc 1785
126.59/126.67	c iter 1787 time 125.648 not-muc 2527223 unknown 12 muc 1786
126.59/126.67	c iter 1788 time 125.718 not-muc 2527223 unknown 11 muc 1787
126.59/126.67	c iter 1789 time 125.789 not-muc 2527223 unknown 10 muc 1788
126.59/126.67	c iter 1790 time 125.859 not-muc 2527223 unknown 9 muc 1789
126.59/126.67	c iter 1791 time 125.929 not-muc 2527223 unknown 8 muc 1790
126.59/126.67	c iter 1792 time 125.999 not-muc 2527223 unknown 7 muc 1791
126.59/126.67	c iter 1793 time 126.069 not-muc 2527223 unknown 6 muc 1792
126.59/126.67	c iter 1794 time 126.139 not-muc 2527223 unknown 5 muc 1793
126.59/126.67	c iter 1795 time 126.216 not-muc 2527223 unknown 4 muc 1794
126.59/126.67	c iter 1796 time 126.287 not-muc 2527223 unknown 3 muc 1795
126.59/126.67	c iter 1797 time 126.357 not-muc 2527223 unknown 2 muc 1796
126.59/126.67	c iter 1798 time 126.427 not-muc 2527223 unknown 1 muc 1797
126.59/126.67	c final iter 1799 time 126.497 not-muc 2527223 unknown 0 muc 1798
126.59/126.67	v 920899 920904 920905 920909 920947 920951 921133 921138 921139 921144 921155 921158 921161 921164 922460 923534 923536 923539 923542 923545 923562 923567 923578 923582 923585 923588 923602 923607 923609 923613 926227 995737 995742 995743 995747 995785 995789 995800 995805 995806 995811 995822 995825 995828 995831 1049665 1049669 1049672 1049675 1049677 1049681 1049684 1049687 1049689 1049693 1049696 1049699 1049701 1049705 1049708 1049711 1177736 1178810 1178812 1178815 1178818 1178821 1178838 1178843 1178854 1178858 1178862 1178865 1178866 1178870 1178876 1178879 1234681 1234686 1234687 1234691 1234729 1234733 1234915 1234920 1234921 1234926 1234937 1234940 1234943 1234946 1239565 1239570 1239571 1239575 1239613 1239617 1239799 1239804 1239805 1239810 1239821 1239824 1239827 1239830 1245793 1245798 1245799 1245803 1245841 1245845 1246027 1246032 1246033 1246038 1246049 1246052 1246055 1246058 1248841 1248846 1248847 1248851 1248889 1248893 1248904 1248909 1248910 1248915 1248926 1248929 1248932 1248935 1302769 1302774 1302776 1302780 1302781 1302786 1302788 1302792 1302793 1302798 1302800 1302804 1302805 1302810 1302812 1302816 1383043 1383046 1383592 1383595 1383598 1383601 1383604 1383607 1383610 1383679 1383682 1383685 1383688 1383691 1383694 1383697 1429546 1429551 1429552 1429556 1429657 1429661 1430824 1430829 1430830 1430834 1430837 1430840 1431914 1431916 1431919 1431922 1431925 1431929 1431932 1431935 1431942 1431947 1431958 1431962 1431965 1431968 1431970 1431975 1431976 1431980 1431984 1487785 1487790 1487791 1487795 1487833 1487837 1488019 1488024 1488025 1488030 1488041 1488044 1488047 1488050 1492669 1492674 1492675 1492679 1492717 1492721 1492903 1492908 1492909 1492914 1492925 1492928 1492931 1492934 1498897 1498902 1498903 1498907 1498945 1498949 1499131 1499136 1499137 1499142 1499153 1499156 1499159 1499162 1501945 1501950 1501951 1501955 1501993 1501997 1502008 1502013 1502014 1502019 1502030 1502033 1502036 1502039 1555873 1555877 1555880 1555883 1555885 1555889 1555892 1555895 1555897 1555901 1555904 1555907 1555909 1555913 1555916 1555919 1586584 1586588 1586591 1586594 1586603 1586620 1586624 1586627 1586630 1586639 1586656 1586660 1586663 1586666 1586675 1586740 1586744 1586747 1586750 1586759 1591975 1591979 1591982 1591985 1591994 1592011 1592015 1592018 1592021 1592030 1592047 1592051 1592054 1592057 1592066 1592083 1592087 1592090 1592093 1592102 1592119 1592123 1592126 1592129 1592138 1592155 1592159 1592162 1592165 1592174 1592191 1592195 1592198 1592201 1592210 1630843 1630847 1630853 1630874 1630877 1630933 1630937 1630943 1630964 1630967 1631023 1631027 1631033 1631054 1631057 1631113 1631117 1631123 1631144 1631147 1631203 1631207 1631213 1631234 1631237 1631293 1631297 1631303 1631324 1631327 1631407 1631411 1631417 1631438 1631441 1655053 1655058 1655059 1655063 1655164 1655168 1656331 1656336 1656337 1656341 1656344 1656347 1657421 1657423 1657426 1657429 1657432 1657436 1657439 1657442 1657449 1657454 1657465 1657469 1657473 1657476 1685074 1685078 1685084 1685087 1688323 1692662 1692664 1692960 1692962 1692965 1693148 1693655 1693717 1693719 1694015 1694017 1694020 1694203 1694710 1694772 1694774 1695070 1695072 1695075 1695258 1695765 1695827 1695829 1696125 1696127 1696130 1696313 1696820 1696882 1696884 1697180 1697182 1697185 1697368 1697875 1697937 1697939 1698235 1698237 1698240 1698423 1698930 1698992 1698994 1699290 1699292 1699295 1699478 1699985 1700047 1700049 1700405 1700407 1700703 1700705 1701001 1701003 1740871 1740876 1740877 1740881 1740919 1740923 1741105 1741110 1741111 1741116 1741127 1741130 1741133 1741136 1745755 1745760 1745761 1745765 1745803 1745807 1745989 1745994 1745995 1746000 1746011 1746014 1746017 1746020 1751983 1751988 1751989 1751993 1752031 1752035 1752217 1752222 1752223 1752228 1752239 1752242 1752245 1752248 1755031 1755036 1755037 1755041 1755079 1755083 1755094 1755099 1755100 1755105 1755116 1755119 1755122 1755125 1808959 1808964 1808966 1808970 1808971 1808976 1808978 1808982 1808983 1808988 1808990 1808994 1808995 1809000 1809002 1809006 1839670 1839674 1839677 1839681 1839683 1839686 1839689 1839706 1839710 1839713 1839717 1839719 1839722 1839725 1839742 1839746 1839749 1839753 1839755 1839758 1839761 1839826 1839830 1839833 1839837 1839839 1839842 1839845 1845061 1845065 1845068 1845072 1845074 1845077 1845080 1845097 1845101 1845104 1845108 1845110 1845113 1845116 1845133 1845137 1845140 1845144 1845146 1845149 1845152 1845169 1845173 1845176 1845180 1845182 1845185 1845188 1845205 1845209 1845212 1845216 1845218 1845221 1845224 1845241 1845245 1845248 1845252 1845254 1845257 1845260 1845277 1845281 1845284 1845288 1845290 1845293 1845296 1879651 1879655 1879658 1879661 1883770 1883774 1883781 1883782 1883785 1883789 1883792 1883795 1883798 1883860 1883864 1883871 1883872 1883875 1883879 1883883 1883885 1883888 1883950 1883954 1883961 1883962 1883965 1883969 1883973 1883975 1883978 1884040 1884044 1884051 1884052 1884055 1884059 1884063 1884065 1884068 1884130 1884134 1884141 1884142 1884145 1884149 1884153 1884155 1884158 1884220 1884224 1884231 1884232 1884235 1884239 1884243 1884245 1884248 1884310 1884314 1884321 1884322 1884325 1884329 1884333 1884335 1884338 1889050 1889053 1889599 1889602 1889605 1889608 1889611 1889614 1889617 1889686 1889689 1889692 1889695 1889698 1889701 1889704 1896490 1896494 1896497 1896500 1907956 1907961 1907962 1907966 1908067 1908071 1909234 1909239 1909240 1909244 1909247 1909250 1910324 1910326 1910329 1910332 1910335 1910339 1910342 1910345 1910352 1910357 1910368 1910372 1910375 1910378 1911887 1911891 1912991 1912995 1915727 1915730 1916627 1916630 1916634 1918295 1918500 1918503 1919474 1919477 1919481 1920530 1920733 1920738 1920740 1920742 1920746 1920749 1920752 1920755 1920759 1920761 1920763 1920767 1920770 1920773 1920776 1921733 1921736 1921740 1923197 1923400 1923405 1923407 1923409 1923413 1923416 1923419 1923422 1923426 1923428 1923430 1923434 1923437 1923440 1923443 1924400 1924403 1924407 1925660 1925863 1925868 1925870 1925872 1925876 1925879 1925882 1925885 1925889 1925891 1925893 1925897 1925900 1925903 1925906 1926659 1926662 1926666 1927715 1927918 1927923 1927925 1927927 1927931 1927934 1927937 1927940 1927944 1927946 1927948 1927952 1927955 1927958 1927961 1928714 1928717 1928721 1929158 1929361 1929366 1929368 1929370 1929374 1929377 1929380 1929383 1929387 1929389 1929391 1929395 1929398 1929401 1929404 1929698 1929901 1929906 1929908 1929919 1929923 1929926 1929933 1929939 1929945 1929951 1929957 1929960 1929963 1929965 1929967 1929971 1929974 1929977 1930467 1930470 1930471 1930474 1930477 1930480 1930483 1930486 1930493 1930622 1930745 1930871 1930997 1931120 1931242 1931246 1931249 1931258 1931292 1931294 1931301 1931303 1931337 1931339 1931373 1931375 1931409 1931412 1931414 1931444 1931858 1931861 1931865 1932149 1932152 1932156 1937977 1937982 1937983 1937987 1937991 1938283 1938288 1983223 1983228 1983229 1983233 1983271 1983275 1983457 1983462 1983463 1983468 1983479 1983482 1983485 1983488 1988107 1988112 1988113 1988117 1988155 1988159 1988341 1988346 1988347 1988352 1988363 1988366 1988369 1988372 1994335 1994340 1994341 1994345 1994383 1994387 1994569 1994574 1994575 1994580 1994591 1994594 1994597 1994600 1997383 1997388 1997389 1997393 1997431 1997435 1997446 1997451 1997452 1997457 1997468 1997471 1997474 1997477 2038777 2038782 2038783 2038787 2038831 2038835 2039119 2039124 2039125 2039129 2039132 2039135 2039195 2039197 2039200 2039203 2039206 2039210 2039213 2039216 2043171 2043176 2043187 2043191 2043195 2043198 2051404 2051408 2051411 2051414 2051416 2051421 2051423 2051427 2051428 2051432 2051435 2051438 2051440 2051445 2051447 2051451 2051452 2051456 2051459 2051462 2051464 2051469 2051471 2051475 2051476 2051480 2051483 2051486 2051488 2051493 2051495 2051499 2059405 2059409 2059412 2059421 2060845 2060849 2060852 2060861 2062288 2062292 2062295 2062304 2063731 2063735 2063738 2063747 2065174 2065178 2065181 2065190 2066983 2066987 2066990 2066999 2067418 2067422 2067425 2067434 2067442 2067446 2067449 2067458 2067877 2067881 2067884 2067893 2068312 2068316 2068319 2068328 2068747 2068751 2068754 2068763 2069182 2069186 2069189 2069198 2069614 2069618 2069621 2069630 2088820 2088824 2088827 2088830 2088839 2088856 2088860 2088863 2088867 2088869 2088872 2088875 2088892 2088896 2088899 2088902 2088911 2088928 2088932 2088935 2088939 2088941 2088944 2088947 2088964 2088968 2088971 2088974 2088983 2089000 2089004 2089007 2089011 2089013 2089016 2089019 2089132 2089136 2089139 2089142 2089151 2089168 2089172 2089175 2089179 2089181 2089184 2089187 2099599 2099603 2099606 2099609 2099618 2099635 2099639 2099642 2099646 2099648 2099651 2099654 2099671 2099675 2099678 2099681 2099690 2099707 2099711 2099714 2099718 2099720 2099723 2099726 2099743 2099747 2099750 2099753 2099762 2099779 2099783 2099786 2099790 2099792 2099795 2099798 2099815 2099819 2099822 2099825 2099834 2099851 2099855 2099858 2099862 2099864 2099867 2099870 2099887 2099891 2099894 2099897 2099906 2099923 2099927 2099930 2099934 2099936 2099939 2099942 2099959 2099963 2099966 2099969 2099978 2099995 2099999 2100002 2100006 2100008 2100011 2100014 2100031 2100035 2100038 2100041 2100050 2100067 2100071 2100074 2100078 2100080 2100083 2100086 2160256 2160260 2160264 2160266 2160285 2163040 2163044 2163050 2163071 2163074 2163076 2163080 2163086 2163107 2163111 2163220 2163224 2163230 2163251 2163254 2163256 2163260 2163266 2163287 2163291 2163400 2163404 2163410 2163431 2163434 2163436 2163440 2163446 2163467 2163471 2163580 2163584 2163590 2163611 2163614 2163616 2163620 2163626 2163647 2163651 2163760 2163764 2163770 2163791 2163794 2163796 2163800 2163806 2163827 2163831 2163940 2163944 2163950 2163971 2163974 2163976 2163980 2163986 2164007 2164011 2164120 2164124 2164130 2164151 2164154 2164156 2164160 2164166 2164187 2164191 2179366 2179369 2179915 2179918 2179921 2179924 2179927 2179930 2179933 2180002 2180005 2180008 2180011 2180014 2180017 2180020 2186296 2186300 2186304 2186307 2212807 2212811 2212815 2212818 2212824 2212960 2212964 2212968 2212971 2212977 2213278 2213282 2213286 2213289 2213295 2213296 2213300 2213304 2213307 2213313 2213476 2213480 2213484 2213487 2213493 2213494 2213498 2213502 2213505 2213511 2213674 2213678 2213682 2213685 2213691 2213854 2213858 2213862 2213865 2213871 2220535 2220539 2220543 2220546 2220552 2220553 2220557 2220561 2220564 2220570 2220571 2220575 2220579 2220582 2220588 2221696 2221700 2221704 2221707 2221713 2221906 2221910 2221914 2221917 2221923 2231719 2231723 2231726 2231729 2231731 2231736 2231738 2231742 2234762 2234766 2236970 2236974 2242442 2242445 2244245 2244249 2244252 2247857 2249939 2249943 2249946 2252351 2254457 2254461 2254464 2257685 2259791 2259795 2259798 2262611 2264309 2264313 2264316 2266721 2268419 2268423 2268426 2269607 2272256 2274707 2274711 2274714 2275298 2275302 2275305 2276074 2276079 2276081 2286580 2289817 2294156 2294158 2294454 2294456 2294459 2294642 2295149 2295211 2295213 2295509 2295511 2295514 2295697 2296204 2296266 2296268 2296564 2296566 2296569 2296752 2297259 2297321 2297323 2297619 2297621 2297624 2297807 2298314 2298376 2298378 2298674 2298676 2298679 2298862 2299369 2299431 2299433 2299729 2299731 2299734 2299917 2300424 2300486 2300488 2300784 2300786 2300789 2300972 2301479 2301541 2301543 2301899 2301901 2302197 2302199 2302495 2302497 2303736 2303741 2320596 2320601 2320602 2320607 2321093 2321486 2321534 2321536 2321548 2321560 2321572 2321584 2321596 2321608 2321620 2321632 2321644 2321656 2321668 2321680 2321692 2321704 2321716 2321728 2321740 2321752 2321764 2321776 2321788 2321800 2321812 2321824 2321825 2321826 2321831 2321834 2321836 2321837 2321838 2321843 2321846 2321848 2321849 2321850 2321855 2321858 2321860 2321861 2321862 2321867 2321870 2321872 2321873 2321874 2321879 2321882 2321884 2321885 2321886 2321891 2321894 2321896 2321897 2321898 2321903 2321906 2321908 2321909 2321910 2321915 2321918 2321920 2321921 2321922 2321927 2321930 2321932 2321933 2321934 2321939 2321942 2321944 2321945 2321946 2321951 2321954 2321957 2321958 2321963 2321966 2323489 2323541 2328034 2328036 2328039 2328222 2328729 2329089 2329091 2329094 2329277 2329784 2330144 2330146 2330149 2330332 2330839 2331199 2331201 2331204 2331387 2331894 2332254 2332256 2332259 2332442 2332949 2333309 2333311 2333314 2333497 2334004 2334364 2334366 2334369 2334552 2335059 2426889 2426896 2426902 2430060 2430067 2430073 2434083 2434090 2434096 2435946 2435953 2435959 2437498 2448948 2448952 2448954 2448956 2448958 2448960 2448962 2448964 2448969 2448971 2448973 2448975 2448977 2448979 2448983 2456524 2456698 2456952 2456956 2456960 2457250 2457252 2457254 2457256 2457258 2457271 2457275 2457279 2458356 2458358 2458395 2458397 2458434 2458436 2458453 2458455 2458472 2458474 2458529 2458531 2458586 2458588 2458643 2458645 2458662 2458664 2458719 2458721 2458738 2458740 2458833 2458835 2458890 2458892 2474761 2474763 2474765 2474767 2474769 2474771 2474773 2475421 2475423 2475425 2475427 2475429 2476881 2476883 2476885 2476887 2476889 2478041 2478043 2478045 2478047 2478049 2480132 2480134 2480136 2489405 2489407 2489409 2489411 2489413 2493291 2493293 2493295 2493297 2493299 2493377 2493379 2493381 2493383 2493385 2493463 2493465 2493467 2493469 2493471 2493549 2493551 2493553 2493555 2493557 2493635 2493637 2493639 2493641 2493643 2493721 2493723 2493725 2493727 2493729 2494430 2494432 2512080 2512963 2512984 2513005 2513026 2513047 2513068 2513089 2513110 2513131 2513152 2513173 2513194 2521826 2521828 2521830 2521832 2521834 2521847 2521849 2521851 2521853 2521855 2521868 2521870 2521872 2521874 2521876 2521889 2521891 2521893 2521895 2521897 2521910 2521912 2521914 2521916 2521918 2521931 2521933 2521935 2521937 2521939 2521952 2521954 2521956 2521958 2521960 2522391 2522393 2522395 2522397 2522399 2522434 2522436 2522438 2522440 2522442 2522455 2522457 2522459 2522461 2522463 2522476 2522478 2522480 2522482 2522484 2528818 2528820 2528822 2528824 2528826 2528828 2528830 2528838 2528840 2528842 2528844 2528846 2528848 2528850 2528858 2528860 2528862 2528864 2528866 2528868 2528870 2528872 2528873 2528878 2528880 2528882 2528884 2528886 2528888 2528890 0
126.59/126.67	s UNSATISFIABLE

OK	1798

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3494322-1307804667/watcher-3494322-1307804667 -o /tmp/evaluation-result-3494322-1307804667/solver-3494322-1307804667 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494322-1307804667.cnf -no-pre 

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 4.01 4.02 3.56 5/189 25287
/proc/meminfo: memFree=25488776/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=19976 CPUtime=0 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 552 0 0 0 0 0 0 0 23 0 1 0 892067306 20455424 490 33554432000 4194304 4337479 140733904386336 18446744073709551615 230809165568 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 4994 490 223 35 0 1617 0

[startup+0.026023 s]
/proc/loadavg: 4.01 4.02 3.56 5/189 25287
/proc/meminfo: memFree=25488776/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=25252 CPUtime=0.02 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 2055 0 0 0 2 0 0 0 23 0 1 0 892067306 25858048 1952 33554432000 4194304 4337479 140733904386336 18446744073709551615 4321305 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 6313 1954 223 35 0 2936 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25252

[startup+0.100999 s]
/proc/loadavg: 4.01 4.02 3.56 5/189 25287
/proc/meminfo: memFree=25488776/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=44012 CPUtime=0.09 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 6955 0 0 0 9 0 0 0 23 0 1 0 892067306 45068288 6699 33554432000 4194304 4337479 140733904386336 18446744073709551615 4321446 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 11003 6700 224 35 0 7626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44012

[startup+0.300962 s]
/proc/loadavg: 4.01 4.02 3.56 5/189 25287
/proc/meminfo: memFree=25488776/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=99644 CPUtime=0.29 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 19257 0 0 0 27 2 0 0 25 0 1 0 892067306 102035456 18753 33554432000 4194304 4337479 140733904386336 18446744073709551615 4321446 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 24911 18755 224 35 0 21534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99644

[startup+0.700883 s]
/proc/loadavg: 4.01 4.02 3.56 5/189 25287
/proc/meminfo: memFree=25488776/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=207988 CPUtime=0.68 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 41422 0 0 0 63 5 0 0 25 0 1 0 892067306 212979712 40077 33554432000 4194304 4337479 140733904386336 18446744073709551615 230808826565 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 51997 40082 224 35 0 48620 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 207988

[startup+1.50075 s]
/proc/loadavg: 4.01 4.02 3.56 5/190 25288
/proc/meminfo: memFree=25257780/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=415848 CPUtime=1.49 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 92941 0 0 0 135 14 0 0 25 0 1 0 892067306 425828352 89265 33554432000 4194304 4337479 140733904386336 18446744073709551615 230808823570 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 103962 89265 253 35 0 100585 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 415848

[startup+3.10045 s]
/proc/loadavg: 4.01 4.02 3.56 5/190 25288
/proc/meminfo: memFree=25097592/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=3.09 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115985 0 0 0 292 17 0 0 25 0 1 0 892067306 395517952 83183 33554432000 4194304 4337479 140733904386336 18446744073709551615 4303040 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83183 253 35 0 93185 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 386248

[startup+6.30087 s]
/proc/loadavg: 4.01 4.02 3.56 5/190 25288
/proc/meminfo: memFree=25141724/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=6.29 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115985 0 0 0 612 17 0 0 25 0 1 0 892067306 395517952 83183 33554432000 4194304 4337479 140733904386336 18446744073709551615 4302704 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83183 253 35 0 93185 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 386248

[startup+12.7007 s]
/proc/loadavg: 4.01 4.02 3.56 5/190 25288
/proc/meminfo: memFree=25106016/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=12.69 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 1252 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4281671 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 386248

[startup+25.5004 s]
/proc/loadavg: 4.08 4.03 3.57 5/190 25288
/proc/meminfo: memFree=25028156/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=25.49 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 2532 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4309734 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 386248

[startup+51.1007 s]
/proc/loadavg: 4.05 4.03 3.58 5/190 25289
/proc/meminfo: memFree=24936716/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=51.09 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 5092 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 386248

[startup+102.306 s]
/proc/loadavg: 3.94 4.01 3.60 5/187 25320
/proc/meminfo: memFree=25178820/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=102.29 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 10212 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4281720 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 386248

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

[startup+115.101 s]
/proc/loadavg: 3.95 4.00 3.60 5/190 25330
/proc/meminfo: memFree=24591956/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=115.09 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 11492 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4282111 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 115.09
Current children cumulated vsize (KiB) 386248

[startup+121.501 s]
/proc/loadavg: 3.96 4.00 3.60 5/190 25330
/proc/meminfo: memFree=24581672/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=121.49 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 12132 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 121.49
Current children cumulated vsize (KiB) 386248

[startup+124.7 s]
/proc/loadavg: 3.96 4.00 3.61 5/190 25330
/proc/meminfo: memFree=24579804/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=124.69 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 12452 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4281753 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 124.69
Current children cumulated vsize (KiB) 386248

[startup+125.501 s]
/proc/loadavg: 3.96 4.00 3.61 5/190 25330
/proc/meminfo: memFree=24573480/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=125.49 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 12532 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4309703 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 125.49
Current children cumulated vsize (KiB) 386248

[startup+126.301 s]
/proc/loadavg: 3.96 4.00 3.61 5/190 25330
/proc/meminfo: memFree=24573480/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=126.29 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 12612 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4281818 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 126.29
Current children cumulated vsize (KiB) 386248

[startup+126.507 s]
/proc/loadavg: 3.96 4.00 3.61 5/190 25330
/proc/meminfo: memFree=24569884/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=126.49 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 12632 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4281818 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 126.49
Current children cumulated vsize (KiB) 386248

[startup+126.601 s]
/proc/loadavg: 3.96 4.00 3.61 5/190 25330
/proc/meminfo: memFree=24569884/32951124 swapFree=67052968/67111528
[pid=25287] ppid=25285 vsize=386248 CPUtime=126.59 cores=1,3
/proc/25287/stat : 25287 (hmuc) R 25285 25287 24151 0 -1 4202496 115986 0 0 0 12642 17 0 0 25 0 1 0 892067306 395517952 83184 33554432000 4194304 4337479 140733904386336 18446744073709551615 4278573 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/25287/statm: 96562 83184 254 35 0 93185 0
Current children cumulated CPU time (s) 126.59
Current children cumulated vsize (KiB) 386248

Child status: 20
Real time (s): 126.691
CPU time (s): 126.692
CPU user time (s): 126.497
CPU system time (s): 0.19497
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 468636

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

runsolver used 0.213967 second user time and 0.491925 second system time

The end

Begin job on node104 at 2011-06-11 17:04:29
IDJOB=3494322
IDBENCH=89261
IDSOLVER=1984
FILE ID=node104/3494322-1307804667
RUNJOBID= node104-1307802577-24171
PBS_JOBID= 13551072
Free space on /tmp= 74056 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_22134_10.cnf_0.47000000.unsat.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494322-1307804667/watcher-3494322-1307804667 -o /tmp/evaluation-result-3494322-1307804667/solver-3494322-1307804667 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494322-1307804667.cnf -no-pre

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

MD5SUM BENCH= 7d0412758d8808750a2e0be99261969c
RANDOM SEED=516664910

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25489072 kB
Buffers:        147728 kB
Cached:         795428 kB
SwapCached:      11076 kB
Active:        6670036 kB
Inactive:       621920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25489072 kB
SwapTotal:    67111528 kB
SwapFree:     67052968 kB
Dirty:           49236 kB
Writeback:           0 kB
AnonPages:     6345968 kB
Mapped:           9636 kB
Slab:            93112 kB
PageTables:      18196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6905580 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= 73992 MiB
End job on node104 at 2011-06-11 17:06:35