Trace number 3494628

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Haifa-MUC 2011-04-07UNSAT 174.737 174.75

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_28491_12.cnf_0.50000000.unsat.cnf
MD5SUM8a99c37c402a16b139225a27ef380c76
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.88541
Satisfiable
(Un)Satisfiability was proved
Number of variables1042230
Number of clauses3051508
Sum of the clauses size7083729
Maximum clause length3
Minimum clause length1
Number of clauses of size 11782
Number of clauses of size 22067231
Number of clauses of size 3982495
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

11.29/11.36	c WARNING: for repeatability, setting FPU to use double precision
11.29/11.36	c iter 1 time 3.35649 not-muc 3049693 unknown 1815 muc 0
11.29/11.36	c iter 2 time 5.41318 not-muc 3049693 unknown 1814 muc 1
11.29/11.36	c iter 3 time 5.49416 not-muc 3049693 unknown 1813 muc 2
11.29/11.36	c iter 4 time 5.57515 not-muc 3049693 unknown 1812 muc 3
11.29/11.36	c iter 5 time 5.66214 not-muc 3049693 unknown 1811 muc 4
11.29/11.36	c iter 6 time 5.74313 not-muc 3049693 unknown 1810 muc 5
11.29/11.36	c iter 7 time 5.82411 not-muc 3049693 unknown 1809 muc 6
11.29/11.36	c iter 8 time 5.9061 not-muc 3049693 unknown 1808 muc 7
11.29/11.36	c iter 9 time 6.04908 not-muc 3049693 unknown 1807 muc 8
11.29/11.36	c iter 10 time 6.13107 not-muc 3049693 unknown 1806 muc 9
11.29/11.36	c iter 11 time 6.22805 not-muc 3049693 unknown 1805 muc 10
11.29/11.36	c iter 12 time 6.30804 not-muc 3049693 unknown 1804 muc 11
11.29/11.36	c iter 13 time 6.38803 not-muc 3049693 unknown 1803 muc 12
11.29/11.36	c iter 14 time 6.46802 not-muc 3049693 unknown 1802 muc 13
11.29/11.36	c iter 15 time 6.549 not-muc 3049693 unknown 1801 muc 14
11.29/11.36	c iter 16 time 6.62899 not-muc 3049693 unknown 1800 muc 15
11.29/11.36	c iter 17 time 6.70898 not-muc 3049693 unknown 1799 muc 16
11.29/11.36	c iter 18 time 6.80396 not-muc 3049693 unknown 1798 muc 17
11.29/11.36	c iter 19 time 6.88395 not-muc 3049693 unknown 1797 muc 18
11.29/11.36	c iter 20 time 6.96494 not-muc 3049693 unknown 1796 muc 19
11.29/11.36	c iter 21 time 7.04693 not-muc 3049693 unknown 1795 muc 20
11.29/11.36	c iter 22 time 7.12592 not-muc 3049693 unknown 1794 muc 21
11.29/11.36	c iter 23 time 7.2049 not-muc 3049693 unknown 1793 muc 22
11.29/11.36	c iter 24 time 7.28489 not-muc 3049693 unknown 1792 muc 23
11.29/11.36	c iter 25 time 7.38088 not-muc 3049693 unknown 1791 muc 24
11.29/11.36	c iter 26 time 7.46087 not-muc 3049693 unknown 1790 muc 25
11.29/11.36	c iter 27 time 7.54085 not-muc 3049693 unknown 1789 muc 26
11.29/11.36	c iter 28 time 7.62084 not-muc 3049693 unknown 1788 muc 27
11.29/11.36	c iter 29 time 7.70083 not-muc 3049693 unknown 1787 muc 28
11.29/11.36	c iter 30 time 7.78182 not-muc 3049693 unknown 1786 muc 29
11.29/11.36	c iter 31 time 7.8618 not-muc 3049693 unknown 1785 muc 30
11.29/11.36	c iter 32 time 7.94279 not-muc 3049693 unknown 1784 muc 31
11.29/11.36	c iter 33 time 8.02278 not-muc 3049693 unknown 1783 muc 32
11.29/11.36	c iter 34 time 8.11777 not-muc 3049693 unknown 1782 muc 33
11.29/11.36	c iter 35 time 8.19875 not-muc 3049693 unknown 1781 muc 34
11.29/11.36	c iter 36 time 8.27874 not-muc 3049693 unknown 1780 muc 35
11.29/11.36	c iter 37 time 8.35973 not-muc 3049693 unknown 1779 muc 36
11.29/11.36	c iter 38 time 8.43972 not-muc 3049693 unknown 1778 muc 37
11.29/11.36	c iter 39 time 8.5347 not-muc 3049693 unknown 1777 muc 38
11.29/11.36	c iter 40 time 8.61569 not-muc 3049693 unknown 1776 muc 39
11.29/11.36	c iter 41 time 8.69668 not-muc 3049693 unknown 1775 muc 40
11.29/11.36	c iter 42 time 8.77767 not-muc 3049693 unknown 1774 muc 41
11.29/11.36	c iter 43 time 8.85865 not-muc 3049693 unknown 1773 muc 42
11.29/11.36	c iter 44 time 8.95464 not-muc 3049693 unknown 1772 muc 43
11.29/11.36	c iter 45 time 9.03463 not-muc 3049693 unknown 1771 muc 44
11.29/11.36	c iter 46 time 9.11561 not-muc 3049693 unknown 1770 muc 45
11.29/11.36	c iter 47 time 9.1966 not-muc 3049693 unknown 1769 muc 46
11.29/11.36	c iter 48 time 9.27659 not-muc 3049693 unknown 1768 muc 47
11.29/11.36	c iter 49 time 9.37358 not-muc 3049693 unknown 1767 muc 48
11.29/11.36	c iter 50 time 9.45356 not-muc 3049693 unknown 1766 muc 49
11.29/11.36	c iter 51 time 9.53455 not-muc 3049693 unknown 1765 muc 50
11.29/11.36	c iter 52 time 9.61554 not-muc 3049693 unknown 1764 muc 51
11.29/11.36	c iter 53 time 9.69652 not-muc 3049693 unknown 1763 muc 52
11.29/11.36	c iter 54 time 9.79251 not-muc 3049693 unknown 1762 muc 53
11.29/11.36	c iter 55 time 9.8735 not-muc 3049693 unknown 1761 muc 54
11.29/11.36	c iter 56 time 9.95449 not-muc 3049693 unknown 1760 muc 55
11.29/11.36	c iter 57 time 10.0345 not-muc 3049693 unknown 1759 muc 56
11.29/11.36	c iter 58 time 10.1155 not-muc 3049693 unknown 1758 muc 57
11.29/11.36	c iter 59 time 10.2114 not-muc 3049693 unknown 1757 muc 58
11.29/11.36	c iter 60 time 10.2924 not-muc 3049693 unknown 1756 muc 59
11.29/11.36	c iter 61 time 10.3724 not-muc 3049693 unknown 1755 muc 60
11.29/11.36	c iter 62 time 10.4534 not-muc 3049693 unknown 1754 muc 61
11.29/11.36	c iter 63 time 10.5344 not-muc 3049693 unknown 1753 muc 62
11.29/11.36	c iter 64 time 10.6294 not-muc 3049693 unknown 1752 muc 63
11.29/11.36	c iter 65 time 10.7104 not-muc 3049693 unknown 1751 muc 64
11.29/11.36	c iter 66 time 10.7914 not-muc 3049693 unknown 1750 muc 65
11.29/11.36	c iter 67 time 10.8723 not-muc 3049693 unknown 1749 muc 66
11.29/11.36	c iter 68 time 10.9533 not-muc 3049693 unknown 1748 muc 67
11.29/11.36	c iter 69 time 11.0483 not-muc 3049693 unknown 1747 muc 68
17.29/17.33	c iter 70 time 11.1293 not-muc 3049693 unknown 1746 muc 69
17.29/17.33	c iter 71 time 11.2103 not-muc 3049693 unknown 1745 muc 70
17.29/17.33	c iter 72 time 11.2903 not-muc 3049693 unknown 1744 muc 71
17.29/17.33	c iter 73 time 11.3713 not-muc 3049693 unknown 1743 muc 72
17.29/17.33	c iter 74 time 11.4673 not-muc 3049693 unknown 1742 muc 73
17.29/17.33	c iter 75 time 11.5482 not-muc 3049693 unknown 1741 muc 74
17.29/17.33	c iter 76 time 11.6282 not-muc 3049693 unknown 1740 muc 75
17.29/17.33	c iter 77 time 11.7092 not-muc 3049693 unknown 1739 muc 76
17.29/17.33	c iter 78 time 11.7902 not-muc 3049693 unknown 1738 muc 77
17.29/17.33	c iter 79 time 11.8862 not-muc 3049693 unknown 1737 muc 78
17.29/17.33	c iter 80 time 11.9662 not-muc 3049693 unknown 1736 muc 79
17.29/17.33	c iter 81 time 12.0472 not-muc 3049693 unknown 1735 muc 80
17.29/17.33	c iter 82 time 12.1282 not-muc 3049693 unknown 1734 muc 81
17.29/17.33	c iter 83 time 12.2091 not-muc 3049693 unknown 1733 muc 82
17.29/17.33	c iter 84 time 12.3041 not-muc 3049693 unknown 1732 muc 83
17.29/17.33	c iter 85 time 12.3851 not-muc 3049693 unknown 1731 muc 84
17.29/17.33	c iter 86 time 12.4661 not-muc 3049693 unknown 1730 muc 85
17.29/17.33	c iter 87 time 12.5461 not-muc 3049693 unknown 1729 muc 86
17.29/17.33	c iter 88 time 12.6271 not-muc 3049693 unknown 1728 muc 87
17.29/17.33	c iter 89 time 12.7271 not-muc 3049693 unknown 1727 muc 88
17.29/17.33	c iter 90 time 12.8231 not-muc 3049693 unknown 1726 muc 89
17.29/17.33	c iter 91 time 12.919 not-muc 3049693 unknown 1725 muc 90
17.29/17.33	c iter 92 time 13.015 not-muc 3049693 unknown 1724 muc 91
17.29/17.33	c iter 93 time 13.111 not-muc 3049693 unknown 1723 muc 92
17.29/17.33	c iter 94 time 13.207 not-muc 3049693 unknown 1722 muc 93
17.29/17.33	c iter 95 time 13.303 not-muc 3049693 unknown 1721 muc 94
17.29/17.33	c iter 96 time 13.399 not-muc 3049693 unknown 1720 muc 95
17.29/17.33	c iter 97 time 13.4949 not-muc 3049693 unknown 1719 muc 96
17.29/17.33	c iter 98 time 13.5909 not-muc 3049693 unknown 1718 muc 97
17.29/17.33	c iter 99 time 13.6869 not-muc 3049693 unknown 1717 muc 98
17.29/17.33	c iter 100 time 13.7829 not-muc 3049693 unknown 1716 muc 99
17.29/17.33	c iter 101 time 13.8829 not-muc 3049693 unknown 1715 muc 100
17.29/17.33	c iter 102 time 13.9799 not-muc 3049693 unknown 1714 muc 101
17.29/17.33	c iter 103 time 14.0619 not-muc 3049693 unknown 1713 muc 102
17.29/17.33	c iter 104 time 14.1438 not-muc 3049693 unknown 1712 muc 103
17.29/17.33	c iter 105 time 14.2248 not-muc 3049693 unknown 1711 muc 104
17.29/17.33	c iter 106 time 14.3068 not-muc 3049693 unknown 1710 muc 105
17.29/17.33	c iter 107 time 14.3888 not-muc 3049693 unknown 1709 muc 106
17.29/17.33	c iter 108 time 14.4708 not-muc 3049693 unknown 1708 muc 107
17.29/17.33	c iter 109 time 14.5678 not-muc 3049693 unknown 1707 muc 108
17.29/17.33	c iter 110 time 14.6498 not-muc 3049693 unknown 1706 muc 109
17.29/17.33	c iter 111 time 14.7318 not-muc 3049693 unknown 1705 muc 110
17.29/17.33	c iter 112 time 14.8137 not-muc 3049693 unknown 1704 muc 111
17.29/17.33	c iter 113 time 14.8957 not-muc 3049693 unknown 1703 muc 112
17.29/17.33	c iter 114 time 14.9927 not-muc 3049693 unknown 1702 muc 113
17.29/17.33	c iter 115 time 15.0737 not-muc 3049693 unknown 1701 muc 114
17.29/17.33	c iter 116 time 15.1557 not-muc 3049693 unknown 1700 muc 115
17.29/17.33	c iter 117 time 15.2377 not-muc 3049693 unknown 1699 muc 116
17.29/17.33	c iter 118 time 15.3197 not-muc 3049693 unknown 1698 muc 117
17.29/17.33	c iter 119 time 15.4167 not-muc 3049693 unknown 1697 muc 118
17.29/17.33	c iter 120 time 15.4986 not-muc 3049693 unknown 1696 muc 119
17.29/17.33	c iter 121 time 15.5806 not-muc 3049693 unknown 1695 muc 120
17.29/17.33	c iter 122 time 15.6626 not-muc 3049693 unknown 1694 muc 121
17.29/17.33	c iter 123 time 15.7446 not-muc 3049693 unknown 1693 muc 122
17.29/17.33	c iter 124 time 15.8416 not-muc 3049693 unknown 1692 muc 123
17.29/17.33	c iter 125 time 15.9226 not-muc 3049693 unknown 1691 muc 124
17.29/17.33	c iter 126 time 16.0046 not-muc 3049693 unknown 1690 muc 125
17.29/17.33	c iter 127 time 16.0866 not-muc 3049693 unknown 1689 muc 126
17.29/17.33	c iter 128 time 16.1685 not-muc 3049693 unknown 1688 muc 127
17.29/17.33	c iter 129 time 16.2655 not-muc 3049693 unknown 1687 muc 128
17.29/17.33	c iter 130 time 16.3475 not-muc 3049693 unknown 1686 muc 129
17.29/17.33	c iter 131 time 16.4295 not-muc 3049693 unknown 1685 muc 130
17.29/17.33	c iter 132 time 16.5115 not-muc 3049693 unknown 1684 muc 131
17.29/17.33	c iter 133 time 16.5935 not-muc 3049693 unknown 1683 muc 132
17.29/17.33	c iter 134 time 16.6905 not-muc 3049693 unknown 1682 muc 133
17.29/17.33	c iter 135 time 16.7715 not-muc 3049693 unknown 1681 muc 134
17.29/17.33	c iter 136 time 16.8534 not-muc 3049693 unknown 1680 muc 135
17.29/17.33	c iter 137 time 16.9354 not-muc 3049693 unknown 1679 muc 136
17.29/17.33	c iter 138 time 17.0174 not-muc 3049693 unknown 1678 muc 137
22.99/23.02	c iter 139 time 17.1144 not-muc 3049693 unknown 1677 muc 138
22.99/23.02	c iter 140 time 17.1974 not-muc 3049693 unknown 1676 muc 139
22.99/23.02	c iter 141 time 17.2784 not-muc 3049693 unknown 1675 muc 140
22.99/23.02	c iter 142 time 17.3754 not-muc 3049693 unknown 1674 muc 141
22.99/23.02	c iter 143 time 17.4573 not-muc 3049693 unknown 1673 muc 142
22.99/23.02	c iter 144 time 17.5393 not-muc 3049693 unknown 1672 muc 143
22.99/23.02	c iter 145 time 17.6213 not-muc 3049693 unknown 1671 muc 144
22.99/23.02	c iter 146 time 17.7033 not-muc 3049693 unknown 1670 muc 145
22.99/23.02	c iter 147 time 17.7863 not-muc 3049693 unknown 1669 muc 146
22.99/23.02	c iter 148 time 17.8683 not-muc 3049693 unknown 1668 muc 147
22.99/23.02	c iter 149 time 17.9503 not-muc 3049693 unknown 1667 muc 148
22.99/23.02	c iter 150 time 18.0323 not-muc 3049693 unknown 1666 muc 149
22.99/23.02	c iter 151 time 18.1152 not-muc 3049693 unknown 1665 muc 150
22.99/23.02	c iter 152 time 18.1972 not-muc 3049693 unknown 1664 muc 151
22.99/23.02	c iter 153 time 18.2802 not-muc 3049693 unknown 1663 muc 152
22.99/23.02	c iter 154 time 18.3622 not-muc 3049693 unknown 1662 muc 153
22.99/23.02	c iter 155 time 18.4452 not-muc 3049693 unknown 1661 muc 154
22.99/23.02	c iter 156 time 18.5282 not-muc 3049693 unknown 1660 muc 155
22.99/23.02	c iter 157 time 18.6102 not-muc 3049693 unknown 1659 muc 156
22.99/23.02	c iter 158 time 18.6932 not-muc 3049693 unknown 1658 muc 157
22.99/23.02	c iter 159 time 18.7761 not-muc 3049693 unknown 1657 muc 158
22.99/23.02	c iter 160 time 18.8591 not-muc 3049693 unknown 1656 muc 159
22.99/23.02	c iter 161 time 18.9431 not-muc 3049693 unknown 1655 muc 160
22.99/23.02	c iter 162 time 19.0261 not-muc 3049693 unknown 1654 muc 161
22.99/23.02	c iter 163 time 19.1091 not-muc 3049693 unknown 1653 muc 162
22.99/23.02	c iter 164 time 19.1931 not-muc 3049693 unknown 1652 muc 163
22.99/23.02	c iter 165 time 19.2771 not-muc 3049693 unknown 1651 muc 164
22.99/23.02	c iter 166 time 19.3611 not-muc 3049693 unknown 1650 muc 165
22.99/23.02	c iter 167 time 19.444 not-muc 3049693 unknown 1649 muc 166
22.99/23.02	c iter 168 time 19.528 not-muc 3049693 unknown 1648 muc 167
22.99/23.02	c iter 169 time 19.612 not-muc 3049693 unknown 1647 muc 168
22.99/23.02	c iter 170 time 19.697 not-muc 3049693 unknown 1646 muc 169
22.99/23.02	c iter 171 time 19.781 not-muc 3049693 unknown 1645 muc 170
22.99/23.02	c iter 172 time 19.865 not-muc 3049693 unknown 1644 muc 171
22.99/23.02	c iter 173 time 19.949 not-muc 3049693 unknown 1643 muc 172
22.99/23.02	c iter 174 time 20.034 not-muc 3049693 unknown 1642 muc 173
22.99/23.02	c iter 175 time 20.1179 not-muc 3049693 unknown 1641 muc 174
22.99/23.02	c iter 176 time 20.2029 not-muc 3049693 unknown 1640 muc 175
22.99/23.02	c iter 177 time 20.2869 not-muc 3049693 unknown 1639 muc 176
22.99/23.02	c iter 178 time 20.3719 not-muc 3049693 unknown 1638 muc 177
22.99/23.02	c iter 179 time 20.4569 not-muc 3049693 unknown 1637 muc 178
22.99/23.02	c iter 180 time 20.5419 not-muc 3049693 unknown 1636 muc 179
22.99/23.02	c iter 181 time 20.6269 not-muc 3049693 unknown 1635 muc 180
22.99/23.02	c iter 182 time 20.7119 not-muc 3049693 unknown 1634 muc 181
22.99/23.02	c iter 183 time 20.7978 not-muc 3049693 unknown 1633 muc 182
22.99/23.02	c iter 184 time 20.8828 not-muc 3049693 unknown 1632 muc 183
22.99/23.02	c iter 185 time 20.9688 not-muc 3049693 unknown 1631 muc 184
22.99/23.02	c iter 186 time 21.0538 not-muc 3049693 unknown 1630 muc 185
22.99/23.02	c iter 187 time 21.1398 not-muc 3049693 unknown 1629 muc 186
22.99/23.02	c iter 188 time 21.2258 not-muc 3049693 unknown 1628 muc 187
22.99/23.02	c iter 189 time 21.3118 not-muc 3049693 unknown 1627 muc 188
22.99/23.02	c iter 190 time 21.3977 not-muc 3049693 unknown 1626 muc 189
22.99/23.02	c iter 191 time 21.4837 not-muc 3049693 unknown 1625 muc 190
22.99/23.02	c iter 192 time 21.5697 not-muc 3049693 unknown 1624 muc 191
22.99/23.02	c iter 193 time 21.6567 not-muc 3049693 unknown 1623 muc 192
22.99/23.02	c iter 194 time 21.7427 not-muc 3049693 unknown 1622 muc 193
22.99/23.02	c iter 195 time 21.8297 not-muc 3049693 unknown 1621 muc 194
22.99/23.02	c iter 196 time 21.9157 not-muc 3049693 unknown 1620 muc 195
22.99/23.02	c iter 197 time 22.0027 not-muc 3049693 unknown 1619 muc 196
22.99/23.02	c iter 198 time 22.0896 not-muc 3049693 unknown 1618 muc 197
22.99/23.02	c iter 199 time 22.1766 not-muc 3049693 unknown 1617 muc 198
22.99/23.02	c iter 200 time 22.2636 not-muc 3049693 unknown 1616 muc 199
22.99/23.02	c iter 201 time 22.3516 not-muc 3049693 unknown 1615 muc 200
22.99/23.02	c iter 202 time 22.4486 not-muc 3049693 unknown 1614 muc 201
22.99/23.02	c iter 203 time 22.5456 not-muc 3049693 unknown 1613 muc 202
22.99/23.02	c iter 204 time 22.6276 not-muc 3049693 unknown 1612 muc 203
22.99/23.02	c iter 205 time 22.7105 not-muc 3049693 unknown 1611 muc 204
29.19/29.23	c iter 206 time 22.7925 not-muc 3049693 unknown 1610 muc 205
29.19/29.23	c iter 207 time 22.8745 not-muc 3049693 unknown 1609 muc 206
29.19/29.23	c iter 208 time 22.9565 not-muc 3049693 unknown 1608 muc 207
29.19/29.23	c iter 209 time 23.0395 not-muc 3049693 unknown 1607 muc 208
29.19/29.23	c iter 210 time 23.1215 not-muc 3049693 unknown 1606 muc 209
29.19/29.23	c iter 211 time 23.2045 not-muc 3049693 unknown 1605 muc 210
29.19/29.23	c iter 212 time 23.2875 not-muc 3049693 unknown 1604 muc 211
29.19/29.23	c iter 213 time 23.3844 not-muc 3049693 unknown 1603 muc 212
29.19/29.23	c iter 214 time 23.4814 not-muc 3049693 unknown 1602 muc 213
29.19/29.23	c iter 215 time 23.5634 not-muc 3049693 unknown 1601 muc 214
29.19/29.23	c iter 216 time 23.6614 not-muc 3049693 unknown 1600 muc 215
29.19/29.23	c iter 217 time 23.7434 not-muc 3049693 unknown 1599 muc 216
29.19/29.23	c iter 218 time 23.8404 not-muc 3049693 unknown 1598 muc 217
29.19/29.23	c iter 219 time 23.9224 not-muc 3049693 unknown 1597 muc 218
29.19/29.23	c iter 220 time 24.0193 not-muc 3049693 unknown 1596 muc 219
29.19/29.23	c iter 221 time 24.1023 not-muc 3049693 unknown 1595 muc 220
29.19/29.23	c iter 222 time 24.1993 not-muc 3049693 unknown 1594 muc 221
29.19/29.23	c iter 223 time 24.2813 not-muc 3049693 unknown 1593 muc 222
29.19/29.23	c iter 224 time 24.3633 not-muc 3049693 unknown 1592 muc 223
29.19/29.23	c iter 225 time 24.4603 not-muc 3049693 unknown 1591 muc 224
29.19/29.23	c iter 226 time 24.5423 not-muc 3049693 unknown 1590 muc 225
29.19/29.23	c iter 227 time 24.6243 not-muc 3049693 unknown 1589 muc 226
29.19/29.23	c iter 228 time 24.7222 not-muc 3049693 unknown 1588 muc 227
29.19/29.23	c iter 229 time 24.8042 not-muc 3049693 unknown 1587 muc 228
29.19/29.23	c iter 230 time 24.8862 not-muc 3049693 unknown 1586 muc 229
29.19/29.23	c iter 231 time 24.9832 not-muc 3049693 unknown 1585 muc 230
29.19/29.23	c iter 232 time 25.0652 not-muc 3049693 unknown 1584 muc 231
29.19/29.23	c iter 233 time 25.1472 not-muc 3049693 unknown 1583 muc 232
29.19/29.23	c iter 234 time 25.2442 not-muc 3049693 unknown 1582 muc 233
29.19/29.23	c iter 235 time 25.3261 not-muc 3049693 unknown 1581 muc 234
29.19/29.23	c iter 236 time 25.4231 not-muc 3049693 unknown 1580 muc 235
29.19/29.23	c iter 237 time 25.5201 not-muc 3049693 unknown 1579 muc 236
29.19/29.23	c iter 238 time 25.6171 not-muc 3049693 unknown 1578 muc 237
29.19/29.23	c iter 239 time 25.7141 not-muc 3049693 unknown 1577 muc 238
29.19/29.23	c iter 240 time 25.8101 not-muc 3049693 unknown 1576 muc 239
29.19/29.23	c iter 241 time 25.9071 not-muc 3049693 unknown 1575 muc 240
29.19/29.23	c iter 242 time 26.005 not-muc 3049693 unknown 1574 muc 241
29.19/29.23	c iter 243 time 26.102 not-muc 3049693 unknown 1573 muc 242
29.19/29.23	c iter 244 time 26.2 not-muc 3049693 unknown 1572 muc 243
29.19/29.23	c iter 245 time 26.297 not-muc 3049693 unknown 1571 muc 244
29.19/29.23	c iter 246 time 26.395 not-muc 3049693 unknown 1570 muc 245
29.19/29.23	c iter 247 time 26.492 not-muc 3049693 unknown 1569 muc 246
29.19/29.23	c iter 248 time 26.589 not-muc 3049693 unknown 1568 muc 247
29.19/29.23	c iter 249 time 26.6869 not-muc 3049693 unknown 1567 muc 248
29.19/29.23	c iter 250 time 26.7839 not-muc 3049693 unknown 1566 muc 249
29.19/29.23	c iter 251 time 26.8819 not-muc 3049693 unknown 1565 muc 250
29.19/29.23	c iter 252 time 26.9789 not-muc 3049693 unknown 1564 muc 251
29.19/29.23	c iter 253 time 27.0759 not-muc 3049693 unknown 1563 muc 252
29.19/29.23	c iter 254 time 27.1729 not-muc 3049693 unknown 1562 muc 253
29.19/29.23	c iter 255 time 27.2719 not-muc 3049693 unknown 1561 muc 254
29.19/29.23	c iter 256 time 27.3688 not-muc 3049693 unknown 1560 muc 255
29.19/29.23	c iter 257 time 27.4668 not-muc 3049693 unknown 1559 muc 256
29.19/29.23	c iter 258 time 27.5648 not-muc 3049693 unknown 1558 muc 257
29.19/29.23	c iter 259 time 27.6628 not-muc 3049693 unknown 1557 muc 258
29.19/29.23	c iter 260 time 27.7608 not-muc 3049693 unknown 1556 muc 259
29.19/29.23	c iter 261 time 27.8578 not-muc 3049693 unknown 1555 muc 260
29.19/29.23	c iter 262 time 27.9557 not-muc 3049693 unknown 1554 muc 261
29.19/29.23	c iter 263 time 28.0527 not-muc 3049693 unknown 1553 muc 262
29.19/29.23	c iter 264 time 28.1497 not-muc 3049693 unknown 1552 muc 263
29.19/29.23	c iter 265 time 28.2467 not-muc 3049693 unknown 1551 muc 264
29.19/29.23	c iter 266 time 28.3437 not-muc 3049693 unknown 1550 muc 265
29.19/29.23	c iter 267 time 28.4417 not-muc 3049693 unknown 1549 muc 266
29.19/29.23	c iter 268 time 28.5387 not-muc 3049693 unknown 1548 muc 267
29.19/29.23	c iter 269 time 28.6356 not-muc 3049693 unknown 1547 muc 268
29.19/29.23	c iter 270 time 28.7326 not-muc 3049693 unknown 1546 muc 269
29.19/29.23	c iter 271 time 28.8146 not-muc 3049693 unknown 1545 muc 270
29.19/29.23	c iter 272 time 28.9126 not-muc 3049693 unknown 1544 muc 271
34.89/34.93	c iter 273 time 28.9956 not-muc 3049693 unknown 1543 muc 272
34.89/34.93	c iter 274 time 29.0926 not-muc 3049693 unknown 1542 muc 273
34.89/34.93	c iter 275 time 29.1736 not-muc 3049693 unknown 1541 muc 274
34.89/34.93	c iter 276 time 29.2556 not-muc 3049693 unknown 1540 muc 275
34.89/34.93	c iter 277 time 29.3375 not-muc 3049693 unknown 1539 muc 276
34.89/34.93	c iter 278 time 29.4345 not-muc 3049693 unknown 1538 muc 277
34.89/34.93	c iter 279 time 29.5165 not-muc 3049693 unknown 1537 muc 278
34.89/34.93	c iter 280 time 29.5985 not-muc 3049693 unknown 1536 muc 279
34.89/34.93	c iter 281 time 29.6815 not-muc 3049693 unknown 1535 muc 280
34.89/34.93	c iter 282 time 29.7635 not-muc 3049693 unknown 1534 muc 281
34.89/34.93	c iter 283 time 29.8605 not-muc 3049693 unknown 1533 muc 282
34.89/34.93	c iter 284 time 29.9424 not-muc 3049693 unknown 1532 muc 283
34.89/34.93	c iter 285 time 30.0244 not-muc 3049693 unknown 1531 muc 284
34.89/34.93	c iter 286 time 30.1074 not-muc 3049693 unknown 1530 muc 285
34.89/34.93	c iter 287 time 30.1894 not-muc 3049693 unknown 1529 muc 286
34.89/34.93	c iter 288 time 30.2864 not-muc 3049693 unknown 1528 muc 287
34.89/34.93	c iter 289 time 30.3684 not-muc 3049693 unknown 1527 muc 288
34.89/34.93	c iter 290 time 30.4504 not-muc 3049693 unknown 1526 muc 289
34.89/34.93	c iter 291 time 30.5324 not-muc 3049693 unknown 1525 muc 290
34.89/34.93	c iter 292 time 30.6153 not-muc 3049693 unknown 1524 muc 291
34.89/34.93	c iter 293 time 30.7123 not-muc 3049693 unknown 1523 muc 292
34.89/34.93	c iter 294 time 30.7943 not-muc 3049693 unknown 1522 muc 293
34.89/34.93	c iter 295 time 30.8773 not-muc 3049693 unknown 1521 muc 294
34.89/34.93	c iter 296 time 30.9593 not-muc 3049693 unknown 1520 muc 295
34.89/34.93	c iter 297 time 31.0423 not-muc 3049693 unknown 1519 muc 296
34.89/34.93	c iter 298 time 31.1393 not-muc 3049693 unknown 1518 muc 297
34.89/34.93	c iter 299 time 31.2213 not-muc 3049693 unknown 1517 muc 298
34.89/34.93	c iter 300 time 31.3042 not-muc 3049693 unknown 1516 muc 299
34.89/34.93	c iter 301 time 31.3862 not-muc 3049693 unknown 1515 muc 300
34.89/34.93	c iter 302 time 31.4692 not-muc 3049693 unknown 1514 muc 301
34.89/34.93	c iter 303 time 31.5662 not-muc 3049693 unknown 1513 muc 302
34.89/34.93	c iter 304 time 31.6492 not-muc 3049693 unknown 1512 muc 303
34.89/34.93	c iter 305 time 31.7312 not-muc 3049693 unknown 1511 muc 304
34.89/34.93	c iter 306 time 31.8142 not-muc 3049693 unknown 1510 muc 305
34.89/34.93	c iter 307 time 31.8971 not-muc 3049693 unknown 1509 muc 306
34.89/34.93	c iter 308 time 31.9941 not-muc 3049693 unknown 1508 muc 307
34.89/34.93	c iter 309 time 32.0761 not-muc 3049693 unknown 1507 muc 308
34.89/34.93	c iter 310 time 32.1591 not-muc 3049693 unknown 1506 muc 309
34.89/34.93	c iter 311 time 32.2411 not-muc 3049693 unknown 1505 muc 310
34.89/34.93	c iter 312 time 32.3241 not-muc 3049693 unknown 1504 muc 311
34.89/34.93	c iter 313 time 32.4221 not-muc 3049693 unknown 1503 muc 312
34.89/34.93	c iter 314 time 32.5041 not-muc 3049693 unknown 1502 muc 313
34.89/34.93	c iter 315 time 32.586 not-muc 3049693 unknown 1501 muc 314
34.89/34.93	c iter 316 time 32.669 not-muc 3049693 unknown 1500 muc 315
34.89/34.93	c iter 317 time 32.751 not-muc 3049693 unknown 1499 muc 316
34.89/34.93	c iter 318 time 32.848 not-muc 3049693 unknown 1498 muc 317
34.89/34.93	c iter 319 time 32.931 not-muc 3049693 unknown 1497 muc 318
34.89/34.93	c iter 320 time 33.013 not-muc 3049693 unknown 1496 muc 319
34.89/34.93	c iter 321 time 33.096 not-muc 3049693 unknown 1495 muc 320
34.89/34.93	c iter 322 time 33.179 not-muc 3049693 unknown 1494 muc 321
34.89/34.93	c iter 323 time 33.2759 not-muc 3049693 unknown 1493 muc 322
34.89/34.93	c iter 324 time 33.3579 not-muc 3049693 unknown 1492 muc 323
34.89/34.93	c iter 325 time 33.4409 not-muc 3049693 unknown 1491 muc 324
34.89/34.93	c iter 326 time 33.5229 not-muc 3049693 unknown 1490 muc 325
34.89/34.93	c iter 327 time 33.6059 not-muc 3049693 unknown 1489 muc 326
34.89/34.93	c iter 328 time 33.7039 not-muc 3049693 unknown 1488 muc 327
34.89/34.93	c iter 329 time 33.7859 not-muc 3049693 unknown 1487 muc 328
34.89/34.93	c iter 330 time 33.8689 not-muc 3049693 unknown 1486 muc 329
34.89/34.93	c iter 331 time 33.9518 not-muc 3049693 unknown 1485 muc 330
34.89/34.93	c iter 332 time 34.0338 not-muc 3049693 unknown 1484 muc 331
34.89/34.93	c iter 333 time 34.1168 not-muc 3049693 unknown 1483 muc 332
34.89/34.93	c iter 334 time 34.1998 not-muc 3049693 unknown 1482 muc 333
34.89/34.93	c iter 335 time 34.2838 not-muc 3049693 unknown 1481 muc 334
34.89/34.93	c iter 336 time 34.3668 not-muc 3049693 unknown 1480 muc 335
34.89/34.93	c iter 337 time 34.4498 not-muc 3049693 unknown 1479 muc 336
34.89/34.93	c iter 338 time 34.5328 not-muc 3049693 unknown 1478 muc 337
34.89/34.93	c iter 339 time 34.6167 not-muc 3049693 unknown 1477 muc 338
40.69/40.77	c iter 340 time 34.6997 not-muc 3049693 unknown 1476 muc 339
40.69/40.77	c iter 341 time 34.7837 not-muc 3049693 unknown 1475 muc 340
40.69/40.77	c iter 342 time 34.8667 not-muc 3049693 unknown 1474 muc 341
40.69/40.77	c iter 343 time 34.9507 not-muc 3049693 unknown 1473 muc 342
40.69/40.77	c iter 344 time 35.0347 not-muc 3049693 unknown 1472 muc 343
40.69/40.77	c iter 345 time 35.1187 not-muc 3049693 unknown 1471 muc 344
40.69/40.77	c iter 346 time 35.2026 not-muc 3049693 unknown 1470 muc 345
40.69/40.77	c iter 347 time 35.2866 not-muc 3049693 unknown 1469 muc 346
40.69/40.77	c iter 348 time 35.3716 not-muc 3049693 unknown 1468 muc 347
40.69/40.77	c iter 349 time 35.4556 not-muc 3049693 unknown 1467 muc 348
40.69/40.77	c iter 350 time 35.5406 not-muc 3049693 unknown 1466 muc 349
40.69/40.77	c iter 351 time 35.6246 not-muc 3049693 unknown 1465 muc 350
40.69/40.77	c iter 352 time 35.7096 not-muc 3049693 unknown 1464 muc 351
40.69/40.77	c iter 353 time 35.7946 not-muc 3049693 unknown 1463 muc 352
40.69/40.77	c iter 354 time 35.8795 not-muc 3049693 unknown 1462 muc 353
40.69/40.77	c iter 355 time 35.9635 not-muc 3049693 unknown 1461 muc 354
40.69/40.77	c iter 356 time 36.0725 not-muc 3049693 unknown 1460 muc 355
40.69/40.77	c iter 357 time 36.1545 not-muc 3049693 unknown 1459 muc 356
40.69/40.77	c iter 358 time 36.2515 not-muc 3049693 unknown 1458 muc 357
40.69/40.77	c iter 359 time 36.3495 not-muc 3049693 unknown 1457 muc 358
40.69/40.77	c iter 360 time 36.4465 not-muc 3049693 unknown 1456 muc 359
40.69/40.77	c iter 361 time 36.5444 not-muc 3049693 unknown 1455 muc 360
40.69/40.77	c iter 362 time 36.6414 not-muc 3049693 unknown 1454 muc 361
40.69/40.77	c iter 363 time 36.7394 not-muc 3049693 unknown 1453 muc 362
40.69/40.77	c iter 364 time 36.8364 not-muc 3049693 unknown 1452 muc 363
40.69/40.77	c iter 365 time 36.9184 not-muc 3049693 unknown 1451 muc 364
40.69/40.77	c iter 366 time 37.0014 not-muc 3049693 unknown 1450 muc 365
40.69/40.77	c iter 367 time 37.0834 not-muc 3049693 unknown 1449 muc 366
40.69/40.77	c iter 368 time 37.1663 not-muc 3049693 unknown 1448 muc 367
40.69/40.77	c iter 369 time 37.2493 not-muc 3049693 unknown 1447 muc 368
40.69/40.77	c iter 370 time 37.3313 not-muc 3049693 unknown 1446 muc 369
40.69/40.77	c iter 371 time 37.4143 not-muc 3049693 unknown 1445 muc 370
40.69/40.77	c iter 372 time 37.4973 not-muc 3049693 unknown 1444 muc 371
40.69/40.77	c iter 373 time 37.5813 not-muc 3049693 unknown 1443 muc 372
40.69/40.77	c iter 374 time 37.6643 not-muc 3049693 unknown 1442 muc 373
40.69/40.77	c iter 375 time 37.7473 not-muc 3049693 unknown 1441 muc 374
40.69/40.77	c iter 376 time 37.8302 not-muc 3049693 unknown 1440 muc 375
40.69/40.77	c iter 377 time 37.9142 not-muc 3049693 unknown 1439 muc 376
40.69/40.77	c iter 378 time 37.9972 not-muc 3049693 unknown 1438 muc 377
40.69/40.77	c iter 379 time 38.0802 not-muc 3049693 unknown 1437 muc 378
40.69/40.77	c iter 380 time 38.1642 not-muc 3049693 unknown 1436 muc 379
40.69/40.77	c iter 381 time 38.2472 not-muc 3049693 unknown 1435 muc 380
40.69/40.77	c iter 382 time 38.3312 not-muc 3049693 unknown 1434 muc 381
40.69/40.77	c iter 383 time 38.4152 not-muc 3049693 unknown 1433 muc 382
40.69/40.77	c iter 384 time 38.4991 not-muc 3049693 unknown 1432 muc 383
40.69/40.77	c iter 385 time 38.5831 not-muc 3049693 unknown 1431 muc 384
40.69/40.77	c iter 386 time 38.6681 not-muc 3049693 unknown 1430 muc 385
40.69/40.77	c iter 387 time 38.7521 not-muc 3049693 unknown 1429 muc 386
40.69/40.77	c iter 388 time 38.8361 not-muc 3049693 unknown 1428 muc 387
40.69/40.77	c iter 389 time 38.9201 not-muc 3049693 unknown 1427 muc 388
40.69/40.77	c iter 390 time 39.0041 not-muc 3049693 unknown 1426 muc 389
40.69/40.77	c iter 391 time 39.0891 not-muc 3049693 unknown 1425 muc 390
40.69/40.77	c iter 392 time 39.173 not-muc 3049693 unknown 1424 muc 391
40.69/40.77	c iter 393 time 39.257 not-muc 3049693 unknown 1423 muc 392
40.69/40.77	c iter 394 time 39.342 not-muc 3049693 unknown 1422 muc 393
40.69/40.77	c iter 395 time 39.427 not-muc 3049693 unknown 1421 muc 394
40.69/40.77	c iter 396 time 39.512 not-muc 3049693 unknown 1420 muc 395
40.69/40.77	c iter 397 time 39.597 not-muc 3049693 unknown 1419 muc 396
40.69/40.77	c iter 398 time 39.682 not-muc 3049693 unknown 1418 muc 397
40.69/40.77	c iter 399 time 39.767 not-muc 3049693 unknown 1417 muc 398
40.69/40.77	c iter 400 time 39.8519 not-muc 3049693 unknown 1416 muc 399
40.69/40.77	c iter 401 time 39.9369 not-muc 3049693 unknown 1415 muc 400
40.69/40.77	c iter 402 time 40.0219 not-muc 3049693 unknown 1414 muc 401
40.69/40.77	c iter 403 time 40.1079 not-muc 3049693 unknown 1413 muc 402
40.69/40.77	c iter 404 time 40.1929 not-muc 3049693 unknown 1412 muc 403
40.69/40.77	c iter 405 time 40.2799 not-muc 3049693 unknown 1411 muc 404
40.69/40.77	c iter 406 time 40.3649 not-muc 3049693 unknown 1410 muc 405
40.69/40.77	c iter 407 time 40.4509 not-muc 3049693 unknown 1409 muc 406
47.08/47.13	c iter 408 time 40.5368 not-muc 3049693 unknown 1408 muc 407
47.08/47.13	c iter 409 time 40.6228 not-muc 3049693 unknown 1407 muc 408
47.08/47.13	c iter 410 time 40.7088 not-muc 3049693 unknown 1406 muc 409
47.08/47.13	c iter 411 time 40.7948 not-muc 3049693 unknown 1405 muc 410
47.08/47.13	c iter 412 time 40.8808 not-muc 3049693 unknown 1404 muc 411
47.08/47.13	c iter 413 time 40.9678 not-muc 3049693 unknown 1403 muc 412
47.08/47.13	c iter 414 time 41.0538 not-muc 3049693 unknown 1402 muc 413
47.08/47.13	c iter 415 time 41.1407 not-muc 3049693 unknown 1401 muc 414
47.08/47.13	c iter 416 time 41.2267 not-muc 3049693 unknown 1400 muc 415
47.08/47.13	c iter 417 time 41.3137 not-muc 3049693 unknown 1399 muc 416
47.08/47.13	c iter 418 time 41.4007 not-muc 3049693 unknown 1398 muc 417
47.08/47.13	c iter 419 time 41.4877 not-muc 3049693 unknown 1397 muc 418
47.08/47.13	c iter 420 time 41.5747 not-muc 3049693 unknown 1396 muc 419
47.08/47.13	c iter 421 time 41.6617 not-muc 3049693 unknown 1395 muc 420
47.08/47.13	c iter 422 time 41.7487 not-muc 3049693 unknown 1394 muc 421
47.08/47.13	c iter 423 time 41.8466 not-muc 3049693 unknown 1393 muc 422
47.08/47.13	c iter 424 time 41.9436 not-muc 3049693 unknown 1392 muc 423
47.08/47.13	c iter 425 time 42.0416 not-muc 3049693 unknown 1391 muc 424
47.08/47.13	c iter 426 time 42.1386 not-muc 3049693 unknown 1390 muc 425
47.08/47.13	c iter 427 time 42.2356 not-muc 3049693 unknown 1389 muc 426
47.08/47.13	c iter 428 time 42.3336 not-muc 3049693 unknown 1388 muc 427
47.08/47.13	c iter 429 time 42.4305 not-muc 3049693 unknown 1387 muc 428
47.08/47.13	c iter 430 time 42.5285 not-muc 3049693 unknown 1386 muc 429
47.08/47.13	c iter 431 time 42.6255 not-muc 3049693 unknown 1385 muc 430
47.08/47.13	c iter 432 time 42.7225 not-muc 3049693 unknown 1384 muc 431
47.08/47.13	c iter 433 time 42.8205 not-muc 3049693 unknown 1383 muc 432
47.08/47.13	c iter 434 time 42.9185 not-muc 3049693 unknown 1382 muc 433
47.08/47.13	c iter 435 time 43.0155 not-muc 3049693 unknown 1381 muc 434
47.08/47.13	c iter 436 time 43.1134 not-muc 3049693 unknown 1380 muc 435
47.08/47.13	c iter 437 time 43.2104 not-muc 3049693 unknown 1379 muc 436
47.08/47.13	c iter 438 time 43.3084 not-muc 3049693 unknown 1378 muc 437
47.08/47.13	c iter 439 time 43.4054 not-muc 3049693 unknown 1377 muc 438
47.08/47.13	c iter 440 time 43.5024 not-muc 3049693 unknown 1376 muc 439
47.08/47.13	c iter 441 time 43.6004 not-muc 3049693 unknown 1375 muc 440
47.08/47.13	c iter 442 time 43.6984 not-muc 3049693 unknown 1374 muc 441
47.08/47.13	c iter 443 time 43.7953 not-muc 3049693 unknown 1373 muc 442
47.08/47.13	c iter 444 time 43.8933 not-muc 3049693 unknown 1372 muc 443
47.08/47.13	c iter 445 time 43.9903 not-muc 3049693 unknown 1371 muc 444
47.08/47.13	c iter 446 time 44.0873 not-muc 3049693 unknown 1370 muc 445
47.08/47.13	c iter 447 time 44.1853 not-muc 3049693 unknown 1369 muc 446
47.08/47.13	c iter 448 time 44.2823 not-muc 3049693 unknown 1368 muc 447
47.08/47.13	c iter 449 time 44.3803 not-muc 3049693 unknown 1367 muc 448
47.08/47.13	c iter 450 time 44.4772 not-muc 3049693 unknown 1366 muc 449
47.08/47.13	c iter 451 time 44.5752 not-muc 3049693 unknown 1365 muc 450
47.08/47.13	c iter 452 time 44.6722 not-muc 3049693 unknown 1364 muc 451
47.08/47.13	c iter 453 time 44.7692 not-muc 3049693 unknown 1363 muc 452
47.08/47.13	c iter 454 time 44.8672 not-muc 3049693 unknown 1362 muc 453
47.08/47.13	c iter 455 time 44.9642 not-muc 3049693 unknown 1361 muc 454
47.08/47.13	c iter 456 time 45.0621 not-muc 3049693 unknown 1360 muc 455
47.08/47.13	c iter 457 time 45.1591 not-muc 3049693 unknown 1359 muc 456
47.08/47.13	c iter 458 time 45.2571 not-muc 3049693 unknown 1358 muc 457
47.08/47.13	c iter 459 time 45.3541 not-muc 3049693 unknown 1357 muc 458
47.08/47.13	c iter 460 time 45.4521 not-muc 3049693 unknown 1356 muc 459
47.08/47.13	c iter 461 time 45.5491 not-muc 3049693 unknown 1355 muc 460
47.08/47.13	c iter 462 time 45.6471 not-muc 3049693 unknown 1354 muc 461
47.08/47.13	c iter 463 time 45.745 not-muc 3049693 unknown 1353 muc 462
47.08/47.13	c iter 464 time 45.842 not-muc 3049693 unknown 1352 muc 463
47.08/47.13	c iter 465 time 45.94 not-muc 3049693 unknown 1351 muc 464
47.08/47.13	c iter 466 time 46.037 not-muc 3049693 unknown 1350 muc 465
47.08/47.13	c iter 467 time 46.135 not-muc 3049693 unknown 1349 muc 466
47.08/47.13	c iter 468 time 46.232 not-muc 3049693 unknown 1348 muc 467
47.08/47.13	c iter 469 time 46.33 not-muc 3049693 unknown 1347 muc 468
47.08/47.13	c iter 470 time 46.4269 not-muc 3049693 unknown 1346 muc 469
47.08/47.13	c iter 471 time 46.5239 not-muc 3049693 unknown 1345 muc 470
47.08/47.13	c iter 472 time 46.6219 not-muc 3049693 unknown 1344 muc 471
47.08/47.13	c iter 473 time 46.7189 not-muc 3049693 unknown 1343 muc 472
47.08/47.13	c iter 474 time 46.8159 not-muc 3049693 unknown 1342 muc 473
53.58/53.66	c iter 475 time 46.9139 not-muc 3049693 unknown 1341 muc 474
53.58/53.66	c iter 476 time 47.0109 not-muc 3049693 unknown 1340 muc 475
53.58/53.66	c iter 477 time 47.1088 not-muc 3049693 unknown 1339 muc 476
53.58/53.66	c iter 478 time 47.2068 not-muc 3049693 unknown 1338 muc 477
53.58/53.66	c iter 479 time 47.3038 not-muc 3049693 unknown 1337 muc 478
53.58/53.66	c iter 480 time 47.4018 not-muc 3049693 unknown 1336 muc 479
53.58/53.66	c iter 481 time 47.4988 not-muc 3049693 unknown 1335 muc 480
53.58/53.66	c iter 482 time 47.5968 not-muc 3049693 unknown 1334 muc 481
53.58/53.66	c iter 483 time 47.6937 not-muc 3049693 unknown 1333 muc 482
53.58/53.66	c iter 484 time 47.7907 not-muc 3049693 unknown 1332 muc 483
53.58/53.66	c iter 485 time 47.8887 not-muc 3049693 unknown 1331 muc 484
53.58/53.66	c iter 486 time 47.9857 not-muc 3049693 unknown 1330 muc 485
53.58/53.66	c iter 487 time 48.0837 not-muc 3049693 unknown 1329 muc 486
53.58/53.66	c iter 488 time 48.1807 not-muc 3049693 unknown 1328 muc 487
53.58/53.66	c iter 489 time 48.2777 not-muc 3049693 unknown 1327 muc 488
53.58/53.66	c iter 490 time 48.3736 not-muc 3049693 unknown 1326 muc 489
53.58/53.66	c iter 491 time 48.4706 not-muc 3049693 unknown 1325 muc 490
53.58/53.66	c iter 492 time 48.5686 not-muc 3049693 unknown 1324 muc 491
53.58/53.66	c iter 493 time 48.6656 not-muc 3049693 unknown 1323 muc 492
53.58/53.66	c iter 494 time 48.7626 not-muc 3049693 unknown 1322 muc 493
53.58/53.66	c iter 495 time 48.8596 not-muc 3049693 unknown 1321 muc 494
53.58/53.66	c iter 496 time 48.9576 not-muc 3049693 unknown 1320 muc 495
53.58/53.66	c iter 497 time 49.0545 not-muc 3049693 unknown 1319 muc 496
53.58/53.66	c iter 498 time 49.1525 not-muc 3049693 unknown 1318 muc 497
53.58/53.66	c iter 499 time 49.2495 not-muc 3049693 unknown 1317 muc 498
53.58/53.66	c iter 500 time 49.3465 not-muc 3049693 unknown 1316 muc 499
53.58/53.66	c iter 501 time 49.4445 not-muc 3049693 unknown 1315 muc 500
53.58/53.66	c iter 502 time 49.5415 not-muc 3049693 unknown 1314 muc 501
53.58/53.66	c iter 503 time 49.6385 not-muc 3049693 unknown 1313 muc 502
53.58/53.66	c iter 504 time 49.7364 not-muc 3049693 unknown 1312 muc 503
53.58/53.66	c iter 505 time 49.8344 not-muc 3049693 unknown 1311 muc 504
53.58/53.66	c iter 506 time 49.9314 not-muc 3049693 unknown 1310 muc 505
53.58/53.66	c iter 507 time 50.0284 not-muc 3049693 unknown 1309 muc 506
53.58/53.66	c iter 508 time 50.1264 not-muc 3049693 unknown 1308 muc 507
53.58/53.66	c iter 509 time 50.2234 not-muc 3049693 unknown 1307 muc 508
53.58/53.66	c iter 510 time 50.3203 not-muc 3049693 unknown 1306 muc 509
53.58/53.66	c iter 511 time 50.4173 not-muc 3049693 unknown 1305 muc 510
53.58/53.66	c iter 512 time 50.5153 not-muc 3049693 unknown 1304 muc 511
53.58/53.66	c iter 513 time 50.6123 not-muc 3049693 unknown 1303 muc 512
53.58/53.66	c iter 514 time 50.7093 not-muc 3049693 unknown 1302 muc 513
53.58/53.66	c iter 515 time 50.8073 not-muc 3049693 unknown 1301 muc 514
53.58/53.66	c iter 516 time 50.9043 not-muc 3049693 unknown 1300 muc 515
53.58/53.66	c iter 517 time 51.0012 not-muc 3049693 unknown 1299 muc 516
53.58/53.66	c iter 518 time 51.0982 not-muc 3049693 unknown 1298 muc 517
53.58/53.66	c iter 519 time 51.1952 not-muc 3049693 unknown 1297 muc 518
53.58/53.66	c iter 520 time 51.2922 not-muc 3049693 unknown 1296 muc 519
53.58/53.66	c iter 521 time 51.3902 not-muc 3049693 unknown 1295 muc 520
53.58/53.66	c iter 522 time 51.4872 not-muc 3049693 unknown 1294 muc 521
53.58/53.66	c iter 523 time 51.5842 not-muc 3049693 unknown 1293 muc 522
53.58/53.66	c iter 524 time 51.6821 not-muc 3049693 unknown 1292 muc 523
53.58/53.66	c iter 525 time 51.7791 not-muc 3049693 unknown 1291 muc 524
53.58/53.66	c iter 526 time 51.8771 not-muc 3049693 unknown 1290 muc 525
53.58/53.66	c iter 527 time 51.9741 not-muc 3049693 unknown 1289 muc 526
53.58/53.66	c iter 528 time 52.0711 not-muc 3049693 unknown 1288 muc 527
53.58/53.66	c iter 529 time 52.1691 not-muc 3049693 unknown 1287 muc 528
53.58/53.66	c iter 530 time 52.2661 not-muc 3049693 unknown 1286 muc 529
53.58/53.66	c iter 531 time 52.363 not-muc 3049693 unknown 1285 muc 530
53.58/53.66	c iter 532 time 52.461 not-muc 3049693 unknown 1284 muc 531
53.58/53.66	c iter 533 time 52.558 not-muc 3049693 unknown 1283 muc 532
53.58/53.66	c iter 534 time 52.656 not-muc 3049693 unknown 1282 muc 533
53.58/53.66	c iter 535 time 52.754 not-muc 3049693 unknown 1281 muc 534
53.58/53.66	c iter 536 time 52.851 not-muc 3049693 unknown 1280 muc 535
53.58/53.66	c iter 537 time 52.9479 not-muc 3049693 unknown 1279 muc 536
53.58/53.66	c iter 538 time 53.0459 not-muc 3049693 unknown 1278 muc 537
53.58/53.66	c iter 539 time 53.1429 not-muc 3049693 unknown 1277 muc 538
53.58/53.66	c iter 540 time 53.2409 not-muc 3049693 unknown 1276 muc 539
53.58/53.66	c iter 541 time 53.3379 not-muc 3049693 unknown 1275 muc 540
60.08/60.18	c iter 542 time 53.4359 not-muc 3049693 unknown 1274 muc 541
60.08/60.18	c iter 543 time 53.5329 not-muc 3049693 unknown 1273 muc 542
60.08/60.18	c iter 544 time 53.6298 not-muc 3049693 unknown 1272 muc 543
60.08/60.18	c iter 545 time 53.7268 not-muc 3049693 unknown 1271 muc 544
60.08/60.18	c iter 546 time 53.8248 not-muc 3049693 unknown 1270 muc 545
60.08/60.18	c iter 547 time 53.9228 not-muc 3049693 unknown 1269 muc 546
60.08/60.18	c iter 548 time 54.0198 not-muc 3049693 unknown 1268 muc 547
60.08/60.18	c iter 549 time 54.1178 not-muc 3049693 unknown 1267 muc 548
60.08/60.18	c iter 550 time 54.2148 not-muc 3049693 unknown 1266 muc 549
60.08/60.18	c iter 551 time 54.3117 not-muc 3049693 unknown 1265 muc 550
60.08/60.18	c iter 552 time 54.4097 not-muc 3049693 unknown 1264 muc 551
60.08/60.18	c iter 553 time 54.5067 not-muc 3049693 unknown 1263 muc 552
60.08/60.18	c iter 554 time 54.6037 not-muc 3049693 unknown 1262 muc 553
60.08/60.18	c iter 555 time 54.7007 not-muc 3049693 unknown 1261 muc 554
60.08/60.18	c iter 556 time 54.7987 not-muc 3049693 unknown 1260 muc 555
60.08/60.18	c iter 557 time 54.8957 not-muc 3049693 unknown 1259 muc 556
60.08/60.18	c iter 558 time 54.9926 not-muc 3049693 unknown 1258 muc 557
60.08/60.18	c iter 559 time 55.0906 not-muc 3049693 unknown 1257 muc 558
60.08/60.18	c iter 560 time 55.1876 not-muc 3049693 unknown 1256 muc 559
60.08/60.18	c iter 561 time 55.2846 not-muc 3049693 unknown 1255 muc 560
60.08/60.18	c iter 562 time 55.3816 not-muc 3049693 unknown 1254 muc 561
60.08/60.18	c iter 563 time 55.4796 not-muc 3049693 unknown 1253 muc 562
60.08/60.18	c iter 564 time 55.5766 not-muc 3049693 unknown 1252 muc 563
60.08/60.18	c iter 565 time 55.6735 not-muc 3049693 unknown 1251 muc 564
60.08/60.18	c iter 566 time 55.7715 not-muc 3049693 unknown 1250 muc 565
60.08/60.18	c iter 567 time 55.8685 not-muc 3049693 unknown 1249 muc 566
60.08/60.18	c iter 568 time 55.9655 not-muc 3049693 unknown 1248 muc 567
60.08/60.18	c iter 569 time 56.0625 not-muc 3049693 unknown 1247 muc 568
60.08/60.18	c iter 570 time 56.1595 not-muc 3049693 unknown 1246 muc 569
60.08/60.18	c iter 571 time 56.2564 not-muc 3049693 unknown 1245 muc 570
60.08/60.18	c iter 572 time 56.3534 not-muc 3049693 unknown 1244 muc 571
60.08/60.18	c iter 573 time 56.4514 not-muc 3049693 unknown 1243 muc 572
60.08/60.18	c iter 574 time 56.5484 not-muc 3049693 unknown 1242 muc 573
60.08/60.18	c iter 575 time 56.6454 not-muc 3049693 unknown 1241 muc 574
60.08/60.18	c iter 576 time 56.7424 not-muc 3049693 unknown 1240 muc 575
60.08/60.18	c iter 577 time 56.8394 not-muc 3049693 unknown 1239 muc 576
60.08/60.18	c iter 578 time 56.9373 not-muc 3049693 unknown 1238 muc 577
60.08/60.18	c iter 579 time 57.0343 not-muc 3049693 unknown 1237 muc 578
60.08/60.18	c iter 580 time 57.1313 not-muc 3049693 unknown 1236 muc 579
60.08/60.18	c iter 581 time 57.2293 not-muc 3049693 unknown 1235 muc 580
60.08/60.18	c iter 582 time 57.3263 not-muc 3049693 unknown 1234 muc 581
60.08/60.18	c iter 583 time 57.4233 not-muc 3049693 unknown 1233 muc 582
60.08/60.18	c iter 584 time 57.5203 not-muc 3049693 unknown 1232 muc 583
60.08/60.18	c iter 585 time 57.6172 not-muc 3049693 unknown 1231 muc 584
60.08/60.18	c iter 586 time 57.7262 not-muc 3049693 unknown 1230 muc 585
60.08/60.18	c iter 587 time 57.8232 not-muc 3049693 unknown 1229 muc 586
60.08/60.18	c iter 588 time 57.9202 not-muc 3049693 unknown 1228 muc 587
60.08/60.18	c iter 589 time 58.0182 not-muc 3049693 unknown 1227 muc 588
60.08/60.18	c iter 590 time 58.1152 not-muc 3049693 unknown 1226 muc 589
60.08/60.18	c iter 591 time 58.2122 not-muc 3049693 unknown 1225 muc 590
60.08/60.18	c iter 592 time 58.3091 not-muc 3049693 unknown 1224 muc 591
60.08/60.18	c iter 593 time 58.4071 not-muc 3049693 unknown 1223 muc 592
60.08/60.18	c iter 594 time 58.5041 not-muc 3049693 unknown 1222 muc 593
60.08/60.18	c iter 595 time 58.6021 not-muc 3049693 unknown 1221 muc 594
60.08/60.18	c iter 596 time 58.6991 not-muc 3049693 unknown 1220 muc 595
60.08/60.18	c iter 597 time 58.7961 not-muc 3049693 unknown 1219 muc 596
60.08/60.18	c iter 598 time 58.894 not-muc 3049693 unknown 1218 muc 597
60.08/60.18	c iter 599 time 58.991 not-muc 3049693 unknown 1217 muc 598
60.08/60.18	c iter 600 time 59.088 not-muc 3049693 unknown 1216 muc 599
60.08/60.18	c iter 601 time 59.186 not-muc 3049693 unknown 1215 muc 600
60.08/60.18	c iter 602 time 59.283 not-muc 3049693 unknown 1214 muc 601
60.08/60.18	c iter 603 time 59.38 not-muc 3049693 unknown 1213 muc 602
60.08/60.18	c iter 604 time 59.477 not-muc 3049693 unknown 1212 muc 603
60.08/60.18	c iter 605 time 59.5749 not-muc 3049693 unknown 1211 muc 604
60.08/60.18	c iter 606 time 59.6719 not-muc 3049693 unknown 1210 muc 605
60.08/60.18	c iter 607 time 59.7689 not-muc 3049693 unknown 1209 muc 606
60.08/60.18	c iter 608 time 59.8659 not-muc 3049693 unknown 1208 muc 607
66.68/66.79	c iter 609 time 59.9629 not-muc 3049693 unknown 1207 muc 608
66.68/66.79	c iter 610 time 60.0599 not-muc 3049693 unknown 1206 muc 609
66.68/66.79	c iter 611 time 60.1569 not-muc 3049693 unknown 1205 muc 610
66.68/66.79	c iter 612 time 60.2548 not-muc 3049693 unknown 1204 muc 611
66.68/66.79	c iter 613 time 60.3518 not-muc 3049693 unknown 1203 muc 612
66.68/66.79	c iter 614 time 60.4498 not-muc 3049693 unknown 1202 muc 613
66.68/66.79	c iter 615 time 60.5468 not-muc 3049693 unknown 1201 muc 614
66.68/66.79	c iter 616 time 60.6448 not-muc 3049693 unknown 1200 muc 615
66.68/66.79	c iter 617 time 60.7418 not-muc 3049693 unknown 1199 muc 616
66.68/66.79	c iter 618 time 60.8388 not-muc 3049693 unknown 1198 muc 617
66.68/66.79	c iter 619 time 60.9357 not-muc 3049693 unknown 1197 muc 618
66.68/66.79	c iter 620 time 61.0337 not-muc 3049693 unknown 1196 muc 619
66.68/66.79	c iter 621 time 61.1307 not-muc 3049693 unknown 1195 muc 620
66.68/66.79	c iter 622 time 61.2277 not-muc 3049693 unknown 1194 muc 621
66.68/66.79	c iter 623 time 61.3247 not-muc 3049693 unknown 1193 muc 622
66.68/66.79	c iter 624 time 61.4217 not-muc 3049693 unknown 1192 muc 623
66.68/66.79	c iter 625 time 61.5186 not-muc 3049693 unknown 1191 muc 624
66.68/66.79	c iter 626 time 61.6156 not-muc 3049693 unknown 1190 muc 625
66.68/66.79	c iter 627 time 61.7126 not-muc 3049693 unknown 1189 muc 626
66.68/66.79	c iter 628 time 61.8096 not-muc 3049693 unknown 1188 muc 627
66.68/66.79	c iter 629 time 61.9076 not-muc 3049693 unknown 1187 muc 628
66.68/66.79	c iter 630 time 62.0046 not-muc 3049693 unknown 1186 muc 629
66.68/66.79	c iter 631 time 62.1016 not-muc 3049693 unknown 1185 muc 630
66.68/66.79	c iter 632 time 62.1985 not-muc 3049693 unknown 1184 muc 631
66.68/66.79	c iter 633 time 62.2965 not-muc 3049693 unknown 1183 muc 632
66.68/66.79	c iter 634 time 62.3935 not-muc 3049693 unknown 1182 muc 633
66.68/66.79	c iter 635 time 62.4905 not-muc 3049693 unknown 1181 muc 634
66.68/66.79	c iter 636 time 62.5875 not-muc 3049693 unknown 1180 muc 635
66.68/66.79	c iter 637 time 62.6855 not-muc 3049693 unknown 1179 muc 636
66.68/66.79	c iter 638 time 62.7825 not-muc 3049693 unknown 1178 muc 637
66.68/66.79	c iter 639 time 62.8794 not-muc 3049693 unknown 1177 muc 638
66.68/66.79	c iter 640 time 62.9774 not-muc 3049693 unknown 1176 muc 639
66.68/66.79	c iter 641 time 63.0744 not-muc 3049693 unknown 1175 muc 640
66.68/66.79	c iter 642 time 63.1714 not-muc 3049693 unknown 1174 muc 641
66.68/66.79	c iter 643 time 63.2684 not-muc 3049693 unknown 1173 muc 642
66.68/66.79	c iter 644 time 63.3664 not-muc 3049693 unknown 1172 muc 643
66.68/66.79	c iter 645 time 63.4634 not-muc 3049693 unknown 1171 muc 644
66.68/66.79	c iter 646 time 63.5603 not-muc 3049693 unknown 1170 muc 645
66.68/66.79	c iter 647 time 63.6583 not-muc 3049693 unknown 1169 muc 646
66.68/66.79	c iter 648 time 63.7553 not-muc 3049693 unknown 1168 muc 647
66.68/66.79	c iter 649 time 63.8523 not-muc 3049693 unknown 1167 muc 648
66.68/66.79	c iter 650 time 63.9493 not-muc 3049693 unknown 1166 muc 649
66.68/66.79	c iter 651 time 64.0463 not-muc 3049693 unknown 1165 muc 650
66.68/66.79	c iter 652 time 64.1432 not-muc 3049693 unknown 1164 muc 651
66.68/66.79	c iter 653 time 64.2402 not-muc 3049693 unknown 1163 muc 652
66.68/66.79	c iter 654 time 64.3362 not-muc 3049693 unknown 1162 muc 653
66.68/66.79	c iter 655 time 64.4332 not-muc 3049693 unknown 1161 muc 654
66.68/66.79	c iter 656 time 64.5312 not-muc 3049693 unknown 1160 muc 655
66.68/66.79	c iter 657 time 64.6282 not-muc 3049693 unknown 1159 muc 656
66.68/66.79	c iter 658 time 64.7252 not-muc 3049693 unknown 1158 muc 657
66.68/66.79	c iter 659 time 64.8221 not-muc 3049693 unknown 1157 muc 658
66.68/66.79	c iter 660 time 64.9191 not-muc 3049693 unknown 1156 muc 659
66.68/66.79	c iter 661 time 65.0161 not-muc 3049693 unknown 1155 muc 660
66.68/66.79	c iter 662 time 65.1131 not-muc 3049693 unknown 1154 muc 661
66.68/66.79	c iter 663 time 65.2101 not-muc 3049693 unknown 1153 muc 662
66.68/66.79	c iter 664 time 65.3071 not-muc 3049693 unknown 1152 muc 663
66.68/66.79	c iter 665 time 65.4041 not-muc 3049693 unknown 1151 muc 664
66.68/66.79	c iter 666 time 65.501 not-muc 3049693 unknown 1150 muc 665
66.68/66.79	c iter 667 time 65.599 not-muc 3049693 unknown 1149 muc 666
66.68/66.79	c iter 668 time 65.698 not-muc 3049693 unknown 1148 muc 667
66.68/66.79	c iter 669 time 65.795 not-muc 3049693 unknown 1147 muc 668
66.68/66.79	c iter 670 time 65.893 not-muc 3049693 unknown 1146 muc 669
66.68/66.79	c iter 671 time 65.99 not-muc 3049693 unknown 1145 muc 670
66.68/66.79	c iter 672 time 66.087 not-muc 3049693 unknown 1144 muc 671
66.68/66.79	c iter 673 time 66.1849 not-muc 3049693 unknown 1143 muc 672
66.68/66.79	c iter 674 time 66.2819 not-muc 3049693 unknown 1142 muc 673
66.68/66.79	c iter 675 time 66.3789 not-muc 3049693 unknown 1141 muc 674
66.68/66.79	c iter 676 time 66.4759 not-muc 3049693 unknown 1140 muc 675
73.28/73.31	c iter 677 time 66.5739 not-muc 3049693 unknown 1139 muc 676
73.28/73.31	c iter 678 time 66.6709 not-muc 3049693 unknown 1138 muc 677
73.28/73.31	c iter 679 time 66.7678 not-muc 3049693 unknown 1137 muc 678
73.28/73.31	c iter 680 time 66.8658 not-muc 3049693 unknown 1136 muc 679
73.28/73.31	c iter 681 time 66.9628 not-muc 3049693 unknown 1135 muc 680
73.28/73.31	c iter 682 time 67.0608 not-muc 3049693 unknown 1134 muc 681
73.28/73.31	c iter 683 time 67.1578 not-muc 3049693 unknown 1133 muc 682
73.28/73.31	c iter 684 time 67.2558 not-muc 3049693 unknown 1132 muc 683
73.28/73.31	c iter 685 time 67.3528 not-muc 3049693 unknown 1131 muc 684
73.28/73.31	c iter 686 time 67.4507 not-muc 3049693 unknown 1130 muc 685
73.28/73.31	c iter 687 time 67.5477 not-muc 3049693 unknown 1129 muc 686
73.28/73.31	c iter 688 time 67.6457 not-muc 3049693 unknown 1128 muc 687
73.28/73.31	c iter 689 time 67.7427 not-muc 3049693 unknown 1127 muc 688
73.28/73.31	c iter 690 time 67.8407 not-muc 3049693 unknown 1126 muc 689
73.28/73.31	c iter 691 time 67.9387 not-muc 3049693 unknown 1125 muc 690
73.28/73.31	c iter 692 time 68.0357 not-muc 3049693 unknown 1124 muc 691
73.28/73.31	c iter 693 time 68.1326 not-muc 3049693 unknown 1123 muc 692
73.28/73.31	c iter 694 time 68.2306 not-muc 3049693 unknown 1122 muc 693
73.28/73.31	c iter 695 time 68.3276 not-muc 3049693 unknown 1121 muc 694
73.28/73.31	c iter 696 time 68.4246 not-muc 3049693 unknown 1120 muc 695
73.28/73.31	c iter 697 time 68.5226 not-muc 3049693 unknown 1119 muc 696
73.28/73.31	c iter 698 time 68.6196 not-muc 3049693 unknown 1118 muc 697
73.28/73.31	c iter 699 time 68.7166 not-muc 3049693 unknown 1117 muc 698
73.28/73.31	c iter 700 time 68.8135 not-muc 3049693 unknown 1116 muc 699
73.28/73.31	c iter 701 time 68.9115 not-muc 3049693 unknown 1115 muc 700
73.28/73.31	c iter 702 time 69.0085 not-muc 3049693 unknown 1114 muc 701
73.28/73.31	c iter 703 time 69.1065 not-muc 3049693 unknown 1113 muc 702
73.28/73.31	c iter 704 time 69.2035 not-muc 3049693 unknown 1112 muc 703
73.28/73.31	c iter 705 time 69.3005 not-muc 3049693 unknown 1111 muc 704
73.28/73.31	c iter 706 time 69.3974 not-muc 3049693 unknown 1110 muc 705
73.28/73.31	c iter 707 time 69.4944 not-muc 3049693 unknown 1109 muc 706
73.28/73.31	c iter 708 time 69.5924 not-muc 3049693 unknown 1108 muc 707
73.28/73.31	c iter 709 time 69.6894 not-muc 3049693 unknown 1107 muc 708
73.28/73.31	c iter 710 time 69.7864 not-muc 3049693 unknown 1106 muc 709
73.28/73.31	c iter 711 time 69.8844 not-muc 3049693 unknown 1105 muc 710
73.28/73.31	c iter 712 time 69.9814 not-muc 3049693 unknown 1104 muc 711
73.28/73.31	c iter 713 time 70.0783 not-muc 3049693 unknown 1103 muc 712
73.28/73.31	c iter 714 time 70.1763 not-muc 3049693 unknown 1102 muc 713
73.28/73.31	c iter 715 time 70.2733 not-muc 3049693 unknown 1101 muc 714
73.28/73.31	c iter 716 time 70.3703 not-muc 3049693 unknown 1100 muc 715
73.28/73.31	c iter 717 time 70.4673 not-muc 3049693 unknown 1099 muc 716
73.28/73.31	c iter 718 time 70.5653 not-muc 3049693 unknown 1098 muc 717
73.28/73.31	c iter 719 time 70.6623 not-muc 3049693 unknown 1097 muc 718
73.28/73.31	c iter 720 time 70.7592 not-muc 3049693 unknown 1096 muc 719
73.28/73.31	c iter 721 time 70.8562 not-muc 3049693 unknown 1095 muc 720
73.28/73.31	c iter 722 time 70.9532 not-muc 3049693 unknown 1094 muc 721
73.28/73.31	c iter 723 time 71.0502 not-muc 3049693 unknown 1093 muc 722
73.28/73.31	c iter 724 time 71.1472 not-muc 3049693 unknown 1092 muc 723
73.28/73.31	c iter 725 time 71.2442 not-muc 3049693 unknown 1091 muc 724
73.28/73.31	c iter 726 time 71.3412 not-muc 3049693 unknown 1090 muc 725
73.28/73.31	c iter 727 time 71.4381 not-muc 3049693 unknown 1089 muc 726
73.28/73.31	c iter 728 time 71.5351 not-muc 3049693 unknown 1088 muc 727
73.28/73.31	c iter 729 time 71.6321 not-muc 3049693 unknown 1087 muc 728
73.28/73.31	c iter 730 time 71.7291 not-muc 3049693 unknown 1086 muc 729
73.28/73.31	c iter 731 time 71.8271 not-muc 3049693 unknown 1085 muc 730
73.28/73.31	c iter 732 time 71.9241 not-muc 3049693 unknown 1084 muc 731
73.28/73.31	c iter 733 time 72.0211 not-muc 3049693 unknown 1083 muc 732
73.28/73.31	c iter 734 time 72.118 not-muc 3049693 unknown 1082 muc 733
73.28/73.31	c iter 735 time 72.215 not-muc 3049693 unknown 1081 muc 734
73.28/73.31	c iter 736 time 72.313 not-muc 3049693 unknown 1080 muc 735
73.28/73.31	c iter 737 time 72.41 not-muc 3049693 unknown 1079 muc 736
73.28/73.31	c iter 738 time 72.508 not-muc 3049693 unknown 1078 muc 737
73.28/73.31	c iter 739 time 72.605 not-muc 3049693 unknown 1077 muc 738
73.28/73.31	c iter 740 time 72.7019 not-muc 3049693 unknown 1076 muc 739
73.28/73.31	c iter 741 time 72.7989 not-muc 3049693 unknown 1075 muc 740
73.28/73.31	c iter 742 time 72.8959 not-muc 3049693 unknown 1074 muc 741
73.28/73.31	c iter 743 time 72.9939 not-muc 3049693 unknown 1073 muc 742
79.78/79.83	c iter 744 time 73.0909 not-muc 3049693 unknown 1072 muc 743
79.78/79.83	c iter 745 time 73.1879 not-muc 3049693 unknown 1071 muc 744
79.78/79.83	c iter 746 time 73.2849 not-muc 3049693 unknown 1070 muc 745
79.78/79.83	c iter 747 time 73.3828 not-muc 3049693 unknown 1069 muc 746
79.78/79.83	c iter 748 time 73.4808 not-muc 3049693 unknown 1068 muc 747
79.78/79.83	c iter 749 time 73.5778 not-muc 3049693 unknown 1067 muc 748
79.78/79.83	c iter 750 time 73.6748 not-muc 3049693 unknown 1066 muc 749
79.78/79.83	c iter 751 time 73.7728 not-muc 3049693 unknown 1065 muc 750
79.78/79.83	c iter 752 time 73.8698 not-muc 3049693 unknown 1064 muc 751
79.78/79.83	c iter 753 time 73.9668 not-muc 3049693 unknown 1063 muc 752
79.78/79.83	c iter 754 time 74.0637 not-muc 3049693 unknown 1062 muc 753
79.78/79.83	c iter 755 time 74.1607 not-muc 3049693 unknown 1061 muc 754
79.78/79.83	c iter 756 time 74.2587 not-muc 3049693 unknown 1060 muc 755
79.78/79.83	c iter 757 time 74.3557 not-muc 3049693 unknown 1059 muc 756
79.78/79.83	c iter 758 time 74.4527 not-muc 3049693 unknown 1058 muc 757
79.78/79.83	c iter 759 time 74.5497 not-muc 3049693 unknown 1057 muc 758
79.78/79.83	c iter 760 time 74.6467 not-muc 3049693 unknown 1056 muc 759
79.78/79.83	c iter 761 time 74.7436 not-muc 3049693 unknown 1055 muc 760
79.78/79.83	c iter 762 time 74.8406 not-muc 3049693 unknown 1054 muc 761
79.78/79.83	c iter 763 time 74.9376 not-muc 3049693 unknown 1053 muc 762
79.78/79.83	c iter 764 time 75.0346 not-muc 3049693 unknown 1052 muc 763
79.78/79.83	c iter 765 time 75.1316 not-muc 3049693 unknown 1051 muc 764
79.78/79.83	c iter 766 time 75.2286 not-muc 3049693 unknown 1050 muc 765
79.78/79.83	c iter 767 time 75.3255 not-muc 3049693 unknown 1049 muc 766
79.78/79.83	c iter 768 time 75.4235 not-muc 3049693 unknown 1048 muc 767
79.78/79.83	c iter 769 time 75.5195 not-muc 3049693 unknown 1047 muc 768
79.78/79.83	c iter 770 time 75.6165 not-muc 3049693 unknown 1046 muc 769
79.78/79.83	c iter 771 time 75.7135 not-muc 3049693 unknown 1045 muc 770
79.78/79.83	c iter 772 time 75.8105 not-muc 3049693 unknown 1044 muc 771
79.78/79.83	c iter 773 time 75.9075 not-muc 3049693 unknown 1043 muc 772
79.78/79.83	c iter 774 time 76.0044 not-muc 3049693 unknown 1042 muc 773
79.78/79.83	c iter 775 time 76.1014 not-muc 3049693 unknown 1041 muc 774
79.78/79.83	c iter 776 time 76.1984 not-muc 3049693 unknown 1040 muc 775
79.78/79.83	c iter 777 time 76.2954 not-muc 3049693 unknown 1039 muc 776
79.78/79.83	c iter 778 time 76.3924 not-muc 3049693 unknown 1038 muc 777
79.78/79.83	c iter 779 time 76.4904 not-muc 3049693 unknown 1037 muc 778
79.78/79.83	c iter 780 time 76.5874 not-muc 3049693 unknown 1036 muc 779
79.78/79.83	c iter 781 time 76.6843 not-muc 3049693 unknown 1035 muc 780
79.78/79.83	c iter 782 time 76.7813 not-muc 3049693 unknown 1034 muc 781
79.78/79.83	c iter 783 time 76.8783 not-muc 3049693 unknown 1033 muc 782
79.78/79.83	c iter 784 time 76.9753 not-muc 3049693 unknown 1032 muc 783
79.78/79.83	c iter 785 time 77.0733 not-muc 3049693 unknown 1031 muc 784
79.78/79.83	c iter 786 time 77.1703 not-muc 3049693 unknown 1030 muc 785
79.78/79.83	c iter 787 time 77.2673 not-muc 3049693 unknown 1029 muc 786
79.78/79.83	c iter 788 time 77.3652 not-muc 3049693 unknown 1028 muc 787
79.78/79.83	c iter 789 time 77.4622 not-muc 3049693 unknown 1027 muc 788
79.78/79.83	c iter 790 time 77.5592 not-muc 3049693 unknown 1026 muc 789
79.78/79.83	c iter 791 time 77.6562 not-muc 3049693 unknown 1025 muc 790
79.78/79.83	c iter 792 time 77.7542 not-muc 3049693 unknown 1024 muc 791
79.78/79.83	c iter 793 time 77.8512 not-muc 3049693 unknown 1023 muc 792
79.78/79.83	c iter 794 time 77.9481 not-muc 3049693 unknown 1022 muc 793
79.78/79.83	c iter 795 time 78.0561 not-muc 3049693 unknown 1021 muc 794
79.78/79.83	c iter 796 time 78.1531 not-muc 3049693 unknown 1020 muc 795
79.78/79.83	c iter 797 time 78.2511 not-muc 3049693 unknown 1019 muc 796
79.78/79.83	c iter 798 time 78.3481 not-muc 3049693 unknown 1018 muc 797
79.78/79.83	c iter 799 time 78.4451 not-muc 3049693 unknown 1017 muc 798
79.78/79.83	c iter 800 time 78.5421 not-muc 3049693 unknown 1016 muc 799
79.78/79.83	c iter 801 time 78.64 not-muc 3049693 unknown 1015 muc 800
79.78/79.83	c iter 802 time 78.737 not-muc 3049693 unknown 1014 muc 801
79.78/79.83	c iter 803 time 78.834 not-muc 3049693 unknown 1013 muc 802
79.78/79.83	c iter 804 time 78.931 not-muc 3049693 unknown 1012 muc 803
79.78/79.83	c iter 805 time 79.028 not-muc 3049693 unknown 1011 muc 804
79.78/79.83	c iter 806 time 79.125 not-muc 3049693 unknown 1010 muc 805
79.78/79.83	c iter 807 time 79.222 not-muc 3049693 unknown 1009 muc 806
79.78/79.83	c iter 808 time 79.3189 not-muc 3049693 unknown 1008 muc 807
79.78/79.83	c iter 809 time 79.4159 not-muc 3049693 unknown 1007 muc 808
79.78/79.83	c iter 810 time 79.5129 not-muc 3049693 unknown 1006 muc 809
86.48/86.53	c iter 811 time 79.6099 not-muc 3049693 unknown 1005 muc 810
86.48/86.53	c iter 812 time 79.7069 not-muc 3049693 unknown 1004 muc 811
86.48/86.53	c iter 813 time 79.8049 not-muc 3049693 unknown 1003 muc 812
86.48/86.53	c iter 814 time 79.9019 not-muc 3049693 unknown 1002 muc 813
86.48/86.53	c iter 815 time 79.9988 not-muc 3049693 unknown 1001 muc 814
86.48/86.53	c iter 816 time 80.0968 not-muc 3049693 unknown 1000 muc 815
86.48/86.53	c iter 817 time 80.1938 not-muc 3049693 unknown 999 muc 816
86.48/86.53	c iter 818 time 80.2908 not-muc 3049693 unknown 998 muc 817
86.48/86.53	c iter 819 time 80.3878 not-muc 3049693 unknown 997 muc 818
86.48/86.53	c iter 820 time 80.4848 not-muc 3049693 unknown 996 muc 819
86.48/86.53	c iter 821 time 80.5817 not-muc 3049693 unknown 995 muc 820
86.48/86.53	c iter 822 time 80.6787 not-muc 3049693 unknown 994 muc 821
86.48/86.53	c iter 823 time 80.7767 not-muc 3049693 unknown 993 muc 822
86.48/86.53	c iter 824 time 80.8747 not-muc 3049693 unknown 992 muc 823
86.48/86.53	c iter 825 time 80.9717 not-muc 3049693 unknown 991 muc 824
86.48/86.53	c iter 826 time 81.0687 not-muc 3049693 unknown 990 muc 825
86.48/86.53	c iter 827 time 81.1657 not-muc 3049693 unknown 989 muc 826
86.48/86.53	c iter 828 time 81.2636 not-muc 3049693 unknown 988 muc 827
86.48/86.53	c iter 829 time 81.3606 not-muc 3049693 unknown 987 muc 828
86.48/86.53	c iter 830 time 81.4576 not-muc 3049693 unknown 986 muc 829
86.48/86.53	c iter 831 time 81.5546 not-muc 3049693 unknown 985 muc 830
86.48/86.53	c iter 832 time 81.6526 not-muc 3049693 unknown 984 muc 831
86.48/86.53	c iter 833 time 81.7496 not-muc 3049693 unknown 983 muc 832
86.48/86.53	c iter 834 time 81.8466 not-muc 3049693 unknown 982 muc 833
86.48/86.53	c iter 835 time 81.9445 not-muc 3049693 unknown 981 muc 834
86.48/86.53	c iter 836 time 82.0415 not-muc 3049693 unknown 980 muc 835
86.48/86.53	c iter 837 time 82.1385 not-muc 3049693 unknown 979 muc 836
86.48/86.53	c iter 838 time 82.2355 not-muc 3049693 unknown 978 muc 837
86.48/86.53	c iter 839 time 82.3335 not-muc 3049693 unknown 977 muc 838
86.48/86.53	c iter 840 time 82.4305 not-muc 3049693 unknown 976 muc 839
86.48/86.53	c iter 841 time 82.5275 not-muc 3049693 unknown 975 muc 840
86.48/86.53	c iter 842 time 82.6244 not-muc 3049693 unknown 974 muc 841
86.48/86.53	c iter 843 time 82.7214 not-muc 3049693 unknown 973 muc 842
86.48/86.53	c iter 844 time 82.8194 not-muc 3049693 unknown 972 muc 843
86.48/86.53	c iter 845 time 82.9164 not-muc 3049693 unknown 971 muc 844
86.48/86.53	c iter 846 time 83.0134 not-muc 3049693 unknown 970 muc 845
86.48/86.53	c iter 847 time 83.1104 not-muc 3049693 unknown 969 muc 846
86.48/86.53	c iter 848 time 83.2083 not-muc 3049693 unknown 968 muc 847
86.48/86.53	c iter 849 time 83.3053 not-muc 3049693 unknown 967 muc 848
86.48/86.53	c iter 850 time 83.4023 not-muc 3049693 unknown 966 muc 849
86.48/86.53	c iter 851 time 83.4993 not-muc 3049693 unknown 965 muc 850
86.48/86.53	c iter 852 time 83.5963 not-muc 3049693 unknown 964 muc 851
86.48/86.53	c iter 853 time 83.6933 not-muc 3049693 unknown 963 muc 852
86.48/86.53	c iter 854 time 83.7903 not-muc 3049693 unknown 962 muc 853
86.48/86.53	c iter 855 time 83.8872 not-muc 3049693 unknown 961 muc 854
86.48/86.53	c iter 856 time 83.9832 not-muc 3049693 unknown 960 muc 855
86.48/86.53	c iter 857 time 84.0812 not-muc 3049693 unknown 959 muc 856
86.48/86.53	c iter 858 time 84.1782 not-muc 3049693 unknown 958 muc 857
86.48/86.53	c iter 859 time 84.2752 not-muc 3049693 unknown 957 muc 858
86.48/86.53	c iter 860 time 84.3722 not-muc 3049693 unknown 956 muc 859
86.48/86.53	c iter 861 time 84.4692 not-muc 3049693 unknown 955 muc 860
86.48/86.53	c iter 862 time 84.5661 not-muc 3049693 unknown 954 muc 861
86.48/86.53	c iter 863 time 84.6631 not-muc 3049693 unknown 953 muc 862
86.48/86.53	c iter 864 time 84.7601 not-muc 3049693 unknown 952 muc 863
86.48/86.53	c iter 865 time 84.8571 not-muc 3049693 unknown 951 muc 864
86.48/86.53	c iter 866 time 84.9541 not-muc 3049693 unknown 950 muc 865
86.48/86.53	c iter 867 time 85.0511 not-muc 3049693 unknown 949 muc 866
86.48/86.53	c iter 868 time 85.1481 not-muc 3049693 unknown 948 muc 867
86.48/86.53	c iter 869 time 85.245 not-muc 3049693 unknown 947 muc 868
86.48/86.53	c iter 870 time 85.342 not-muc 3049693 unknown 946 muc 869
86.48/86.53	c iter 871 time 85.439 not-muc 3049693 unknown 945 muc 870
86.48/86.53	c iter 872 time 85.536 not-muc 3049693 unknown 944 muc 871
86.48/86.53	c iter 873 time 85.633 not-muc 3049693 unknown 943 muc 872
86.48/86.53	c iter 874 time 85.73 not-muc 3049693 unknown 942 muc 873
86.48/86.53	c iter 875 time 85.827 not-muc 3049693 unknown 941 muc 874
86.48/86.53	c iter 876 time 85.9239 not-muc 3049693 unknown 940 muc 875
86.48/86.53	c iter 877 time 86.0199 not-muc 3049693 unknown 939 muc 876
86.48/86.53	c iter 878 time 86.1169 not-muc 3049693 unknown 938 muc 877
86.48/86.53	c iter 879 time 86.2139 not-muc 3049693 unknown 937 muc 878
92.89/92.99	c iter 880 time 86.3119 not-muc 3049693 unknown 936 muc 879
92.89/92.99	c iter 881 time 86.4079 not-muc 3049693 unknown 935 muc 880
92.89/92.99	c iter 882 time 86.5048 not-muc 3049693 unknown 934 muc 881
92.89/92.99	c iter 883 time 86.6018 not-muc 3049693 unknown 933 muc 882
92.89/92.99	c iter 884 time 86.6998 not-muc 3049693 unknown 932 muc 883
92.89/92.99	c iter 885 time 86.7968 not-muc 3049693 unknown 931 muc 884
92.89/92.99	c iter 886 time 86.8938 not-muc 3049693 unknown 930 muc 885
92.89/92.99	c iter 887 time 86.9908 not-muc 3049693 unknown 929 muc 886
92.89/92.99	c iter 888 time 87.0878 not-muc 3049693 unknown 928 muc 887
92.89/92.99	c iter 889 time 87.1847 not-muc 3049693 unknown 927 muc 888
92.89/92.99	c iter 890 time 87.2807 not-muc 3049693 unknown 926 muc 889
92.89/92.99	c iter 891 time 87.3777 not-muc 3049693 unknown 925 muc 890
92.89/92.99	c iter 892 time 87.4747 not-muc 3049693 unknown 924 muc 891
92.89/92.99	c iter 893 time 87.5717 not-muc 3049693 unknown 923 muc 892
92.89/92.99	c iter 894 time 87.6687 not-muc 3049693 unknown 922 muc 893
92.89/92.99	c iter 895 time 87.7657 not-muc 3049693 unknown 921 muc 894
92.89/92.99	c iter 896 time 87.8626 not-muc 3049693 unknown 920 muc 895
92.89/92.99	c iter 897 time 87.9596 not-muc 3049693 unknown 919 muc 896
92.89/92.99	c iter 898 time 88.0566 not-muc 3049693 unknown 918 muc 897
92.89/92.99	c iter 899 time 88.1526 not-muc 3049693 unknown 917 muc 898
92.89/92.99	c iter 900 time 88.2496 not-muc 3049693 unknown 916 muc 899
92.89/92.99	c iter 901 time 88.3466 not-muc 3049693 unknown 915 muc 900
92.89/92.99	c iter 902 time 88.4436 not-muc 3049693 unknown 914 muc 901
92.89/92.99	c iter 903 time 88.5405 not-muc 3049693 unknown 913 muc 902
92.89/92.99	c iter 904 time 88.6375 not-muc 3049693 unknown 912 muc 903
92.89/92.99	c iter 905 time 88.7345 not-muc 3049693 unknown 911 muc 904
92.89/92.99	c iter 906 time 88.8315 not-muc 3049693 unknown 910 muc 905
92.89/92.99	c iter 907 time 88.9285 not-muc 3049693 unknown 909 muc 906
92.89/92.99	c iter 908 time 89.0245 not-muc 3049693 unknown 908 muc 907
92.89/92.99	c iter 909 time 89.1215 not-muc 3049693 unknown 907 muc 908
92.89/92.99	c iter 910 time 89.2184 not-muc 3049693 unknown 906 muc 909
92.89/92.99	c iter 911 time 89.3164 not-muc 3049693 unknown 905 muc 910
92.89/92.99	c iter 912 time 89.4134 not-muc 3049693 unknown 904 muc 911
92.89/92.99	c iter 913 time 89.5104 not-muc 3049693 unknown 903 muc 912
92.89/92.99	c iter 914 time 89.6064 not-muc 3049693 unknown 902 muc 913
92.89/92.99	c iter 915 time 89.7044 not-muc 3049693 unknown 901 muc 914
92.89/92.99	c iter 916 time 89.8013 not-muc 3049693 unknown 900 muc 915
92.89/92.99	c iter 917 time 89.8973 not-muc 3049693 unknown 899 muc 916
92.89/92.99	c iter 918 time 89.9943 not-muc 3049693 unknown 898 muc 917
92.89/92.99	c iter 919 time 90.0913 not-muc 3049693 unknown 897 muc 918
92.89/92.99	c iter 920 time 90.1883 not-muc 3049693 unknown 896 muc 919
92.89/92.99	c iter 921 time 90.2843 not-muc 3049693 unknown 895 muc 920
92.89/92.99	c iter 922 time 90.3813 not-muc 3049693 unknown 894 muc 921
92.89/92.99	c iter 923 time 90.4772 not-muc 3049693 unknown 893 muc 922
92.89/92.99	c iter 924 time 90.5742 not-muc 3049693 unknown 892 muc 923
92.89/92.99	c iter 925 time 90.6712 not-muc 3049693 unknown 891 muc 924
92.89/92.99	c iter 926 time 90.7682 not-muc 3049693 unknown 890 muc 925
92.89/92.99	c iter 927 time 90.8652 not-muc 3049693 unknown 889 muc 926
92.89/92.99	c iter 928 time 90.9612 not-muc 3049693 unknown 888 muc 927
92.89/92.99	c iter 929 time 91.0582 not-muc 3049693 unknown 887 muc 928
92.89/92.99	c iter 930 time 91.1551 not-muc 3049693 unknown 886 muc 929
92.89/92.99	c iter 931 time 91.2521 not-muc 3049693 unknown 885 muc 930
92.89/92.99	c iter 932 time 91.3341 not-muc 3049693 unknown 884 muc 931
92.89/92.99	c iter 933 time 91.4161 not-muc 3049693 unknown 883 muc 932
92.89/92.99	c iter 934 time 91.5131 not-muc 3049693 unknown 882 muc 933
92.89/92.99	c iter 935 time 91.6101 not-muc 3049693 unknown 881 muc 934
92.89/92.99	c iter 936 time 91.6921 not-muc 3049693 unknown 880 muc 935
92.89/92.99	c iter 937 time 91.775 not-muc 3049693 unknown 879 muc 936
92.89/92.99	c iter 938 time 91.857 not-muc 3049693 unknown 878 muc 937
92.89/92.99	c iter 939 time 91.939 not-muc 3049693 unknown 877 muc 938
92.89/92.99	c iter 940 time 92.021 not-muc 3049693 unknown 876 muc 939
92.89/92.99	c iter 941 time 92.103 not-muc 3049693 unknown 875 muc 940
92.89/92.99	c iter 942 time 92.185 not-muc 3049693 unknown 874 muc 941
92.89/92.99	c iter 943 time 92.282 not-muc 3049693 unknown 873 muc 942
92.89/92.99	c iter 944 time 92.378 not-muc 3049693 unknown 872 muc 943
92.89/92.99	c iter 945 time 92.4729 not-muc 3049693 unknown 871 muc 944
92.89/92.99	c iter 946 time 92.5699 not-muc 3049693 unknown 870 muc 945
92.89/92.99	c iter 947 time 92.6669 not-muc 3049693 unknown 869 muc 946
99.49/99.51	c iter 948 time 92.7639 not-muc 3049693 unknown 868 muc 947
99.49/99.51	c iter 949 time 92.8609 not-muc 3049693 unknown 867 muc 948
99.49/99.51	c iter 950 time 92.9579 not-muc 3049693 unknown 866 muc 949
99.49/99.51	c iter 951 time 93.0649 not-muc 3049693 unknown 865 muc 950
99.49/99.51	c iter 952 time 93.1618 not-muc 3049693 unknown 864 muc 951
99.49/99.51	c iter 953 time 93.2588 not-muc 3049693 unknown 863 muc 952
99.49/99.51	c iter 954 time 93.3558 not-muc 3049693 unknown 862 muc 953
99.49/99.51	c iter 955 time 93.4528 not-muc 3049693 unknown 861 muc 954
99.49/99.51	c iter 956 time 93.5498 not-muc 3049693 unknown 860 muc 955
99.49/99.51	c iter 957 time 93.6468 not-muc 3049693 unknown 859 muc 956
99.49/99.51	c iter 958 time 93.7437 not-muc 3049693 unknown 858 muc 957
99.49/99.51	c iter 959 time 93.8407 not-muc 3049693 unknown 857 muc 958
99.49/99.51	c iter 960 time 93.9387 not-muc 3049693 unknown 856 muc 959
99.49/99.51	c iter 961 time 94.0357 not-muc 3049693 unknown 855 muc 960
99.49/99.51	c iter 962 time 94.1327 not-muc 3049693 unknown 854 muc 961
99.49/99.51	c iter 963 time 94.2297 not-muc 3049693 unknown 853 muc 962
99.49/99.51	c iter 964 time 94.3267 not-muc 3049693 unknown 852 muc 963
99.49/99.51	c iter 965 time 94.4226 not-muc 3049693 unknown 851 muc 964
99.49/99.51	c iter 966 time 94.5196 not-muc 3049693 unknown 850 muc 965
99.49/99.51	c iter 967 time 94.6166 not-muc 3049693 unknown 849 muc 966
99.49/99.51	c iter 968 time 94.7136 not-muc 3049693 unknown 848 muc 967
99.49/99.51	c iter 969 time 94.8106 not-muc 3049693 unknown 847 muc 968
99.49/99.51	c iter 970 time 94.9076 not-muc 3049693 unknown 846 muc 969
99.49/99.51	c iter 971 time 95.0046 not-muc 3049693 unknown 845 muc 970
99.49/99.51	c iter 972 time 95.1015 not-muc 3049693 unknown 844 muc 971
99.49/99.51	c iter 973 time 95.1985 not-muc 3049693 unknown 843 muc 972
99.49/99.51	c iter 974 time 95.2955 not-muc 3049693 unknown 842 muc 973
99.49/99.51	c iter 975 time 95.3915 not-muc 3049693 unknown 841 muc 974
99.49/99.51	c iter 976 time 95.4885 not-muc 3049693 unknown 840 muc 975
99.49/99.51	c iter 977 time 95.5845 not-muc 3049693 unknown 839 muc 976
99.49/99.51	c iter 978 time 95.6815 not-muc 3049693 unknown 838 muc 977
99.49/99.51	c iter 979 time 95.7784 not-muc 3049693 unknown 837 muc 978
99.49/99.51	c iter 980 time 95.8744 not-muc 3049693 unknown 836 muc 979
99.49/99.51	c iter 981 time 95.9714 not-muc 3049693 unknown 835 muc 980
99.49/99.51	c iter 982 time 96.0684 not-muc 3049693 unknown 834 muc 981
99.49/99.51	c iter 983 time 96.1654 not-muc 3049693 unknown 833 muc 982
99.49/99.51	c iter 984 time 96.2624 not-muc 3049693 unknown 832 muc 983
99.49/99.51	c iter 985 time 96.3594 not-muc 3049693 unknown 831 muc 984
99.49/99.51	c iter 986 time 96.4553 not-muc 3049693 unknown 830 muc 985
99.49/99.51	c iter 987 time 96.5523 not-muc 3049693 unknown 829 muc 986
99.49/99.51	c iter 988 time 96.6493 not-muc 3049693 unknown 828 muc 987
99.49/99.51	c iter 989 time 96.7463 not-muc 3049693 unknown 827 muc 988
99.49/99.51	c iter 990 time 96.8423 not-muc 3049693 unknown 826 muc 989
99.49/99.51	c iter 991 time 96.9243 not-muc 3049693 unknown 825 muc 990
99.49/99.51	c iter 992 time 97.0212 not-muc 3049693 unknown 824 muc 991
99.49/99.51	c iter 993 time 97.1182 not-muc 3049693 unknown 823 muc 992
99.49/99.51	c iter 994 time 97.2152 not-muc 3049693 unknown 822 muc 993
99.49/99.51	c iter 995 time 97.3122 not-muc 3049693 unknown 821 muc 994
99.49/99.51	c iter 996 time 97.4092 not-muc 3049693 unknown 820 muc 995
99.49/99.51	c iter 997 time 97.5052 not-muc 3049693 unknown 819 muc 996
99.49/99.51	c iter 998 time 97.6022 not-muc 3049693 unknown 818 muc 997
99.49/99.51	c iter 999 time 97.6991 not-muc 3049693 unknown 817 muc 998
99.49/99.51	c iter 1000 time 97.7961 not-muc 3049693 unknown 816 muc 999
99.49/99.51	c iter 1001 time 97.8921 not-muc 3049693 unknown 815 muc 1000
99.49/99.51	c iter 1002 time 97.9891 not-muc 3049693 unknown 814 muc 1001
99.49/99.51	c iter 1003 time 98.0861 not-muc 3049693 unknown 813 muc 1002
99.49/99.51	c iter 1004 time 98.1831 not-muc 3049693 unknown 812 muc 1003
99.49/99.51	c iter 1005 time 98.2791 not-muc 3049693 unknown 811 muc 1004
99.49/99.51	c iter 1006 time 98.376 not-muc 3049693 unknown 810 muc 1005
99.49/99.51	c iter 1007 time 98.457 not-muc 3049693 unknown 809 muc 1006
99.49/99.51	c iter 1008 time 98.539 not-muc 3049693 unknown 808 muc 1007
99.49/99.51	c iter 1009 time 98.62 not-muc 3049693 unknown 807 muc 1008
99.49/99.51	c iter 1010 time 98.702 not-muc 3049693 unknown 806 muc 1009
99.49/99.51	c iter 1011 time 98.799 not-muc 3049693 unknown 805 muc 1010
99.49/99.51	c iter 1012 time 98.895 not-muc 3049693 unknown 804 muc 1011
99.49/99.51	c iter 1013 time 98.992 not-muc 3049693 unknown 803 muc 1012
99.49/99.51	c iter 1014 time 99.0889 not-muc 3049693 unknown 802 muc 1013
99.49/99.51	c iter 1015 time 99.1849 not-muc 3049693 unknown 801 muc 1014
105.69/105.72	c iter 1016 time 99.2819 not-muc 3049693 unknown 800 muc 1015
105.69/105.72	c iter 1017 time 99.3789 not-muc 3049693 unknown 799 muc 1016
105.69/105.72	c iter 1018 time 99.4759 not-muc 3049693 unknown 798 muc 1017
105.69/105.72	c iter 1019 time 99.5719 not-muc 3049693 unknown 797 muc 1018
105.69/105.72	c iter 1020 time 99.6688 not-muc 3049693 unknown 796 muc 1019
105.69/105.72	c iter 1021 time 99.7658 not-muc 3049693 unknown 795 muc 1020
105.69/105.72	c iter 1022 time 99.8628 not-muc 3049693 unknown 794 muc 1021
105.69/105.72	c iter 1023 time 99.9598 not-muc 3049693 unknown 793 muc 1022
105.69/105.72	c iter 1024 time 100.056 not-muc 3049693 unknown 792 muc 1023
105.69/105.72	c iter 1025 time 100.153 not-muc 3049693 unknown 791 muc 1024
105.69/105.72	c iter 1026 time 100.235 not-muc 3049693 unknown 790 muc 1025
105.69/105.72	c iter 1027 time 100.317 not-muc 3049693 unknown 789 muc 1026
105.69/105.72	c iter 1028 time 100.399 not-muc 3049693 unknown 788 muc 1027
105.69/105.72	c iter 1029 time 100.481 not-muc 3049693 unknown 787 muc 1028
105.69/105.72	c iter 1030 time 100.578 not-muc 3049693 unknown 786 muc 1029
105.69/105.72	c iter 1031 time 100.675 not-muc 3049693 unknown 785 muc 1030
105.69/105.72	c iter 1032 time 100.772 not-muc 3049693 unknown 784 muc 1031
105.69/105.72	c iter 1033 time 100.868 not-muc 3049693 unknown 783 muc 1032
105.69/105.72	c iter 1034 time 100.965 not-muc 3049693 unknown 782 muc 1033
105.69/105.72	c iter 1035 time 101.062 not-muc 3049693 unknown 781 muc 1034
105.69/105.72	c iter 1036 time 101.159 not-muc 3049693 unknown 780 muc 1035
105.69/105.72	c iter 1037 time 101.256 not-muc 3049693 unknown 779 muc 1036
105.69/105.72	c iter 1038 time 101.352 not-muc 3049693 unknown 778 muc 1037
105.69/105.72	c iter 1039 time 101.449 not-muc 3049693 unknown 777 muc 1038
105.69/105.72	c iter 1040 time 101.545 not-muc 3049693 unknown 776 muc 1039
105.69/105.72	c iter 1041 time 101.642 not-muc 3049693 unknown 775 muc 1040
105.69/105.72	c iter 1042 time 101.739 not-muc 3049693 unknown 774 muc 1041
105.69/105.72	c iter 1043 time 101.835 not-muc 3049693 unknown 773 muc 1042
105.69/105.72	c iter 1044 time 101.932 not-muc 3049693 unknown 772 muc 1043
105.69/105.72	c iter 1045 time 102.013 not-muc 3049693 unknown 771 muc 1044
105.69/105.72	c iter 1046 time 102.095 not-muc 3049693 unknown 770 muc 1045
105.69/105.72	c iter 1047 time 102.177 not-muc 3049693 unknown 769 muc 1046
105.69/105.72	c iter 1048 time 102.258 not-muc 3049693 unknown 768 muc 1047
105.69/105.72	c iter 1049 time 102.355 not-muc 3049693 unknown 767 muc 1048
105.69/105.72	c iter 1050 time 102.451 not-muc 3049693 unknown 766 muc 1049
105.69/105.72	c iter 1051 time 102.548 not-muc 3049693 unknown 765 muc 1050
105.69/105.72	c iter 1052 time 102.645 not-muc 3049693 unknown 764 muc 1051
105.69/105.72	c iter 1053 time 102.741 not-muc 3049693 unknown 763 muc 1052
105.69/105.72	c iter 1054 time 102.838 not-muc 3049693 unknown 762 muc 1053
105.69/105.72	c iter 1055 time 102.935 not-muc 3049693 unknown 761 muc 1054
105.69/105.72	c iter 1056 time 103.032 not-muc 3049693 unknown 760 muc 1055
105.69/105.72	c iter 1057 time 103.129 not-muc 3049693 unknown 759 muc 1056
105.69/105.72	c iter 1058 time 103.226 not-muc 3049693 unknown 758 muc 1057
105.69/105.72	c iter 1059 time 103.322 not-muc 3049693 unknown 757 muc 1058
105.69/105.72	c iter 1060 time 103.419 not-muc 3049693 unknown 756 muc 1059
105.69/105.72	c iter 1061 time 103.516 not-muc 3049693 unknown 755 muc 1060
105.69/105.72	c iter 1062 time 103.614 not-muc 3049693 unknown 754 muc 1061
105.69/105.72	c iter 1063 time 103.711 not-muc 3049693 unknown 753 muc 1062
105.69/105.72	c iter 1064 time 103.792 not-muc 3049693 unknown 752 muc 1063
105.69/105.72	c iter 1065 time 103.875 not-muc 3049693 unknown 751 muc 1064
105.69/105.72	c iter 1066 time 103.957 not-muc 3049693 unknown 750 muc 1065
105.69/105.72	c iter 1067 time 104.038 not-muc 3049693 unknown 749 muc 1066
105.69/105.72	c iter 1068 time 104.135 not-muc 3049693 unknown 748 muc 1067
105.69/105.72	c iter 1069 time 104.232 not-muc 3049693 unknown 747 muc 1068
105.69/105.72	c iter 1070 time 104.329 not-muc 3049693 unknown 746 muc 1069
105.69/105.72	c iter 1071 time 104.426 not-muc 3049693 unknown 745 muc 1070
105.69/105.72	c iter 1072 time 104.523 not-muc 3049693 unknown 744 muc 1071
105.69/105.72	c iter 1073 time 104.619 not-muc 3049693 unknown 743 muc 1072
105.69/105.72	c iter 1074 time 104.716 not-muc 3049693 unknown 742 muc 1073
105.69/105.72	c iter 1075 time 104.812 not-muc 3049693 unknown 741 muc 1074
105.69/105.72	c iter 1076 time 104.909 not-muc 3049693 unknown 740 muc 1075
105.69/105.72	c iter 1077 time 105.006 not-muc 3049693 unknown 739 muc 1076
105.69/105.72	c iter 1078 time 105.102 not-muc 3049693 unknown 738 muc 1077
105.69/105.72	c iter 1079 time 105.199 not-muc 3049693 unknown 737 muc 1078
105.69/105.72	c iter 1080 time 105.296 not-muc 3049693 unknown 736 muc 1079
105.69/105.72	c iter 1081 time 105.392 not-muc 3049693 unknown 735 muc 1080
111.79/111.85	c iter 1082 time 105.489 not-muc 3049693 unknown 734 muc 1081
111.79/111.85	c iter 1083 time 105.571 not-muc 3049693 unknown 733 muc 1082
111.79/111.85	c iter 1084 time 105.653 not-muc 3049693 unknown 732 muc 1083
111.79/111.85	c iter 1085 time 105.734 not-muc 3049693 unknown 731 muc 1084
111.79/111.85	c iter 1086 time 105.816 not-muc 3049693 unknown 730 muc 1085
111.79/111.85	c iter 1087 time 105.913 not-muc 3049693 unknown 729 muc 1086
111.79/111.85	c iter 1088 time 106.009 not-muc 3049693 unknown 728 muc 1087
111.79/111.85	c iter 1089 time 106.09 not-muc 3049693 unknown 727 muc 1088
111.79/111.85	c iter 1090 time 106.172 not-muc 3049693 unknown 726 muc 1089
111.79/111.85	c iter 1091 time 106.254 not-muc 3049693 unknown 725 muc 1090
111.79/111.85	c iter 1092 time 106.336 not-muc 3049693 unknown 724 muc 1091
111.79/111.85	c iter 1093 time 106.418 not-muc 3049693 unknown 723 muc 1092
111.79/111.85	c iter 1094 time 106.5 not-muc 3049693 unknown 722 muc 1093
111.79/111.85	c iter 1095 time 106.581 not-muc 3049693 unknown 721 muc 1094
111.79/111.85	c iter 1096 time 106.663 not-muc 3049693 unknown 720 muc 1095
111.79/111.85	c iter 1097 time 106.745 not-muc 3049693 unknown 719 muc 1096
111.79/111.85	c iter 1098 time 106.827 not-muc 3049693 unknown 718 muc 1097
111.79/111.85	c iter 1099 time 106.908 not-muc 3049693 unknown 717 muc 1098
111.79/111.85	c iter 1100 time 106.99 not-muc 3049693 unknown 716 muc 1099
111.79/111.85	c iter 1101 time 107.087 not-muc 3049693 unknown 715 muc 1100
111.79/111.85	c iter 1102 time 107.169 not-muc 3049693 unknown 714 muc 1101
111.79/111.85	c iter 1103 time 107.266 not-muc 3049693 unknown 713 muc 1102
111.79/111.85	c iter 1104 time 107.363 not-muc 3049693 unknown 712 muc 1103
111.79/111.85	c iter 1105 time 107.46 not-muc 3049693 unknown 711 muc 1104
111.79/111.85	c iter 1106 time 107.557 not-muc 3049693 unknown 710 muc 1105
111.79/111.85	c iter 1107 time 107.654 not-muc 3049693 unknown 709 muc 1106
111.79/111.85	c iter 1108 time 107.751 not-muc 3049693 unknown 708 muc 1107
111.79/111.85	c iter 1109 time 107.847 not-muc 3049693 unknown 707 muc 1108
111.79/111.85	c iter 1110 time 107.944 not-muc 3049693 unknown 706 muc 1109
111.79/111.85	c iter 1111 time 108.041 not-muc 3049693 unknown 705 muc 1110
111.79/111.85	c iter 1112 time 108.137 not-muc 3049693 unknown 704 muc 1111
111.79/111.85	c iter 1113 time 108.234 not-muc 3049693 unknown 703 muc 1112
111.79/111.85	c iter 1114 time 108.33 not-muc 3049693 unknown 702 muc 1113
111.79/111.85	c iter 1115 time 108.427 not-muc 3049693 unknown 701 muc 1114
111.79/111.85	c iter 1116 time 108.523 not-muc 3049693 unknown 700 muc 1115
111.79/111.85	c iter 1117 time 108.63 not-muc 3049693 unknown 699 muc 1116
111.79/111.85	c iter 1118 time 108.726 not-muc 3049693 unknown 698 muc 1117
111.79/111.85	c iter 1119 time 108.823 not-muc 3049693 unknown 697 muc 1118
111.79/111.85	c iter 1120 time 108.919 not-muc 3049693 unknown 696 muc 1119
111.79/111.85	c iter 1121 time 109.016 not-muc 3049693 unknown 695 muc 1120
111.79/111.85	c iter 1122 time 109.113 not-muc 3049693 unknown 694 muc 1121
111.79/111.85	c iter 1123 time 109.21 not-muc 3049693 unknown 693 muc 1122
111.79/111.85	c iter 1124 time 109.306 not-muc 3049693 unknown 692 muc 1123
111.79/111.85	c iter 1125 time 109.403 not-muc 3049693 unknown 691 muc 1124
111.79/111.85	c iter 1126 time 109.5 not-muc 3049693 unknown 690 muc 1125
111.79/111.85	c iter 1127 time 109.596 not-muc 3049693 unknown 689 muc 1126
111.79/111.85	c iter 1128 time 109.693 not-muc 3049693 unknown 688 muc 1127
111.79/111.85	c iter 1129 time 109.79 not-muc 3049693 unknown 687 muc 1128
111.79/111.85	c iter 1130 time 109.886 not-muc 3049693 unknown 686 muc 1129
111.79/111.85	c iter 1131 time 109.983 not-muc 3049693 unknown 685 muc 1130
111.79/111.85	c iter 1132 time 110.079 not-muc 3049693 unknown 684 muc 1131
111.79/111.85	c iter 1133 time 110.176 not-muc 3049693 unknown 683 muc 1132
111.79/111.85	c iter 1134 time 110.272 not-muc 3049693 unknown 682 muc 1133
111.79/111.85	c iter 1135 time 110.368 not-muc 3049693 unknown 681 muc 1134
111.79/111.85	c iter 1136 time 110.464 not-muc 3049693 unknown 680 muc 1135
111.79/111.85	c iter 1137 time 110.56 not-muc 3049693 unknown 679 muc 1136
111.79/111.85	c iter 1138 time 110.657 not-muc 3049693 unknown 678 muc 1137
111.79/111.85	c iter 1139 time 110.753 not-muc 3049693 unknown 677 muc 1138
111.79/111.85	c iter 1140 time 110.85 not-muc 3049693 unknown 676 muc 1139
111.79/111.85	c iter 1141 time 110.946 not-muc 3049693 unknown 675 muc 1140
111.79/111.85	c iter 1142 time 111.043 not-muc 3049693 unknown 674 muc 1141
111.79/111.85	c iter 1143 time 111.14 not-muc 3049693 unknown 673 muc 1142
111.79/111.85	c iter 1144 time 111.236 not-muc 3049693 unknown 672 muc 1143
111.79/111.85	c iter 1145 time 111.333 not-muc 3049693 unknown 671 muc 1144
111.79/111.85	c iter 1146 time 111.429 not-muc 3049693 unknown 670 muc 1145
111.79/111.85	c iter 1147 time 111.526 not-muc 3049693 unknown 669 muc 1146
118.19/118.22	c iter 1148 time 111.622 not-muc 3049693 unknown 668 muc 1147
118.19/118.22	c iter 1149 time 111.719 not-muc 3049693 unknown 667 muc 1148
118.19/118.22	c iter 1150 time 111.815 not-muc 3049693 unknown 666 muc 1149
118.19/118.22	c iter 1151 time 111.912 not-muc 3049693 unknown 665 muc 1150
118.19/118.22	c iter 1152 time 112.008 not-muc 3049693 unknown 664 muc 1151
118.19/118.22	c iter 1153 time 112.105 not-muc 3049693 unknown 663 muc 1152
118.19/118.22	c iter 1154 time 112.201 not-muc 3049693 unknown 662 muc 1153
118.19/118.22	c iter 1155 time 112.298 not-muc 3049693 unknown 661 muc 1154
118.19/118.22	c iter 1156 time 112.394 not-muc 3049693 unknown 660 muc 1155
118.19/118.22	c iter 1157 time 112.491 not-muc 3049693 unknown 659 muc 1156
118.19/118.22	c iter 1158 time 112.587 not-muc 3049693 unknown 658 muc 1157
118.19/118.22	c iter 1159 time 112.684 not-muc 3049693 unknown 657 muc 1158
118.19/118.22	c iter 1160 time 112.78 not-muc 3049693 unknown 656 muc 1159
118.19/118.22	c iter 1161 time 112.876 not-muc 3049693 unknown 655 muc 1160
118.19/118.22	c iter 1162 time 112.973 not-muc 3049693 unknown 654 muc 1161
118.19/118.22	c iter 1163 time 113.07 not-muc 3049693 unknown 653 muc 1162
118.19/118.22	c iter 1164 time 113.166 not-muc 3049693 unknown 652 muc 1163
118.19/118.22	c iter 1165 time 113.263 not-muc 3049693 unknown 651 muc 1164
118.19/118.22	c iter 1166 time 113.359 not-muc 3049693 unknown 650 muc 1165
118.19/118.22	c iter 1167 time 113.456 not-muc 3049693 unknown 649 muc 1166
118.19/118.22	c iter 1168 time 113.552 not-muc 3049693 unknown 648 muc 1167
118.19/118.22	c iter 1169 time 113.648 not-muc 3049693 unknown 647 muc 1168
118.19/118.22	c iter 1170 time 113.744 not-muc 3049693 unknown 646 muc 1169
118.19/118.22	c iter 1171 time 113.841 not-muc 3049693 unknown 645 muc 1170
118.19/118.22	c iter 1172 time 113.937 not-muc 3049693 unknown 644 muc 1171
118.19/118.22	c iter 1173 time 114.034 not-muc 3049693 unknown 643 muc 1172
118.19/118.22	c iter 1174 time 114.13 not-muc 3049693 unknown 642 muc 1173
118.19/118.22	c iter 1175 time 114.227 not-muc 3049693 unknown 641 muc 1174
118.19/118.22	c iter 1176 time 114.323 not-muc 3049693 unknown 640 muc 1175
118.19/118.22	c iter 1177 time 114.42 not-muc 3049693 unknown 639 muc 1176
118.19/118.22	c iter 1178 time 114.516 not-muc 3049693 unknown 638 muc 1177
118.19/118.22	c iter 1179 time 114.613 not-muc 3049693 unknown 637 muc 1178
118.19/118.22	c iter 1180 time 114.709 not-muc 3049693 unknown 636 muc 1179
118.19/118.22	c iter 1181 time 114.806 not-muc 3049693 unknown 635 muc 1180
118.19/118.22	c iter 1182 time 114.902 not-muc 3049693 unknown 634 muc 1181
118.19/118.22	c iter 1183 time 114.998 not-muc 3049693 unknown 633 muc 1182
118.19/118.22	c iter 1184 time 115.094 not-muc 3049693 unknown 632 muc 1183
118.19/118.22	c iter 1185 time 115.19 not-muc 3049693 unknown 631 muc 1184
118.19/118.22	c iter 1186 time 115.286 not-muc 3049693 unknown 630 muc 1185
118.19/118.22	c iter 1187 time 115.382 not-muc 3049693 unknown 629 muc 1186
118.19/118.22	c iter 1188 time 115.479 not-muc 3049693 unknown 628 muc 1187
118.19/118.22	c iter 1189 time 115.576 not-muc 3049693 unknown 627 muc 1188
118.19/118.22	c iter 1190 time 115.672 not-muc 3049693 unknown 626 muc 1189
118.19/118.22	c iter 1191 time 115.769 not-muc 3049693 unknown 625 muc 1190
118.19/118.22	c iter 1192 time 115.865 not-muc 3049693 unknown 624 muc 1191
118.19/118.22	c iter 1193 time 115.961 not-muc 3049693 unknown 623 muc 1192
118.19/118.22	c iter 1194 time 116.059 not-muc 3049693 unknown 622 muc 1193
118.19/118.22	c iter 1195 time 116.155 not-muc 3049693 unknown 621 muc 1194
118.19/118.22	c iter 1196 time 116.251 not-muc 3049693 unknown 620 muc 1195
118.19/118.22	c iter 1197 time 116.348 not-muc 3049693 unknown 619 muc 1196
118.19/118.22	c iter 1198 time 116.444 not-muc 3049693 unknown 618 muc 1197
118.19/118.22	c iter 1199 time 116.541 not-muc 3049693 unknown 617 muc 1198
118.19/118.22	c iter 1200 time 116.637 not-muc 3049693 unknown 616 muc 1199
118.19/118.22	c iter 1201 time 116.733 not-muc 3049693 unknown 615 muc 1200
118.19/118.22	c iter 1202 time 116.83 not-muc 3049693 unknown 614 muc 1201
118.19/118.22	c iter 1203 time 116.926 not-muc 3049693 unknown 613 muc 1202
118.19/118.22	c iter 1204 time 117.023 not-muc 3049693 unknown 612 muc 1203
118.19/118.22	c iter 1205 time 117.119 not-muc 3049693 unknown 611 muc 1204
118.19/118.22	c iter 1206 time 117.216 not-muc 3049693 unknown 610 muc 1205
118.19/118.22	c iter 1207 time 117.312 not-muc 3049693 unknown 609 muc 1206
118.19/118.22	c iter 1208 time 117.409 not-muc 3049693 unknown 608 muc 1207
118.19/118.22	c iter 1209 time 117.506 not-muc 3049693 unknown 607 muc 1208
118.19/118.22	c iter 1210 time 117.602 not-muc 3049693 unknown 606 muc 1209
118.19/118.22	c iter 1211 time 117.699 not-muc 3049693 unknown 605 muc 1210
118.19/118.22	c iter 1212 time 117.795 not-muc 3049693 unknown 604 muc 1211
118.19/118.22	c iter 1213 time 117.892 not-muc 3049693 unknown 603 muc 1212
124.58/124.68	c iter 1214 time 117.988 not-muc 3049693 unknown 602 muc 1213
124.58/124.68	c iter 1215 time 118.084 not-muc 3049693 unknown 601 muc 1214
124.58/124.68	c iter 1216 time 118.181 not-muc 3049693 unknown 600 muc 1215
124.58/124.68	c iter 1217 time 118.277 not-muc 3049693 unknown 599 muc 1216
124.58/124.68	c iter 1218 time 118.373 not-muc 3049693 unknown 598 muc 1217
124.58/124.68	c iter 1219 time 118.47 not-muc 3049693 unknown 597 muc 1218
124.58/124.68	c iter 1220 time 118.566 not-muc 3049693 unknown 596 muc 1219
124.58/124.68	c iter 1221 time 118.662 not-muc 3049693 unknown 595 muc 1220
124.58/124.68	c iter 1222 time 118.759 not-muc 3049693 unknown 594 muc 1221
124.58/124.68	c iter 1223 time 118.855 not-muc 3049693 unknown 593 muc 1222
124.58/124.68	c iter 1224 time 118.952 not-muc 3049693 unknown 592 muc 1223
124.58/124.68	c iter 1225 time 119.048 not-muc 3049693 unknown 591 muc 1224
124.58/124.68	c iter 1226 time 119.145 not-muc 3049693 unknown 590 muc 1225
124.58/124.68	c iter 1227 time 119.252 not-muc 3049693 unknown 589 muc 1226
124.58/124.68	c iter 1228 time 119.348 not-muc 3049693 unknown 588 muc 1227
124.58/124.68	c iter 1229 time 119.444 not-muc 3049693 unknown 587 muc 1228
124.58/124.68	c iter 1230 time 119.541 not-muc 3049693 unknown 586 muc 1229
124.58/124.68	c iter 1231 time 119.637 not-muc 3049693 unknown 585 muc 1230
124.58/124.68	c iter 1232 time 119.733 not-muc 3049693 unknown 584 muc 1231
124.58/124.68	c iter 1233 time 119.83 not-muc 3049693 unknown 583 muc 1232
124.58/124.68	c iter 1234 time 119.926 not-muc 3049693 unknown 582 muc 1233
124.58/124.68	c iter 1235 time 120.022 not-muc 3049693 unknown 581 muc 1234
124.58/124.68	c iter 1236 time 120.119 not-muc 3049693 unknown 580 muc 1235
124.58/124.68	c iter 1237 time 120.215 not-muc 3049693 unknown 579 muc 1236
124.58/124.68	c iter 1238 time 120.312 not-muc 3049693 unknown 578 muc 1237
124.58/124.68	c iter 1239 time 120.408 not-muc 3049693 unknown 577 muc 1238
124.58/124.68	c iter 1240 time 120.504 not-muc 3049693 unknown 576 muc 1239
124.58/124.68	c iter 1241 time 120.6 not-muc 3049693 unknown 575 muc 1240
124.58/124.68	c iter 1242 time 120.697 not-muc 3049693 unknown 574 muc 1241
124.58/124.68	c iter 1243 time 120.794 not-muc 3049693 unknown 573 muc 1242
124.58/124.68	c iter 1244 time 120.89 not-muc 3049693 unknown 572 muc 1243
124.58/124.68	c iter 1245 time 120.986 not-muc 3049693 unknown 571 muc 1244
124.58/124.68	c iter 1246 time 121.083 not-muc 3049693 unknown 570 muc 1245
124.58/124.68	c iter 1247 time 121.179 not-muc 3049693 unknown 569 muc 1246
124.58/124.68	c iter 1248 time 121.276 not-muc 3049693 unknown 568 muc 1247
124.58/124.68	c iter 1249 time 121.372 not-muc 3049693 unknown 567 muc 1248
124.58/124.68	c iter 1250 time 121.469 not-muc 3049693 unknown 566 muc 1249
124.58/124.68	c iter 1251 time 121.565 not-muc 3049693 unknown 565 muc 1250
124.58/124.68	c iter 1252 time 121.661 not-muc 3049693 unknown 564 muc 1251
124.58/124.68	c iter 1253 time 121.757 not-muc 3049693 unknown 563 muc 1252
124.58/124.68	c iter 1254 time 121.853 not-muc 3049693 unknown 562 muc 1253
124.58/124.68	c iter 1255 time 121.95 not-muc 3049693 unknown 561 muc 1254
124.58/124.68	c iter 1256 time 122.046 not-muc 3049693 unknown 560 muc 1255
124.58/124.68	c iter 1257 time 122.142 not-muc 3049693 unknown 559 muc 1256
124.58/124.68	c iter 1258 time 122.239 not-muc 3049693 unknown 558 muc 1257
124.58/124.68	c iter 1259 time 122.335 not-muc 3049693 unknown 557 muc 1258
124.58/124.68	c iter 1260 time 122.432 not-muc 3049693 unknown 556 muc 1259
124.58/124.68	c iter 1261 time 122.528 not-muc 3049693 unknown 555 muc 1260
124.58/124.68	c iter 1262 time 122.624 not-muc 3049693 unknown 554 muc 1261
124.58/124.68	c iter 1263 time 122.72 not-muc 3049693 unknown 553 muc 1262
124.58/124.68	c iter 1264 time 122.816 not-muc 3049693 unknown 552 muc 1263
124.58/124.68	c iter 1265 time 122.912 not-muc 3049693 unknown 551 muc 1264
124.58/124.68	c iter 1266 time 123.008 not-muc 3049693 unknown 550 muc 1265
124.58/124.68	c iter 1267 time 123.105 not-muc 3049693 unknown 549 muc 1266
124.58/124.68	c iter 1268 time 123.201 not-muc 3049693 unknown 548 muc 1267
124.58/124.68	c iter 1269 time 123.297 not-muc 3049693 unknown 547 muc 1268
124.58/124.68	c iter 1270 time 123.394 not-muc 3049693 unknown 546 muc 1269
124.58/124.68	c iter 1271 time 123.49 not-muc 3049693 unknown 545 muc 1270
124.58/124.68	c iter 1272 time 123.587 not-muc 3049693 unknown 544 muc 1271
124.58/124.68	c iter 1273 time 123.683 not-muc 3049693 unknown 543 muc 1272
124.58/124.68	c iter 1274 time 123.78 not-muc 3049693 unknown 542 muc 1273
124.58/124.68	c iter 1275 time 123.876 not-muc 3049693 unknown 541 muc 1274
124.58/124.68	c iter 1276 time 123.972 not-muc 3049693 unknown 540 muc 1275
124.58/124.68	c iter 1277 time 124.068 not-muc 3049693 unknown 539 muc 1276
124.58/124.68	c iter 1278 time 124.164 not-muc 3049693 unknown 538 muc 1277
124.58/124.68	c iter 1279 time 124.26 not-muc 3049693 unknown 537 muc 1278
124.58/124.68	c iter 1280 time 124.356 not-muc 3049693 unknown 536 muc 1279
130.89/130.91	c iter 1281 time 124.453 not-muc 3049693 unknown 535 muc 1280
130.89/130.91	c iter 1282 time 124.549 not-muc 3049693 unknown 534 muc 1281
130.89/130.91	c iter 1283 time 124.646 not-muc 3049693 unknown 533 muc 1282
130.89/130.91	c iter 1284 time 124.742 not-muc 3049693 unknown 532 muc 1283
130.89/130.91	c iter 1285 time 124.838 not-muc 3049693 unknown 531 muc 1284
130.89/130.91	c iter 1286 time 124.934 not-muc 3049693 unknown 530 muc 1285
130.89/130.91	c iter 1287 time 125.031 not-muc 3049693 unknown 529 muc 1286
130.89/130.91	c iter 1288 time 125.127 not-muc 3049693 unknown 528 muc 1287
130.89/130.91	c iter 1289 time 125.225 not-muc 3049693 unknown 527 muc 1288
130.89/130.91	c iter 1290 time 125.321 not-muc 3049693 unknown 526 muc 1289
130.89/130.91	c iter 1291 time 125.417 not-muc 3049693 unknown 525 muc 1290
130.89/130.91	c iter 1292 time 125.514 not-muc 3049693 unknown 524 muc 1291
130.89/130.91	c iter 1293 time 125.595 not-muc 3049693 unknown 523 muc 1292
130.89/130.91	c iter 1294 time 125.676 not-muc 3049693 unknown 522 muc 1293
130.89/130.91	c iter 1295 time 125.772 not-muc 3049693 unknown 521 muc 1294
130.89/130.91	c iter 1296 time 125.854 not-muc 3049693 unknown 520 muc 1295
130.89/130.91	c iter 1297 time 125.935 not-muc 3049693 unknown 519 muc 1296
130.89/130.91	c iter 1298 time 126.016 not-muc 3049693 unknown 518 muc 1297
130.89/130.91	c iter 1299 time 126.112 not-muc 3049693 unknown 517 muc 1298
130.89/130.91	c iter 1300 time 126.193 not-muc 3049693 unknown 516 muc 1299
130.89/130.91	c iter 1301 time 126.275 not-muc 3049693 unknown 515 muc 1300
130.89/130.91	c iter 1302 time 126.356 not-muc 3049693 unknown 514 muc 1301
130.89/130.91	c iter 1303 time 126.452 not-muc 3049693 unknown 513 muc 1302
130.89/130.91	c iter 1304 time 126.533 not-muc 3049693 unknown 512 muc 1303
130.89/130.91	c iter 1305 time 126.629 not-muc 3049693 unknown 511 muc 1304
130.89/130.91	c iter 1306 time 126.725 not-muc 3049693 unknown 510 muc 1305
130.89/130.91	c iter 1307 time 126.821 not-muc 3049693 unknown 509 muc 1306
130.89/130.91	c iter 1308 time 126.917 not-muc 3049693 unknown 508 muc 1307
130.89/130.91	c iter 1309 time 127.014 not-muc 3049693 unknown 507 muc 1308
130.89/130.91	c iter 1310 time 127.11 not-muc 3049693 unknown 506 muc 1309
130.89/130.91	c iter 1311 time 127.206 not-muc 3049693 unknown 505 muc 1310
130.89/130.91	c iter 1312 time 127.302 not-muc 3049693 unknown 504 muc 1311
130.89/130.91	c iter 1313 time 127.398 not-muc 3049693 unknown 503 muc 1312
130.89/130.91	c iter 1314 time 127.495 not-muc 3049693 unknown 502 muc 1313
130.89/130.91	c iter 1315 time 127.591 not-muc 3049693 unknown 501 muc 1314
130.89/130.91	c iter 1316 time 127.687 not-muc 3049693 unknown 500 muc 1315
130.89/130.91	c iter 1317 time 127.784 not-muc 3049693 unknown 499 muc 1316
130.89/130.91	c iter 1318 time 127.88 not-muc 3049693 unknown 498 muc 1317
130.89/130.91	c iter 1319 time 127.976 not-muc 3049693 unknown 497 muc 1318
130.89/130.91	c iter 1320 time 128.072 not-muc 3049693 unknown 496 muc 1319
130.89/130.91	c iter 1321 time 128.168 not-muc 3049693 unknown 495 muc 1320
130.89/130.91	c iter 1322 time 128.263 not-muc 3049693 unknown 494 muc 1321
130.89/130.91	c iter 1323 time 128.36 not-muc 3049693 unknown 493 muc 1322
130.89/130.91	c iter 1324 time 128.456 not-muc 3049693 unknown 492 muc 1323
130.89/130.91	c iter 1325 time 128.552 not-muc 3049693 unknown 491 muc 1324
130.89/130.91	c iter 1326 time 128.648 not-muc 3049693 unknown 490 muc 1325
130.89/130.91	c iter 1327 time 128.744 not-muc 3049693 unknown 489 muc 1326
130.89/130.91	c iter 1328 time 128.84 not-muc 3049693 unknown 488 muc 1327
130.89/130.91	c iter 1329 time 128.936 not-muc 3049693 unknown 487 muc 1328
130.89/130.91	c iter 1330 time 129.032 not-muc 3049693 unknown 486 muc 1329
130.89/130.91	c iter 1331 time 129.128 not-muc 3049693 unknown 485 muc 1330
130.89/130.91	c iter 1332 time 129.224 not-muc 3049693 unknown 484 muc 1331
130.89/130.91	c iter 1333 time 129.321 not-muc 3049693 unknown 483 muc 1332
130.89/130.91	c iter 1334 time 129.417 not-muc 3049693 unknown 482 muc 1333
130.89/130.91	c iter 1335 time 129.513 not-muc 3049693 unknown 481 muc 1334
130.89/130.91	c iter 1336 time 129.609 not-muc 3049693 unknown 480 muc 1335
130.89/130.91	c iter 1337 time 129.705 not-muc 3049693 unknown 479 muc 1336
130.89/130.91	c iter 1338 time 129.801 not-muc 3049693 unknown 478 muc 1337
130.89/130.91	c iter 1339 time 129.897 not-muc 3049693 unknown 477 muc 1338
130.89/130.91	c iter 1340 time 130.004 not-muc 3049693 unknown 476 muc 1339
130.89/130.91	c iter 1341 time 130.101 not-muc 3049693 unknown 475 muc 1340
130.89/130.91	c iter 1342 time 130.197 not-muc 3049693 unknown 474 muc 1341
130.89/130.91	c iter 1343 time 130.293 not-muc 3049693 unknown 473 muc 1342
130.89/130.91	c iter 1344 time 130.389 not-muc 3049693 unknown 472 muc 1343
130.89/130.91	c iter 1345 time 130.485 not-muc 3049693 unknown 471 muc 1344
130.89/130.91	c iter 1346 time 130.581 not-muc 3049693 unknown 470 muc 1345
136.39/136.48	c iter 1347 time 130.677 not-muc 3049693 unknown 469 muc 1346
136.39/136.48	c iter 1348 time 130.773 not-muc 3049693 unknown 468 muc 1347
136.39/136.48	c iter 1349 time 130.869 not-muc 3049693 unknown 467 muc 1348
136.39/136.48	c iter 1350 time 130.965 not-muc 3049693 unknown 466 muc 1349
136.39/136.48	c iter 1351 time 131.061 not-muc 3049693 unknown 465 muc 1350
136.39/136.48	c iter 1352 time 131.157 not-muc 3049693 unknown 464 muc 1351
136.39/136.48	c iter 1353 time 131.253 not-muc 3049693 unknown 463 muc 1352
136.39/136.48	c iter 1354 time 131.349 not-muc 3049693 unknown 462 muc 1353
136.39/136.48	c iter 1355 time 131.445 not-muc 3049693 unknown 461 muc 1354
136.39/136.48	c iter 1356 time 131.541 not-muc 3049693 unknown 460 muc 1355
136.39/136.48	c iter 1357 time 131.637 not-muc 3049693 unknown 459 muc 1356
136.39/136.48	c iter 1358 time 131.733 not-muc 3049693 unknown 458 muc 1357
136.39/136.48	c iter 1359 time 131.829 not-muc 3049693 unknown 457 muc 1358
136.39/136.48	c iter 1360 time 131.925 not-muc 3049693 unknown 456 muc 1359
136.39/136.48	c iter 1361 time 132.006 not-muc 3049693 unknown 455 muc 1360
136.39/136.48	c iter 1362 time 132.087 not-muc 3049693 unknown 454 muc 1361
136.39/136.48	c iter 1363 time 132.168 not-muc 3049693 unknown 453 muc 1362
136.39/136.48	c iter 1364 time 132.249 not-muc 3049693 unknown 452 muc 1363
136.39/136.48	c iter 1365 time 132.33 not-muc 3049693 unknown 451 muc 1364
136.39/136.48	c iter 1366 time 132.412 not-muc 3049693 unknown 450 muc 1365
136.39/136.48	c iter 1367 time 132.493 not-muc 3049693 unknown 449 muc 1366
136.39/136.48	c iter 1368 time 132.574 not-muc 3049693 unknown 448 muc 1367
136.39/136.48	c iter 1369 time 132.656 not-muc 3049693 unknown 447 muc 1368
136.39/136.48	c iter 1370 time 132.737 not-muc 3049693 unknown 446 muc 1369
136.39/136.48	c iter 1371 time 132.818 not-muc 3049693 unknown 445 muc 1370
136.39/136.48	c iter 1372 time 132.899 not-muc 3049693 unknown 444 muc 1371
136.39/136.48	c iter 1373 time 132.98 not-muc 3049693 unknown 443 muc 1372
136.39/136.48	c iter 1374 time 133.061 not-muc 3049693 unknown 442 muc 1373
136.39/136.48	c iter 1375 time 133.142 not-muc 3049693 unknown 441 muc 1374
136.39/136.48	c iter 1376 time 133.223 not-muc 3049693 unknown 440 muc 1375
136.39/136.48	c iter 1377 time 133.304 not-muc 3049693 unknown 439 muc 1376
136.39/136.48	c iter 1378 time 133.385 not-muc 3049693 unknown 438 muc 1377
136.39/136.48	c iter 1379 time 133.466 not-muc 3049693 unknown 437 muc 1378
136.39/136.48	c iter 1380 time 133.548 not-muc 3049693 unknown 436 muc 1379
136.39/136.48	c iter 1381 time 133.629 not-muc 3049693 unknown 435 muc 1380
136.39/136.48	c iter 1382 time 133.71 not-muc 3049693 unknown 434 muc 1381
136.39/136.48	c iter 1383 time 133.792 not-muc 3049693 unknown 433 muc 1382
136.39/136.48	c iter 1384 time 133.873 not-muc 3049693 unknown 432 muc 1383
136.39/136.48	c iter 1385 time 133.954 not-muc 3049693 unknown 431 muc 1384
136.39/136.48	c iter 1386 time 134.035 not-muc 3049693 unknown 430 muc 1385
136.39/136.48	c iter 1387 time 134.116 not-muc 3049693 unknown 429 muc 1386
136.39/136.48	c iter 1388 time 134.197 not-muc 3049693 unknown 428 muc 1387
136.39/136.48	c iter 1389 time 134.278 not-muc 3049693 unknown 427 muc 1388
136.39/136.48	c iter 1390 time 134.36 not-muc 3049693 unknown 426 muc 1389
136.39/136.48	c iter 1391 time 134.441 not-muc 3049693 unknown 425 muc 1390
136.39/136.48	c iter 1392 time 134.522 not-muc 3049693 unknown 424 muc 1391
136.39/136.48	c iter 1393 time 134.604 not-muc 3049693 unknown 423 muc 1392
136.39/136.48	c iter 1394 time 134.685 not-muc 3049693 unknown 422 muc 1393
136.39/136.48	c iter 1395 time 134.767 not-muc 3049693 unknown 421 muc 1394
136.39/136.48	c iter 1396 time 134.847 not-muc 3049693 unknown 420 muc 1395
136.39/136.48	c iter 1397 time 134.929 not-muc 3049693 unknown 419 muc 1396
136.39/136.48	c iter 1398 time 135.01 not-muc 3049693 unknown 418 muc 1397
136.39/136.48	c iter 1399 time 135.091 not-muc 3049693 unknown 417 muc 1398
136.39/136.48	c iter 1400 time 135.174 not-muc 3049693 unknown 416 muc 1399
136.39/136.48	c iter 1401 time 135.255 not-muc 3049693 unknown 415 muc 1400
136.39/136.48	c iter 1402 time 135.337 not-muc 3049693 unknown 414 muc 1401
136.39/136.48	c iter 1403 time 135.418 not-muc 3049693 unknown 413 muc 1402
136.39/136.48	c iter 1404 time 135.5 not-muc 3049693 unknown 412 muc 1403
136.39/136.48	c iter 1405 time 135.581 not-muc 3049693 unknown 411 muc 1404
136.39/136.48	c iter 1406 time 135.663 not-muc 3049693 unknown 410 muc 1405
136.39/136.48	c iter 1407 time 135.745 not-muc 3049693 unknown 409 muc 1406
136.39/136.48	c iter 1408 time 135.826 not-muc 3049693 unknown 408 muc 1407
136.39/136.48	c iter 1409 time 135.908 not-muc 3049693 unknown 407 muc 1408
136.39/136.48	c iter 1410 time 135.989 not-muc 3049693 unknown 406 muc 1409
136.39/136.48	c iter 1411 time 136.071 not-muc 3049693 unknown 405 muc 1410
136.39/136.48	c iter 1412 time 136.152 not-muc 3049693 unknown 404 muc 1411
142.68/142.73	c iter 1413 time 136.234 not-muc 3049693 unknown 403 muc 1412
142.68/142.73	c iter 1414 time 136.316 not-muc 3049693 unknown 402 muc 1413
142.68/142.73	c iter 1415 time 136.397 not-muc 3049693 unknown 401 muc 1414
142.68/142.73	c iter 1416 time 136.479 not-muc 3049693 unknown 400 muc 1415
142.68/142.73	c iter 1417 time 136.561 not-muc 3049693 unknown 399 muc 1416
142.68/142.73	c iter 1418 time 136.643 not-muc 3049693 unknown 398 muc 1417
142.68/142.73	c iter 1419 time 136.739 not-muc 3049693 unknown 397 muc 1418
142.68/142.73	c iter 1420 time 136.834 not-muc 3049693 unknown 396 muc 1419
142.68/142.73	c iter 1421 time 136.93 not-muc 3049693 unknown 395 muc 1420
142.68/142.73	c iter 1422 time 137.026 not-muc 3049693 unknown 394 muc 1421
142.68/142.73	c iter 1423 time 137.121 not-muc 3049693 unknown 393 muc 1422
142.68/142.73	c iter 1424 time 137.218 not-muc 3049693 unknown 392 muc 1423
142.68/142.73	c iter 1425 time 137.314 not-muc 3049693 unknown 391 muc 1424
142.68/142.73	c iter 1426 time 137.409 not-muc 3049693 unknown 390 muc 1425
142.68/142.73	c iter 1427 time 137.505 not-muc 3049693 unknown 389 muc 1426
142.68/142.73	c iter 1428 time 137.601 not-muc 3049693 unknown 388 muc 1427
142.68/142.73	c iter 1429 time 137.697 not-muc 3049693 unknown 387 muc 1428
142.68/142.73	c iter 1430 time 137.793 not-muc 3049693 unknown 386 muc 1429
142.68/142.73	c iter 1431 time 137.889 not-muc 3049693 unknown 385 muc 1430
142.68/142.73	c iter 1432 time 137.985 not-muc 3049693 unknown 384 muc 1431
142.68/142.73	c iter 1433 time 138.081 not-muc 3049693 unknown 383 muc 1432
142.68/142.73	c iter 1434 time 138.177 not-muc 3049693 unknown 382 muc 1433
142.68/142.73	c iter 1435 time 138.283 not-muc 3049693 unknown 381 muc 1434
142.68/142.73	c iter 1436 time 138.379 not-muc 3049693 unknown 380 muc 1435
142.68/142.73	c iter 1437 time 138.475 not-muc 3049693 unknown 379 muc 1436
142.68/142.73	c iter 1438 time 138.571 not-muc 3049693 unknown 378 muc 1437
142.68/142.73	c iter 1439 time 138.666 not-muc 3049693 unknown 377 muc 1438
142.68/142.73	c iter 1440 time 138.762 not-muc 3049693 unknown 376 muc 1439
142.68/142.73	c iter 1441 time 138.858 not-muc 3049693 unknown 375 muc 1440
142.68/142.73	c iter 1442 time 138.954 not-muc 3049693 unknown 374 muc 1441
142.68/142.73	c iter 1443 time 139.05 not-muc 3049693 unknown 373 muc 1442
142.68/142.73	c iter 1444 time 139.145 not-muc 3049693 unknown 372 muc 1443
142.68/142.73	c iter 1445 time 139.241 not-muc 3049693 unknown 371 muc 1444
142.68/142.73	c iter 1446 time 139.337 not-muc 3049693 unknown 370 muc 1445
142.68/142.73	c iter 1447 time 139.433 not-muc 3049693 unknown 369 muc 1446
142.68/142.73	c iter 1448 time 139.529 not-muc 3049693 unknown 368 muc 1447
142.68/142.73	c iter 1449 time 139.625 not-muc 3049693 unknown 367 muc 1448
142.68/142.73	c iter 1450 time 139.721 not-muc 3049693 unknown 366 muc 1449
142.68/142.73	c iter 1451 time 139.817 not-muc 3049693 unknown 365 muc 1450
142.68/142.73	c iter 1452 time 139.912 not-muc 3049693 unknown 364 muc 1451
142.68/142.73	c iter 1453 time 140.008 not-muc 3049693 unknown 363 muc 1452
142.68/142.73	c iter 1454 time 140.104 not-muc 3049693 unknown 362 muc 1453
142.68/142.73	c iter 1455 time 140.2 not-muc 3049693 unknown 361 muc 1454
142.68/142.73	c iter 1456 time 140.295 not-muc 3049693 unknown 360 muc 1455
142.68/142.73	c iter 1457 time 140.391 not-muc 3049693 unknown 359 muc 1456
142.68/142.73	c iter 1458 time 140.487 not-muc 3049693 unknown 358 muc 1457
142.68/142.73	c iter 1459 time 140.583 not-muc 3049693 unknown 357 muc 1458
142.68/142.73	c iter 1460 time 140.679 not-muc 3049693 unknown 356 muc 1459
142.68/142.73	c iter 1461 time 140.775 not-muc 3049693 unknown 355 muc 1460
142.68/142.73	c iter 1462 time 140.87 not-muc 3049693 unknown 354 muc 1461
142.68/142.73	c iter 1463 time 140.966 not-muc 3049693 unknown 353 muc 1462
142.68/142.73	c iter 1464 time 141.062 not-muc 3049693 unknown 352 muc 1463
142.68/142.73	c iter 1465 time 141.158 not-muc 3049693 unknown 351 muc 1464
142.68/142.73	c iter 1466 time 141.253 not-muc 3049693 unknown 350 muc 1465
142.68/142.73	c iter 1467 time 141.349 not-muc 3049693 unknown 349 muc 1466
142.68/142.73	c iter 1468 time 141.444 not-muc 3049693 unknown 348 muc 1467
142.68/142.73	c iter 1469 time 141.54 not-muc 3049693 unknown 347 muc 1468
142.68/142.73	c iter 1470 time 141.635 not-muc 3049693 unknown 346 muc 1469
142.68/142.73	c iter 1471 time 141.731 not-muc 3049693 unknown 345 muc 1470
142.68/142.73	c iter 1472 time 141.827 not-muc 3049693 unknown 344 muc 1471
142.68/142.73	c iter 1473 time 141.923 not-muc 3049693 unknown 343 muc 1472
142.68/142.73	c iter 1474 time 142.019 not-muc 3049693 unknown 342 muc 1473
142.68/142.73	c iter 1475 time 142.114 not-muc 3049693 unknown 341 muc 1474
142.68/142.73	c iter 1476 time 142.21 not-muc 3049693 unknown 340 muc 1475
142.68/142.73	c iter 1477 time 142.306 not-muc 3049693 unknown 339 muc 1476
142.68/142.73	c iter 1478 time 142.402 not-muc 3049693 unknown 338 muc 1477
148.98/149.05	c iter 1479 time 142.498 not-muc 3049693 unknown 337 muc 1478
148.98/149.05	c iter 1480 time 142.594 not-muc 3049693 unknown 336 muc 1479
148.98/149.05	c iter 1481 time 142.69 not-muc 3049693 unknown 335 muc 1480
148.98/149.05	c iter 1482 time 142.785 not-muc 3049693 unknown 334 muc 1481
148.98/149.05	c iter 1483 time 142.881 not-muc 3049693 unknown 333 muc 1482
148.98/149.05	c iter 1484 time 142.977 not-muc 3049693 unknown 332 muc 1483
148.98/149.05	c iter 1485 time 143.072 not-muc 3049693 unknown 331 muc 1484
148.98/149.05	c iter 1486 time 143.168 not-muc 3049693 unknown 330 muc 1485
148.98/149.05	c iter 1487 time 143.263 not-muc 3049693 unknown 329 muc 1486
148.98/149.05	c iter 1488 time 143.359 not-muc 3049693 unknown 328 muc 1487
148.98/149.05	c iter 1489 time 143.455 not-muc 3049693 unknown 327 muc 1488
148.98/149.05	c iter 1490 time 143.55 not-muc 3049693 unknown 326 muc 1489
148.98/149.05	c iter 1491 time 143.646 not-muc 3049693 unknown 325 muc 1490
148.98/149.05	c iter 1492 time 143.741 not-muc 3049693 unknown 324 muc 1491
148.98/149.05	c iter 1493 time 143.837 not-muc 3049693 unknown 323 muc 1492
148.98/149.05	c iter 1494 time 143.932 not-muc 3049693 unknown 322 muc 1493
148.98/149.05	c iter 1495 time 144.028 not-muc 3049693 unknown 321 muc 1494
148.98/149.05	c iter 1496 time 144.124 not-muc 3049693 unknown 320 muc 1495
148.98/149.05	c iter 1497 time 144.23 not-muc 3049693 unknown 319 muc 1496
148.98/149.05	c iter 1498 time 144.326 not-muc 3049693 unknown 318 muc 1497
148.98/149.05	c iter 1499 time 144.421 not-muc 3049693 unknown 317 muc 1498
148.98/149.05	c iter 1500 time 144.517 not-muc 3049693 unknown 316 muc 1499
148.98/149.05	c iter 1501 time 144.612 not-muc 3049693 unknown 315 muc 1500
148.98/149.05	c iter 1502 time 144.708 not-muc 3049693 unknown 314 muc 1501
148.98/149.05	c iter 1503 time 144.803 not-muc 3049693 unknown 313 muc 1502
148.98/149.05	c iter 1504 time 144.899 not-muc 3049693 unknown 312 muc 1503
148.98/149.05	c iter 1505 time 144.995 not-muc 3049693 unknown 311 muc 1504
148.98/149.05	c iter 1506 time 145.09 not-muc 3049693 unknown 310 muc 1505
148.98/149.05	c iter 1507 time 145.186 not-muc 3049693 unknown 309 muc 1506
148.98/149.05	c iter 1508 time 145.282 not-muc 3049693 unknown 308 muc 1507
148.98/149.05	c iter 1509 time 145.377 not-muc 3049693 unknown 307 muc 1508
148.98/149.05	c iter 1510 time 145.473 not-muc 3049693 unknown 306 muc 1509
148.98/149.05	c iter 1511 time 145.569 not-muc 3049693 unknown 305 muc 1510
148.98/149.05	c iter 1512 time 145.664 not-muc 3049693 unknown 304 muc 1511
148.98/149.05	c iter 1513 time 145.76 not-muc 3049693 unknown 303 muc 1512
148.98/149.05	c iter 1514 time 145.855 not-muc 3049693 unknown 302 muc 1513
148.98/149.05	c iter 1515 time 145.951 not-muc 3049693 unknown 301 muc 1514
148.98/149.05	c iter 1516 time 146.046 not-muc 3049693 unknown 300 muc 1515
148.98/149.05	c iter 1517 time 146.141 not-muc 3049693 unknown 299 muc 1516
148.98/149.05	c iter 1518 time 146.237 not-muc 3049693 unknown 298 muc 1517
148.98/149.05	c iter 1519 time 146.332 not-muc 3049693 unknown 297 muc 1518
148.98/149.05	c iter 1520 time 146.428 not-muc 3049693 unknown 296 muc 1519
148.98/149.05	c iter 1521 time 146.523 not-muc 3049693 unknown 295 muc 1520
148.98/149.05	c iter 1522 time 146.619 not-muc 3049693 unknown 294 muc 1521
148.98/149.05	c iter 1523 time 146.714 not-muc 3049693 unknown 293 muc 1522
148.98/149.05	c iter 1524 time 146.81 not-muc 3049693 unknown 292 muc 1523
148.98/149.05	c iter 1525 time 146.905 not-muc 3049693 unknown 291 muc 1524
148.98/149.05	c iter 1526 time 147 not-muc 3049693 unknown 290 muc 1525
148.98/149.05	c iter 1527 time 147.095 not-muc 3049693 unknown 289 muc 1526
148.98/149.05	c iter 1528 time 147.191 not-muc 3049693 unknown 288 muc 1527
148.98/149.05	c iter 1529 time 147.287 not-muc 3049693 unknown 287 muc 1528
148.98/149.05	c iter 1530 time 147.382 not-muc 3049693 unknown 286 muc 1529
148.98/149.05	c iter 1531 time 147.478 not-muc 3049693 unknown 285 muc 1530
148.98/149.05	c iter 1532 time 147.574 not-muc 3049693 unknown 284 muc 1531
148.98/149.05	c iter 1533 time 147.669 not-muc 3049693 unknown 283 muc 1532
148.98/149.05	c iter 1534 time 147.765 not-muc 3049693 unknown 282 muc 1533
148.98/149.05	c iter 1535 time 147.86 not-muc 3049693 unknown 281 muc 1534
148.98/149.05	c iter 1536 time 147.956 not-muc 3049693 unknown 280 muc 1535
148.98/149.05	c iter 1537 time 148.05 not-muc 3049693 unknown 279 muc 1536
148.98/149.05	c iter 1538 time 148.146 not-muc 3049693 unknown 278 muc 1537
148.98/149.05	c iter 1539 time 148.241 not-muc 3049693 unknown 277 muc 1538
148.98/149.05	c iter 1540 time 148.336 not-muc 3049693 unknown 276 muc 1539
148.98/149.05	c iter 1541 time 148.432 not-muc 3049693 unknown 275 muc 1540
148.98/149.05	c iter 1542 time 148.527 not-muc 3049693 unknown 274 muc 1541
148.98/149.05	c iter 1543 time 148.623 not-muc 3049693 unknown 273 muc 1542
148.98/149.05	c iter 1544 time 148.718 not-muc 3049693 unknown 272 muc 1543
155.38/155.42	c iter 1545 time 148.813 not-muc 3049693 unknown 271 muc 1544
155.38/155.42	c iter 1546 time 148.909 not-muc 3049693 unknown 270 muc 1545
155.38/155.42	c iter 1547 time 149.004 not-muc 3049693 unknown 269 muc 1546
155.38/155.42	c iter 1548 time 149.1 not-muc 3049693 unknown 268 muc 1547
155.38/155.42	c iter 1549 time 149.195 not-muc 3049693 unknown 267 muc 1548
155.38/155.42	c iter 1550 time 149.29 not-muc 3049693 unknown 266 muc 1549
155.38/155.42	c iter 1551 time 149.385 not-muc 3049693 unknown 265 muc 1550
155.38/155.42	c iter 1552 time 149.481 not-muc 3049693 unknown 264 muc 1551
155.38/155.42	c iter 1553 time 149.576 not-muc 3049693 unknown 263 muc 1552
155.38/155.42	c iter 1554 time 149.682 not-muc 3049693 unknown 262 muc 1553
155.38/155.42	c iter 1555 time 149.778 not-muc 3049693 unknown 261 muc 1554
155.38/155.42	c iter 1556 time 149.873 not-muc 3049693 unknown 260 muc 1555
155.38/155.42	c iter 1557 time 149.968 not-muc 3049693 unknown 259 muc 1556
155.38/155.42	c iter 1558 time 150.063 not-muc 3049693 unknown 258 muc 1557
155.38/155.42	c iter 1559 time 150.159 not-muc 3049693 unknown 257 muc 1558
155.38/155.42	c iter 1560 time 150.254 not-muc 3049693 unknown 256 muc 1559
155.38/155.42	c iter 1561 time 150.349 not-muc 3049693 unknown 255 muc 1560
155.38/155.42	c iter 1562 time 150.444 not-muc 3049693 unknown 254 muc 1561
155.38/155.42	c iter 1563 time 150.54 not-muc 3049693 unknown 253 muc 1562
155.38/155.42	c iter 1564 time 150.635 not-muc 3049693 unknown 252 muc 1563
155.38/155.42	c iter 1565 time 150.73 not-muc 3049693 unknown 251 muc 1564
155.38/155.42	c iter 1566 time 150.825 not-muc 3049693 unknown 250 muc 1565
155.38/155.42	c iter 1567 time 150.921 not-muc 3049693 unknown 249 muc 1566
155.38/155.42	c iter 1568 time 151.016 not-muc 3049693 unknown 248 muc 1567
155.38/155.42	c iter 1569 time 151.111 not-muc 3049693 unknown 247 muc 1568
155.38/155.42	c iter 1570 time 151.206 not-muc 3049693 unknown 246 muc 1569
155.38/155.42	c iter 1571 time 151.302 not-muc 3049693 unknown 245 muc 1570
155.38/155.42	c iter 1572 time 151.397 not-muc 3049693 unknown 244 muc 1571
155.38/155.42	c iter 1573 time 151.492 not-muc 3049693 unknown 243 muc 1572
155.38/155.42	c iter 1574 time 151.588 not-muc 3049693 unknown 242 muc 1573
155.38/155.42	c iter 1575 time 151.683 not-muc 3049693 unknown 241 muc 1574
155.38/155.42	c iter 1576 time 151.778 not-muc 3049693 unknown 240 muc 1575
155.38/155.42	c iter 1577 time 151.874 not-muc 3049693 unknown 239 muc 1576
155.38/155.42	c iter 1578 time 151.969 not-muc 3049693 unknown 238 muc 1577
155.38/155.42	c iter 1579 time 152.064 not-muc 3049693 unknown 237 muc 1578
155.38/155.42	c iter 1580 time 152.159 not-muc 3049693 unknown 236 muc 1579
155.38/155.42	c iter 1581 time 152.255 not-muc 3049693 unknown 235 muc 1580
155.38/155.42	c iter 1582 time 152.35 not-muc 3049693 unknown 234 muc 1581
155.38/155.42	c iter 1583 time 152.445 not-muc 3049693 unknown 233 muc 1582
155.38/155.42	c iter 1584 time 152.539 not-muc 3049693 unknown 232 muc 1583
155.38/155.42	c iter 1585 time 152.634 not-muc 3049693 unknown 231 muc 1584
155.38/155.42	c iter 1586 time 152.729 not-muc 3049693 unknown 230 muc 1585
155.38/155.42	c iter 1587 time 152.824 not-muc 3049693 unknown 229 muc 1586
155.38/155.42	c iter 1588 time 152.92 not-muc 3049693 unknown 228 muc 1587
155.38/155.42	c iter 1589 time 153.015 not-muc 3049693 unknown 227 muc 1588
155.38/155.42	c iter 1590 time 153.11 not-muc 3049693 unknown 226 muc 1589
155.38/155.42	c iter 1591 time 153.205 not-muc 3049693 unknown 225 muc 1590
155.38/155.42	c iter 1592 time 153.3 not-muc 3049693 unknown 224 muc 1591
155.38/155.42	c iter 1593 time 153.395 not-muc 3049693 unknown 223 muc 1592
155.38/155.42	c iter 1594 time 153.49 not-muc 3049693 unknown 222 muc 1593
155.38/155.42	c iter 1595 time 153.585 not-muc 3049693 unknown 221 muc 1594
155.38/155.42	c iter 1596 time 153.68 not-muc 3049693 unknown 220 muc 1595
155.38/155.42	c iter 1597 time 153.775 not-muc 3049693 unknown 219 muc 1596
155.38/155.42	c iter 1598 time 153.87 not-muc 3049693 unknown 218 muc 1597
155.38/155.42	c iter 1599 time 153.966 not-muc 3049693 unknown 217 muc 1598
155.38/155.42	c iter 1600 time 154.061 not-muc 3049693 unknown 216 muc 1599
155.38/155.42	c iter 1601 time 154.156 not-muc 3049693 unknown 215 muc 1600
155.38/155.42	c iter 1602 time 154.251 not-muc 3049693 unknown 214 muc 1601
155.38/155.42	c iter 1603 time 154.346 not-muc 3049693 unknown 213 muc 1602
155.38/155.42	c iter 1604 time 154.441 not-muc 3049693 unknown 212 muc 1603
155.38/155.42	c iter 1605 time 154.537 not-muc 3049693 unknown 211 muc 1604
155.38/155.42	c iter 1606 time 154.631 not-muc 3049693 unknown 210 muc 1605
155.38/155.42	c iter 1607 time 154.726 not-muc 3049693 unknown 209 muc 1606
155.38/155.42	c iter 1608 time 154.821 not-muc 3049693 unknown 208 muc 1607
155.38/155.42	c iter 1609 time 154.916 not-muc 3049693 unknown 207 muc 1608
155.38/155.42	c iter 1610 time 155.011 not-muc 3049693 unknown 206 muc 1609
155.38/155.42	c iter 1611 time 155.091 not-muc 3049693 unknown 205 muc 1610
161.48/161.51	c iter 1612 time 155.172 not-muc 3049693 unknown 204 muc 1611
161.48/161.51	c iter 1613 time 155.278 not-muc 3049693 unknown 203 muc 1612
161.48/161.51	c iter 1614 time 155.373 not-muc 3049693 unknown 202 muc 1613
161.48/161.51	c iter 1615 time 155.453 not-muc 3049693 unknown 201 muc 1614
161.48/161.51	c iter 1616 time 155.549 not-muc 3049693 unknown 200 muc 1615
161.48/161.51	c iter 1617 time 155.644 not-muc 3049693 unknown 199 muc 1616
161.48/161.51	c iter 1618 time 155.739 not-muc 3049693 unknown 198 muc 1617
161.48/161.51	c iter 1619 time 155.834 not-muc 3049693 unknown 197 muc 1618
161.48/161.51	c iter 1620 time 155.928 not-muc 3049693 unknown 196 muc 1619
161.48/161.51	c iter 1621 time 156.024 not-muc 3049693 unknown 195 muc 1620
161.48/161.51	c iter 1622 time 156.119 not-muc 3049693 unknown 194 muc 1621
161.48/161.51	c iter 1623 time 156.214 not-muc 3049693 unknown 193 muc 1622
161.48/161.51	c iter 1624 time 156.309 not-muc 3049693 unknown 192 muc 1623
161.48/161.51	c iter 1625 time 156.404 not-muc 3049693 unknown 191 muc 1624
161.48/161.51	c iter 1626 time 156.499 not-muc 3049693 unknown 190 muc 1625
161.48/161.51	c iter 1627 time 156.593 not-muc 3049693 unknown 189 muc 1626
161.48/161.51	c iter 1628 time 156.688 not-muc 3049693 unknown 188 muc 1627
161.48/161.51	c iter 1629 time 156.784 not-muc 3049693 unknown 187 muc 1628
161.48/161.51	c iter 1630 time 156.879 not-muc 3049693 unknown 186 muc 1629
161.48/161.51	c iter 1631 time 156.974 not-muc 3049693 unknown 185 muc 1630
161.48/161.51	c iter 1632 time 157.069 not-muc 3049693 unknown 184 muc 1631
161.48/161.51	c iter 1633 time 157.164 not-muc 3049693 unknown 183 muc 1632
161.48/161.51	c iter 1634 time 157.259 not-muc 3049693 unknown 182 muc 1633
161.48/161.51	c iter 1635 time 157.354 not-muc 3049693 unknown 181 muc 1634
161.48/161.51	c iter 1636 time 157.449 not-muc 3049693 unknown 180 muc 1635
161.48/161.51	c iter 1637 time 157.545 not-muc 3049693 unknown 179 muc 1636
161.48/161.51	c iter 1638 time 157.64 not-muc 3049693 unknown 178 muc 1637
161.48/161.51	c iter 1639 time 157.735 not-muc 3049693 unknown 177 muc 1638
161.48/161.51	c iter 1640 time 157.83 not-muc 3049693 unknown 176 muc 1639
161.48/161.51	c iter 1641 time 157.925 not-muc 3049693 unknown 175 muc 1640
161.48/161.51	c iter 1642 time 158.005 not-muc 3049693 unknown 174 muc 1641
161.48/161.51	c iter 1643 time 158.086 not-muc 3049693 unknown 173 muc 1642
161.48/161.51	c iter 1644 time 158.181 not-muc 3049693 unknown 172 muc 1643
161.48/161.51	c iter 1645 time 158.261 not-muc 3049693 unknown 171 muc 1644
161.48/161.51	c iter 1646 time 158.356 not-muc 3049693 unknown 170 muc 1645
161.48/161.51	c iter 1647 time 158.451 not-muc 3049693 unknown 169 muc 1646
161.48/161.51	c iter 1648 time 158.557 not-muc 3049693 unknown 168 muc 1647
161.48/161.51	c iter 1649 time 158.652 not-muc 3049693 unknown 167 muc 1648
161.48/161.51	c iter 1650 time 158.747 not-muc 3049693 unknown 166 muc 1649
161.48/161.51	c iter 1651 time 158.842 not-muc 3049693 unknown 165 muc 1650
161.48/161.51	c iter 1652 time 158.937 not-muc 3049693 unknown 164 muc 1651
161.48/161.51	c iter 1653 time 159.032 not-muc 3049693 unknown 163 muc 1652
161.48/161.51	c iter 1654 time 159.127 not-muc 3049693 unknown 162 muc 1653
161.48/161.51	c iter 1655 time 159.223 not-muc 3049693 unknown 161 muc 1654
161.48/161.51	c iter 1656 time 159.318 not-muc 3049693 unknown 160 muc 1655
161.48/161.51	c iter 1657 time 159.413 not-muc 3049693 unknown 159 muc 1656
161.48/161.51	c iter 1658 time 159.508 not-muc 3049693 unknown 158 muc 1657
161.48/161.51	c iter 1659 time 159.603 not-muc 3049693 unknown 157 muc 1658
161.48/161.51	c iter 1660 time 159.698 not-muc 3049693 unknown 156 muc 1659
161.48/161.51	c iter 1661 time 159.793 not-muc 3049693 unknown 155 muc 1660
161.48/161.51	c iter 1662 time 159.873 not-muc 3049693 unknown 154 muc 1661
161.48/161.51	c iter 1663 time 159.953 not-muc 3049693 unknown 153 muc 1662
161.48/161.51	c iter 1664 time 160.048 not-muc 3049693 unknown 152 muc 1663
161.48/161.51	c iter 1665 time 160.128 not-muc 3049693 unknown 151 muc 1664
161.48/161.51	c iter 1666 time 160.208 not-muc 3049693 unknown 150 muc 1665
161.48/161.51	c iter 1667 time 160.288 not-muc 3049693 unknown 149 muc 1666
161.48/161.51	c iter 1668 time 160.383 not-muc 3049693 unknown 148 muc 1667
161.48/161.51	c iter 1669 time 160.463 not-muc 3049693 unknown 147 muc 1668
161.48/161.51	c iter 1670 time 160.543 not-muc 3049693 unknown 146 muc 1669
161.48/161.51	c iter 1671 time 160.624 not-muc 3049693 unknown 145 muc 1670
161.48/161.51	c iter 1672 time 160.719 not-muc 3049693 unknown 144 muc 1671
161.48/161.51	c iter 1673 time 160.799 not-muc 3049693 unknown 143 muc 1672
161.48/161.51	c iter 1674 time 160.894 not-muc 3049693 unknown 142 muc 1673
161.48/161.51	c iter 1675 time 160.989 not-muc 3049693 unknown 141 muc 1674
161.48/161.51	c iter 1676 time 161.083 not-muc 3049693 unknown 140 muc 1675
161.48/161.51	c iter 1677 time 161.177 not-muc 3049693 unknown 139 muc 1676
167.78/167.80	c iter 1678 time 161.272 not-muc 3049693 unknown 138 muc 1677
167.78/167.80	c iter 1679 time 161.367 not-muc 3049693 unknown 137 muc 1678
167.78/167.80	c iter 1680 time 161.462 not-muc 3049693 unknown 136 muc 1679
167.78/167.80	c iter 1681 time 161.557 not-muc 3049693 unknown 135 muc 1680
167.78/167.80	c iter 1682 time 161.652 not-muc 3049693 unknown 134 muc 1681
167.78/167.80	c iter 1683 time 161.747 not-muc 3049693 unknown 133 muc 1682
167.78/167.80	c iter 1684 time 161.842 not-muc 3049693 unknown 132 muc 1683
167.78/167.80	c iter 1685 time 161.937 not-muc 3049693 unknown 131 muc 1684
167.78/167.80	c iter 1686 time 162.032 not-muc 3049693 unknown 130 muc 1685
167.78/167.80	c iter 1687 time 162.137 not-muc 3049693 unknown 129 muc 1686
167.78/167.80	c iter 1688 time 162.232 not-muc 3049693 unknown 128 muc 1687
167.78/167.80	c iter 1689 time 162.327 not-muc 3049693 unknown 127 muc 1688
167.78/167.80	c iter 1690 time 162.422 not-muc 3049693 unknown 126 muc 1689
167.78/167.80	c iter 1691 time 162.517 not-muc 3049693 unknown 125 muc 1690
167.78/167.80	c iter 1692 time 162.611 not-muc 3049693 unknown 124 muc 1691
167.78/167.80	c iter 1693 time 162.706 not-muc 3049693 unknown 123 muc 1692
167.78/167.80	c iter 1694 time 162.801 not-muc 3049693 unknown 122 muc 1693
167.78/167.80	c iter 1695 time 162.896 not-muc 3049693 unknown 121 muc 1694
167.78/167.80	c iter 1696 time 162.991 not-muc 3049693 unknown 120 muc 1695
167.78/167.80	c iter 1697 time 163.086 not-muc 3049693 unknown 119 muc 1696
167.78/167.80	c iter 1698 time 163.181 not-muc 3049693 unknown 118 muc 1697
167.78/167.80	c iter 1699 time 163.276 not-muc 3049693 unknown 117 muc 1698
167.78/167.80	c iter 1700 time 163.37 not-muc 3049693 unknown 116 muc 1699
167.78/167.80	c iter 1701 time 163.465 not-muc 3049693 unknown 115 muc 1700
167.78/167.80	c iter 1702 time 163.56 not-muc 3049693 unknown 114 muc 1701
167.78/167.80	c iter 1703 time 163.655 not-muc 3049693 unknown 113 muc 1702
167.78/167.80	c iter 1704 time 163.75 not-muc 3049693 unknown 112 muc 1703
167.78/167.80	c iter 1705 time 163.845 not-muc 3049693 unknown 111 muc 1704
167.78/167.80	c iter 1706 time 163.94 not-muc 3049693 unknown 110 muc 1705
167.78/167.80	c iter 1707 time 164.035 not-muc 3049693 unknown 109 muc 1706
167.78/167.80	c iter 1708 time 164.129 not-muc 3049693 unknown 108 muc 1707
167.78/167.80	c iter 1709 time 164.224 not-muc 3049693 unknown 107 muc 1708
167.78/167.80	c iter 1710 time 164.319 not-muc 3049693 unknown 106 muc 1709
167.78/167.80	c iter 1711 time 164.414 not-muc 3049693 unknown 105 muc 1710
167.78/167.80	c iter 1712 time 164.508 not-muc 3049693 unknown 104 muc 1711
167.78/167.80	c iter 1713 time 164.603 not-muc 3049693 unknown 103 muc 1712
167.78/167.80	c iter 1714 time 164.698 not-muc 3049693 unknown 102 muc 1713
167.78/167.80	c iter 1715 time 164.803 not-muc 3049693 unknown 101 muc 1714
167.78/167.80	c iter 1716 time 164.898 not-muc 3049693 unknown 100 muc 1715
167.78/167.80	c iter 1717 time 164.993 not-muc 3049693 unknown 99 muc 1716
167.78/167.80	c iter 1718 time 165.087 not-muc 3049693 unknown 98 muc 1717
167.78/167.80	c iter 1719 time 165.182 not-muc 3049693 unknown 97 muc 1718
167.78/167.80	c iter 1720 time 165.277 not-muc 3049693 unknown 96 muc 1719
167.78/167.80	c iter 1721 time 165.372 not-muc 3049693 unknown 95 muc 1720
167.78/167.80	c iter 1722 time 165.466 not-muc 3049693 unknown 94 muc 1721
167.78/167.80	c iter 1723 time 165.561 not-muc 3049693 unknown 93 muc 1722
167.78/167.80	c iter 1724 time 165.656 not-muc 3049693 unknown 92 muc 1723
167.78/167.80	c iter 1725 time 165.751 not-muc 3049693 unknown 91 muc 1724
167.78/167.80	c iter 1726 time 165.846 not-muc 3049693 unknown 90 muc 1725
167.78/167.80	c iter 1727 time 165.94 not-muc 3049693 unknown 89 muc 1726
167.78/167.80	c iter 1728 time 166.035 not-muc 3049693 unknown 88 muc 1727
167.78/167.80	c iter 1729 time 166.13 not-muc 3049693 unknown 87 muc 1728
167.78/167.80	c iter 1730 time 166.225 not-muc 3049693 unknown 86 muc 1729
167.78/167.80	c iter 1731 time 166.319 not-muc 3049693 unknown 85 muc 1730
167.78/167.80	c iter 1732 time 166.414 not-muc 3049693 unknown 84 muc 1731
167.78/167.80	c iter 1733 time 166.52 not-muc 3049693 unknown 83 muc 1732
167.78/167.80	c iter 1734 time 166.615 not-muc 3049693 unknown 82 muc 1733
167.78/167.80	c iter 1735 time 166.71 not-muc 3049693 unknown 81 muc 1734
167.78/167.80	c iter 1736 time 166.804 not-muc 3049693 unknown 80 muc 1735
167.78/167.80	c iter 1737 time 166.899 not-muc 3049693 unknown 79 muc 1736
167.78/167.80	c iter 1738 time 166.994 not-muc 3049693 unknown 78 muc 1737
167.78/167.80	c iter 1739 time 167.088 not-muc 3049693 unknown 77 muc 1738
167.78/167.80	c iter 1740 time 167.184 not-muc 3049693 unknown 76 muc 1739
167.78/167.80	c iter 1741 time 167.278 not-muc 3049693 unknown 75 muc 1740
167.78/167.80	c iter 1742 time 167.373 not-muc 3049693 unknown 74 muc 1741
167.78/167.80	c iter 1743 time 167.467 not-muc 3049693 unknown 73 muc 1742
174.18/174.24	c iter 1744 time 167.562 not-muc 3049693 unknown 72 muc 1743
174.18/174.24	c iter 1745 time 167.657 not-muc 3049693 unknown 71 muc 1744
174.18/174.24	c iter 1746 time 167.751 not-muc 3049693 unknown 70 muc 1745
174.18/174.24	c iter 1747 time 167.845 not-muc 3049693 unknown 69 muc 1746
174.18/174.24	c iter 1748 time 167.94 not-muc 3049693 unknown 68 muc 1747
174.18/174.24	c iter 1749 time 168.035 not-muc 3049693 unknown 67 muc 1748
174.18/174.24	c iter 1750 time 168.129 not-muc 3049693 unknown 66 muc 1749
174.18/174.24	c iter 1751 time 168.224 not-muc 3049693 unknown 65 muc 1750
174.18/174.24	c iter 1752 time 168.318 not-muc 3049693 unknown 64 muc 1751
174.18/174.24	c iter 1753 time 168.423 not-muc 3049693 unknown 63 muc 1752
174.18/174.24	c iter 1754 time 168.518 not-muc 3049693 unknown 62 muc 1753
174.18/174.24	c iter 1755 time 168.612 not-muc 3049693 unknown 61 muc 1754
174.18/174.24	c iter 1756 time 168.707 not-muc 3049693 unknown 60 muc 1755
174.18/174.24	c iter 1757 time 168.801 not-muc 3049693 unknown 59 muc 1756
174.18/174.24	c iter 1758 time 168.896 not-muc 3049693 unknown 58 muc 1757
174.18/174.24	c iter 1759 time 168.99 not-muc 3049693 unknown 57 muc 1758
174.18/174.24	c iter 1760 time 169.084 not-muc 3049693 unknown 56 muc 1759
174.18/174.24	c iter 1761 time 169.179 not-muc 3049693 unknown 55 muc 1760
174.18/174.24	c iter 1762 time 169.274 not-muc 3049693 unknown 54 muc 1761
174.18/174.24	c iter 1763 time 169.368 not-muc 3049693 unknown 53 muc 1762
174.18/174.24	c iter 1764 time 169.463 not-muc 3049693 unknown 52 muc 1763
174.18/174.24	c iter 1765 time 169.557 not-muc 3049693 unknown 51 muc 1764
174.18/174.24	c iter 1766 time 169.652 not-muc 3049693 unknown 50 muc 1765
174.18/174.24	c iter 1767 time 169.746 not-muc 3049693 unknown 49 muc 1766
174.18/174.24	c iter 1768 time 169.841 not-muc 3049693 unknown 48 muc 1767
174.18/174.24	c iter 1769 time 169.935 not-muc 3049693 unknown 47 muc 1768
174.18/174.24	c iter 1770 time 170.03 not-muc 3049693 unknown 46 muc 1769
174.18/174.24	c iter 1771 time 170.135 not-muc 3049693 unknown 45 muc 1770
174.18/174.24	c iter 1772 time 170.229 not-muc 3049693 unknown 44 muc 1771
174.18/174.24	c iter 1773 time 170.324 not-muc 3049693 unknown 43 muc 1772
174.18/174.24	c iter 1774 time 170.418 not-muc 3049693 unknown 42 muc 1773
174.18/174.24	c iter 1775 time 170.512 not-muc 3049693 unknown 41 muc 1774
174.18/174.24	c iter 1776 time 170.606 not-muc 3049693 unknown 40 muc 1775
174.18/174.24	c iter 1777 time 170.686 not-muc 3049693 unknown 39 muc 1776
174.18/174.24	c iter 1778 time 170.766 not-muc 3049693 unknown 38 muc 1777
174.18/174.24	c iter 1779 time 170.861 not-muc 3049693 unknown 37 muc 1778
174.18/174.24	c iter 1780 time 170.94 not-muc 3049693 unknown 36 muc 1779
174.18/174.24	c iter 1781 time 171.035 not-muc 3049693 unknown 35 muc 1780
174.18/174.24	c iter 1782 time 171.129 not-muc 3049693 unknown 34 muc 1781
174.18/174.24	c iter 1783 time 171.224 not-muc 3049693 unknown 33 muc 1782
174.18/174.24	c iter 1784 time 171.318 not-muc 3049693 unknown 32 muc 1783
174.18/174.24	c iter 1785 time 171.423 not-muc 3049693 unknown 31 muc 1784
174.18/174.24	c iter 1786 time 171.518 not-muc 3049693 unknown 30 muc 1785
174.18/174.24	c iter 1787 time 171.612 not-muc 3049693 unknown 29 muc 1786
174.18/174.24	c iter 1788 time 171.707 not-muc 3049693 unknown 28 muc 1787
174.18/174.24	c iter 1789 time 171.801 not-muc 3049693 unknown 27 muc 1788
174.18/174.24	c iter 1790 time 171.896 not-muc 3049693 unknown 26 muc 1789
174.18/174.24	c iter 1791 time 171.99 not-muc 3049693 unknown 25 muc 1790
174.18/174.24	c iter 1792 time 172.085 not-muc 3049693 unknown 24 muc 1791
174.18/174.24	c iter 1793 time 172.179 not-muc 3049693 unknown 23 muc 1792
174.18/174.24	c iter 1794 time 172.274 not-muc 3049693 unknown 22 muc 1793
174.18/174.24	c iter 1795 time 172.368 not-muc 3049693 unknown 21 muc 1794
174.18/174.24	c iter 1796 time 172.462 not-muc 3049693 unknown 20 muc 1795
174.18/174.24	c iter 1797 time 172.557 not-muc 3049693 unknown 19 muc 1796
174.18/174.24	c iter 1798 time 172.661 not-muc 3049693 unknown 18 muc 1797
174.18/174.24	c iter 1799 time 172.756 not-muc 3049693 unknown 17 muc 1798
174.18/174.24	c iter 1800 time 172.85 not-muc 3049693 unknown 16 muc 1799
174.18/174.24	c iter 1801 time 172.944 not-muc 3049693 unknown 15 muc 1800
174.18/174.24	c iter 1802 time 173.039 not-muc 3049693 unknown 14 muc 1801
174.18/174.24	c iter 1803 time 173.133 not-muc 3049693 unknown 13 muc 1802
174.18/174.24	c iter 1804 time 173.227 not-muc 3049693 unknown 12 muc 1803
174.18/174.24	c iter 1805 time 173.332 not-muc 3049693 unknown 11 muc 1804
174.18/174.24	c iter 1806 time 173.426 not-muc 3049693 unknown 10 muc 1805
174.18/174.24	c iter 1807 time 173.521 not-muc 3049693 unknown 9 muc 1806
174.18/174.24	c iter 1808 time 173.615 not-muc 3049693 unknown 8 muc 1807
174.18/174.24	c iter 1809 time 173.72 not-muc 3049693 unknown 7 muc 1808
174.18/174.24	c iter 1810 time 173.815 not-muc 3049693 unknown 6 muc 1809
174.18/174.24	c iter 1811 time 173.909 not-muc 3049693 unknown 5 muc 1810
174.68/174.72	c iter 1812 time 174.003 not-muc 3049693 unknown 4 muc 1811
174.68/174.72	c iter 1813 time 174.098 not-muc 3049693 unknown 3 muc 1812
174.68/174.72	c iter 1814 time 174.203 not-muc 3049693 unknown 2 muc 1813
174.68/174.72	c iter 1815 time 174.297 not-muc 3049693 unknown 1 muc 1814
174.68/174.72	c final iter 1816 time 174.391 not-muc 3049693 unknown 0 muc 1815
174.68/174.72	v 320277 320281 320285 320287 320290 320300 926344 1176394 1176398 1176401 1176404 1426243 1426248 1426249 1426253 1426291 1426295 1426477 1426482 1426483 1426488 1426499 1426502 1426505 1426508 1428338 1429412 1429414 1429417 1429420 1429423 1429440 1429445 1429456 1429460 1429463 1429466 1429504 1429509 1429511 1429515 1432105 1493509 1493514 1493515 1493519 1493557 1493561 1493578 1493583 1493584 1493589 1493600 1493603 1493606 1493609 1555333 1555337 1555340 1555343 1555345 1555349 1555352 1555355 1555357 1555361 1555364 1555367 1654501 1654505 1654508 1654511 1684079 1685153 1685155 1685158 1685161 1685164 1685181 1685186 1685197 1685201 1685205 1685208 1685209 1685213 1685219 1685222 1746619 1746624 1746625 1746629 1746667 1746671 1746688 1746693 1746694 1746699 1746710 1746713 1746716 1746719 1755934 1755939 1755940 1755944 1755982 1755986 1756003 1756008 1756009 1756014 1756025 1756028 1756031 1756034 1756183 1756188 1756189 1756193 1756231 1756235 1756246 1756251 1756252 1756257 1756268 1756271 1756274 1756277 1797322 1797327 1797328 1797332 1797370 1797374 1797385 1797390 1797391 1797395 1797398 1797401 1797404 1797407 1808443 1808448 1808450 1808454 1808455 1808460 1808462 1808466 1808467 1808472 1808474 1808478 1888705 1888708 1889254 1889257 1889260 1889263 1889266 1889269 1889272 1889341 1889344 1889347 1889350 1889353 1889356 1889359 1907611 1907616 1907618 1907622 1935220 1935225 1935226 1935230 1935331 1935335 1937164 1937169 1937170 1937175 1937186 1937189 1938263 1938265 1938268 1938271 1938274 1938278 1938281 1938284 1938291 1938296 1938307 1938311 1938314 1938317 1938319 1938324 1938325 1938329 1938333 1999729 1999734 1999735 1999739 1999777 1999781 1999798 1999803 1999804 1999809 1999820 1999823 1999826 1999829 2009044 2009049 2009050 2009054 2009092 2009096 2009113 2009118 2009119 2009124 2009135 2009138 2009141 2009144 2009293 2009298 2009299 2009303 2009341 2009345 2009356 2009361 2009362 2009367 2009378 2009381 2009384 2009387 2050432 2050437 2050438 2050442 2050480 2050484 2050495 2050500 2050501 2050505 2050508 2050511 2050514 2050517 2061553 2061557 2061560 2061563 2061565 2061569 2061572 2061575 2061577 2061581 2061584 2061587 2092252 2092256 2092259 2092262 2092271 2092288 2092292 2092295 2092298 2092307 2092324 2092328 2092331 2092334 2092343 2092408 2092412 2092415 2092418 2092427 2097643 2097647 2097650 2097653 2097662 2097679 2097683 2097686 2097689 2097698 2097715 2097719 2097722 2097725 2097734 2097751 2097755 2097758 2097761 2097770 2097787 2097791 2097794 2097797 2097806 2097823 2097827 2097830 2097833 2097842 2097859 2097863 2097866 2097869 2097878 2136511 2136515 2136521 2136542 2136545 2136601 2136605 2136611 2136632 2136635 2136691 2136695 2136701 2136722 2136725 2136781 2136785 2136791 2136812 2136815 2136871 2136875 2136881 2136902 2136905 2136961 2136965 2136971 2136992 2136995 2137075 2137079 2137085 2137106 2137109 2149357 2149362 2149363 2149367 2149468 2149472 2151301 2151306 2151307 2151312 2151323 2151326 2152286 2152288 2152291 2152294 2152297 2152301 2152304 2152307 2152314 2152319 2152330 2152334 2152338 2152341 2163820 2163824 2163827 2163830 2191429 2191433 2191439 2191442 2194684 2199023 2199025 2199321 2199323 2199326 2199509 2200016 2200078 2200080 2200376 2200378 2200381 2200564 2201071 2201133 2201135 2201431 2201433 2201436 2201619 2202126 2202188 2202190 2202486 2202488 2202491 2202674 2203181 2203243 2203245 2203541 2203543 2203546 2203729 2204236 2204298 2204300 2204596 2204598 2204601 2204784 2205291 2205353 2205355 2205651 2205653 2205656 2205839 2206346 2206408 2206410 2206766 2206768 2207064 2207066 2207362 2207364 2252821 2252826 2252827 2252831 2252869 2252873 2252890 2252895 2252896 2252901 2252912 2252915 2252918 2252921 2262136 2262141 2262142 2262146 2262184 2262188 2262205 2262210 2262211 2262216 2262227 2262230 2262233 2262236 2262385 2262390 2262391 2262395 2262433 2262437 2262448 2262453 2262454 2262459 2262470 2262473 2262476 2262479 2303524 2303529 2303530 2303534 2303572 2303576 2303587 2303592 2303593 2303597 2303600 2303603 2303606 2303609 2314645 2314650 2314652 2314656 2314657 2314662 2314664 2314668 2314669 2314674 2314676 2314680 2345344 2345348 2345351 2345355 2345357 2345360 2345363 2345380 2345384 2345387 2345391 2345393 2345396 2345399 2345416 2345420 2345423 2345427 2345429 2345432 2345435 2345500 2345504 2345507 2345511 2345513 2345516 2345519 2350735 2350739 2350742 2350746 2350748 2350751 2350754 2350771 2350775 2350778 2350782 2350784 2350787 2350790 2350807 2350811 2350814 2350818 2350820 2350823 2350826 2350843 2350847 2350850 2350854 2350856 2350859 2350862 2350879 2350883 2350886 2350890 2350892 2350895 2350898 2350915 2350919 2350922 2350926 2350928 2350931 2350934 2350951 2350955 2350958 2350962 2350964 2350967 2350970 2385325 2385329 2385332 2385335 2389444 2389448 2389455 2389456 2389459 2389463 2389466 2389469 2389472 2389534 2389538 2389545 2389546 2389549 2389553 2389557 2389559 2389562 2389624 2389628 2389635 2389636 2389639 2389643 2389647 2389649 2389652 2389714 2389718 2389725 2389726 2389729 2389733 2389737 2389739 2389742 2389804 2389808 2389815 2389816 2389819 2389823 2389827 2389829 2389832 2389894 2389898 2389905 2389906 2389909 2389913 2389917 2389919 2389922 2389984 2389988 2389995 2389996 2389999 2390003 2390007 2390009 2390012 2394724 2394727 2395273 2395276 2395279 2395282 2395285 2395288 2395291 2395360 2395363 2395366 2395369 2395372 2395375 2395378 2402164 2402168 2402171 2402174 2402266 2402271 2402272 2402276 2402377 2402381 2404210 2404215 2404216 2404221 2404232 2404235 2405195 2405197 2405200 2405203 2405206 2405210 2405213 2405216 2405223 2405228 2405239 2405243 2405246 2405249 2416729 2416734 2416736 2416740 2418248 2418252 2419352 2419356 2422088 2422091 2422988 2422991 2422995 2424656 2424861 2424864 2425835 2425838 2425842 2426891 2427094 2427099 2427101 2427103 2427107 2427110 2427113 2427116 2427120 2427122 2427124 2427128 2427131 2427134 2427137 2428094 2428097 2428101 2429558 2429761 2429766 2429768 2429770 2429774 2429777 2429780 2429783 2429787 2429789 2429791 2429795 2429798 2429801 2429804 2430761 2430764 2430768 2432021 2432224 2432229 2432231 2432233 2432237 2432240 2432243 2432246 2432250 2432252 2432254 2432258 2432261 2432264 2432267 2433020 2433023 2433027 2434076 2434279 2434284 2434286 2434288 2434292 2434295 2434298 2434301 2434305 2434307 2434309 2434313 2434316 2434319 2434322 2435075 2435078 2435082 2435519 2435722 2435727 2435729 2435731 2435735 2435738 2435741 2435744 2435748 2435750 2435752 2435756 2435759 2435762 2435765 2436059 2436262 2436267 2436269 2436280 2436284 2436287 2436294 2436300 2436306 2436312 2436318 2436321 2436324 2436326 2436328 2436332 2436335 2436338 2436828 2436831 2436832 2436835 2436838 2436841 2436844 2436847 2436854 2436983 2437106 2437232 2437358 2437481 2437603 2437607 2437610 2437619 2437653 2437655 2437662 2437664 2437698 2437700 2437734 2437736 2437770 2437773 2437775 2437805 2438219 2438222 2438226 2438510 2438513 2438517 2444338 2444343 2444344 2444348 2444352 2444650 2444655 2490574 2490579 2490580 2490584 2490622 2490626 2490808 2490813 2490814 2490819 2490830 2490833 2490836 2490839 2495446 2495451 2495452 2495456 2495494 2495498 2495680 2495685 2495686 2495691 2495702 2495705 2495708 2495711 2504926 2504931 2504932 2504936 2504974 2504978 2505160 2505165 2505166 2505171 2505182 2505185 2505188 2505191 2505340 2505345 2505346 2505350 2505388 2505392 2505403 2505408 2505409 2505414 2505425 2505428 2505431 2505434 2544391 2544396 2544397 2544401 2544445 2544449 2544730 2544735 2544736 2544740 2544743 2544746 2544806 2544808 2544811 2544814 2544817 2544821 2544824 2544827 2549538 2549543 2549554 2549558 2549562 2549565 2557771 2557775 2557778 2557781 2557783 2557788 2557790 2557794 2557795 2557799 2557802 2557805 2557807 2557812 2557814 2557818 2557819 2557823 2557826 2557829 2557831 2557836 2557838 2557842 2557843 2557847 2557850 2557853 2557855 2557860 2557862 2557866 2565772 2565776 2565779 2565788 2567212 2567216 2567219 2567228 2568655 2568659 2568662 2568671 2570098 2570102 2570105 2570114 2571541 2571545 2571548 2571557 2573350 2573354 2573357 2573366 2573785 2573789 2573792 2573801 2573809 2573813 2573816 2573825 2574244 2574248 2574251 2574260 2574679 2574683 2574686 2574695 2575114 2575118 2575121 2575130 2575549 2575553 2575556 2575565 2575981 2575985 2575988 2575997 2595187 2595191 2595194 2595197 2595206 2595223 2595227 2595230 2595234 2595236 2595239 2595242 2595259 2595263 2595266 2595269 2595278 2595295 2595299 2595302 2595306 2595308 2595311 2595314 2595331 2595335 2595338 2595341 2595350 2595367 2595371 2595374 2595378 2595380 2595383 2595386 2595499 2595503 2595506 2595509 2595518 2595535 2595539 2595542 2595546 2595548 2595551 2595554 2605966 2605970 2605973 2605976 2605985 2606002 2606006 2606009 2606013 2606015 2606018 2606021 2606038 2606042 2606045 2606048 2606057 2606074 2606078 2606081 2606085 2606087 2606090 2606093 2606110 2606114 2606117 2606120 2606129 2606146 2606150 2606153 2606157 2606159 2606162 2606165 2606182 2606186 2606189 2606192 2606201 2606218 2606222 2606225 2606229 2606231 2606234 2606237 2606254 2606258 2606261 2606264 2606273 2606290 2606294 2606297 2606301 2606303 2606306 2606309 2606326 2606330 2606333 2606336 2606345 2606362 2606366 2606369 2606373 2606375 2606378 2606381 2606398 2606402 2606405 2606408 2606417 2606434 2606438 2606441 2606445 2606447 2606450 2606453 2666623 2666627 2666631 2666633 2666652 2669407 2669411 2669417 2669438 2669441 2669443 2669447 2669453 2669474 2669478 2669587 2669591 2669597 2669618 2669621 2669623 2669627 2669633 2669654 2669658 2669767 2669771 2669777 2669798 2669801 2669803 2669807 2669813 2669834 2669838 2669947 2669951 2669957 2669978 2669981 2669983 2669987 2669993 2670014 2670018 2670127 2670131 2670137 2670158 2670161 2670163 2670167 2670173 2670194 2670198 2670307 2670311 2670317 2670338 2670341 2670343 2670347 2670353 2670374 2670378 2670487 2670491 2670497 2670518 2670521 2670523 2670527 2670533 2670554 2670558 2685733 2685736 2686282 2686285 2686288 2686291 2686294 2686297 2686300 2686369 2686372 2686375 2686378 2686381 2686384 2686387 2692663 2692667 2692671 2692674 2719174 2719178 2719182 2719185 2719191 2719327 2719331 2719335 2719338 2719344 2719645 2719649 2719653 2719656 2719662 2719663 2719667 2719671 2719674 2719680 2719843 2719847 2719851 2719854 2719860 2719861 2719865 2719869 2719872 2719878 2720041 2720045 2720049 2720052 2720058 2720221 2720225 2720229 2720232 2720238 2726902 2726906 2726910 2726913 2726919 2726920 2726924 2726928 2726931 2726937 2726938 2726942 2726946 2726949 2726955 2728063 2728067 2728071 2728074 2728080 2728273 2728277 2728281 2728284 2728290 2738086 2738090 2738093 2738096 2738098 2738103 2738105 2738109 2741129 2741133 2743337 2743341 2748809 2748812 2750612 2750616 2750619 2754224 2756306 2756310 2756313 2758718 2760824 2760828 2760831 2764052 2766158 2766162 2766165 2768978 2770676 2770680 2770683 2773088 2774786 2774790 2774793 2775974 2778623 2781074 2781078 2781081 2781665 2781669 2781672 2782441 2782446 2782448 2792947 2796190 2800529 2800531 2800827 2800829 2800832 2801015 2801522 2801584 2801586 2801882 2801884 2801887 2802070 2802577 2802639 2802641 2802937 2802939 2802942 2803125 2803632 2803694 2803696 2803992 2803994 2803997 2804180 2804687 2804749 2804751 2805047 2805049 2805052 2805235 2805742 2805804 2805806 2806102 2806104 2806107 2806290 2806797 2806859 2806861 2807157 2807159 2807162 2807345 2807852 2807914 2807916 2808272 2808274 2808570 2808572 2808868 2808870 2810109 2810114 2826969 2826974 2826975 2826980 2827466 2827859 2827907 2827909 2827921 2827933 2827945 2827957 2827969 2827981 2827993 2828005 2828017 2828029 2828041 2828053 2828065 2828077 2828089 2828101 2828113 2828125 2828137 2828149 2828161 2828173 2828185 2828197 2828198 2828199 2828204 2828207 2828209 2828210 2828211 2828216 2828219 2828221 2828222 2828223 2828228 2828231 2828233 2828234 2828235 2828240 2828243 2828245 2828246 2828247 2828252 2828255 2828257 2828258 2828259 2828264 2828267 2828269 2828270 2828271 2828276 2828279 2828281 2828282 2828283 2828288 2828291 2828293 2828294 2828295 2828300 2828303 2828305 2828306 2828307 2828312 2828315 2828317 2828318 2828319 2828324 2828327 2828330 2828331 2828336 2828339 2829862 2829914 2834407 2834409 2834412 2834595 2835102 2835462 2835464 2835467 2835650 2836157 2836517 2836519 2836522 2836705 2837212 2837572 2837574 2837577 2837760 2838267 2838627 2838629 2838632 2838815 2839322 2839682 2839684 2839687 2839870 2840377 2840737 2840739 2840742 2840925 2841432 2933919 2933926 2933932 2937078 2937085 2937091 2943168 2943175 2943181 2943336 2943343 2943349 2943871 2955321 2955325 2955327 2955329 2955331 2955333 2955335 2955337 2955339 2955341 2955346 2955348 2955350 2955352 2955354 2955356 2955358 2955360 2955364 2964417 2964623 2964925 2964929 2964933 2965403 2965405 2965407 2965409 2965411 2965428 2965432 2965436 2966613 2966615 2966660 2966662 2966707 2966709 2966730 2966732 2966753 2966755 2966822 2966824 2966891 2966893 2966960 2966962 2966983 2966985 2967052 2967054 2967075 2967077 2967190 2967192 2967259 2967261 2985970 2985972 2985974 2985976 2985978 2986042 2986044 2986046 2986048 2986050 2988658 2988660 2988662 2988664 2988666 2988668 2988670 2990050 2990052 2990054 2990056 2990058 2992849 2992851 2992853 3003986 3003988 3003990 3003992 3003994 3008664 3008666 3008668 3008670 3008672 3008766 3008768 3008770 3008772 3008774 3008868 3008870 3008872 3008874 3008876 3008970 3008972 3008974 3008976 3008978 3009072 3009074 3009076 3009078 3009080 3009174 3009176 3009178 3009180 3009182 3010047 3010049 3031363 3032410 3032435 3032460 3032485 3032510 3032535 3032560 3032585 3032610 3032635 3032660 3032685 3042943 3042945 3042947 3042949 3042951 3042968 3042970 3042972 3042974 3042976 3042993 3042995 3042997 3042999 3043001 3043018 3043020 3043022 3043024 3043026 3043043 3043045 3043047 3043049 3043051 3043068 3043070 3043072 3043074 3043076 3043093 3043095 3043097 3043099 3043101 3043612 3043614 3043616 3043618 3043620 3043663 3043665 3043667 3043669 3043671 3043688 3043690 3043692 3043694 3043696 3043713 3043715 3043717 3043719 3043721 3051263 3051265 3051267 3051269 3051271 3051273 3051275 3051277 3051279 3051287 3051289 3051291 3051293 3051295 3051297 3051299 3051311 3051313 3051315 3051317 3051319 3051321 3051323 3051335 3051337 3051339 3051341 3051343 3051345 3051347 3051377 3051378 0
174.68/174.72	s UNSATISFIABLE

Verifier Data 

OK	1815

Watcher Data 

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-3494628-1307804621/watcher-3494628-1307804621 -o /tmp/evaluation-result-3494628-1307804621/solver-3494628-1307804621 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494628-1307804621.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: 4.05 2.94 2.68 6/189 16146
/proc/meminfo: memFree=30919960/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=24332 CPUtime=0 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 563 0 0 0 0 0 0 0 24 0 1 0 970693068 24915968 505 33554432000 4194304 4337479 140736999918240 18446744073709551615 4321406 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 6083 506 219 35 0 2706 0

[startup+0.00776209 s]
/proc/loadavg: 4.05 2.94 2.68 6/189 16146
/proc/meminfo: memFree=30919960/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=24476 CPUtime=0 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 641 0 0 0 0 0 0 0 24 0 1 0 970693068 25063424 583 33554432000 4194304 4337479 140736999918240 18446744073709551615 4225170 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 6119 584 219 35 0 2742 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24476

[startup+0.100771 s]
/proc/loadavg: 4.05 2.94 2.68 6/189 16146
/proc/meminfo: memFree=30919960/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=38556 CPUtime=0.09 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 5372 0 0 0 9 0 0 0 24 0 1 0 970693068 39481344 5110 33554432000 4194304 4337479 140736999918240 18446744073709551615 4319585 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 9639 5111 220 35 0 6262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38556

[startup+0.300739 s]
/proc/loadavg: 4.05 2.94 2.68 6/189 16146
/proc/meminfo: memFree=30919960/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=82832 CPUtime=0.28 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 15427 0 0 0 26 2 0 0 25 0 1 0 970693068 84819968 14453 33554432000 4194304 4337479 140736999918240 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 20708 14455 244 35 0 17331 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 82832

[startup+0.700669 s]
/proc/loadavg: 4.05 2.94 2.68 6/189 16146
/proc/meminfo: memFree=30919960/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=165596 CPUtime=0.69 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 34778 0 0 0 63 6 0 0 25 0 1 0 970693068 169570304 32526 33554432000 4194304 4337479 140736999918240 18446744073709551615 4321305 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 41399 32526 278 35 0 38022 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 165596

[startup+1.50051 s]
/proc/loadavg: 4.04 2.96 2.68 5/190 16147
/proc/meminfo: memFree=30734452/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=324660 CPUtime=1.49 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 75609 0 0 0 138 11 0 0 25 0 1 0 970693068 332451840 69296 33554432000 4194304 4337479 140736999918240 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 81165 69296 404 35 0 77788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 324660

[startup+3.10122 s]
/proc/loadavg: 4.04 2.96 2.68 5/190 16147
/proc/meminfo: memFree=30537788/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=461240 CPUtime=3.09 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 120400 0 0 0 290 19 0 0 25 0 1 0 970693068 472309760 101770 33554432000 4194304 4337479 140736999918240 18446744073709551615 251367205620 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 115310 101770 460 35 0 111933 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 461240

[startup+6.30062 s]
/proc/loadavg: 4.04 2.97 2.69 5/184 16203
/proc/meminfo: memFree=30796680/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=6.29 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207523 0 0 0 598 31 0 0 25 0 1 0 970693068 438345728 97149 33554432000 4194304 4337479 140736999918240 18446744073709551615 4309775 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97149 490 35 0 103641 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 428072

[startup+12.7005 s]
/proc/loadavg: 4.04 2.99 2.70 5/190 16261
/proc/meminfo: memFree=29945108/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=12.69 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207525 0 0 0 1238 31 0 0 25 0 1 0 970693068 438345728 97151 33554432000 4194304 4337479 140736999918240 18446744073709551615 4278573 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97151 491 35 0 103641 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 428072

[startup+25.5011 s]
/proc/loadavg: 4.10 3.04 2.72 5/190 16261
/proc/meminfo: memFree=29824752/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=25.49 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 2518 31 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4303124 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 428072

[startup+51.1003 s]
/proc/loadavg: 4.06 3.13 2.76 5/190 16300
/proc/meminfo: memFree=29766924/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=51.08 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 5077 31 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4281733 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 428072

[startup+102.307 s]
/proc/loadavg: 3.97 3.25 2.81 5/190 16529
/proc/meminfo: memFree=29341784/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=102.29 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 10197 32 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4281708 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 428072

[startup+162.301 s]
/proc/loadavg: 4.03 3.40 2.89 5/190 16607
/proc/meminfo: memFree=28546400/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=162.28 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 16196 32 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4281733 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 428072

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

[startup+166.301 s]
/proc/loadavg: 4.03 3.41 2.90 5/190 16607
/proc/meminfo: memFree=28544832/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=166.28 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 16596 32 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4281716 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 166.28
Current children cumulated vsize (KiB) 428072

[startup+169.5 s]
/proc/loadavg: 4.03 3.41 2.90 5/190 16607
/proc/meminfo: memFree=28543592/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=169.48 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 16916 32 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4278865 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 169.48
Current children cumulated vsize (KiB) 428072

[startup+172.707 s]
/proc/loadavg: 4.03 3.42 2.90 5/190 16607
/proc/meminfo: memFree=28523496/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=172.69 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 17237 32 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4290724 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 172.69
Current children cumulated vsize (KiB) 428072

[startup+173.501 s]
/proc/loadavg: 4.03 3.42 2.90 5/190 16607
/proc/meminfo: memFree=28523496/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=173.48 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 17316 32 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 173.48
Current children cumulated vsize (KiB) 428072

[startup+174.3 s]
/proc/loadavg: 4.03 3.42 2.90 5/190 16607
/proc/meminfo: memFree=28514196/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=174.28 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 17396 32 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 174.28
Current children cumulated vsize (KiB) 428072

[startup+174.7 s]
/proc/loadavg: 4.03 3.42 2.90 5/190 16607
/proc/meminfo: memFree=28514196/32950928 swapFree=67051096/67111528
[pid=16146] ppid=16144 vsize=428072 CPUtime=174.68 cores=0,2
/proc/16146/stat : 16146 (hmuc) R 16144 16146 14391 0 -1 4202496 207526 0 0 0 17436 32 0 0 25 0 1 0 970693068 438345728 97152 33554432000 4194304 4337479 140736999918240 18446744073709551615 4281733 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/16146/statm: 107018 97152 491 35 0 103641 0
Current children cumulated CPU time (s) 174.68
Current children cumulated vsize (KiB) 428072

Child status: 20
Real time (s): 174.75
CPU time (s): 174.737
CPU user time (s): 174.391
CPU system time (s): 0.345947
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 715932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 174.391
system time used= 0.345947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207527
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2223

runsolver used 0.338948 second user time and 0.633903 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-11 17:03:44
IDJOB=3494628
IDBENCH=89266
IDSOLVER=1985
FILE ID=node113/3494628-1307804621
RUNJOBID= node113-1307804398-15693
PBS_JOBID= 13551039
Free space on /tmp= 74052 MiB

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

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

MD5SUM BENCH= 8a99c37c402a16b139225a27ef380c76
RANDOM SEED=1788579665

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30920132 kB
Buffers:        276448 kB
Cached:         988224 kB
SwapCached:      14384 kB
Active:        1097052 kB
Inactive:       727020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30920132 kB
SwapTotal:    67111528 kB
SwapFree:     67051096 kB
Dirty:           58000 kB
Writeback:           0 kB
AnonPages:      556512 kB
Mapped:           9660 kB
Slab:           141000 kB
PageTables:       6396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   816764 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= 73876 MiB
End job on node113 at 2011-06-11 17:06:39