Trace number 3494327

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 127.048 127.058

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_28491_10.cnf_0.46000000.unsat.cnf
MD5SUMaaa569616d19d59cb15858af675caf32
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6.72698
Satisfiable
(Un)Satisfiability was proved
Number of variables864460
Number of clauses2529090
Sum of the clauses size5870529
Maximum clause length3
Minimum clause length1
Number of clauses of size 11776
Number of clauses of size 21713189
Number of clauses of size 3814125
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

6.09/6.20	c WARNING: for repeatability, setting FPU to use double precision
6.09/6.20	c iter 1 time 1.15682 not-muc 2527292 unknown 1798 muc 0
6.09/6.20	c iter 2 time 1.89971 not-muc 2527292 unknown 1797 muc 1
6.09/6.20	c iter 3 time 1.9887 not-muc 2527292 unknown 1796 muc 2
6.09/6.20	c iter 4 time 2.05869 not-muc 2527292 unknown 1795 muc 3
6.09/6.20	c iter 5 time 2.11868 not-muc 2527292 unknown 1794 muc 4
6.09/6.20	c iter 6 time 2.17767 not-muc 2527292 unknown 1793 muc 5
6.09/6.20	c iter 7 time 2.23766 not-muc 2527292 unknown 1792 muc 6
6.09/6.20	c iter 8 time 2.29665 not-muc 2527292 unknown 1791 muc 7
6.09/6.20	c iter 9 time 2.35564 not-muc 2527292 unknown 1790 muc 8
6.09/6.20	c iter 10 time 2.41563 not-muc 2527292 unknown 1789 muc 9
6.09/6.20	c iter 11 time 2.48562 not-muc 2527292 unknown 1788 muc 10
6.09/6.20	c iter 12 time 2.54561 not-muc 2527292 unknown 1787 muc 11
6.09/6.20	c iter 13 time 2.6056 not-muc 2527292 unknown 1786 muc 12
6.09/6.20	c iter 14 time 2.66459 not-muc 2527292 unknown 1785 muc 13
6.09/6.20	c iter 15 time 2.72459 not-muc 2527292 unknown 1784 muc 14
6.09/6.20	c iter 16 time 2.78358 not-muc 2527292 unknown 1783 muc 15
6.09/6.20	c iter 17 time 2.84357 not-muc 2527292 unknown 1782 muc 16
6.09/6.20	c iter 18 time 2.91356 not-muc 2527292 unknown 1781 muc 17
6.09/6.20	c iter 19 time 2.97355 not-muc 2527292 unknown 1780 muc 18
6.09/6.20	c iter 20 time 3.03354 not-muc 2527292 unknown 1779 muc 19
6.09/6.20	c iter 21 time 3.09253 not-muc 2527292 unknown 1778 muc 20
6.09/6.20	c iter 22 time 3.15252 not-muc 2527292 unknown 1777 muc 21
6.09/6.20	c iter 23 time 3.21151 not-muc 2527292 unknown 1776 muc 22
6.09/6.20	c iter 24 time 3.2715 not-muc 2527292 unknown 1775 muc 23
6.09/6.20	c iter 25 time 3.34249 not-muc 2527292 unknown 1774 muc 24
6.09/6.20	c iter 26 time 3.40248 not-muc 2527292 unknown 1773 muc 25
6.09/6.20	c iter 27 time 3.46147 not-muc 2527292 unknown 1772 muc 26
6.09/6.20	c iter 28 time 3.52146 not-muc 2527292 unknown 1771 muc 27
6.09/6.20	c iter 29 time 3.58146 not-muc 2527292 unknown 1770 muc 28
6.09/6.20	c iter 30 time 3.64045 not-muc 2527292 unknown 1769 muc 29
6.09/6.20	c iter 31 time 3.70044 not-muc 2527292 unknown 1768 muc 30
6.09/6.20	c iter 32 time 3.77043 not-muc 2527292 unknown 1767 muc 31
6.09/6.20	c iter 33 time 3.83042 not-muc 2527292 unknown 1766 muc 32
6.09/6.20	c iter 34 time 3.89041 not-muc 2527292 unknown 1765 muc 33
6.09/6.20	c iter 35 time 3.9494 not-muc 2527292 unknown 1764 muc 34
6.09/6.20	c iter 36 time 4.00939 not-muc 2527292 unknown 1763 muc 35
6.09/6.20	c iter 37 time 4.08038 not-muc 2527292 unknown 1762 muc 36
6.09/6.20	c iter 38 time 4.13937 not-muc 2527292 unknown 1761 muc 37
6.09/6.20	c iter 39 time 4.19936 not-muc 2527292 unknown 1760 muc 38
6.09/6.20	c iter 40 time 4.25935 not-muc 2527292 unknown 1759 muc 39
6.09/6.20	c iter 41 time 4.31834 not-muc 2527292 unknown 1758 muc 40
6.09/6.20	c iter 42 time 4.39033 not-muc 2527292 unknown 1757 muc 41
6.09/6.20	c iter 43 time 4.44932 not-muc 2527292 unknown 1756 muc 42
6.09/6.20	c iter 44 time 4.50931 not-muc 2527292 unknown 1755 muc 43
6.09/6.20	c iter 45 time 4.5693 not-muc 2527292 unknown 1754 muc 44
6.09/6.20	c iter 46 time 4.6283 not-muc 2527292 unknown 1753 muc 45
6.09/6.20	c iter 47 time 4.69928 not-muc 2527292 unknown 1752 muc 46
6.09/6.20	c iter 48 time 4.75928 not-muc 2527292 unknown 1751 muc 47
6.09/6.20	c iter 49 time 4.81827 not-muc 2527292 unknown 1750 muc 48
6.09/6.20	c iter 50 time 4.87826 not-muc 2527292 unknown 1749 muc 49
6.09/6.20	c iter 51 time 4.93825 not-muc 2527292 unknown 1748 muc 50
6.09/6.20	c iter 52 time 5.00924 not-muc 2527292 unknown 1747 muc 51
6.09/6.20	c iter 53 time 5.06823 not-muc 2527292 unknown 1746 muc 52
6.09/6.20	c iter 54 time 5.12822 not-muc 2527292 unknown 1745 muc 53
6.09/6.20	c iter 55 time 5.18821 not-muc 2527292 unknown 1744 muc 54
6.09/6.20	c iter 56 time 5.2472 not-muc 2527292 unknown 1743 muc 55
6.09/6.20	c iter 57 time 5.31819 not-muc 2527292 unknown 1742 muc 56
6.09/6.20	c iter 58 time 5.37718 not-muc 2527292 unknown 1741 muc 57
6.09/6.20	c iter 59 time 5.43717 not-muc 2527292 unknown 1740 muc 58
6.09/6.20	c iter 60 time 5.49716 not-muc 2527292 unknown 1739 muc 59
6.09/6.20	c iter 61 time 5.55616 not-muc 2527292 unknown 1738 muc 60
6.09/6.20	c iter 62 time 5.62714 not-muc 2527292 unknown 1737 muc 61
6.09/6.20	c iter 63 time 5.68614 not-muc 2527292 unknown 1736 muc 62
6.09/6.20	c iter 64 time 5.74613 not-muc 2527292 unknown 1735 muc 63
6.09/6.20	c iter 65 time 5.80612 not-muc 2527292 unknown 1734 muc 64
6.09/6.20	c iter 66 time 5.86611 not-muc 2527292 unknown 1733 muc 65
6.09/6.20	c iter 67 time 5.9371 not-muc 2527292 unknown 1732 muc 66
6.09/6.20	c iter 68 time 5.99609 not-muc 2527292 unknown 1731 muc 67
6.09/6.20	c iter 69 time 6.05608 not-muc 2527292 unknown 1730 muc 68
10.59/10.64	c iter 70 time 6.11607 not-muc 2527292 unknown 1729 muc 69
10.59/10.64	c iter 71 time 6.17606 not-muc 2527292 unknown 1728 muc 70
10.59/10.64	c iter 72 time 6.24605 not-muc 2527292 unknown 1727 muc 71
10.59/10.64	c iter 73 time 6.30604 not-muc 2527292 unknown 1726 muc 72
10.59/10.64	c iter 74 time 6.36503 not-muc 2527292 unknown 1725 muc 73
10.59/10.64	c iter 75 time 6.42502 not-muc 2527292 unknown 1724 muc 74
10.59/10.64	c iter 76 time 6.48501 not-muc 2527292 unknown 1723 muc 75
10.59/10.64	c iter 77 time 6.557 not-muc 2527292 unknown 1722 muc 76
10.59/10.64	c iter 78 time 6.61599 not-muc 2527292 unknown 1721 muc 77
10.59/10.64	c iter 79 time 6.67598 not-muc 2527292 unknown 1720 muc 78
10.59/10.64	c iter 80 time 6.73597 not-muc 2527292 unknown 1719 muc 79
10.59/10.64	c iter 81 time 6.79597 not-muc 2527292 unknown 1718 muc 80
10.59/10.64	c iter 82 time 6.86696 not-muc 2527292 unknown 1717 muc 81
10.59/10.64	c iter 83 time 6.92595 not-muc 2527292 unknown 1716 muc 82
10.59/10.64	c iter 84 time 6.98594 not-muc 2527292 unknown 1715 muc 83
10.59/10.64	c iter 85 time 7.04593 not-muc 2527292 unknown 1714 muc 84
10.59/10.64	c iter 86 time 7.10592 not-muc 2527292 unknown 1713 muc 85
10.59/10.64	c iter 87 time 7.18091 not-muc 2527292 unknown 1712 muc 86
10.59/10.64	c iter 88 time 7.2519 not-muc 2527292 unknown 1711 muc 87
10.59/10.64	c iter 89 time 7.32289 not-muc 2527292 unknown 1710 muc 88
10.59/10.64	c iter 90 time 7.39487 not-muc 2527292 unknown 1709 muc 89
10.59/10.64	c iter 91 time 7.46586 not-muc 2527292 unknown 1708 muc 90
10.59/10.64	c iter 92 time 7.53785 not-muc 2527292 unknown 1707 muc 91
10.59/10.64	c iter 93 time 7.60884 not-muc 2527292 unknown 1706 muc 92
10.59/10.64	c iter 94 time 7.67983 not-muc 2527292 unknown 1705 muc 93
10.59/10.64	c iter 95 time 7.75082 not-muc 2527292 unknown 1704 muc 94
10.59/10.64	c iter 96 time 7.82281 not-muc 2527292 unknown 1703 muc 95
10.59/10.64	c iter 97 time 7.8938 not-muc 2527292 unknown 1702 muc 96
10.59/10.64	c iter 98 time 7.96479 not-muc 2527292 unknown 1701 muc 97
10.59/10.64	c iter 99 time 8.03978 not-muc 2527292 unknown 1700 muc 98
10.59/10.64	c iter 100 time 8.11177 not-muc 2527292 unknown 1699 muc 99
10.59/10.64	c iter 101 time 8.17276 not-muc 2527292 unknown 1698 muc 100
10.59/10.64	c iter 102 time 8.23375 not-muc 2527292 unknown 1697 muc 101
10.59/10.64	c iter 103 time 8.29374 not-muc 2527292 unknown 1696 muc 102
10.59/10.64	c iter 104 time 8.35473 not-muc 2527292 unknown 1695 muc 103
10.59/10.64	c iter 105 time 8.41572 not-muc 2527292 unknown 1694 muc 104
10.59/10.64	c iter 106 time 8.47671 not-muc 2527292 unknown 1693 muc 105
10.59/10.64	c iter 107 time 8.5487 not-muc 2527292 unknown 1692 muc 106
10.59/10.64	c iter 108 time 8.60969 not-muc 2527292 unknown 1691 muc 107
10.59/10.64	c iter 109 time 8.66968 not-muc 2527292 unknown 1690 muc 108
10.59/10.64	c iter 110 time 8.73067 not-muc 2527292 unknown 1689 muc 109
10.59/10.64	c iter 111 time 8.79166 not-muc 2527292 unknown 1688 muc 110
10.59/10.64	c iter 112 time 8.86265 not-muc 2527292 unknown 1687 muc 111
10.59/10.64	c iter 113 time 8.92464 not-muc 2527292 unknown 1686 muc 112
10.59/10.64	c iter 114 time 8.98463 not-muc 2527292 unknown 1685 muc 113
10.59/10.64	c iter 115 time 9.04562 not-muc 2527292 unknown 1684 muc 114
10.59/10.64	c iter 116 time 9.10661 not-muc 2527292 unknown 1683 muc 115
10.59/10.64	c iter 117 time 9.1776 not-muc 2527292 unknown 1682 muc 116
10.59/10.64	c iter 118 time 9.2386 not-muc 2527292 unknown 1681 muc 117
10.59/10.64	c iter 119 time 9.29959 not-muc 2527292 unknown 1680 muc 118
10.59/10.64	c iter 120 time 9.35958 not-muc 2527292 unknown 1679 muc 119
10.59/10.64	c iter 121 time 9.42057 not-muc 2527292 unknown 1678 muc 120
10.59/10.64	c iter 122 time 9.49256 not-muc 2527292 unknown 1677 muc 121
10.59/10.64	c iter 123 time 9.55255 not-muc 2527292 unknown 1676 muc 122
10.59/10.64	c iter 124 time 9.61354 not-muc 2527292 unknown 1675 muc 123
10.59/10.64	c iter 125 time 9.67453 not-muc 2527292 unknown 1674 muc 124
10.59/10.64	c iter 126 time 9.73552 not-muc 2527292 unknown 1673 muc 125
10.59/10.64	c iter 127 time 9.80651 not-muc 2527292 unknown 1672 muc 126
10.59/10.64	c iter 128 time 9.8675 not-muc 2527292 unknown 1671 muc 127
10.59/10.64	c iter 129 time 9.92849 not-muc 2527292 unknown 1670 muc 128
10.59/10.64	c iter 130 time 9.98848 not-muc 2527292 unknown 1669 muc 129
10.59/10.64	c iter 131 time 10.0495 not-muc 2527292 unknown 1668 muc 130
10.59/10.64	c iter 132 time 10.1215 not-muc 2527292 unknown 1667 muc 131
10.59/10.64	c iter 133 time 10.1825 not-muc 2527292 unknown 1666 muc 132
10.59/10.64	c iter 134 time 10.2434 not-muc 2527292 unknown 1665 muc 133
10.59/10.64	c iter 135 time 10.3044 not-muc 2527292 unknown 1664 muc 134
10.59/10.64	c iter 136 time 10.3654 not-muc 2527292 unknown 1663 muc 135
10.59/10.64	c iter 137 time 10.4384 not-muc 2527292 unknown 1662 muc 136
10.59/10.64	c iter 138 time 10.4984 not-muc 2527292 unknown 1661 muc 137
14.79/14.88	c iter 139 time 10.5594 not-muc 2527292 unknown 1660 muc 138
14.79/14.88	c iter 140 time 10.6324 not-muc 2527292 unknown 1659 muc 139
14.79/14.88	c iter 141 time 10.6924 not-muc 2527292 unknown 1658 muc 140
14.79/14.88	c iter 142 time 10.7534 not-muc 2527292 unknown 1657 muc 141
14.79/14.88	c iter 143 time 10.8154 not-muc 2527292 unknown 1656 muc 142
14.79/14.88	c iter 144 time 10.8763 not-muc 2527292 unknown 1655 muc 143
14.79/14.88	c iter 145 time 10.9373 not-muc 2527292 unknown 1654 muc 144
14.79/14.88	c iter 146 time 10.9983 not-muc 2527292 unknown 1653 muc 145
14.79/14.88	c iter 147 time 11.0603 not-muc 2527292 unknown 1652 muc 146
14.79/14.88	c iter 148 time 11.1213 not-muc 2527292 unknown 1651 muc 147
14.79/14.88	c iter 149 time 11.1833 not-muc 2527292 unknown 1650 muc 148
14.79/14.88	c iter 150 time 11.2443 not-muc 2527292 unknown 1649 muc 149
14.79/14.88	c iter 151 time 11.3063 not-muc 2527292 unknown 1648 muc 150
14.79/14.88	c iter 152 time 11.3673 not-muc 2527292 unknown 1647 muc 151
14.79/14.88	c iter 153 time 11.4293 not-muc 2527292 unknown 1646 muc 152
14.79/14.88	c iter 154 time 11.4903 not-muc 2527292 unknown 1645 muc 153
14.79/14.88	c iter 155 time 11.5522 not-muc 2527292 unknown 1644 muc 154
14.79/14.88	c iter 156 time 11.6132 not-muc 2527292 unknown 1643 muc 155
14.79/14.88	c iter 157 time 11.6752 not-muc 2527292 unknown 1642 muc 156
14.79/14.88	c iter 158 time 11.7372 not-muc 2527292 unknown 1641 muc 157
14.79/14.88	c iter 159 time 11.7992 not-muc 2527292 unknown 1640 muc 158
14.79/14.88	c iter 160 time 11.8612 not-muc 2527292 unknown 1639 muc 159
14.79/14.88	c iter 161 time 11.9232 not-muc 2527292 unknown 1638 muc 160
14.79/14.88	c iter 162 time 11.9852 not-muc 2527292 unknown 1637 muc 161
14.79/14.88	c iter 163 time 12.0472 not-muc 2527292 unknown 1636 muc 162
14.79/14.88	c iter 164 time 12.1092 not-muc 2527292 unknown 1635 muc 163
14.79/14.88	c iter 165 time 12.1721 not-muc 2527292 unknown 1634 muc 164
14.79/14.88	c iter 166 time 12.2351 not-muc 2527292 unknown 1633 muc 165
14.79/14.88	c iter 167 time 12.2971 not-muc 2527292 unknown 1632 muc 166
14.79/14.88	c iter 168 time 12.3591 not-muc 2527292 unknown 1631 muc 167
14.79/14.88	c iter 169 time 12.4221 not-muc 2527292 unknown 1630 muc 168
14.79/14.88	c iter 170 time 12.4841 not-muc 2527292 unknown 1629 muc 169
14.79/14.88	c iter 171 time 12.5471 not-muc 2527292 unknown 1628 muc 170
14.79/14.88	c iter 172 time 12.6091 not-muc 2527292 unknown 1627 muc 171
14.79/14.88	c iter 173 time 12.6721 not-muc 2527292 unknown 1626 muc 172
14.79/14.88	c iter 174 time 12.7351 not-muc 2527292 unknown 1625 muc 173
14.79/14.88	c iter 175 time 12.7981 not-muc 2527292 unknown 1624 muc 174
14.79/14.88	c iter 176 time 12.861 not-muc 2527292 unknown 1623 muc 175
14.79/14.88	c iter 177 time 12.923 not-muc 2527292 unknown 1622 muc 176
14.79/14.88	c iter 178 time 12.986 not-muc 2527292 unknown 1621 muc 177
14.79/14.88	c iter 179 time 13.049 not-muc 2527292 unknown 1620 muc 178
14.79/14.88	c iter 180 time 13.113 not-muc 2527292 unknown 1619 muc 179
14.79/14.88	c iter 181 time 13.176 not-muc 2527292 unknown 1618 muc 180
14.79/14.88	c iter 182 time 13.24 not-muc 2527292 unknown 1617 muc 181
14.79/14.88	c iter 183 time 13.303 not-muc 2527292 unknown 1616 muc 182
14.79/14.88	c iter 184 time 13.367 not-muc 2527292 unknown 1615 muc 183
14.79/14.88	c iter 185 time 13.432 not-muc 2527292 unknown 1614 muc 184
14.79/14.88	c iter 186 time 13.4959 not-muc 2527292 unknown 1613 muc 185
14.79/14.88	c iter 187 time 13.5609 not-muc 2527292 unknown 1612 muc 186
14.79/14.88	c iter 188 time 13.6249 not-muc 2527292 unknown 1611 muc 187
14.79/14.88	c iter 189 time 13.6899 not-muc 2527292 unknown 1610 muc 188
14.79/14.88	c iter 190 time 13.7539 not-muc 2527292 unknown 1609 muc 189
14.79/14.88	c iter 191 time 13.8189 not-muc 2527292 unknown 1608 muc 190
14.79/14.88	c iter 192 time 13.8839 not-muc 2527292 unknown 1607 muc 191
14.79/14.88	c iter 193 time 13.9499 not-muc 2527292 unknown 1606 muc 192
14.79/14.88	c iter 194 time 14.0159 not-muc 2527292 unknown 1605 muc 193
14.79/14.88	c iter 195 time 14.0819 not-muc 2527292 unknown 1604 muc 194
14.79/14.88	c iter 196 time 14.1478 not-muc 2527292 unknown 1603 muc 195
14.79/14.88	c iter 197 time 14.2138 not-muc 2527292 unknown 1602 muc 196
14.79/14.88	c iter 198 time 14.2808 not-muc 2527292 unknown 1601 muc 197
14.79/14.88	c iter 199 time 14.3468 not-muc 2527292 unknown 1600 muc 198
14.79/14.88	c iter 200 time 14.4208 not-muc 2527292 unknown 1599 muc 199
14.79/14.88	c iter 201 time 14.4928 not-muc 2527292 unknown 1598 muc 200
14.79/14.88	c iter 202 time 14.5538 not-muc 2527292 unknown 1597 muc 201
14.79/14.88	c iter 203 time 14.6148 not-muc 2527292 unknown 1596 muc 202
14.79/14.88	c iter 204 time 14.6758 not-muc 2527292 unknown 1595 muc 203
14.79/14.88	c iter 205 time 14.7378 not-muc 2527292 unknown 1594 muc 204
19.49/19.52	c iter 206 time 14.7988 not-muc 2527292 unknown 1593 muc 205
19.49/19.52	c iter 207 time 14.8597 not-muc 2527292 unknown 1592 muc 206
19.49/19.52	c iter 208 time 14.9207 not-muc 2527292 unknown 1591 muc 207
19.49/19.52	c iter 209 time 14.9927 not-muc 2527292 unknown 1590 muc 208
19.49/19.52	c iter 210 time 15.0657 not-muc 2527292 unknown 1589 muc 209
19.49/19.52	c iter 211 time 15.1267 not-muc 2527292 unknown 1588 muc 210
19.49/19.52	c iter 212 time 15.1987 not-muc 2527292 unknown 1587 muc 211
19.49/19.52	c iter 213 time 15.2597 not-muc 2527292 unknown 1586 muc 212
19.49/19.52	c iter 214 time 15.3327 not-muc 2527292 unknown 1585 muc 213
19.49/19.52	c iter 215 time 15.3937 not-muc 2527292 unknown 1584 muc 214
19.49/19.52	c iter 216 time 15.4666 not-muc 2527292 unknown 1583 muc 215
19.49/19.52	c iter 217 time 15.5286 not-muc 2527292 unknown 1582 muc 216
19.49/19.52	c iter 218 time 15.5896 not-muc 2527292 unknown 1581 muc 217
19.49/19.52	c iter 219 time 15.6626 not-muc 2527292 unknown 1580 muc 218
19.49/19.52	c iter 220 time 15.7246 not-muc 2527292 unknown 1579 muc 219
19.49/19.52	c iter 221 time 15.7866 not-muc 2527292 unknown 1578 muc 220
19.49/19.52	c iter 222 time 15.8586 not-muc 2527292 unknown 1577 muc 221
19.49/19.52	c iter 223 time 15.9206 not-muc 2527292 unknown 1576 muc 222
19.49/19.52	c iter 224 time 15.9816 not-muc 2527292 unknown 1575 muc 223
19.49/19.52	c iter 225 time 16.0536 not-muc 2527292 unknown 1574 muc 224
19.49/19.52	c iter 226 time 16.1155 not-muc 2527292 unknown 1573 muc 225
19.49/19.52	c iter 227 time 16.1765 not-muc 2527292 unknown 1572 muc 226
19.49/19.52	c iter 228 time 16.2495 not-muc 2527292 unknown 1571 muc 227
19.49/19.52	c iter 229 time 16.3115 not-muc 2527292 unknown 1570 muc 228
19.49/19.52	c iter 230 time 16.3835 not-muc 2527292 unknown 1569 muc 229
19.49/19.52	c iter 231 time 16.4575 not-muc 2527292 unknown 1568 muc 230
19.49/19.52	c iter 232 time 16.5295 not-muc 2527292 unknown 1567 muc 231
19.49/19.52	c iter 233 time 16.6025 not-muc 2527292 unknown 1566 muc 232
19.49/19.52	c iter 234 time 16.6755 not-muc 2527292 unknown 1565 muc 233
19.49/19.52	c iter 235 time 16.7475 not-muc 2527292 unknown 1564 muc 234
19.49/19.52	c iter 236 time 16.8194 not-muc 2527292 unknown 1563 muc 235
19.49/19.52	c iter 237 time 16.8914 not-muc 2527292 unknown 1562 muc 236
19.49/19.52	c iter 238 time 16.9634 not-muc 2527292 unknown 1561 muc 237
19.49/19.52	c iter 239 time 17.0354 not-muc 2527292 unknown 1560 muc 238
19.49/19.52	c iter 240 time 17.1074 not-muc 2527292 unknown 1559 muc 239
19.49/19.52	c iter 241 time 17.1794 not-muc 2527292 unknown 1558 muc 240
19.49/19.52	c iter 242 time 17.2514 not-muc 2527292 unknown 1557 muc 241
19.49/19.52	c iter 243 time 17.3234 not-muc 2527292 unknown 1556 muc 242
19.49/19.52	c iter 244 time 17.3964 not-muc 2527292 unknown 1555 muc 243
19.49/19.52	c iter 245 time 17.4683 not-muc 2527292 unknown 1554 muc 244
19.49/19.52	c iter 246 time 17.5423 not-muc 2527292 unknown 1553 muc 245
19.49/19.52	c iter 247 time 17.6143 not-muc 2527292 unknown 1552 muc 246
19.49/19.52	c iter 248 time 17.6873 not-muc 2527292 unknown 1551 muc 247
19.49/19.52	c iter 249 time 17.7603 not-muc 2527292 unknown 1550 muc 248
19.49/19.52	c iter 250 time 17.8333 not-muc 2527292 unknown 1549 muc 249
19.49/19.52	c iter 251 time 17.9063 not-muc 2527292 unknown 1548 muc 250
19.49/19.52	c iter 252 time 17.9793 not-muc 2527292 unknown 1547 muc 251
19.49/19.52	c iter 253 time 18.0523 not-muc 2527292 unknown 1546 muc 252
19.49/19.52	c iter 254 time 18.1252 not-muc 2527292 unknown 1545 muc 253
19.49/19.52	c iter 255 time 18.1982 not-muc 2527292 unknown 1544 muc 254
19.49/19.52	c iter 256 time 18.2712 not-muc 2527292 unknown 1543 muc 255
19.49/19.52	c iter 257 time 18.3442 not-muc 2527292 unknown 1542 muc 256
19.49/19.52	c iter 258 time 18.4172 not-muc 2527292 unknown 1541 muc 257
19.49/19.52	c iter 259 time 18.4902 not-muc 2527292 unknown 1540 muc 258
19.49/19.52	c iter 260 time 18.5622 not-muc 2527292 unknown 1539 muc 259
19.49/19.52	c iter 261 time 18.6342 not-muc 2527292 unknown 1538 muc 260
19.49/19.52	c iter 262 time 18.7062 not-muc 2527292 unknown 1537 muc 261
19.49/19.52	c iter 263 time 18.7781 not-muc 2527292 unknown 1536 muc 262
19.49/19.52	c iter 264 time 18.8501 not-muc 2527292 unknown 1535 muc 263
19.49/19.52	c iter 265 time 18.9111 not-muc 2527292 unknown 1534 muc 264
19.49/19.52	c iter 266 time 18.9841 not-muc 2527292 unknown 1533 muc 265
19.49/19.52	c iter 267 time 19.0461 not-muc 2527292 unknown 1532 muc 266
19.49/19.52	c iter 268 time 19.1181 not-muc 2527292 unknown 1531 muc 267
19.49/19.52	c iter 269 time 19.1801 not-muc 2527292 unknown 1530 muc 268
19.49/19.52	c iter 270 time 19.2411 not-muc 2527292 unknown 1529 muc 269
19.49/19.52	c iter 271 time 19.3031 not-muc 2527292 unknown 1528 muc 270
19.49/19.52	c iter 272 time 19.3761 not-muc 2527292 unknown 1527 muc 271
23.69/23.77	c iter 273 time 19.437 not-muc 2527292 unknown 1526 muc 272
23.69/23.77	c iter 274 time 19.499 not-muc 2527292 unknown 1525 muc 273
23.69/23.77	c iter 275 time 19.562 not-muc 2527292 unknown 1524 muc 274
23.69/23.77	c iter 276 time 19.624 not-muc 2527292 unknown 1523 muc 275
23.69/23.77	c iter 277 time 19.697 not-muc 2527292 unknown 1522 muc 276
23.69/23.77	c iter 278 time 19.759 not-muc 2527292 unknown 1521 muc 277
23.69/23.77	c iter 279 time 19.821 not-muc 2527292 unknown 1520 muc 278
23.69/23.77	c iter 280 time 19.883 not-muc 2527292 unknown 1519 muc 279
23.69/23.77	c iter 281 time 19.945 not-muc 2527292 unknown 1518 muc 280
23.69/23.77	c iter 282 time 20.019 not-muc 2527292 unknown 1517 muc 281
23.69/23.77	c iter 283 time 20.0809 not-muc 2527292 unknown 1516 muc 282
23.69/23.77	c iter 284 time 20.1429 not-muc 2527292 unknown 1515 muc 283
23.69/23.77	c iter 285 time 20.2049 not-muc 2527292 unknown 1514 muc 284
23.69/23.77	c iter 286 time 20.2679 not-muc 2527292 unknown 1513 muc 285
23.69/23.77	c iter 287 time 20.3409 not-muc 2527292 unknown 1512 muc 286
23.69/23.77	c iter 288 time 20.4029 not-muc 2527292 unknown 1511 muc 287
23.69/23.77	c iter 289 time 20.4649 not-muc 2527292 unknown 1510 muc 288
23.69/23.77	c iter 290 time 20.5259 not-muc 2527292 unknown 1509 muc 289
23.69/23.77	c iter 291 time 20.5879 not-muc 2527292 unknown 1508 muc 290
23.69/23.77	c iter 292 time 20.6599 not-muc 2527292 unknown 1507 muc 291
23.69/23.77	c iter 293 time 20.7218 not-muc 2527292 unknown 1506 muc 292
23.69/23.77	c iter 294 time 20.7828 not-muc 2527292 unknown 1505 muc 293
23.69/23.77	c iter 295 time 20.8438 not-muc 2527292 unknown 1504 muc 294
23.69/23.77	c iter 296 time 20.9058 not-muc 2527292 unknown 1503 muc 295
23.69/23.77	c iter 297 time 20.9788 not-muc 2527292 unknown 1502 muc 296
23.69/23.77	c iter 298 time 21.0398 not-muc 2527292 unknown 1501 muc 297
23.69/23.77	c iter 299 time 21.1018 not-muc 2527292 unknown 1500 muc 298
23.69/23.77	c iter 300 time 21.1628 not-muc 2527292 unknown 1499 muc 299
23.69/23.77	c iter 301 time 21.2248 not-muc 2527292 unknown 1498 muc 300
23.69/23.77	c iter 302 time 21.2988 not-muc 2527292 unknown 1497 muc 301
23.69/23.77	c iter 303 time 21.3608 not-muc 2527292 unknown 1496 muc 302
23.69/23.77	c iter 304 time 21.4227 not-muc 2527292 unknown 1495 muc 303
23.69/23.77	c iter 305 time 21.4847 not-muc 2527292 unknown 1494 muc 304
23.69/23.77	c iter 306 time 21.5467 not-muc 2527292 unknown 1493 muc 305
23.69/23.77	c iter 307 time 21.6207 not-muc 2527292 unknown 1492 muc 306
23.69/23.77	c iter 308 time 21.6817 not-muc 2527292 unknown 1491 muc 307
23.69/23.77	c iter 309 time 21.7437 not-muc 2527292 unknown 1490 muc 308
23.69/23.77	c iter 310 time 21.8057 not-muc 2527292 unknown 1489 muc 309
23.69/23.77	c iter 311 time 21.8667 not-muc 2527292 unknown 1488 muc 310
23.69/23.77	c iter 312 time 21.9397 not-muc 2527292 unknown 1487 muc 311
23.69/23.77	c iter 313 time 22.0007 not-muc 2527292 unknown 1486 muc 312
23.69/23.77	c iter 314 time 22.0616 not-muc 2527292 unknown 1485 muc 313
23.69/23.77	c iter 315 time 22.1236 not-muc 2527292 unknown 1484 muc 314
23.69/23.77	c iter 316 time 22.1856 not-muc 2527292 unknown 1483 muc 315
23.69/23.77	c iter 317 time 22.2586 not-muc 2527292 unknown 1482 muc 316
23.69/23.77	c iter 318 time 22.3196 not-muc 2527292 unknown 1481 muc 317
23.69/23.77	c iter 319 time 22.3806 not-muc 2527292 unknown 1480 muc 318
23.69/23.77	c iter 320 time 22.4416 not-muc 2527292 unknown 1479 muc 319
23.69/23.77	c iter 321 time 22.5036 not-muc 2527292 unknown 1478 muc 320
23.69/23.77	c iter 322 time 22.5756 not-muc 2527292 unknown 1477 muc 321
23.69/23.77	c iter 323 time 22.6376 not-muc 2527292 unknown 1476 muc 322
23.69/23.77	c iter 324 time 22.6985 not-muc 2527292 unknown 1475 muc 323
23.69/23.77	c iter 325 time 22.7595 not-muc 2527292 unknown 1474 muc 324
23.69/23.77	c iter 326 time 22.8215 not-muc 2527292 unknown 1473 muc 325
23.69/23.77	c iter 327 time 22.8835 not-muc 2527292 unknown 1472 muc 326
23.69/23.77	c iter 328 time 22.9455 not-muc 2527292 unknown 1471 muc 327
23.69/23.77	c iter 329 time 23.0065 not-muc 2527292 unknown 1470 muc 328
23.69/23.77	c iter 330 time 23.0685 not-muc 2527292 unknown 1469 muc 329
23.69/23.77	c iter 331 time 23.1305 not-muc 2527292 unknown 1468 muc 330
23.69/23.77	c iter 332 time 23.1925 not-muc 2527292 unknown 1467 muc 331
23.69/23.77	c iter 333 time 23.2545 not-muc 2527292 unknown 1466 muc 332
23.69/23.77	c iter 334 time 23.3165 not-muc 2527292 unknown 1465 muc 333
23.69/23.77	c iter 335 time 23.3784 not-muc 2527292 unknown 1464 muc 334
23.69/23.77	c iter 336 time 23.4404 not-muc 2527292 unknown 1463 muc 335
23.69/23.77	c iter 337 time 23.5024 not-muc 2527292 unknown 1462 muc 336
23.69/23.77	c iter 338 time 23.5654 not-muc 2527292 unknown 1461 muc 337
23.69/23.77	c iter 339 time 23.6274 not-muc 2527292 unknown 1460 muc 338
28.08/28.13	c iter 340 time 23.6904 not-muc 2527292 unknown 1459 muc 339
28.08/28.13	c iter 341 time 23.7524 not-muc 2527292 unknown 1458 muc 340
28.08/28.13	c iter 342 time 23.8154 not-muc 2527292 unknown 1457 muc 341
28.08/28.13	c iter 343 time 23.8784 not-muc 2527292 unknown 1456 muc 342
28.08/28.13	c iter 344 time 23.9414 not-muc 2527292 unknown 1455 muc 343
28.08/28.13	c iter 345 time 24.0043 not-muc 2527292 unknown 1454 muc 344
28.08/28.13	c iter 346 time 24.0673 not-muc 2527292 unknown 1453 muc 345
28.08/28.13	c iter 347 time 24.1303 not-muc 2527292 unknown 1452 muc 346
28.08/28.13	c iter 348 time 24.1933 not-muc 2527292 unknown 1451 muc 347
28.08/28.13	c iter 349 time 24.2563 not-muc 2527292 unknown 1450 muc 348
28.08/28.13	c iter 350 time 24.3363 not-muc 2527292 unknown 1449 muc 349
28.08/28.13	c iter 351 time 24.3973 not-muc 2527292 unknown 1448 muc 350
28.08/28.13	c iter 352 time 24.4703 not-muc 2527292 unknown 1447 muc 351
28.08/28.13	c iter 353 time 24.5433 not-muc 2527292 unknown 1446 muc 352
28.08/28.13	c iter 354 time 24.6163 not-muc 2527292 unknown 1445 muc 353
28.08/28.13	c iter 355 time 24.6882 not-muc 2527292 unknown 1444 muc 354
28.08/28.13	c iter 356 time 24.7602 not-muc 2527292 unknown 1443 muc 355
28.08/28.13	c iter 357 time 24.8332 not-muc 2527292 unknown 1442 muc 356
28.08/28.13	c iter 358 time 24.9052 not-muc 2527292 unknown 1441 muc 357
28.08/28.13	c iter 359 time 24.9662 not-muc 2527292 unknown 1440 muc 358
28.08/28.13	c iter 360 time 25.0272 not-muc 2527292 unknown 1439 muc 359
28.08/28.13	c iter 361 time 25.0882 not-muc 2527292 unknown 1438 muc 360
28.08/28.13	c iter 362 time 25.1502 not-muc 2527292 unknown 1437 muc 361
28.08/28.13	c iter 363 time 25.2112 not-muc 2527292 unknown 1436 muc 362
28.08/28.13	c iter 364 time 25.2722 not-muc 2527292 unknown 1435 muc 363
28.08/28.13	c iter 365 time 25.3341 not-muc 2527292 unknown 1434 muc 364
28.08/28.13	c iter 366 time 25.3961 not-muc 2527292 unknown 1433 muc 365
28.08/28.13	c iter 367 time 25.4581 not-muc 2527292 unknown 1432 muc 366
28.08/28.13	c iter 368 time 25.5191 not-muc 2527292 unknown 1431 muc 367
28.08/28.13	c iter 369 time 25.5811 not-muc 2527292 unknown 1430 muc 368
28.08/28.13	c iter 370 time 25.6431 not-muc 2527292 unknown 1429 muc 369
28.08/28.13	c iter 371 time 25.7051 not-muc 2527292 unknown 1428 muc 370
28.08/28.13	c iter 372 time 25.7661 not-muc 2527292 unknown 1427 muc 371
28.08/28.13	c iter 373 time 25.8291 not-muc 2527292 unknown 1426 muc 372
28.08/28.13	c iter 374 time 25.8911 not-muc 2527292 unknown 1425 muc 373
28.08/28.13	c iter 375 time 25.9531 not-muc 2527292 unknown 1424 muc 374
28.08/28.13	c iter 376 time 26.015 not-muc 2527292 unknown 1423 muc 375
28.08/28.13	c iter 377 time 26.078 not-muc 2527292 unknown 1422 muc 376
28.08/28.13	c iter 378 time 26.141 not-muc 2527292 unknown 1421 muc 377
28.08/28.13	c iter 379 time 26.203 not-muc 2527292 unknown 1420 muc 378
28.08/28.13	c iter 380 time 26.266 not-muc 2527292 unknown 1419 muc 379
28.08/28.13	c iter 381 time 26.328 not-muc 2527292 unknown 1418 muc 380
28.08/28.13	c iter 382 time 26.391 not-muc 2527292 unknown 1417 muc 381
28.08/28.13	c iter 383 time 26.454 not-muc 2527292 unknown 1416 muc 382
28.08/28.13	c iter 384 time 26.517 not-muc 2527292 unknown 1415 muc 383
28.08/28.13	c iter 385 time 26.58 not-muc 2527292 unknown 1414 muc 384
28.08/28.13	c iter 386 time 26.6429 not-muc 2527292 unknown 1413 muc 385
28.08/28.13	c iter 387 time 26.7059 not-muc 2527292 unknown 1412 muc 386
28.08/28.13	c iter 388 time 26.7689 not-muc 2527292 unknown 1411 muc 387
28.08/28.13	c iter 389 time 26.8319 not-muc 2527292 unknown 1410 muc 388
28.08/28.13	c iter 390 time 26.8949 not-muc 2527292 unknown 1409 muc 389
28.08/28.13	c iter 391 time 26.9579 not-muc 2527292 unknown 1408 muc 390
28.08/28.13	c iter 392 time 27.0209 not-muc 2527292 unknown 1407 muc 391
28.08/28.13	c iter 393 time 27.0849 not-muc 2527292 unknown 1406 muc 392
28.08/28.13	c iter 394 time 27.1479 not-muc 2527292 unknown 1405 muc 393
28.08/28.13	c iter 395 time 27.2109 not-muc 2527292 unknown 1404 muc 394
28.08/28.13	c iter 396 time 27.2749 not-muc 2527292 unknown 1403 muc 395
28.08/28.13	c iter 397 time 27.3378 not-muc 2527292 unknown 1402 muc 396
28.08/28.13	c iter 398 time 27.4018 not-muc 2527292 unknown 1401 muc 397
28.08/28.13	c iter 399 time 27.4658 not-muc 2527292 unknown 1400 muc 398
28.08/28.13	c iter 400 time 27.5298 not-muc 2527292 unknown 1399 muc 399
28.08/28.13	c iter 401 time 27.5948 not-muc 2527292 unknown 1398 muc 400
28.08/28.13	c iter 402 time 27.6598 not-muc 2527292 unknown 1397 muc 401
28.08/28.13	c iter 403 time 27.7248 not-muc 2527292 unknown 1396 muc 402
28.08/28.13	c iter 404 time 27.7898 not-muc 2527292 unknown 1395 muc 403
28.08/28.13	c iter 405 time 27.8538 not-muc 2527292 unknown 1394 muc 404
28.08/28.13	c iter 406 time 27.9198 not-muc 2527292 unknown 1393 muc 405
28.08/28.13	c iter 407 time 27.9837 not-muc 2527292 unknown 1392 muc 406
32.89/32.99	c iter 408 time 28.0487 not-muc 2527292 unknown 1391 muc 407
32.89/32.99	c iter 409 time 28.1147 not-muc 2527292 unknown 1390 muc 408
32.89/32.99	c iter 410 time 28.1807 not-muc 2527292 unknown 1389 muc 409
32.89/32.99	c iter 411 time 28.2467 not-muc 2527292 unknown 1388 muc 410
32.89/32.99	c iter 412 time 28.3127 not-muc 2527292 unknown 1387 muc 411
32.89/32.99	c iter 413 time 28.3787 not-muc 2527292 unknown 1386 muc 412
32.89/32.99	c iter 414 time 28.4447 not-muc 2527292 unknown 1385 muc 413
32.89/32.99	c iter 415 time 28.5107 not-muc 2527292 unknown 1384 muc 414
32.89/32.99	c iter 416 time 28.6087 not-muc 2527292 unknown 1383 muc 415
32.89/32.99	c iter 417 time 28.6816 not-muc 2527292 unknown 1382 muc 416
32.89/32.99	c iter 418 time 28.7546 not-muc 2527292 unknown 1381 muc 417
32.89/32.99	c iter 419 time 28.8286 not-muc 2527292 unknown 1380 muc 418
32.89/32.99	c iter 420 time 28.9016 not-muc 2527292 unknown 1379 muc 419
32.89/32.99	c iter 421 time 28.9746 not-muc 2527292 unknown 1378 muc 420
32.89/32.99	c iter 422 time 29.0486 not-muc 2527292 unknown 1377 muc 421
32.89/32.99	c iter 423 time 29.1216 not-muc 2527292 unknown 1376 muc 422
32.89/32.99	c iter 424 time 29.1946 not-muc 2527292 unknown 1375 muc 423
32.89/32.99	c iter 425 time 29.2675 not-muc 2527292 unknown 1374 muc 424
32.89/32.99	c iter 426 time 29.3395 not-muc 2527292 unknown 1373 muc 425
32.89/32.99	c iter 427 time 29.4125 not-muc 2527292 unknown 1372 muc 426
32.89/32.99	c iter 428 time 29.4845 not-muc 2527292 unknown 1371 muc 427
32.89/32.99	c iter 429 time 29.5575 not-muc 2527292 unknown 1370 muc 428
32.89/32.99	c iter 430 time 29.6295 not-muc 2527292 unknown 1369 muc 429
32.89/32.99	c iter 431 time 29.7025 not-muc 2527292 unknown 1368 muc 430
32.89/32.99	c iter 432 time 29.7745 not-muc 2527292 unknown 1367 muc 431
32.89/32.99	c iter 433 time 29.8475 not-muc 2527292 unknown 1366 muc 432
32.89/32.99	c iter 434 time 29.9205 not-muc 2527292 unknown 1365 muc 433
32.89/32.99	c iter 435 time 29.9924 not-muc 2527292 unknown 1364 muc 434
32.89/32.99	c iter 436 time 30.0654 not-muc 2527292 unknown 1363 muc 435
32.89/32.99	c iter 437 time 30.1374 not-muc 2527292 unknown 1362 muc 436
32.89/32.99	c iter 438 time 30.2114 not-muc 2527292 unknown 1361 muc 437
32.89/32.99	c iter 439 time 30.2844 not-muc 2527292 unknown 1360 muc 438
32.89/32.99	c iter 440 time 30.3584 not-muc 2527292 unknown 1359 muc 439
32.89/32.99	c iter 441 time 30.4314 not-muc 2527292 unknown 1358 muc 440
32.89/32.99	c iter 442 time 30.5054 not-muc 2527292 unknown 1357 muc 441
32.89/32.99	c iter 443 time 30.5784 not-muc 2527292 unknown 1356 muc 442
32.89/32.99	c iter 444 time 30.6513 not-muc 2527292 unknown 1355 muc 443
32.89/32.99	c iter 445 time 30.7243 not-muc 2527292 unknown 1354 muc 444
32.89/32.99	c iter 446 time 30.7983 not-muc 2527292 unknown 1353 muc 445
32.89/32.99	c iter 447 time 30.8723 not-muc 2527292 unknown 1352 muc 446
32.89/32.99	c iter 448 time 30.9453 not-muc 2527292 unknown 1351 muc 447
32.89/32.99	c iter 449 time 31.0193 not-muc 2527292 unknown 1350 muc 448
32.89/32.99	c iter 450 time 31.0923 not-muc 2527292 unknown 1349 muc 449
32.89/32.99	c iter 451 time 31.1673 not-muc 2527292 unknown 1348 muc 450
32.89/32.99	c iter 452 time 31.2392 not-muc 2527292 unknown 1347 muc 451
32.89/32.99	c iter 453 time 31.3122 not-muc 2527292 unknown 1346 muc 452
32.89/32.99	c iter 454 time 31.3842 not-muc 2527292 unknown 1345 muc 453
32.89/32.99	c iter 455 time 31.4572 not-muc 2527292 unknown 1344 muc 454
32.89/32.99	c iter 456 time 31.5302 not-muc 2527292 unknown 1343 muc 455
32.89/32.99	c iter 457 time 31.6022 not-muc 2527292 unknown 1342 muc 456
32.89/32.99	c iter 458 time 31.6752 not-muc 2527292 unknown 1341 muc 457
32.89/32.99	c iter 459 time 31.7472 not-muc 2527292 unknown 1340 muc 458
32.89/32.99	c iter 460 time 31.8202 not-muc 2527292 unknown 1339 muc 459
32.89/32.99	c iter 461 time 31.8922 not-muc 2527292 unknown 1338 muc 460
32.89/32.99	c iter 462 time 31.9651 not-muc 2527292 unknown 1337 muc 461
32.89/32.99	c iter 463 time 32.0381 not-muc 2527292 unknown 1336 muc 462
32.89/32.99	c iter 464 time 32.1101 not-muc 2527292 unknown 1335 muc 463
32.89/32.99	c iter 465 time 32.1841 not-muc 2527292 unknown 1334 muc 464
32.89/32.99	c iter 466 time 32.2571 not-muc 2527292 unknown 1333 muc 465
32.89/32.99	c iter 467 time 32.3301 not-muc 2527292 unknown 1332 muc 466
32.89/32.99	c iter 468 time 32.4041 not-muc 2527292 unknown 1331 muc 467
32.89/32.99	c iter 469 time 32.4771 not-muc 2527292 unknown 1330 muc 468
32.89/32.99	c iter 470 time 32.5511 not-muc 2527292 unknown 1329 muc 469
32.89/32.99	c iter 471 time 32.625 not-muc 2527292 unknown 1328 muc 470
32.89/32.99	c iter 472 time 32.697 not-muc 2527292 unknown 1327 muc 471
32.89/32.99	c iter 473 time 32.77 not-muc 2527292 unknown 1326 muc 472
32.89/32.99	c iter 474 time 32.843 not-muc 2527292 unknown 1325 muc 473
37.78/37.87	c iter 475 time 32.917 not-muc 2527292 unknown 1324 muc 474
37.78/37.87	c iter 476 time 32.99 not-muc 2527292 unknown 1323 muc 475
37.78/37.87	c iter 477 time 33.064 not-muc 2527292 unknown 1322 muc 476
37.78/37.87	c iter 478 time 33.137 not-muc 2527292 unknown 1321 muc 477
37.78/37.87	c iter 479 time 33.21 not-muc 2527292 unknown 1320 muc 478
37.78/37.87	c iter 480 time 33.2839 not-muc 2527292 unknown 1319 muc 479
37.78/37.87	c iter 481 time 33.3569 not-muc 2527292 unknown 1318 muc 480
37.78/37.87	c iter 482 time 33.4309 not-muc 2527292 unknown 1317 muc 481
37.78/37.87	c iter 483 time 33.5049 not-muc 2527292 unknown 1316 muc 482
37.78/37.87	c iter 484 time 33.5779 not-muc 2527292 unknown 1315 muc 483
37.78/37.87	c iter 485 time 33.6499 not-muc 2527292 unknown 1314 muc 484
37.78/37.87	c iter 486 time 33.7229 not-muc 2527292 unknown 1313 muc 485
37.78/37.87	c iter 487 time 33.7949 not-muc 2527292 unknown 1312 muc 486
37.78/37.87	c iter 488 time 33.8679 not-muc 2527292 unknown 1311 muc 487
37.78/37.87	c iter 489 time 33.9398 not-muc 2527292 unknown 1310 muc 488
37.78/37.87	c iter 490 time 34.0128 not-muc 2527292 unknown 1309 muc 489
37.78/37.87	c iter 491 time 34.0848 not-muc 2527292 unknown 1308 muc 490
37.78/37.87	c iter 492 time 34.1578 not-muc 2527292 unknown 1307 muc 491
37.78/37.87	c iter 493 time 34.2308 not-muc 2527292 unknown 1306 muc 492
37.78/37.87	c iter 494 time 34.3028 not-muc 2527292 unknown 1305 muc 493
37.78/37.87	c iter 495 time 34.3758 not-muc 2527292 unknown 1304 muc 494
37.78/37.87	c iter 496 time 34.4498 not-muc 2527292 unknown 1303 muc 495
37.78/37.87	c iter 497 time 34.5228 not-muc 2527292 unknown 1302 muc 496
37.78/37.87	c iter 498 time 34.5957 not-muc 2527292 unknown 1301 muc 497
37.78/37.87	c iter 499 time 34.6697 not-muc 2527292 unknown 1300 muc 498
37.78/37.87	c iter 500 time 34.7437 not-muc 2527292 unknown 1299 muc 499
37.78/37.87	c iter 501 time 34.8167 not-muc 2527292 unknown 1298 muc 500
37.78/37.87	c iter 502 time 34.8897 not-muc 2527292 unknown 1297 muc 501
37.78/37.87	c iter 503 time 34.9637 not-muc 2527292 unknown 1296 muc 502
37.78/37.87	c iter 504 time 35.0367 not-muc 2527292 unknown 1295 muc 503
37.78/37.87	c iter 505 time 35.1107 not-muc 2527292 unknown 1294 muc 504
37.78/37.87	c iter 506 time 35.1827 not-muc 2527292 unknown 1293 muc 505
37.78/37.87	c iter 507 time 35.2546 not-muc 2527292 unknown 1292 muc 506
37.78/37.87	c iter 508 time 35.3276 not-muc 2527292 unknown 1291 muc 507
37.78/37.87	c iter 509 time 35.4006 not-muc 2527292 unknown 1290 muc 508
37.78/37.87	c iter 510 time 35.4736 not-muc 2527292 unknown 1289 muc 509
37.78/37.87	c iter 511 time 35.5466 not-muc 2527292 unknown 1288 muc 510
37.78/37.87	c iter 512 time 35.6196 not-muc 2527292 unknown 1287 muc 511
37.78/37.87	c iter 513 time 35.6916 not-muc 2527292 unknown 1286 muc 512
37.78/37.87	c iter 514 time 35.7636 not-muc 2527292 unknown 1285 muc 513
37.78/37.87	c iter 515 time 35.8366 not-muc 2527292 unknown 1284 muc 514
37.78/37.87	c iter 516 time 35.9085 not-muc 2527292 unknown 1283 muc 515
37.78/37.87	c iter 517 time 35.9815 not-muc 2527292 unknown 1282 muc 516
37.78/37.87	c iter 518 time 36.0545 not-muc 2527292 unknown 1281 muc 517
37.78/37.87	c iter 519 time 36.1275 not-muc 2527292 unknown 1280 muc 518
37.78/37.87	c iter 520 time 36.2005 not-muc 2527292 unknown 1279 muc 519
37.78/37.87	c iter 521 time 36.2735 not-muc 2527292 unknown 1278 muc 520
37.78/37.87	c iter 522 time 36.3455 not-muc 2527292 unknown 1277 muc 521
37.78/37.87	c iter 523 time 36.4185 not-muc 2527292 unknown 1276 muc 522
37.78/37.87	c iter 524 time 36.4905 not-muc 2527292 unknown 1275 muc 523
37.78/37.87	c iter 525 time 36.5634 not-muc 2527292 unknown 1274 muc 524
37.78/37.87	c iter 526 time 36.6364 not-muc 2527292 unknown 1273 muc 525
37.78/37.87	c iter 527 time 36.7084 not-muc 2527292 unknown 1272 muc 526
37.78/37.87	c iter 528 time 36.7814 not-muc 2527292 unknown 1271 muc 527
37.78/37.87	c iter 529 time 36.8534 not-muc 2527292 unknown 1270 muc 528
37.78/37.87	c iter 530 time 36.9264 not-muc 2527292 unknown 1269 muc 529
37.78/37.87	c iter 531 time 36.9984 not-muc 2527292 unknown 1268 muc 530
37.78/37.87	c iter 532 time 37.0714 not-muc 2527292 unknown 1267 muc 531
37.78/37.87	c iter 533 time 37.1434 not-muc 2527292 unknown 1266 muc 532
37.78/37.87	c iter 534 time 37.2163 not-muc 2527292 unknown 1265 muc 533
37.78/37.87	c iter 535 time 37.2883 not-muc 2527292 unknown 1264 muc 534
37.78/37.87	c iter 536 time 37.3603 not-muc 2527292 unknown 1263 muc 535
37.78/37.87	c iter 537 time 37.4333 not-muc 2527292 unknown 1262 muc 536
37.78/37.87	c iter 538 time 37.5053 not-muc 2527292 unknown 1261 muc 537
37.78/37.87	c iter 539 time 37.5773 not-muc 2527292 unknown 1260 muc 538
37.78/37.87	c iter 540 time 37.6503 not-muc 2527292 unknown 1259 muc 539
37.78/37.87	c iter 541 time 37.7223 not-muc 2527292 unknown 1258 muc 540
42.68/42.73	c iter 542 time 37.7943 not-muc 2527292 unknown 1257 muc 541
42.68/42.73	c iter 543 time 37.8662 not-muc 2527292 unknown 1256 muc 542
42.68/42.73	c iter 544 time 37.9392 not-muc 2527292 unknown 1255 muc 543
42.68/42.73	c iter 545 time 38.0122 not-muc 2527292 unknown 1254 muc 544
42.68/42.73	c iter 546 time 38.0852 not-muc 2527292 unknown 1253 muc 545
42.68/42.73	c iter 547 time 38.1572 not-muc 2527292 unknown 1252 muc 546
42.68/42.73	c iter 548 time 38.2292 not-muc 2527292 unknown 1251 muc 547
42.68/42.73	c iter 549 time 38.3012 not-muc 2527292 unknown 1250 muc 548
42.68/42.73	c iter 550 time 38.3742 not-muc 2527292 unknown 1249 muc 549
42.68/42.73	c iter 551 time 38.4462 not-muc 2527292 unknown 1248 muc 550
42.68/42.73	c iter 552 time 38.5181 not-muc 2527292 unknown 1247 muc 551
42.68/42.73	c iter 553 time 38.5911 not-muc 2527292 unknown 1246 muc 552
42.68/42.73	c iter 554 time 38.6631 not-muc 2527292 unknown 1245 muc 553
42.68/42.73	c iter 555 time 38.7351 not-muc 2527292 unknown 1244 muc 554
42.68/42.73	c iter 556 time 38.8081 not-muc 2527292 unknown 1243 muc 555
42.68/42.73	c iter 557 time 38.8811 not-muc 2527292 unknown 1242 muc 556
42.68/42.73	c iter 558 time 38.9531 not-muc 2527292 unknown 1241 muc 557
42.68/42.73	c iter 559 time 39.0261 not-muc 2527292 unknown 1240 muc 558
42.68/42.73	c iter 560 time 39.0981 not-muc 2527292 unknown 1239 muc 559
42.68/42.73	c iter 561 time 39.17 not-muc 2527292 unknown 1238 muc 560
42.68/42.73	c iter 562 time 39.243 not-muc 2527292 unknown 1237 muc 561
42.68/42.73	c iter 563 time 39.315 not-muc 2527292 unknown 1236 muc 562
42.68/42.73	c iter 564 time 39.388 not-muc 2527292 unknown 1235 muc 563
42.68/42.73	c iter 565 time 39.461 not-muc 2527292 unknown 1234 muc 564
42.68/42.73	c iter 566 time 39.533 not-muc 2527292 unknown 1233 muc 565
42.68/42.73	c iter 567 time 39.605 not-muc 2527292 unknown 1232 muc 566
42.68/42.73	c iter 568 time 39.678 not-muc 2527292 unknown 1231 muc 567
42.68/42.73	c iter 569 time 39.75 not-muc 2527292 unknown 1230 muc 568
42.68/42.73	c iter 570 time 39.8219 not-muc 2527292 unknown 1229 muc 569
42.68/42.73	c iter 571 time 39.8939 not-muc 2527292 unknown 1228 muc 570
42.68/42.73	c iter 572 time 39.9669 not-muc 2527292 unknown 1227 muc 571
42.68/42.73	c iter 573 time 40.0389 not-muc 2527292 unknown 1226 muc 572
42.68/42.73	c iter 574 time 40.1109 not-muc 2527292 unknown 1225 muc 573
42.68/42.73	c iter 575 time 40.1829 not-muc 2527292 unknown 1224 muc 574
42.68/42.73	c iter 576 time 40.2559 not-muc 2527292 unknown 1223 muc 575
42.68/42.73	c iter 577 time 40.3289 not-muc 2527292 unknown 1222 muc 576
42.68/42.73	c iter 578 time 40.4009 not-muc 2527292 unknown 1221 muc 577
42.68/42.73	c iter 579 time 40.4728 not-muc 2527292 unknown 1220 muc 578
42.68/42.73	c iter 580 time 40.5538 not-muc 2527292 unknown 1219 muc 579
42.68/42.73	c iter 581 time 40.6258 not-muc 2527292 unknown 1218 muc 580
42.68/42.73	c iter 582 time 40.6978 not-muc 2527292 unknown 1217 muc 581
42.68/42.73	c iter 583 time 40.7698 not-muc 2527292 unknown 1216 muc 582
42.68/42.73	c iter 584 time 40.8418 not-muc 2527292 unknown 1215 muc 583
42.68/42.73	c iter 585 time 40.9148 not-muc 2527292 unknown 1214 muc 584
42.68/42.73	c iter 586 time 40.9878 not-muc 2527292 unknown 1213 muc 585
42.68/42.73	c iter 587 time 41.0598 not-muc 2527292 unknown 1212 muc 586
42.68/42.73	c iter 588 time 41.1317 not-muc 2527292 unknown 1211 muc 587
42.68/42.73	c iter 589 time 41.2037 not-muc 2527292 unknown 1210 muc 588
42.68/42.73	c iter 590 time 41.2767 not-muc 2527292 unknown 1209 muc 589
42.68/42.73	c iter 591 time 41.3487 not-muc 2527292 unknown 1208 muc 590
42.68/42.73	c iter 592 time 41.4207 not-muc 2527292 unknown 1207 muc 591
42.68/42.73	c iter 593 time 41.4927 not-muc 2527292 unknown 1206 muc 592
42.68/42.73	c iter 594 time 41.5647 not-muc 2527292 unknown 1205 muc 593
42.68/42.73	c iter 595 time 41.6377 not-muc 2527292 unknown 1204 muc 594
42.68/42.73	c iter 596 time 41.7097 not-muc 2527292 unknown 1203 muc 595
42.68/42.73	c iter 597 time 41.7816 not-muc 2527292 unknown 1202 muc 596
42.68/42.73	c iter 598 time 41.8536 not-muc 2527292 unknown 1201 muc 597
42.68/42.73	c iter 599 time 41.9256 not-muc 2527292 unknown 1200 muc 598
42.68/42.73	c iter 600 time 41.9986 not-muc 2527292 unknown 1199 muc 599
42.68/42.73	c iter 601 time 42.0716 not-muc 2527292 unknown 1198 muc 600
42.68/42.73	c iter 602 time 42.1436 not-muc 2527292 unknown 1197 muc 601
42.68/42.73	c iter 603 time 42.2166 not-muc 2527292 unknown 1196 muc 602
42.68/42.73	c iter 604 time 42.2886 not-muc 2527292 unknown 1195 muc 603
42.68/42.73	c iter 605 time 42.3606 not-muc 2527292 unknown 1194 muc 604
42.68/42.73	c iter 606 time 42.4335 not-muc 2527292 unknown 1193 muc 605
42.68/42.73	c iter 607 time 42.5055 not-muc 2527292 unknown 1192 muc 606
42.68/42.73	c iter 608 time 42.5775 not-muc 2527292 unknown 1191 muc 607
47.58/47.65	c iter 609 time 42.6505 not-muc 2527292 unknown 1190 muc 608
47.58/47.65	c iter 610 time 42.7225 not-muc 2527292 unknown 1189 muc 609
47.58/47.65	c iter 611 time 42.7945 not-muc 2527292 unknown 1188 muc 610
47.58/47.65	c iter 612 time 42.8675 not-muc 2527292 unknown 1187 muc 611
47.58/47.65	c iter 613 time 42.9405 not-muc 2527292 unknown 1186 muc 612
47.58/47.65	c iter 614 time 43.0125 not-muc 2527292 unknown 1185 muc 613
47.58/47.65	c iter 615 time 43.0855 not-muc 2527292 unknown 1184 muc 614
47.58/47.65	c iter 616 time 43.1574 not-muc 2527292 unknown 1183 muc 615
47.58/47.65	c iter 617 time 43.2294 not-muc 2527292 unknown 1182 muc 616
47.58/47.65	c iter 618 time 43.3014 not-muc 2527292 unknown 1181 muc 617
47.58/47.65	c iter 619 time 43.3744 not-muc 2527292 unknown 1180 muc 618
47.58/47.65	c iter 620 time 43.4464 not-muc 2527292 unknown 1179 muc 619
47.58/47.65	c iter 621 time 43.5184 not-muc 2527292 unknown 1178 muc 620
47.58/47.65	c iter 622 time 43.5914 not-muc 2527292 unknown 1177 muc 621
47.58/47.65	c iter 623 time 43.6634 not-muc 2527292 unknown 1176 muc 622
47.58/47.65	c iter 624 time 43.7364 not-muc 2527292 unknown 1175 muc 623
47.58/47.65	c iter 625 time 43.8093 not-muc 2527292 unknown 1174 muc 624
47.58/47.65	c iter 626 time 43.8813 not-muc 2527292 unknown 1173 muc 625
47.58/47.65	c iter 627 time 43.9533 not-muc 2527292 unknown 1172 muc 626
47.58/47.65	c iter 628 time 44.0263 not-muc 2527292 unknown 1171 muc 627
47.58/47.65	c iter 629 time 44.0983 not-muc 2527292 unknown 1170 muc 628
47.58/47.65	c iter 630 time 44.1703 not-muc 2527292 unknown 1169 muc 629
47.58/47.65	c iter 631 time 44.2433 not-muc 2527292 unknown 1168 muc 630
47.58/47.65	c iter 632 time 44.3153 not-muc 2527292 unknown 1167 muc 631
47.58/47.65	c iter 633 time 44.3873 not-muc 2527292 unknown 1166 muc 632
47.58/47.65	c iter 634 time 44.4602 not-muc 2527292 unknown 1165 muc 633
47.58/47.65	c iter 635 time 44.5322 not-muc 2527292 unknown 1164 muc 634
47.58/47.65	c iter 636 time 44.6052 not-muc 2527292 unknown 1163 muc 635
47.58/47.65	c iter 637 time 44.6772 not-muc 2527292 unknown 1162 muc 636
47.58/47.65	c iter 638 time 44.7492 not-muc 2527292 unknown 1161 muc 637
47.58/47.65	c iter 639 time 44.8222 not-muc 2527292 unknown 1160 muc 638
47.58/47.65	c iter 640 time 44.8942 not-muc 2527292 unknown 1159 muc 639
47.58/47.65	c iter 641 time 44.9662 not-muc 2527292 unknown 1158 muc 640
47.58/47.65	c iter 642 time 45.0392 not-muc 2527292 unknown 1157 muc 641
47.58/47.65	c iter 643 time 45.1111 not-muc 2527292 unknown 1156 muc 642
47.58/47.65	c iter 644 time 45.1831 not-muc 2527292 unknown 1155 muc 643
47.58/47.65	c iter 645 time 45.2551 not-muc 2527292 unknown 1154 muc 644
47.58/47.65	c iter 646 time 45.3281 not-muc 2527292 unknown 1153 muc 645
47.58/47.65	c iter 647 time 45.4001 not-muc 2527292 unknown 1152 muc 646
47.58/47.65	c iter 648 time 45.4721 not-muc 2527292 unknown 1151 muc 647
47.58/47.65	c iter 649 time 45.5451 not-muc 2527292 unknown 1150 muc 648
47.58/47.65	c iter 650 time 45.6171 not-muc 2527292 unknown 1149 muc 649
47.58/47.65	c iter 651 time 45.6891 not-muc 2527292 unknown 1148 muc 650
47.58/47.65	c iter 652 time 45.762 not-muc 2527292 unknown 1147 muc 651
47.58/47.65	c iter 653 time 45.834 not-muc 2527292 unknown 1146 muc 652
47.58/47.65	c iter 654 time 45.906 not-muc 2527292 unknown 1145 muc 653
47.58/47.65	c iter 655 time 45.978 not-muc 2527292 unknown 1144 muc 654
47.58/47.65	c iter 656 time 46.051 not-muc 2527292 unknown 1143 muc 655
47.58/47.65	c iter 657 time 46.123 not-muc 2527292 unknown 1142 muc 656
47.58/47.65	c iter 658 time 46.195 not-muc 2527292 unknown 1141 muc 657
47.58/47.65	c iter 659 time 46.268 not-muc 2527292 unknown 1140 muc 658
47.58/47.65	c iter 660 time 46.34 not-muc 2527292 unknown 1139 muc 659
47.58/47.65	c iter 661 time 46.4119 not-muc 2527292 unknown 1138 muc 660
47.58/47.65	c iter 662 time 46.4849 not-muc 2527292 unknown 1137 muc 661
47.58/47.65	c iter 663 time 46.5569 not-muc 2527292 unknown 1136 muc 662
47.58/47.65	c iter 664 time 46.6299 not-muc 2527292 unknown 1135 muc 663
47.58/47.65	c iter 665 time 46.7019 not-muc 2527292 unknown 1134 muc 664
47.58/47.65	c iter 666 time 46.7739 not-muc 2527292 unknown 1133 muc 665
47.58/47.65	c iter 667 time 46.8469 not-muc 2527292 unknown 1132 muc 666
47.58/47.65	c iter 668 time 46.9189 not-muc 2527292 unknown 1131 muc 667
47.58/47.65	c iter 669 time 46.9909 not-muc 2527292 unknown 1130 muc 668
47.58/47.65	c iter 670 time 47.0628 not-muc 2527292 unknown 1129 muc 669
47.58/47.65	c iter 671 time 47.1358 not-muc 2527292 unknown 1128 muc 670
47.58/47.65	c iter 672 time 47.2088 not-muc 2527292 unknown 1127 muc 671
47.58/47.65	c iter 673 time 47.2818 not-muc 2527292 unknown 1126 muc 672
47.58/47.65	c iter 674 time 47.3548 not-muc 2527292 unknown 1125 muc 673
47.58/47.65	c iter 675 time 47.4278 not-muc 2527292 unknown 1124 muc 674
47.58/47.65	c iter 676 time 47.5008 not-muc 2527292 unknown 1123 muc 675
52.48/52.50	c iter 677 time 47.5738 not-muc 2527292 unknown 1122 muc 676
52.48/52.50	c iter 678 time 47.6458 not-muc 2527292 unknown 1121 muc 677
52.48/52.50	c iter 679 time 47.7177 not-muc 2527292 unknown 1120 muc 678
52.48/52.50	c iter 680 time 47.7907 not-muc 2527292 unknown 1119 muc 679
52.48/52.50	c iter 681 time 47.8627 not-muc 2527292 unknown 1118 muc 680
52.48/52.50	c iter 682 time 47.9347 not-muc 2527292 unknown 1117 muc 681
52.48/52.50	c iter 683 time 48.0077 not-muc 2527292 unknown 1116 muc 682
52.48/52.50	c iter 684 time 48.0797 not-muc 2527292 unknown 1115 muc 683
52.48/52.50	c iter 685 time 48.1517 not-muc 2527292 unknown 1114 muc 684
52.48/52.50	c iter 686 time 48.2237 not-muc 2527292 unknown 1113 muc 685
52.48/52.50	c iter 687 time 48.2967 not-muc 2527292 unknown 1112 muc 686
52.48/52.50	c iter 688 time 48.3696 not-muc 2527292 unknown 1111 muc 687
52.48/52.50	c iter 689 time 48.4416 not-muc 2527292 unknown 1110 muc 688
52.48/52.50	c iter 690 time 48.5146 not-muc 2527292 unknown 1109 muc 689
52.48/52.50	c iter 691 time 48.5866 not-muc 2527292 unknown 1108 muc 690
52.48/52.50	c iter 692 time 48.6586 not-muc 2527292 unknown 1107 muc 691
52.48/52.50	c iter 693 time 48.7306 not-muc 2527292 unknown 1106 muc 692
52.48/52.50	c iter 694 time 48.8036 not-muc 2527292 unknown 1105 muc 693
52.48/52.50	c iter 695 time 48.8756 not-muc 2527292 unknown 1104 muc 694
52.48/52.50	c iter 696 time 48.9476 not-muc 2527292 unknown 1103 muc 695
52.48/52.50	c iter 697 time 49.0195 not-muc 2527292 unknown 1102 muc 696
52.48/52.50	c iter 698 time 49.0915 not-muc 2527292 unknown 1101 muc 697
52.48/52.50	c iter 699 time 49.1645 not-muc 2527292 unknown 1100 muc 698
52.48/52.50	c iter 700 time 49.2365 not-muc 2527292 unknown 1099 muc 699
52.48/52.50	c iter 701 time 49.3085 not-muc 2527292 unknown 1098 muc 700
52.48/52.50	c iter 702 time 49.3805 not-muc 2527292 unknown 1097 muc 701
52.48/52.50	c iter 703 time 49.4535 not-muc 2527292 unknown 1096 muc 702
52.48/52.50	c iter 704 time 49.5255 not-muc 2527292 unknown 1095 muc 703
52.48/52.50	c iter 705 time 49.5975 not-muc 2527292 unknown 1094 muc 704
52.48/52.50	c iter 706 time 49.6694 not-muc 2527292 unknown 1093 muc 705
52.48/52.50	c iter 707 time 49.7424 not-muc 2527292 unknown 1092 muc 706
52.48/52.50	c iter 708 time 49.8144 not-muc 2527292 unknown 1091 muc 707
52.48/52.50	c iter 709 time 49.8864 not-muc 2527292 unknown 1090 muc 708
52.48/52.50	c iter 710 time 49.9594 not-muc 2527292 unknown 1089 muc 709
52.48/52.50	c iter 711 time 50.0314 not-muc 2527292 unknown 1088 muc 710
52.48/52.50	c iter 712 time 50.1034 not-muc 2527292 unknown 1087 muc 711
52.48/52.50	c iter 713 time 50.1764 not-muc 2527292 unknown 1086 muc 712
52.48/52.50	c iter 714 time 50.2484 not-muc 2527292 unknown 1085 muc 713
52.48/52.50	c iter 715 time 50.3203 not-muc 2527292 unknown 1084 muc 714
52.48/52.50	c iter 716 time 50.3923 not-muc 2527292 unknown 1083 muc 715
52.48/52.50	c iter 717 time 50.4653 not-muc 2527292 unknown 1082 muc 716
52.48/52.50	c iter 718 time 50.5373 not-muc 2527292 unknown 1081 muc 717
52.48/52.50	c iter 719 time 50.6093 not-muc 2527292 unknown 1080 muc 718
52.48/52.50	c iter 720 time 50.6813 not-muc 2527292 unknown 1079 muc 719
52.48/52.50	c iter 721 time 50.7543 not-muc 2527292 unknown 1078 muc 720
52.48/52.50	c iter 722 time 50.8273 not-muc 2527292 unknown 1077 muc 721
52.48/52.50	c iter 723 time 50.9003 not-muc 2527292 unknown 1076 muc 722
52.48/52.50	c iter 724 time 50.9723 not-muc 2527292 unknown 1075 muc 723
52.48/52.50	c iter 725 time 51.0442 not-muc 2527292 unknown 1074 muc 724
52.48/52.50	c iter 726 time 51.1162 not-muc 2527292 unknown 1073 muc 725
52.48/52.50	c iter 727 time 51.1892 not-muc 2527292 unknown 1072 muc 726
52.48/52.50	c iter 728 time 51.2612 not-muc 2527292 unknown 1071 muc 727
52.48/52.50	c iter 729 time 51.3332 not-muc 2527292 unknown 1070 muc 728
52.48/52.50	c iter 730 time 51.4062 not-muc 2527292 unknown 1069 muc 729
52.48/52.50	c iter 731 time 51.4792 not-muc 2527292 unknown 1068 muc 730
52.48/52.50	c iter 732 time 51.5522 not-muc 2527292 unknown 1067 muc 731
52.48/52.50	c iter 733 time 51.6252 not-muc 2527292 unknown 1066 muc 732
52.48/52.50	c iter 734 time 51.6981 not-muc 2527292 unknown 1065 muc 733
52.48/52.50	c iter 735 time 51.7701 not-muc 2527292 unknown 1064 muc 734
52.48/52.50	c iter 736 time 51.8421 not-muc 2527292 unknown 1063 muc 735
52.48/52.50	c iter 737 time 51.9151 not-muc 2527292 unknown 1062 muc 736
52.48/52.50	c iter 738 time 51.9871 not-muc 2527292 unknown 1061 muc 737
52.48/52.50	c iter 739 time 52.0591 not-muc 2527292 unknown 1060 muc 738
52.48/52.50	c iter 740 time 52.1311 not-muc 2527292 unknown 1059 muc 739
52.48/52.50	c iter 741 time 52.2041 not-muc 2527292 unknown 1058 muc 740
52.48/52.50	c iter 742 time 52.2771 not-muc 2527292 unknown 1057 muc 741
52.48/52.50	c iter 743 time 52.349 not-muc 2527292 unknown 1056 muc 742
57.28/57.35	c iter 744 time 52.421 not-muc 2527292 unknown 1055 muc 743
57.28/57.35	c iter 745 time 52.494 not-muc 2527292 unknown 1054 muc 744
57.28/57.35	c iter 746 time 52.566 not-muc 2527292 unknown 1053 muc 745
57.28/57.35	c iter 747 time 52.638 not-muc 2527292 unknown 1052 muc 746
57.28/57.35	c iter 748 time 52.711 not-muc 2527292 unknown 1051 muc 747
57.28/57.35	c iter 749 time 52.783 not-muc 2527292 unknown 1050 muc 748
57.28/57.35	c iter 750 time 52.856 not-muc 2527292 unknown 1049 muc 749
57.28/57.35	c iter 751 time 52.929 not-muc 2527292 unknown 1048 muc 750
57.28/57.35	c iter 752 time 53.0009 not-muc 2527292 unknown 1047 muc 751
57.28/57.35	c iter 753 time 53.0729 not-muc 2527292 unknown 1046 muc 752
57.28/57.35	c iter 754 time 53.1449 not-muc 2527292 unknown 1045 muc 753
57.28/57.35	c iter 755 time 53.2179 not-muc 2527292 unknown 1044 muc 754
57.28/57.35	c iter 756 time 53.2899 not-muc 2527292 unknown 1043 muc 755
57.28/57.35	c iter 757 time 53.3619 not-muc 2527292 unknown 1042 muc 756
57.28/57.35	c iter 758 time 53.4349 not-muc 2527292 unknown 1041 muc 757
57.28/57.35	c iter 759 time 53.5069 not-muc 2527292 unknown 1040 muc 758
57.28/57.35	c iter 760 time 53.5789 not-muc 2527292 unknown 1039 muc 759
57.28/57.35	c iter 761 time 53.6508 not-muc 2527292 unknown 1038 muc 760
57.28/57.35	c iter 762 time 53.7238 not-muc 2527292 unknown 1037 muc 761
57.28/57.35	c iter 763 time 53.7958 not-muc 2527292 unknown 1036 muc 762
57.28/57.35	c iter 764 time 53.8688 not-muc 2527292 unknown 1035 muc 763
57.28/57.35	c iter 765 time 53.9408 not-muc 2527292 unknown 1034 muc 764
57.28/57.35	c iter 766 time 54.0138 not-muc 2527292 unknown 1033 muc 765
57.28/57.35	c iter 767 time 54.0858 not-muc 2527292 unknown 1032 muc 766
57.28/57.35	c iter 768 time 54.1578 not-muc 2527292 unknown 1031 muc 767
57.28/57.35	c iter 769 time 54.2298 not-muc 2527292 unknown 1030 muc 768
57.28/57.35	c iter 770 time 54.3027 not-muc 2527292 unknown 1029 muc 769
57.28/57.35	c iter 771 time 54.3747 not-muc 2527292 unknown 1028 muc 770
57.28/57.35	c iter 772 time 54.4467 not-muc 2527292 unknown 1027 muc 771
57.28/57.35	c iter 773 time 54.5187 not-muc 2527292 unknown 1026 muc 772
57.28/57.35	c iter 774 time 54.5917 not-muc 2527292 unknown 1025 muc 773
57.28/57.35	c iter 775 time 54.6647 not-muc 2527292 unknown 1024 muc 774
57.28/57.35	c iter 776 time 54.7367 not-muc 2527292 unknown 1023 muc 775
57.28/57.35	c iter 777 time 54.8087 not-muc 2527292 unknown 1022 muc 776
57.28/57.35	c iter 778 time 54.8807 not-muc 2527292 unknown 1021 muc 777
57.28/57.35	c iter 779 time 54.9536 not-muc 2527292 unknown 1020 muc 778
57.28/57.35	c iter 780 time 55.0256 not-muc 2527292 unknown 1019 muc 779
57.28/57.35	c iter 781 time 55.0986 not-muc 2527292 unknown 1018 muc 780
57.28/57.35	c iter 782 time 55.1706 not-muc 2527292 unknown 1017 muc 781
57.28/57.35	c iter 783 time 55.2436 not-muc 2527292 unknown 1016 muc 782
57.28/57.35	c iter 784 time 55.3156 not-muc 2527292 unknown 1015 muc 783
57.28/57.35	c iter 785 time 55.3876 not-muc 2527292 unknown 1014 muc 784
57.28/57.35	c iter 786 time 55.4596 not-muc 2527292 unknown 1013 muc 785
57.28/57.35	c iter 787 time 55.5316 not-muc 2527292 unknown 1012 muc 786
57.28/57.35	c iter 788 time 55.6045 not-muc 2527292 unknown 1011 muc 787
57.28/57.35	c iter 789 time 55.6845 not-muc 2527292 unknown 1010 muc 788
57.28/57.35	c iter 790 time 55.7565 not-muc 2527292 unknown 1009 muc 789
57.28/57.35	c iter 791 time 55.8285 not-muc 2527292 unknown 1008 muc 790
57.28/57.35	c iter 792 time 55.9015 not-muc 2527292 unknown 1007 muc 791
57.28/57.35	c iter 793 time 55.9745 not-muc 2527292 unknown 1006 muc 792
57.28/57.35	c iter 794 time 56.0465 not-muc 2527292 unknown 1005 muc 793
57.28/57.35	c iter 795 time 56.1185 not-muc 2527292 unknown 1004 muc 794
57.28/57.35	c iter 796 time 56.1905 not-muc 2527292 unknown 1003 muc 795
57.28/57.35	c iter 797 time 56.2634 not-muc 2527292 unknown 1002 muc 796
57.28/57.35	c iter 798 time 56.3354 not-muc 2527292 unknown 1001 muc 797
57.28/57.35	c iter 799 time 56.4074 not-muc 2527292 unknown 1000 muc 798
57.28/57.35	c iter 800 time 56.4804 not-muc 2527292 unknown 999 muc 799
57.28/57.35	c iter 801 time 56.5524 not-muc 2527292 unknown 998 muc 800
57.28/57.35	c iter 802 time 56.6254 not-muc 2527292 unknown 997 muc 801
57.28/57.35	c iter 803 time 56.6974 not-muc 2527292 unknown 996 muc 802
57.28/57.35	c iter 804 time 56.7694 not-muc 2527292 unknown 995 muc 803
57.28/57.35	c iter 805 time 56.8424 not-muc 2527292 unknown 994 muc 804
57.28/57.35	c iter 806 time 56.9143 not-muc 2527292 unknown 993 muc 805
57.28/57.35	c iter 807 time 56.9863 not-muc 2527292 unknown 992 muc 806
57.28/57.35	c iter 808 time 57.0583 not-muc 2527292 unknown 991 muc 807
57.28/57.35	c iter 809 time 57.1313 not-muc 2527292 unknown 990 muc 808
57.28/57.35	c iter 810 time 57.2033 not-muc 2527292 unknown 989 muc 809
62.28/62.36	c iter 811 time 57.2753 not-muc 2527292 unknown 988 muc 810
62.28/62.36	c iter 812 time 57.3473 not-muc 2527292 unknown 987 muc 811
62.28/62.36	c iter 813 time 57.4203 not-muc 2527292 unknown 986 muc 812
62.28/62.36	c iter 814 time 57.4923 not-muc 2527292 unknown 985 muc 813
62.28/62.36	c iter 815 time 57.5662 not-muc 2527292 unknown 984 muc 814
62.28/62.36	c iter 816 time 57.6382 not-muc 2527292 unknown 983 muc 815
62.28/62.36	c iter 817 time 57.7102 not-muc 2527292 unknown 982 muc 816
62.28/62.36	c iter 818 time 57.7822 not-muc 2527292 unknown 981 muc 817
62.28/62.36	c iter 819 time 57.8542 not-muc 2527292 unknown 980 muc 818
62.28/62.36	c iter 820 time 57.9272 not-muc 2527292 unknown 979 muc 819
62.28/62.36	c iter 821 time 57.9992 not-muc 2527292 unknown 978 muc 820
62.28/62.36	c iter 822 time 58.0712 not-muc 2527292 unknown 977 muc 821
62.28/62.36	c iter 823 time 58.1432 not-muc 2527292 unknown 976 muc 822
62.28/62.36	c iter 824 time 58.2161 not-muc 2527292 unknown 975 muc 823
62.28/62.36	c iter 825 time 58.2891 not-muc 2527292 unknown 974 muc 824
62.28/62.36	c iter 826 time 58.3611 not-muc 2527292 unknown 973 muc 825
62.28/62.36	c iter 827 time 58.4331 not-muc 2527292 unknown 972 muc 826
62.28/62.36	c iter 828 time 58.5061 not-muc 2527292 unknown 971 muc 827
62.28/62.36	c iter 829 time 58.5791 not-muc 2527292 unknown 970 muc 828
62.28/62.36	c iter 830 time 58.6521 not-muc 2527292 unknown 969 muc 829
62.28/62.36	c iter 831 time 58.7251 not-muc 2527292 unknown 968 muc 830
62.28/62.36	c iter 832 time 58.7981 not-muc 2527292 unknown 967 muc 831
62.28/62.36	c iter 833 time 58.8721 not-muc 2527292 unknown 966 muc 832
62.28/62.36	c iter 834 time 58.945 not-muc 2527292 unknown 965 muc 833
62.28/62.36	c iter 835 time 59.018 not-muc 2527292 unknown 964 muc 834
62.28/62.36	c iter 836 time 59.091 not-muc 2527292 unknown 963 muc 835
62.28/62.36	c iter 837 time 59.164 not-muc 2527292 unknown 962 muc 836
62.28/62.36	c iter 838 time 59.238 not-muc 2527292 unknown 961 muc 837
62.28/62.36	c iter 839 time 59.311 not-muc 2527292 unknown 960 muc 838
62.28/62.36	c iter 840 time 59.383 not-muc 2527292 unknown 959 muc 839
62.28/62.36	c iter 841 time 59.455 not-muc 2527292 unknown 958 muc 840
62.28/62.36	c iter 842 time 59.5269 not-muc 2527292 unknown 957 muc 841
62.28/62.36	c iter 843 time 59.5999 not-muc 2527292 unknown 956 muc 842
62.28/62.36	c iter 844 time 59.6719 not-muc 2527292 unknown 955 muc 843
62.28/62.36	c iter 845 time 59.7439 not-muc 2527292 unknown 954 muc 844
62.28/62.36	c iter 846 time 59.8169 not-muc 2527292 unknown 953 muc 845
62.28/62.36	c iter 847 time 59.8899 not-muc 2527292 unknown 952 muc 846
62.28/62.36	c iter 848 time 59.9619 not-muc 2527292 unknown 951 muc 847
62.28/62.36	c iter 849 time 60.0359 not-muc 2527292 unknown 950 muc 848
62.28/62.36	c iter 850 time 60.1089 not-muc 2527292 unknown 949 muc 849
62.28/62.36	c iter 851 time 60.1818 not-muc 2527292 unknown 948 muc 850
62.28/62.36	c iter 852 time 60.2548 not-muc 2527292 unknown 947 muc 851
62.28/62.36	c iter 853 time 60.3278 not-muc 2527292 unknown 946 muc 852
62.28/62.36	c iter 854 time 60.4008 not-muc 2527292 unknown 945 muc 853
62.28/62.36	c iter 855 time 60.4728 not-muc 2527292 unknown 944 muc 854
62.28/62.36	c iter 856 time 60.5458 not-muc 2527292 unknown 943 muc 855
62.28/62.36	c iter 857 time 60.6178 not-muc 2527292 unknown 942 muc 856
62.28/62.36	c iter 858 time 60.6898 not-muc 2527292 unknown 941 muc 857
62.28/62.36	c iter 859 time 60.7628 not-muc 2527292 unknown 940 muc 858
62.28/62.36	c iter 860 time 60.8348 not-muc 2527292 unknown 939 muc 859
62.28/62.36	c iter 861 time 60.9087 not-muc 2527292 unknown 938 muc 860
62.28/62.36	c iter 862 time 60.9817 not-muc 2527292 unknown 937 muc 861
62.28/62.36	c iter 863 time 61.0547 not-muc 2527292 unknown 936 muc 862
62.28/62.36	c iter 864 time 61.1277 not-muc 2527292 unknown 935 muc 863
62.28/62.36	c iter 865 time 61.2007 not-muc 2527292 unknown 934 muc 864
62.28/62.36	c iter 866 time 61.2737 not-muc 2527292 unknown 933 muc 865
62.28/62.36	c iter 867 time 61.3467 not-muc 2527292 unknown 932 muc 866
62.28/62.36	c iter 868 time 61.4197 not-muc 2527292 unknown 931 muc 867
62.28/62.36	c iter 869 time 61.4917 not-muc 2527292 unknown 930 muc 868
62.28/62.36	c iter 870 time 61.5646 not-muc 2527292 unknown 929 muc 869
62.28/62.36	c iter 871 time 61.6366 not-muc 2527292 unknown 928 muc 870
62.28/62.36	c iter 872 time 61.7086 not-muc 2527292 unknown 927 muc 871
62.28/62.36	c iter 873 time 61.7806 not-muc 2527292 unknown 926 muc 872
62.28/62.36	c iter 874 time 61.8536 not-muc 2527292 unknown 925 muc 873
62.28/62.36	c iter 875 time 61.9256 not-muc 2527292 unknown 924 muc 874
62.28/62.36	c iter 876 time 61.9976 not-muc 2527292 unknown 923 muc 875
62.28/62.36	c iter 877 time 62.0706 not-muc 2527292 unknown 922 muc 876
62.28/62.36	c iter 878 time 62.1436 not-muc 2527292 unknown 921 muc 877
62.28/62.36	c iter 879 time 62.2165 not-muc 2527292 unknown 920 muc 878
67.18/67.22	c iter 880 time 62.2895 not-muc 2527292 unknown 919 muc 879
67.18/67.22	c iter 881 time 62.3625 not-muc 2527292 unknown 918 muc 880
67.18/67.22	c iter 882 time 62.4355 not-muc 2527292 unknown 917 muc 881
67.18/67.22	c iter 883 time 62.5085 not-muc 2527292 unknown 916 muc 882
67.18/67.22	c iter 884 time 62.5815 not-muc 2527292 unknown 915 muc 883
67.18/67.22	c iter 885 time 62.6545 not-muc 2527292 unknown 914 muc 884
67.18/67.22	c iter 886 time 62.7275 not-muc 2527292 unknown 913 muc 885
67.18/67.22	c iter 887 time 62.8015 not-muc 2527292 unknown 912 muc 886
67.18/67.22	c iter 888 time 62.8734 not-muc 2527292 unknown 911 muc 887
67.18/67.22	c iter 889 time 62.9464 not-muc 2527292 unknown 910 muc 888
67.18/67.22	c iter 890 time 63.0204 not-muc 2527292 unknown 909 muc 889
67.18/67.22	c iter 891 time 63.0934 not-muc 2527292 unknown 908 muc 890
67.18/67.22	c iter 892 time 63.1664 not-muc 2527292 unknown 907 muc 891
67.18/67.22	c iter 893 time 63.2394 not-muc 2527292 unknown 906 muc 892
67.18/67.22	c iter 894 time 63.3114 not-muc 2527292 unknown 905 muc 893
67.18/67.22	c iter 895 time 63.3834 not-muc 2527292 unknown 904 muc 894
67.18/67.22	c iter 896 time 63.4554 not-muc 2527292 unknown 903 muc 895
67.18/67.22	c iter 897 time 63.5273 not-muc 2527292 unknown 902 muc 896
67.18/67.22	c iter 898 time 63.5993 not-muc 2527292 unknown 901 muc 897
67.18/67.22	c iter 899 time 63.6713 not-muc 2527292 unknown 900 muc 898
67.18/67.22	c iter 900 time 63.7443 not-muc 2527292 unknown 899 muc 899
67.18/67.22	c iter 901 time 63.8163 not-muc 2527292 unknown 898 muc 900
67.18/67.22	c iter 902 time 63.8883 not-muc 2527292 unknown 897 muc 901
67.18/67.22	c iter 903 time 63.9613 not-muc 2527292 unknown 896 muc 902
67.18/67.22	c iter 904 time 64.0333 not-muc 2527292 unknown 895 muc 903
67.18/67.22	c iter 905 time 64.1053 not-muc 2527292 unknown 894 muc 904
67.18/67.22	c iter 906 time 64.1782 not-muc 2527292 unknown 893 muc 905
67.18/67.22	c iter 907 time 64.2512 not-muc 2527292 unknown 892 muc 906
67.18/67.22	c iter 908 time 64.3242 not-muc 2527292 unknown 891 muc 907
67.18/67.22	c iter 909 time 64.3972 not-muc 2527292 unknown 890 muc 908
67.18/67.22	c iter 910 time 64.4712 not-muc 2527292 unknown 889 muc 909
67.18/67.22	c iter 911 time 64.5442 not-muc 2527292 unknown 888 muc 910
67.18/67.22	c iter 912 time 64.6172 not-muc 2527292 unknown 887 muc 911
67.18/67.22	c iter 913 time 64.6902 not-muc 2527292 unknown 886 muc 912
67.18/67.22	c iter 914 time 64.7632 not-muc 2527292 unknown 885 muc 913
67.18/67.22	c iter 915 time 64.8361 not-muc 2527292 unknown 884 muc 914
67.18/67.22	c iter 916 time 64.9091 not-muc 2527292 unknown 883 muc 915
67.18/67.22	c iter 917 time 64.9821 not-muc 2527292 unknown 882 muc 916
67.18/67.22	c iter 918 time 65.0551 not-muc 2527292 unknown 881 muc 917
67.18/67.22	c iter 919 time 65.1281 not-muc 2527292 unknown 880 muc 918
67.18/67.22	c iter 920 time 65.2001 not-muc 2527292 unknown 879 muc 919
67.18/67.22	c iter 921 time 65.2721 not-muc 2527292 unknown 878 muc 920
67.18/67.22	c iter 922 time 65.3441 not-muc 2527292 unknown 877 muc 921
67.18/67.22	c iter 923 time 65.4161 not-muc 2527292 unknown 876 muc 922
67.18/67.22	c iter 924 time 65.488 not-muc 2527292 unknown 875 muc 923
67.18/67.22	c iter 925 time 65.561 not-muc 2527292 unknown 874 muc 924
67.18/67.22	c iter 926 time 65.622 not-muc 2527292 unknown 873 muc 925
67.18/67.22	c iter 927 time 65.683 not-muc 2527292 unknown 872 muc 926
67.18/67.22	c iter 928 time 65.755 not-muc 2527292 unknown 871 muc 927
67.18/67.22	c iter 929 time 65.828 not-muc 2527292 unknown 870 muc 928
67.18/67.22	c iter 930 time 65.889 not-muc 2527292 unknown 869 muc 929
67.18/67.22	c iter 931 time 65.95 not-muc 2527292 unknown 868 muc 930
67.18/67.22	c iter 932 time 66.012 not-muc 2527292 unknown 867 muc 931
67.18/67.22	c iter 933 time 66.074 not-muc 2527292 unknown 866 muc 932
67.18/67.22	c iter 934 time 66.1349 not-muc 2527292 unknown 865 muc 933
67.18/67.22	c iter 935 time 66.1969 not-muc 2527292 unknown 864 muc 934
67.18/67.22	c iter 936 time 66.2579 not-muc 2527292 unknown 863 muc 935
67.18/67.22	c iter 937 time 66.3309 not-muc 2527292 unknown 862 muc 936
67.18/67.22	c iter 938 time 66.4039 not-muc 2527292 unknown 861 muc 937
67.18/67.22	c iter 939 time 66.4769 not-muc 2527292 unknown 860 muc 938
67.18/67.22	c iter 940 time 66.5499 not-muc 2527292 unknown 859 muc 939
67.18/67.22	c iter 941 time 66.6229 not-muc 2527292 unknown 858 muc 940
67.18/67.22	c iter 942 time 66.6959 not-muc 2527292 unknown 857 muc 941
67.18/67.22	c iter 943 time 66.7688 not-muc 2527292 unknown 856 muc 942
67.18/67.22	c iter 944 time 66.8508 not-muc 2527292 unknown 855 muc 943
67.18/67.22	c iter 945 time 66.9228 not-muc 2527292 unknown 854 muc 944
67.18/67.22	c iter 946 time 66.9948 not-muc 2527292 unknown 853 muc 945
67.18/67.22	c iter 947 time 67.0668 not-muc 2527292 unknown 852 muc 946
71.98/72.09	c iter 948 time 67.1388 not-muc 2527292 unknown 851 muc 947
71.98/72.09	c iter 949 time 67.2108 not-muc 2527292 unknown 850 muc 948
71.98/72.09	c iter 950 time 67.2828 not-muc 2527292 unknown 849 muc 949
71.98/72.09	c iter 951 time 67.3548 not-muc 2527292 unknown 848 muc 950
71.98/72.09	c iter 952 time 67.4267 not-muc 2527292 unknown 847 muc 951
71.98/72.09	c iter 953 time 67.4987 not-muc 2527292 unknown 846 muc 952
71.98/72.09	c iter 954 time 67.5717 not-muc 2527292 unknown 845 muc 953
71.98/72.09	c iter 955 time 67.6437 not-muc 2527292 unknown 844 muc 954
71.98/72.09	c iter 956 time 67.7157 not-muc 2527292 unknown 843 muc 955
71.98/72.09	c iter 957 time 67.7877 not-muc 2527292 unknown 842 muc 956
71.98/72.09	c iter 958 time 67.8597 not-muc 2527292 unknown 841 muc 957
71.98/72.09	c iter 959 time 67.9327 not-muc 2527292 unknown 840 muc 958
71.98/72.09	c iter 960 time 68.0057 not-muc 2527292 unknown 839 muc 959
71.98/72.09	c iter 961 time 68.0786 not-muc 2527292 unknown 838 muc 960
71.98/72.09	c iter 962 time 68.1506 not-muc 2527292 unknown 837 muc 961
71.98/72.09	c iter 963 time 68.2236 not-muc 2527292 unknown 836 muc 962
71.98/72.09	c iter 964 time 68.2966 not-muc 2527292 unknown 835 muc 963
71.98/72.09	c iter 965 time 68.3696 not-muc 2527292 unknown 834 muc 964
71.98/72.09	c iter 966 time 68.4426 not-muc 2527292 unknown 833 muc 965
71.98/72.09	c iter 967 time 68.5156 not-muc 2527292 unknown 832 muc 966
71.98/72.09	c iter 968 time 68.5896 not-muc 2527292 unknown 831 muc 967
71.98/72.09	c iter 969 time 68.6616 not-muc 2527292 unknown 830 muc 968
71.98/72.09	c iter 970 time 68.7335 not-muc 2527292 unknown 829 muc 969
71.98/72.09	c iter 971 time 68.8055 not-muc 2527292 unknown 828 muc 970
71.98/72.09	c iter 972 time 68.8775 not-muc 2527292 unknown 827 muc 971
71.98/72.09	c iter 973 time 68.9505 not-muc 2527292 unknown 826 muc 972
71.98/72.09	c iter 974 time 69.0235 not-muc 2527292 unknown 825 muc 973
71.98/72.09	c iter 975 time 69.0965 not-muc 2527292 unknown 824 muc 974
71.98/72.09	c iter 976 time 69.1695 not-muc 2527292 unknown 823 muc 975
71.98/72.09	c iter 977 time 69.2425 not-muc 2527292 unknown 822 muc 976
71.98/72.09	c iter 978 time 69.3145 not-muc 2527292 unknown 821 muc 977
71.98/72.09	c iter 979 time 69.3875 not-muc 2527292 unknown 820 muc 978
71.98/72.09	c iter 980 time 69.4604 not-muc 2527292 unknown 819 muc 979
71.98/72.09	c iter 981 time 69.5334 not-muc 2527292 unknown 818 muc 980
71.98/72.09	c iter 982 time 69.6054 not-muc 2527292 unknown 817 muc 981
71.98/72.09	c iter 983 time 69.6774 not-muc 2527292 unknown 816 muc 982
71.98/72.09	c iter 984 time 69.7494 not-muc 2527292 unknown 815 muc 983
71.98/72.09	c iter 985 time 69.8104 not-muc 2527292 unknown 814 muc 984
71.98/72.09	c iter 986 time 69.8824 not-muc 2527292 unknown 813 muc 985
71.98/72.09	c iter 987 time 69.9544 not-muc 2527292 unknown 812 muc 986
71.98/72.09	c iter 988 time 70.0264 not-muc 2527292 unknown 811 muc 987
71.98/72.09	c iter 989 time 70.0983 not-muc 2527292 unknown 810 muc 988
71.98/72.09	c iter 990 time 70.1703 not-muc 2527292 unknown 809 muc 989
71.98/72.09	c iter 991 time 70.2423 not-muc 2527292 unknown 808 muc 990
71.98/72.09	c iter 992 time 70.3143 not-muc 2527292 unknown 807 muc 991
71.98/72.09	c iter 993 time 70.3863 not-muc 2527292 unknown 806 muc 992
71.98/72.09	c iter 994 time 70.4583 not-muc 2527292 unknown 805 muc 993
71.98/72.09	c iter 995 time 70.5313 not-muc 2527292 unknown 804 muc 994
71.98/72.09	c iter 996 time 70.6033 not-muc 2527292 unknown 803 muc 995
71.98/72.09	c iter 997 time 70.6763 not-muc 2527292 unknown 802 muc 996
71.98/72.09	c iter 998 time 70.7492 not-muc 2527292 unknown 801 muc 997
71.98/72.09	c iter 999 time 70.8222 not-muc 2527292 unknown 800 muc 998
71.98/72.09	c iter 1000 time 70.8952 not-muc 2527292 unknown 799 muc 999
71.98/72.09	c iter 1001 time 70.9562 not-muc 2527292 unknown 798 muc 1000
71.98/72.09	c iter 1002 time 71.0182 not-muc 2527292 unknown 797 muc 1001
71.98/72.09	c iter 1003 time 71.0792 not-muc 2527292 unknown 796 muc 1002
71.98/72.09	c iter 1004 time 71.1402 not-muc 2527292 unknown 795 muc 1003
71.98/72.09	c iter 1005 time 71.2122 not-muc 2527292 unknown 794 muc 1004
71.98/72.09	c iter 1006 time 71.2852 not-muc 2527292 unknown 793 muc 1005
71.98/72.09	c iter 1007 time 71.3582 not-muc 2527292 unknown 792 muc 1006
71.98/72.09	c iter 1008 time 71.4301 not-muc 2527292 unknown 791 muc 1007
71.98/72.09	c iter 1009 time 71.5031 not-muc 2527292 unknown 790 muc 1008
71.98/72.09	c iter 1010 time 71.5761 not-muc 2527292 unknown 789 muc 1009
71.98/72.09	c iter 1011 time 71.6491 not-muc 2527292 unknown 788 muc 1010
71.98/72.09	c iter 1012 time 71.7211 not-muc 2527292 unknown 787 muc 1011
71.98/72.09	c iter 1013 time 71.7941 not-muc 2527292 unknown 786 muc 1012
71.98/72.09	c iter 1014 time 71.8671 not-muc 2527292 unknown 785 muc 1013
71.98/72.09	c iter 1015 time 71.9401 not-muc 2527292 unknown 784 muc 1014
76.58/76.68	c iter 1016 time 72.0131 not-muc 2527292 unknown 783 muc 1015
76.58/76.68	c iter 1017 time 72.086 not-muc 2527292 unknown 782 muc 1016
76.58/76.68	c iter 1018 time 72.158 not-muc 2527292 unknown 781 muc 1017
76.58/76.68	c iter 1019 time 72.229 not-muc 2527292 unknown 780 muc 1018
76.58/76.68	c iter 1020 time 72.29 not-muc 2527292 unknown 779 muc 1019
76.58/76.68	c iter 1021 time 72.351 not-muc 2527292 unknown 778 muc 1020
76.58/76.68	c iter 1022 time 72.412 not-muc 2527292 unknown 777 muc 1021
76.58/76.68	c iter 1023 time 72.473 not-muc 2527292 unknown 776 muc 1022
76.58/76.68	c iter 1024 time 72.545 not-muc 2527292 unknown 775 muc 1023
76.58/76.68	c iter 1025 time 72.617 not-muc 2527292 unknown 774 muc 1024
76.58/76.68	c iter 1026 time 72.6889 not-muc 2527292 unknown 773 muc 1025
76.58/76.68	c iter 1027 time 72.7609 not-muc 2527292 unknown 772 muc 1026
76.58/76.68	c iter 1028 time 72.8329 not-muc 2527292 unknown 771 muc 1027
76.58/76.68	c iter 1029 time 72.9049 not-muc 2527292 unknown 770 muc 1028
76.58/76.68	c iter 1030 time 72.9769 not-muc 2527292 unknown 769 muc 1029
76.58/76.68	c iter 1031 time 73.0489 not-muc 2527292 unknown 768 muc 1030
76.58/76.68	c iter 1032 time 73.1219 not-muc 2527292 unknown 767 muc 1031
76.58/76.68	c iter 1033 time 73.1949 not-muc 2527292 unknown 766 muc 1032
76.58/76.68	c iter 1034 time 73.2679 not-muc 2527292 unknown 765 muc 1033
76.58/76.68	c iter 1035 time 73.3398 not-muc 2527292 unknown 764 muc 1034
76.58/76.68	c iter 1036 time 73.4128 not-muc 2527292 unknown 763 muc 1035
76.58/76.68	c iter 1037 time 73.4858 not-muc 2527292 unknown 762 muc 1036
76.58/76.68	c iter 1038 time 73.5578 not-muc 2527292 unknown 761 muc 1037
76.58/76.68	c iter 1039 time 73.6198 not-muc 2527292 unknown 760 muc 1038
76.58/76.68	c iter 1040 time 73.6798 not-muc 2527292 unknown 759 muc 1039
76.58/76.68	c iter 1041 time 73.7418 not-muc 2527292 unknown 758 muc 1040
76.58/76.68	c iter 1042 time 73.8028 not-muc 2527292 unknown 757 muc 1041
76.58/76.68	c iter 1043 time 73.8758 not-muc 2527292 unknown 756 muc 1042
76.58/76.68	c iter 1044 time 73.9478 not-muc 2527292 unknown 755 muc 1043
76.58/76.68	c iter 1045 time 74.0207 not-muc 2527292 unknown 754 muc 1044
76.58/76.68	c iter 1046 time 74.0937 not-muc 2527292 unknown 753 muc 1045
76.58/76.68	c iter 1047 time 74.1657 not-muc 2527292 unknown 752 muc 1046
76.58/76.68	c iter 1048 time 74.2387 not-muc 2527292 unknown 751 muc 1047
76.58/76.68	c iter 1049 time 74.3117 not-muc 2527292 unknown 750 muc 1048
76.58/76.68	c iter 1050 time 74.3837 not-muc 2527292 unknown 749 muc 1049
76.58/76.68	c iter 1051 time 74.4557 not-muc 2527292 unknown 748 muc 1050
76.58/76.68	c iter 1052 time 74.5267 not-muc 2527292 unknown 747 muc 1051
76.58/76.68	c iter 1053 time 74.5997 not-muc 2527292 unknown 746 muc 1052
76.58/76.68	c iter 1054 time 74.6706 not-muc 2527292 unknown 745 muc 1053
76.58/76.68	c iter 1055 time 74.7426 not-muc 2527292 unknown 744 muc 1054
76.58/76.68	c iter 1056 time 74.8146 not-muc 2527292 unknown 743 muc 1055
76.58/76.68	c iter 1057 time 74.8866 not-muc 2527292 unknown 742 muc 1056
76.58/76.68	c iter 1058 time 74.9476 not-muc 2527292 unknown 741 muc 1057
76.58/76.68	c iter 1059 time 75.0096 not-muc 2527292 unknown 740 muc 1058
76.58/76.68	c iter 1060 time 75.0706 not-muc 2527292 unknown 739 muc 1059
76.58/76.68	c iter 1061 time 75.1316 not-muc 2527292 unknown 738 muc 1060
76.58/76.68	c iter 1062 time 75.2046 not-muc 2527292 unknown 737 muc 1061
76.58/76.68	c iter 1063 time 75.2766 not-muc 2527292 unknown 736 muc 1062
76.58/76.68	c iter 1064 time 75.3495 not-muc 2527292 unknown 735 muc 1063
76.58/76.68	c iter 1065 time 75.4225 not-muc 2527292 unknown 734 muc 1064
76.58/76.68	c iter 1066 time 75.4945 not-muc 2527292 unknown 733 muc 1065
76.58/76.68	c iter 1067 time 75.5675 not-muc 2527292 unknown 732 muc 1066
76.58/76.68	c iter 1068 time 75.6405 not-muc 2527292 unknown 731 muc 1067
76.58/76.68	c iter 1069 time 75.7125 not-muc 2527292 unknown 730 muc 1068
76.58/76.68	c iter 1070 time 75.7855 not-muc 2527292 unknown 729 muc 1069
76.58/76.68	c iter 1071 time 75.8585 not-muc 2527292 unknown 728 muc 1070
76.58/76.68	c iter 1072 time 75.9315 not-muc 2527292 unknown 727 muc 1071
76.58/76.68	c iter 1073 time 76.0034 not-muc 2527292 unknown 726 muc 1072
76.58/76.68	c iter 1074 time 76.0754 not-muc 2527292 unknown 725 muc 1073
76.58/76.68	c iter 1075 time 76.1464 not-muc 2527292 unknown 724 muc 1074
76.58/76.68	c iter 1076 time 76.2184 not-muc 2527292 unknown 723 muc 1075
76.58/76.68	c iter 1077 time 76.2794 not-muc 2527292 unknown 722 muc 1076
76.58/76.68	c iter 1078 time 76.3404 not-muc 2527292 unknown 721 muc 1077
76.58/76.68	c iter 1079 time 76.4004 not-muc 2527292 unknown 720 muc 1078
76.58/76.68	c iter 1080 time 76.4614 not-muc 2527292 unknown 719 muc 1079
76.58/76.68	c iter 1081 time 76.5334 not-muc 2527292 unknown 718 muc 1080
81.29/81.31	c iter 1082 time 76.6054 not-muc 2527292 unknown 717 muc 1081
81.29/81.31	c iter 1083 time 76.6673 not-muc 2527292 unknown 716 muc 1082
81.29/81.31	c iter 1084 time 76.7283 not-muc 2527292 unknown 715 muc 1083
81.29/81.31	c iter 1085 time 76.7893 not-muc 2527292 unknown 714 muc 1084
81.29/81.31	c iter 1086 time 76.8503 not-muc 2527292 unknown 713 muc 1085
81.29/81.31	c iter 1087 time 76.9113 not-muc 2527292 unknown 712 muc 1086
81.29/81.31	c iter 1088 time 76.9733 not-muc 2527292 unknown 711 muc 1087
81.29/81.31	c iter 1089 time 77.0343 not-muc 2527292 unknown 710 muc 1088
81.29/81.31	c iter 1090 time 77.0953 not-muc 2527292 unknown 709 muc 1089
81.29/81.31	c iter 1091 time 77.1573 not-muc 2527292 unknown 708 muc 1090
81.29/81.31	c iter 1092 time 77.2183 not-muc 2527292 unknown 707 muc 1091
81.29/81.31	c iter 1093 time 77.2793 not-muc 2527292 unknown 706 muc 1092
81.29/81.31	c iter 1094 time 77.3412 not-muc 2527292 unknown 705 muc 1093
81.29/81.31	c iter 1095 time 77.4142 not-muc 2527292 unknown 704 muc 1094
81.29/81.31	c iter 1096 time 77.4752 not-muc 2527292 unknown 703 muc 1095
81.29/81.31	c iter 1097 time 77.5482 not-muc 2527292 unknown 702 muc 1096
81.29/81.31	c iter 1098 time 77.6202 not-muc 2527292 unknown 701 muc 1097
81.29/81.31	c iter 1099 time 77.6922 not-muc 2527292 unknown 700 muc 1098
81.29/81.31	c iter 1100 time 77.7642 not-muc 2527292 unknown 699 muc 1099
81.29/81.31	c iter 1101 time 77.8362 not-muc 2527292 unknown 698 muc 1100
81.29/81.31	c iter 1102 time 77.9072 not-muc 2527292 unknown 697 muc 1101
81.29/81.31	c iter 1103 time 77.9791 not-muc 2527292 unknown 696 muc 1102
81.29/81.31	c iter 1104 time 78.0511 not-muc 2527292 unknown 695 muc 1103
81.29/81.31	c iter 1105 time 78.1231 not-muc 2527292 unknown 694 muc 1104
81.29/81.31	c iter 1106 time 78.1941 not-muc 2527292 unknown 693 muc 1105
81.29/81.31	c iter 1107 time 78.2661 not-muc 2527292 unknown 692 muc 1106
81.29/81.31	c iter 1108 time 78.3381 not-muc 2527292 unknown 691 muc 1107
81.29/81.31	c iter 1109 time 78.4111 not-muc 2527292 unknown 690 muc 1108
81.29/81.31	c iter 1110 time 78.4831 not-muc 2527292 unknown 689 muc 1109
81.29/81.31	c iter 1111 time 78.5641 not-muc 2527292 unknown 688 muc 1110
81.29/81.31	c iter 1112 time 78.636 not-muc 2527292 unknown 687 muc 1111
81.29/81.31	c iter 1113 time 78.709 not-muc 2527292 unknown 686 muc 1112
81.29/81.31	c iter 1114 time 78.782 not-muc 2527292 unknown 685 muc 1113
81.29/81.31	c iter 1115 time 78.854 not-muc 2527292 unknown 684 muc 1114
81.29/81.31	c iter 1116 time 78.927 not-muc 2527292 unknown 683 muc 1115
81.29/81.31	c iter 1117 time 78.999 not-muc 2527292 unknown 682 muc 1116
81.29/81.31	c iter 1118 time 79.071 not-muc 2527292 unknown 681 muc 1117
81.29/81.31	c iter 1119 time 79.143 not-muc 2527292 unknown 680 muc 1118
81.29/81.31	c iter 1120 time 79.216 not-muc 2527292 unknown 679 muc 1119
81.29/81.31	c iter 1121 time 79.2879 not-muc 2527292 unknown 678 muc 1120
81.29/81.31	c iter 1122 time 79.3599 not-muc 2527292 unknown 677 muc 1121
81.29/81.31	c iter 1123 time 79.4329 not-muc 2527292 unknown 676 muc 1122
81.29/81.31	c iter 1124 time 79.5059 not-muc 2527292 unknown 675 muc 1123
81.29/81.31	c iter 1125 time 79.5779 not-muc 2527292 unknown 674 muc 1124
81.29/81.31	c iter 1126 time 79.6499 not-muc 2527292 unknown 673 muc 1125
81.29/81.31	c iter 1127 time 79.7229 not-muc 2527292 unknown 672 muc 1126
81.29/81.31	c iter 1128 time 79.7949 not-muc 2527292 unknown 671 muc 1127
81.29/81.31	c iter 1129 time 79.8689 not-muc 2527292 unknown 670 muc 1128
81.29/81.31	c iter 1130 time 79.9398 not-muc 2527292 unknown 669 muc 1129
81.29/81.31	c iter 1131 time 80.0118 not-muc 2527292 unknown 668 muc 1130
81.29/81.31	c iter 1132 time 80.0838 not-muc 2527292 unknown 667 muc 1131
81.29/81.31	c iter 1133 time 80.1548 not-muc 2527292 unknown 666 muc 1132
81.29/81.31	c iter 1134 time 80.2268 not-muc 2527292 unknown 665 muc 1133
81.29/81.31	c iter 1135 time 80.2978 not-muc 2527292 unknown 664 muc 1134
81.29/81.31	c iter 1136 time 80.3698 not-muc 2527292 unknown 663 muc 1135
81.29/81.31	c iter 1137 time 80.4408 not-muc 2527292 unknown 662 muc 1136
81.29/81.31	c iter 1138 time 80.5128 not-muc 2527292 unknown 661 muc 1137
81.29/81.31	c iter 1139 time 80.5847 not-muc 2527292 unknown 660 muc 1138
81.29/81.31	c iter 1140 time 80.6567 not-muc 2527292 unknown 659 muc 1139
81.29/81.31	c iter 1141 time 80.7287 not-muc 2527292 unknown 658 muc 1140
81.29/81.31	c iter 1142 time 80.8007 not-muc 2527292 unknown 657 muc 1141
81.29/81.31	c iter 1143 time 80.8737 not-muc 2527292 unknown 656 muc 1142
81.29/81.31	c iter 1144 time 80.9457 not-muc 2527292 unknown 655 muc 1143
81.29/81.31	c iter 1145 time 81.0177 not-muc 2527292 unknown 654 muc 1144
81.29/81.31	c iter 1146 time 81.0907 not-muc 2527292 unknown 653 muc 1145
81.29/81.31	c iter 1147 time 81.1627 not-muc 2527292 unknown 652 muc 1146
86.08/86.15	c iter 1148 time 81.2347 not-muc 2527292 unknown 651 muc 1147
86.08/86.15	c iter 1149 time 81.3076 not-muc 2527292 unknown 650 muc 1148
86.08/86.15	c iter 1150 time 81.3786 not-muc 2527292 unknown 649 muc 1149
86.08/86.15	c iter 1151 time 81.4506 not-muc 2527292 unknown 648 muc 1150
86.08/86.15	c iter 1152 time 81.5236 not-muc 2527292 unknown 647 muc 1151
86.08/86.15	c iter 1153 time 81.5956 not-muc 2527292 unknown 646 muc 1152
86.08/86.15	c iter 1154 time 81.6676 not-muc 2527292 unknown 645 muc 1153
86.08/86.15	c iter 1155 time 81.7406 not-muc 2527292 unknown 644 muc 1154
86.08/86.15	c iter 1156 time 81.8126 not-muc 2527292 unknown 643 muc 1155
86.08/86.15	c iter 1157 time 81.8856 not-muc 2527292 unknown 642 muc 1156
86.08/86.15	c iter 1158 time 81.9575 not-muc 2527292 unknown 641 muc 1157
86.08/86.15	c iter 1159 time 82.0285 not-muc 2527292 unknown 640 muc 1158
86.08/86.15	c iter 1160 time 82.1005 not-muc 2527292 unknown 639 muc 1159
86.08/86.15	c iter 1161 time 82.1725 not-muc 2527292 unknown 638 muc 1160
86.08/86.15	c iter 1162 time 82.2435 not-muc 2527292 unknown 637 muc 1161
86.08/86.15	c iter 1163 time 82.3155 not-muc 2527292 unknown 636 muc 1162
86.08/86.15	c iter 1164 time 82.3875 not-muc 2527292 unknown 635 muc 1163
86.08/86.15	c iter 1165 time 82.4595 not-muc 2527292 unknown 634 muc 1164
86.08/86.15	c iter 1166 time 82.5315 not-muc 2527292 unknown 633 muc 1165
86.08/86.15	c iter 1167 time 82.6034 not-muc 2527292 unknown 632 muc 1166
86.08/86.15	c iter 1168 time 82.6754 not-muc 2527292 unknown 631 muc 1167
86.08/86.15	c iter 1169 time 82.7484 not-muc 2527292 unknown 630 muc 1168
86.08/86.15	c iter 1170 time 82.8204 not-muc 2527292 unknown 629 muc 1169
86.08/86.15	c iter 1171 time 82.8934 not-muc 2527292 unknown 628 muc 1170
86.08/86.15	c iter 1172 time 82.9654 not-muc 2527292 unknown 627 muc 1171
86.08/86.15	c iter 1173 time 83.0374 not-muc 2527292 unknown 626 muc 1172
86.08/86.15	c iter 1174 time 83.1104 not-muc 2527292 unknown 625 muc 1173
86.08/86.15	c iter 1175 time 83.1824 not-muc 2527292 unknown 624 muc 1174
86.08/86.15	c iter 1176 time 83.2543 not-muc 2527292 unknown 623 muc 1175
86.08/86.15	c iter 1177 time 83.3273 not-muc 2527292 unknown 622 muc 1176
86.08/86.15	c iter 1178 time 83.3993 not-muc 2527292 unknown 621 muc 1177
86.08/86.15	c iter 1179 time 83.4723 not-muc 2527292 unknown 620 muc 1178
86.08/86.15	c iter 1180 time 83.5443 not-muc 2527292 unknown 619 muc 1179
86.08/86.15	c iter 1181 time 83.6173 not-muc 2527292 unknown 618 muc 1180
86.08/86.15	c iter 1182 time 83.6893 not-muc 2527292 unknown 617 muc 1181
86.08/86.15	c iter 1183 time 83.7603 not-muc 2527292 unknown 616 muc 1182
86.08/86.15	c iter 1184 time 83.8323 not-muc 2527292 unknown 615 muc 1183
86.08/86.15	c iter 1185 time 83.9032 not-muc 2527292 unknown 614 muc 1184
86.08/86.15	c iter 1186 time 83.9752 not-muc 2527292 unknown 613 muc 1185
86.08/86.15	c iter 1187 time 84.0472 not-muc 2527292 unknown 612 muc 1186
86.08/86.15	c iter 1188 time 84.1182 not-muc 2527292 unknown 611 muc 1187
86.08/86.15	c iter 1189 time 84.1902 not-muc 2527292 unknown 610 muc 1188
86.08/86.15	c iter 1190 time 84.2622 not-muc 2527292 unknown 609 muc 1189
86.08/86.15	c iter 1191 time 84.3342 not-muc 2527292 unknown 608 muc 1190
86.08/86.15	c iter 1192 time 84.4062 not-muc 2527292 unknown 607 muc 1191
86.08/86.15	c iter 1193 time 84.4782 not-muc 2527292 unknown 606 muc 1192
86.08/86.15	c iter 1194 time 84.5511 not-muc 2527292 unknown 605 muc 1193
86.08/86.15	c iter 1195 time 84.6231 not-muc 2527292 unknown 604 muc 1194
86.08/86.15	c iter 1196 time 84.6951 not-muc 2527292 unknown 603 muc 1195
86.08/86.15	c iter 1197 time 84.7681 not-muc 2527292 unknown 602 muc 1196
86.08/86.15	c iter 1198 time 84.8401 not-muc 2527292 unknown 601 muc 1197
86.08/86.15	c iter 1199 time 84.9131 not-muc 2527292 unknown 600 muc 1198
86.08/86.15	c iter 1200 time 84.9861 not-muc 2527292 unknown 599 muc 1199
86.08/86.15	c iter 1201 time 85.0571 not-muc 2527292 unknown 598 muc 1200
86.08/86.15	c iter 1202 time 85.1291 not-muc 2527292 unknown 597 muc 1201
86.08/86.15	c iter 1203 time 85.201 not-muc 2527292 unknown 596 muc 1202
86.08/86.15	c iter 1204 time 85.274 not-muc 2527292 unknown 595 muc 1203
86.08/86.15	c iter 1205 time 85.346 not-muc 2527292 unknown 594 muc 1204
86.08/86.15	c iter 1206 time 85.419 not-muc 2527292 unknown 593 muc 1205
86.08/86.15	c iter 1207 time 85.491 not-muc 2527292 unknown 592 muc 1206
86.08/86.15	c iter 1208 time 85.563 not-muc 2527292 unknown 591 muc 1207
86.08/86.15	c iter 1209 time 85.635 not-muc 2527292 unknown 590 muc 1208
86.08/86.15	c iter 1210 time 85.708 not-muc 2527292 unknown 589 muc 1209
86.08/86.15	c iter 1211 time 85.78 not-muc 2527292 unknown 588 muc 1210
86.08/86.15	c iter 1212 time 85.8519 not-muc 2527292 unknown 587 muc 1211
86.08/86.15	c iter 1213 time 85.9239 not-muc 2527292 unknown 586 muc 1212
86.08/86.15	c iter 1214 time 85.9949 not-muc 2527292 unknown 585 muc 1213
90.88/90.90	c iter 1215 time 86.0669 not-muc 2527292 unknown 584 muc 1214
90.88/90.90	c iter 1216 time 86.1379 not-muc 2527292 unknown 583 muc 1215
90.88/90.90	c iter 1217 time 86.2099 not-muc 2527292 unknown 582 muc 1216
90.88/90.90	c iter 1218 time 86.2809 not-muc 2527292 unknown 581 muc 1217
90.88/90.90	c iter 1219 time 86.3609 not-muc 2527292 unknown 580 muc 1218
90.88/90.90	c iter 1220 time 86.4319 not-muc 2527292 unknown 579 muc 1219
90.88/90.90	c iter 1221 time 86.5038 not-muc 2527292 unknown 578 muc 1220
90.88/90.90	c iter 1222 time 86.5758 not-muc 2527292 unknown 577 muc 1221
90.88/90.90	c iter 1223 time 86.6468 not-muc 2527292 unknown 576 muc 1222
90.88/90.90	c iter 1224 time 86.7198 not-muc 2527292 unknown 575 muc 1223
90.88/90.90	c iter 1225 time 86.7918 not-muc 2527292 unknown 574 muc 1224
90.88/90.90	c iter 1226 time 86.8638 not-muc 2527292 unknown 573 muc 1225
90.88/90.90	c iter 1227 time 86.9368 not-muc 2527292 unknown 572 muc 1226
90.88/90.90	c iter 1228 time 87.0088 not-muc 2527292 unknown 571 muc 1227
90.88/90.90	c iter 1229 time 87.0808 not-muc 2527292 unknown 570 muc 1228
90.88/90.90	c iter 1230 time 87.1527 not-muc 2527292 unknown 569 muc 1229
90.88/90.90	c iter 1231 time 87.2237 not-muc 2527292 unknown 568 muc 1230
90.88/90.90	c iter 1232 time 87.2957 not-muc 2527292 unknown 567 muc 1231
90.88/90.90	c iter 1233 time 87.3677 not-muc 2527292 unknown 566 muc 1232
90.88/90.90	c iter 1234 time 87.4397 not-muc 2527292 unknown 565 muc 1233
90.88/90.90	c iter 1235 time 87.5117 not-muc 2527292 unknown 564 muc 1234
90.88/90.90	c iter 1236 time 87.5837 not-muc 2527292 unknown 563 muc 1235
90.88/90.90	c iter 1237 time 87.6567 not-muc 2527292 unknown 562 muc 1236
90.88/90.90	c iter 1238 time 87.7287 not-muc 2527292 unknown 561 muc 1237
90.88/90.90	c iter 1239 time 87.8007 not-muc 2527292 unknown 560 muc 1238
90.88/90.90	c iter 1240 time 87.8726 not-muc 2527292 unknown 559 muc 1239
90.88/90.90	c iter 1241 time 87.9446 not-muc 2527292 unknown 558 muc 1240
90.88/90.90	c iter 1242 time 88.0156 not-muc 2527292 unknown 557 muc 1241
90.88/90.90	c iter 1243 time 88.0876 not-muc 2527292 unknown 556 muc 1242
90.88/90.90	c iter 1244 time 88.1586 not-muc 2527292 unknown 555 muc 1243
90.88/90.90	c iter 1245 time 88.2296 not-muc 2527292 unknown 554 muc 1244
90.88/90.90	c iter 1246 time 88.3026 not-muc 2527292 unknown 553 muc 1245
90.88/90.90	c iter 1247 time 88.3736 not-muc 2527292 unknown 552 muc 1246
90.88/90.90	c iter 1248 time 88.4456 not-muc 2527292 unknown 551 muc 1247
90.88/90.90	c iter 1249 time 88.5175 not-muc 2527292 unknown 550 muc 1248
90.88/90.90	c iter 1250 time 88.5895 not-muc 2527292 unknown 549 muc 1249
90.88/90.90	c iter 1251 time 88.6615 not-muc 2527292 unknown 548 muc 1250
90.88/90.90	c iter 1252 time 88.7335 not-muc 2527292 unknown 547 muc 1251
90.88/90.90	c iter 1253 time 88.8055 not-muc 2527292 unknown 546 muc 1252
90.88/90.90	c iter 1254 time 88.8775 not-muc 2527292 unknown 545 muc 1253
90.88/90.90	c iter 1255 time 88.9505 not-muc 2527292 unknown 544 muc 1254
90.88/90.90	c iter 1256 time 89.0225 not-muc 2527292 unknown 543 muc 1255
90.88/90.90	c iter 1257 time 89.0945 not-muc 2527292 unknown 542 muc 1256
90.88/90.90	c iter 1258 time 89.1654 not-muc 2527292 unknown 541 muc 1257
90.88/90.90	c iter 1259 time 89.2374 not-muc 2527292 unknown 540 muc 1258
90.88/90.90	c iter 1260 time 89.3094 not-muc 2527292 unknown 539 muc 1259
90.88/90.90	c iter 1261 time 89.3814 not-muc 2527292 unknown 538 muc 1260
90.88/90.90	c iter 1262 time 89.4534 not-muc 2527292 unknown 537 muc 1261
90.88/90.90	c iter 1263 time 89.5254 not-muc 2527292 unknown 536 muc 1262
90.88/90.90	c iter 1264 time 89.5974 not-muc 2527292 unknown 535 muc 1263
90.88/90.90	c iter 1265 time 89.6694 not-muc 2527292 unknown 534 muc 1264
90.88/90.90	c iter 1266 time 89.7424 not-muc 2527292 unknown 533 muc 1265
90.88/90.90	c iter 1267 time 89.8143 not-muc 2527292 unknown 532 muc 1266
90.88/90.90	c iter 1268 time 89.8863 not-muc 2527292 unknown 531 muc 1267
90.88/90.90	c iter 1269 time 89.9593 not-muc 2527292 unknown 530 muc 1268
90.88/90.90	c iter 1270 time 90.0313 not-muc 2527292 unknown 529 muc 1269
90.88/90.90	c iter 1271 time 90.1023 not-muc 2527292 unknown 528 muc 1270
90.88/90.90	c iter 1272 time 90.1743 not-muc 2527292 unknown 527 muc 1271
90.88/90.90	c iter 1273 time 90.2453 not-muc 2527292 unknown 526 muc 1272
90.88/90.90	c iter 1274 time 90.3173 not-muc 2527292 unknown 525 muc 1273
90.88/90.90	c iter 1275 time 90.3883 not-muc 2527292 unknown 524 muc 1274
90.88/90.90	c iter 1276 time 90.4602 not-muc 2527292 unknown 523 muc 1275
90.88/90.90	c iter 1277 time 90.5312 not-muc 2527292 unknown 522 muc 1276
90.88/90.90	c iter 1278 time 90.6042 not-muc 2527292 unknown 521 muc 1277
90.88/90.90	c iter 1279 time 90.6762 not-muc 2527292 unknown 520 muc 1278
90.88/90.90	c iter 1280 time 90.7482 not-muc 2527292 unknown 519 muc 1279
95.48/95.54	c iter 1281 time 90.8212 not-muc 2527292 unknown 518 muc 1280
95.48/95.54	c iter 1282 time 90.8932 not-muc 2527292 unknown 517 muc 1281
95.48/95.54	c iter 1283 time 90.9642 not-muc 2527292 unknown 516 muc 1282
95.48/95.54	c iter 1284 time 91.0362 not-muc 2527292 unknown 515 muc 1283
95.48/95.54	c iter 1285 time 91.1081 not-muc 2527292 unknown 514 muc 1284
95.48/95.54	c iter 1286 time 91.1811 not-muc 2527292 unknown 513 muc 1285
95.48/95.54	c iter 1287 time 91.2411 not-muc 2527292 unknown 512 muc 1286
95.48/95.54	c iter 1288 time 91.3011 not-muc 2527292 unknown 511 muc 1287
95.48/95.54	c iter 1289 time 91.3721 not-muc 2527292 unknown 510 muc 1288
95.48/95.54	c iter 1290 time 91.4331 not-muc 2527292 unknown 509 muc 1289
95.48/95.54	c iter 1291 time 91.4941 not-muc 2527292 unknown 508 muc 1290
95.48/95.54	c iter 1292 time 91.5541 not-muc 2527292 unknown 507 muc 1291
95.48/95.54	c iter 1293 time 91.6271 not-muc 2527292 unknown 506 muc 1292
95.48/95.54	c iter 1294 time 91.6871 not-muc 2527292 unknown 505 muc 1293
95.48/95.54	c iter 1295 time 91.7481 not-muc 2527292 unknown 504 muc 1294
95.48/95.54	c iter 1296 time 91.809 not-muc 2527292 unknown 503 muc 1295
95.48/95.54	c iter 1297 time 91.881 not-muc 2527292 unknown 502 muc 1296
95.48/95.54	c iter 1298 time 91.942 not-muc 2527292 unknown 501 muc 1297
95.48/95.54	c iter 1299 time 92.014 not-muc 2527292 unknown 500 muc 1298
95.48/95.54	c iter 1300 time 92.086 not-muc 2527292 unknown 499 muc 1299
95.48/95.54	c iter 1301 time 92.157 not-muc 2527292 unknown 498 muc 1300
95.48/95.54	c iter 1302 time 92.228 not-muc 2527292 unknown 497 muc 1301
95.48/95.54	c iter 1303 time 92.3 not-muc 2527292 unknown 496 muc 1302
95.48/95.54	c iter 1304 time 92.371 not-muc 2527292 unknown 495 muc 1303
95.48/95.54	c iter 1305 time 92.4419 not-muc 2527292 unknown 494 muc 1304
95.48/95.54	c iter 1306 time 92.5139 not-muc 2527292 unknown 493 muc 1305
95.48/95.54	c iter 1307 time 92.5849 not-muc 2527292 unknown 492 muc 1306
95.48/95.54	c iter 1308 time 92.6569 not-muc 2527292 unknown 491 muc 1307
95.48/95.54	c iter 1309 time 92.7279 not-muc 2527292 unknown 490 muc 1308
95.48/95.54	c iter 1310 time 92.7989 not-muc 2527292 unknown 489 muc 1309
95.48/95.54	c iter 1311 time 92.8709 not-muc 2527292 unknown 488 muc 1310
95.48/95.54	c iter 1312 time 92.9419 not-muc 2527292 unknown 487 muc 1311
95.48/95.54	c iter 1313 time 93.0139 not-muc 2527292 unknown 486 muc 1312
95.48/95.54	c iter 1314 time 93.0868 not-muc 2527292 unknown 485 muc 1313
95.48/95.54	c iter 1315 time 93.1588 not-muc 2527292 unknown 484 muc 1314
95.48/95.54	c iter 1316 time 93.2308 not-muc 2527292 unknown 483 muc 1315
95.48/95.54	c iter 1317 time 93.3028 not-muc 2527292 unknown 482 muc 1316
95.48/95.54	c iter 1318 time 93.3748 not-muc 2527292 unknown 481 muc 1317
95.48/95.54	c iter 1319 time 93.4468 not-muc 2527292 unknown 480 muc 1318
95.48/95.54	c iter 1320 time 93.5178 not-muc 2527292 unknown 479 muc 1319
95.48/95.54	c iter 1321 time 93.5898 not-muc 2527292 unknown 478 muc 1320
95.48/95.54	c iter 1322 time 93.6608 not-muc 2527292 unknown 477 muc 1321
95.48/95.54	c iter 1323 time 93.7327 not-muc 2527292 unknown 476 muc 1322
95.48/95.54	c iter 1324 time 93.8037 not-muc 2527292 unknown 475 muc 1323
95.48/95.54	c iter 1325 time 93.8757 not-muc 2527292 unknown 474 muc 1324
95.48/95.54	c iter 1326 time 93.9477 not-muc 2527292 unknown 473 muc 1325
95.48/95.54	c iter 1327 time 94.0197 not-muc 2527292 unknown 472 muc 1326
95.48/95.54	c iter 1328 time 94.0917 not-muc 2527292 unknown 471 muc 1327
95.48/95.54	c iter 1329 time 94.1637 not-muc 2527292 unknown 470 muc 1328
95.48/95.54	c iter 1330 time 94.2437 not-muc 2527292 unknown 469 muc 1329
95.48/95.54	c iter 1331 time 94.3147 not-muc 2527292 unknown 468 muc 1330
95.48/95.54	c iter 1332 time 94.3867 not-muc 2527292 unknown 467 muc 1331
95.48/95.54	c iter 1333 time 94.4576 not-muc 2527292 unknown 466 muc 1332
95.48/95.54	c iter 1334 time 94.5296 not-muc 2527292 unknown 465 muc 1333
95.48/95.54	c iter 1335 time 94.6016 not-muc 2527292 unknown 464 muc 1334
95.48/95.54	c iter 1336 time 94.6746 not-muc 2527292 unknown 463 muc 1335
95.48/95.54	c iter 1337 time 94.7456 not-muc 2527292 unknown 462 muc 1336
95.48/95.54	c iter 1338 time 94.8166 not-muc 2527292 unknown 461 muc 1337
95.48/95.54	c iter 1339 time 94.8886 not-muc 2527292 unknown 460 muc 1338
95.48/95.54	c iter 1340 time 94.9606 not-muc 2527292 unknown 459 muc 1339
95.48/95.54	c iter 1341 time 95.0316 not-muc 2527292 unknown 458 muc 1340
95.48/95.54	c iter 1342 time 95.1025 not-muc 2527292 unknown 457 muc 1341
95.48/95.54	c iter 1343 time 95.1755 not-muc 2527292 unknown 456 muc 1342
95.48/95.54	c iter 1344 time 95.2465 not-muc 2527292 unknown 455 muc 1343
95.48/95.54	c iter 1345 time 95.3185 not-muc 2527292 unknown 454 muc 1344
95.48/95.54	c iter 1346 time 95.3905 not-muc 2527292 unknown 453 muc 1345
99.58/99.63	c iter 1347 time 95.4625 not-muc 2527292 unknown 452 muc 1346
99.58/99.63	c iter 1348 time 95.5345 not-muc 2527292 unknown 451 muc 1347
99.58/99.63	c iter 1349 time 95.6065 not-muc 2527292 unknown 450 muc 1348
99.58/99.63	c iter 1350 time 95.6785 not-muc 2527292 unknown 449 muc 1349
99.58/99.63	c iter 1351 time 95.7494 not-muc 2527292 unknown 448 muc 1350
99.58/99.63	c iter 1352 time 95.8214 not-muc 2527292 unknown 447 muc 1351
99.58/99.63	c iter 1353 time 95.8924 not-muc 2527292 unknown 446 muc 1352
99.58/99.63	c iter 1354 time 95.9634 not-muc 2527292 unknown 445 muc 1353
99.58/99.63	c iter 1355 time 96.0234 not-muc 2527292 unknown 444 muc 1354
99.58/99.63	c iter 1356 time 96.0834 not-muc 2527292 unknown 443 muc 1355
99.58/99.63	c iter 1357 time 96.1434 not-muc 2527292 unknown 442 muc 1356
99.58/99.63	c iter 1358 time 96.2034 not-muc 2527292 unknown 441 muc 1357
99.58/99.63	c iter 1359 time 96.2644 not-muc 2527292 unknown 440 muc 1358
99.58/99.63	c iter 1360 time 96.3244 not-muc 2527292 unknown 439 muc 1359
99.58/99.63	c iter 1361 time 96.3843 not-muc 2527292 unknown 438 muc 1360
99.58/99.63	c iter 1362 time 96.4443 not-muc 2527292 unknown 437 muc 1361
99.58/99.63	c iter 1363 time 96.5043 not-muc 2527292 unknown 436 muc 1362
99.58/99.63	c iter 1364 time 96.5643 not-muc 2527292 unknown 435 muc 1363
99.58/99.63	c iter 1365 time 96.6253 not-muc 2527292 unknown 434 muc 1364
99.58/99.63	c iter 1366 time 96.6853 not-muc 2527292 unknown 433 muc 1365
99.58/99.63	c iter 1367 time 96.7463 not-muc 2527292 unknown 432 muc 1366
99.58/99.63	c iter 1368 time 96.8073 not-muc 2527292 unknown 431 muc 1367
99.58/99.63	c iter 1369 time 96.8683 not-muc 2527292 unknown 430 muc 1368
99.58/99.63	c iter 1370 time 96.9283 not-muc 2527292 unknown 429 muc 1369
99.58/99.63	c iter 1371 time 96.9893 not-muc 2527292 unknown 428 muc 1370
99.58/99.63	c iter 1372 time 97.0502 not-muc 2527292 unknown 427 muc 1371
99.58/99.63	c iter 1373 time 97.1112 not-muc 2527292 unknown 426 muc 1372
99.58/99.63	c iter 1374 time 97.1722 not-muc 2527292 unknown 425 muc 1373
99.58/99.63	c iter 1375 time 97.2332 not-muc 2527292 unknown 424 muc 1374
99.58/99.63	c iter 1376 time 97.2932 not-muc 2527292 unknown 423 muc 1375
99.58/99.63	c iter 1377 time 97.3542 not-muc 2527292 unknown 422 muc 1376
99.58/99.63	c iter 1378 time 97.4142 not-muc 2527292 unknown 421 muc 1377
99.58/99.63	c iter 1379 time 97.4742 not-muc 2527292 unknown 420 muc 1378
99.58/99.63	c iter 1380 time 97.5352 not-muc 2527292 unknown 419 muc 1379
99.58/99.63	c iter 1381 time 97.5952 not-muc 2527292 unknown 418 muc 1380
99.58/99.63	c iter 1382 time 97.6562 not-muc 2527292 unknown 417 muc 1381
99.58/99.63	c iter 1383 time 97.7171 not-muc 2527292 unknown 416 muc 1382
99.58/99.63	c iter 1384 time 97.7781 not-muc 2527292 unknown 415 muc 1383
99.58/99.63	c iter 1385 time 97.8391 not-muc 2527292 unknown 414 muc 1384
99.58/99.63	c iter 1386 time 97.9001 not-muc 2527292 unknown 413 muc 1385
99.58/99.63	c iter 1387 time 97.9601 not-muc 2527292 unknown 412 muc 1386
99.58/99.63	c iter 1388 time 98.0211 not-muc 2527292 unknown 411 muc 1387
99.58/99.63	c iter 1389 time 98.0821 not-muc 2527292 unknown 410 muc 1388
99.58/99.63	c iter 1390 time 98.1431 not-muc 2527292 unknown 409 muc 1389
99.58/99.63	c iter 1391 time 98.2041 not-muc 2527292 unknown 408 muc 1390
99.58/99.63	c iter 1392 time 98.2651 not-muc 2527292 unknown 407 muc 1391
99.58/99.63	c iter 1393 time 98.3261 not-muc 2527292 unknown 406 muc 1392
99.58/99.63	c iter 1394 time 98.387 not-muc 2527292 unknown 405 muc 1393
99.58/99.63	c iter 1395 time 98.448 not-muc 2527292 unknown 404 muc 1394
99.58/99.63	c iter 1396 time 98.509 not-muc 2527292 unknown 403 muc 1395
99.58/99.64	c iter 1397 time 98.571 not-muc 2527292 unknown 402 muc 1396
99.58/99.64	c iter 1398 time 98.632 not-muc 2527292 unknown 401 muc 1397
99.58/99.64	c iter 1399 time 98.693 not-muc 2527292 unknown 400 muc 1398
99.58/99.64	c iter 1400 time 98.755 not-muc 2527292 unknown 399 muc 1399
99.58/99.64	c iter 1401 time 98.815 not-muc 2527292 unknown 398 muc 1400
99.58/99.64	c iter 1402 time 98.876 not-muc 2527292 unknown 397 muc 1401
99.58/99.64	c iter 1403 time 98.936 not-muc 2527292 unknown 396 muc 1402
99.58/99.64	c iter 1404 time 98.9969 not-muc 2527292 unknown 395 muc 1403
99.58/99.64	c iter 1405 time 99.0569 not-muc 2527292 unknown 394 muc 1404
99.58/99.64	c iter 1406 time 99.1179 not-muc 2527292 unknown 393 muc 1405
99.58/99.64	c iter 1407 time 99.1789 not-muc 2527292 unknown 392 muc 1406
99.58/99.64	c iter 1408 time 99.2389 not-muc 2527292 unknown 391 muc 1407
99.58/99.64	c iter 1409 time 99.2999 not-muc 2527292 unknown 390 muc 1408
99.58/99.64	c iter 1410 time 99.3609 not-muc 2527292 unknown 389 muc 1409
99.58/99.64	c iter 1411 time 99.4219 not-muc 2527292 unknown 388 muc 1410
99.58/99.64	c iter 1412 time 99.4829 not-muc 2527292 unknown 387 muc 1411
104.28/104.36	c iter 1413 time 99.5539 not-muc 2527292 unknown 386 muc 1412
104.28/104.36	c iter 1414 time 99.6249 not-muc 2527292 unknown 385 muc 1413
104.28/104.36	c iter 1415 time 99.6968 not-muc 2527292 unknown 384 muc 1414
104.28/104.36	c iter 1416 time 99.7688 not-muc 2527292 unknown 383 muc 1415
104.28/104.36	c iter 1417 time 99.8408 not-muc 2527292 unknown 382 muc 1416
104.28/104.36	c iter 1418 time 99.9118 not-muc 2527292 unknown 381 muc 1417
104.28/104.36	c iter 1419 time 99.9838 not-muc 2527292 unknown 380 muc 1418
104.28/104.36	c iter 1420 time 100.056 not-muc 2527292 unknown 379 muc 1419
104.28/104.36	c iter 1421 time 100.128 not-muc 2527292 unknown 378 muc 1420
104.28/104.36	c iter 1422 time 100.2 not-muc 2527292 unknown 377 muc 1421
104.28/104.36	c iter 1423 time 100.272 not-muc 2527292 unknown 376 muc 1422
104.28/104.36	c iter 1424 time 100.343 not-muc 2527292 unknown 375 muc 1423
104.28/104.36	c iter 1425 time 100.415 not-muc 2527292 unknown 374 muc 1424
104.28/104.36	c iter 1426 time 100.495 not-muc 2527292 unknown 373 muc 1425
104.28/104.36	c iter 1427 time 100.567 not-muc 2527292 unknown 372 muc 1426
104.28/104.36	c iter 1428 time 100.638 not-muc 2527292 unknown 371 muc 1427
104.28/104.36	c iter 1429 time 100.71 not-muc 2527292 unknown 370 muc 1428
104.28/104.36	c iter 1430 time 100.782 not-muc 2527292 unknown 369 muc 1429
104.28/104.36	c iter 1431 time 100.854 not-muc 2527292 unknown 368 muc 1430
104.28/104.36	c iter 1432 time 100.925 not-muc 2527292 unknown 367 muc 1431
104.28/104.36	c iter 1433 time 100.997 not-muc 2527292 unknown 366 muc 1432
104.28/104.36	c iter 1434 time 101.069 not-muc 2527292 unknown 365 muc 1433
104.28/104.36	c iter 1435 time 101.141 not-muc 2527292 unknown 364 muc 1434
104.28/104.36	c iter 1436 time 101.212 not-muc 2527292 unknown 363 muc 1435
104.28/104.36	c iter 1437 time 101.284 not-muc 2527292 unknown 362 muc 1436
104.28/104.36	c iter 1438 time 101.355 not-muc 2527292 unknown 361 muc 1437
104.28/104.36	c iter 1439 time 101.426 not-muc 2527292 unknown 360 muc 1438
104.28/104.36	c iter 1440 time 101.497 not-muc 2527292 unknown 359 muc 1439
104.28/104.36	c iter 1441 time 101.569 not-muc 2527292 unknown 358 muc 1440
104.28/104.36	c iter 1442 time 101.64 not-muc 2527292 unknown 357 muc 1441
104.28/104.36	c iter 1443 time 101.711 not-muc 2527292 unknown 356 muc 1442
104.28/104.36	c iter 1444 time 101.782 not-muc 2527292 unknown 355 muc 1443
104.28/104.36	c iter 1445 time 101.853 not-muc 2527292 unknown 354 muc 1444
104.28/104.36	c iter 1446 time 101.924 not-muc 2527292 unknown 353 muc 1445
104.28/104.36	c iter 1447 time 101.995 not-muc 2527292 unknown 352 muc 1446
104.28/104.36	c iter 1448 time 102.066 not-muc 2527292 unknown 351 muc 1447
104.28/104.36	c iter 1449 time 102.138 not-muc 2527292 unknown 350 muc 1448
104.28/104.36	c iter 1450 time 102.21 not-muc 2527292 unknown 349 muc 1449
104.28/104.36	c iter 1451 time 102.282 not-muc 2527292 unknown 348 muc 1450
104.28/104.36	c iter 1452 time 102.353 not-muc 2527292 unknown 347 muc 1451
104.28/104.36	c iter 1453 time 102.425 not-muc 2527292 unknown 346 muc 1452
104.28/104.36	c iter 1454 time 102.497 not-muc 2527292 unknown 345 muc 1453
104.28/104.36	c iter 1455 time 102.569 not-muc 2527292 unknown 344 muc 1454
104.28/104.36	c iter 1456 time 102.64 not-muc 2527292 unknown 343 muc 1455
104.28/104.36	c iter 1457 time 102.712 not-muc 2527292 unknown 342 muc 1456
104.28/104.36	c iter 1458 time 102.784 not-muc 2527292 unknown 341 muc 1457
104.28/104.36	c iter 1459 time 102.855 not-muc 2527292 unknown 340 muc 1458
104.28/104.36	c iter 1460 time 102.927 not-muc 2527292 unknown 339 muc 1459
104.28/104.36	c iter 1461 time 102.999 not-muc 2527292 unknown 338 muc 1460
104.28/104.36	c iter 1462 time 103.071 not-muc 2527292 unknown 337 muc 1461
104.28/104.36	c iter 1463 time 103.142 not-muc 2527292 unknown 336 muc 1462
104.28/104.36	c iter 1464 time 103.213 not-muc 2527292 unknown 335 muc 1463
104.28/104.36	c iter 1465 time 103.284 not-muc 2527292 unknown 334 muc 1464
104.28/104.36	c iter 1466 time 103.355 not-muc 2527292 unknown 333 muc 1465
104.28/104.36	c iter 1467 time 103.427 not-muc 2527292 unknown 332 muc 1466
104.28/104.36	c iter 1468 time 103.498 not-muc 2527292 unknown 331 muc 1467
104.28/104.36	c iter 1469 time 103.569 not-muc 2527292 unknown 330 muc 1468
104.28/104.36	c iter 1470 time 103.639 not-muc 2527292 unknown 329 muc 1469
104.28/104.36	c iter 1471 time 103.711 not-muc 2527292 unknown 328 muc 1470
104.28/104.36	c iter 1472 time 103.782 not-muc 2527292 unknown 327 muc 1471
104.28/104.36	c iter 1473 time 103.853 not-muc 2527292 unknown 326 muc 1472
104.28/104.36	c iter 1474 time 103.924 not-muc 2527292 unknown 325 muc 1473
104.28/104.36	c iter 1475 time 103.995 not-muc 2527292 unknown 324 muc 1474
104.28/104.36	c iter 1476 time 104.066 not-muc 2527292 unknown 323 muc 1475
104.28/104.36	c iter 1477 time 104.138 not-muc 2527292 unknown 322 muc 1476
104.28/104.36	c iter 1478 time 104.209 not-muc 2527292 unknown 321 muc 1477
109.08/109.16	c iter 1479 time 104.281 not-muc 2527292 unknown 320 muc 1478
109.08/109.16	c iter 1480 time 104.352 not-muc 2527292 unknown 319 muc 1479
109.08/109.16	c iter 1481 time 104.424 not-muc 2527292 unknown 318 muc 1480
109.08/109.16	c iter 1482 time 104.496 not-muc 2527292 unknown 317 muc 1481
109.08/109.16	c iter 1483 time 104.568 not-muc 2527292 unknown 316 muc 1482
109.08/109.16	c iter 1484 time 104.639 not-muc 2527292 unknown 315 muc 1483
109.08/109.16	c iter 1485 time 104.711 not-muc 2527292 unknown 314 muc 1484
109.08/109.16	c iter 1486 time 104.79 not-muc 2527292 unknown 313 muc 1485
109.08/109.16	c iter 1487 time 104.861 not-muc 2527292 unknown 312 muc 1486
109.08/109.16	c iter 1488 time 104.932 not-muc 2527292 unknown 311 muc 1487
109.08/109.16	c iter 1489 time 105.004 not-muc 2527292 unknown 310 muc 1488
109.08/109.16	c iter 1490 time 105.075 not-muc 2527292 unknown 309 muc 1489
109.08/109.16	c iter 1491 time 105.147 not-muc 2527292 unknown 308 muc 1490
109.08/109.16	c iter 1492 time 105.218 not-muc 2527292 unknown 307 muc 1491
109.08/109.16	c iter 1493 time 105.29 not-muc 2527292 unknown 306 muc 1492
109.08/109.16	c iter 1494 time 105.362 not-muc 2527292 unknown 305 muc 1493
109.08/109.16	c iter 1495 time 105.433 not-muc 2527292 unknown 304 muc 1494
109.08/109.16	c iter 1496 time 105.505 not-muc 2527292 unknown 303 muc 1495
109.08/109.16	c iter 1497 time 105.576 not-muc 2527292 unknown 302 muc 1496
109.08/109.16	c iter 1498 time 105.648 not-muc 2527292 unknown 301 muc 1497
109.08/109.16	c iter 1499 time 105.72 not-muc 2527292 unknown 300 muc 1498
109.08/109.16	c iter 1500 time 105.791 not-muc 2527292 unknown 299 muc 1499
109.08/109.16	c iter 1501 time 105.862 not-muc 2527292 unknown 298 muc 1500
109.08/109.16	c iter 1502 time 105.933 not-muc 2527292 unknown 297 muc 1501
109.08/109.16	c iter 1503 time 106.004 not-muc 2527292 unknown 296 muc 1502
109.08/109.16	c iter 1504 time 106.076 not-muc 2527292 unknown 295 muc 1503
109.08/109.16	c iter 1505 time 106.147 not-muc 2527292 unknown 294 muc 1504
109.08/109.16	c iter 1506 time 106.218 not-muc 2527292 unknown 293 muc 1505
109.08/109.16	c iter 1507 time 106.289 not-muc 2527292 unknown 292 muc 1506
109.08/109.16	c iter 1508 time 106.36 not-muc 2527292 unknown 291 muc 1507
109.08/109.16	c iter 1509 time 106.431 not-muc 2527292 unknown 290 muc 1508
109.08/109.16	c iter 1510 time 106.502 not-muc 2527292 unknown 289 muc 1509
109.08/109.16	c iter 1511 time 106.573 not-muc 2527292 unknown 288 muc 1510
109.08/109.16	c iter 1512 time 106.644 not-muc 2527292 unknown 287 muc 1511
109.08/109.16	c iter 1513 time 106.715 not-muc 2527292 unknown 286 muc 1512
109.08/109.16	c iter 1514 time 106.787 not-muc 2527292 unknown 285 muc 1513
109.08/109.16	c iter 1515 time 106.859 not-muc 2527292 unknown 284 muc 1514
109.08/109.16	c iter 1516 time 106.93 not-muc 2527292 unknown 283 muc 1515
109.08/109.16	c iter 1517 time 107.001 not-muc 2527292 unknown 282 muc 1516
109.08/109.16	c iter 1518 time 107.073 not-muc 2527292 unknown 281 muc 1517
109.08/109.16	c iter 1519 time 107.145 not-muc 2527292 unknown 280 muc 1518
109.08/109.16	c iter 1520 time 107.216 not-muc 2527292 unknown 279 muc 1519
109.08/109.16	c iter 1521 time 107.288 not-muc 2527292 unknown 278 muc 1520
109.08/109.16	c iter 1522 time 107.359 not-muc 2527292 unknown 277 muc 1521
109.08/109.16	c iter 1523 time 107.43 not-muc 2527292 unknown 276 muc 1522
109.08/109.16	c iter 1524 time 107.502 not-muc 2527292 unknown 275 muc 1523
109.08/109.16	c iter 1525 time 107.574 not-muc 2527292 unknown 274 muc 1524
109.08/109.16	c iter 1526 time 107.645 not-muc 2527292 unknown 273 muc 1525
109.08/109.16	c iter 1527 time 107.717 not-muc 2527292 unknown 272 muc 1526
109.08/109.16	c iter 1528 time 107.788 not-muc 2527292 unknown 271 muc 1527
109.08/109.16	c iter 1529 time 107.859 not-muc 2527292 unknown 270 muc 1528
109.08/109.16	c iter 1530 time 107.93 not-muc 2527292 unknown 269 muc 1529
109.08/109.16	c iter 1531 time 108 not-muc 2527292 unknown 268 muc 1530
109.08/109.16	c iter 1532 time 108.071 not-muc 2527292 unknown 267 muc 1531
109.08/109.16	c iter 1533 time 108.142 not-muc 2527292 unknown 266 muc 1532
109.08/109.16	c iter 1534 time 108.213 not-muc 2527292 unknown 265 muc 1533
109.08/109.16	c iter 1535 time 108.284 not-muc 2527292 unknown 264 muc 1534
109.08/109.16	c iter 1536 time 108.355 not-muc 2527292 unknown 263 muc 1535
109.08/109.16	c iter 1537 time 108.426 not-muc 2527292 unknown 262 muc 1536
109.08/109.16	c iter 1538 time 108.497 not-muc 2527292 unknown 261 muc 1537
109.08/109.16	c iter 1539 time 108.567 not-muc 2527292 unknown 260 muc 1538
109.08/109.16	c iter 1540 time 108.639 not-muc 2527292 unknown 259 muc 1539
109.08/109.16	c iter 1541 time 108.71 not-muc 2527292 unknown 258 muc 1540
109.08/109.16	c iter 1542 time 108.781 not-muc 2527292 unknown 257 muc 1541
109.08/109.16	c iter 1543 time 108.853 not-muc 2527292 unknown 256 muc 1542
109.08/109.16	c iter 1544 time 108.932 not-muc 2527292 unknown 255 muc 1543
109.08/109.16	c iter 1545 time 109.004 not-muc 2527292 unknown 254 muc 1544
113.78/113.83	c iter 1546 time 109.075 not-muc 2527292 unknown 253 muc 1545
113.78/113.83	c iter 1547 time 109.147 not-muc 2527292 unknown 252 muc 1546
113.78/113.83	c iter 1548 time 109.218 not-muc 2527292 unknown 251 muc 1547
113.78/113.83	c iter 1549 time 109.289 not-muc 2527292 unknown 250 muc 1548
113.78/113.83	c iter 1550 time 109.361 not-muc 2527292 unknown 249 muc 1549
113.78/113.83	c iter 1551 time 109.432 not-muc 2527292 unknown 248 muc 1550
113.78/113.83	c iter 1552 time 109.504 not-muc 2527292 unknown 247 muc 1551
113.78/113.83	c iter 1553 time 109.576 not-muc 2527292 unknown 246 muc 1552
113.78/113.83	c iter 1554 time 109.646 not-muc 2527292 unknown 245 muc 1553
113.78/113.83	c iter 1555 time 109.717 not-muc 2527292 unknown 244 muc 1554
113.78/113.83	c iter 1556 time 109.788 not-muc 2527292 unknown 243 muc 1555
113.78/113.83	c iter 1557 time 109.859 not-muc 2527292 unknown 242 muc 1556
113.78/113.83	c iter 1558 time 109.93 not-muc 2527292 unknown 241 muc 1557
113.78/113.83	c iter 1559 time 110 not-muc 2527292 unknown 240 muc 1558
113.78/113.83	c iter 1560 time 110.071 not-muc 2527292 unknown 239 muc 1559
113.78/113.83	c iter 1561 time 110.142 not-muc 2527292 unknown 238 muc 1560
113.78/113.83	c iter 1562 time 110.213 not-muc 2527292 unknown 237 muc 1561
113.78/113.83	c iter 1563 time 110.284 not-muc 2527292 unknown 236 muc 1562
113.78/113.83	c iter 1564 time 110.355 not-muc 2527292 unknown 235 muc 1563
113.78/113.83	c iter 1565 time 110.427 not-muc 2527292 unknown 234 muc 1564
113.78/113.83	c iter 1566 time 110.498 not-muc 2527292 unknown 233 muc 1565
113.78/113.83	c iter 1567 time 110.569 not-muc 2527292 unknown 232 muc 1566
113.78/113.83	c iter 1568 time 110.64 not-muc 2527292 unknown 231 muc 1567
113.78/113.83	c iter 1569 time 110.712 not-muc 2527292 unknown 230 muc 1568
113.78/113.83	c iter 1570 time 110.783 not-muc 2527292 unknown 229 muc 1569
113.78/113.83	c iter 1571 time 110.856 not-muc 2527292 unknown 228 muc 1570
113.78/113.83	c iter 1572 time 110.927 not-muc 2527292 unknown 227 muc 1571
113.78/113.83	c iter 1573 time 110.998 not-muc 2527292 unknown 226 muc 1572
113.78/113.83	c iter 1574 time 111.069 not-muc 2527292 unknown 225 muc 1573
113.78/113.83	c iter 1575 time 111.141 not-muc 2527292 unknown 224 muc 1574
113.78/113.83	c iter 1576 time 111.212 not-muc 2527292 unknown 223 muc 1575
113.78/113.83	c iter 1577 time 111.283 not-muc 2527292 unknown 222 muc 1576
113.78/113.83	c iter 1578 time 111.354 not-muc 2527292 unknown 221 muc 1577
113.78/113.83	c iter 1579 time 111.425 not-muc 2527292 unknown 220 muc 1578
113.78/113.83	c iter 1580 time 111.497 not-muc 2527292 unknown 219 muc 1579
113.78/113.83	c iter 1581 time 111.568 not-muc 2527292 unknown 218 muc 1580
113.78/113.83	c iter 1582 time 111.639 not-muc 2527292 unknown 217 muc 1581
113.78/113.83	c iter 1583 time 111.711 not-muc 2527292 unknown 216 muc 1582
113.78/113.83	c iter 1584 time 111.782 not-muc 2527292 unknown 215 muc 1583
113.78/113.83	c iter 1585 time 111.853 not-muc 2527292 unknown 214 muc 1584
113.78/113.83	c iter 1586 time 111.925 not-muc 2527292 unknown 213 muc 1585
113.78/113.83	c iter 1587 time 111.996 not-muc 2527292 unknown 212 muc 1586
113.78/113.83	c iter 1588 time 112.067 not-muc 2527292 unknown 211 muc 1587
113.78/113.83	c iter 1589 time 112.139 not-muc 2527292 unknown 210 muc 1588
113.78/113.83	c iter 1590 time 112.21 not-muc 2527292 unknown 209 muc 1589
113.78/113.83	c iter 1591 time 112.28 not-muc 2527292 unknown 208 muc 1590
113.78/113.83	c iter 1592 time 112.351 not-muc 2527292 unknown 207 muc 1591
113.78/113.83	c iter 1593 time 112.422 not-muc 2527292 unknown 206 muc 1592
113.78/113.83	c iter 1594 time 112.492 not-muc 2527292 unknown 205 muc 1593
113.78/113.83	c iter 1595 time 112.563 not-muc 2527292 unknown 204 muc 1594
113.78/113.83	c iter 1596 time 112.634 not-muc 2527292 unknown 203 muc 1595
113.78/113.83	c iter 1597 time 112.704 not-muc 2527292 unknown 202 muc 1596
113.78/113.83	c iter 1598 time 112.783 not-muc 2527292 unknown 201 muc 1597
113.78/113.83	c iter 1599 time 112.854 not-muc 2527292 unknown 200 muc 1598
113.78/113.83	c iter 1600 time 112.925 not-muc 2527292 unknown 199 muc 1599
113.78/113.83	c iter 1601 time 112.996 not-muc 2527292 unknown 198 muc 1600
113.78/113.83	c iter 1602 time 113.068 not-muc 2527292 unknown 197 muc 1601
113.78/113.83	c iter 1603 time 113.139 not-muc 2527292 unknown 196 muc 1602
113.78/113.83	c iter 1604 time 113.21 not-muc 2527292 unknown 195 muc 1603
113.78/113.83	c iter 1605 time 113.27 not-muc 2527292 unknown 194 muc 1604
113.78/113.83	c iter 1606 time 113.33 not-muc 2527292 unknown 193 muc 1605
113.78/113.83	c iter 1607 time 113.401 not-muc 2527292 unknown 192 muc 1606
113.78/113.83	c iter 1608 time 113.473 not-muc 2527292 unknown 191 muc 1607
113.78/113.83	c iter 1609 time 113.533 not-muc 2527292 unknown 190 muc 1608
113.78/113.83	c iter 1610 time 113.604 not-muc 2527292 unknown 189 muc 1609
113.78/113.83	c iter 1611 time 113.675 not-muc 2527292 unknown 188 muc 1610
118.28/118.38	c iter 1612 time 113.746 not-muc 2527292 unknown 187 muc 1611
118.28/118.38	c iter 1613 time 113.818 not-muc 2527292 unknown 186 muc 1612
118.28/118.38	c iter 1614 time 113.889 not-muc 2527292 unknown 185 muc 1613
118.28/118.38	c iter 1615 time 113.96 not-muc 2527292 unknown 184 muc 1614
118.28/118.38	c iter 1616 time 114.03 not-muc 2527292 unknown 183 muc 1615
118.28/118.38	c iter 1617 time 114.101 not-muc 2527292 unknown 182 muc 1616
118.28/118.38	c iter 1618 time 114.172 not-muc 2527292 unknown 181 muc 1617
118.28/118.38	c iter 1619 time 114.242 not-muc 2527292 unknown 180 muc 1618
118.28/118.38	c iter 1620 time 114.313 not-muc 2527292 unknown 179 muc 1619
118.28/118.38	c iter 1621 time 114.383 not-muc 2527292 unknown 178 muc 1620
118.28/118.38	c iter 1622 time 114.454 not-muc 2527292 unknown 177 muc 1621
118.28/118.38	c iter 1623 time 114.525 not-muc 2527292 unknown 176 muc 1622
118.28/118.38	c iter 1624 time 114.595 not-muc 2527292 unknown 175 muc 1623
118.28/118.38	c iter 1625 time 114.666 not-muc 2527292 unknown 174 muc 1624
118.28/118.38	c iter 1626 time 114.737 not-muc 2527292 unknown 173 muc 1625
118.28/118.38	c iter 1627 time 114.808 not-muc 2527292 unknown 172 muc 1626
118.28/118.38	c iter 1628 time 114.879 not-muc 2527292 unknown 171 muc 1627
118.28/118.38	c iter 1629 time 114.95 not-muc 2527292 unknown 170 muc 1628
118.28/118.38	c iter 1630 time 115.021 not-muc 2527292 unknown 169 muc 1629
118.28/118.38	c iter 1631 time 115.093 not-muc 2527292 unknown 168 muc 1630
118.28/118.38	c iter 1632 time 115.171 not-muc 2527292 unknown 167 muc 1631
118.28/118.38	c iter 1633 time 115.242 not-muc 2527292 unknown 166 muc 1632
118.28/118.38	c iter 1634 time 115.313 not-muc 2527292 unknown 165 muc 1633
118.28/118.38	c iter 1635 time 115.384 not-muc 2527292 unknown 164 muc 1634
118.28/118.38	c iter 1636 time 115.444 not-muc 2527292 unknown 163 muc 1635
118.28/118.38	c iter 1637 time 115.503 not-muc 2527292 unknown 162 muc 1636
118.28/118.38	c iter 1638 time 115.575 not-muc 2527292 unknown 161 muc 1637
118.28/118.38	c iter 1639 time 115.635 not-muc 2527292 unknown 160 muc 1638
118.28/118.38	c iter 1640 time 115.706 not-muc 2527292 unknown 159 muc 1639
118.28/118.38	c iter 1641 time 115.777 not-muc 2527292 unknown 158 muc 1640
118.28/118.38	c iter 1642 time 115.848 not-muc 2527292 unknown 157 muc 1641
118.28/118.38	c iter 1643 time 115.919 not-muc 2527292 unknown 156 muc 1642
118.28/118.38	c iter 1644 time 115.989 not-muc 2527292 unknown 155 muc 1643
118.28/118.38	c iter 1645 time 116.06 not-muc 2527292 unknown 154 muc 1644
118.28/118.38	c iter 1646 time 116.13 not-muc 2527292 unknown 153 muc 1645
118.28/118.38	c iter 1647 time 116.201 not-muc 2527292 unknown 152 muc 1646
118.28/118.38	c iter 1648 time 116.271 not-muc 2527292 unknown 151 muc 1647
118.28/118.38	c iter 1649 time 116.342 not-muc 2527292 unknown 150 muc 1648
118.28/118.38	c iter 1650 time 116.413 not-muc 2527292 unknown 149 muc 1649
118.28/118.38	c iter 1651 time 116.483 not-muc 2527292 unknown 148 muc 1650
118.28/118.38	c iter 1652 time 116.554 not-muc 2527292 unknown 147 muc 1651
118.28/118.38	c iter 1653 time 116.624 not-muc 2527292 unknown 146 muc 1652
118.28/118.38	c iter 1654 time 116.695 not-muc 2527292 unknown 145 muc 1653
118.28/118.38	c iter 1655 time 116.765 not-muc 2527292 unknown 144 muc 1654
118.28/118.38	c iter 1656 time 116.825 not-muc 2527292 unknown 143 muc 1655
118.28/118.38	c iter 1657 time 116.885 not-muc 2527292 unknown 142 muc 1656
118.28/118.38	c iter 1658 time 116.956 not-muc 2527292 unknown 141 muc 1657
118.28/118.38	c iter 1659 time 117.015 not-muc 2527292 unknown 140 muc 1658
118.28/118.38	c iter 1660 time 117.075 not-muc 2527292 unknown 139 muc 1659
118.28/118.38	c iter 1661 time 117.135 not-muc 2527292 unknown 138 muc 1660
118.28/118.38	c iter 1662 time 117.206 not-muc 2527292 unknown 137 muc 1661
118.28/118.38	c iter 1663 time 117.266 not-muc 2527292 unknown 136 muc 1662
118.28/118.38	c iter 1664 time 117.325 not-muc 2527292 unknown 135 muc 1663
118.28/118.38	c iter 1665 time 117.385 not-muc 2527292 unknown 134 muc 1664
118.28/118.38	c iter 1666 time 117.456 not-muc 2527292 unknown 133 muc 1665
118.28/118.38	c iter 1667 time 117.516 not-muc 2527292 unknown 132 muc 1666
118.28/118.38	c iter 1668 time 117.594 not-muc 2527292 unknown 131 muc 1667
118.28/118.38	c iter 1669 time 117.665 not-muc 2527292 unknown 130 muc 1668
118.28/118.38	c iter 1670 time 117.736 not-muc 2527292 unknown 129 muc 1669
118.28/118.38	c iter 1671 time 117.807 not-muc 2527292 unknown 128 muc 1670
118.28/118.38	c iter 1672 time 117.878 not-muc 2527292 unknown 127 muc 1671
118.28/118.38	c iter 1673 time 117.948 not-muc 2527292 unknown 126 muc 1672
118.28/118.38	c iter 1674 time 118.018 not-muc 2527292 unknown 125 muc 1673
118.28/118.38	c iter 1675 time 118.089 not-muc 2527292 unknown 124 muc 1674
118.28/118.38	c iter 1676 time 118.16 not-muc 2527292 unknown 123 muc 1675
118.28/118.38	c iter 1677 time 118.231 not-muc 2527292 unknown 122 muc 1676
123.09/123.14	c iter 1678 time 118.302 not-muc 2527292 unknown 121 muc 1677
123.09/123.14	c iter 1679 time 118.373 not-muc 2527292 unknown 120 muc 1678
123.09/123.14	c iter 1680 time 118.444 not-muc 2527292 unknown 119 muc 1679
123.09/123.14	c iter 1681 time 118.515 not-muc 2527292 unknown 118 muc 1680
123.09/123.14	c iter 1682 time 118.586 not-muc 2527292 unknown 117 muc 1681
123.09/123.14	c iter 1683 time 118.657 not-muc 2527292 unknown 116 muc 1682
123.09/123.14	c iter 1684 time 118.728 not-muc 2527292 unknown 115 muc 1683
123.09/123.14	c iter 1685 time 118.799 not-muc 2527292 unknown 114 muc 1684
123.09/123.14	c iter 1686 time 118.869 not-muc 2527292 unknown 113 muc 1685
123.09/123.14	c iter 1687 time 118.94 not-muc 2527292 unknown 112 muc 1686
123.09/123.14	c iter 1688 time 119.011 not-muc 2527292 unknown 111 muc 1687
123.09/123.14	c iter 1689 time 119.081 not-muc 2527292 unknown 110 muc 1688
123.09/123.14	c iter 1690 time 119.151 not-muc 2527292 unknown 109 muc 1689
123.09/123.14	c iter 1691 time 119.222 not-muc 2527292 unknown 108 muc 1690
123.09/123.14	c iter 1692 time 119.292 not-muc 2527292 unknown 107 muc 1691
123.09/123.14	c iter 1693 time 119.363 not-muc 2527292 unknown 106 muc 1692
123.09/123.14	c iter 1694 time 119.433 not-muc 2527292 unknown 105 muc 1693
123.09/123.14	c iter 1695 time 119.511 not-muc 2527292 unknown 104 muc 1694
123.09/123.14	c iter 1696 time 119.582 not-muc 2527292 unknown 103 muc 1695
123.09/123.14	c iter 1697 time 119.652 not-muc 2527292 unknown 102 muc 1696
123.09/123.14	c iter 1698 time 119.723 not-muc 2527292 unknown 101 muc 1697
123.09/123.14	c iter 1699 time 119.794 not-muc 2527292 unknown 100 muc 1698
123.09/123.14	c iter 1700 time 119.865 not-muc 2527292 unknown 99 muc 1699
123.09/123.14	c iter 1701 time 119.936 not-muc 2527292 unknown 98 muc 1700
123.09/123.14	c iter 1702 time 120.007 not-muc 2527292 unknown 97 muc 1701
123.09/123.14	c iter 1703 time 120.078 not-muc 2527292 unknown 96 muc 1702
123.09/123.14	c iter 1704 time 120.149 not-muc 2527292 unknown 95 muc 1703
123.09/123.14	c iter 1705 time 120.22 not-muc 2527292 unknown 94 muc 1704
123.09/123.14	c iter 1706 time 120.291 not-muc 2527292 unknown 93 muc 1705
123.09/123.14	c iter 1707 time 120.362 not-muc 2527292 unknown 92 muc 1706
123.09/123.14	c iter 1708 time 120.433 not-muc 2527292 unknown 91 muc 1707
123.09/123.14	c iter 1709 time 120.504 not-muc 2527292 unknown 90 muc 1708
123.09/123.14	c iter 1710 time 120.575 not-muc 2527292 unknown 89 muc 1709
123.09/123.14	c iter 1711 time 120.646 not-muc 2527292 unknown 88 muc 1710
123.09/123.14	c iter 1712 time 120.716 not-muc 2527292 unknown 87 muc 1711
123.09/123.14	c iter 1713 time 120.787 not-muc 2527292 unknown 86 muc 1712
123.09/123.14	c iter 1714 time 120.858 not-muc 2527292 unknown 85 muc 1713
123.09/123.14	c iter 1715 time 120.928 not-muc 2527292 unknown 84 muc 1714
123.09/123.14	c iter 1716 time 120.999 not-muc 2527292 unknown 83 muc 1715
123.09/123.14	c iter 1717 time 121.077 not-muc 2527292 unknown 82 muc 1716
123.09/123.14	c iter 1718 time 121.147 not-muc 2527292 unknown 81 muc 1717
123.09/123.14	c iter 1719 time 121.217 not-muc 2527292 unknown 80 muc 1718
123.09/123.14	c iter 1720 time 121.288 not-muc 2527292 unknown 79 muc 1719
123.09/123.14	c iter 1721 time 121.358 not-muc 2527292 unknown 78 muc 1720
123.09/123.14	c iter 1722 time 121.428 not-muc 2527292 unknown 77 muc 1721
123.09/123.14	c iter 1723 time 121.499 not-muc 2527292 unknown 76 muc 1722
123.09/123.14	c iter 1724 time 121.569 not-muc 2527292 unknown 75 muc 1723
123.09/123.14	c iter 1725 time 121.64 not-muc 2527292 unknown 74 muc 1724
123.09/123.14	c iter 1726 time 121.71 not-muc 2527292 unknown 73 muc 1725
123.09/123.14	c iter 1727 time 121.781 not-muc 2527292 unknown 72 muc 1726
123.09/123.14	c iter 1728 time 121.852 not-muc 2527292 unknown 71 muc 1727
123.09/123.14	c iter 1729 time 121.923 not-muc 2527292 unknown 70 muc 1728
123.09/123.14	c iter 1730 time 121.994 not-muc 2527292 unknown 69 muc 1729
123.09/123.14	c iter 1731 time 122.064 not-muc 2527292 unknown 68 muc 1730
123.09/123.14	c iter 1732 time 122.143 not-muc 2527292 unknown 67 muc 1731
123.09/123.14	c iter 1733 time 122.214 not-muc 2527292 unknown 66 muc 1732
123.09/123.14	c iter 1734 time 122.285 not-muc 2527292 unknown 65 muc 1733
123.09/123.14	c iter 1735 time 122.355 not-muc 2527292 unknown 64 muc 1734
123.09/123.14	c iter 1736 time 122.426 not-muc 2527292 unknown 63 muc 1735
123.09/123.14	c iter 1737 time 122.497 not-muc 2527292 unknown 62 muc 1736
123.09/123.14	c iter 1738 time 122.568 not-muc 2527292 unknown 61 muc 1737
123.09/123.14	c iter 1739 time 122.639 not-muc 2527292 unknown 60 muc 1738
123.09/123.14	c iter 1740 time 122.709 not-muc 2527292 unknown 59 muc 1739
123.09/123.14	c iter 1741 time 122.779 not-muc 2527292 unknown 58 muc 1740
123.09/123.14	c iter 1742 time 122.849 not-muc 2527292 unknown 57 muc 1741
123.09/123.14	c iter 1743 time 122.919 not-muc 2527292 unknown 56 muc 1742
123.09/123.14	c iter 1744 time 122.989 not-muc 2527292 unknown 55 muc 1743
126.98/127.04	c iter 1745 time 123.059 not-muc 2527292 unknown 54 muc 1744
126.98/127.04	c iter 1746 time 123.13 not-muc 2527292 unknown 53 muc 1745
126.98/127.04	c iter 1747 time 123.208 not-muc 2527292 unknown 52 muc 1746
126.98/127.04	c iter 1748 time 123.278 not-muc 2527292 unknown 51 muc 1747
126.98/127.04	c iter 1749 time 123.348 not-muc 2527292 unknown 50 muc 1748
126.98/127.04	c iter 1750 time 123.418 not-muc 2527292 unknown 49 muc 1749
126.98/127.04	c iter 1751 time 123.488 not-muc 2527292 unknown 48 muc 1750
126.98/127.04	c iter 1752 time 123.559 not-muc 2527292 unknown 47 muc 1751
126.98/127.04	c iter 1753 time 123.63 not-muc 2527292 unknown 46 muc 1752
126.98/127.04	c iter 1754 time 123.701 not-muc 2527292 unknown 45 muc 1753
126.98/127.04	c iter 1755 time 123.771 not-muc 2527292 unknown 44 muc 1754
126.98/127.04	c iter 1756 time 123.842 not-muc 2527292 unknown 43 muc 1755
126.98/127.04	c iter 1757 time 123.913 not-muc 2527292 unknown 42 muc 1756
126.98/127.04	c iter 1758 time 123.983 not-muc 2527292 unknown 41 muc 1757
126.98/127.04	c iter 1759 time 124.054 not-muc 2527292 unknown 40 muc 1758
126.98/127.04	c iter 1760 time 124.125 not-muc 2527292 unknown 39 muc 1759
126.98/127.04	c iter 1761 time 124.203 not-muc 2527292 unknown 38 muc 1760
126.98/127.04	c iter 1762 time 124.273 not-muc 2527292 unknown 37 muc 1761
126.98/127.04	c iter 1763 time 124.344 not-muc 2527292 unknown 36 muc 1762
126.98/127.04	c iter 1764 time 124.415 not-muc 2527292 unknown 35 muc 1763
126.98/127.04	c iter 1765 time 124.486 not-muc 2527292 unknown 34 muc 1764
126.98/127.04	c iter 1766 time 124.558 not-muc 2527292 unknown 33 muc 1765
126.98/127.04	c iter 1767 time 124.628 not-muc 2527292 unknown 32 muc 1766
126.98/127.04	c iter 1768 time 124.698 not-muc 2527292 unknown 31 muc 1767
126.98/127.04	c iter 1769 time 124.768 not-muc 2527292 unknown 30 muc 1768
126.98/127.04	c iter 1770 time 124.838 not-muc 2527292 unknown 29 muc 1769
126.98/127.04	c iter 1771 time 124.897 not-muc 2527292 unknown 28 muc 1770
126.98/127.04	c iter 1772 time 124.956 not-muc 2527292 unknown 27 muc 1771
126.98/127.04	c iter 1773 time 125.034 not-muc 2527292 unknown 26 muc 1772
126.98/127.04	c iter 1774 time 125.104 not-muc 2527292 unknown 25 muc 1773
126.98/127.04	c iter 1775 time 125.174 not-muc 2527292 unknown 24 muc 1774
126.98/127.04	c iter 1776 time 125.244 not-muc 2527292 unknown 23 muc 1775
126.98/127.04	c iter 1777 time 125.314 not-muc 2527292 unknown 22 muc 1776
126.98/127.04	c iter 1778 time 125.385 not-muc 2527292 unknown 21 muc 1777
126.98/127.04	c iter 1779 time 125.456 not-muc 2527292 unknown 20 muc 1778
126.98/127.04	c iter 1780 time 125.534 not-muc 2527292 unknown 19 muc 1779
126.98/127.04	c iter 1781 time 125.605 not-muc 2527292 unknown 18 muc 1780
126.98/127.04	c iter 1782 time 125.675 not-muc 2527292 unknown 17 muc 1781
126.98/127.04	c iter 1783 time 125.746 not-muc 2527292 unknown 16 muc 1782
126.98/127.04	c iter 1784 time 125.816 not-muc 2527292 unknown 15 muc 1783
126.98/127.04	c iter 1785 time 125.887 not-muc 2527292 unknown 14 muc 1784
126.98/127.04	c iter 1786 time 125.957 not-muc 2527292 unknown 13 muc 1785
126.98/127.04	c iter 1787 time 126.035 not-muc 2527292 unknown 12 muc 1786
126.98/127.04	c iter 1788 time 126.106 not-muc 2527292 unknown 11 muc 1787
126.98/127.04	c iter 1789 time 126.176 not-muc 2527292 unknown 10 muc 1788
126.98/127.04	c iter 1790 time 126.246 not-muc 2527292 unknown 9 muc 1789
126.98/127.04	c iter 1791 time 126.317 not-muc 2527292 unknown 8 muc 1790
126.98/127.04	c iter 1792 time 126.387 not-muc 2527292 unknown 7 muc 1791
126.98/127.04	c iter 1793 time 126.457 not-muc 2527292 unknown 6 muc 1792
126.98/127.04	c iter 1794 time 126.536 not-muc 2527292 unknown 5 muc 1793
126.98/127.04	c iter 1795 time 126.606 not-muc 2527292 unknown 4 muc 1794
126.98/127.04	c iter 1796 time 126.676 not-muc 2527292 unknown 3 muc 1795
126.98/127.04	c iter 1797 time 126.746 not-muc 2527292 unknown 2 muc 1796
126.98/127.04	c iter 1798 time 126.817 not-muc 2527292 unknown 1 muc 1797
126.98/127.04	c final iter 1799 time 126.887 not-muc 2527292 unknown 0 muc 1798
126.98/127.04	v 920131 920136 920137 920141 920179 920183 920365 920370 920371 920376 920387 920390 920393 920396 922493 923567 923569 923572 923575 923578 923595 923600 923611 923615 923618 923621 923623 923628 923630 923634 926260 1049029 1049033 1049036 1049039 1049041 1049045 1049048 1049051 1049053 1049057 1049060 1049063 1148197 1148201 1148204 1148207 1175806 1175811 1175812 1175816 1175917 1175921 1177750 1177755 1177756 1177761 1177772 1177775 1178849 1178851 1178854 1178857 1178860 1178864 1178867 1178870 1178877 1178882 1178893 1178897 1178901 1178904 1178905 1178909 1178915 1178918 1240315 1240320 1240321 1240325 1240363 1240367 1240384 1240389 1240390 1240395 1240406 1240409 1240412 1240415 1249630 1249635 1249636 1249640 1249678 1249682 1249699 1249704 1249705 1249710 1249721 1249724 1249727 1249730 1249879 1249884 1249885 1249889 1249927 1249931 1249942 1249947 1249948 1249953 1249964 1249967 1249970 1249973 1291018 1291023 1291024 1291028 1291066 1291070 1291081 1291086 1291087 1291091 1291094 1291097 1291100 1291103 1302139 1302144 1302146 1302150 1302151 1302156 1302158 1302162 1302163 1302168 1302170 1302174 1382401 1382404 1382950 1382953 1382956 1382959 1382962 1382965 1382968 1383037 1383040 1383043 1383046 1383049 1383052 1383055 1401307 1401312 1401314 1401318 1428916 1428921 1428922 1428926 1429027 1429031 1430860 1430865 1430866 1430871 1430882 1430885 1431959 1431961 1431964 1431967 1431970 1431974 1431977 1431980 1431987 1431992 1432003 1432007 1432010 1432013 1432015 1432020 1432021 1432025 1432029 1493425 1493430 1493431 1493435 1493473 1493477 1493494 1493499 1493500 1493505 1493516 1493519 1493522 1493525 1502740 1502745 1502746 1502750 1502788 1502792 1502809 1502814 1502815 1502820 1502831 1502834 1502837 1502840 1502989 1502994 1502995 1502999 1503037 1503041 1503052 1503057 1503058 1503063 1503074 1503077 1503080 1503083 1544128 1544133 1544134 1544138 1544176 1544180 1544191 1544196 1544197 1544201 1544204 1544207 1544210 1544213 1555249 1555253 1555256 1555259 1555261 1555265 1555268 1555271 1555273 1555277 1555280 1555283 1585948 1585952 1585955 1585958 1585967 1585984 1585988 1585991 1585994 1586003 1586020 1586024 1586027 1586030 1586039 1586104 1586108 1586111 1586114 1586123 1591339 1591343 1591346 1591349 1591358 1591375 1591379 1591382 1591385 1591394 1591411 1591415 1591418 1591421 1591430 1591447 1591451 1591454 1591457 1591466 1591483 1591487 1591490 1591493 1591502 1591519 1591523 1591526 1591529 1591538 1591555 1591559 1591562 1591565 1591574 1630207 1630211 1630217 1630238 1630241 1630297 1630301 1630307 1630328 1630331 1630387 1630391 1630397 1630418 1630421 1630477 1630481 1630487 1630508 1630511 1630567 1630571 1630577 1630598 1630601 1630657 1630661 1630667 1630688 1630691 1630771 1630775 1630781 1630802 1630805 1643053 1643058 1643059 1643063 1643164 1643168 1644997 1645002 1645003 1645008 1645019 1645022 1645982 1645984 1645987 1645990 1645993 1645997 1646000 1646003 1646010 1646015 1646026 1646030 1646034 1646037 1657516 1657520 1657523 1657526 1685125 1685129 1685135 1685138 1688380 1692719 1692721 1693017 1693019 1693022 1693205 1693712 1693774 1693776 1694072 1694074 1694077 1694260 1694767 1694829 1694831 1695127 1695129 1695132 1695315 1695822 1695884 1695886 1696182 1696184 1696187 1696370 1696877 1696939 1696941 1697237 1697239 1697242 1697425 1697932 1697994 1697996 1698292 1698294 1698297 1698480 1698987 1699049 1699051 1699347 1699349 1699352 1699535 1700042 1700104 1700106 1700462 1700464 1700760 1700762 1701058 1701060 1746517 1746522 1746523 1746527 1746565 1746569 1746586 1746591 1746592 1746597 1746608 1746611 1746614 1746617 1755832 1755837 1755838 1755842 1755880 1755884 1755901 1755906 1755907 1755912 1755923 1755926 1755929 1755932 1756081 1756086 1756087 1756091 1756129 1756133 1756144 1756149 1756150 1756155 1756166 1756169 1756172 1756175 1797220 1797225 1797226 1797230 1797268 1797272 1797283 1797288 1797289 1797293 1797296 1797299 1797302 1797305 1808341 1808346 1808348 1808352 1808353 1808358 1808360 1808364 1808365 1808370 1808372 1808376 1839040 1839044 1839047 1839051 1839053 1839056 1839059 1839076 1839080 1839083 1839087 1839089 1839092 1839095 1839112 1839116 1839119 1839123 1839125 1839128 1839131 1839196 1839200 1839203 1839207 1839209 1839212 1839215 1844431 1844435 1844438 1844442 1844444 1844447 1844450 1844467 1844471 1844474 1844478 1844480 1844483 1844486 1844503 1844507 1844510 1844514 1844516 1844519 1844522 1844539 1844543 1844546 1844550 1844552 1844555 1844558 1844575 1844579 1844582 1844586 1844588 1844591 1844594 1844611 1844615 1844618 1844622 1844624 1844627 1844630 1844647 1844651 1844654 1844658 1844660 1844663 1844666 1879021 1879025 1879028 1879031 1883140 1883144 1883151 1883152 1883155 1883159 1883162 1883165 1883168 1883230 1883234 1883241 1883242 1883245 1883249 1883253 1883255 1883258 1883320 1883324 1883331 1883332 1883335 1883339 1883343 1883345 1883348 1883410 1883414 1883421 1883422 1883425 1883429 1883433 1883435 1883438 1883500 1883504 1883511 1883512 1883515 1883519 1883523 1883525 1883528 1883590 1883594 1883601 1883602 1883605 1883609 1883613 1883615 1883618 1883680 1883684 1883691 1883692 1883695 1883699 1883703 1883705 1883708 1888420 1888423 1888969 1888972 1888975 1888978 1888981 1888984 1888987 1889056 1889059 1889062 1889065 1889068 1889071 1889074 1895860 1895864 1895867 1895870 1895962 1895967 1895968 1895972 1896073 1896077 1897906 1897911 1897912 1897917 1897928 1897931 1898891 1898893 1898896 1898899 1898902 1898906 1898909 1898912 1898919 1898924 1898935 1898939 1898942 1898945 1910425 1910430 1910432 1910436 1911944 1911948 1913048 1913052 1915784 1915787 1916684 1916687 1916691 1918352 1918557 1918560 1919531 1919534 1919538 1920587 1920790 1920795 1920797 1920799 1920803 1920806 1920809 1920812 1920816 1920818 1920820 1920824 1920827 1920830 1920833 1921790 1921793 1921797 1923254 1923457 1923462 1923464 1923466 1923470 1923473 1923476 1923479 1923483 1923485 1923487 1923491 1923494 1923497 1923500 1924457 1924460 1924464 1925717 1925920 1925925 1925927 1925929 1925933 1925936 1925939 1925942 1925946 1925948 1925950 1925954 1925957 1925960 1925963 1926716 1926719 1926723 1927772 1927975 1927980 1927982 1927984 1927988 1927991 1927994 1927997 1928001 1928003 1928005 1928009 1928012 1928015 1928018 1928771 1928774 1928778 1929215 1929418 1929423 1929425 1929427 1929431 1929434 1929437 1929440 1929444 1929446 1929448 1929452 1929455 1929458 1929461 1929755 1929958 1929963 1929965 1929976 1929980 1929983 1929990 1929996 1930002 1930008 1930014 1930017 1930020 1930022 1930024 1930028 1930031 1930034 1930524 1930527 1930528 1930531 1930534 1930537 1930540 1930543 1930550 1930679 1930802 1930928 1931054 1931177 1931299 1931303 1931306 1931315 1931349 1931351 1931358 1931360 1931394 1931396 1931430 1931432 1931466 1931469 1931471 1931501 1931915 1931918 1931922 1932206 1932209 1932213 1938034 1938039 1938040 1938044 1938048 1938346 1938351 1984270 1984275 1984276 1984280 1984318 1984322 1984504 1984509 1984510 1984515 1984526 1984529 1984532 1984535 1989142 1989147 1989148 1989152 1989190 1989194 1989376 1989381 1989382 1989387 1989398 1989401 1989404 1989407 1998622 1998627 1998628 1998632 1998670 1998674 1998856 1998861 1998862 1998867 1998878 1998881 1998884 1998887 1999036 1999041 1999042 1999046 1999084 1999088 1999099 1999104 1999105 1999110 1999121 1999124 1999127 1999130 2038087 2038092 2038093 2038097 2038141 2038145 2038426 2038431 2038432 2038436 2038439 2038442 2038502 2038504 2038507 2038510 2038513 2038517 2038520 2038523 2043234 2043239 2043250 2043254 2043258 2043261 2051467 2051471 2051474 2051477 2051479 2051484 2051486 2051490 2051491 2051495 2051498 2051501 2051503 2051508 2051510 2051514 2051515 2051519 2051522 2051525 2051527 2051532 2051534 2051538 2051539 2051543 2051546 2051549 2051551 2051556 2051558 2051562 2059468 2059472 2059475 2059484 2060908 2060912 2060915 2060924 2062351 2062355 2062358 2062367 2063794 2063798 2063801 2063810 2065237 2065241 2065244 2065253 2067046 2067050 2067053 2067062 2067481 2067485 2067488 2067497 2067505 2067509 2067512 2067521 2067940 2067944 2067947 2067956 2068375 2068379 2068382 2068391 2068810 2068814 2068817 2068826 2069245 2069249 2069252 2069261 2069677 2069681 2069684 2069693 2088883 2088887 2088890 2088893 2088902 2088919 2088923 2088926 2088930 2088932 2088935 2088938 2088955 2088959 2088962 2088965 2088974 2088991 2088995 2088998 2089002 2089004 2089007 2089010 2089027 2089031 2089034 2089037 2089046 2089063 2089067 2089070 2089074 2089076 2089079 2089082 2089195 2089199 2089202 2089205 2089214 2089231 2089235 2089238 2089242 2089244 2089247 2089250 2099662 2099666 2099669 2099672 2099681 2099698 2099702 2099705 2099709 2099711 2099714 2099717 2099734 2099738 2099741 2099744 2099753 2099770 2099774 2099777 2099781 2099783 2099786 2099789 2099806 2099810 2099813 2099816 2099825 2099842 2099846 2099849 2099853 2099855 2099858 2099861 2099878 2099882 2099885 2099888 2099897 2099914 2099918 2099921 2099925 2099927 2099930 2099933 2099950 2099954 2099957 2099960 2099969 2099986 2099990 2099993 2099997 2099999 2100002 2100005 2100022 2100026 2100029 2100032 2100041 2100058 2100062 2100065 2100069 2100071 2100074 2100077 2100094 2100098 2100101 2100104 2100113 2100130 2100134 2100137 2100141 2100143 2100146 2100149 2160319 2160323 2160327 2160329 2160348 2163103 2163107 2163113 2163134 2163137 2163139 2163143 2163149 2163170 2163174 2163283 2163287 2163293 2163314 2163317 2163319 2163323 2163329 2163350 2163354 2163463 2163467 2163473 2163494 2163497 2163499 2163503 2163509 2163530 2163534 2163643 2163647 2163653 2163674 2163677 2163679 2163683 2163689 2163710 2163714 2163823 2163827 2163833 2163854 2163857 2163859 2163863 2163869 2163890 2163894 2164003 2164007 2164013 2164034 2164037 2164039 2164043 2164049 2164070 2164074 2164183 2164187 2164193 2164214 2164217 2164219 2164223 2164229 2164250 2164254 2179429 2179432 2179978 2179981 2179984 2179987 2179990 2179993 2179996 2180065 2180068 2180071 2180074 2180077 2180080 2180083 2186359 2186363 2186367 2186370 2212870 2212874 2212878 2212881 2212887 2213023 2213027 2213031 2213034 2213040 2213341 2213345 2213349 2213352 2213358 2213359 2213363 2213367 2213370 2213376 2213539 2213543 2213547 2213550 2213556 2213557 2213561 2213565 2213568 2213574 2213737 2213741 2213745 2213748 2213754 2213917 2213921 2213925 2213928 2213934 2220598 2220602 2220606 2220609 2220615 2220616 2220620 2220624 2220627 2220633 2220634 2220638 2220642 2220645 2220651 2221759 2221763 2221767 2221770 2221776 2221969 2221973 2221977 2221980 2221986 2231782 2231786 2231789 2231792 2231794 2231799 2231801 2231805 2234825 2234829 2237033 2237037 2242505 2242508 2244308 2244312 2244315 2247920 2250002 2250006 2250009 2252414 2254520 2254524 2254527 2257748 2259854 2259858 2259861 2262674 2264372 2264376 2264379 2266784 2268482 2268486 2268489 2269670 2272319 2274770 2274774 2274777 2275361 2275365 2275368 2276137 2276142 2276144 2286643 2289886 2294225 2294227 2294523 2294525 2294528 2294711 2295218 2295280 2295282 2295578 2295580 2295583 2295766 2296273 2296335 2296337 2296633 2296635 2296638 2296821 2297328 2297390 2297392 2297688 2297690 2297693 2297876 2298383 2298445 2298447 2298743 2298745 2298748 2298931 2299438 2299500 2299502 2299798 2299800 2299803 2299986 2300493 2300555 2300557 2300853 2300855 2300858 2301041 2301548 2301610 2301612 2301968 2301970 2302266 2302268 2302564 2302566 2303805 2303810 2320665 2320670 2320671 2320676 2321162 2321555 2321603 2321605 2321617 2321629 2321641 2321653 2321665 2321677 2321689 2321701 2321713 2321725 2321737 2321749 2321761 2321773 2321785 2321797 2321809 2321821 2321833 2321845 2321857 2321869 2321881 2321893 2321894 2321895 2321900 2321903 2321905 2321906 2321907 2321912 2321915 2321917 2321918 2321919 2321924 2321927 2321929 2321930 2321931 2321936 2321939 2321941 2321942 2321943 2321948 2321951 2321953 2321954 2321955 2321960 2321963 2321965 2321966 2321967 2321972 2321975 2321977 2321978 2321979 2321984 2321987 2321989 2321990 2321991 2321996 2321999 2322001 2322002 2322003 2322008 2322011 2322013 2322014 2322015 2322020 2322023 2322026 2322027 2322032 2322035 2323558 2323610 2328103 2328105 2328108 2328291 2328798 2329158 2329160 2329163 2329346 2329853 2330213 2330215 2330218 2330401 2330908 2331268 2331270 2331273 2331456 2331963 2332323 2332325 2332328 2332511 2333018 2333378 2333380 2333383 2333566 2334073 2334433 2334435 2334438 2334621 2335128 2427615 2427622 2427628 2430774 2430781 2430787 2436864 2436871 2436877 2437032 2437039 2437045 2437567 2449017 2449021 2449023 2449025 2449027 2449029 2449031 2449033 2449038 2449040 2449042 2449044 2449046 2449048 2449052 2456593 2456767 2457021 2457025 2457029 2457419 2457421 2457423 2457425 2457427 2457440 2457444 2457448 2458425 2458427 2458464 2458466 2458503 2458505 2458522 2458524 2458541 2458543 2458598 2458600 2458655 2458657 2458712 2458714 2458731 2458733 2458788 2458790 2458807 2458809 2458902 2458904 2458959 2458961 2474470 2474472 2474474 2474476 2474478 2474530 2474532 2474534 2474536 2474538 2476710 2476712 2476714 2476716 2476718 2477870 2477872 2477874 2477876 2477878 2477880 2477882 2480201 2480203 2480205 2489474 2489476 2489478 2489480 2489482 2493360 2493362 2493364 2493366 2493368 2493446 2493448 2493450 2493452 2493454 2493532 2493534 2493536 2493538 2493540 2493618 2493620 2493622 2493624 2493626 2493704 2493706 2493708 2493710 2493712 2493790 2493792 2493794 2493796 2493798 2494499 2494501 2512149 2513032 2513053 2513074 2513095 2513116 2513137 2513158 2513179 2513200 2513221 2513242 2513263 2521895 2521897 2521899 2521901 2521903 2521916 2521918 2521920 2521922 2521924 2521937 2521939 2521941 2521943 2521945 2521958 2521960 2521962 2521964 2521966 2521979 2521981 2521983 2521985 2521987 2522000 2522002 2522004 2522006 2522008 2522021 2522023 2522025 2522027 2522029 2522460 2522462 2522464 2522466 2522468 2522503 2522505 2522507 2522509 2522511 2522524 2522526 2522528 2522530 2522532 2522545 2522547 2522549 2522551 2522553 2528887 2528889 2528891 2528893 2528895 2528897 2528899 2528907 2528909 2528911 2528913 2528915 2528917 2528919 2528927 2528929 2528931 2528933 2528935 2528937 2528939 2528947 2528949 2528951 2528953 2528955 2528957 2528959 2528961 2528962 0
126.98/127.04	s UNSATISFIABLE

Verifier Data 

OK	1798

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 3.92 3.97 3.55 5/189 22271
/proc/meminfo: memFree=19788908/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=19976 CPUtime=0 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 570 0 0 0 0 0 0 0 24 0 1 0 970700529 20455424 507 33554432000 4194304 4337479 140734075512400 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 4994 508 223 35 0 1617 0

[startup+0.025554 s]
/proc/loadavg: 3.92 3.97 3.55 5/189 22271
/proc/meminfo: memFree=19788908/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=25252 CPUtime=0.02 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 2083 0 0 0 2 0 0 0 24 0 1 0 970700529 25858048 1978 33554432000 4194304 4337479 140734075512400 18446744073709551615 4271953 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 6313 1979 223 35 0 2936 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 25252

[startup+0.100542 s]
/proc/loadavg: 3.92 3.97 3.55 5/189 22271
/proc/meminfo: memFree=19788908/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=44012 CPUtime=0.09 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 7008 0 0 0 9 0 0 0 24 0 1 0 970700529 45068288 6748 33554432000 4194304 4337479 140734075512400 18446744073709551615 4321305 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 11003 6749 224 35 0 7626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44012

[startup+0.300502 s]
/proc/loadavg: 3.92 3.97 3.55 5/189 22271
/proc/meminfo: memFree=19788908/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=99644 CPUtime=0.29 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 19319 0 0 0 27 2 0 0 25 0 1 0 970700529 102035456 18810 33554432000 4194304 4337479 140734075512400 18446744073709551615 4321446 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 24911 18811 224 35 0 21534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99644

[startup+0.700429 s]
/proc/loadavg: 3.92 3.97 3.55 5/189 22271
/proc/meminfo: memFree=19788908/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=208376 CPUtime=0.69 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 41761 0 0 0 64 5 0 0 25 0 1 0 970700529 213377024 40406 33554432000 4194304 4337479 140734075512400 18446744073709551615 4271953 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 52094 40407 224 35 0 48717 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 208376

[startup+1.50029 s]
/proc/loadavg: 3.92 3.97 3.55 5/190 22272
/proc/meminfo: memFree=19556672/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=405308 CPUtime=1.49 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 92941 0 0 0 138 11 0 0 25 0 1 0 970700529 415035392 86632 33554432000 4194304 4337479 140734075512400 18446744073709551615 4259067 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 101327 86632 253 35 0 97950 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 405308

[startup+3.10097 s]
/proc/loadavg: 3.92 3.97 3.55 5/190 22272
/proc/meminfo: memFree=19444576/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=3.09 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115804 0 0 0 295 14 0 0 25 0 1 0 970700529 395522048 83005 33554432000 4194304 4337479 140734075512400 18446744073709551615 4281648 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83005 253 35 0 93186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 386252

[startup+6.30038 s]
/proc/loadavg: 3.93 3.97 3.56 5/190 22272
/proc/meminfo: memFree=19430172/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=6.29 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115804 0 0 0 615 14 0 0 25 0 1 0 970700529 395522048 83005 33554432000 4194304 4337479 140734075512400 18446744073709551615 4281716 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83005 253 35 0 93186 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 386252

[startup+12.7012 s]
/proc/loadavg: 3.93 3.97 3.56 5/190 22273
/proc/meminfo: memFree=19396040/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=12.69 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 1255 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4282104 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 386252

[startup+25.5008 s]
/proc/loadavg: 3.95 3.97 3.56 5/190 22273
/proc/meminfo: memFree=19342204/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=25.49 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 2535 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4281937 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 386252

[startup+51.1009 s]
/proc/loadavg: 3.96 3.97 3.57 5/190 22274
/proc/meminfo: memFree=19249168/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=51.08 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 5094 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4309943 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 386252

[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.59 5/190 22275
/proc/meminfo: memFree=19056340/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=102.29 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 10215 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4309808 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 386252

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

[startup+115.101 s]
/proc/loadavg: 3.99 3.97 3.60 5/190 22275
/proc/meminfo: memFree=19020868/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=115.08 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 11494 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4278940 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 115.08
Current children cumulated vsize (KiB) 386252

[startup+121.501 s]
/proc/loadavg: 3.99 3.97 3.60 5/190 22276
/proc/meminfo: memFree=19011936/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=121.48 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 12134 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 121.48
Current children cumulated vsize (KiB) 386252

[startup+124.701 s]
/proc/loadavg: 3.99 3.97 3.60 5/190 22276
/proc/meminfo: memFree=19053100/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=124.68 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 12454 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4303059 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 124.68
Current children cumulated vsize (KiB) 386252

[startup+126.301 s]
/proc/loadavg: 3.99 3.97 3.60 5/190 22276
/proc/meminfo: memFree=19002012/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=126.28 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 12614 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4281969 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 126.28
Current children cumulated vsize (KiB) 386252

[startup+126.701 s]
/proc/loadavg: 3.99 3.97 3.60 5/190 22276
/proc/meminfo: memFree=19046652/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=126.68 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 12654 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4291288 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 126.68
Current children cumulated vsize (KiB) 386252

[startup+126.901 s]
/proc/loadavg: 3.99 3.97 3.60 5/190 22276
/proc/meminfo: memFree=19046652/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=126.88 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 12674 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4278818 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 126.88
Current children cumulated vsize (KiB) 386252

[startup+127.001 s]
/proc/loadavg: 3.99 3.97 3.60 5/190 22276
/proc/meminfo: memFree=19046652/32950928 swapFree=67054844/67111528
[pid=22271] ppid=22269 vsize=386252 CPUtime=126.98 cores=4,6
/proc/22271/stat : 22271 (hmuc) R 22269 22271 10137 0 -1 4202496 115805 0 0 0 12684 14 0 0 25 0 1 0 970700529 395522048 83006 33554432000 4194304 4337479 140734075512400 18446744073709551615 4281846 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/22271/statm: 96563 83006 254 35 0 93186 0
Current children cumulated CPU time (s) 126.98
Current children cumulated vsize (KiB) 386252

Child status: 20
Real time (s): 127.058
CPU time (s): 127.048
CPU user time (s): 126.888
CPU system time (s): 0.159975
CPU usage (%): 99.992
Max. virtual memory (cumulated for all children) (KiB): 476396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.888
system time used= 0.159975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115806
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= 9
involuntary context switches= 243

runsolver used 0.231964 second user time and 0.473927 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-11 17:04:58
IDJOB=3494327
IDBENCH=89296
IDSOLVER=1984
FILE ID=node114/3494327-1307804696
RUNJOBID= node114-1307802892-21923
PBS_JOBID= 13551038
Free space on /tmp= 74060 MiB

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

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

MD5SUM BENCH= aaa569616d19d59cb15858af675caf32
RANDOM SEED=1209846638

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19789824 kB
Buffers:        307384 kB
Cached:        1265876 kB
SwapCached:      10540 kB
Active:       11823768 kB
Inactive:      1083292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19789824 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           47636 kB
Writeback:           0 kB
AnonPages:    11330764 kB
Mapped:          13224 kB
Slab:           166872 kB
PageTables:      28180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 12699348 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= 74056 MiB
End job on node114 at 2011-06-11 17:07:06