47.59/47.65	c WARNING: for repeatability, setting FPU to use double precision
47.59/47.65	c iter 1 time 17.0384 not-muc 15981762 unknown 1871 muc 0
47.59/47.65	c iter 2 time 23.8184 not-muc 15981762 unknown 1870 muc 1
47.59/47.65	c iter 3 time 24.1503 not-muc 15981762 unknown 1869 muc 2
47.59/47.65	c iter 4 time 24.4793 not-muc 15981762 unknown 1868 muc 3
47.59/47.65	c iter 5 time 24.8102 not-muc 15981762 unknown 1867 muc 4
47.59/47.65	c iter 6 time 25.1452 not-muc 15981762 unknown 1866 muc 5
47.59/47.65	c iter 7 time 25.4811 not-muc 15981762 unknown 1865 muc 6
47.59/47.65	c iter 8 time 25.8141 not-muc 15981762 unknown 1864 muc 7
47.59/47.65	c iter 9 time 26.144 not-muc 15981762 unknown 1863 muc 8
47.59/47.65	c iter 10 time 26.472 not-muc 15981762 unknown 1862 muc 9
47.59/47.65	c iter 11 time 26.8159 not-muc 15981762 unknown 1861 muc 10
47.59/47.65	c iter 12 time 27.1499 not-muc 15981762 unknown 1860 muc 11
47.59/47.65	c iter 13 time 27.4848 not-muc 15981762 unknown 1859 muc 12
47.59/47.65	c iter 14 time 27.8198 not-muc 15981762 unknown 1858 muc 13
47.59/47.65	c iter 15 time 28.1557 not-muc 15981762 unknown 1857 muc 14
47.59/47.65	c iter 16 time 28.4917 not-muc 15981762 unknown 1856 muc 15
47.59/47.65	c iter 17 time 28.8266 not-muc 15981762 unknown 1855 muc 16
47.59/47.65	c iter 18 time 29.1616 not-muc 15981762 unknown 1854 muc 17
47.59/47.65	c iter 19 time 29.4965 not-muc 15981762 unknown 1853 muc 18
47.59/47.65	c iter 20 time 29.8325 not-muc 15981762 unknown 1852 muc 19
47.59/47.65	c iter 21 time 30.1674 not-muc 15981762 unknown 1851 muc 20
47.59/47.65	c iter 22 time 30.5034 not-muc 15981762 unknown 1850 muc 21
47.59/47.65	c iter 23 time 30.8393 not-muc 15981762 unknown 1849 muc 22
47.59/47.65	c iter 24 time 31.1753 not-muc 15981762 unknown 1848 muc 23
47.59/47.65	c iter 25 time 31.5102 not-muc 15981762 unknown 1847 muc 24
47.59/47.65	c iter 26 time 31.8462 not-muc 15981762 unknown 1846 muc 25
47.59/47.65	c iter 27 time 32.1811 not-muc 15981762 unknown 1845 muc 26
47.59/47.65	c iter 28 time 32.5101 not-muc 15981762 unknown 1844 muc 27
47.59/47.65	c iter 29 time 32.839 not-muc 15981762 unknown 1843 muc 28
47.59/47.65	c iter 30 time 33.167 not-muc 15981762 unknown 1842 muc 29
47.59/47.65	c iter 31 time 33.4989 not-muc 15981762 unknown 1841 muc 30
47.59/47.65	c iter 32 time 33.8329 not-muc 15981762 unknown 1840 muc 31
47.59/47.65	c iter 33 time 34.4088 not-muc 15981762 unknown 1839 muc 32
47.59/47.65	c iter 34 time 34.7437 not-muc 15981762 unknown 1838 muc 33
47.59/47.65	c iter 35 time 35.0797 not-muc 15981762 unknown 1837 muc 34
47.59/47.65	c iter 36 time 35.4146 not-muc 15981762 unknown 1836 muc 35
47.59/47.65	c iter 37 time 35.7506 not-muc 15981762 unknown 1835 muc 36
47.59/47.65	c iter 38 time 36.0865 not-muc 15981762 unknown 1834 muc 37
47.59/47.65	c iter 39 time 36.4225 not-muc 15981762 unknown 1833 muc 38
47.59/47.65	c iter 40 time 36.7594 not-muc 15981762 unknown 1832 muc 39
47.59/47.65	c iter 41 time 37.0944 not-muc 15981762 unknown 1831 muc 40
47.59/47.65	c iter 42 time 37.4313 not-muc 15981762 unknown 1830 muc 41
47.59/47.65	c iter 43 time 37.7663 not-muc 15981762 unknown 1829 muc 42
47.59/47.65	c iter 44 time 38.1032 not-muc 15981762 unknown 1828 muc 43
47.59/47.65	c iter 45 time 38.4392 not-muc 15981762 unknown 1827 muc 44
47.59/47.65	c iter 46 time 38.7751 not-muc 15981762 unknown 1826 muc 45
47.59/47.65	c iter 47 time 39.1051 not-muc 15981762 unknown 1825 muc 46
47.59/47.65	c iter 48 time 39.435 not-muc 15981762 unknown 1824 muc 47
47.59/47.65	c iter 49 time 39.765 not-muc 15981762 unknown 1823 muc 48
47.59/47.65	c iter 50 time 40.0959 not-muc 15981762 unknown 1822 muc 49
47.59/47.65	c iter 51 time 40.4289 not-muc 15981762 unknown 1821 muc 50
47.59/47.65	c iter 52 time 40.7628 not-muc 15981762 unknown 1820 muc 51
47.59/47.65	c iter 53 time 41.0978 not-muc 15981762 unknown 1819 muc 52
47.59/47.65	c iter 54 time 41.4307 not-muc 15981762 unknown 1818 muc 53
47.59/47.65	c iter 55 time 41.7647 not-muc 15981762 unknown 1817 muc 54
47.59/47.65	c iter 56 time 42.0986 not-muc 15981762 unknown 1816 muc 55
47.59/47.65	c iter 57 time 42.4325 not-muc 15981762 unknown 1815 muc 56
47.59/47.65	c iter 58 time 42.7675 not-muc 15981762 unknown 1814 muc 57
47.59/47.65	c iter 59 time 43.1014 not-muc 15981762 unknown 1813 muc 58
47.59/47.65	c iter 60 time 43.4354 not-muc 15981762 unknown 1812 muc 59
47.59/47.65	c iter 61 time 43.7693 not-muc 15981762 unknown 1811 muc 60
47.59/47.65	c iter 62 time 44.1043 not-muc 15981762 unknown 1810 muc 61
47.59/47.65	c iter 63 time 44.4382 not-muc 15981762 unknown 1809 muc 62
47.59/47.65	c iter 64 time 44.7722 not-muc 15981762 unknown 1808 muc 63
47.59/47.65	c iter 65 time 45.1071 not-muc 15981762 unknown 1807 muc 64
47.59/47.65	c iter 66 time 45.4391 not-muc 15981762 unknown 1806 muc 65
47.59/47.65	c iter 67 time 45.767 not-muc 15981762 unknown 1805 muc 66
47.59/47.65	c iter 68 time 46.095 not-muc 15981762 unknown 1804 muc 67
69.99/70.00	c iter 69 time 46.4229 not-muc 15981762 unknown 1803 muc 68
69.99/70.00	c iter 70 time 46.7559 not-muc 15981762 unknown 1802 muc 69
69.99/70.00	c iter 71 time 47.0888 not-muc 15981762 unknown 1801 muc 70
69.99/70.00	c iter 72 time 47.4228 not-muc 15981762 unknown 1800 muc 71
69.99/70.00	c iter 73 time 47.7577 not-muc 15981762 unknown 1799 muc 72
69.99/70.00	c iter 74 time 48.0917 not-muc 15981762 unknown 1798 muc 73
69.99/70.00	c iter 75 time 48.4256 not-muc 15981762 unknown 1797 muc 74
69.99/70.00	c iter 76 time 48.7606 not-muc 15981762 unknown 1796 muc 75
69.99/70.00	c iter 77 time 49.0945 not-muc 15981762 unknown 1795 muc 76
69.99/70.00	c iter 78 time 49.4295 not-muc 15981762 unknown 1794 muc 77
69.99/70.00	c iter 79 time 49.7644 not-muc 15981762 unknown 1793 muc 78
69.99/70.00	c iter 80 time 50.0984 not-muc 15981762 unknown 1792 muc 79
69.99/70.00	c iter 81 time 50.4343 not-muc 15981762 unknown 1791 muc 80
69.99/70.00	c iter 82 time 50.7683 not-muc 15981762 unknown 1790 muc 81
69.99/70.00	c iter 83 time 51.1032 not-muc 15981762 unknown 1789 muc 82
69.99/70.00	c iter 84 time 51.4382 not-muc 15981762 unknown 1788 muc 83
69.99/70.00	c iter 85 time 51.7731 not-muc 15981762 unknown 1787 muc 84
69.99/70.00	c iter 86 time 52.1021 not-muc 15981762 unknown 1786 muc 85
69.99/70.00	c iter 87 time 52.43 not-muc 15981762 unknown 1785 muc 86
69.99/70.00	c iter 88 time 52.758 not-muc 15981762 unknown 1784 muc 87
69.99/70.00	c iter 89 time 53.0879 not-muc 15981762 unknown 1783 muc 88
69.99/70.00	c iter 90 time 53.4209 not-muc 15981762 unknown 1782 muc 89
69.99/70.00	c iter 91 time 53.7548 not-muc 15981762 unknown 1781 muc 90
69.99/70.00	c iter 92 time 54.0888 not-muc 15981762 unknown 1780 muc 91
69.99/70.00	c iter 93 time 54.4237 not-muc 15981762 unknown 1779 muc 92
69.99/70.00	c iter 94 time 54.7577 not-muc 15981762 unknown 1778 muc 93
69.99/70.00	c iter 95 time 55.0936 not-muc 15981762 unknown 1777 muc 94
69.99/70.00	c iter 96 time 55.4286 not-muc 15981762 unknown 1776 muc 95
69.99/70.00	c iter 97 time 55.7625 not-muc 15981762 unknown 1775 muc 96
69.99/70.00	c iter 98 time 56.0975 not-muc 15981762 unknown 1774 muc 97
69.99/70.00	c iter 99 time 56.4334 not-muc 15981762 unknown 1773 muc 98
69.99/70.00	c iter 100 time 56.7684 not-muc 15981762 unknown 1772 muc 99
69.99/70.00	c iter 101 time 57.1033 not-muc 15981762 unknown 1771 muc 100
69.99/70.00	c iter 102 time 57.4383 not-muc 15981762 unknown 1770 muc 101
69.99/70.00	c iter 103 time 57.7732 not-muc 15981762 unknown 1769 muc 102
69.99/70.00	c iter 104 time 58.1092 not-muc 15981762 unknown 1768 muc 103
69.99/70.00	c iter 105 time 58.4431 not-muc 15981762 unknown 1767 muc 104
69.99/70.00	c iter 106 time 58.7711 not-muc 15981762 unknown 1766 muc 105
69.99/70.00	c iter 107 time 59.099 not-muc 15981762 unknown 1765 muc 106
69.99/70.00	c iter 108 time 59.428 not-muc 15981762 unknown 1764 muc 107
69.99/70.00	c iter 109 time 59.7599 not-muc 15981762 unknown 1763 muc 108
69.99/70.00	c iter 110 time 60.0939 not-muc 15981762 unknown 1762 muc 109
69.99/70.00	c iter 111 time 60.4278 not-muc 15981762 unknown 1761 muc 110
69.99/70.00	c iter 112 time 60.7628 not-muc 15981762 unknown 1760 muc 111
69.99/70.00	c iter 113 time 61.0977 not-muc 15981762 unknown 1759 muc 112
69.99/70.00	c iter 114 time 61.4337 not-muc 15981762 unknown 1758 muc 113
69.99/70.00	c iter 115 time 61.7686 not-muc 15981762 unknown 1757 muc 114
69.99/70.00	c iter 116 time 62.1046 not-muc 15981762 unknown 1756 muc 115
69.99/70.00	c iter 117 time 62.4405 not-muc 15981762 unknown 1755 muc 116
69.99/70.00	c iter 118 time 62.7755 not-muc 15981762 unknown 1754 muc 117
69.99/70.00	c iter 119 time 63.1104 not-muc 15981762 unknown 1753 muc 118
69.99/70.00	c iter 120 time 63.4464 not-muc 15981762 unknown 1752 muc 119
69.99/70.00	c iter 121 time 63.7823 not-muc 15981762 unknown 1751 muc 120
69.99/70.00	c iter 122 time 64.1173 not-muc 15981762 unknown 1750 muc 121
69.99/70.00	c iter 123 time 64.4512 not-muc 15981762 unknown 1749 muc 122
69.99/70.00	c iter 124 time 64.7862 not-muc 15981762 unknown 1748 muc 123
69.99/70.00	c iter 125 time 65.1181 not-muc 15981762 unknown 1747 muc 124
69.99/70.00	c iter 126 time 65.4471 not-muc 15981762 unknown 1746 muc 125
69.99/70.00	c iter 127 time 65.776 not-muc 15981762 unknown 1745 muc 126
69.99/70.00	c iter 128 time 66.105 not-muc 15981762 unknown 1744 muc 127
69.99/70.00	c iter 129 time 66.4389 not-muc 15981762 unknown 1743 muc 128
69.99/70.00	c iter 130 time 66.7728 not-muc 15981762 unknown 1742 muc 129
69.99/70.00	c iter 131 time 67.1078 not-muc 15981762 unknown 1741 muc 130
69.99/70.00	c iter 132 time 67.4437 not-muc 15981762 unknown 1740 muc 131
69.99/70.00	c iter 133 time 67.7797 not-muc 15981762 unknown 1739 muc 132
69.99/70.00	c iter 134 time 68.1146 not-muc 15981762 unknown 1738 muc 133
69.99/70.00	c iter 135 time 68.4506 not-muc 15981762 unknown 1737 muc 134
92.09/92.12	c iter 136 time 68.7855 not-muc 15981762 unknown 1736 muc 135
92.09/92.12	c iter 137 time 69.1175 not-muc 15981762 unknown 1735 muc 136
92.09/92.12	c iter 138 time 69.4534 not-muc 15981762 unknown 1734 muc 137
92.09/92.12	c iter 139 time 69.7894 not-muc 15981762 unknown 1733 muc 138
92.09/92.12	c iter 140 time 70.1253 not-muc 15981762 unknown 1732 muc 139
92.09/92.12	c iter 141 time 70.4613 not-muc 15981762 unknown 1731 muc 140
92.09/92.12	c iter 142 time 70.7972 not-muc 15981762 unknown 1730 muc 141
92.09/92.12	c iter 143 time 71.1342 not-muc 15981762 unknown 1729 muc 142
92.09/92.12	c iter 144 time 71.4701 not-muc 15981762 unknown 1728 muc 143
92.09/92.12	c iter 145 time 71.8001 not-muc 15981762 unknown 1727 muc 144
92.09/92.12	c iter 146 time 72.129 not-muc 15981762 unknown 1726 muc 145
92.09/92.12	c iter 147 time 72.458 not-muc 15981762 unknown 1725 muc 146
92.09/92.12	c iter 148 time 72.7899 not-muc 15981762 unknown 1724 muc 147
92.09/92.12	c iter 149 time 73.1239 not-muc 15981762 unknown 1723 muc 148
92.09/92.12	c iter 150 time 73.4578 not-muc 15981762 unknown 1722 muc 149
92.09/92.12	c iter 151 time 73.7948 not-muc 15981762 unknown 1721 muc 150
92.09/92.12	c iter 152 time 74.1287 not-muc 15981762 unknown 1720 muc 151
92.09/92.12	c iter 153 time 74.4647 not-muc 15981762 unknown 1719 muc 152
92.09/92.12	c iter 154 time 74.8006 not-muc 15981762 unknown 1718 muc 153
92.09/92.12	c iter 155 time 75.1366 not-muc 15981762 unknown 1717 muc 154
92.09/92.12	c iter 156 time 75.4735 not-muc 15981762 unknown 1716 muc 155
92.09/92.12	c iter 157 time 75.8095 not-muc 15981762 unknown 1715 muc 156
92.09/92.12	c iter 158 time 76.1454 not-muc 15981762 unknown 1714 muc 157
92.09/92.12	c iter 159 time 76.4814 not-muc 15981762 unknown 1713 muc 158
92.09/92.12	c iter 160 time 76.8173 not-muc 15981762 unknown 1712 muc 159
92.09/92.12	c iter 161 time 77.1533 not-muc 15981762 unknown 1711 muc 160
92.09/92.12	c iter 162 time 77.4902 not-muc 15981762 unknown 1710 muc 161
92.09/92.12	c iter 163 time 77.8262 not-muc 15981762 unknown 1709 muc 162
92.09/92.12	c iter 164 time 78.1621 not-muc 15981762 unknown 1708 muc 163
92.09/92.12	c iter 165 time 78.4921 not-muc 15981762 unknown 1707 muc 164
92.09/92.12	c iter 166 time 78.821 not-muc 15981762 unknown 1706 muc 165
92.09/92.12	c iter 167 time 79.151 not-muc 15981762 unknown 1705 muc 166
92.09/92.12	c iter 168 time 79.4839 not-muc 15981762 unknown 1704 muc 167
92.09/92.12	c iter 169 time 79.8189 not-muc 15981762 unknown 1703 muc 168
92.09/92.12	c iter 170 time 80.1548 not-muc 15981762 unknown 1702 muc 169
92.09/92.12	c iter 171 time 80.4908 not-muc 15981762 unknown 1701 muc 170
92.09/92.12	c iter 172 time 80.8277 not-muc 15981762 unknown 1700 muc 171
92.09/92.12	c iter 173 time 81.1637 not-muc 15981762 unknown 1699 muc 172
92.09/92.12	c iter 174 time 81.4996 not-muc 15981762 unknown 1698 muc 173
92.09/92.12	c iter 175 time 81.8366 not-muc 15981762 unknown 1697 muc 174
92.09/92.12	c iter 176 time 82.1735 not-muc 15981762 unknown 1696 muc 175
92.09/92.12	c iter 177 time 82.5105 not-muc 15981762 unknown 1695 muc 176
92.09/92.12	c iter 178 time 82.8464 not-muc 15981762 unknown 1694 muc 177
92.09/92.12	c iter 179 time 83.1834 not-muc 15981762 unknown 1693 muc 178
92.09/92.12	c iter 180 time 83.5203 not-muc 15981762 unknown 1692 muc 179
92.09/92.12	c iter 181 time 83.8573 not-muc 15981762 unknown 1691 muc 180
92.09/92.12	c iter 182 time 84.1932 not-muc 15981762 unknown 1690 muc 181
92.09/92.12	c iter 183 time 84.5301 not-muc 15981762 unknown 1689 muc 182
92.09/92.12	c iter 184 time 84.8631 not-muc 15981762 unknown 1688 muc 183
92.09/92.12	c iter 185 time 85.194 not-muc 15981762 unknown 1687 muc 184
92.09/92.12	c iter 186 time 85.524 not-muc 15981762 unknown 1686 muc 185
92.09/92.12	c iter 187 time 85.8549 not-muc 15981762 unknown 1685 muc 186
92.09/92.12	c iter 188 time 86.1909 not-muc 15981762 unknown 1684 muc 187
92.09/92.12	c iter 189 time 86.5258 not-muc 15981762 unknown 1683 muc 188
92.09/92.12	c iter 190 time 86.8628 not-muc 15981762 unknown 1682 muc 189
92.09/92.12	c iter 191 time 87.1997 not-muc 15981762 unknown 1681 muc 190
92.09/92.12	c iter 192 time 87.5367 not-muc 15981762 unknown 1680 muc 191
92.09/92.12	c iter 193 time 87.8736 not-muc 15981762 unknown 1679 muc 192
92.09/92.12	c iter 194 time 88.2106 not-muc 15981762 unknown 1678 muc 193
92.09/92.12	c iter 195 time 88.5485 not-muc 15981762 unknown 1677 muc 194
92.09/92.12	c iter 196 time 88.8845 not-muc 15981762 unknown 1676 muc 195
92.09/92.12	c iter 197 time 89.2224 not-muc 15981762 unknown 1675 muc 196
92.09/92.12	c iter 198 time 89.5594 not-muc 15981762 unknown 1674 muc 197
92.09/92.12	c iter 199 time 89.8973 not-muc 15981762 unknown 1673 muc 198
92.09/92.12	c iter 200 time 90.2343 not-muc 15981762 unknown 1672 muc 199
92.09/92.12	c iter 201 time 90.5712 not-muc 15981762 unknown 1671 muc 200
114.59/114.69	c iter 202 time 90.9092 not-muc 15981762 unknown 1670 muc 201
114.59/114.69	c iter 203 time 91.2481 not-muc 15981762 unknown 1669 muc 202
114.59/114.69	c iter 204 time 91.5791 not-muc 15981762 unknown 1668 muc 203
114.59/114.69	c iter 205 time 91.91 not-muc 15981762 unknown 1667 muc 204
114.59/114.69	c iter 206 time 92.241 not-muc 15981762 unknown 1666 muc 205
114.59/114.69	c iter 207 time 92.5749 not-muc 15981762 unknown 1665 muc 206
114.59/114.69	c iter 208 time 92.9109 not-muc 15981762 unknown 1664 muc 207
114.59/114.69	c iter 209 time 93.2478 not-muc 15981762 unknown 1663 muc 208
114.59/114.69	c iter 210 time 93.5858 not-muc 15981762 unknown 1662 muc 209
114.59/114.69	c iter 211 time 93.9227 not-muc 15981762 unknown 1661 muc 210
114.59/114.69	c iter 212 time 94.2597 not-muc 15981762 unknown 1660 muc 211
114.59/114.69	c iter 213 time 94.5976 not-muc 15981762 unknown 1659 muc 212
114.59/114.69	c iter 214 time 94.9356 not-muc 15981762 unknown 1658 muc 213
114.59/114.69	c iter 215 time 95.2735 not-muc 15981762 unknown 1657 muc 214
114.59/114.69	c iter 216 time 95.6115 not-muc 15981762 unknown 1656 muc 215
114.59/114.69	c iter 217 time 95.9494 not-muc 15981762 unknown 1655 muc 216
114.59/114.69	c iter 218 time 96.2864 not-muc 15981762 unknown 1654 muc 217
114.59/114.69	c iter 219 time 96.6253 not-muc 15981762 unknown 1653 muc 218
114.59/114.69	c iter 220 time 96.9623 not-muc 15981762 unknown 1652 muc 219
114.59/114.69	c iter 221 time 97.3002 not-muc 15981762 unknown 1651 muc 220
114.59/114.69	c iter 222 time 97.6382 not-muc 15981762 unknown 1650 muc 221
114.59/114.69	c iter 223 time 97.9731 not-muc 15981762 unknown 1649 muc 222
114.59/114.69	c iter 224 time 98.3041 not-muc 15981762 unknown 1648 muc 223
114.59/114.69	c iter 225 time 98.636 not-muc 15981762 unknown 1647 muc 224
114.59/114.69	c iter 226 time 98.968 not-muc 15981762 unknown 1646 muc 225
114.59/114.69	c iter 227 time 99.3059 not-muc 15981762 unknown 1645 muc 226
114.59/114.69	c iter 228 time 99.6429 not-muc 15981762 unknown 1644 muc 227
114.59/114.69	c iter 229 time 99.9818 not-muc 15981762 unknown 1643 muc 228
114.59/114.69	c iter 230 time 100.319 not-muc 15981762 unknown 1642 muc 229
114.59/114.69	c iter 231 time 100.658 not-muc 15981762 unknown 1641 muc 230
114.59/114.69	c iter 232 time 100.997 not-muc 15981762 unknown 1640 muc 231
114.59/114.69	c iter 233 time 101.335 not-muc 15981762 unknown 1639 muc 232
114.59/114.69	c iter 234 time 101.674 not-muc 15981762 unknown 1638 muc 233
114.59/114.69	c iter 235 time 102.012 not-muc 15981762 unknown 1637 muc 234
114.59/114.69	c iter 236 time 102.35 not-muc 15981762 unknown 1636 muc 235
114.59/114.69	c iter 237 time 102.689 not-muc 15981762 unknown 1635 muc 236
114.59/114.69	c iter 238 time 103.027 not-muc 15981762 unknown 1634 muc 237
114.59/114.69	c iter 239 time 103.365 not-muc 15981762 unknown 1633 muc 238
114.59/114.69	c iter 240 time 103.703 not-muc 15981762 unknown 1632 muc 239
114.59/114.69	c iter 241 time 104.042 not-muc 15981762 unknown 1631 muc 240
114.59/114.69	c iter 242 time 104.38 not-muc 15981762 unknown 1630 muc 241
114.59/114.69	c iter 243 time 104.712 not-muc 15981762 unknown 1629 muc 242
114.59/114.69	c iter 244 time 105.044 not-muc 15981762 unknown 1628 muc 243
114.59/114.69	c iter 245 time 105.376 not-muc 15981762 unknown 1627 muc 244
114.59/114.69	c iter 246 time 105.71 not-muc 15981762 unknown 1626 muc 245
114.59/114.69	c iter 247 time 106.047 not-muc 15981762 unknown 1625 muc 246
114.59/114.69	c iter 248 time 106.384 not-muc 15981762 unknown 1624 muc 247
114.59/114.69	c iter 249 time 106.723 not-muc 15981762 unknown 1623 muc 248
114.59/114.69	c iter 250 time 107.062 not-muc 15981762 unknown 1622 muc 249
114.59/114.69	c iter 251 time 107.401 not-muc 15981762 unknown 1621 muc 250
114.59/114.69	c iter 252 time 107.74 not-muc 15981762 unknown 1620 muc 251
114.59/114.69	c iter 253 time 108.079 not-muc 15981762 unknown 1619 muc 252
114.59/114.69	c iter 254 time 108.418 not-muc 15981762 unknown 1618 muc 253
114.59/114.69	c iter 255 time 108.756 not-muc 15981762 unknown 1617 muc 254
114.59/114.69	c iter 256 time 109.094 not-muc 15981762 unknown 1616 muc 255
114.59/114.69	c iter 257 time 109.434 not-muc 15981762 unknown 1615 muc 256
114.59/114.69	c iter 258 time 109.773 not-muc 15981762 unknown 1614 muc 257
114.59/114.69	c iter 259 time 110.112 not-muc 15981762 unknown 1613 muc 258
114.59/114.69	c iter 260 time 110.451 not-muc 15981762 unknown 1612 muc 259
114.59/114.69	c iter 261 time 110.79 not-muc 15981762 unknown 1611 muc 260
114.59/114.69	c iter 262 time 111.127 not-muc 15981762 unknown 1610 muc 261
114.59/114.69	c iter 263 time 111.459 not-muc 15981762 unknown 1609 muc 262
114.59/114.69	c iter 264 time 111.791 not-muc 15981762 unknown 1608 muc 263
114.59/114.69	c iter 265 time 112.125 not-muc 15981762 unknown 1607 muc 264
114.59/114.69	c iter 266 time 112.464 not-muc 15981762 unknown 1606 muc 265
114.59/114.69	c iter 267 time 112.802 not-muc 15981762 unknown 1605 muc 266
114.59/114.69	c iter 268 time 113.141 not-muc 15981762 unknown 1604 muc 267
137.09/137.11	c iter 269 time 113.481 not-muc 15981762 unknown 1603 muc 268
137.09/137.11	c iter 270 time 113.82 not-muc 15981762 unknown 1602 muc 269
137.09/137.11	c iter 271 time 114.159 not-muc 15981762 unknown 1601 muc 270
137.09/137.11	c iter 272 time 114.499 not-muc 15981762 unknown 1600 muc 271
137.09/137.11	c iter 273 time 114.838 not-muc 15981762 unknown 1599 muc 272
137.09/137.11	c iter 274 time 115.177 not-muc 15981762 unknown 1598 muc 273
137.09/137.11	c iter 275 time 115.517 not-muc 15981762 unknown 1597 muc 274
137.09/137.11	c iter 276 time 115.857 not-muc 15981762 unknown 1596 muc 275
137.09/137.11	c iter 277 time 116.196 not-muc 15981762 unknown 1595 muc 276
137.09/137.11	c iter 278 time 116.537 not-muc 15981762 unknown 1594 muc 277
137.09/137.11	c iter 279 time 116.877 not-muc 15981762 unknown 1593 muc 278
137.09/137.11	c iter 280 time 117.216 not-muc 15981762 unknown 1592 muc 279
137.09/137.11	c iter 281 time 117.554 not-muc 15981762 unknown 1591 muc 280
137.09/137.11	c iter 282 time 117.887 not-muc 15981762 unknown 1590 muc 281
137.09/137.11	c iter 283 time 118.22 not-muc 15981762 unknown 1589 muc 282
137.09/137.11	c iter 284 time 118.554 not-muc 15981762 unknown 1588 muc 283
137.09/137.11	c iter 285 time 118.892 not-muc 15981762 unknown 1587 muc 284
137.09/137.11	c iter 286 time 119.231 not-muc 15981762 unknown 1586 muc 285
137.09/137.11	c iter 287 time 119.57 not-muc 15981762 unknown 1585 muc 286
137.09/137.11	c iter 288 time 119.91 not-muc 15981762 unknown 1584 muc 287
137.09/137.11	c iter 289 time 120.251 not-muc 15981762 unknown 1583 muc 288
137.09/137.11	c iter 290 time 120.592 not-muc 15981762 unknown 1582 muc 289
137.09/137.11	c iter 291 time 120.932 not-muc 15981762 unknown 1581 muc 290
137.09/137.11	c iter 292 time 121.273 not-muc 15981762 unknown 1580 muc 291
137.09/137.11	c iter 293 time 121.613 not-muc 15981762 unknown 1579 muc 292
137.09/137.11	c iter 294 time 121.952 not-muc 15981762 unknown 1578 muc 293
137.09/137.11	c iter 295 time 122.293 not-muc 15981762 unknown 1577 muc 294
137.09/137.11	c iter 296 time 122.634 not-muc 15981762 unknown 1576 muc 295
137.09/137.11	c iter 297 time 122.974 not-muc 15981762 unknown 1575 muc 296
137.09/137.11	c iter 298 time 123.314 not-muc 15981762 unknown 1574 muc 297
137.09/137.11	c iter 299 time 123.655 not-muc 15981762 unknown 1573 muc 298
137.09/137.11	c iter 300 time 123.996 not-muc 15981762 unknown 1572 muc 299
137.09/137.11	c iter 301 time 124.332 not-muc 15981762 unknown 1571 muc 300
137.09/137.11	c iter 302 time 124.666 not-muc 15981762 unknown 1570 muc 301
137.09/137.11	c iter 303 time 125 not-muc 15981762 unknown 1569 muc 302
137.09/137.11	c iter 304 time 125.337 not-muc 15981762 unknown 1568 muc 303
137.09/137.11	c iter 305 time 125.677 not-muc 15981762 unknown 1567 muc 304
137.09/137.11	c iter 306 time 126.017 not-muc 15981762 unknown 1566 muc 305
137.09/137.11	c iter 307 time 126.358 not-muc 15981762 unknown 1565 muc 306
137.09/137.11	c iter 308 time 126.699 not-muc 15981762 unknown 1564 muc 307
137.09/137.11	c iter 309 time 127.041 not-muc 15981762 unknown 1563 muc 308
137.09/137.11	c iter 310 time 127.382 not-muc 15981762 unknown 1562 muc 309
137.09/137.11	c iter 311 time 127.723 not-muc 15981762 unknown 1561 muc 310
137.09/137.11	c iter 312 time 128.064 not-muc 15981762 unknown 1560 muc 311
137.09/137.11	c iter 313 time 128.404 not-muc 15981762 unknown 1559 muc 312
137.09/137.11	c iter 314 time 128.746 not-muc 15981762 unknown 1558 muc 313
137.09/137.11	c iter 315 time 129.087 not-muc 15981762 unknown 1557 muc 314
137.09/137.11	c iter 316 time 129.429 not-muc 15981762 unknown 1556 muc 315
137.09/137.11	c iter 317 time 129.771 not-muc 15981762 unknown 1555 muc 316
137.09/137.11	c iter 318 time 130.113 not-muc 15981762 unknown 1554 muc 317
137.09/137.11	c iter 319 time 130.455 not-muc 15981762 unknown 1553 muc 318
137.09/137.11	c iter 320 time 130.792 not-muc 15981762 unknown 1552 muc 319
137.09/137.11	c iter 321 time 131.128 not-muc 15981762 unknown 1551 muc 320
137.09/137.11	c iter 322 time 131.462 not-muc 15981762 unknown 1550 muc 321
137.09/137.11	c iter 323 time 131.799 not-muc 15981762 unknown 1549 muc 322
137.09/137.11	c iter 324 time 132.139 not-muc 15981762 unknown 1548 muc 323
137.09/137.11	c iter 325 time 132.479 not-muc 15981762 unknown 1547 muc 324
137.09/137.11	c iter 326 time 132.821 not-muc 15981762 unknown 1546 muc 325
137.09/137.11	c iter 327 time 133.164 not-muc 15981762 unknown 1545 muc 326
137.09/137.11	c iter 328 time 133.505 not-muc 15981762 unknown 1544 muc 327
137.09/137.11	c iter 329 time 133.847 not-muc 15981762 unknown 1543 muc 328
137.09/137.11	c iter 330 time 134.189 not-muc 15981762 unknown 1542 muc 329
137.09/137.11	c iter 331 time 134.531 not-muc 15981762 unknown 1541 muc 330
137.09/137.11	c iter 332 time 134.872 not-muc 15981762 unknown 1540 muc 331
137.09/137.11	c iter 333 time 135.214 not-muc 15981762 unknown 1539 muc 332
137.09/137.11	c iter 334 time 135.557 not-muc 15981762 unknown 1538 muc 333
159.59/159.69	c iter 335 time 135.899 not-muc 15981762 unknown 1537 muc 334
159.59/159.69	c iter 336 time 136.241 not-muc 15981762 unknown 1536 muc 335
159.59/159.69	c iter 337 time 136.583 not-muc 15981762 unknown 1535 muc 336
159.59/159.69	c iter 338 time 136.925 not-muc 15981762 unknown 1534 muc 337
159.59/159.69	c iter 339 time 137.265 not-muc 15981762 unknown 1533 muc 338
159.59/159.69	c iter 340 time 137.601 not-muc 15981762 unknown 1532 muc 339
159.59/159.69	c iter 341 time 137.936 not-muc 15981762 unknown 1531 muc 340
159.59/159.69	c iter 342 time 138.273 not-muc 15981762 unknown 1530 muc 341
159.59/159.69	c iter 343 time 138.613 not-muc 15981762 unknown 1529 muc 342
159.59/159.69	c iter 344 time 138.954 not-muc 15981762 unknown 1528 muc 343
159.59/159.69	c iter 345 time 139.295 not-muc 15981762 unknown 1527 muc 344
159.59/159.69	c iter 346 time 139.638 not-muc 15981762 unknown 1526 muc 345
159.59/159.69	c iter 347 time 139.981 not-muc 15981762 unknown 1525 muc 346
159.59/159.69	c iter 348 time 140.324 not-muc 15981762 unknown 1524 muc 347
159.59/159.69	c iter 349 time 140.667 not-muc 15981762 unknown 1523 muc 348
159.59/159.69	c iter 350 time 141.01 not-muc 15981762 unknown 1522 muc 349
159.59/159.69	c iter 351 time 141.353 not-muc 15981762 unknown 1521 muc 350
159.59/159.69	c iter 352 time 141.695 not-muc 15981762 unknown 1520 muc 351
159.59/159.69	c iter 353 time 142.037 not-muc 15981762 unknown 1519 muc 352
159.59/159.69	c iter 354 time 142.38 not-muc 15981762 unknown 1518 muc 353
159.59/159.69	c iter 355 time 142.723 not-muc 15981762 unknown 1517 muc 354
159.59/159.69	c iter 356 time 143.066 not-muc 15981762 unknown 1516 muc 355
159.59/159.69	c iter 357 time 143.409 not-muc 15981762 unknown 1515 muc 356
159.59/159.69	c iter 358 time 143.753 not-muc 15981762 unknown 1514 muc 357
159.59/159.69	c iter 359 time 144.089 not-muc 15981762 unknown 1513 muc 358
159.59/159.69	c iter 360 time 144.425 not-muc 15981762 unknown 1512 muc 359
159.59/159.69	c iter 361 time 144.761 not-muc 15981762 unknown 1511 muc 360
159.59/159.69	c iter 362 time 145.102 not-muc 15981762 unknown 1510 muc 361
159.59/159.69	c iter 363 time 145.445 not-muc 15981762 unknown 1509 muc 362
159.59/159.69	c iter 364 time 145.788 not-muc 15981762 unknown 1508 muc 363
159.59/159.69	c iter 365 time 146.132 not-muc 15981762 unknown 1507 muc 364
159.59/159.69	c iter 366 time 146.476 not-muc 15981762 unknown 1506 muc 365
159.59/159.69	c iter 367 time 146.819 not-muc 15981762 unknown 1505 muc 366
159.59/159.69	c iter 368 time 147.163 not-muc 15981762 unknown 1504 muc 367
159.59/159.69	c iter 369 time 147.507 not-muc 15981762 unknown 1503 muc 368
159.59/159.69	c iter 370 time 147.851 not-muc 15981762 unknown 1502 muc 369
159.59/159.69	c iter 371 time 148.193 not-muc 15981762 unknown 1501 muc 370
159.59/159.69	c iter 372 time 148.538 not-muc 15981762 unknown 1500 muc 371
159.59/159.69	c iter 373 time 148.882 not-muc 15981762 unknown 1499 muc 372
159.59/159.69	c iter 374 time 149.226 not-muc 15981762 unknown 1498 muc 373
159.59/159.69	c iter 375 time 149.57 not-muc 15981762 unknown 1497 muc 374
159.59/159.69	c iter 376 time 149.914 not-muc 15981762 unknown 1496 muc 375
159.59/159.69	c iter 377 time 150.258 not-muc 15981762 unknown 1495 muc 376
159.59/159.69	c iter 378 time 150.596 not-muc 15981762 unknown 1494 muc 377
159.59/159.69	c iter 379 time 150.934 not-muc 15981762 unknown 1493 muc 378
159.59/159.69	c iter 380 time 151.271 not-muc 15981762 unknown 1492 muc 379
159.59/159.69	c iter 381 time 151.612 not-muc 15981762 unknown 1491 muc 380
159.59/159.69	c iter 382 time 151.956 not-muc 15981762 unknown 1490 muc 381
159.59/159.69	c iter 383 time 152.299 not-muc 15981762 unknown 1489 muc 382
159.59/159.69	c iter 384 time 152.643 not-muc 15981762 unknown 1488 muc 383
159.59/159.69	c iter 385 time 152.988 not-muc 15981762 unknown 1487 muc 384
159.59/159.69	c iter 386 time 153.331 not-muc 15981762 unknown 1486 muc 385
159.59/159.69	c iter 387 time 153.676 not-muc 15981762 unknown 1485 muc 386
159.59/159.69	c iter 388 time 154.021 not-muc 15981762 unknown 1484 muc 387
159.59/159.69	c iter 389 time 154.367 not-muc 15981762 unknown 1483 muc 388
159.59/159.69	c iter 390 time 154.711 not-muc 15981762 unknown 1482 muc 389
159.59/159.69	c iter 391 time 155.056 not-muc 15981762 unknown 1481 muc 390
159.59/159.69	c iter 392 time 155.402 not-muc 15981762 unknown 1480 muc 391
159.59/159.69	c iter 393 time 155.746 not-muc 15981762 unknown 1479 muc 392
159.59/159.69	c iter 394 time 156.091 not-muc 15981762 unknown 1478 muc 393
159.59/159.69	c iter 395 time 156.437 not-muc 15981762 unknown 1477 muc 394
159.59/159.69	c iter 396 time 156.783 not-muc 15981762 unknown 1476 muc 395
159.59/159.69	c iter 397 time 157.121 not-muc 15981762 unknown 1475 muc 396
159.59/159.69	c iter 398 time 157.46 not-muc 15981762 unknown 1474 muc 397
159.59/159.69	c iter 399 time 157.798 not-muc 15981762 unknown 1473 muc 398
159.59/159.69	c iter 400 time 158.138 not-muc 15981762 unknown 1472 muc 399
182.50/182.52	c iter 401 time 158.482 not-muc 15981762 unknown 1471 muc 400
182.50/182.52	c iter 402 time 158.827 not-muc 15981762 unknown 1470 muc 401
182.50/182.52	c iter 403 time 159.173 not-muc 15981762 unknown 1469 muc 402
182.50/182.52	c iter 404 time 159.519 not-muc 15981762 unknown 1468 muc 403
182.50/182.52	c iter 405 time 159.865 not-muc 15981762 unknown 1467 muc 404
182.50/182.52	c iter 406 time 160.21 not-muc 15981762 unknown 1466 muc 405
182.50/182.52	c iter 407 time 160.556 not-muc 15981762 unknown 1465 muc 406
182.50/182.52	c iter 408 time 160.902 not-muc 15981762 unknown 1464 muc 407
182.50/182.52	c iter 409 time 161.247 not-muc 15981762 unknown 1463 muc 408
182.50/182.52	c iter 410 time 161.593 not-muc 15981762 unknown 1462 muc 409
182.50/182.52	c iter 411 time 161.939 not-muc 15981762 unknown 1461 muc 410
182.50/182.52	c iter 412 time 162.285 not-muc 15981762 unknown 1460 muc 411
182.50/182.52	c iter 413 time 162.631 not-muc 15981762 unknown 1459 muc 412
182.50/182.52	c iter 414 time 162.978 not-muc 15981762 unknown 1458 muc 413
182.50/182.52	c iter 415 time 163.323 not-muc 15981762 unknown 1457 muc 414
182.50/182.52	c iter 416 time 163.664 not-muc 15981762 unknown 1456 muc 415
182.50/182.52	c iter 417 time 164.004 not-muc 15981762 unknown 1455 muc 416
182.50/182.52	c iter 418 time 164.344 not-muc 15981762 unknown 1454 muc 417
182.50/182.52	c iter 419 time 164.686 not-muc 15981762 unknown 1453 muc 418
182.50/182.52	c iter 420 time 165.032 not-muc 15981762 unknown 1452 muc 419
182.50/182.52	c iter 421 time 165.377 not-muc 15981762 unknown 1451 muc 420
182.50/182.52	c iter 422 time 165.723 not-muc 15981762 unknown 1450 muc 421
182.50/182.52	c iter 423 time 166.07 not-muc 15981762 unknown 1449 muc 422
182.50/182.52	c iter 424 time 166.416 not-muc 15981762 unknown 1448 muc 423
182.50/182.52	c iter 425 time 166.763 not-muc 15981762 unknown 1447 muc 424
182.50/182.52	c iter 426 time 167.11 not-muc 15981762 unknown 1446 muc 425
182.50/182.52	c iter 427 time 167.457 not-muc 15981762 unknown 1445 muc 426
182.50/182.52	c iter 428 time 167.803 not-muc 15981762 unknown 1444 muc 427
182.50/182.52	c iter 429 time 168.15 not-muc 15981762 unknown 1443 muc 428
182.50/182.52	c iter 430 time 168.497 not-muc 15981762 unknown 1442 muc 429
182.50/182.52	c iter 431 time 168.843 not-muc 15981762 unknown 1441 muc 430
182.50/182.52	c iter 432 time 169.191 not-muc 15981762 unknown 1440 muc 431
182.50/182.52	c iter 433 time 169.538 not-muc 15981762 unknown 1439 muc 432
182.50/182.52	c iter 434 time 169.885 not-muc 15981762 unknown 1438 muc 433
182.50/182.52	c iter 435 time 170.226 not-muc 15981762 unknown 1437 muc 434
182.50/182.52	c iter 436 time 170.567 not-muc 15981762 unknown 1436 muc 435
182.50/182.52	c iter 437 time 170.907 not-muc 15981762 unknown 1435 muc 436
182.50/182.52	c iter 438 time 171.25 not-muc 15981762 unknown 1434 muc 437
182.50/182.52	c iter 439 time 171.596 not-muc 15981762 unknown 1433 muc 438
182.50/182.52	c iter 440 time 171.943 not-muc 15981762 unknown 1432 muc 439
182.50/182.52	c iter 441 time 172.291 not-muc 15981762 unknown 1431 muc 440
182.50/182.52	c iter 442 time 172.639 not-muc 15981762 unknown 1430 muc 441
182.50/182.52	c iter 443 time 172.986 not-muc 15981762 unknown 1429 muc 442
182.50/182.52	c iter 444 time 173.334 not-muc 15981762 unknown 1428 muc 443
182.50/182.52	c iter 445 time 173.681 not-muc 15981762 unknown 1427 muc 444
182.50/182.52	c iter 446 time 174.027 not-muc 15981762 unknown 1426 muc 445
182.50/182.52	c iter 447 time 174.374 not-muc 15981762 unknown 1425 muc 446
182.50/182.52	c iter 448 time 174.723 not-muc 15981762 unknown 1424 muc 447
182.50/182.52	c iter 449 time 175.071 not-muc 15981762 unknown 1423 muc 448
182.50/182.52	c iter 450 time 175.419 not-muc 15981762 unknown 1422 muc 449
182.50/182.52	c iter 451 time 175.767 not-muc 15981762 unknown 1421 muc 450
182.50/182.52	c iter 452 time 176.115 not-muc 15981762 unknown 1420 muc 451
182.50/182.52	c iter 453 time 176.464 not-muc 15981762 unknown 1419 muc 452
182.50/182.52	c iter 454 time 176.806 not-muc 15981762 unknown 1418 muc 453
182.50/182.52	c iter 455 time 177.147 not-muc 15981762 unknown 1417 muc 454
182.50/182.52	c iter 456 time 177.488 not-muc 15981762 unknown 1416 muc 455
182.50/182.52	c iter 457 time 177.832 not-muc 15981762 unknown 1415 muc 456
182.50/182.52	c iter 458 time 178.179 not-muc 15981762 unknown 1414 muc 457
182.50/182.52	c iter 459 time 178.527 not-muc 15981762 unknown 1413 muc 458
182.50/182.52	c iter 460 time 178.875 not-muc 15981762 unknown 1412 muc 459
182.50/182.52	c iter 461 time 179.223 not-muc 15981762 unknown 1411 muc 460
182.50/182.52	c iter 462 time 179.572 not-muc 15981762 unknown 1410 muc 461
182.50/182.52	c iter 463 time 179.92 not-muc 15981762 unknown 1409 muc 462
182.50/182.52	c iter 464 time 180.269 not-muc 15981762 unknown 1408 muc 463
182.50/182.52	c iter 465 time 180.618 not-muc 15981762 unknown 1407 muc 464
182.50/182.52	c iter 466 time 180.967 not-muc 15981762 unknown 1406 muc 465
205.49/205.57	c iter 467 time 181.316 not-muc 15981762 unknown 1405 muc 466
205.49/205.57	c iter 468 time 181.664 not-muc 15981762 unknown 1404 muc 467
205.49/205.57	c iter 469 time 182.014 not-muc 15981762 unknown 1403 muc 468
205.49/205.57	c iter 470 time 182.364 not-muc 15981762 unknown 1402 muc 469
205.49/205.57	c iter 471 time 182.713 not-muc 15981762 unknown 1401 muc 470
205.49/205.57	c iter 472 time 183.062 not-muc 15981762 unknown 1400 muc 471
205.49/205.57	c iter 473 time 183.405 not-muc 15981762 unknown 1399 muc 472
205.49/205.57	c iter 474 time 183.748 not-muc 15981762 unknown 1398 muc 473
205.49/205.57	c iter 475 time 184.09 not-muc 15981762 unknown 1397 muc 474
205.49/205.57	c iter 476 time 184.436 not-muc 15981762 unknown 1396 muc 475
205.49/205.57	c iter 477 time 184.784 not-muc 15981762 unknown 1395 muc 476
205.49/205.57	c iter 478 time 185.133 not-muc 15981762 unknown 1394 muc 477
205.49/205.57	c iter 479 time 185.482 not-muc 15981762 unknown 1393 muc 478
205.49/205.57	c iter 480 time 185.831 not-muc 15981762 unknown 1392 muc 479
205.49/205.57	c iter 481 time 186.181 not-muc 15981762 unknown 1391 muc 480
205.49/205.57	c iter 482 time 186.531 not-muc 15981762 unknown 1390 muc 481
205.49/205.57	c iter 483 time 186.88 not-muc 15981762 unknown 1389 muc 482
205.49/205.57	c iter 484 time 187.23 not-muc 15981762 unknown 1388 muc 483
205.49/205.57	c iter 485 time 187.579 not-muc 15981762 unknown 1387 muc 484
205.49/205.57	c iter 486 time 187.929 not-muc 15981762 unknown 1386 muc 485
205.49/205.57	c iter 487 time 188.279 not-muc 15981762 unknown 1385 muc 486
205.49/205.57	c iter 488 time 188.629 not-muc 15981762 unknown 1384 muc 487
205.49/205.57	c iter 489 time 188.98 not-muc 15981762 unknown 1383 muc 488
205.49/205.57	c iter 490 time 189.329 not-muc 15981762 unknown 1382 muc 489
205.49/205.57	c iter 491 time 189.679 not-muc 15981762 unknown 1381 muc 490
205.49/205.57	c iter 492 time 190.022 not-muc 15981762 unknown 1380 muc 491
205.49/205.57	c iter 493 time 190.366 not-muc 15981762 unknown 1379 muc 492
205.49/205.57	c iter 494 time 190.71 not-muc 15981762 unknown 1378 muc 493
205.49/205.57	c iter 495 time 191.058 not-muc 15981762 unknown 1377 muc 494
205.49/205.57	c iter 496 time 191.407 not-muc 15981762 unknown 1376 muc 495
205.49/205.57	c iter 497 time 191.758 not-muc 15981762 unknown 1375 muc 496
205.49/205.57	c iter 498 time 192.108 not-muc 15981762 unknown 1374 muc 497
205.49/205.57	c iter 499 time 192.459 not-muc 15981762 unknown 1373 muc 498
205.49/205.57	c iter 500 time 192.81 not-muc 15981762 unknown 1372 muc 499
205.49/205.57	c iter 501 time 193.16 not-muc 15981762 unknown 1371 muc 500
205.49/205.57	c iter 502 time 193.512 not-muc 15981762 unknown 1370 muc 501
205.49/205.57	c iter 503 time 193.863 not-muc 15981762 unknown 1369 muc 502
205.49/205.57	c iter 504 time 194.213 not-muc 15981762 unknown 1368 muc 503
205.49/205.57	c iter 505 time 194.565 not-muc 15981762 unknown 1367 muc 504
205.49/205.57	c iter 506 time 194.916 not-muc 15981762 unknown 1366 muc 505
205.49/205.57	c iter 507 time 195.268 not-muc 15981762 unknown 1365 muc 506
205.49/205.57	c iter 508 time 195.619 not-muc 15981762 unknown 1364 muc 507
205.49/205.57	c iter 509 time 195.97 not-muc 15981762 unknown 1363 muc 508
205.49/205.57	c iter 510 time 196.32 not-muc 15981762 unknown 1362 muc 509
205.49/205.57	c iter 511 time 196.665 not-muc 15981762 unknown 1361 muc 510
205.49/205.57	c iter 512 time 197.01 not-muc 15981762 unknown 1360 muc 511
205.49/205.57	c iter 513 time 197.355 not-muc 15981762 unknown 1359 muc 512
205.49/205.57	c iter 514 time 197.705 not-muc 15981762 unknown 1358 muc 513
205.49/205.57	c iter 515 time 198.056 not-muc 15981762 unknown 1357 muc 514
205.49/205.57	c iter 516 time 198.408 not-muc 15981762 unknown 1356 muc 515
205.49/205.57	c iter 517 time 198.76 not-muc 15981762 unknown 1355 muc 516
205.49/205.57	c iter 518 time 199.111 not-muc 15981762 unknown 1354 muc 517
205.49/205.57	c iter 519 time 199.463 not-muc 15981762 unknown 1353 muc 518
205.49/205.57	c iter 520 time 199.816 not-muc 15981762 unknown 1352 muc 519
205.49/205.57	c iter 521 time 200.168 not-muc 15981762 unknown 1351 muc 520
205.49/205.57	c iter 522 time 200.52 not-muc 15981762 unknown 1350 muc 521
205.49/205.57	c iter 523 time 200.871 not-muc 15981762 unknown 1349 muc 522
205.49/205.57	c iter 524 time 201.223 not-muc 15981762 unknown 1348 muc 523
205.49/205.57	c iter 525 time 201.575 not-muc 15981762 unknown 1347 muc 524
205.49/205.57	c iter 526 time 201.928 not-muc 15981762 unknown 1346 muc 525
205.49/205.57	c iter 527 time 202.281 not-muc 15981762 unknown 1345 muc 526
205.49/205.57	c iter 528 time 202.634 not-muc 15981762 unknown 1344 muc 527
205.49/205.57	c iter 529 time 202.982 not-muc 15981762 unknown 1343 muc 528
205.49/205.57	c iter 530 time 203.328 not-muc 15981762 unknown 1342 muc 529
205.49/205.57	c iter 531 time 203.673 not-muc 15981762 unknown 1341 muc 530
205.49/205.57	c iter 532 time 204.021 not-muc 15981762 unknown 1340 muc 531
229.19/229.29	c iter 533 time 204.372 not-muc 15981762 unknown 1339 muc 532
229.19/229.29	c iter 534 time 204.724 not-muc 15981762 unknown 1338 muc 533
229.19/229.29	c iter 535 time 205.078 not-muc 15981762 unknown 1337 muc 534
229.19/229.29	c iter 536 time 205.431 not-muc 15981762 unknown 1336 muc 535
229.19/229.29	c iter 537 time 205.784 not-muc 15981762 unknown 1335 muc 536
229.19/229.29	c iter 538 time 206.138 not-muc 15981762 unknown 1334 muc 537
229.19/229.29	c iter 539 time 206.49 not-muc 15981762 unknown 1333 muc 538
229.19/229.29	c iter 540 time 206.844 not-muc 15981762 unknown 1332 muc 539
229.19/229.29	c iter 541 time 207.198 not-muc 15981762 unknown 1331 muc 540
229.19/229.29	c iter 542 time 207.55 not-muc 15981762 unknown 1330 muc 541
229.19/229.29	c iter 543 time 207.905 not-muc 15981762 unknown 1329 muc 542
229.19/229.29	c iter 544 time 208.258 not-muc 15981762 unknown 1328 muc 543
229.19/229.29	c iter 545 time 208.612 not-muc 15981762 unknown 1327 muc 544
229.19/229.29	c iter 546 time 208.967 not-muc 15981762 unknown 1326 muc 545
229.19/229.29	c iter 547 time 209.32 not-muc 15981762 unknown 1325 muc 546
229.19/229.29	c iter 548 time 209.668 not-muc 15981762 unknown 1324 muc 547
229.19/229.29	c iter 549 time 210.014 not-muc 15981762 unknown 1323 muc 548
229.19/229.29	c iter 550 time 210.361 not-muc 15981762 unknown 1322 muc 549
229.19/229.29	c iter 551 time 210.713 not-muc 15981762 unknown 1321 muc 550
229.19/229.29	c iter 552 time 211.067 not-muc 15981762 unknown 1320 muc 551
229.19/229.29	c iter 553 time 211.422 not-muc 15981762 unknown 1319 muc 552
229.19/229.29	c iter 554 time 211.776 not-muc 15981762 unknown 1318 muc 553
229.19/229.29	c iter 555 time 212.13 not-muc 15981762 unknown 1317 muc 554
229.19/229.29	c iter 556 time 212.484 not-muc 15981762 unknown 1316 muc 555
229.19/229.29	c iter 557 time 212.839 not-muc 15981762 unknown 1315 muc 556
229.19/229.29	c iter 558 time 213.194 not-muc 15981762 unknown 1314 muc 557
229.19/229.29	c iter 559 time 213.549 not-muc 15981762 unknown 1313 muc 558
229.19/229.29	c iter 560 time 213.901 not-muc 15981762 unknown 1312 muc 559
229.19/229.29	c iter 561 time 214.256 not-muc 15981762 unknown 1311 muc 560
229.19/229.29	c iter 562 time 214.611 not-muc 15981762 unknown 1310 muc 561
229.19/229.29	c iter 563 time 214.966 not-muc 15981762 unknown 1309 muc 562
229.19/229.29	c iter 564 time 215.321 not-muc 15981762 unknown 1308 muc 563
229.19/229.29	c iter 565 time 215.676 not-muc 15981762 unknown 1307 muc 564
229.19/229.29	c iter 566 time 216.029 not-muc 15981762 unknown 1306 muc 565
229.19/229.29	c iter 567 time 216.378 not-muc 15981762 unknown 1305 muc 566
229.19/229.29	c iter 568 time 216.726 not-muc 15981762 unknown 1304 muc 567
229.19/229.29	c iter 569 time 217.075 not-muc 15981762 unknown 1303 muc 568
229.19/229.29	c iter 570 time 217.429 not-muc 15981762 unknown 1302 muc 569
229.19/229.29	c iter 571 time 217.783 not-muc 15981762 unknown 1301 muc 570
229.19/229.29	c iter 572 time 218.139 not-muc 15981762 unknown 1300 muc 571
229.19/229.29	c iter 573 time 218.496 not-muc 15981762 unknown 1299 muc 572
229.19/229.29	c iter 574 time 218.851 not-muc 15981762 unknown 1298 muc 573
229.19/229.29	c iter 575 time 219.207 not-muc 15981762 unknown 1297 muc 574
229.19/229.29	c iter 576 time 219.562 not-muc 15981762 unknown 1296 muc 575
229.19/229.29	c iter 577 time 219.918 not-muc 15981762 unknown 1295 muc 576
229.19/229.29	c iter 578 time 220.275 not-muc 15981762 unknown 1294 muc 577
229.19/229.29	c iter 579 time 220.63 not-muc 15981762 unknown 1293 muc 578
229.19/229.29	c iter 580 time 220.986 not-muc 15981762 unknown 1292 muc 579
229.19/229.29	c iter 581 time 221.343 not-muc 15981762 unknown 1291 muc 580
229.19/229.29	c iter 582 time 221.699 not-muc 15981762 unknown 1290 muc 581
229.19/229.29	c iter 583 time 222.056 not-muc 15981762 unknown 1289 muc 582
229.19/229.29	c iter 584 time 222.413 not-muc 15981762 unknown 1288 muc 583
229.19/229.29	c iter 585 time 222.763 not-muc 15981762 unknown 1287 muc 584
229.19/229.29	c iter 586 time 223.112 not-muc 15981762 unknown 1286 muc 585
229.19/229.29	c iter 587 time 223.462 not-muc 15981762 unknown 1285 muc 586
229.19/229.29	c iter 588 time 223.816 not-muc 15981762 unknown 1284 muc 587
229.19/229.29	c iter 589 time 224.171 not-muc 15981762 unknown 1283 muc 588
229.19/229.29	c iter 590 time 224.527 not-muc 15981762 unknown 1282 muc 589
229.19/229.29	c iter 591 time 224.884 not-muc 15981762 unknown 1281 muc 590
229.19/229.29	c iter 592 time 225.241 not-muc 15981762 unknown 1280 muc 591
229.19/229.29	c iter 593 time 225.599 not-muc 15981762 unknown 1279 muc 592
229.19/229.29	c iter 594 time 225.955 not-muc 15981762 unknown 1278 muc 593
229.19/229.29	c iter 595 time 226.313 not-muc 15981762 unknown 1277 muc 594
229.19/229.29	c iter 596 time 226.67 not-muc 15981762 unknown 1276 muc 595
229.19/229.29	c iter 597 time 227.026 not-muc 15981762 unknown 1275 muc 596
229.19/229.29	c iter 598 time 227.384 not-muc 15981762 unknown 1274 muc 597
229.19/229.29	c iter 599 time 227.742 not-muc 15981762 unknown 1273 muc 598
252.90/252.96	c iter 600 time 228.1 not-muc 15981762 unknown 1272 muc 599
252.90/252.96	c iter 601 time 228.457 not-muc 15981762 unknown 1271 muc 600
252.90/252.96	c iter 602 time 228.815 not-muc 15981762 unknown 1270 muc 601
252.90/252.96	c iter 603 time 229.171 not-muc 15981762 unknown 1269 muc 602
252.90/252.96	c iter 604 time 229.521 not-muc 15981762 unknown 1268 muc 603
252.90/252.96	c iter 605 time 229.871 not-muc 15981762 unknown 1267 muc 604
252.90/252.96	c iter 606 time 230.224 not-muc 15981762 unknown 1266 muc 605
252.90/252.96	c iter 607 time 230.58 not-muc 15981762 unknown 1265 muc 606
252.90/252.96	c iter 608 time 230.937 not-muc 15981762 unknown 1264 muc 607
252.90/252.96	c iter 609 time 231.296 not-muc 15981762 unknown 1263 muc 608
252.90/252.96	c iter 610 time 231.654 not-muc 15981762 unknown 1262 muc 609
252.90/252.96	c iter 611 time 232.013 not-muc 15981762 unknown 1261 muc 610
252.90/252.96	c iter 612 time 232.372 not-muc 15981762 unknown 1260 muc 611
252.90/252.96	c iter 613 time 232.73 not-muc 15981762 unknown 1259 muc 612
252.90/252.96	c iter 614 time 233.089 not-muc 15981762 unknown 1258 muc 613
252.90/252.96	c iter 615 time 233.448 not-muc 15981762 unknown 1257 muc 614
252.90/252.96	c iter 616 time 233.806 not-muc 15981762 unknown 1256 muc 615
252.90/252.96	c iter 617 time 234.164 not-muc 15981762 unknown 1255 muc 616
252.90/252.96	c iter 618 time 234.524 not-muc 15981762 unknown 1254 muc 617
252.90/252.96	c iter 619 time 234.883 not-muc 15981762 unknown 1253 muc 618
252.90/252.96	c iter 620 time 235.243 not-muc 15981762 unknown 1252 muc 619
252.90/252.96	c iter 621 time 235.601 not-muc 15981762 unknown 1251 muc 620
252.90/252.96	c iter 622 time 235.954 not-muc 15981762 unknown 1250 muc 621
252.90/252.96	c iter 623 time 236.307 not-muc 15981762 unknown 1249 muc 622
252.90/252.96	c iter 624 time 236.66 not-muc 15981762 unknown 1248 muc 623
252.90/252.96	c iter 625 time 237.017 not-muc 15981762 unknown 1247 muc 624
252.90/252.96	c iter 626 time 237.376 not-muc 15981762 unknown 1246 muc 625
252.90/252.96	c iter 627 time 237.736 not-muc 15981762 unknown 1245 muc 626
252.90/252.96	c iter 628 time 238.096 not-muc 15981762 unknown 1244 muc 627
252.90/252.96	c iter 629 time 238.456 not-muc 15981762 unknown 1243 muc 628
252.90/252.96	c iter 630 time 238.817 not-muc 15981762 unknown 1242 muc 629
252.90/252.96	c iter 631 time 239.177 not-muc 15981762 unknown 1241 muc 630
252.90/252.96	c iter 632 time 239.538 not-muc 15981762 unknown 1240 muc 631
252.90/252.96	c iter 633 time 239.898 not-muc 15981762 unknown 1239 muc 632
252.90/252.96	c iter 634 time 240.257 not-muc 15981762 unknown 1238 muc 633
252.90/252.96	c iter 635 time 240.618 not-muc 15981762 unknown 1237 muc 634
252.90/252.96	c iter 636 time 240.979 not-muc 15981762 unknown 1236 muc 635
252.90/252.96	c iter 637 time 241.339 not-muc 15981762 unknown 1235 muc 636
252.90/252.96	c iter 638 time 241.7 not-muc 15981762 unknown 1234 muc 637
252.90/252.96	c iter 639 time 242.061 not-muc 15981762 unknown 1233 muc 638
252.90/252.96	c iter 640 time 242.416 not-muc 15981762 unknown 1232 muc 639
252.90/252.96	c iter 641 time 242.77 not-muc 15981762 unknown 1231 muc 640
252.90/252.96	c iter 642 time 243.123 not-muc 15981762 unknown 1230 muc 641
252.90/252.96	c iter 643 time 243.48 not-muc 15981762 unknown 1229 muc 642
252.90/252.96	c iter 644 time 243.839 not-muc 15981762 unknown 1228 muc 643
252.90/252.96	c iter 645 time 244.2 not-muc 15981762 unknown 1227 muc 644
252.90/252.96	c iter 646 time 244.561 not-muc 15981762 unknown 1226 muc 645
252.90/252.96	c iter 647 time 244.922 not-muc 15981762 unknown 1225 muc 646
252.90/252.96	c iter 648 time 245.283 not-muc 15981762 unknown 1224 muc 647
252.90/252.96	c iter 649 time 245.645 not-muc 15981762 unknown 1223 muc 648
252.90/252.96	c iter 650 time 246.007 not-muc 15981762 unknown 1222 muc 649
252.90/252.96	c iter 651 time 246.369 not-muc 15981762 unknown 1221 muc 650
252.90/252.96	c iter 652 time 246.73 not-muc 15981762 unknown 1220 muc 651
252.90/252.96	c iter 653 time 247.092 not-muc 15981762 unknown 1219 muc 652
252.90/252.96	c iter 654 time 247.453 not-muc 15981762 unknown 1218 muc 653
252.90/252.96	c iter 655 time 247.815 not-muc 15981762 unknown 1217 muc 654
252.90/252.96	c iter 656 time 248.177 not-muc 15981762 unknown 1216 muc 655
252.90/252.96	c iter 657 time 248.539 not-muc 15981762 unknown 1215 muc 656
252.90/252.96	c iter 658 time 248.897 not-muc 15981762 unknown 1214 muc 657
252.90/252.96	c iter 659 time 249.252 not-muc 15981762 unknown 1213 muc 658
252.90/252.96	c iter 660 time 249.607 not-muc 15981762 unknown 1212 muc 659
252.90/252.96	c iter 661 time 249.964 not-muc 15981762 unknown 1211 muc 660
252.90/252.96	c iter 662 time 250.325 not-muc 15981762 unknown 1210 muc 661
252.90/252.96	c iter 663 time 250.686 not-muc 15981762 unknown 1209 muc 662
252.90/252.96	c iter 664 time 251.05 not-muc 15981762 unknown 1208 muc 663
252.90/252.96	c iter 665 time 251.412 not-muc 15981762 unknown 1207 muc 664
276.99/277.00	c iter 666 time 251.775 not-muc 15981762 unknown 1206 muc 665
276.99/277.00	c iter 667 time 252.138 not-muc 15981762 unknown 1205 muc 666
276.99/277.00	c iter 668 time 252.502 not-muc 15981762 unknown 1204 muc 667
276.99/277.00	c iter 669 time 252.865 not-muc 15981762 unknown 1203 muc 668
276.99/277.00	c iter 670 time 253.228 not-muc 15981762 unknown 1202 muc 669
276.99/277.00	c iter 671 time 253.59 not-muc 15981762 unknown 1201 muc 670
276.99/277.00	c iter 672 time 253.953 not-muc 15981762 unknown 1200 muc 671
276.99/277.00	c iter 673 time 254.317 not-muc 15981762 unknown 1199 muc 672
276.99/277.00	c iter 674 time 254.68 not-muc 15981762 unknown 1198 muc 673
276.99/277.00	c iter 675 time 255.043 not-muc 15981762 unknown 1197 muc 674
276.99/277.00	c iter 676 time 255.404 not-muc 15981762 unknown 1196 muc 675
276.99/277.00	c iter 677 time 255.76 not-muc 15981762 unknown 1195 muc 676
276.99/277.00	c iter 678 time 256.116 not-muc 15981762 unknown 1194 muc 677
276.99/277.00	c iter 679 time 256.474 not-muc 15981762 unknown 1193 muc 678
276.99/277.00	c iter 680 time 256.836 not-muc 15981762 unknown 1192 muc 679
276.99/277.00	c iter 681 time 257.199 not-muc 15981762 unknown 1191 muc 680
276.99/277.00	c iter 682 time 257.563 not-muc 15981762 unknown 1190 muc 681
276.99/277.00	c iter 683 time 257.927 not-muc 15981762 unknown 1189 muc 682
276.99/277.00	c iter 684 time 258.292 not-muc 15981762 unknown 1188 muc 683
276.99/277.00	c iter 685 time 258.657 not-muc 15981762 unknown 1187 muc 684
276.99/277.00	c iter 686 time 259.022 not-muc 15981762 unknown 1186 muc 685
276.99/277.00	c iter 687 time 259.386 not-muc 15981762 unknown 1185 muc 686
276.99/277.00	c iter 688 time 259.751 not-muc 15981762 unknown 1184 muc 687
276.99/277.00	c iter 689 time 260.114 not-muc 15981762 unknown 1183 muc 688
276.99/277.00	c iter 690 time 260.479 not-muc 15981762 unknown 1182 muc 689
276.99/277.00	c iter 691 time 260.844 not-muc 15981762 unknown 1181 muc 690
276.99/277.00	c iter 692 time 261.208 not-muc 15981762 unknown 1180 muc 691
276.99/277.00	c iter 693 time 261.572 not-muc 15981762 unknown 1179 muc 692
276.99/277.00	c iter 694 time 261.935 not-muc 15981762 unknown 1178 muc 693
276.99/277.00	c iter 695 time 262.293 not-muc 15981762 unknown 1177 muc 694
276.99/277.00	c iter 696 time 262.651 not-muc 15981762 unknown 1176 muc 695
276.99/277.00	c iter 697 time 263.01 not-muc 15981762 unknown 1175 muc 696
276.99/277.00	c iter 698 time 263.374 not-muc 15981762 unknown 1174 muc 697
276.99/277.00	c iter 699 time 263.738 not-muc 15981762 unknown 1173 muc 698
276.99/277.00	c iter 700 time 264.103 not-muc 15981762 unknown 1172 muc 699
276.99/277.00	c iter 701 time 264.469 not-muc 15981762 unknown 1171 muc 700
276.99/277.00	c iter 702 time 264.835 not-muc 15981762 unknown 1170 muc 701
276.99/277.00	c iter 703 time 265.201 not-muc 15981762 unknown 1169 muc 702
276.99/277.00	c iter 704 time 265.567 not-muc 15981762 unknown 1168 muc 703
276.99/277.00	c iter 705 time 265.933 not-muc 15981762 unknown 1167 muc 704
276.99/277.00	c iter 706 time 266.299 not-muc 15981762 unknown 1166 muc 705
276.99/277.00	c iter 707 time 266.664 not-muc 15981762 unknown 1165 muc 706
276.99/277.00	c iter 708 time 267.03 not-muc 15981762 unknown 1164 muc 707
276.99/277.00	c iter 709 time 267.397 not-muc 15981762 unknown 1163 muc 708
276.99/277.00	c iter 710 time 267.763 not-muc 15981762 unknown 1162 muc 709
276.99/277.00	c iter 711 time 268.129 not-muc 15981762 unknown 1161 muc 710
276.99/277.00	c iter 712 time 268.496 not-muc 15981762 unknown 1160 muc 711
276.99/277.00	c iter 713 time 268.856 not-muc 15981762 unknown 1159 muc 712
276.99/277.00	c iter 714 time 269.215 not-muc 15981762 unknown 1158 muc 713
276.99/277.00	c iter 715 time 269.576 not-muc 15981762 unknown 1157 muc 714
276.99/277.00	c iter 716 time 269.943 not-muc 15981762 unknown 1156 muc 715
276.99/277.00	c iter 717 time 270.307 not-muc 15981762 unknown 1155 muc 716
276.99/277.00	c iter 718 time 270.675 not-muc 15981762 unknown 1154 muc 717
276.99/277.00	c iter 719 time 271.043 not-muc 15981762 unknown 1153 muc 718
276.99/277.00	c iter 720 time 271.41 not-muc 15981762 unknown 1152 muc 719
276.99/277.00	c iter 721 time 271.778 not-muc 15981762 unknown 1151 muc 720
276.99/277.00	c iter 722 time 272.144 not-muc 15981762 unknown 1150 muc 721
276.99/277.00	c iter 723 time 272.511 not-muc 15981762 unknown 1149 muc 722
276.99/277.00	c iter 724 time 272.879 not-muc 15981762 unknown 1148 muc 723
276.99/277.00	c iter 725 time 273.245 not-muc 15981762 unknown 1147 muc 724
276.99/277.00	c iter 726 time 273.614 not-muc 15981762 unknown 1146 muc 725
276.99/277.00	c iter 727 time 273.981 not-muc 15981762 unknown 1145 muc 726
276.99/277.00	c iter 728 time 274.349 not-muc 15981762 unknown 1144 muc 727
276.99/277.00	c iter 729 time 274.718 not-muc 15981762 unknown 1143 muc 728
276.99/277.00	c iter 730 time 275.085 not-muc 15981762 unknown 1142 muc 729
276.99/277.00	c iter 731 time 275.447 not-muc 15981762 unknown 1141 muc 730
301.90/301.97	c iter 732 time 275.808 not-muc 15981762 unknown 1140 muc 731
301.90/301.97	c iter 733 time 276.171 not-muc 15981762 unknown 1139 muc 732
301.90/301.97	c iter 734 time 276.539 not-muc 15981762 unknown 1138 muc 733
301.90/301.97	c iter 735 time 276.907 not-muc 15981762 unknown 1137 muc 734
301.90/301.97	c iter 736 time 277.277 not-muc 15981762 unknown 1136 muc 735
301.90/301.97	c iter 737 time 277.646 not-muc 15981762 unknown 1135 muc 736
301.90/301.97	c iter 738 time 278.015 not-muc 15981762 unknown 1134 muc 737
301.90/301.97	c iter 739 time 278.385 not-muc 15981762 unknown 1133 muc 738
301.90/301.97	c iter 740 time 278.754 not-muc 15981762 unknown 1132 muc 739
301.90/301.97	c iter 741 time 279.123 not-muc 15981762 unknown 1131 muc 740
301.90/301.97	c iter 742 time 279.492 not-muc 15981762 unknown 1130 muc 741
301.90/301.97	c iter 743 time 279.861 not-muc 15981762 unknown 1129 muc 742
301.90/301.97	c iter 744 time 280.23 not-muc 15981762 unknown 1128 muc 743
301.90/301.97	c iter 745 time 280.599 not-muc 15981762 unknown 1127 muc 744
301.90/301.97	c iter 746 time 280.968 not-muc 15981762 unknown 1126 muc 745
301.90/301.97	c iter 747 time 281.338 not-muc 15981762 unknown 1125 muc 746
301.90/301.97	c iter 748 time 281.705 not-muc 15981762 unknown 1124 muc 747
301.90/301.97	c iter 749 time 282.067 not-muc 15981762 unknown 1123 muc 748
301.90/301.97	c iter 750 time 282.43 not-muc 15981762 unknown 1122 muc 749
301.90/301.97	c iter 751 time 282.795 not-muc 15981762 unknown 1121 muc 750
301.90/301.97	c iter 752 time 283.164 not-muc 15981762 unknown 1120 muc 751
301.90/301.97	c iter 753 time 283.897 not-muc 15981762 unknown 1119 muc 752
301.90/301.97	c iter 754 time 284.268 not-muc 15981762 unknown 1118 muc 753
301.90/301.97	c iter 755 time 284.639 not-muc 15981762 unknown 1117 muc 754
301.90/301.97	c iter 756 time 285.01 not-muc 15981762 unknown 1116 muc 755
301.90/301.97	c iter 757 time 285.381 not-muc 15981762 unknown 1115 muc 756
301.90/301.97	c iter 758 time 285.752 not-muc 15981762 unknown 1114 muc 757
301.90/301.97	c iter 759 time 286.122 not-muc 15981762 unknown 1113 muc 758
301.90/301.97	c iter 760 time 286.493 not-muc 15981762 unknown 1112 muc 759
301.90/301.97	c iter 761 time 286.864 not-muc 15981762 unknown 1111 muc 760
301.90/301.97	c iter 762 time 287.235 not-muc 15981762 unknown 1110 muc 761
301.90/301.97	c iter 763 time 287.606 not-muc 15981762 unknown 1109 muc 762
301.90/301.97	c iter 764 time 287.978 not-muc 15981762 unknown 1108 muc 763
301.90/301.97	c iter 765 time 288.344 not-muc 15981762 unknown 1107 muc 764
301.90/301.97	c iter 766 time 288.708 not-muc 15981762 unknown 1106 muc 765
301.90/301.97	c iter 767 time 289.071 not-muc 15981762 unknown 1105 muc 766
301.90/301.97	c iter 768 time 289.441 not-muc 15981762 unknown 1104 muc 767
301.90/301.97	c iter 769 time 289.812 not-muc 15981762 unknown 1103 muc 768
301.90/301.97	c iter 770 time 290.183 not-muc 15981762 unknown 1102 muc 769
301.90/301.97	c iter 771 time 290.555 not-muc 15981762 unknown 1101 muc 770
301.90/301.97	c iter 772 time 290.928 not-muc 15981762 unknown 1100 muc 771
301.90/301.97	c iter 773 time 291.301 not-muc 15981762 unknown 1099 muc 772
301.90/301.97	c iter 774 time 291.674 not-muc 15981762 unknown 1098 muc 773
301.90/301.97	c iter 775 time 292.046 not-muc 15981762 unknown 1097 muc 774
301.90/301.97	c iter 776 time 292.419 not-muc 15981762 unknown 1096 muc 775
301.90/301.97	c iter 777 time 292.791 not-muc 15981762 unknown 1095 muc 776
301.90/301.97	c iter 778 time 293.164 not-muc 15981762 unknown 1094 muc 777
301.90/301.97	c iter 779 time 293.537 not-muc 15981762 unknown 1093 muc 778
301.90/301.97	c iter 780 time 293.91 not-muc 15981762 unknown 1092 muc 779
301.90/301.97	c iter 781 time 294.282 not-muc 15981762 unknown 1091 muc 780
301.90/301.97	c iter 782 time 294.655 not-muc 15981762 unknown 1090 muc 781
301.90/301.97	c iter 783 time 295.022 not-muc 15981762 unknown 1089 muc 782
301.90/301.97	c iter 784 time 295.387 not-muc 15981762 unknown 1088 muc 783
301.90/301.97	c iter 785 time 295.753 not-muc 15981762 unknown 1087 muc 784
301.90/301.97	c iter 786 time 296.124 not-muc 15981762 unknown 1086 muc 785
301.90/301.97	c iter 787 time 296.495 not-muc 15981762 unknown 1085 muc 786
301.90/301.97	c iter 788 time 296.868 not-muc 15981762 unknown 1084 muc 787
301.90/301.97	c iter 789 time 297.242 not-muc 15981762 unknown 1083 muc 788
301.90/301.97	c iter 790 time 297.615 not-muc 15981762 unknown 1082 muc 789
301.90/301.97	c iter 791 time 297.989 not-muc 15981762 unknown 1081 muc 790
301.90/301.97	c iter 792 time 298.363 not-muc 15981762 unknown 1080 muc 791
301.90/301.97	c iter 793 time 298.737 not-muc 15981762 unknown 1079 muc 792
301.90/301.97	c iter 794 time 299.111 not-muc 15981762 unknown 1078 muc 793
301.90/301.97	c iter 795 time 299.484 not-muc 15981762 unknown 1077 muc 794
301.90/301.97	c iter 796 time 300.036 not-muc 15981762 unknown 1076 muc 795
301.90/301.97	c iter 797 time 300.411 not-muc 15981762 unknown 1075 muc 796
326.70/326.79	c iter 798 time 300.786 not-muc 15981762 unknown 1074 muc 797
326.70/326.79	c iter 799 time 301.161 not-muc 15981762 unknown 1073 muc 798
326.70/326.79	c iter 800 time 301.53 not-muc 15981762 unknown 1072 muc 799
326.70/326.79	c iter 801 time 301.897 not-muc 15981762 unknown 1071 muc 800
326.70/326.79	c iter 802 time 302.264 not-muc 15981762 unknown 1070 muc 801
326.70/326.79	c iter 803 time 302.637 not-muc 15981762 unknown 1069 muc 802
326.70/326.79	c iter 804 time 303.011 not-muc 15981762 unknown 1068 muc 803
326.70/326.79	c iter 805 time 303.386 not-muc 15981762 unknown 1067 muc 804
326.70/326.79	c iter 806 time 303.761 not-muc 15981762 unknown 1066 muc 805
326.70/326.79	c iter 807 time 304.136 not-muc 15981762 unknown 1065 muc 806
326.70/326.79	c iter 808 time 304.512 not-muc 15981762 unknown 1064 muc 807
326.70/326.79	c iter 809 time 304.887 not-muc 15981762 unknown 1063 muc 808
326.70/326.79	c iter 810 time 305.263 not-muc 15981762 unknown 1062 muc 809
326.70/326.79	c iter 811 time 305.638 not-muc 15981762 unknown 1061 muc 810
326.70/326.79	c iter 812 time 306.012 not-muc 15981762 unknown 1060 muc 811
326.70/326.79	c iter 813 time 306.389 not-muc 15981762 unknown 1059 muc 812
326.70/326.79	c iter 814 time 306.765 not-muc 15981762 unknown 1058 muc 813
326.70/326.79	c iter 815 time 307.141 not-muc 15981762 unknown 1057 muc 814
326.70/326.79	c iter 816 time 307.517 not-muc 15981762 unknown 1056 muc 815
326.70/326.79	c iter 817 time 307.891 not-muc 15981762 unknown 1055 muc 816
326.70/326.79	c iter 818 time 308.26 not-muc 15981762 unknown 1054 muc 817
326.70/326.79	c iter 819 time 308.63 not-muc 15981762 unknown 1053 muc 818
326.70/326.79	c iter 820 time 309.002 not-muc 15981762 unknown 1052 muc 819
326.70/326.79	c iter 821 time 309.377 not-muc 15981762 unknown 1051 muc 820
326.70/326.79	c iter 822 time 309.752 not-muc 15981762 unknown 1050 muc 821
326.70/326.79	c iter 823 time 310.129 not-muc 15981762 unknown 1049 muc 822
326.70/326.79	c iter 824 time 310.507 not-muc 15981762 unknown 1048 muc 823
326.70/326.79	c iter 825 time 310.886 not-muc 15981762 unknown 1047 muc 824
326.70/326.79	c iter 826 time 311.263 not-muc 15981762 unknown 1046 muc 825
326.70/326.79	c iter 827 time 311.64 not-muc 15981762 unknown 1045 muc 826
326.70/326.79	c iter 828 time 312.017 not-muc 15981762 unknown 1044 muc 827
326.70/326.79	c iter 829 time 312.395 not-muc 15981762 unknown 1043 muc 828
326.70/326.79	c iter 830 time 312.772 not-muc 15981762 unknown 1042 muc 829
326.70/326.79	c iter 831 time 313.15 not-muc 15981762 unknown 1041 muc 830
326.70/326.79	c iter 832 time 313.527 not-muc 15981762 unknown 1040 muc 831
326.70/326.79	c iter 833 time 313.906 not-muc 15981762 unknown 1039 muc 832
326.70/326.79	c iter 834 time 314.284 not-muc 15981762 unknown 1038 muc 833
326.70/326.79	c iter 835 time 314.655 not-muc 15981762 unknown 1037 muc 834
326.70/326.79	c iter 836 time 315.026 not-muc 15981762 unknown 1036 muc 835
326.70/326.79	c iter 837 time 315.397 not-muc 15981762 unknown 1035 muc 836
326.70/326.79	c iter 838 time 315.773 not-muc 15981762 unknown 1034 muc 837
326.70/326.79	c iter 839 time 316.15 not-muc 15981762 unknown 1033 muc 838
326.70/326.79	c iter 840 time 316.528 not-muc 15981762 unknown 1032 muc 839
326.70/326.79	c iter 841 time 316.905 not-muc 15981762 unknown 1031 muc 840
326.70/326.79	c iter 842 time 317.285 not-muc 15981762 unknown 1030 muc 841
326.70/326.79	c iter 843 time 317.663 not-muc 15981762 unknown 1029 muc 842
326.70/326.79	c iter 844 time 318.043 not-muc 15981762 unknown 1028 muc 843
326.70/326.79	c iter 845 time 318.421 not-muc 15981762 unknown 1027 muc 844
326.70/326.79	c iter 846 time 318.8 not-muc 15981762 unknown 1026 muc 845
326.70/326.79	c iter 847 time 319.179 not-muc 15981762 unknown 1025 muc 846
326.70/326.79	c iter 848 time 319.56 not-muc 15981762 unknown 1024 muc 847
326.70/326.79	c iter 849 time 319.939 not-muc 15981762 unknown 1023 muc 848
326.70/326.79	c iter 850 time 320.319 not-muc 15981762 unknown 1022 muc 849
326.70/326.79	c iter 851 time 320.7 not-muc 15981762 unknown 1021 muc 850
326.70/326.79	c iter 852 time 321.075 not-muc 15981762 unknown 1020 muc 851
326.70/326.79	c iter 853 time 321.448 not-muc 15981762 unknown 1019 muc 852
326.70/326.79	c iter 854 time 321.82 not-muc 15981762 unknown 1018 muc 853
326.70/326.79	c iter 855 time 322.196 not-muc 15981762 unknown 1017 muc 854
326.70/326.79	c iter 856 time 322.575 not-muc 15981762 unknown 1016 muc 855
326.70/326.79	c iter 857 time 322.953 not-muc 15981762 unknown 1015 muc 856
326.70/326.79	c iter 858 time 323.334 not-muc 15981762 unknown 1014 muc 857
326.70/326.79	c iter 859 time 323.713 not-muc 15981762 unknown 1013 muc 858
326.70/326.79	c iter 860 time 324.093 not-muc 15981762 unknown 1012 muc 859
326.70/326.79	c iter 861 time 324.476 not-muc 15981762 unknown 1011 muc 860
326.70/326.79	c iter 862 time 324.856 not-muc 15981762 unknown 1010 muc 861
326.70/326.79	c iter 863 time 325.238 not-muc 15981762 unknown 1009 muc 862
353.00/353.03	c iter 864 time 325.618 not-muc 15981762 unknown 1008 muc 863
353.00/353.03	c iter 865 time 325.999 not-muc 15981762 unknown 1007 muc 864
353.00/353.03	c iter 866 time 326.381 not-muc 15981762 unknown 1006 muc 865
353.00/353.03	c iter 867 time 326.763 not-muc 15981762 unknown 1005 muc 866
353.00/353.03	c iter 868 time 327.144 not-muc 15981762 unknown 1004 muc 867
353.00/353.03	c iter 869 time 327.522 not-muc 15981762 unknown 1003 muc 868
353.00/353.03	c iter 870 time 327.897 not-muc 15981762 unknown 1002 muc 869
353.00/353.03	c iter 871 time 328.272 not-muc 15981762 unknown 1001 muc 870
353.00/353.03	c iter 872 time 328.648 not-muc 15981762 unknown 1000 muc 871
353.00/353.03	c iter 873 time 329.028 not-muc 15981762 unknown 999 muc 872
353.00/353.03	c iter 874 time 329.409 not-muc 15981762 unknown 998 muc 873
353.00/353.03	c iter 875 time 329.791 not-muc 15981762 unknown 997 muc 874
353.00/353.03	c iter 876 time 330.173 not-muc 15981762 unknown 996 muc 875
353.00/353.03	c iter 877 time 330.556 not-muc 15981762 unknown 995 muc 876
353.00/353.03	c iter 878 time 330.938 not-muc 15981762 unknown 994 muc 877
353.00/353.03	c iter 879 time 331.321 not-muc 15981762 unknown 993 muc 878
353.00/353.03	c iter 880 time 331.704 not-muc 15981762 unknown 992 muc 879
353.00/353.03	c iter 881 time 332.086 not-muc 15981762 unknown 991 muc 880
353.00/353.03	c iter 882 time 332.468 not-muc 15981762 unknown 990 muc 881
353.00/353.03	c iter 883 time 332.851 not-muc 15981762 unknown 989 muc 882
353.00/353.03	c iter 884 time 333.234 not-muc 15981762 unknown 988 muc 883
353.00/353.03	c iter 885 time 333.618 not-muc 15981762 unknown 987 muc 884
353.00/353.03	c iter 886 time 334 not-muc 15981762 unknown 986 muc 885
353.00/353.03	c iter 887 time 334.377 not-muc 15981762 unknown 985 muc 886
353.00/353.03	c iter 888 time 334.752 not-muc 15981762 unknown 984 muc 887
353.00/353.03	c iter 889 time 335.128 not-muc 15981762 unknown 983 muc 888
353.00/353.03	c iter 890 time 335.511 not-muc 15981762 unknown 982 muc 889
353.00/353.03	c iter 891 time 335.893 not-muc 15981762 unknown 981 muc 890
353.00/353.03	c iter 892 time 336.277 not-muc 15981762 unknown 980 muc 891
353.00/353.03	c iter 893 time 336.661 not-muc 15981762 unknown 979 muc 892
353.00/353.03	c iter 894 time 337.045 not-muc 15981762 unknown 978 muc 893
353.00/353.03	c iter 895 time 337.43 not-muc 15981762 unknown 977 muc 894
353.00/353.03	c iter 896 time 337.815 not-muc 15981762 unknown 976 muc 895
353.00/353.03	c iter 897 time 338.2 not-muc 15981762 unknown 975 muc 896
353.00/353.03	c iter 898 time 338.585 not-muc 15981762 unknown 974 muc 897
353.00/353.03	c iter 899 time 338.968 not-muc 15981762 unknown 973 muc 898
353.00/353.03	c iter 900 time 339.353 not-muc 15981762 unknown 972 muc 899
353.00/353.03	c iter 901 time 339.738 not-muc 15981762 unknown 971 muc 900
353.00/353.03	c iter 902 time 340.123 not-muc 15981762 unknown 970 muc 901
353.00/353.03	c iter 903 time 340.509 not-muc 15981762 unknown 969 muc 902
353.00/353.03	c iter 904 time 340.887 not-muc 15981762 unknown 968 muc 903
353.00/353.03	c iter 905 time 341.265 not-muc 15981762 unknown 967 muc 904
353.00/353.03	c iter 906 time 341.643 not-muc 15981762 unknown 966 muc 905
353.00/353.03	c iter 907 time 342.027 not-muc 15981762 unknown 965 muc 906
353.00/353.03	c iter 908 time 342.412 not-muc 15981762 unknown 964 muc 907
353.00/353.03	c iter 909 time 342.797 not-muc 15981762 unknown 963 muc 908
353.00/353.03	c iter 910 time 343.185 not-muc 15981762 unknown 962 muc 909
353.00/353.03	c iter 911 time 343.572 not-muc 15981762 unknown 961 muc 910
353.00/353.03	c iter 912 time 343.959 not-muc 15981762 unknown 960 muc 911
353.00/353.03	c iter 913 time 344.529 not-muc 15981762 unknown 959 muc 912
353.00/353.03	c iter 914 time 344.915 not-muc 15981762 unknown 958 muc 913
353.00/353.03	c iter 915 time 345.301 not-muc 15981762 unknown 957 muc 914
353.00/353.03	c iter 916 time 345.685 not-muc 15981762 unknown 956 muc 915
353.00/353.03	c iter 917 time 346.072 not-muc 15981762 unknown 955 muc 916
353.00/353.03	c iter 918 time 346.459 not-muc 15981762 unknown 954 muc 917
353.00/353.03	c iter 919 time 346.846 not-muc 15981762 unknown 953 muc 918
353.00/353.03	c iter 920 time 347.231 not-muc 15981762 unknown 952 muc 919
353.00/353.03	c iter 921 time 347.611 not-muc 15981762 unknown 951 muc 920
353.00/353.03	c iter 922 time 347.99 not-muc 15981762 unknown 950 muc 921
353.00/353.03	c iter 923 time 348.372 not-muc 15981762 unknown 949 muc 922
353.00/353.03	c iter 924 time 348.758 not-muc 15981762 unknown 948 muc 923
353.00/353.03	c iter 925 time 349.145 not-muc 15981762 unknown 947 muc 924
353.00/353.03	c iter 926 time 349.533 not-muc 15981762 unknown 946 muc 925
353.00/353.03	c iter 927 time 349.921 not-muc 15981762 unknown 945 muc 926
353.00/353.03	c iter 928 time 350.311 not-muc 15981762 unknown 944 muc 927
353.00/353.03	c iter 929 time 350.699 not-muc 15981762 unknown 943 muc 928
353.00/353.03	c iter 930 time 351.088 not-muc 15981762 unknown 942 muc 929
353.00/353.03	c iter 931 time 351.477 not-muc 15981762 unknown 941 muc 930
379.40/379.41	c iter 932 time 351.866 not-muc 15981762 unknown 940 muc 931
379.40/379.41	c iter 933 time 352.254 not-muc 15981762 unknown 939 muc 932
379.40/379.41	c iter 934 time 352.643 not-muc 15981762 unknown 938 muc 933
379.40/379.41	c iter 935 time 353.032 not-muc 15981762 unknown 937 muc 934
379.40/379.41	c iter 936 time 353.421 not-muc 15981762 unknown 936 muc 935
379.40/379.41	c iter 937 time 353.806 not-muc 15981762 unknown 935 muc 936
379.40/379.41	c iter 938 time 354.187 not-muc 15981762 unknown 934 muc 937
379.40/379.41	c iter 939 time 354.568 not-muc 15981762 unknown 933 muc 938
379.40/379.41	c iter 940 time 354.952 not-muc 15981762 unknown 932 muc 939
379.40/379.41	c iter 941 time 355.34 not-muc 15981762 unknown 931 muc 940
379.40/379.41	c iter 942 time 355.73 not-muc 15981762 unknown 930 muc 941
379.40/379.41	c iter 943 time 356.119 not-muc 15981762 unknown 929 muc 942
379.40/379.41	c iter 944 time 356.508 not-muc 15981762 unknown 928 muc 943
379.40/379.41	c iter 945 time 356.899 not-muc 15981762 unknown 927 muc 944
379.40/379.41	c iter 946 time 357.289 not-muc 15981762 unknown 926 muc 945
379.40/379.41	c iter 947 time 357.679 not-muc 15981762 unknown 925 muc 946
379.40/379.41	c iter 948 time 358.07 not-muc 15981762 unknown 924 muc 947
379.40/379.41	c iter 949 time 358.463 not-muc 15981762 unknown 923 muc 948
379.40/379.41	c iter 950 time 358.853 not-muc 15981762 unknown 922 muc 949
379.40/379.41	c iter 951 time 359.244 not-muc 15981762 unknown 921 muc 950
379.40/379.41	c iter 952 time 359.635 not-muc 15981762 unknown 920 muc 951
379.40/379.41	c iter 953 time 360.027 not-muc 15981762 unknown 919 muc 952
379.40/379.41	c iter 954 time 360.414 not-muc 15981762 unknown 918 muc 953
379.40/379.41	c iter 955 time 360.798 not-muc 15981762 unknown 917 muc 954
379.40/379.41	c iter 956 time 361.18 not-muc 15981762 unknown 916 muc 955
379.40/379.41	c iter 957 time 361.567 not-muc 15981762 unknown 915 muc 956
379.40/379.41	c iter 958 time 361.958 not-muc 15981762 unknown 914 muc 957
379.40/379.41	c iter 959 time 362.349 not-muc 15981762 unknown 913 muc 958
379.40/379.41	c iter 960 time 362.741 not-muc 15981762 unknown 912 muc 959
379.40/379.41	c iter 961 time 363.133 not-muc 15981762 unknown 911 muc 960
379.40/379.41	c iter 962 time 363.525 not-muc 15981762 unknown 910 muc 961
379.40/379.41	c iter 963 time 363.917 not-muc 15981762 unknown 909 muc 962
379.40/379.41	c iter 964 time 364.309 not-muc 15981762 unknown 908 muc 963
379.40/379.41	c iter 965 time 364.702 not-muc 15981762 unknown 907 muc 964
379.40/379.41	c iter 966 time 365.094 not-muc 15981762 unknown 906 muc 965
379.40/379.41	c iter 967 time 365.488 not-muc 15981762 unknown 905 muc 966
379.40/379.41	c iter 968 time 365.881 not-muc 15981762 unknown 904 muc 967
379.40/379.41	c iter 969 time 366.275 not-muc 15981762 unknown 903 muc 968
379.40/379.41	c iter 970 time 366.669 not-muc 15981762 unknown 902 muc 969
379.40/379.41	c iter 971 time 367.059 not-muc 15981762 unknown 901 muc 970
379.40/379.41	c iter 972 time 367.444 not-muc 15981762 unknown 900 muc 971
379.40/379.41	c iter 973 time 367.83 not-muc 15981762 unknown 899 muc 972
379.40/379.41	c iter 974 time 368.221 not-muc 15981762 unknown 898 muc 973
379.40/379.41	c iter 975 time 368.613 not-muc 15981762 unknown 897 muc 974
379.40/379.41	c iter 976 time 369.006 not-muc 15981762 unknown 896 muc 975
379.40/379.41	c iter 977 time 369.4 not-muc 15981762 unknown 895 muc 976
379.40/379.41	c iter 978 time 369.794 not-muc 15981762 unknown 894 muc 977
379.40/379.41	c iter 979 time 370.188 not-muc 15981762 unknown 893 muc 978
379.40/379.41	c iter 980 time 370.583 not-muc 15981762 unknown 892 muc 979
379.40/379.41	c iter 981 time 370.976 not-muc 15981762 unknown 891 muc 980
379.40/379.41	c iter 982 time 371.371 not-muc 15981762 unknown 890 muc 981
379.40/379.41	c iter 983 time 371.764 not-muc 15981762 unknown 889 muc 982
379.40/379.41	c iter 984 time 372.159 not-muc 15981762 unknown 888 muc 983
379.40/379.41	c iter 985 time 372.553 not-muc 15981762 unknown 887 muc 984
379.40/379.41	c iter 986 time 372.95 not-muc 15981762 unknown 886 muc 985
379.40/379.41	c iter 987 time 373.529 not-muc 15981762 unknown 885 muc 986
379.40/379.41	c iter 988 time 373.915 not-muc 15981762 unknown 884 muc 987
379.40/379.41	c iter 989 time 374.302 not-muc 15981762 unknown 883 muc 988
379.40/379.41	c iter 990 time 374.693 not-muc 15981762 unknown 882 muc 989
379.40/379.41	c iter 991 time 375.086 not-muc 15981762 unknown 881 muc 990
379.40/379.41	c iter 992 time 375.482 not-muc 15981762 unknown 880 muc 991
379.40/379.41	c iter 993 time 375.878 not-muc 15981762 unknown 879 muc 992
379.40/379.41	c iter 994 time 376.275 not-muc 15981762 unknown 878 muc 993
379.40/379.41	c iter 995 time 376.671 not-muc 15981762 unknown 877 muc 994
379.40/379.41	c iter 996 time 377.068 not-muc 15981762 unknown 876 muc 995
379.40/379.41	c iter 997 time 377.463 not-muc 15981762 unknown 875 muc 996
379.40/379.41	c iter 998 time 377.861 not-muc 15981762 unknown 874 muc 997
405.30/405.37	c iter 999 time 378.257 not-muc 15981762 unknown 873 muc 998
405.30/405.37	c iter 1000 time 378.654 not-muc 15981762 unknown 872 muc 999
405.30/405.37	c iter 1001 time 379.05 not-muc 15981762 unknown 871 muc 1000
405.30/405.37	c iter 1002 time 379.448 not-muc 15981762 unknown 870 muc 1001
405.30/405.37	c iter 1003 time 379.845 not-muc 15981762 unknown 869 muc 1002
405.30/405.37	c iter 1004 time 380.235 not-muc 15981762 unknown 868 muc 1003
405.30/405.37	c iter 1005 time 380.624 not-muc 15981762 unknown 867 muc 1004
405.30/405.37	c iter 1006 time 381.013 not-muc 15981762 unknown 866 muc 1005
405.30/405.37	c iter 1007 time 381.408 not-muc 15981762 unknown 865 muc 1006
405.30/405.37	c iter 1008 time 381.805 not-muc 15981762 unknown 864 muc 1007
405.30/405.37	c iter 1009 time 382.203 not-muc 15981762 unknown 863 muc 1008
405.30/405.37	c iter 1010 time 382.601 not-muc 15981762 unknown 862 muc 1009
405.30/405.37	c iter 1011 time 383 not-muc 15981762 unknown 861 muc 1010
405.30/405.37	c iter 1012 time 383.398 not-muc 15981762 unknown 860 muc 1011
405.30/405.37	c iter 1013 time 383.796 not-muc 15981762 unknown 859 muc 1012
405.30/405.37	c iter 1014 time 384.195 not-muc 15981762 unknown 858 muc 1013
405.30/405.37	c iter 1015 time 384.593 not-muc 15981762 unknown 857 muc 1014
405.30/405.37	c iter 1016 time 384.99 not-muc 15981762 unknown 856 muc 1015
405.30/405.37	c iter 1017 time 385.39 not-muc 15981762 unknown 855 muc 1016
405.30/405.37	c iter 1018 time 385.791 not-muc 15981762 unknown 854 muc 1017
405.30/405.37	c iter 1019 time 386.19 not-muc 15981762 unknown 853 muc 1018
405.30/405.37	c iter 1020 time 386.587 not-muc 15981762 unknown 852 muc 1019
405.30/405.37	c iter 1021 time 386.979 not-muc 15981762 unknown 851 muc 1020
405.30/405.37	c iter 1022 time 387.371 not-muc 15981762 unknown 850 muc 1021
405.30/405.37	c iter 1023 time 387.765 not-muc 15981762 unknown 849 muc 1022
405.30/405.37	c iter 1024 time 388.163 not-muc 15981762 unknown 848 muc 1023
405.30/405.37	c iter 1025 time 388.563 not-muc 15981762 unknown 847 muc 1024
405.30/405.37	c iter 1026 time 388.964 not-muc 15981762 unknown 846 muc 1025
405.30/405.37	c iter 1027 time 389.367 not-muc 15981762 unknown 845 muc 1026
405.30/405.37	c iter 1028 time 389.768 not-muc 15981762 unknown 844 muc 1027
405.30/405.37	c iter 1029 time 390.17 not-muc 15981762 unknown 843 muc 1028
405.30/405.37	c iter 1030 time 390.571 not-muc 15981762 unknown 842 muc 1029
405.30/405.37	c iter 1031 time 390.972 not-muc 15981762 unknown 841 muc 1030
405.30/405.37	c iter 1032 time 391.375 not-muc 15981762 unknown 840 muc 1031
405.30/405.37	c iter 1033 time 391.775 not-muc 15981762 unknown 839 muc 1032
405.30/405.37	c iter 1034 time 392.179 not-muc 15981762 unknown 838 muc 1033
405.30/405.37	c iter 1035 time 392.581 not-muc 15981762 unknown 837 muc 1034
405.30/405.37	c iter 1036 time 392.977 not-muc 15981762 unknown 836 muc 1035
405.30/405.37	c iter 1037 time 393.371 not-muc 15981762 unknown 835 muc 1036
405.30/405.37	c iter 1038 time 393.761 not-muc 15981762 unknown 834 muc 1037
405.30/405.37	c iter 1039 time 394.154 not-muc 15981762 unknown 833 muc 1038
405.30/405.37	c iter 1040 time 394.552 not-muc 15981762 unknown 832 muc 1039
405.30/405.37	c iter 1041 time 394.953 not-muc 15981762 unknown 831 muc 1040
405.30/405.37	c iter 1042 time 395.355 not-muc 15981762 unknown 830 muc 1041
405.30/405.37	c iter 1043 time 395.758 not-muc 15981762 unknown 829 muc 1042
405.30/405.37	c iter 1044 time 396.162 not-muc 15981762 unknown 828 muc 1043
405.30/405.37	c iter 1045 time 396.565 not-muc 15981762 unknown 827 muc 1044
405.30/405.37	c iter 1046 time 396.967 not-muc 15981762 unknown 826 muc 1045
405.30/405.37	c iter 1047 time 397.378 not-muc 15981762 unknown 825 muc 1046
405.30/405.37	c iter 1048 time 397.782 not-muc 15981762 unknown 824 muc 1047
405.30/405.37	c iter 1049 time 398.184 not-muc 15981762 unknown 823 muc 1048
405.30/405.37	c iter 1050 time 398.589 not-muc 15981762 unknown 822 muc 1049
405.30/405.37	c iter 1051 time 398.994 not-muc 15981762 unknown 821 muc 1050
405.30/405.37	c iter 1052 time 399.399 not-muc 15981762 unknown 820 muc 1051
405.30/405.37	c iter 1053 time 399.8 not-muc 15981762 unknown 819 muc 1052
405.30/405.37	c iter 1054 time 400.192 not-muc 15981762 unknown 818 muc 1053
405.30/405.37	c iter 1055 time 400.587 not-muc 15981762 unknown 817 muc 1054
405.30/405.37	c iter 1056 time 400.985 not-muc 15981762 unknown 816 muc 1055
405.30/405.37	c iter 1057 time 401.387 not-muc 15981762 unknown 815 muc 1056
405.30/405.37	c iter 1058 time 401.791 not-muc 15981762 unknown 814 muc 1057
405.30/405.37	c iter 1059 time 402.196 not-muc 15981762 unknown 813 muc 1058
405.30/405.37	c iter 1060 time 402.601 not-muc 15981762 unknown 812 muc 1059
405.30/405.37	c iter 1061 time 403.006 not-muc 15981762 unknown 811 muc 1060
405.30/405.37	c iter 1062 time 403.41 not-muc 15981762 unknown 810 muc 1061
405.30/405.37	c iter 1063 time 403.815 not-muc 15981762 unknown 809 muc 1062
432.00/432.05	c iter 1064 time 404.221 not-muc 15981762 unknown 808 muc 1063
432.00/432.05	c iter 1065 time 404.627 not-muc 15981762 unknown 807 muc 1064
432.00/432.05	c iter 1066 time 405.034 not-muc 15981762 unknown 806 muc 1065
432.00/432.05	c iter 1067 time 405.441 not-muc 15981762 unknown 805 muc 1066
432.00/432.05	c iter 1068 time 405.848 not-muc 15981762 unknown 804 muc 1067
432.00/432.05	c iter 1069 time 406.253 not-muc 15981762 unknown 803 muc 1068
432.00/432.05	c iter 1070 time 406.648 not-muc 15981762 unknown 802 muc 1069
432.00/432.05	c iter 1071 time 407.044 not-muc 15981762 unknown 801 muc 1070
432.00/432.05	c iter 1072 time 407.442 not-muc 15981762 unknown 800 muc 1071
432.00/432.05	c iter 1073 time 407.848 not-muc 15981762 unknown 799 muc 1072
432.00/432.05	c iter 1074 time 408.254 not-muc 15981762 unknown 798 muc 1073
432.00/432.05	c iter 1075 time 408.662 not-muc 15981762 unknown 797 muc 1074
432.00/432.05	c iter 1076 time 409.068 not-muc 15981762 unknown 796 muc 1075
432.00/432.05	c iter 1077 time 409.476 not-muc 15981762 unknown 795 muc 1076
432.00/432.05	c iter 1078 time 409.882 not-muc 15981762 unknown 794 muc 1077
432.00/432.05	c iter 1079 time 410.29 not-muc 15981762 unknown 793 muc 1078
432.00/432.05	c iter 1080 time 410.699 not-muc 15981762 unknown 792 muc 1079
432.00/432.05	c iter 1081 time 411.107 not-muc 15981762 unknown 791 muc 1080
432.00/432.05	c iter 1082 time 411.513 not-muc 15981762 unknown 790 muc 1081
432.00/432.05	c iter 1083 time 411.921 not-muc 15981762 unknown 789 muc 1082
432.00/432.05	c iter 1084 time 412.329 not-muc 15981762 unknown 788 muc 1083
432.00/432.05	c iter 1085 time 412.739 not-muc 15981762 unknown 787 muc 1084
432.00/432.05	c iter 1086 time 413.138 not-muc 15981762 unknown 786 muc 1085
432.00/432.05	c iter 1087 time 413.535 not-muc 15981762 unknown 785 muc 1086
432.00/432.05	c iter 1088 time 413.935 not-muc 15981762 unknown 784 muc 1087
432.00/432.05	c iter 1089 time 414.342 not-muc 15981762 unknown 783 muc 1088
432.00/432.05	c iter 1090 time 414.749 not-muc 15981762 unknown 782 muc 1089
432.00/432.05	c iter 1091 time 415.158 not-muc 15981762 unknown 781 muc 1090
432.00/432.05	c iter 1092 time 415.76 not-muc 15981762 unknown 780 muc 1091
432.00/432.05	c iter 1093 time 416.17 not-muc 15981762 unknown 779 muc 1092
432.00/432.05	c iter 1094 time 416.579 not-muc 15981762 unknown 778 muc 1093
432.00/432.05	c iter 1095 time 416.988 not-muc 15981762 unknown 777 muc 1094
432.00/432.05	c iter 1096 time 417.399 not-muc 15981762 unknown 776 muc 1095
432.00/432.05	c iter 1097 time 417.807 not-muc 15981762 unknown 775 muc 1096
432.00/432.05	c iter 1098 time 418.217 not-muc 15981762 unknown 774 muc 1097
432.00/432.05	c iter 1099 time 418.628 not-muc 15981762 unknown 773 muc 1098
432.00/432.05	c iter 1100 time 419.038 not-muc 15981762 unknown 772 muc 1099
432.00/432.05	c iter 1101 time 419.446 not-muc 15981762 unknown 771 muc 1100
432.00/432.05	c iter 1102 time 419.844 not-muc 15981762 unknown 770 muc 1101
432.00/432.05	c iter 1103 time 420.244 not-muc 15981762 unknown 769 muc 1102
432.00/432.05	c iter 1104 time 420.647 not-muc 15981762 unknown 768 muc 1103
432.00/432.05	c iter 1105 time 421.057 not-muc 15981762 unknown 767 muc 1104
432.00/432.05	c iter 1106 time 421.468 not-muc 15981762 unknown 766 muc 1105
432.00/432.05	c iter 1107 time 421.878 not-muc 15981762 unknown 765 muc 1106
432.00/432.05	c iter 1108 time 422.29 not-muc 15981762 unknown 764 muc 1107
432.00/432.05	c iter 1109 time 422.702 not-muc 15981762 unknown 763 muc 1108
432.00/432.05	c iter 1110 time 423.114 not-muc 15981762 unknown 762 muc 1109
432.00/432.05	c iter 1111 time 423.526 not-muc 15981762 unknown 761 muc 1110
432.00/432.05	c iter 1112 time 423.935 not-muc 15981762 unknown 760 muc 1111
432.00/432.05	c iter 1113 time 424.347 not-muc 15981762 unknown 759 muc 1112
432.00/432.05	c iter 1114 time 424.758 not-muc 15981762 unknown 758 muc 1113
432.00/432.05	c iter 1115 time 425.17 not-muc 15981762 unknown 757 muc 1114
432.00/432.05	c iter 1116 time 425.583 not-muc 15981762 unknown 756 muc 1115
432.00/432.05	c iter 1117 time 425.993 not-muc 15981762 unknown 755 muc 1116
432.00/432.05	c iter 1118 time 426.393 not-muc 15981762 unknown 754 muc 1117
432.00/432.05	c iter 1119 time 426.796 not-muc 15981762 unknown 753 muc 1118
432.00/432.05	c iter 1120 time 427.201 not-muc 15981762 unknown 752 muc 1119
432.00/432.05	c iter 1121 time 427.611 not-muc 15981762 unknown 751 muc 1120
432.00/432.05	c iter 1122 time 428.023 not-muc 15981762 unknown 750 muc 1121
432.00/432.05	c iter 1123 time 428.435 not-muc 15981762 unknown 749 muc 1122
432.00/432.05	c iter 1124 time 428.846 not-muc 15981762 unknown 748 muc 1123
432.00/432.05	c iter 1125 time 429.261 not-muc 15981762 unknown 747 muc 1124
432.00/432.05	c iter 1126 time 429.675 not-muc 15981762 unknown 746 muc 1125
432.00/432.05	c iter 1127 time 430.089 not-muc 15981762 unknown 745 muc 1126
432.00/432.05	c iter 1128 time 430.502 not-muc 15981762 unknown 744 muc 1127
459.20/459.29	c iter 1129 time 430.915 not-muc 15981762 unknown 743 muc 1128
459.20/459.29	c iter 1130 time 431.33 not-muc 15981762 unknown 742 muc 1129
459.20/459.29	c iter 1131 time 431.745 not-muc 15981762 unknown 741 muc 1130
459.20/459.29	c iter 1132 time 432.159 not-muc 15981762 unknown 740 muc 1131
459.20/459.29	c iter 1133 time 432.571 not-muc 15981762 unknown 739 muc 1132
459.20/459.29	c iter 1134 time 432.973 not-muc 15981762 unknown 738 muc 1133
459.20/459.29	c iter 1135 time 433.378 not-muc 15981762 unknown 737 muc 1134
459.20/459.29	c iter 1136 time 433.784 not-muc 15981762 unknown 736 muc 1135
459.20/459.29	c iter 1137 time 434.196 not-muc 15981762 unknown 735 muc 1136
459.20/459.29	c iter 1138 time 434.611 not-muc 15981762 unknown 734 muc 1137
459.20/459.29	c iter 1139 time 435.027 not-muc 15981762 unknown 733 muc 1138
459.20/459.29	c iter 1140 time 435.442 not-muc 15981762 unknown 732 muc 1139
459.20/459.29	c iter 1141 time 435.855 not-muc 15981762 unknown 731 muc 1140
459.20/459.29	c iter 1142 time 436.27 not-muc 15981762 unknown 730 muc 1141
459.20/459.29	c iter 1143 time 436.686 not-muc 15981762 unknown 729 muc 1142
459.20/459.29	c iter 1144 time 437.103 not-muc 15981762 unknown 728 muc 1143
459.20/459.29	c iter 1145 time 437.518 not-muc 15981762 unknown 727 muc 1144
459.20/459.29	c iter 1146 time 437.935 not-muc 15981762 unknown 726 muc 1145
459.20/459.29	c iter 1147 time 438.352 not-muc 15981762 unknown 725 muc 1146
459.20/459.29	c iter 1148 time 438.768 not-muc 15981762 unknown 724 muc 1147
459.20/459.29	c iter 1149 time 439.183 not-muc 15981762 unknown 723 muc 1148
459.20/459.29	c iter 1150 time 439.586 not-muc 15981762 unknown 722 muc 1149
459.20/459.29	c iter 1151 time 439.992 not-muc 15981762 unknown 721 muc 1150
459.20/459.29	c iter 1152 time 440.402 not-muc 15981762 unknown 720 muc 1151
459.20/459.29	c iter 1153 time 440.818 not-muc 15981762 unknown 719 muc 1152
459.20/459.29	c iter 1154 time 441.235 not-muc 15981762 unknown 718 muc 1153
459.20/459.29	c iter 1155 time 441.652 not-muc 15981762 unknown 717 muc 1154
459.20/459.29	c iter 1156 time 442.07 not-muc 15981762 unknown 716 muc 1155
459.20/459.29	c iter 1157 time 442.486 not-muc 15981762 unknown 715 muc 1156
459.20/459.29	c iter 1158 time 442.904 not-muc 15981762 unknown 714 muc 1157
459.20/459.29	c iter 1159 time 443.322 not-muc 15981762 unknown 713 muc 1158
459.20/459.29	c iter 1160 time 443.739 not-muc 15981762 unknown 712 muc 1159
459.20/459.29	c iter 1161 time 444.156 not-muc 15981762 unknown 711 muc 1160
459.20/459.29	c iter 1162 time 444.575 not-muc 15981762 unknown 710 muc 1161
459.20/459.29	c iter 1163 time 444.993 not-muc 15981762 unknown 709 muc 1162
459.20/459.29	c iter 1164 time 445.413 not-muc 15981762 unknown 708 muc 1163
459.20/459.29	c iter 1165 time 445.826 not-muc 15981762 unknown 707 muc 1164
459.20/459.29	c iter 1166 time 446.232 not-muc 15981762 unknown 706 muc 1165
459.20/459.29	c iter 1167 time 446.642 not-muc 15981762 unknown 705 muc 1166
459.20/459.29	c iter 1168 time 447.056 not-muc 15981762 unknown 704 muc 1167
459.20/459.29	c iter 1169 time 447.473 not-muc 15981762 unknown 703 muc 1168
459.20/459.29	c iter 1170 time 447.893 not-muc 15981762 unknown 702 muc 1169
459.20/459.29	c iter 1171 time 448.312 not-muc 15981762 unknown 701 muc 1170
459.20/459.29	c iter 1172 time 448.731 not-muc 15981762 unknown 700 muc 1171
459.20/459.29	c iter 1173 time 449.151 not-muc 15981762 unknown 699 muc 1172
459.20/459.29	c iter 1174 time 449.571 not-muc 15981762 unknown 698 muc 1173
459.20/459.29	c iter 1175 time 449.991 not-muc 15981762 unknown 697 muc 1174
459.20/459.29	c iter 1176 time 450.412 not-muc 15981762 unknown 696 muc 1175
459.20/459.29	c iter 1177 time 450.832 not-muc 15981762 unknown 695 muc 1176
459.20/459.29	c iter 1178 time 451.254 not-muc 15981762 unknown 694 muc 1177
459.20/459.29	c iter 1179 time 451.674 not-muc 15981762 unknown 693 muc 1178
459.20/459.29	c iter 1180 time 452.094 not-muc 15981762 unknown 692 muc 1179
459.20/459.29	c iter 1181 time 452.505 not-muc 15981762 unknown 691 muc 1180
459.20/459.29	c iter 1182 time 452.914 not-muc 15981762 unknown 690 muc 1181
459.20/459.29	c iter 1183 time 453.327 not-muc 15981762 unknown 689 muc 1182
459.20/459.29	c iter 1184 time 453.747 not-muc 15981762 unknown 688 muc 1183
459.20/459.29	c iter 1185 time 454.167 not-muc 15981762 unknown 687 muc 1184
459.20/459.29	c iter 1186 time 454.588 not-muc 15981762 unknown 686 muc 1185
459.20/459.29	c iter 1187 time 455.204 not-muc 15981762 unknown 685 muc 1186
459.20/459.29	c iter 1188 time 455.628 not-muc 15981762 unknown 684 muc 1187
459.20/459.29	c iter 1189 time 456.049 not-muc 15981762 unknown 683 muc 1188
459.20/459.29	c iter 1190 time 456.472 not-muc 15981762 unknown 682 muc 1189
459.20/459.29	c iter 1191 time 456.895 not-muc 15981762 unknown 681 muc 1190
459.20/459.29	c iter 1192 time 457.316 not-muc 15981762 unknown 680 muc 1191
459.20/459.29	c iter 1193 time 457.739 not-muc 15981762 unknown 679 muc 1192
484.20/484.21	c iter 1194 time 458.162 not-muc 15981762 unknown 678 muc 1193
484.20/484.21	c iter 1195 time 458.586 not-muc 15981762 unknown 677 muc 1194
484.20/484.21	c iter 1196 time 459.001 not-muc 15981762 unknown 676 muc 1195
484.20/484.21	c iter 1197 time 459.411 not-muc 15981762 unknown 675 muc 1196
484.20/484.21	c iter 1198 time 459.826 not-muc 15981762 unknown 674 muc 1197
484.20/484.21	c iter 1199 time 460.245 not-muc 15981762 unknown 673 muc 1198
484.20/484.21	c iter 1200 time 460.668 not-muc 15981762 unknown 672 muc 1199
484.20/484.21	c iter 1201 time 461.092 not-muc 15981762 unknown 671 muc 1200
484.20/484.21	c iter 1202 time 461.516 not-muc 15981762 unknown 670 muc 1201
484.20/484.21	c iter 1203 time 461.94 not-muc 15981762 unknown 669 muc 1202
484.20/484.21	c iter 1204 time 462.365 not-muc 15981762 unknown 668 muc 1203
484.20/484.21	c iter 1205 time 462.788 not-muc 15981762 unknown 667 muc 1204
484.20/484.21	c iter 1206 time 463.213 not-muc 15981762 unknown 666 muc 1205
484.20/484.21	c iter 1207 time 463.638 not-muc 15981762 unknown 665 muc 1206
484.20/484.21	c iter 1208 time 464.061 not-muc 15981762 unknown 664 muc 1207
484.20/484.21	c iter 1209 time 464.485 not-muc 15981762 unknown 663 muc 1208
484.20/484.21	c iter 1210 time 464.909 not-muc 15981762 unknown 662 muc 1209
484.20/484.21	c iter 1211 time 465.334 not-muc 15981762 unknown 661 muc 1210
484.20/484.21	c iter 1212 time 465.746 not-muc 15981762 unknown 660 muc 1211
484.20/484.21	c iter 1213 time 466.161 not-muc 15981762 unknown 659 muc 1212
484.20/484.21	c iter 1214 time 466.579 not-muc 15981762 unknown 658 muc 1213
484.20/484.21	c iter 1215 time 467.027 not-muc 15981762 unknown 657 muc 1214
484.20/484.21	c iter 1216 time 467.428 not-muc 15981762 unknown 656 muc 1215
484.20/484.21	c iter 1217 time 467.771 not-muc 15981762 unknown 655 muc 1216
484.20/484.21	c iter 1218 time 468.113 not-muc 15981762 unknown 654 muc 1217
484.20/484.21	c iter 1219 time 468.516 not-muc 15981762 unknown 653 muc 1218
484.20/484.21	c iter 1220 time 468.858 not-muc 15981762 unknown 652 muc 1219
484.20/484.21	c iter 1221 time 469.201 not-muc 15981762 unknown 651 muc 1220
484.20/484.21	c iter 1222 time 469.604 not-muc 15981762 unknown 650 muc 1221
484.20/484.21	c iter 1223 time 469.946 not-muc 15981762 unknown 649 muc 1222
484.20/484.21	c iter 1224 time 470.289 not-muc 15981762 unknown 648 muc 1223
484.20/484.21	c iter 1225 time 470.691 not-muc 15981762 unknown 647 muc 1224
484.20/484.21	c iter 1226 time 471.094 not-muc 15981762 unknown 646 muc 1225
484.20/484.21	c iter 1227 time 471.497 not-muc 15981762 unknown 645 muc 1226
484.20/484.21	c iter 1228 time 471.898 not-muc 15981762 unknown 644 muc 1227
484.20/484.21	c iter 1229 time 472.289 not-muc 15981762 unknown 643 muc 1228
484.20/484.21	c iter 1230 time 472.682 not-muc 15981762 unknown 642 muc 1229
484.20/484.21	c iter 1231 time 473.076 not-muc 15981762 unknown 641 muc 1230
484.20/484.21	c iter 1232 time 473.477 not-muc 15981762 unknown 640 muc 1231
484.20/484.21	c iter 1233 time 473.818 not-muc 15981762 unknown 639 muc 1232
484.20/484.21	c iter 1234 time 474.161 not-muc 15981762 unknown 638 muc 1233
484.20/484.21	c iter 1235 time 474.504 not-muc 15981762 unknown 637 muc 1234
484.20/484.21	c iter 1236 time 474.906 not-muc 15981762 unknown 636 muc 1235
484.20/484.21	c iter 1237 time 475.249 not-muc 15981762 unknown 635 muc 1236
484.20/484.21	c iter 1238 time 475.592 not-muc 15981762 unknown 634 muc 1237
484.20/484.21	c iter 1239 time 475.936 not-muc 15981762 unknown 633 muc 1238
484.20/484.21	c iter 1240 time 476.339 not-muc 15981762 unknown 632 muc 1239
484.20/484.21	c iter 1241 time 476.682 not-muc 15981762 unknown 631 muc 1240
484.20/484.21	c iter 1242 time 477.023 not-muc 15981762 unknown 630 muc 1241
484.20/484.21	c iter 1243 time 477.366 not-muc 15981762 unknown 629 muc 1242
484.20/484.21	c iter 1244 time 477.709 not-muc 15981762 unknown 628 muc 1243
484.20/484.21	c iter 1245 time 478.111 not-muc 15981762 unknown 627 muc 1244
484.20/484.21	c iter 1246 time 478.453 not-muc 15981762 unknown 626 muc 1245
484.20/484.21	c iter 1247 time 478.786 not-muc 15981762 unknown 625 muc 1246
484.20/484.21	c iter 1248 time 479.12 not-muc 15981762 unknown 624 muc 1247
484.20/484.21	c iter 1249 time 479.456 not-muc 15981762 unknown 623 muc 1248
484.20/484.21	c iter 1250 time 479.855 not-muc 15981762 unknown 622 muc 1249
484.20/484.21	c iter 1251 time 480.196 not-muc 15981762 unknown 621 muc 1250
484.20/484.21	c iter 1252 time 480.539 not-muc 15981762 unknown 620 muc 1251
484.20/484.21	c iter 1253 time 480.882 not-muc 15981762 unknown 619 muc 1252
484.20/484.21	c iter 1254 time 481.226 not-muc 15981762 unknown 618 muc 1253
484.20/484.21	c iter 1255 time 481.628 not-muc 15981762 unknown 617 muc 1254
484.20/484.21	c iter 1256 time 481.971 not-muc 15981762 unknown 616 muc 1255
484.20/484.21	c iter 1257 time 482.315 not-muc 15981762 unknown 615 muc 1256
484.20/484.21	c iter 1258 time 482.657 not-muc 15981762 unknown 614 muc 1257
507.60/507.63	c iter 1259 time 483 not-muc 15981762 unknown 613 muc 1258
507.60/507.63	c iter 1260 time 483.343 not-muc 15981762 unknown 612 muc 1259
507.60/507.63	c iter 1261 time 483.685 not-muc 15981762 unknown 611 muc 1260
507.60/507.63	c iter 1262 time 484.086 not-muc 15981762 unknown 610 muc 1261
507.60/507.63	c iter 1263 time 484.49 not-muc 15981762 unknown 609 muc 1262
507.60/507.63	c iter 1264 time 484.833 not-muc 15981762 unknown 608 muc 1263
507.60/507.63	c iter 1265 time 485.17 not-muc 15981762 unknown 607 muc 1264
507.60/507.63	c iter 1266 time 485.503 not-muc 15981762 unknown 606 muc 1265
507.60/507.63	c iter 1267 time 485.838 not-muc 15981762 unknown 605 muc 1266
507.60/507.63	c iter 1268 time 486.234 not-muc 15981762 unknown 604 muc 1267
507.60/507.63	c iter 1269 time 486.576 not-muc 15981762 unknown 603 muc 1268
507.60/507.63	c iter 1270 time 486.919 not-muc 15981762 unknown 602 muc 1269
507.60/507.63	c iter 1271 time 487.262 not-muc 15981762 unknown 601 muc 1270
507.60/507.63	c iter 1272 time 487.605 not-muc 15981762 unknown 600 muc 1271
507.60/507.63	c iter 1273 time 488.006 not-muc 15981762 unknown 599 muc 1272
507.60/507.63	c iter 1274 time 488.349 not-muc 15981762 unknown 598 muc 1273
507.60/507.63	c iter 1275 time 488.693 not-muc 15981762 unknown 597 muc 1274
507.60/507.63	c iter 1276 time 489.036 not-muc 15981762 unknown 596 muc 1275
507.60/507.63	c iter 1277 time 489.38 not-muc 15981762 unknown 595 muc 1276
507.60/507.63	c iter 1278 time 489.724 not-muc 15981762 unknown 594 muc 1277
507.60/507.63	c iter 1279 time 490.066 not-muc 15981762 unknown 593 muc 1278
507.60/507.63	c iter 1280 time 490.469 not-muc 15981762 unknown 592 muc 1279
507.60/507.63	c iter 1281 time 490.873 not-muc 15981762 unknown 591 muc 1280
507.60/507.63	c iter 1282 time 491.216 not-muc 15981762 unknown 590 muc 1281
507.60/507.63	c iter 1283 time 491.558 not-muc 15981762 unknown 589 muc 1282
507.60/507.63	c iter 1284 time 491.891 not-muc 15981762 unknown 588 muc 1283
507.60/507.63	c iter 1285 time 492.225 not-muc 15981762 unknown 587 muc 1284
507.60/507.63	c iter 1286 time 492.62 not-muc 15981762 unknown 586 muc 1285
507.60/507.63	c iter 1287 time 492.96 not-muc 15981762 unknown 585 muc 1286
507.60/507.63	c iter 1288 time 493.302 not-muc 15981762 unknown 584 muc 1287
507.60/507.63	c iter 1289 time 493.645 not-muc 15981762 unknown 583 muc 1288
507.60/507.63	c iter 1290 time 493.989 not-muc 15981762 unknown 582 muc 1289
507.60/507.63	c iter 1291 time 494.392 not-muc 15981762 unknown 581 muc 1290
507.60/507.63	c iter 1292 time 494.734 not-muc 15981762 unknown 580 muc 1291
507.60/507.63	c iter 1293 time 495.079 not-muc 15981762 unknown 579 muc 1292
507.60/507.63	c iter 1294 time 495.422 not-muc 15981762 unknown 578 muc 1293
507.60/507.63	c iter 1295 time 495.766 not-muc 15981762 unknown 577 muc 1294
507.60/507.63	c iter 1296 time 496.109 not-muc 15981762 unknown 576 muc 1295
507.60/507.63	c iter 1297 time 496.453 not-muc 15981762 unknown 575 muc 1296
507.60/507.63	c iter 1298 time 496.855 not-muc 15981762 unknown 574 muc 1297
507.60/507.63	c iter 1299 time 497.258 not-muc 15981762 unknown 573 muc 1298
507.60/507.63	c iter 1300 time 497.602 not-muc 15981762 unknown 572 muc 1299
507.60/507.63	c iter 1301 time 497.945 not-muc 15981762 unknown 571 muc 1300
507.60/507.63	c iter 1302 time 498.283 not-muc 15981762 unknown 570 muc 1301
507.60/507.63	c iter 1303 time 498.615 not-muc 15981762 unknown 569 muc 1302
507.60/507.63	c iter 1304 time 499.009 not-muc 15981762 unknown 568 muc 1303
507.60/507.63	c iter 1305 time 499.346 not-muc 15981762 unknown 567 muc 1304
507.60/507.63	c iter 1306 time 499.687 not-muc 15981762 unknown 566 muc 1305
507.60/507.63	c iter 1307 time 500.03 not-muc 15981762 unknown 565 muc 1306
507.60/507.63	c iter 1308 time 500.372 not-muc 15981762 unknown 564 muc 1307
507.60/507.63	c iter 1309 time 500.776 not-muc 15981762 unknown 563 muc 1308
507.60/507.63	c iter 1310 time 501.119 not-muc 15981762 unknown 562 muc 1309
507.60/507.63	c iter 1311 time 501.463 not-muc 15981762 unknown 561 muc 1310
507.60/507.63	c iter 1312 time 501.806 not-muc 15981762 unknown 560 muc 1311
507.60/507.63	c iter 1313 time 502.149 not-muc 15981762 unknown 559 muc 1312
507.60/507.63	c iter 1314 time 502.493 not-muc 15981762 unknown 558 muc 1313
507.60/507.63	c iter 1315 time 502.837 not-muc 15981762 unknown 557 muc 1314
507.60/507.63	c iter 1316 time 503.239 not-muc 15981762 unknown 556 muc 1315
507.60/507.63	c iter 1317 time 503.641 not-muc 15981762 unknown 555 muc 1316
507.60/507.63	c iter 1318 time 503.984 not-muc 15981762 unknown 554 muc 1317
507.60/507.63	c iter 1319 time 504.327 not-muc 15981762 unknown 553 muc 1318
507.60/507.63	c iter 1320 time 504.669 not-muc 15981762 unknown 552 muc 1319
507.60/507.63	c iter 1321 time 505.003 not-muc 15981762 unknown 551 muc 1320
507.60/507.63	c iter 1322 time 505.396 not-muc 15981762 unknown 550 muc 1321
507.60/507.63	c iter 1323 time 505.732 not-muc 15981762 unknown 549 muc 1322
530.90/530.98	c iter 1324 time 506.071 not-muc 15981762 unknown 548 muc 1323
530.90/530.98	c iter 1325 time 506.416 not-muc 15981762 unknown 547 muc 1324
530.90/530.98	c iter 1326 time 506.767 not-muc 15981762 unknown 546 muc 1325
530.90/530.98	c iter 1327 time 507.171 not-muc 15981762 unknown 545 muc 1326
530.90/530.98	c iter 1328 time 507.522 not-muc 15981762 unknown 544 muc 1327
530.90/530.98	c iter 1329 time 507.872 not-muc 15981762 unknown 543 muc 1328
530.90/530.98	c iter 1330 time 508.224 not-muc 15981762 unknown 542 muc 1329
530.90/530.98	c iter 1331 time 508.575 not-muc 15981762 unknown 541 muc 1330
530.90/530.98	c iter 1332 time 508.926 not-muc 15981762 unknown 540 muc 1331
530.90/530.98	c iter 1333 time 509.277 not-muc 15981762 unknown 539 muc 1332
530.90/530.98	c iter 1334 time 509.69 not-muc 15981762 unknown 538 muc 1333
530.90/530.98	c iter 1335 time 510.095 not-muc 15981762 unknown 537 muc 1334
530.90/530.98	c iter 1336 time 510.442 not-muc 15981762 unknown 536 muc 1335
530.90/530.98	c iter 1337 time 510.793 not-muc 15981762 unknown 535 muc 1336
530.90/530.98	c iter 1338 time 511.145 not-muc 15981762 unknown 534 muc 1337
530.90/530.98	c iter 1339 time 511.483 not-muc 15981762 unknown 533 muc 1338
530.90/530.98	c iter 1340 time 511.875 not-muc 15981762 unknown 532 muc 1339
530.90/530.98	c iter 1341 time 512.211 not-muc 15981762 unknown 531 muc 1340
530.90/530.98	c iter 1342 time 512.549 not-muc 15981762 unknown 530 muc 1341
530.90/530.98	c iter 1343 time 512.891 not-muc 15981762 unknown 529 muc 1342
530.90/530.98	c iter 1344 time 513.234 not-muc 15981762 unknown 528 muc 1343
530.90/530.98	c iter 1345 time 513.638 not-muc 15981762 unknown 527 muc 1344
530.90/530.98	c iter 1346 time 513.981 not-muc 15981762 unknown 526 muc 1345
530.90/530.98	c iter 1347 time 514.325 not-muc 15981762 unknown 525 muc 1346
530.90/530.98	c iter 1348 time 514.669 not-muc 15981762 unknown 524 muc 1347
530.90/530.98	c iter 1349 time 515.013 not-muc 15981762 unknown 523 muc 1348
530.90/530.98	c iter 1350 time 515.358 not-muc 15981762 unknown 522 muc 1349
530.90/530.98	c iter 1351 time 515.702 not-muc 15981762 unknown 521 muc 1350
530.90/530.98	c iter 1352 time 516.112 not-muc 15981762 unknown 520 muc 1351
530.90/530.98	c iter 1353 time 516.524 not-muc 15981762 unknown 519 muc 1352
530.90/530.98	c iter 1354 time 516.875 not-muc 15981762 unknown 518 muc 1353
530.90/530.98	c iter 1355 time 517.226 not-muc 15981762 unknown 517 muc 1354
530.90/530.98	c iter 1356 time 517.577 not-muc 15981762 unknown 516 muc 1355
530.90/530.98	c iter 1357 time 517.922 not-muc 15981762 unknown 515 muc 1356
530.90/530.98	c iter 1358 time 518.313 not-muc 15981762 unknown 514 muc 1357
530.90/530.98	c iter 1359 time 518.65 not-muc 15981762 unknown 513 muc 1358
530.90/530.98	c iter 1360 time 518.986 not-muc 15981762 unknown 512 muc 1359
530.90/530.98	c iter 1361 time 519.329 not-muc 15981762 unknown 511 muc 1360
530.90/530.98	c iter 1362 time 519.671 not-muc 15981762 unknown 510 muc 1361
530.90/530.98	c iter 1363 time 520.075 not-muc 15981762 unknown 509 muc 1362
530.90/530.98	c iter 1364 time 520.419 not-muc 15981762 unknown 508 muc 1363
530.90/530.98	c iter 1365 time 520.77 not-muc 15981762 unknown 507 muc 1364
530.90/530.98	c iter 1366 time 521.121 not-muc 15981762 unknown 506 muc 1365
530.90/530.98	c iter 1367 time 521.469 not-muc 15981762 unknown 505 muc 1366
530.90/530.98	c iter 1368 time 521.814 not-muc 15981762 unknown 504 muc 1367
530.90/530.98	c iter 1369 time 522.158 not-muc 15981762 unknown 503 muc 1368
530.90/530.98	c iter 1370 time 522.562 not-muc 15981762 unknown 502 muc 1369
530.90/530.98	c iter 1371 time 522.965 not-muc 15981762 unknown 501 muc 1370
530.90/530.98	c iter 1372 time 523.309 not-muc 15981762 unknown 500 muc 1371
530.90/530.98	c iter 1373 time 523.657 not-muc 15981762 unknown 499 muc 1372
530.90/530.98	c iter 1374 time 524.005 not-muc 15981762 unknown 498 muc 1373
530.90/530.98	c iter 1375 time 524.355 not-muc 15981762 unknown 497 muc 1374
530.90/530.98	c iter 1376 time 524.748 not-muc 15981762 unknown 496 muc 1375
530.90/530.98	c iter 1377 time 525.083 not-muc 15981762 unknown 495 muc 1376
530.90/530.98	c iter 1378 time 525.419 not-muc 15981762 unknown 494 muc 1377
530.90/530.98	c iter 1379 time 525.758 not-muc 15981762 unknown 493 muc 1378
530.90/530.98	c iter 1380 time 526.101 not-muc 15981762 unknown 492 muc 1379
530.90/530.98	c iter 1381 time 526.503 not-muc 15981762 unknown 491 muc 1380
530.90/530.98	c iter 1382 time 526.847 not-muc 15981762 unknown 490 muc 1381
530.90/530.98	c iter 1383 time 527.195 not-muc 15981762 unknown 489 muc 1382
530.90/530.98	c iter 1384 time 527.546 not-muc 15981762 unknown 488 muc 1383
530.90/530.98	c iter 1385 time 527.897 not-muc 15981762 unknown 487 muc 1384
530.90/530.98	c iter 1386 time 528.249 not-muc 15981762 unknown 486 muc 1385
530.90/530.98	c iter 1387 time 528.6 not-muc 15981762 unknown 485 muc 1386
530.90/530.98	c iter 1388 time 529.013 not-muc 15981762 unknown 484 muc 1387
530.90/530.98	c iter 1389 time 529.425 not-muc 15981762 unknown 483 muc 1388
554.30/554.31	c iter 1390 time 529.774 not-muc 15981762 unknown 482 muc 1389
554.30/554.31	c iter 1391 time 530.125 not-muc 15981762 unknown 481 muc 1390
554.30/554.31	c iter 1392 time 530.476 not-muc 15981762 unknown 480 muc 1391
554.30/554.31	c iter 1393 time 530.828 not-muc 15981762 unknown 479 muc 1392
554.30/554.31	c iter 1394 time 531.224 not-muc 15981762 unknown 478 muc 1393
554.30/554.31	c iter 1395 time 531.558 not-muc 15981762 unknown 477 muc 1394
554.30/554.31	c iter 1396 time 531.894 not-muc 15981762 unknown 476 muc 1395
554.30/554.31	c iter 1397 time 532.231 not-muc 15981762 unknown 475 muc 1396
554.30/554.31	c iter 1398 time 532.573 not-muc 15981762 unknown 474 muc 1397
554.30/554.31	c iter 1399 time 532.978 not-muc 15981762 unknown 473 muc 1398
554.30/554.31	c iter 1400 time 533.329 not-muc 15981762 unknown 472 muc 1399
554.30/554.31	c iter 1401 time 533.68 not-muc 15981762 unknown 471 muc 1400
554.30/554.31	c iter 1402 time 534.031 not-muc 15981762 unknown 470 muc 1401
554.30/554.31	c iter 1403 time 534.382 not-muc 15981762 unknown 469 muc 1402
554.30/554.31	c iter 1404 time 534.733 not-muc 15981762 unknown 468 muc 1403
554.30/554.31	c iter 1405 time 535.085 not-muc 15981762 unknown 467 muc 1404
554.30/554.31	c iter 1406 time 535.497 not-muc 15981762 unknown 466 muc 1405
554.30/554.31	c iter 1407 time 535.91 not-muc 15981762 unknown 465 muc 1406
554.30/554.31	c iter 1408 time 536.26 not-muc 15981762 unknown 464 muc 1407
554.30/554.31	c iter 1409 time 536.612 not-muc 15981762 unknown 463 muc 1408
554.30/554.31	c iter 1410 time 536.963 not-muc 15981762 unknown 462 muc 1409
554.30/554.31	c iter 1411 time 537.314 not-muc 15981762 unknown 461 muc 1410
554.30/554.31	c iter 1412 time 537.713 not-muc 15981762 unknown 460 muc 1411
554.30/554.31	c iter 1413 time 538.046 not-muc 15981762 unknown 459 muc 1412
554.30/554.31	c iter 1414 time 538.383 not-muc 15981762 unknown 458 muc 1413
554.30/554.31	c iter 1415 time 538.72 not-muc 15981762 unknown 457 muc 1414
554.30/554.31	c iter 1416 time 539.061 not-muc 15981762 unknown 456 muc 1415
554.30/554.31	c iter 1417 time 539.464 not-muc 15981762 unknown 455 muc 1416
554.30/554.31	c iter 1418 time 539.808 not-muc 15981762 unknown 454 muc 1417
554.30/554.31	c iter 1419 time 540.152 not-muc 15981762 unknown 453 muc 1418
554.30/554.31	c iter 1420 time 540.496 not-muc 15981762 unknown 452 muc 1419
554.30/554.31	c iter 1421 time 540.84 not-muc 15981762 unknown 451 muc 1420
554.30/554.31	c iter 1422 time 541.188 not-muc 15981762 unknown 450 muc 1421
554.30/554.31	c iter 1423 time 541.54 not-muc 15981762 unknown 449 muc 1422
554.30/554.31	c iter 1424 time 541.952 not-muc 15981762 unknown 448 muc 1423
554.30/554.31	c iter 1425 time 542.411 not-muc 15981762 unknown 447 muc 1424
554.30/554.31	c iter 1426 time 542.76 not-muc 15981762 unknown 446 muc 1425
554.30/554.31	c iter 1427 time 543.111 not-muc 15981762 unknown 445 muc 1426
554.30/554.31	c iter 1428 time 543.462 not-muc 15981762 unknown 444 muc 1427
554.30/554.31	c iter 1429 time 543.814 not-muc 15981762 unknown 443 muc 1428
554.30/554.31	c iter 1430 time 544.216 not-muc 15981762 unknown 442 muc 1429
554.30/554.31	c iter 1431 time 544.55 not-muc 15981762 unknown 441 muc 1430
554.30/554.31	c iter 1432 time 544.886 not-muc 15981762 unknown 440 muc 1431
554.30/554.31	c iter 1433 time 545.223 not-muc 15981762 unknown 439 muc 1432
554.30/554.31	c iter 1434 time 545.564 not-muc 15981762 unknown 438 muc 1433
554.30/554.31	c iter 1435 time 545.966 not-muc 15981762 unknown 437 muc 1434
554.30/554.31	c iter 1436 time 546.31 not-muc 15981762 unknown 436 muc 1435
554.30/554.31	c iter 1437 time 546.654 not-muc 15981762 unknown 435 muc 1436
554.30/554.31	c iter 1438 time 546.998 not-muc 15981762 unknown 434 muc 1437
554.30/554.31	c iter 1439 time 547.342 not-muc 15981762 unknown 433 muc 1438
554.30/554.31	c iter 1440 time 547.687 not-muc 15981762 unknown 432 muc 1439
554.30/554.31	c iter 1441 time 548.032 not-muc 15981762 unknown 431 muc 1440
554.30/554.31	c iter 1442 time 548.445 not-muc 15981762 unknown 430 muc 1441
554.30/554.31	c iter 1443 time 548.857 not-muc 15981762 unknown 429 muc 1442
554.30/554.31	c iter 1444 time 549.208 not-muc 15981762 unknown 428 muc 1443
554.30/554.31	c iter 1445 time 549.558 not-muc 15981762 unknown 427 muc 1444
554.30/554.31	c iter 1446 time 549.909 not-muc 15981762 unknown 426 muc 1445
554.30/554.31	c iter 1447 time 550.26 not-muc 15981762 unknown 425 muc 1446
554.30/554.31	c iter 1448 time 550.669 not-muc 15981762 unknown 424 muc 1447
554.30/554.31	c iter 1449 time 551.003 not-muc 15981762 unknown 423 muc 1448
554.30/554.31	c iter 1450 time 551.337 not-muc 15981762 unknown 422 muc 1449
554.30/554.31	c iter 1451 time 551.674 not-muc 15981762 unknown 421 muc 1450
554.30/554.31	c iter 1452 time 552.013 not-muc 15981762 unknown 420 muc 1451
554.30/554.31	c iter 1453 time 552.414 not-muc 15981762 unknown 419 muc 1452
554.30/554.31	c iter 1454 time 552.758 not-muc 15981762 unknown 418 muc 1453
577.70/577.71	c iter 1455 time 553.103 not-muc 15981762 unknown 417 muc 1454
577.70/577.71	c iter 1456 time 553.454 not-muc 15981762 unknown 416 muc 1455
577.70/577.71	c iter 1457 time 553.805 not-muc 15981762 unknown 415 muc 1456
577.70/577.71	c iter 1458 time 554.156 not-muc 15981762 unknown 414 muc 1457
577.70/577.71	c iter 1459 time 554.507 not-muc 15981762 unknown 413 muc 1458
577.70/577.71	c iter 1460 time 554.92 not-muc 15981762 unknown 412 muc 1459
577.70/577.71	c iter 1461 time 555.333 not-muc 15981762 unknown 411 muc 1460
577.70/577.71	c iter 1462 time 555.684 not-muc 15981762 unknown 410 muc 1461
577.70/577.71	c iter 1463 time 556.034 not-muc 15981762 unknown 409 muc 1462
577.70/577.71	c iter 1464 time 556.384 not-muc 15981762 unknown 408 muc 1463
577.70/577.71	c iter 1465 time 556.736 not-muc 15981762 unknown 407 muc 1464
577.70/577.71	c iter 1466 time 557.147 not-muc 15981762 unknown 406 muc 1465
577.70/577.71	c iter 1467 time 557.482 not-muc 15981762 unknown 405 muc 1466
577.70/577.71	c iter 1468 time 557.815 not-muc 15981762 unknown 404 muc 1467
577.70/577.71	c iter 1469 time 558.152 not-muc 15981762 unknown 403 muc 1468
577.70/577.71	c iter 1470 time 558.49 not-muc 15981762 unknown 402 muc 1469
577.70/577.71	c iter 1471 time 558.892 not-muc 15981762 unknown 401 muc 1470
577.70/577.71	c iter 1472 time 559.236 not-muc 15981762 unknown 400 muc 1471
577.70/577.71	c iter 1473 time 559.58 not-muc 15981762 unknown 399 muc 1472
577.70/577.71	c iter 1474 time 559.931 not-muc 15981762 unknown 398 muc 1473
577.70/577.71	c iter 1475 time 560.282 not-muc 15981762 unknown 397 muc 1474
577.70/577.71	c iter 1476 time 560.633 not-muc 15981762 unknown 396 muc 1475
577.70/577.71	c iter 1477 time 560.985 not-muc 15981762 unknown 395 muc 1476
577.70/577.71	c iter 1478 time 561.398 not-muc 15981762 unknown 394 muc 1477
577.70/577.71	c iter 1479 time 561.81 not-muc 15981762 unknown 393 muc 1478
577.70/577.71	c iter 1480 time 562.161 not-muc 15981762 unknown 392 muc 1479
577.70/577.71	c iter 1481 time 562.511 not-muc 15981762 unknown 391 muc 1480
577.70/577.71	c iter 1482 time 562.862 not-muc 15981762 unknown 390 muc 1481
577.70/577.71	c iter 1483 time 563.213 not-muc 15981762 unknown 389 muc 1482
577.70/577.71	c iter 1484 time 563.626 not-muc 15981762 unknown 388 muc 1483
577.70/577.71	c iter 1485 time 563.964 not-muc 15981762 unknown 387 muc 1484
577.70/577.71	c iter 1486 time 564.297 not-muc 15981762 unknown 386 muc 1485
577.70/577.71	c iter 1487 time 564.634 not-muc 15981762 unknown 385 muc 1486
577.70/577.71	c iter 1488 time 564.97 not-muc 15981762 unknown 384 muc 1487
577.70/577.71	c iter 1489 time 565.372 not-muc 15981762 unknown 383 muc 1488
577.70/577.71	c iter 1490 time 565.718 not-muc 15981762 unknown 382 muc 1489
577.70/577.71	c iter 1491 time 566.068 not-muc 15981762 unknown 381 muc 1490
577.70/577.71	c iter 1492 time 566.42 not-muc 15981762 unknown 380 muc 1491
577.70/577.71	c iter 1493 time 566.771 not-muc 15981762 unknown 379 muc 1492
577.70/577.71	c iter 1494 time 567.121 not-muc 15981762 unknown 378 muc 1493
577.70/577.71	c iter 1495 time 567.472 not-muc 15981762 unknown 377 muc 1494
577.70/577.71	c iter 1496 time 567.885 not-muc 15981762 unknown 376 muc 1495
577.70/577.71	c iter 1497 time 568.298 not-muc 15981762 unknown 375 muc 1496
577.70/577.71	c iter 1498 time 568.649 not-muc 15981762 unknown 374 muc 1497
577.70/577.71	c iter 1499 time 568.997 not-muc 15981762 unknown 373 muc 1498
577.70/577.71	c iter 1500 time 569.348 not-muc 15981762 unknown 372 muc 1499
577.70/577.71	c iter 1501 time 569.7 not-muc 15981762 unknown 371 muc 1500
577.70/577.71	c iter 1502 time 570.112 not-muc 15981762 unknown 370 muc 1501
577.70/577.71	c iter 1503 time 570.454 not-muc 15981762 unknown 369 muc 1502
577.70/577.71	c iter 1504 time 570.786 not-muc 15981762 unknown 368 muc 1503
577.70/577.71	c iter 1505 time 571.123 not-muc 15981762 unknown 367 muc 1504
577.70/577.71	c iter 1506 time 571.459 not-muc 15981762 unknown 366 muc 1505
577.70/577.71	c iter 1507 time 571.869 not-muc 15981762 unknown 365 muc 1506
577.70/577.71	c iter 1508 time 572.211 not-muc 15981762 unknown 364 muc 1507
577.70/577.71	c iter 1509 time 572.555 not-muc 15981762 unknown 363 muc 1508
577.70/577.71	c iter 1510 time 572.899 not-muc 15981762 unknown 362 muc 1509
577.70/577.71	c iter 1511 time 573.243 not-muc 15981762 unknown 361 muc 1510
577.70/577.71	c iter 1512 time 573.588 not-muc 15981762 unknown 360 muc 1511
577.70/577.71	c iter 1513 time 573.93 not-muc 15981762 unknown 359 muc 1512
577.70/577.71	c iter 1514 time 574.341 not-muc 15981762 unknown 358 muc 1513
577.70/577.71	c iter 1515 time 574.754 not-muc 15981762 unknown 357 muc 1514
577.70/577.71	c iter 1516 time 575.105 not-muc 15981762 unknown 356 muc 1515
577.70/577.71	c iter 1517 time 575.456 not-muc 15981762 unknown 355 muc 1516
577.70/577.71	c iter 1518 time 575.806 not-muc 15981762 unknown 354 muc 1517
577.70/577.71	c iter 1519 time 576.157 not-muc 15981762 unknown 353 muc 1518
601.00/601.01	c iter 1520 time 576.569 not-muc 15981762 unknown 352 muc 1519
601.00/601.01	c iter 1521 time 576.916 not-muc 15981762 unknown 351 muc 1520
601.00/601.01	c iter 1522 time 577.249 not-muc 15981762 unknown 350 muc 1521
601.00/601.01	c iter 1523 time 577.584 not-muc 15981762 unknown 349 muc 1522
601.00/601.01	c iter 1524 time 577.921 not-muc 15981762 unknown 348 muc 1523
601.00/601.01	c iter 1525 time 578.319 not-muc 15981762 unknown 347 muc 1524
601.00/601.01	c iter 1526 time 578.662 not-muc 15981762 unknown 346 muc 1525
601.00/601.01	c iter 1527 time 579.005 not-muc 15981762 unknown 345 muc 1526
601.00/601.01	c iter 1528 time 579.349 not-muc 15981762 unknown 344 muc 1527
601.00/601.01	c iter 1529 time 579.701 not-muc 15981762 unknown 343 muc 1528
601.00/601.01	c iter 1530 time 580.052 not-muc 15981762 unknown 342 muc 1529
601.00/601.01	c iter 1531 time 580.403 not-muc 15981762 unknown 341 muc 1530
601.00/601.01	c iter 1532 time 580.817 not-muc 15981762 unknown 340 muc 1531
601.00/601.01	c iter 1533 time 581.23 not-muc 15981762 unknown 339 muc 1532
601.00/601.01	c iter 1534 time 581.58 not-muc 15981762 unknown 338 muc 1533
601.00/601.01	c iter 1535 time 581.931 not-muc 15981762 unknown 337 muc 1534
601.00/601.01	c iter 1536 time 582.282 not-muc 15981762 unknown 336 muc 1535
601.00/601.01	c iter 1537 time 582.633 not-muc 15981762 unknown 335 muc 1536
601.00/601.01	c iter 1538 time 583.045 not-muc 15981762 unknown 334 muc 1537
601.00/601.01	c iter 1539 time 583.395 not-muc 15981762 unknown 333 muc 1538
601.00/601.01	c iter 1540 time 583.731 not-muc 15981762 unknown 332 muc 1539
601.00/601.01	c iter 1541 time 584.064 not-muc 15981762 unknown 331 muc 1540
601.00/601.01	c iter 1542 time 584.401 not-muc 15981762 unknown 330 muc 1541
601.00/601.01	c iter 1543 time 584.799 not-muc 15981762 unknown 329 muc 1542
601.00/601.01	c iter 1544 time 585.143 not-muc 15981762 unknown 328 muc 1543
601.00/601.01	c iter 1545 time 585.493 not-muc 15981762 unknown 327 muc 1544
601.00/601.01	c iter 1546 time 585.841 not-muc 15981762 unknown 326 muc 1545
601.00/601.01	c iter 1547 time 586.185 not-muc 15981762 unknown 325 muc 1546
601.00/601.01	c iter 1548 time 586.529 not-muc 15981762 unknown 324 muc 1547
601.00/601.01	c iter 1549 time 586.873 not-muc 15981762 unknown 323 muc 1548
601.00/601.01	c iter 1550 time 587.278 not-muc 15981762 unknown 322 muc 1549
601.00/601.01	c iter 1551 time 587.683 not-muc 15981762 unknown 321 muc 1550
601.00/601.01	c iter 1552 time 588.028 not-muc 15981762 unknown 320 muc 1551
601.00/601.01	c iter 1553 time 588.379 not-muc 15981762 unknown 319 muc 1552
601.00/601.01	c iter 1554 time 588.729 not-muc 15981762 unknown 318 muc 1553
601.00/601.01	c iter 1555 time 589.08 not-muc 15981762 unknown 317 muc 1554
601.00/601.01	c iter 1556 time 589.493 not-muc 15981762 unknown 316 muc 1555
601.00/601.01	c iter 1557 time 589.844 not-muc 15981762 unknown 315 muc 1556
601.00/601.01	c iter 1558 time 590.183 not-muc 15981762 unknown 314 muc 1557
601.00/601.01	c iter 1559 time 590.517 not-muc 15981762 unknown 313 muc 1558
601.00/601.01	c iter 1560 time 590.854 not-muc 15981762 unknown 312 muc 1559
601.00/601.01	c iter 1561 time 591.251 not-muc 15981762 unknown 311 muc 1560
601.00/601.01	c iter 1562 time 591.593 not-muc 15981762 unknown 310 muc 1561
601.00/601.01	c iter 1563 time 591.936 not-muc 15981762 unknown 309 muc 1562
601.00/601.01	c iter 1564 time 592.279 not-muc 15981762 unknown 308 muc 1563
601.00/601.01	c iter 1565 time 592.623 not-muc 15981762 unknown 307 muc 1564
601.00/601.01	c iter 1566 time 592.967 not-muc 15981762 unknown 306 muc 1565
601.00/601.01	c iter 1567 time 593.311 not-muc 15981762 unknown 305 muc 1566
601.00/601.01	c iter 1568 time 593.721 not-muc 15981762 unknown 304 muc 1567
601.00/601.01	c iter 1569 time 594.134 not-muc 15981762 unknown 303 muc 1568
601.00/601.01	c iter 1570 time 594.485 not-muc 15981762 unknown 302 muc 1569
601.00/601.01	c iter 1571 time 594.835 not-muc 15981762 unknown 301 muc 1570
601.00/601.01	c iter 1572 time 595.187 not-muc 15981762 unknown 300 muc 1571
601.00/601.01	c iter 1573 time 595.537 not-muc 15981762 unknown 299 muc 1572
601.00/601.01	c iter 1574 time 595.949 not-muc 15981762 unknown 298 muc 1573
601.00/601.01	c iter 1575 time 596.3 not-muc 15981762 unknown 297 muc 1574
601.00/601.01	c iter 1576 time 596.646 not-muc 15981762 unknown 296 muc 1575
601.00/601.01	c iter 1577 time 596.978 not-muc 15981762 unknown 295 muc 1576
601.00/601.01	c iter 1578 time 597.314 not-muc 15981762 unknown 294 muc 1577
601.00/601.01	c iter 1579 time 597.71 not-muc 15981762 unknown 293 muc 1578
601.00/601.01	c iter 1580 time 598.055 not-muc 15981762 unknown 292 muc 1579
601.00/601.01	c iter 1581 time 598.404 not-muc 15981762 unknown 291 muc 1580
601.00/601.01	c iter 1582 time 598.754 not-muc 15981762 unknown 290 muc 1581
601.00/601.01	c iter 1583 time 599.105 not-muc 15981762 unknown 289 muc 1582
601.00/601.01	c iter 1584 time 599.456 not-muc 15981762 unknown 288 muc 1583
624.40/624.40	c iter 1585 time 599.807 not-muc 15981762 unknown 287 muc 1584
624.40/624.40	c iter 1586 time 600.219 not-muc 15981762 unknown 286 muc 1585
624.40/624.40	c iter 1587 time 600.632 not-muc 15981762 unknown 285 muc 1586
624.40/624.40	c iter 1588 time 600.984 not-muc 15981762 unknown 284 muc 1587
624.40/624.40	c iter 1589 time 601.334 not-muc 15981762 unknown 283 muc 1588
624.40/624.40	c iter 1590 time 601.685 not-muc 15981762 unknown 282 muc 1589
624.40/624.40	c iter 1591 time 602.035 not-muc 15981762 unknown 281 muc 1590
624.40/624.40	c iter 1592 time 602.448 not-muc 15981762 unknown 280 muc 1591
624.40/624.40	c iter 1593 time 602.799 not-muc 15981762 unknown 279 muc 1592
624.40/624.40	c iter 1594 time 603.146 not-muc 15981762 unknown 278 muc 1593
624.40/624.40	c iter 1595 time 603.48 not-muc 15981762 unknown 277 muc 1594
624.40/624.40	c iter 1596 time 603.815 not-muc 15981762 unknown 276 muc 1595
624.40/624.40	c iter 1597 time 604.211 not-muc 15981762 unknown 275 muc 1596
624.40/624.40	c iter 1598 time 604.551 not-muc 15981762 unknown 274 muc 1597
624.40/624.40	c iter 1599 time 604.893 not-muc 15981762 unknown 273 muc 1598
624.40/624.40	c iter 1600 time 605.237 not-muc 15981762 unknown 272 muc 1599
624.40/624.40	c iter 1601 time 605.581 not-muc 15981762 unknown 271 muc 1600
624.40/624.40	c iter 1602 time 605.925 not-muc 15981762 unknown 270 muc 1601
624.40/624.40	c iter 1603 time 606.269 not-muc 15981762 unknown 269 muc 1602
624.40/624.40	c iter 1604 time 606.719 not-muc 15981762 unknown 268 muc 1603
624.40/624.40	c iter 1605 time 607.125 not-muc 15981762 unknown 267 muc 1604
624.40/624.40	c iter 1606 time 607.476 not-muc 15981762 unknown 266 muc 1605
624.40/624.40	c iter 1607 time 607.827 not-muc 15981762 unknown 265 muc 1606
624.40/624.40	c iter 1608 time 608.178 not-muc 15981762 unknown 264 muc 1607
624.40/624.40	c iter 1609 time 608.528 not-muc 15981762 unknown 263 muc 1608
624.40/624.40	c iter 1610 time 608.94 not-muc 15981762 unknown 262 muc 1609
624.40/624.40	c iter 1611 time 609.291 not-muc 15981762 unknown 261 muc 1610
624.40/624.40	c iter 1612 time 609.641 not-muc 15981762 unknown 260 muc 1611
624.40/624.40	c iter 1613 time 609.976 not-muc 15981762 unknown 259 muc 1612
624.40/624.40	c iter 1614 time 610.31 not-muc 15981762 unknown 258 muc 1613
624.40/624.40	c iter 1615 time 610.706 not-muc 15981762 unknown 257 muc 1614
624.40/624.40	c iter 1616 time 611.045 not-muc 15981762 unknown 256 muc 1615
624.40/624.40	c iter 1617 time 611.387 not-muc 15981762 unknown 255 muc 1616
624.40/624.40	c iter 1618 time 611.73 not-muc 15981762 unknown 254 muc 1617
624.40/624.40	c iter 1619 time 612.079 not-muc 15981762 unknown 253 muc 1618
624.40/624.40	c iter 1620 time 612.43 not-muc 15981762 unknown 252 muc 1619
624.40/624.40	c iter 1621 time 612.781 not-muc 15981762 unknown 251 muc 1620
624.40/624.40	c iter 1622 time 613.194 not-muc 15981762 unknown 250 muc 1621
624.40/624.40	c iter 1623 time 613.606 not-muc 15981762 unknown 249 muc 1622
624.40/624.40	c iter 1624 time 613.952 not-muc 15981762 unknown 248 muc 1623
624.40/624.40	c iter 1625 time 614.296 not-muc 15981762 unknown 247 muc 1624
624.40/624.40	c iter 1626 time 614.64 not-muc 15981762 unknown 246 muc 1625
624.40/624.40	c iter 1627 time 614.99 not-muc 15981762 unknown 245 muc 1626
624.40/624.40	c iter 1628 time 615.402 not-muc 15981762 unknown 244 muc 1627
624.40/624.40	c iter 1629 time 615.753 not-muc 15981762 unknown 243 muc 1628
624.40/624.40	c iter 1630 time 616.104 not-muc 15981762 unknown 242 muc 1629
624.40/624.40	c iter 1631 time 616.443 not-muc 15981762 unknown 241 muc 1630
624.40/624.40	c iter 1632 time 616.776 not-muc 15981762 unknown 240 muc 1631
624.40/624.40	c iter 1633 time 617.172 not-muc 15981762 unknown 239 muc 1632
624.40/624.40	c iter 1634 time 617.509 not-muc 15981762 unknown 238 muc 1633
624.40/624.40	c iter 1635 time 617.852 not-muc 15981762 unknown 237 muc 1634
624.40/624.40	c iter 1636 time 618.194 not-muc 15981762 unknown 236 muc 1635
624.40/624.40	c iter 1637 time 618.538 not-muc 15981762 unknown 235 muc 1636
624.40/624.40	c iter 1638 time 618.881 not-muc 15981762 unknown 234 muc 1637
624.40/624.40	c iter 1639 time 619.225 not-muc 15981762 unknown 233 muc 1638
624.40/624.40	c iter 1640 time 619.63 not-muc 15981762 unknown 232 muc 1639
624.40/624.40	c iter 1641 time 620.035 not-muc 15981762 unknown 231 muc 1640
624.40/624.40	c iter 1642 time 620.379 not-muc 15981762 unknown 230 muc 1641
624.40/624.40	c iter 1643 time 620.723 not-muc 15981762 unknown 229 muc 1642
624.40/624.40	c iter 1644 time 621.067 not-muc 15981762 unknown 228 muc 1643
624.40/624.40	c iter 1645 time 621.411 not-muc 15981762 unknown 227 muc 1644
624.40/624.40	c iter 1646 time 621.815 not-muc 15981762 unknown 226 muc 1645
624.40/624.40	c iter 1647 time 622.159 not-muc 15981762 unknown 225 muc 1646
624.40/624.40	c iter 1648 time 622.505 not-muc 15981762 unknown 224 muc 1647
624.40/624.40	c iter 1649 time 622.851 not-muc 15981762 unknown 223 muc 1648
647.60/647.64	c iter 1650 time 623.185 not-muc 15981762 unknown 222 muc 1649
647.60/647.64	c iter 1651 time 623.579 not-muc 15981762 unknown 221 muc 1650
647.60/647.64	c iter 1652 time 623.915 not-muc 15981762 unknown 220 muc 1651
647.60/647.64	c iter 1653 time 624.255 not-muc 15981762 unknown 219 muc 1652
647.60/647.64	c iter 1654 time 624.598 not-muc 15981762 unknown 218 muc 1653
647.60/647.64	c iter 1655 time 624.941 not-muc 15981762 unknown 217 muc 1654
647.60/647.64	c iter 1656 time 625.285 not-muc 15981762 unknown 216 muc 1655
647.60/647.64	c iter 1657 time 625.629 not-muc 15981762 unknown 215 muc 1656
647.60/647.64	c iter 1658 time 626.033 not-muc 15981762 unknown 214 muc 1657
647.60/647.64	c iter 1659 time 626.438 not-muc 15981762 unknown 213 muc 1658
647.60/647.64	c iter 1660 time 626.781 not-muc 15981762 unknown 212 muc 1659
647.60/647.64	c iter 1661 time 627.125 not-muc 15981762 unknown 211 muc 1660
647.60/647.64	c iter 1662 time 627.468 not-muc 15981762 unknown 210 muc 1661
647.60/647.64	c iter 1663 time 627.812 not-muc 15981762 unknown 209 muc 1662
647.60/647.64	c iter 1664 time 628.216 not-muc 15981762 unknown 208 muc 1663
647.60/647.64	c iter 1665 time 628.56 not-muc 15981762 unknown 207 muc 1664
647.60/647.64	c iter 1666 time 628.904 not-muc 15981762 unknown 206 muc 1665
647.60/647.64	c iter 1667 time 629.247 not-muc 15981762 unknown 205 muc 1666
647.60/647.64	c iter 1668 time 629.584 not-muc 15981762 unknown 204 muc 1667
647.60/647.64	c iter 1669 time 629.977 not-muc 15981762 unknown 203 muc 1668
647.60/647.64	c iter 1670 time 630.314 not-muc 15981762 unknown 202 muc 1669
647.60/647.64	c iter 1671 time 630.652 not-muc 15981762 unknown 201 muc 1670
647.60/647.64	c iter 1672 time 630.995 not-muc 15981762 unknown 200 muc 1671
647.60/647.64	c iter 1673 time 631.339 not-muc 15981762 unknown 199 muc 1672
647.60/647.64	c iter 1674 time 631.683 not-muc 15981762 unknown 198 muc 1673
647.60/647.64	c iter 1675 time 632.027 not-muc 15981762 unknown 197 muc 1674
647.60/647.64	c iter 1676 time 632.432 not-muc 15981762 unknown 196 muc 1675
647.60/647.64	c iter 1677 time 632.837 not-muc 15981762 unknown 195 muc 1676
647.60/647.64	c iter 1678 time 633.18 not-muc 15981762 unknown 194 muc 1677
647.60/647.64	c iter 1679 time 633.524 not-muc 15981762 unknown 193 muc 1678
647.60/647.64	c iter 1680 time 633.868 not-muc 15981762 unknown 192 muc 1679
647.60/647.64	c iter 1681 time 634.212 not-muc 15981762 unknown 191 muc 1680
647.60/647.64	c iter 1682 time 634.621 not-muc 15981762 unknown 190 muc 1681
647.60/647.64	c iter 1683 time 634.97 not-muc 15981762 unknown 189 muc 1682
647.60/647.64	c iter 1684 time 635.321 not-muc 15981762 unknown 188 muc 1683
647.60/647.64	c iter 1685 time 635.672 not-muc 15981762 unknown 187 muc 1684
647.60/647.64	c iter 1686 time 636.017 not-muc 15981762 unknown 186 muc 1685
647.60/647.64	c iter 1687 time 636.41 not-muc 15981762 unknown 185 muc 1686
647.60/647.64	c iter 1688 time 636.745 not-muc 15981762 unknown 184 muc 1687
647.60/647.64	c iter 1689 time 637.081 not-muc 15981762 unknown 183 muc 1688
647.60/647.64	c iter 1690 time 637.421 not-muc 15981762 unknown 182 muc 1689
647.60/647.64	c iter 1691 time 637.764 not-muc 15981762 unknown 181 muc 1690
647.60/647.64	c iter 1692 time 638.108 not-muc 15981762 unknown 180 muc 1691
647.60/647.64	c iter 1693 time 638.453 not-muc 15981762 unknown 179 muc 1692
647.60/647.64	c iter 1694 time 638.857 not-muc 15981762 unknown 178 muc 1693
647.60/647.64	c iter 1695 time 639.262 not-muc 15981762 unknown 177 muc 1694
647.60/647.64	c iter 1696 time 639.606 not-muc 15981762 unknown 176 muc 1695
647.60/647.64	c iter 1697 time 639.95 not-muc 15981762 unknown 175 muc 1696
647.60/647.64	c iter 1698 time 640.301 not-muc 15981762 unknown 174 muc 1697
647.60/647.64	c iter 1699 time 640.653 not-muc 15981762 unknown 173 muc 1698
647.60/647.64	c iter 1700 time 641.066 not-muc 15981762 unknown 172 muc 1699
647.60/647.64	c iter 1701 time 641.416 not-muc 15981762 unknown 171 muc 1700
647.60/647.64	c iter 1702 time 641.767 not-muc 15981762 unknown 170 muc 1701
647.60/647.64	c iter 1703 time 642.117 not-muc 15981762 unknown 169 muc 1702
647.60/647.64	c iter 1704 time 642.467 not-muc 15981762 unknown 168 muc 1703
647.60/647.64	c iter 1705 time 642.861 not-muc 15981762 unknown 167 muc 1704
647.60/647.64	c iter 1706 time 643.195 not-muc 15981762 unknown 166 muc 1705
647.60/647.64	c iter 1707 time 643.531 not-muc 15981762 unknown 165 muc 1706
647.60/647.64	c iter 1708 time 643.872 not-muc 15981762 unknown 164 muc 1707
647.60/647.64	c iter 1709 time 644.222 not-muc 15981762 unknown 163 muc 1708
647.60/647.64	c iter 1710 time 644.571 not-muc 15981762 unknown 162 muc 1709
647.60/647.64	c iter 1711 time 644.922 not-muc 15981762 unknown 161 muc 1710
647.60/647.64	c iter 1712 time 645.335 not-muc 15981762 unknown 160 muc 1711
647.60/647.64	c iter 1713 time 645.748 not-muc 15981762 unknown 159 muc 1712
647.60/647.64	c iter 1714 time 646.091 not-muc 15981762 unknown 158 muc 1713
671.30/671.30	c iter 1715 time 646.434 not-muc 15981762 unknown 157 muc 1714
671.30/671.30	c iter 1716 time 646.778 not-muc 15981762 unknown 156 muc 1715
671.30/671.30	c iter 1717 time 647.122 not-muc 15981762 unknown 155 muc 1716
671.30/671.30	c iter 1718 time 647.527 not-muc 15981762 unknown 154 muc 1717
671.30/671.30	c iter 1719 time 647.871 not-muc 15981762 unknown 153 muc 1718
671.30/671.30	c iter 1720 time 648.214 not-muc 15981762 unknown 152 muc 1719
671.30/671.30	c iter 1721 time 648.558 not-muc 15981762 unknown 151 muc 1720
671.30/671.30	c iter 1722 time 648.902 not-muc 15981762 unknown 150 muc 1721
671.30/671.30	c iter 1723 time 649.299 not-muc 15981762 unknown 149 muc 1722
671.30/671.30	c iter 1724 time 649.632 not-muc 15981762 unknown 148 muc 1723
671.30/671.30	c iter 1725 time 649.968 not-muc 15981762 unknown 147 muc 1724
671.30/671.30	c iter 1726 time 650.306 not-muc 15981762 unknown 146 muc 1725
671.30/671.30	c iter 1727 time 650.648 not-muc 15981762 unknown 145 muc 1726
671.30/671.30	c iter 1728 time 650.998 not-muc 15981762 unknown 144 muc 1727
671.30/671.30	c iter 1729 time 651.343 not-muc 15981762 unknown 143 muc 1728
671.30/671.30	c iter 1730 time 651.748 not-muc 15981762 unknown 142 muc 1729
671.30/671.30	c iter 1731 time 652.153 not-muc 15981762 unknown 141 muc 1730
671.30/671.30	c iter 1732 time 652.496 not-muc 15981762 unknown 140 muc 1731
671.30/671.30	c iter 1733 time 652.841 not-muc 15981762 unknown 139 muc 1732
671.30/671.30	c iter 1734 time 653.191 not-muc 15981762 unknown 138 muc 1733
671.30/671.30	c iter 1735 time 653.542 not-muc 15981762 unknown 137 muc 1734
671.30/671.30	c iter 1736 time 653.955 not-muc 15981762 unknown 136 muc 1735
671.30/671.30	c iter 1737 time 654.306 not-muc 15981762 unknown 135 muc 1736
671.30/671.30	c iter 1738 time 654.656 not-muc 15981762 unknown 134 muc 1737
671.30/671.30	c iter 1739 time 655.007 not-muc 15981762 unknown 133 muc 1738
671.30/671.30	c iter 1740 time 655.358 not-muc 15981762 unknown 132 muc 1739
671.30/671.30	c iter 1741 time 655.762 not-muc 15981762 unknown 131 muc 1740
671.30/671.30	c iter 1742 time 656.095 not-muc 15981762 unknown 130 muc 1741
671.30/671.30	c iter 1743 time 656.43 not-muc 15981762 unknown 129 muc 1742
671.30/671.30	c iter 1744 time 656.767 not-muc 15981762 unknown 128 muc 1743
671.30/671.30	c iter 1745 time 657.108 not-muc 15981762 unknown 127 muc 1744
671.30/671.30	c iter 1746 time 657.451 not-muc 15981762 unknown 126 muc 1745
671.30/671.30	c iter 1747 time 657.798 not-muc 15981762 unknown 125 muc 1746
671.30/671.30	c iter 1748 time 658.211 not-muc 15981762 unknown 124 muc 1747
671.30/671.30	c iter 1749 time 658.624 not-muc 15981762 unknown 123 muc 1748
671.30/671.30	c iter 1750 time 658.968 not-muc 15981762 unknown 122 muc 1749
671.30/671.30	c iter 1751 time 659.312 not-muc 15981762 unknown 121 muc 1750
671.30/671.30	c iter 1752 time 659.656 not-muc 15981762 unknown 120 muc 1751
671.30/671.30	c iter 1753 time 660.004 not-muc 15981762 unknown 119 muc 1752
671.30/671.30	c iter 1754 time 660.418 not-muc 15981762 unknown 118 muc 1753
671.30/671.30	c iter 1755 time 660.768 not-muc 15981762 unknown 117 muc 1754
671.30/671.30	c iter 1756 time 661.118 not-muc 15981762 unknown 116 muc 1755
671.30/671.30	c iter 1757 time 661.469 not-muc 15981762 unknown 115 muc 1756
671.30/671.30	c iter 1758 time 661.819 not-muc 15981762 unknown 114 muc 1757
671.30/671.30	c iter 1759 time 662.272 not-muc 15981762 unknown 113 muc 1758
671.30/671.30	c iter 1760 time 662.605 not-muc 15981762 unknown 112 muc 1759
671.30/671.30	c iter 1761 time 662.939 not-muc 15981762 unknown 111 muc 1760
671.30/671.30	c iter 1762 time 663.275 not-muc 15981762 unknown 110 muc 1761
671.30/671.30	c iter 1763 time 663.615 not-muc 15981762 unknown 109 muc 1762
671.30/671.30	c iter 1764 time 663.957 not-muc 15981762 unknown 108 muc 1763
671.30/671.30	c iter 1765 time 664.3 not-muc 15981762 unknown 107 muc 1764
671.30/671.30	c iter 1766 time 664.705 not-muc 15981762 unknown 106 muc 1765
671.30/671.30	c iter 1767 time 665.111 not-muc 15981762 unknown 105 muc 1766
671.30/671.30	c iter 1768 time 665.462 not-muc 15981762 unknown 104 muc 1767
671.30/671.30	c iter 1769 time 665.813 not-muc 15981762 unknown 103 muc 1768
671.30/671.30	c iter 1770 time 666.164 not-muc 15981762 unknown 102 muc 1769
671.30/671.30	c iter 1771 time 666.515 not-muc 15981762 unknown 101 muc 1770
671.30/671.30	c iter 1772 time 666.928 not-muc 15981762 unknown 100 muc 1771
671.30/671.30	c iter 1773 time 667.279 not-muc 15981762 unknown 99 muc 1772
671.30/671.30	c iter 1774 time 667.63 not-muc 15981762 unknown 98 muc 1773
671.30/671.30	c iter 1775 time 667.98 not-muc 15981762 unknown 97 muc 1774
671.30/671.30	c iter 1776 time 668.331 not-muc 15981762 unknown 96 muc 1775
671.30/671.30	c iter 1777 time 668.742 not-muc 15981762 unknown 95 muc 1776
671.30/671.30	c iter 1778 time 669.076 not-muc 15981762 unknown 94 muc 1777
671.30/671.30	c iter 1779 time 669.41 not-muc 15981762 unknown 93 muc 1778
695.00/695.00	c iter 1780 time 669.746 not-muc 15981762 unknown 92 muc 1779
695.00/695.00	c iter 1781 time 670.084 not-muc 15981762 unknown 91 muc 1780
695.00/695.00	c iter 1782 time 670.427 not-muc 15981762 unknown 90 muc 1781
695.00/695.00	c iter 1783 time 670.77 not-muc 15981762 unknown 89 muc 1782
695.00/695.00	c iter 1784 time 671.176 not-muc 15981762 unknown 88 muc 1783
695.00/695.00	c iter 1785 time 671.58 not-muc 15981762 unknown 87 muc 1784
695.00/695.00	c iter 1786 time 671.924 not-muc 15981762 unknown 86 muc 1785
695.00/695.00	c iter 1787 time 672.268 not-muc 15981762 unknown 85 muc 1786
695.00/695.00	c iter 1788 time 672.612 not-muc 15981762 unknown 84 muc 1787
695.00/695.00	c iter 1789 time 672.955 not-muc 15981762 unknown 83 muc 1788
695.00/695.00	c iter 1790 time 673.36 not-muc 15981762 unknown 82 muc 1789
695.00/695.00	c iter 1791 time 673.707 not-muc 15981762 unknown 81 muc 1790
695.00/695.00	c iter 1792 time 674.057 not-muc 15981762 unknown 80 muc 1791
695.00/695.00	c iter 1793 time 674.408 not-muc 15981762 unknown 79 muc 1792
695.00/695.00	c iter 1794 time 674.758 not-muc 15981762 unknown 78 muc 1793
695.00/695.00	c iter 1795 time 675.171 not-muc 15981762 unknown 77 muc 1794
695.00/695.00	c iter 1796 time 675.509 not-muc 15981762 unknown 76 muc 1795
695.00/695.00	c iter 1797 time 675.841 not-muc 15981762 unknown 75 muc 1796
695.00/695.00	c iter 1798 time 676.177 not-muc 15981762 unknown 74 muc 1797
695.00/695.00	c iter 1799 time 676.513 not-muc 15981762 unknown 73 muc 1798
695.00/695.00	c iter 1800 time 676.855 not-muc 15981762 unknown 72 muc 1799
695.00/695.00	c iter 1801 time 677.198 not-muc 15981762 unknown 71 muc 1800
695.00/695.00	c iter 1802 time 677.611 not-muc 15981762 unknown 70 muc 1801
695.00/695.00	c iter 1803 time 678.024 not-muc 15981762 unknown 69 muc 1802
695.00/695.00	c iter 1804 time 678.374 not-muc 15981762 unknown 68 muc 1803
695.00/695.00	c iter 1805 time 678.725 not-muc 15981762 unknown 67 muc 1804
695.00/695.00	c iter 1806 time 679.076 not-muc 15981762 unknown 66 muc 1805
695.00/695.00	c iter 1807 time 679.427 not-muc 15981762 unknown 65 muc 1806
695.00/695.00	c iter 1808 time 679.84 not-muc 15981762 unknown 64 muc 1807
695.00/695.00	c iter 1809 time 680.191 not-muc 15981762 unknown 63 muc 1808
695.00/695.00	c iter 1810 time 680.541 not-muc 15981762 unknown 62 muc 1809
695.00/695.00	c iter 1811 time 680.891 not-muc 15981762 unknown 61 muc 1810
695.00/695.00	c iter 1812 time 681.243 not-muc 15981762 unknown 60 muc 1811
695.00/695.00	c iter 1813 time 681.655 not-muc 15981762 unknown 59 muc 1812
695.00/695.00	c iter 1814 time 681.997 not-muc 15981762 unknown 58 muc 1813
695.00/695.00	c iter 1815 time 682.33 not-muc 15981762 unknown 57 muc 1814
695.00/695.00	c iter 1816 time 682.665 not-muc 15981762 unknown 56 muc 1815
695.00/695.00	c iter 1817 time 683.001 not-muc 15981762 unknown 55 muc 1816
695.00/695.00	c iter 1818 time 683.342 not-muc 15981762 unknown 54 muc 1817
695.00/695.00	c iter 1819 time 683.691 not-muc 15981762 unknown 53 muc 1818
695.00/695.00	c iter 1820 time 684.104 not-muc 15981762 unknown 52 muc 1819
695.00/695.00	c iter 1821 time 684.517 not-muc 15981762 unknown 51 muc 1820
695.00/695.00	c iter 1822 time 684.867 not-muc 15981762 unknown 50 muc 1821
695.00/695.00	c iter 1823 time 685.218 not-muc 15981762 unknown 49 muc 1822
695.00/695.00	c iter 1824 time 685.568 not-muc 15981762 unknown 48 muc 1823
695.00/695.00	c iter 1825 time 685.919 not-muc 15981762 unknown 47 muc 1824
695.00/695.00	c iter 1826 time 686.333 not-muc 15981762 unknown 46 muc 1825
695.00/695.00	c iter 1827 time 686.683 not-muc 15981762 unknown 45 muc 1826
695.00/695.00	c iter 1828 time 687.034 not-muc 15981762 unknown 44 muc 1827
695.00/695.00	c iter 1829 time 687.385 not-muc 15981762 unknown 43 muc 1828
695.00/695.00	c iter 1830 time 687.734 not-muc 15981762 unknown 42 muc 1829
695.00/695.00	c iter 1831 time 688.148 not-muc 15981762 unknown 41 muc 1830
695.00/695.00	c iter 1832 time 688.493 not-muc 15981762 unknown 40 muc 1831
695.00/695.00	c iter 1833 time 688.826 not-muc 15981762 unknown 39 muc 1832
695.00/695.00	c iter 1834 time 689.161 not-muc 15981762 unknown 38 muc 1833
695.00/695.00	c iter 1835 time 689.497 not-muc 15981762 unknown 37 muc 1834
695.00/695.00	c iter 1836 time 689.836 not-muc 15981762 unknown 36 muc 1835
695.00/695.00	c iter 1837 time 690.178 not-muc 15981762 unknown 35 muc 1836
695.00/695.00	c iter 1838 time 690.582 not-muc 15981762 unknown 34 muc 1837
695.00/695.00	c iter 1839 time 690.987 not-muc 15981762 unknown 33 muc 1838
695.00/695.00	c iter 1840 time 691.331 not-muc 15981762 unknown 32 muc 1839
695.00/695.00	c iter 1841 time 691.674 not-muc 15981762 unknown 31 muc 1840
695.00/695.00	c iter 1842 time 692.018 not-muc 15981762 unknown 30 muc 1841
695.00/695.00	c iter 1843 time 692.361 not-muc 15981762 unknown 29 muc 1842
695.00/695.00	c iter 1844 time 692.765 not-muc 15981762 unknown 28 muc 1843
695.00/695.00	c iter 1845 time 693.109 not-muc 15981762 unknown 27 muc 1844
695.00/695.00	c iter 1846 time 693.452 not-muc 15981762 unknown 26 muc 1845
704.50/704.56	c iter 1847 time 693.795 not-muc 15981762 unknown 25 muc 1846
704.50/704.56	c iter 1848 time 694.139 not-muc 15981762 unknown 24 muc 1847
704.50/704.56	c iter 1849 time 694.544 not-muc 15981762 unknown 23 muc 1848
704.50/704.56	c iter 1850 time 694.888 not-muc 15981762 unknown 22 muc 1849
704.50/704.56	c iter 1851 time 695.224 not-muc 15981762 unknown 21 muc 1850
704.50/704.56	c iter 1852 time 695.556 not-muc 15981762 unknown 20 muc 1851
704.50/704.56	c iter 1853 time 695.892 not-muc 15981762 unknown 19 muc 1852
704.50/704.56	c iter 1854 time 696.228 not-muc 15981762 unknown 18 muc 1853
704.50/704.56	c iter 1855 time 696.569 not-muc 15981762 unknown 17 muc 1854
704.50/704.56	c iter 1856 time 696.972 not-muc 15981762 unknown 16 muc 1855
704.50/704.56	c iter 1857 time 697.377 not-muc 15981762 unknown 15 muc 1856
704.50/704.56	c iter 1858 time 697.721 not-muc 15981762 unknown 14 muc 1857
704.50/704.56	c iter 1859 time 698.064 not-muc 15981762 unknown 13 muc 1858
704.50/704.56	c iter 1860 time 698.408 not-muc 15981762 unknown 12 muc 1859
704.50/704.56	c iter 1861 time 698.751 not-muc 15981762 unknown 11 muc 1860
704.50/704.56	c iter 1862 time 699.156 not-muc 15981762 unknown 10 muc 1861
704.50/704.56	c iter 1863 time 699.5 not-muc 15981762 unknown 9 muc 1862
704.50/704.56	c iter 1864 time 699.843 not-muc 15981762 unknown 8 muc 1863
704.50/704.56	c iter 1865 time 700.186 not-muc 15981762 unknown 7 muc 1864
704.50/704.56	c iter 1866 time 700.529 not-muc 15981762 unknown 6 muc 1865
704.50/704.56	c iter 1867 time 700.933 not-muc 15981762 unknown 5 muc 1866
704.50/704.56	c iter 1868 time 701.338 not-muc 15981762 unknown 4 muc 1867
704.50/704.56	c iter 1869 time 701.779 not-muc 15981762 unknown 3 muc 1868
704.50/704.56	c iter 1870 time 702.172 not-muc 15981762 unknown 2 muc 1869
704.50/704.56	c iter 1871 time 702.608 not-muc 15981762 unknown 1 muc 1870
704.50/704.56	c final iter 1872 time 703.006 not-muc 15981762 unknown 0 muc 1871
704.50/704.56	v 342 343 362 363 622 623 1489 1627 2552 2596 3140 6211 6349 7274 7318 7862 10938 10940 11994 11996 12038 12040 12582 12584 15655 15857 16782 16826 17370 20441 20652 21577 21621 22165 25277 25300 26370 26372 26414 26416 26958 26960 30031 30242 31167 31211 31755 34826 35037 35962 36006 36550 39662 39685 40755 40757 40799 40801 41343 41345 44416 44627 45552 45596 46140 49211 49422 50347 50391 50935 54047 54070 55140 55142 55184 55186 55728 55730 58801 59012 59937 59981 60525 63596 63807 64732 64776 65320 68432 68455 69525 69527 69569 69571 70113 70115 73186 73397 74322 74366 74910 77981 78156 79081 79125 79669 82745 82768 83838 83840 83882 83884 84426 84428 87499 87674 88599 88643 89187 92258 92433 93358 93402 93946 97022 97045 98115 98117 98159 98161 98703 98705 101776 101951 102876 102920 103464 106535 106710 107635 107679 108223 111299 111322 112392 112394 112436 112438 112980 112982 116053 116228 117153 117197 117741 120812 120987 121912 121956 122500 125576 125599 126669 126671 126713 126715 127257 127259 130330 130505 131430 131474 132018 135089 135264 136189 136233 136777 139853 139876 140946 140948 140990 140992 141534 141536 144607 144782 145707 145751 146295 149366 149541 150466 150510 151054 154130 154153 155223 155225 155267 155269 155811 155813 158884 159059 159984 160028 160572 163643 163818 164743 164787 165331 168407 168430 169500 169502 169544 169546 170088 170090 173161 173336 174261 174305 174849 177920 178095 179020 179064 179608 182684 182707 183777 183779 183821 183823 184365 184367 187438 187613 188538 188582 189126 192197 192372 193297 193341 193885 196961 196984 198054 198056 198098 198100 198642 198644 201715 201890 202815 202859 203403 206474 206649 207574 207618 208162 211238 211261 212331 212333 212375 212377 212919 212921 215992 216167 217092 217136 217680 220751 220926 221851 221895 222439 225515 225538 226608 226610 226652 226654 227196 227198 230269 230444 231369 231413 231957 235028 235203 236128 236172 236716 239792 239815 240885 240887 240929 240931 241473 241475 244546 244721 245646 245690 246234 249305 249480 250405 250449 250993 254069 254092 255162 255164 255206 255208 255750 255752 258823 258998 259923 259967 260511 263582 263757 264682 264726 265270 268346 268369 269439 269441 269483 269485 270027 270029 273100 273275 274200 274244 274788 277859 278034 278959 279003 279547 282623 282646 283716 283718 283760 283762 284304 284306 287377 287552 288477 288521 289065 292136 292311 293236 293280 293824 296900 296923 297993 297995 298037 298039 298581 298583 301654 301829 302754 302798 303342 306413 306588 307513 307557 308101 311177 311200 312270 312272 312314 312316 312858 312860 315931 316106 317031 317075 317619 320690 320865 321790 321834 322378 325454 325477 326547 326549 326591 326593 327135 327137 330208 330383 331308 331352 331896 334967 335142 336067 336111 336655 339731 339754 340824 340826 340868 340870 341412 341414 344485 344660 345585 345629 346173 349244 349419 350344 350388 350932 354008 354031 355101 355103 355145 355147 355689 355691 358762 358937 359862 359906 360450 363521 363696 364621 364665 365209 368285 368308 369378 369380 369422 369424 369966 369968 373039 373214 374139 374183 374727 377798 377973 378898 378942 379486 382562 382585 383655 383657 383699 383701 384243 384245 387316 387491 388416 388460 389004 392075 392250 393175 393219 393763 396839 396862 397932 397934 397976 397978 398520 398522 401593 401768 402693 402737 403281 406352 406527 407452 407496 408040 411116 411139 412209 412211 412253 412255 412797 412799 415870 416045 416970 417014 417558 420629 420804 421729 421773 422317 425393 425416 426486 426488 426530 426532 427074 427076 430147 430322 431247 431291 431835 434906 435081 436006 436050 436594 439670 439693 440763 440765 440807 440809 441351 441353 444424 444599 445524 445568 446112 449183 449358 450283 450327 450871 453947 453970 455040 455042 455084 455086 455628 455630 458701 458876 459801 459845 460389 463460 463671 464596 464640 465184 468296 468319 469389 469391 469433 469435 469977 469979 473050 473261 474186 474230 474774 477845 478056 478981 479025 479569 482645 482668 483738 483740 483782 483784 484326 484328 487399 487574 488499 488543 489087 492158 492333 493258 493302 493846 496922 498015 498017 498059 498061 501676 501851 502776 502820 506435 506610 507535 507579 511194 511222 511223 511224 511225 511227 511228 511229 511370 511552 515953 516128 516313 520712 520850 521035 525511 530199 537554 537684 540750 562818 562948 565990 565996 566001 566003 566006 566009 566014 566019 566023 566164 566244 566273 566338 566420 566455 575936 575939 576170 576173 576300 576303 699532 699662 702728 833637 833640 836246 836376 839418 839433 839437 839442 839447 839451 839592 839672 839701 839766 839848 839883 849364 849367 849598 849601 849728 849731 970351 970354 972963 973093 976159 1109674 1109804 1112870 1243779 1243782 1246388 1246518 1249560 1249566 1249571 1249573 1249576 1249579 1249584 1249589 1249593 1249734 1249814 1249843 1249908 1249990 1250025 1259506 1259509 1259740 1259743 1259870 1259873 1320380 1380493 1380496 1383105 1383235 1386301 1519816 1519946 1523012 1653921 1653924 1656530 1656660 1659702 1659708 1659713 1659715 1659718 1659721 1659726 1659731 1659735 1659876 1659956 1659985 1660050 1660132 1660167 1669648 1669651 1669882 1669885 1670012 1670015 1730522 1790635 1790638 1793247 1793377 1796443 1929958 1930088 1933154 2064063 2064066 2066672 2066802 2069844 2069850 2069855 2069857 2069860 2069863 2069868 2069873 2069877 2070018 2070098 2070127 2070192 2070274 2070309 2079790 2079793 2080024 2080027 2080154 2080157 2140664 2200777 2200780 2203389 2203519 2206585 2340100 2340230 2343296 2474205 2474208 2476814 2476944 2479986 2479992 2479997 2479999 2480002 2480005 2480010 2480015 2480019 2480160 2480240 2480269 2480334 2480416 2480451 2489932 2489935 2490166 2490169 2490296 2490299 2550806 2610919 2610922 2613531 2613661 2616727 2750242 2750372 2753438 2884347 2884350 2886956 2887086 2890128 2890134 2890139 2890141 2890144 2890147 2890152 2890157 2890161 2890302 2890382 2890411 2890476 2890558 2890593 2900074 2900077 2900308 2900311 2900438 2900441 2960948 3021061 3021064 3023673 3023803 3026869 3160384 3160514 3163580 3294489 3294492 3297098 3297228 3300270 3300276 3300281 3300283 3300286 3300289 3300294 3300299 3300303 3300444 3300524 3300553 3300618 3300700 3300735 3310216 3310219 3310450 3310453 3310580 3310583 3371090 3431203 3431206 3433815 3433945 3437011 3570526 3570656 3573722 3704631 3704634 3707240 3707370 3710412 3710418 3710423 3710425 3710428 3710431 3710436 3710441 3710445 3710586 3710666 3710695 3710760 3710842 3710877 3720358 3720361 3720592 3720595 3720722 3720725 3781232 3841345 3841348 3843957 3844087 3847153 3980668 3980798 3983864 4114773 4114776 4117382 4117512 4120554 4120560 4120565 4120567 4120570 4120573 4120578 4120583 4120587 4120728 4120808 4120837 4120902 4120984 4121019 4130500 4130503 4130734 4130737 4130864 4130867 4191374 4251487 4251490 4254099 4254229 4257295 4390810 4390940 4394006 4524915 4524918 4527524 4527654 4530696 4530702 4530707 4530709 4530712 4530715 4530720 4530725 4530729 4530870 4530950 4530979 4531044 4531126 4531161 4540642 4540645 4540876 4540879 4541006 4541009 4601516 4661629 4661632 4664241 4664371 4667437 4800952 4801082 4804148 4935057 4935060 4937666 4937796 4940838 4940844 4940849 4940851 4940854 4940857 4940862 4940867 4940871 4941012 4941092 4941121 4941186 4941268 4941303 4950784 4950787 4951018 4951021 4951148 4951151 5011658 5071771 5071774 5074383 5074513 5077579 5211094 5211224 5214290 5345199 5345202 5347808 5347938 5350980 5350986 5350991 5350993 5350996 5350999 5351004 5351009 5351013 5351154 5351234 5351263 5351328 5351410 5351445 5360926 5360929 5361160 5361163 5361290 5361293 5421800 5481913 5481916 5484525 5484655 5487721 5621236 5621366 5624432 5755341 5755344 5757950 5758080 5761122 5761128 5761133 5761135 5761138 5761141 5761146 5761151 5761155 5761296 5761376 5761405 5761470 5761552 5761587 5771068 5771071 5771302 5771305 5771432 5771435 5831942 5892055 5892058 5894667 5894797 5897863 6031378 6031508 6034574 6165483 6165486 6168092 6168222 6171264 6171270 6171275 6171277 6171280 6171283 6171288 6171293 6171297 6171438 6171518 6171547 6171612 6171694 6171729 6181210 6181213 6181444 6181447 6181574 6181577 6242084 6302197 6302200 6304809 6304939 6308005 6441520 6441650 6444716 6575625 6575628 6578234 6578364 6581406 6581412 6581417 6581419 6581422 6581425 6581430 6581435 6581439 6581580 6581660 6581689 6581754 6581836 6581871 6591352 6591355 6591586 6591589 6591716 6591719 6652226 6712339 6712342 6714951 6715081 6718147 6851662 6851792 6854858 6985767 6985770 6988376 6988506 6991548 6991554 6991559 6991561 6991564 6991567 6991572 6991577 6991581 6991722 6991802 6991831 6991896 6991978 6992013 7001494 7001497 7001728 7001731 7001858 7001861 7062368 7122481 7122484 7125093 7125223 7128289 7261804 7261934 7265000 7395909 7395912 7398518 7398648 7401690 7401696 7401701 7401703 7401706 7401709 7401714 7401719 7401723 7401864 7401944 7401973 7402038 7402120 7402155 7411636 7411639 7411870 7411873 7412000 7412003 7472510 7532623 7532626 7535235 7535365 7538431 7671946 7672076 7675142 7806051 7806054 7808660 7808790 7811832 7811838 7811843 7811845 7811848 7811851 7811856 7811861 7811865 7812006 7812086 7812115 7812180 7812262 7812297 7821778 7821781 7822012 7822015 7822142 7822145 7882652 7942765 7942768 7945377 7945507 7948573 8082088 8082218 8085284 8216193 8216196 8267527 8327640 8327643 8330252 8330382 8333448 8466963 8467093 8470159 8601068 8601071 8603677 8603807 8606849 8606855 8606860 8606862 8606865 8606868 8606873 8606878 8606882 8607023 8607103 8607132 8607197 8607279 8607314 8616795 8616798 8617029 8617032 8617159 8617162 8677669 8737782 8737785 8740394 8740524 8743590 8877105 8877235 8880301 9011210 9011213 9013819 9013949 9016991 9016997 9017002 9017004 9017007 9017010 9017015 9017020 9017024 9017165 9017245 9017274 9017339 9017421 9017456 9026937 9026940 9027171 9027174 9027301 9027304 9087811 9147924 9147927 9150536 9150666 9153732 9287247 9287377 9290443 9421352 9421355 9423961 9424091 9427133 9427139 9427144 9427146 9427149 9427152 9427157 9427162 9427166 9427307 9427387 9427416 9427481 9427563 9427598 9437079 9437082 9437313 9437316 9437443 9437446 9497953 9558066 9558069 9560678 9560808 9563874 9697389 9697519 9700585 9831494 9831497 9834103 9834233 9837275 9837281 9837286 9837288 9837291 9837294 9837299 9837304 9837308 9837449 9837529 9837558 9837623 9837705 9837740 9847221 9847224 9847455 9847458 9847585 9847588 9908095 9968208 9968211 9970820 9970950 9974016 10107531 10107661 10110727 10241636 10241639 10244245 10244375 10247417 10247423 10247428 10247430 10247433 10247436 10247441 10247446 10247450 10247591 10247671 10247700 10247765 10247847 10247882 10257363 10257366 10257597 10257600 10257727 10257730 10318237 10378350 10378353 10380962 10381092 10384158 10517673 10517803 10520869 10651778 10651781 10654387 10654517 10657559 10657565 10657570 10657572 10657575 10657578 10657583 10657588 10657592 10657733 10657813 10657842 10657907 10657989 10658024 10667505 10667508 10667739 10667742 10667869 10667872 10728379 10788492 10788495 10791104 10791234 10794300 10927815 10927945 10931011 11061920 11061923 11064529 11064659 11067701 11067707 11067712 11067714 11067717 11067720 11067725 11067730 11067734 11067875 11067955 11067984 11068049 11068131 11068166 11077647 11077650 11077881 11077884 11078011 11078014 11138521 11198634 11198637 11201246 11201376 11204442 11337957 11338087 11341153 11472062 11472065 11474671 11474801 11477843 11477849 11477854 11477856 11477859 11477862 11477867 11477872 11477876 11478017 11478097 11478126 11478191 11478273 11478308 11487789 11487792 11488023 11488026 11488153 11488156 11548663 11608776 11608779 11611388 11611518 11614584 11748099 11748229 11751295 11882204 11882207 11884813 11884943 11887985 11887991 11887996 11887998 11888001 11888004 11888009 11888014 11888018 11888159 11888239 11888268 11888333 11888415 11888450 11897931 11897934 11898165 11898168 11898295 11898298 11958805 12018918 12018921 12021530 12021660 12024726 12158241 12158371 12161437 12292346 12292349 12294955 12295085 12298127 12298133 12298138 12298140 12298143 12298146 12298151 12298156 12298160 12298301 12298381 12298410 12298475 12298557 12298592 12308073 12308076 12308307 12308310 12308437 12308440 12368947 12429060 12429063 12431672 12431802 12434868 12568383 12568513 12571579 12702488 12702491 12705097 12705227 12708269 12708275 12708280 12708282 12708285 12708288 12708293 12708298 12708302 12708443 12708523 12708552 12708617 12708699 12708734 12718215 12718218 12718449 12718452 12718579 12718582 12779089 12839202 12839205 12841814 12841944 12845010 12978525 12978655 12981721 13112630 13112633 13115239 13115369 13118411 13118417 13118422 13118424 13118427 13118430 13118435 13118440 13118444 13118585 13118665 13118694 13118759 13118841 13118876 13128357 13128360 13128591 13128594 13128721 13128724 13189231 13249344 13249347 13251956 13252086 13255152 13388667 13388797 13391863 13522772 13522775 13525381 13525511 13528553 13528559 13528564 13528566 13528569 13528572 13528577 13528582 13528586 13528727 13528807 13528836 13528901 13528983 13529018 13538499 13538502 13538733 13538736 13538863 13538866 13599373 13659486 13659489 13662098 13662228 13665294 13798809 13798939 13802005 13932914 13932917 13935523 13935653 13938695 13938701 13938706 13938708 13938711 13938714 13938719 13938724 13938728 13938869 13938949 13938978 13939043 13939125 13939160 13948641 13948644 13948875 13948878 13949005 13949008 14009515 14069628 14069631 14072240 14072370 14075436 14208951 14209081 14212147 14343056 14343059 14345665 14345795 14348837 14348843 14348848 14348850 14348853 14348856 14348861 14348866 14348870 14349011 14349091 14349120 14349185 14349267 14349302 14358783 14358786 14359017 14359020 14359147 14359150 14419657 14479770 14479773 14482382 14482512 14485578 14619093 14619223 14622289 14753198 14753201 14755807 14755937 14759003 14759153 14759233 14759262 14759327 14759409 14759444 14769159 14769162 14769289 14769292 14889912 14889915 14892524 14892654 15029235 15029365 15163340 15163343 15165758 15165947 15165949 15166077 15166079 15166151 15166277 15169015 15231741 15231793 15232151 15232155 15232231 15232468 15232471 15239593 15239602 15239623 15239671 15298765 15300054 15300057 15300839 15436769 15436772 15437551 15573482 15573485 15574265 15710196 15710199 0
704.50/704.56	s UNSATISFIABLE

OK	1871

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

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 3.95 3.97 3.57 6/189 17033
/proc/meminfo: memFree=23477168/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=27212 CPUtime=0 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 1087 0 0 0 0 0 0 0 25 0 1 0 892074675 27865088 1030 33554432000 4194304 4337479 140735649739824 18446744073709551615 4319585 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 6803 1036 215 35 0 3426 0

[startup+0.052975 s]
/proc/loadavg: 3.95 3.97 3.57 6/189 17033
/proc/meminfo: memFree=23477168/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=55360 CPUtime=0.04 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 7417 0 0 0 3 1 0 0 25 0 1 0 892074675 56688640 7285 33554432000 4194304 4337479 140735649739824 18446744073709551615 4319585 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 13840 7297 220 35 0 10463 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 55360

[startup+0.100969 s]
/proc/loadavg: 3.95 3.97 3.57 6/189 17033
/proc/meminfo: memFree=23477168/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=94252 CPUtime=0.09 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 13644 0 0 0 7 2 0 0 25 0 1 0 892074675 96514048 13448 33554432000 4194304 4337479 140735649739824 18446744073709551615 218370618053 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 23563 13451 220 35 0 20186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 94252

[startup+0.300931 s]
/proc/loadavg: 3.95 3.97 3.57 6/189 17033
/proc/meminfo: memFree=23477168/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=188104 CPUtime=0.29 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 40014 0 0 0 22 7 0 0 25 0 1 0 892074675 192618496 39419 33554432000 4194304 4337479 140735649739824 18446744073709551615 4242465 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 47026 39423 220 35 0 43649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 188104

[startup+0.700857 s]
/proc/loadavg: 3.95 3.97 3.57 6/189 17033
/proc/meminfo: memFree=23477168/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=501300 CPUtime=0.69 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 91657 0 0 0 55 14 0 0 25 0 1 0 892074675 513331200 90348 33554432000 4194304 4337479 140735649739824 18446744073709551615 4319585 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 125325 90355 220 35 0 121948 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 501300

[startup+1.50072 s]
/proc/loadavg: 3.95 3.97 3.57 5/190 17034
/proc/meminfo: memFree=22969336/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=675320 CPUtime=1.48 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 150861 0 0 0 125 23 0 0 25 0 1 0 892074675 691527680 146254 33554432000 4194304 4337479 140735649739824 18446744073709551615 218370618053 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 168830 146260 220 35 0 165453 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 675320

[startup+3.10046 s]
/proc/loadavg: 3.95 3.97 3.57 5/190 17034
/proc/meminfo: memFree=22789784/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=986032 CPUtime=3.09 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 226178 0 0 0 274 35 0 0 25 0 1 0 892074675 1009696768 211093 33554432000 4194304 4337479 140735649739824 18446744073709551615 218370618053 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 246508 211097 220 35 0 243131 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 986032

[startup+6.3009 s]
/proc/loadavg: 4.04 3.99 3.57 5/190 17034
/proc/meminfo: memFree=22265920/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=1503588 CPUtime=6.29 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 371174 0 0 0 572 57 0 0 25 0 1 0 892074675 1539674112 336837 33554432000 4194304 4337479 140735649739824 18446744073709551615 218370618053 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 375897 336838 220 35 0 372520 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1503588

[startup+12.7008 s]
/proc/loadavg: 4.03 3.99 3.58 5/190 17034
/proc/meminfo: memFree=21294008/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2746456 CPUtime=12.69 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 592053 0 0 0 1171 98 0 0 25 0 1 0 892074675 2812370944 540181 33554432000 4194304 4337479 140735649739824 18446744073709551615 4222569 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 686614 540181 226 35 0 683237 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2746456

[startup+25.5005 s]
/proc/loadavg: 3.95 3.97 3.58 5/190 17149
/proc/meminfo: memFree=26493028/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2567764 CPUtime=25.49 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 994315 0 0 0 2396 153 0 0 25 0 1 0 892074675 2629390336 525513 33554432000 4194304 4337479 140735649739824 18446744073709551615 4302992 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 641941 525513 257 35 0 638564 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2567764

[startup+51.101 s]
/proc/loadavg: 3.97 3.97 3.59 5/190 17150
/proc/meminfo: memFree=26616112/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=51.09 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 4954 155 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4282037 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2244396

[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.61 5/190 17189
/proc/meminfo: memFree=26612916/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=102.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 10075 155 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4281716 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2244396

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.63 5/190 17191
/proc/meminfo: memFree=26515028/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=162.29 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 16074 155 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4303040 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2244396

[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.65 5/190 17193
/proc/meminfo: memFree=26408816/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=222.29 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 22074 155 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4310046 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 2244396

[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.67 5/190 17194
/proc/meminfo: memFree=26331120/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=282.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 28074 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 2244396

[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.68 5/190 17196
/proc/meminfo: memFree=26282232/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=342.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 34074 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4281716 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2244396

[startup+402.301 s]
/proc/loadavg: 3.91 3.96 3.70 3/178 17245
/proc/meminfo: memFree=26578604/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=402.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 40074 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2244396

[startup+462.301 s]
/proc/loadavg: 2.70 3.60 3.59 3/178 17247
/proc/meminfo: memFree=26500268/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=462.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 46074 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4282037 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2244396

[startup+522.3 s]
/proc/loadavg: 2.03 3.25 3.47 2/172 17274
/proc/meminfo: memFree=29351252/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=522.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 52074 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4278624 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2244396

[startup+582.301 s]
/proc/loadavg: 1.44 2.86 3.32 2/172 17275
/proc/meminfo: memFree=29350764/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=582.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 58074 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4309775 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2244396

[startup+642.301 s]
/proc/loadavg: 1.15 2.49 3.16 2/172 17277
/proc/meminfo: memFree=29351652/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=642.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 64074 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4281733 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 2244396

[startup+702.301 s]
/proc/loadavg: 1.06 2.24 3.03 2/172 17278
/proc/meminfo: memFree=29351484/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=702.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 70074 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4281720 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 2244396

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

[startup+703.9 s]
/proc/loadavg: 1.05 2.22 3.02 2/172 17278
/proc/meminfo: memFree=29351604/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=703.91 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 70235 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4303335 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 703.91
Current children cumulated vsize (KiB) 2244396

[startup+704.301 s]
/proc/loadavg: 1.05 2.22 3.02 2/172 17278
/proc/meminfo: memFree=29351604/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=704.3 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 70274 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4309775 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 704.3
Current children cumulated vsize (KiB) 2244396

[startup+704.501 s]
/proc/loadavg: 1.05 2.22 3.02 2/172 17278
/proc/meminfo: memFree=29351604/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=2244396 CPUtime=704.5 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202496 998641 0 0 0 70294 156 0 0 25 0 1 0 892074675 2298261504 467047 33554432000 4194304 4337479 140735649739824 18446744073709551615 4278956 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/17033/statm: 561099 467047 257 35 0 557722 0
Current children cumulated CPU time (s) 704.5
Current children cumulated vsize (KiB) 2244396

[startup+704.601 s]
/proc/loadavg: 1.05 2.22 3.02 2/172 17278
/proc/meminfo: memFree=29351604/32951124 swapFree=67050780/67111528
[pid=17033] ppid=17031 vsize=0 CPUtime=704.6 cores=0,2
/proc/17033/stat : 17033 (hmuc) R 17031 17033 16237 0 -1 4202500 998642 0 0 0 70300 160 0 0 25 0 1 0 892074675 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 0 0 0 0
/proc/17033/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 704.6
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 704.668
CPU time (s): 704.682
CPU user time (s): 703.007
CPU system time (s): 1.67474
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3358136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 703.007
system time used= 1.67474
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 998642
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= 6
involuntary context switches= 1619

runsolver used 1.15582 second user time and 2.44063 second system time

The end

Begin job on node101 at 2011-06-11 17:05:19
IDJOB=3494693
IDBENCH=89400
IDSOLVER=1985
FILE ID=node101/3494693-1307804705
RUNJOBID= node101-1307802577-16255
PBS_JOBID= 13551075
Free space on /tmp= 73696 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/design-debugging/mem_ctrl-problem.dimacs_27.filtered.cnf
COMMAND LINE= HOME/hmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494693-1307804705/watcher-3494693-1307804705 -o /tmp/evaluation-result-3494693-1307804705/solver-3494693-1307804705 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494693-1307804705.cnf

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

MD5SUM BENCH= 4b993fca24742a81386ba9f15497440e
RANDOM SEED=497299241

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23477852 kB
Buffers:        230392 kB
Cached:        1310180 kB
SwapCached:      27776 kB
Active:        8377016 kB
Inactive:       884644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23477852 kB
SwapTotal:    67111528 kB
SwapFree:     67050780 kB
Dirty:          382028 kB
Writeback:           0 kB
AnonPages:     7715524 kB
Mapped:           9664 kB
Slab:           130664 kB
PageTables:      20840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  8545340 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= 73748 MiB
End job on node101 at 2011-06-11 17:17:04