Trace number 3494622

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 140.277 140.284

General information on the benchmark

Namemus/marques-silva/abstraction-refinement-intel/
edn_22134_10.cnf_0.47000000.unsat.cnf
MD5SUM7d0412758d8808750a2e0be99261969c
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3.2465
Satisfiable
(Un)Satisfiability was proved
Number of variables864437
Number of clauses2529021
Sum of the clauses size5870368
Maximum clause length3
Minimum clause length1
Number of clauses of size 11776
Number of clauses of size 21713143
Number of clauses of size 3814102
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

8.89/8.96	c WARNING: for repeatability, setting FPU to use double precision
8.89/8.96	c iter 1 time 2.75258 not-muc 2527223 unknown 1798 muc 0
8.89/8.96	c iter 2 time 4.20536 not-muc 2527223 unknown 1797 muc 1
8.89/8.96	c iter 3 time 4.27735 not-muc 2527223 unknown 1796 muc 2
8.89/8.96	c iter 4 time 4.34234 not-muc 2527223 unknown 1795 muc 3
8.89/8.96	c iter 5 time 4.40833 not-muc 2527223 unknown 1794 muc 4
8.89/8.96	c iter 6 time 4.47332 not-muc 2527223 unknown 1793 muc 5
8.89/8.96	c iter 7 time 4.53831 not-muc 2527223 unknown 1792 muc 6
8.89/8.96	c iter 8 time 4.6023 not-muc 2527223 unknown 1791 muc 7
8.89/8.96	c iter 9 time 4.70828 not-muc 2527223 unknown 1790 muc 8
8.89/8.96	c iter 10 time 4.78527 not-muc 2527223 unknown 1789 muc 9
8.89/8.96	c iter 11 time 4.86126 not-muc 2527223 unknown 1788 muc 10
8.89/8.96	c iter 12 time 4.92525 not-muc 2527223 unknown 1787 muc 11
8.89/8.96	c iter 13 time 4.98924 not-muc 2527223 unknown 1786 muc 12
8.89/8.96	c iter 14 time 5.05323 not-muc 2527223 unknown 1785 muc 13
8.89/8.96	c iter 15 time 5.11722 not-muc 2527223 unknown 1784 muc 14
8.89/8.96	c iter 16 time 5.18221 not-muc 2527223 unknown 1783 muc 15
8.89/8.96	c iter 17 time 5.2462 not-muc 2527223 unknown 1782 muc 16
8.89/8.96	c iter 18 time 5.32219 not-muc 2527223 unknown 1781 muc 17
8.89/8.96	c iter 19 time 5.38618 not-muc 2527223 unknown 1780 muc 18
8.89/8.96	c iter 20 time 5.45017 not-muc 2527223 unknown 1779 muc 19
8.89/8.96	c iter 21 time 5.51416 not-muc 2527223 unknown 1778 muc 20
8.89/8.96	c iter 22 time 5.57915 not-muc 2527223 unknown 1777 muc 21
8.89/8.96	c iter 23 time 5.64414 not-muc 2527223 unknown 1776 muc 22
8.89/8.96	c iter 24 time 5.70813 not-muc 2527223 unknown 1775 muc 23
8.89/8.96	c iter 25 time 5.78412 not-muc 2527223 unknown 1774 muc 24
8.89/8.96	c iter 26 time 5.84811 not-muc 2527223 unknown 1773 muc 25
8.89/8.96	c iter 27 time 5.9131 not-muc 2527223 unknown 1772 muc 26
8.89/8.96	c iter 28 time 5.97709 not-muc 2527223 unknown 1771 muc 27
8.89/8.96	c iter 29 time 6.04108 not-muc 2527223 unknown 1770 muc 28
8.89/8.96	c iter 30 time 6.10507 not-muc 2527223 unknown 1769 muc 29
8.89/8.96	c iter 31 time 6.17006 not-muc 2527223 unknown 1768 muc 30
8.89/8.96	c iter 32 time 6.24605 not-muc 2527223 unknown 1767 muc 31
8.89/8.96	c iter 33 time 6.31004 not-muc 2527223 unknown 1766 muc 32
8.89/8.96	c iter 34 time 6.37503 not-muc 2527223 unknown 1765 muc 33
8.89/8.96	c iter 35 time 6.44002 not-muc 2527223 unknown 1764 muc 34
8.89/8.96	c iter 36 time 6.50601 not-muc 2527223 unknown 1763 muc 35
8.89/8.96	c iter 37 time 6.583 not-muc 2527223 unknown 1762 muc 36
8.89/8.96	c iter 38 time 6.64899 not-muc 2527223 unknown 1761 muc 37
8.89/8.96	c iter 39 time 6.71398 not-muc 2527223 unknown 1760 muc 38
8.89/8.96	c iter 40 time 6.77897 not-muc 2527223 unknown 1759 muc 39
8.89/8.96	c iter 41 time 6.84496 not-muc 2527223 unknown 1758 muc 40
8.89/8.96	c iter 42 time 6.92095 not-muc 2527223 unknown 1757 muc 41
8.89/8.96	c iter 43 time 6.98694 not-muc 2527223 unknown 1756 muc 42
8.89/8.96	c iter 44 time 7.05193 not-muc 2527223 unknown 1755 muc 43
8.89/8.96	c iter 45 time 7.11792 not-muc 2527223 unknown 1754 muc 44
8.89/8.96	c iter 46 time 7.18291 not-muc 2527223 unknown 1753 muc 45
8.89/8.96	c iter 47 time 7.2609 not-muc 2527223 unknown 1752 muc 46
8.89/8.96	c iter 48 time 7.32689 not-muc 2527223 unknown 1751 muc 47
8.89/8.96	c iter 49 time 7.39188 not-muc 2527223 unknown 1750 muc 48
8.89/8.96	c iter 50 time 7.45787 not-muc 2527223 unknown 1749 muc 49
8.89/8.96	c iter 51 time 7.52386 not-muc 2527223 unknown 1748 muc 50
8.89/8.96	c iter 52 time 7.60184 not-muc 2527223 unknown 1747 muc 51
8.89/8.96	c iter 53 time 7.66783 not-muc 2527223 unknown 1746 muc 52
8.89/8.96	c iter 54 time 7.73282 not-muc 2527223 unknown 1745 muc 53
8.89/8.96	c iter 55 time 7.79881 not-muc 2527223 unknown 1744 muc 54
8.89/8.96	c iter 56 time 7.8648 not-muc 2527223 unknown 1743 muc 55
8.89/8.96	c iter 57 time 7.94179 not-muc 2527223 unknown 1742 muc 56
8.89/8.96	c iter 58 time 8.00778 not-muc 2527223 unknown 1741 muc 57
8.89/8.96	c iter 59 time 8.07377 not-muc 2527223 unknown 1740 muc 58
8.89/8.96	c iter 60 time 8.13876 not-muc 2527223 unknown 1739 muc 59
8.89/8.96	c iter 61 time 8.20475 not-muc 2527223 unknown 1738 muc 60
8.89/8.96	c iter 62 time 8.28174 not-muc 2527223 unknown 1737 muc 61
8.89/8.96	c iter 63 time 8.34773 not-muc 2527223 unknown 1736 muc 62
8.89/8.96	c iter 64 time 8.41272 not-muc 2527223 unknown 1735 muc 63
8.89/8.96	c iter 65 time 8.47871 not-muc 2527223 unknown 1734 muc 64
8.89/8.96	c iter 66 time 8.5447 not-muc 2527223 unknown 1733 muc 65
8.89/8.96	c iter 67 time 8.62269 not-muc 2527223 unknown 1732 muc 66
8.89/8.96	c iter 68 time 8.68868 not-muc 2527223 unknown 1731 muc 67
8.89/8.96	c iter 69 time 8.75367 not-muc 2527223 unknown 1730 muc 68
13.79/13.81	c iter 70 time 8.81966 not-muc 2527223 unknown 1729 muc 69
13.79/13.81	c iter 71 time 8.88565 not-muc 2527223 unknown 1728 muc 70
13.79/13.81	c iter 72 time 8.96264 not-muc 2527223 unknown 1727 muc 71
13.79/13.81	c iter 73 time 9.02863 not-muc 2527223 unknown 1726 muc 72
13.79/13.81	c iter 74 time 9.09462 not-muc 2527223 unknown 1725 muc 73
13.79/13.81	c iter 75 time 9.15961 not-muc 2527223 unknown 1724 muc 74
13.79/13.81	c iter 76 time 9.2256 not-muc 2527223 unknown 1723 muc 75
13.79/13.81	c iter 77 time 9.30259 not-muc 2527223 unknown 1722 muc 76
13.79/13.81	c iter 78 time 9.36658 not-muc 2527223 unknown 1721 muc 77
13.79/13.81	c iter 79 time 9.43157 not-muc 2527223 unknown 1720 muc 78
13.79/13.81	c iter 80 time 9.49556 not-muc 2527223 unknown 1719 muc 79
13.79/13.81	c iter 81 time 9.56055 not-muc 2527223 unknown 1718 muc 80
13.79/13.81	c iter 82 time 9.63753 not-muc 2527223 unknown 1717 muc 81
13.79/13.81	c iter 83 time 9.70352 not-muc 2527223 unknown 1716 muc 82
13.79/13.81	c iter 84 time 9.76951 not-muc 2527223 unknown 1715 muc 83
13.79/13.81	c iter 85 time 9.8345 not-muc 2527223 unknown 1714 muc 84
13.79/13.81	c iter 86 time 9.90049 not-muc 2527223 unknown 1713 muc 85
13.79/13.81	c iter 87 time 9.98248 not-muc 2527223 unknown 1712 muc 86
13.79/13.81	c iter 88 time 10.0605 not-muc 2527223 unknown 1711 muc 87
13.79/13.81	c iter 89 time 10.1385 not-muc 2527223 unknown 1710 muc 88
13.79/13.81	c iter 90 time 10.2164 not-muc 2527223 unknown 1709 muc 89
13.79/13.81	c iter 91 time 10.2954 not-muc 2527223 unknown 1708 muc 90
13.79/13.81	c iter 92 time 10.3734 not-muc 2527223 unknown 1707 muc 91
13.79/13.81	c iter 93 time 10.4514 not-muc 2527223 unknown 1706 muc 92
13.79/13.81	c iter 94 time 10.5294 not-muc 2527223 unknown 1705 muc 93
13.79/13.81	c iter 95 time 10.6084 not-muc 2527223 unknown 1704 muc 94
13.79/13.81	c iter 96 time 10.6864 not-muc 2527223 unknown 1703 muc 95
13.79/13.81	c iter 97 time 10.7644 not-muc 2527223 unknown 1702 muc 96
13.79/13.81	c iter 98 time 10.8434 not-muc 2527223 unknown 1701 muc 97
13.79/13.81	c iter 99 time 10.9253 not-muc 2527223 unknown 1700 muc 98
13.79/13.81	c iter 100 time 11.0043 not-muc 2527223 unknown 1699 muc 99
13.79/13.81	c iter 101 time 11.0713 not-muc 2527223 unknown 1698 muc 100
13.79/13.81	c iter 102 time 11.1383 not-muc 2527223 unknown 1697 muc 101
13.79/13.81	c iter 103 time 11.2053 not-muc 2527223 unknown 1696 muc 102
13.79/13.81	c iter 104 time 11.2723 not-muc 2527223 unknown 1695 muc 103
13.79/13.81	c iter 105 time 11.3393 not-muc 2527223 unknown 1694 muc 104
13.79/13.81	c iter 106 time 11.4063 not-muc 2527223 unknown 1693 muc 105
13.79/13.81	c iter 107 time 11.4853 not-muc 2527223 unknown 1692 muc 106
13.79/13.81	c iter 108 time 11.5522 not-muc 2527223 unknown 1691 muc 107
13.79/13.81	c iter 109 time 11.6192 not-muc 2527223 unknown 1690 muc 108
13.79/13.81	c iter 110 time 11.6862 not-muc 2527223 unknown 1689 muc 109
13.79/13.81	c iter 111 time 11.7532 not-muc 2527223 unknown 1688 muc 110
13.79/13.81	c iter 112 time 11.8312 not-muc 2527223 unknown 1687 muc 111
13.79/13.81	c iter 113 time 11.8972 not-muc 2527223 unknown 1686 muc 112
13.79/13.81	c iter 114 time 11.9622 not-muc 2527223 unknown 1685 muc 113
13.79/13.81	c iter 115 time 12.0282 not-muc 2527223 unknown 1684 muc 114
13.79/13.81	c iter 116 time 12.0942 not-muc 2527223 unknown 1683 muc 115
13.79/13.81	c iter 117 time 12.1711 not-muc 2527223 unknown 1682 muc 116
13.79/13.81	c iter 118 time 12.2371 not-muc 2527223 unknown 1681 muc 117
13.79/13.81	c iter 119 time 12.3021 not-muc 2527223 unknown 1680 muc 118
13.79/13.81	c iter 120 time 12.3681 not-muc 2527223 unknown 1679 muc 119
13.79/13.81	c iter 121 time 12.4341 not-muc 2527223 unknown 1678 muc 120
13.79/13.81	c iter 122 time 12.5111 not-muc 2527223 unknown 1677 muc 121
13.79/13.81	c iter 123 time 12.5771 not-muc 2527223 unknown 1676 muc 122
13.79/13.81	c iter 124 time 12.6421 not-muc 2527223 unknown 1675 muc 123
13.79/13.81	c iter 125 time 12.7081 not-muc 2527223 unknown 1674 muc 124
13.79/13.81	c iter 126 time 12.7741 not-muc 2527223 unknown 1673 muc 125
13.79/13.81	c iter 127 time 12.851 not-muc 2527223 unknown 1672 muc 126
13.79/13.81	c iter 128 time 12.917 not-muc 2527223 unknown 1671 muc 127
13.79/13.81	c iter 129 time 12.983 not-muc 2527223 unknown 1670 muc 128
13.79/13.81	c iter 130 time 13.049 not-muc 2527223 unknown 1669 muc 129
13.79/13.81	c iter 131 time 13.116 not-muc 2527223 unknown 1668 muc 130
13.79/13.81	c iter 132 time 13.195 not-muc 2527223 unknown 1667 muc 131
13.79/13.81	c iter 133 time 13.262 not-muc 2527223 unknown 1666 muc 132
13.79/13.81	c iter 134 time 13.328 not-muc 2527223 unknown 1665 muc 133
13.79/13.81	c iter 135 time 13.395 not-muc 2527223 unknown 1664 muc 134
13.79/13.81	c iter 136 time 13.461 not-muc 2527223 unknown 1663 muc 135
13.79/13.81	c iter 137 time 13.5399 not-muc 2527223 unknown 1662 muc 136
13.79/13.81	c iter 138 time 13.6069 not-muc 2527223 unknown 1661 muc 137
18.39/18.48	c iter 139 time 13.6749 not-muc 2527223 unknown 1660 muc 138
18.39/18.48	c iter 140 time 13.7539 not-muc 2527223 unknown 1659 muc 139
18.39/18.48	c iter 141 time 13.8209 not-muc 2527223 unknown 1658 muc 140
18.39/18.48	c iter 142 time 13.8869 not-muc 2527223 unknown 1657 muc 141
18.39/18.48	c iter 143 time 13.9539 not-muc 2527223 unknown 1656 muc 142
18.39/18.48	c iter 144 time 14.0209 not-muc 2527223 unknown 1655 muc 143
18.39/18.48	c iter 145 time 14.0889 not-muc 2527223 unknown 1654 muc 144
18.39/18.48	c iter 146 time 14.1558 not-muc 2527223 unknown 1653 muc 145
18.39/18.48	c iter 147 time 14.2228 not-muc 2527223 unknown 1652 muc 146
18.39/18.48	c iter 148 time 14.2898 not-muc 2527223 unknown 1651 muc 147
18.39/18.48	c iter 149 time 14.3578 not-muc 2527223 unknown 1650 muc 148
18.39/18.48	c iter 150 time 14.4248 not-muc 2527223 unknown 1649 muc 149
18.39/18.48	c iter 151 time 14.4928 not-muc 2527223 unknown 1648 muc 150
18.39/18.48	c iter 152 time 14.5598 not-muc 2527223 unknown 1647 muc 151
18.39/18.48	c iter 153 time 14.6278 not-muc 2527223 unknown 1646 muc 152
18.39/18.48	c iter 154 time 14.6958 not-muc 2527223 unknown 1645 muc 153
18.39/18.48	c iter 155 time 14.7638 not-muc 2527223 unknown 1644 muc 154
18.39/18.48	c iter 156 time 14.8317 not-muc 2527223 unknown 1643 muc 155
18.39/18.48	c iter 157 time 14.9007 not-muc 2527223 unknown 1642 muc 156
18.39/18.48	c iter 158 time 14.9687 not-muc 2527223 unknown 1641 muc 157
18.39/18.48	c iter 159 time 15.0377 not-muc 2527223 unknown 1640 muc 158
18.39/18.48	c iter 160 time 15.1057 not-muc 2527223 unknown 1639 muc 159
18.39/18.48	c iter 161 time 15.1747 not-muc 2527223 unknown 1638 muc 160
18.39/18.48	c iter 162 time 15.2427 not-muc 2527223 unknown 1637 muc 161
18.39/18.48	c iter 163 time 15.3117 not-muc 2527223 unknown 1636 muc 162
18.39/18.48	c iter 164 time 15.3797 not-muc 2527223 unknown 1635 muc 163
18.39/18.48	c iter 165 time 15.4487 not-muc 2527223 unknown 1634 muc 164
18.39/18.48	c iter 166 time 15.5176 not-muc 2527223 unknown 1633 muc 165
18.39/18.48	c iter 167 time 15.5866 not-muc 2527223 unknown 1632 muc 166
18.39/18.48	c iter 168 time 15.6556 not-muc 2527223 unknown 1631 muc 167
18.39/18.48	c iter 169 time 15.7256 not-muc 2527223 unknown 1630 muc 168
18.39/18.48	c iter 170 time 15.7946 not-muc 2527223 unknown 1629 muc 169
18.39/18.48	c iter 171 time 15.8636 not-muc 2527223 unknown 1628 muc 170
18.39/18.48	c iter 172 time 15.9326 not-muc 2527223 unknown 1627 muc 171
18.39/18.48	c iter 173 time 16.0026 not-muc 2527223 unknown 1626 muc 172
18.39/18.48	c iter 174 time 16.0716 not-muc 2527223 unknown 1625 muc 173
18.39/18.48	c iter 175 time 16.1415 not-muc 2527223 unknown 1624 muc 174
18.39/18.48	c iter 176 time 16.2115 not-muc 2527223 unknown 1623 muc 175
18.39/18.48	c iter 177 time 16.2805 not-muc 2527223 unknown 1622 muc 176
18.39/18.48	c iter 178 time 16.3505 not-muc 2527223 unknown 1621 muc 177
18.39/18.48	c iter 179 time 16.4205 not-muc 2527223 unknown 1620 muc 178
18.39/18.48	c iter 180 time 16.4905 not-muc 2527223 unknown 1619 muc 179
18.39/18.48	c iter 181 time 16.5615 not-muc 2527223 unknown 1618 muc 180
18.39/18.48	c iter 182 time 16.6315 not-muc 2527223 unknown 1617 muc 181
18.39/18.48	c iter 183 time 16.7025 not-muc 2527223 unknown 1616 muc 182
18.39/18.48	c iter 184 time 16.7724 not-muc 2527223 unknown 1615 muc 183
18.39/18.48	c iter 185 time 16.8434 not-muc 2527223 unknown 1614 muc 184
18.39/18.48	c iter 186 time 16.9144 not-muc 2527223 unknown 1613 muc 185
18.39/18.48	c iter 187 time 16.9844 not-muc 2527223 unknown 1612 muc 186
18.39/18.48	c iter 188 time 17.0554 not-muc 2527223 unknown 1611 muc 187
18.39/18.48	c iter 189 time 17.1264 not-muc 2527223 unknown 1610 muc 188
18.39/18.48	c iter 190 time 17.1974 not-muc 2527223 unknown 1609 muc 189
18.39/18.48	c iter 191 time 17.2694 not-muc 2527223 unknown 1608 muc 190
18.39/18.48	c iter 192 time 17.3404 not-muc 2527223 unknown 1607 muc 191
18.39/18.48	c iter 193 time 17.4114 not-muc 2527223 unknown 1606 muc 192
18.39/18.48	c iter 194 time 17.4833 not-muc 2527223 unknown 1605 muc 193
18.39/18.48	c iter 195 time 17.5543 not-muc 2527223 unknown 1604 muc 194
18.39/18.48	c iter 196 time 17.6263 not-muc 2527223 unknown 1603 muc 195
18.39/18.48	c iter 197 time 17.6983 not-muc 2527223 unknown 1602 muc 196
18.39/18.48	c iter 198 time 17.7703 not-muc 2527223 unknown 1601 muc 197
18.39/18.48	c iter 199 time 17.8423 not-muc 2527223 unknown 1600 muc 198
18.39/18.48	c iter 200 time 17.9223 not-muc 2527223 unknown 1599 muc 199
18.39/18.48	c iter 201 time 18.0013 not-muc 2527223 unknown 1598 muc 200
18.39/18.48	c iter 202 time 18.0683 not-muc 2527223 unknown 1597 muc 201
18.39/18.48	c iter 203 time 18.1362 not-muc 2527223 unknown 1596 muc 202
18.39/18.48	c iter 204 time 18.2032 not-muc 2527223 unknown 1595 muc 203
18.39/18.48	c iter 205 time 18.2702 not-muc 2527223 unknown 1594 muc 204
23.48/23.52	c iter 206 time 18.3372 not-muc 2527223 unknown 1593 muc 205
23.48/23.52	c iter 207 time 18.4042 not-muc 2527223 unknown 1592 muc 206
23.48/23.52	c iter 208 time 18.4702 not-muc 2527223 unknown 1591 muc 207
23.48/23.52	c iter 209 time 18.5482 not-muc 2527223 unknown 1590 muc 208
23.48/23.52	c iter 210 time 18.6262 not-muc 2527223 unknown 1589 muc 209
23.48/23.52	c iter 211 time 18.6922 not-muc 2527223 unknown 1588 muc 210
23.48/23.52	c iter 212 time 18.7701 not-muc 2527223 unknown 1587 muc 211
23.48/23.52	c iter 213 time 18.8351 not-muc 2527223 unknown 1586 muc 212
23.48/23.52	c iter 214 time 18.9131 not-muc 2527223 unknown 1585 muc 213
23.48/23.52	c iter 215 time 18.9791 not-muc 2527223 unknown 1584 muc 214
23.48/23.52	c iter 216 time 19.0561 not-muc 2527223 unknown 1583 muc 215
23.48/23.52	c iter 217 time 19.1211 not-muc 2527223 unknown 1582 muc 216
23.48/23.52	c iter 218 time 19.1871 not-muc 2527223 unknown 1581 muc 217
23.48/23.52	c iter 219 time 19.2641 not-muc 2527223 unknown 1580 muc 218
23.48/23.52	c iter 220 time 19.3301 not-muc 2527223 unknown 1579 muc 219
23.48/23.52	c iter 221 time 19.3951 not-muc 2527223 unknown 1578 muc 220
23.48/23.52	c iter 222 time 19.473 not-muc 2527223 unknown 1577 muc 221
23.48/23.52	c iter 223 time 19.54 not-muc 2527223 unknown 1576 muc 222
23.48/23.52	c iter 224 time 19.606 not-muc 2527223 unknown 1575 muc 223
23.48/23.52	c iter 225 time 19.685 not-muc 2527223 unknown 1574 muc 224
23.48/23.52	c iter 226 time 19.752 not-muc 2527223 unknown 1573 muc 225
23.48/23.52	c iter 227 time 19.818 not-muc 2527223 unknown 1572 muc 226
23.48/23.52	c iter 228 time 19.898 not-muc 2527223 unknown 1571 muc 227
23.48/23.52	c iter 229 time 19.964 not-muc 2527223 unknown 1570 muc 228
23.48/23.52	c iter 230 time 20.043 not-muc 2527223 unknown 1569 muc 229
23.48/23.52	c iter 231 time 20.1219 not-muc 2527223 unknown 1568 muc 230
23.48/23.52	c iter 232 time 20.2009 not-muc 2527223 unknown 1567 muc 231
23.48/23.52	c iter 233 time 20.2799 not-muc 2527223 unknown 1566 muc 232
23.48/23.52	c iter 234 time 20.3589 not-muc 2527223 unknown 1565 muc 233
23.48/23.52	c iter 235 time 20.4389 not-muc 2527223 unknown 1564 muc 234
23.48/23.52	c iter 236 time 20.5179 not-muc 2527223 unknown 1563 muc 235
23.48/23.52	c iter 237 time 20.5969 not-muc 2527223 unknown 1562 muc 236
23.48/23.52	c iter 238 time 20.6769 not-muc 2527223 unknown 1561 muc 237
23.48/23.52	c iter 239 time 20.7558 not-muc 2527223 unknown 1560 muc 238
23.48/23.52	c iter 240 time 20.8358 not-muc 2527223 unknown 1559 muc 239
23.48/23.52	c iter 241 time 20.9148 not-muc 2527223 unknown 1558 muc 240
23.48/23.52	c iter 242 time 20.9938 not-muc 2527223 unknown 1557 muc 241
23.48/23.52	c iter 243 time 21.0728 not-muc 2527223 unknown 1556 muc 242
23.48/23.52	c iter 244 time 21.1518 not-muc 2527223 unknown 1555 muc 243
23.48/23.52	c iter 245 time 21.2318 not-muc 2527223 unknown 1554 muc 244
23.48/23.52	c iter 246 time 21.3108 not-muc 2527223 unknown 1553 muc 245
23.48/23.52	c iter 247 time 21.3907 not-muc 2527223 unknown 1552 muc 246
23.48/23.52	c iter 248 time 21.4697 not-muc 2527223 unknown 1551 muc 247
23.48/23.52	c iter 249 time 21.5487 not-muc 2527223 unknown 1550 muc 248
23.48/23.52	c iter 250 time 21.6287 not-muc 2527223 unknown 1549 muc 249
23.48/23.52	c iter 251 time 21.7077 not-muc 2527223 unknown 1548 muc 250
23.48/23.52	c iter 252 time 21.7877 not-muc 2527223 unknown 1547 muc 251
23.48/23.52	c iter 253 time 21.8667 not-muc 2527223 unknown 1546 muc 252
23.48/23.52	c iter 254 time 21.9457 not-muc 2527223 unknown 1545 muc 253
23.48/23.52	c iter 255 time 22.0257 not-muc 2527223 unknown 1544 muc 254
23.48/23.52	c iter 256 time 22.1046 not-muc 2527223 unknown 1543 muc 255
23.48/23.52	c iter 257 time 22.1836 not-muc 2527223 unknown 1542 muc 256
23.48/23.52	c iter 258 time 22.2626 not-muc 2527223 unknown 1541 muc 257
23.48/23.52	c iter 259 time 22.3416 not-muc 2527223 unknown 1540 muc 258
23.48/23.52	c iter 260 time 22.4206 not-muc 2527223 unknown 1539 muc 259
23.48/23.52	c iter 261 time 22.5006 not-muc 2527223 unknown 1538 muc 260
23.48/23.52	c iter 262 time 22.5796 not-muc 2527223 unknown 1537 muc 261
23.48/23.52	c iter 263 time 22.6586 not-muc 2527223 unknown 1536 muc 262
23.48/23.52	c iter 264 time 22.7385 not-muc 2527223 unknown 1535 muc 263
23.48/23.52	c iter 265 time 22.8055 not-muc 2527223 unknown 1534 muc 264
23.48/23.52	c iter 266 time 22.8845 not-muc 2527223 unknown 1533 muc 265
23.48/23.52	c iter 267 time 22.9525 not-muc 2527223 unknown 1532 muc 266
23.48/23.52	c iter 268 time 23.0325 not-muc 2527223 unknown 1531 muc 267
23.48/23.52	c iter 269 time 23.0995 not-muc 2527223 unknown 1530 muc 268
23.48/23.52	c iter 270 time 23.1675 not-muc 2527223 unknown 1529 muc 269
23.48/23.52	c iter 271 time 23.2345 not-muc 2527223 unknown 1528 muc 270
23.48/23.52	c iter 272 time 23.3145 not-muc 2527223 unknown 1527 muc 271
28.08/28.16	c iter 273 time 23.3824 not-muc 2527223 unknown 1526 muc 272
28.08/28.16	c iter 274 time 23.4494 not-muc 2527223 unknown 1525 muc 273
28.08/28.16	c iter 275 time 23.5174 not-muc 2527223 unknown 1524 muc 274
28.08/28.16	c iter 276 time 23.5844 not-muc 2527223 unknown 1523 muc 275
28.08/28.16	c iter 277 time 23.6634 not-muc 2527223 unknown 1522 muc 276
28.08/28.16	c iter 278 time 23.7304 not-muc 2527223 unknown 1521 muc 277
28.08/28.16	c iter 279 time 23.7984 not-muc 2527223 unknown 1520 muc 278
28.08/28.16	c iter 280 time 23.8654 not-muc 2527223 unknown 1519 muc 279
28.08/28.16	c iter 281 time 23.9334 not-muc 2527223 unknown 1518 muc 280
28.08/28.16	c iter 282 time 24.0133 not-muc 2527223 unknown 1517 muc 281
28.08/28.16	c iter 283 time 24.0803 not-muc 2527223 unknown 1516 muc 282
28.08/28.16	c iter 284 time 24.1483 not-muc 2527223 unknown 1515 muc 283
28.08/28.16	c iter 285 time 24.2163 not-muc 2527223 unknown 1514 muc 284
28.08/28.16	c iter 286 time 24.2843 not-muc 2527223 unknown 1513 muc 285
28.08/28.16	c iter 287 time 24.3633 not-muc 2527223 unknown 1512 muc 286
28.08/28.16	c iter 288 time 24.4313 not-muc 2527223 unknown 1511 muc 287
28.08/28.16	c iter 289 time 24.4993 not-muc 2527223 unknown 1510 muc 288
28.08/28.16	c iter 290 time 24.5663 not-muc 2527223 unknown 1509 muc 289
28.08/28.16	c iter 291 time 24.6343 not-muc 2527223 unknown 1508 muc 290
28.08/28.16	c iter 292 time 24.7142 not-muc 2527223 unknown 1507 muc 291
28.08/28.16	c iter 293 time 24.7812 not-muc 2527223 unknown 1506 muc 292
28.08/28.16	c iter 294 time 24.8492 not-muc 2527223 unknown 1505 muc 293
28.08/28.16	c iter 295 time 24.9172 not-muc 2527223 unknown 1504 muc 294
28.08/28.16	c iter 296 time 24.9842 not-muc 2527223 unknown 1503 muc 295
28.08/28.16	c iter 297 time 25.0632 not-muc 2527223 unknown 1502 muc 296
28.08/28.16	c iter 298 time 25.1292 not-muc 2527223 unknown 1501 muc 297
28.08/28.16	c iter 299 time 25.1952 not-muc 2527223 unknown 1500 muc 298
28.08/28.16	c iter 300 time 25.2612 not-muc 2527223 unknown 1499 muc 299
28.08/28.16	c iter 301 time 25.3281 not-muc 2527223 unknown 1498 muc 300
28.08/28.16	c iter 302 time 25.4061 not-muc 2527223 unknown 1497 muc 301
28.08/28.16	c iter 303 time 25.4721 not-muc 2527223 unknown 1496 muc 302
28.08/28.16	c iter 304 time 25.5381 not-muc 2527223 unknown 1495 muc 303
28.08/28.16	c iter 305 time 25.6041 not-muc 2527223 unknown 1494 muc 304
28.08/28.16	c iter 306 time 25.6711 not-muc 2527223 unknown 1493 muc 305
28.08/28.16	c iter 307 time 25.7491 not-muc 2527223 unknown 1492 muc 306
28.08/28.16	c iter 308 time 25.8151 not-muc 2527223 unknown 1491 muc 307
28.08/28.16	c iter 309 time 25.8811 not-muc 2527223 unknown 1490 muc 308
28.08/28.16	c iter 310 time 25.9481 not-muc 2527223 unknown 1489 muc 309
28.08/28.16	c iter 311 time 26.014 not-muc 2527223 unknown 1488 muc 310
28.08/28.16	c iter 312 time 26.094 not-muc 2527223 unknown 1487 muc 311
28.08/28.16	c iter 313 time 26.16 not-muc 2527223 unknown 1486 muc 312
28.08/28.16	c iter 314 time 26.227 not-muc 2527223 unknown 1485 muc 313
28.08/28.16	c iter 315 time 26.295 not-muc 2527223 unknown 1484 muc 314
28.08/28.16	c iter 316 time 26.362 not-muc 2527223 unknown 1483 muc 315
28.08/28.16	c iter 317 time 26.441 not-muc 2527223 unknown 1482 muc 316
28.08/28.16	c iter 318 time 26.508 not-muc 2527223 unknown 1481 muc 317
28.08/28.16	c iter 319 time 26.575 not-muc 2527223 unknown 1480 muc 318
28.08/28.16	c iter 320 time 26.6429 not-muc 2527223 unknown 1479 muc 319
28.08/28.16	c iter 321 time 26.7109 not-muc 2527223 unknown 1478 muc 320
28.08/28.16	c iter 322 time 26.7899 not-muc 2527223 unknown 1477 muc 321
28.08/28.16	c iter 323 time 26.8569 not-muc 2527223 unknown 1476 muc 322
28.08/28.16	c iter 324 time 26.9249 not-muc 2527223 unknown 1475 muc 323
28.08/28.16	c iter 325 time 26.9929 not-muc 2527223 unknown 1474 muc 324
28.08/28.16	c iter 326 time 27.0609 not-muc 2527223 unknown 1473 muc 325
28.08/28.16	c iter 327 time 27.1289 not-muc 2527223 unknown 1472 muc 326
28.08/28.16	c iter 328 time 27.1959 not-muc 2527223 unknown 1471 muc 327
28.08/28.16	c iter 329 time 27.2639 not-muc 2527223 unknown 1470 muc 328
28.08/28.16	c iter 330 time 27.3318 not-muc 2527223 unknown 1469 muc 329
28.08/28.16	c iter 331 time 27.3998 not-muc 2527223 unknown 1468 muc 330
28.08/28.16	c iter 332 time 27.4688 not-muc 2527223 unknown 1467 muc 331
28.08/28.16	c iter 333 time 27.5368 not-muc 2527223 unknown 1466 muc 332
28.08/28.16	c iter 334 time 27.6048 not-muc 2527223 unknown 1465 muc 333
28.08/28.16	c iter 335 time 27.6738 not-muc 2527223 unknown 1464 muc 334
28.08/28.16	c iter 336 time 27.7428 not-muc 2527223 unknown 1463 muc 335
28.08/28.16	c iter 337 time 27.8118 not-muc 2527223 unknown 1462 muc 336
28.08/28.16	c iter 338 time 27.8798 not-muc 2527223 unknown 1461 muc 337
28.08/28.16	c iter 339 time 27.9488 not-muc 2527223 unknown 1460 muc 338
32.90/32.93	c iter 340 time 28.0167 not-muc 2527223 unknown 1459 muc 339
32.90/32.93	c iter 341 time 28.0867 not-muc 2527223 unknown 1458 muc 340
32.90/32.93	c iter 342 time 28.1557 not-muc 2527223 unknown 1457 muc 341
32.90/32.93	c iter 343 time 28.2247 not-muc 2527223 unknown 1456 muc 342
32.90/32.93	c iter 344 time 28.2937 not-muc 2527223 unknown 1455 muc 343
32.90/32.93	c iter 345 time 28.3637 not-muc 2527223 unknown 1454 muc 344
32.90/32.93	c iter 346 time 28.4337 not-muc 2527223 unknown 1453 muc 345
32.90/32.93	c iter 347 time 28.5027 not-muc 2527223 unknown 1452 muc 346
32.90/32.93	c iter 348 time 28.5717 not-muc 2527223 unknown 1451 muc 347
32.90/32.93	c iter 349 time 28.6406 not-muc 2527223 unknown 1450 muc 348
32.90/32.93	c iter 350 time 28.7296 not-muc 2527223 unknown 1449 muc 349
32.90/32.93	c iter 351 time 28.7966 not-muc 2527223 unknown 1448 muc 350
32.90/32.93	c iter 352 time 28.8766 not-muc 2527223 unknown 1447 muc 351
32.90/32.93	c iter 353 time 28.9556 not-muc 2527223 unknown 1446 muc 352
32.90/32.93	c iter 354 time 29.0356 not-muc 2527223 unknown 1445 muc 353
32.90/32.93	c iter 355 time 29.1156 not-muc 2527223 unknown 1444 muc 354
32.90/32.93	c iter 356 time 29.1946 not-muc 2527223 unknown 1443 muc 355
32.90/32.93	c iter 357 time 29.2745 not-muc 2527223 unknown 1442 muc 356
32.90/32.93	c iter 358 time 29.3535 not-muc 2527223 unknown 1441 muc 357
32.90/32.93	c iter 359 time 29.4215 not-muc 2527223 unknown 1440 muc 358
32.90/32.93	c iter 360 time 29.4885 not-muc 2527223 unknown 1439 muc 359
32.90/32.93	c iter 361 time 29.5565 not-muc 2527223 unknown 1438 muc 360
32.90/32.93	c iter 362 time 29.6245 not-muc 2527223 unknown 1437 muc 361
32.90/32.93	c iter 363 time 29.6925 not-muc 2527223 unknown 1436 muc 362
32.90/32.93	c iter 364 time 29.7605 not-muc 2527223 unknown 1435 muc 363
32.90/32.93	c iter 365 time 29.8275 not-muc 2527223 unknown 1434 muc 364
32.90/32.93	c iter 366 time 29.8955 not-muc 2527223 unknown 1433 muc 365
32.90/32.93	c iter 367 time 29.9634 not-muc 2527223 unknown 1432 muc 366
32.90/32.93	c iter 368 time 30.0324 not-muc 2527223 unknown 1431 muc 367
32.90/32.93	c iter 369 time 30.1004 not-muc 2527223 unknown 1430 muc 368
32.90/32.93	c iter 370 time 30.1684 not-muc 2527223 unknown 1429 muc 369
32.90/32.93	c iter 371 time 30.2364 not-muc 2527223 unknown 1428 muc 370
32.90/32.93	c iter 372 time 30.3044 not-muc 2527223 unknown 1427 muc 371
32.90/32.93	c iter 373 time 30.3724 not-muc 2527223 unknown 1426 muc 372
32.90/32.93	c iter 374 time 30.4414 not-muc 2527223 unknown 1425 muc 373
32.90/32.93	c iter 375 time 30.5094 not-muc 2527223 unknown 1424 muc 374
32.90/32.93	c iter 376 time 30.5784 not-muc 2527223 unknown 1423 muc 375
32.90/32.93	c iter 377 time 30.6473 not-muc 2527223 unknown 1422 muc 376
32.90/32.93	c iter 378 time 30.7163 not-muc 2527223 unknown 1421 muc 377
32.90/32.93	c iter 379 time 30.7843 not-muc 2527223 unknown 1420 muc 378
32.90/32.93	c iter 380 time 30.8533 not-muc 2527223 unknown 1419 muc 379
32.90/32.93	c iter 381 time 30.9223 not-muc 2527223 unknown 1418 muc 380
32.90/32.93	c iter 382 time 30.9913 not-muc 2527223 unknown 1417 muc 381
32.90/32.93	c iter 383 time 31.0603 not-muc 2527223 unknown 1416 muc 382
32.90/32.93	c iter 384 time 31.1293 not-muc 2527223 unknown 1415 muc 383
32.90/32.93	c iter 385 time 31.1983 not-muc 2527223 unknown 1414 muc 384
32.90/32.93	c iter 386 time 31.2672 not-muc 2527223 unknown 1413 muc 385
32.90/32.93	c iter 387 time 31.3372 not-muc 2527223 unknown 1412 muc 386
32.90/32.93	c iter 388 time 31.4072 not-muc 2527223 unknown 1411 muc 387
32.90/32.93	c iter 389 time 31.4762 not-muc 2527223 unknown 1410 muc 388
32.90/32.93	c iter 390 time 31.5452 not-muc 2527223 unknown 1409 muc 389
32.90/32.93	c iter 391 time 31.6142 not-muc 2527223 unknown 1408 muc 390
32.90/32.93	c iter 392 time 31.6822 not-muc 2527223 unknown 1407 muc 391
32.90/32.93	c iter 393 time 31.7512 not-muc 2527223 unknown 1406 muc 392
32.90/32.93	c iter 394 time 31.8202 not-muc 2527223 unknown 1405 muc 393
32.90/32.93	c iter 395 time 31.8882 not-muc 2527223 unknown 1404 muc 394
32.90/32.93	c iter 396 time 31.9571 not-muc 2527223 unknown 1403 muc 395
32.90/32.93	c iter 397 time 32.0261 not-muc 2527223 unknown 1402 muc 396
32.90/32.93	c iter 398 time 32.0951 not-muc 2527223 unknown 1401 muc 397
32.90/32.93	c iter 399 time 32.1631 not-muc 2527223 unknown 1400 muc 398
32.90/32.93	c iter 400 time 32.2331 not-muc 2527223 unknown 1399 muc 399
32.90/32.93	c iter 401 time 32.3021 not-muc 2527223 unknown 1398 muc 400
32.90/32.93	c iter 402 time 32.3711 not-muc 2527223 unknown 1397 muc 401
32.90/32.93	c iter 403 time 32.4401 not-muc 2527223 unknown 1396 muc 402
32.90/32.93	c iter 404 time 32.5091 not-muc 2527223 unknown 1395 muc 403
32.90/32.93	c iter 405 time 32.579 not-muc 2527223 unknown 1394 muc 404
32.90/32.93	c iter 406 time 32.649 not-muc 2527223 unknown 1393 muc 405
32.90/32.93	c iter 407 time 32.719 not-muc 2527223 unknown 1392 muc 406
38.09/38.18	c iter 408 time 32.79 not-muc 2527223 unknown 1391 muc 407
38.09/38.18	c iter 409 time 32.861 not-muc 2527223 unknown 1390 muc 408
38.09/38.18	c iter 410 time 32.932 not-muc 2527223 unknown 1389 muc 409
38.09/38.18	c iter 411 time 33.003 not-muc 2527223 unknown 1388 muc 410
38.09/38.18	c iter 412 time 33.074 not-muc 2527223 unknown 1387 muc 411
38.09/38.18	c iter 413 time 33.145 not-muc 2527223 unknown 1386 muc 412
38.09/38.18	c iter 414 time 33.2159 not-muc 2527223 unknown 1385 muc 413
38.09/38.18	c iter 415 time 33.2879 not-muc 2527223 unknown 1384 muc 414
38.09/38.18	c iter 416 time 33.3599 not-muc 2527223 unknown 1383 muc 415
38.09/38.18	c iter 417 time 33.4389 not-muc 2527223 unknown 1382 muc 416
38.09/38.18	c iter 418 time 33.5189 not-muc 2527223 unknown 1381 muc 417
38.09/38.18	c iter 419 time 33.5979 not-muc 2527223 unknown 1380 muc 418
38.09/38.18	c iter 420 time 33.6779 not-muc 2527223 unknown 1379 muc 419
38.09/38.18	c iter 421 time 33.7579 not-muc 2527223 unknown 1378 muc 420
38.09/38.18	c iter 422 time 33.8369 not-muc 2527223 unknown 1377 muc 421
38.09/38.18	c iter 423 time 33.9168 not-muc 2527223 unknown 1376 muc 422
38.09/38.18	c iter 424 time 33.9968 not-muc 2527223 unknown 1375 muc 423
38.09/38.18	c iter 425 time 34.0758 not-muc 2527223 unknown 1374 muc 424
38.09/38.18	c iter 426 time 34.1558 not-muc 2527223 unknown 1373 muc 425
38.09/38.18	c iter 427 time 34.2348 not-muc 2527223 unknown 1372 muc 426
38.09/38.18	c iter 428 time 34.3148 not-muc 2527223 unknown 1371 muc 427
38.09/38.18	c iter 429 time 34.3938 not-muc 2527223 unknown 1370 muc 428
38.09/38.18	c iter 430 time 34.4738 not-muc 2527223 unknown 1369 muc 429
38.09/38.18	c iter 431 time 34.5527 not-muc 2527223 unknown 1368 muc 430
38.09/38.18	c iter 432 time 34.6327 not-muc 2527223 unknown 1367 muc 431
38.09/38.18	c iter 433 time 34.7127 not-muc 2527223 unknown 1366 muc 432
38.09/38.18	c iter 434 time 34.7927 not-muc 2527223 unknown 1365 muc 433
38.09/38.18	c iter 435 time 34.8717 not-muc 2527223 unknown 1364 muc 434
38.09/38.18	c iter 436 time 34.9517 not-muc 2527223 unknown 1363 muc 435
38.09/38.18	c iter 437 time 35.0307 not-muc 2527223 unknown 1362 muc 436
38.09/38.18	c iter 438 time 35.1107 not-muc 2527223 unknown 1361 muc 437
38.09/38.18	c iter 439 time 35.1897 not-muc 2527223 unknown 1360 muc 438
38.09/38.18	c iter 440 time 35.2696 not-muc 2527223 unknown 1359 muc 439
38.09/38.18	c iter 441 time 35.3496 not-muc 2527223 unknown 1358 muc 440
38.09/38.18	c iter 442 time 35.4286 not-muc 2527223 unknown 1357 muc 441
38.09/38.18	c iter 443 time 35.5086 not-muc 2527223 unknown 1356 muc 442
38.09/38.18	c iter 444 time 35.5876 not-muc 2527223 unknown 1355 muc 443
38.09/38.18	c iter 445 time 35.6676 not-muc 2527223 unknown 1354 muc 444
38.09/38.18	c iter 446 time 35.7476 not-muc 2527223 unknown 1353 muc 445
38.09/38.18	c iter 447 time 35.8266 not-muc 2527223 unknown 1352 muc 446
38.09/38.18	c iter 448 time 35.9065 not-muc 2527223 unknown 1351 muc 447
38.09/38.18	c iter 449 time 35.9855 not-muc 2527223 unknown 1350 muc 448
38.09/38.18	c iter 450 time 36.0655 not-muc 2527223 unknown 1349 muc 449
38.09/38.18	c iter 451 time 36.1445 not-muc 2527223 unknown 1348 muc 450
38.09/38.18	c iter 452 time 36.2245 not-muc 2527223 unknown 1347 muc 451
38.09/38.18	c iter 453 time 36.3035 not-muc 2527223 unknown 1346 muc 452
38.09/38.18	c iter 454 time 36.3835 not-muc 2527223 unknown 1345 muc 453
38.09/38.18	c iter 455 time 36.4625 not-muc 2527223 unknown 1344 muc 454
38.09/38.18	c iter 456 time 36.5424 not-muc 2527223 unknown 1343 muc 455
38.09/38.18	c iter 457 time 36.6214 not-muc 2527223 unknown 1342 muc 456
38.09/38.18	c iter 458 time 36.7004 not-muc 2527223 unknown 1341 muc 457
38.09/38.18	c iter 459 time 36.7794 not-muc 2527223 unknown 1340 muc 458
38.09/38.18	c iter 460 time 36.8584 not-muc 2527223 unknown 1339 muc 459
38.09/38.18	c iter 461 time 36.9384 not-muc 2527223 unknown 1338 muc 460
38.09/38.18	c iter 462 time 37.0184 not-muc 2527223 unknown 1337 muc 461
38.09/38.18	c iter 463 time 37.0974 not-muc 2527223 unknown 1336 muc 462
38.09/38.18	c iter 464 time 37.1773 not-muc 2527223 unknown 1335 muc 463
38.09/38.18	c iter 465 time 37.2573 not-muc 2527223 unknown 1334 muc 464
38.09/38.18	c iter 466 time 37.3363 not-muc 2527223 unknown 1333 muc 465
38.09/38.18	c iter 467 time 37.4163 not-muc 2527223 unknown 1332 muc 466
38.09/38.18	c iter 468 time 37.4953 not-muc 2527223 unknown 1331 muc 467
38.09/38.18	c iter 469 time 37.5743 not-muc 2527223 unknown 1330 muc 468
38.09/38.18	c iter 470 time 37.6553 not-muc 2527223 unknown 1329 muc 469
38.09/38.18	c iter 471 time 37.7343 not-muc 2527223 unknown 1328 muc 470
38.09/38.18	c iter 472 time 37.8143 not-muc 2527223 unknown 1327 muc 471
38.09/38.18	c iter 473 time 37.8932 not-muc 2527223 unknown 1326 muc 472
38.09/38.18	c iter 474 time 37.9732 not-muc 2527223 unknown 1325 muc 473
43.39/43.49	c iter 475 time 38.0532 not-muc 2527223 unknown 1324 muc 474
43.39/43.49	c iter 476 time 38.1312 not-muc 2527223 unknown 1323 muc 475
43.39/43.49	c iter 477 time 38.2092 not-muc 2527223 unknown 1322 muc 476
43.39/43.49	c iter 478 time 38.2882 not-muc 2527223 unknown 1321 muc 477
43.39/43.49	c iter 479 time 38.3662 not-muc 2527223 unknown 1320 muc 478
43.39/43.49	c iter 480 time 38.4442 not-muc 2527223 unknown 1319 muc 479
43.39/43.49	c iter 481 time 38.5221 not-muc 2527223 unknown 1318 muc 480
43.39/43.49	c iter 482 time 38.6001 not-muc 2527223 unknown 1317 muc 481
43.39/43.49	c iter 483 time 38.6791 not-muc 2527223 unknown 1316 muc 482
43.39/43.49	c iter 484 time 38.7571 not-muc 2527223 unknown 1315 muc 483
43.39/43.49	c iter 485 time 38.8351 not-muc 2527223 unknown 1314 muc 484
43.39/43.49	c iter 486 time 38.9131 not-muc 2527223 unknown 1313 muc 485
43.39/43.49	c iter 487 time 38.9911 not-muc 2527223 unknown 1312 muc 486
43.39/43.49	c iter 488 time 39.0691 not-muc 2527223 unknown 1311 muc 487
43.39/43.49	c iter 489 time 39.147 not-muc 2527223 unknown 1310 muc 488
43.39/43.49	c iter 490 time 39.225 not-muc 2527223 unknown 1309 muc 489
43.39/43.49	c iter 491 time 39.304 not-muc 2527223 unknown 1308 muc 490
43.39/43.49	c iter 492 time 39.384 not-muc 2527223 unknown 1307 muc 491
43.39/43.49	c iter 493 time 39.463 not-muc 2527223 unknown 1306 muc 492
43.39/43.49	c iter 494 time 39.542 not-muc 2527223 unknown 1305 muc 493
43.39/43.49	c iter 495 time 39.621 not-muc 2527223 unknown 1304 muc 494
43.39/43.49	c iter 496 time 39.7 not-muc 2527223 unknown 1303 muc 495
43.39/43.49	c iter 497 time 39.78 not-muc 2527223 unknown 1302 muc 496
43.39/43.49	c iter 498 time 39.8589 not-muc 2527223 unknown 1301 muc 497
43.39/43.49	c iter 499 time 39.9379 not-muc 2527223 unknown 1300 muc 498
43.39/43.49	c iter 500 time 40.0179 not-muc 2527223 unknown 1299 muc 499
43.39/43.49	c iter 501 time 40.0979 not-muc 2527223 unknown 1298 muc 500
43.39/43.49	c iter 502 time 40.1769 not-muc 2527223 unknown 1297 muc 501
43.39/43.49	c iter 503 time 40.2569 not-muc 2527223 unknown 1296 muc 502
43.39/43.49	c iter 504 time 40.3369 not-muc 2527223 unknown 1295 muc 503
43.39/43.49	c iter 505 time 40.4159 not-muc 2527223 unknown 1294 muc 504
43.39/43.49	c iter 506 time 40.4958 not-muc 2527223 unknown 1293 muc 505
43.39/43.49	c iter 507 time 40.5748 not-muc 2527223 unknown 1292 muc 506
43.39/43.49	c iter 508 time 40.6548 not-muc 2527223 unknown 1291 muc 507
43.39/43.49	c iter 509 time 40.7348 not-muc 2527223 unknown 1290 muc 508
43.39/43.49	c iter 510 time 40.8148 not-muc 2527223 unknown 1289 muc 509
43.39/43.49	c iter 511 time 40.8938 not-muc 2527223 unknown 1288 muc 510
43.39/43.49	c iter 512 time 40.9728 not-muc 2527223 unknown 1287 muc 511
43.39/43.49	c iter 513 time 41.0528 not-muc 2527223 unknown 1286 muc 512
43.39/43.49	c iter 514 time 41.1327 not-muc 2527223 unknown 1285 muc 513
43.39/43.49	c iter 515 time 41.2127 not-muc 2527223 unknown 1284 muc 514
43.39/43.49	c iter 516 time 41.2917 not-muc 2527223 unknown 1283 muc 515
43.39/43.49	c iter 517 time 41.3717 not-muc 2527223 unknown 1282 muc 516
43.39/43.49	c iter 518 time 41.4507 not-muc 2527223 unknown 1281 muc 517
43.39/43.49	c iter 519 time 41.5307 not-muc 2527223 unknown 1280 muc 518
43.39/43.49	c iter 520 time 41.6107 not-muc 2527223 unknown 1279 muc 519
43.39/43.49	c iter 521 time 41.6907 not-muc 2527223 unknown 1278 muc 520
43.39/43.49	c iter 522 time 41.7696 not-muc 2527223 unknown 1277 muc 521
43.39/43.49	c iter 523 time 41.8486 not-muc 2527223 unknown 1276 muc 522
43.39/43.49	c iter 524 time 41.9286 not-muc 2527223 unknown 1275 muc 523
43.39/43.49	c iter 525 time 42.0076 not-muc 2527223 unknown 1274 muc 524
43.39/43.49	c iter 526 time 42.0876 not-muc 2527223 unknown 1273 muc 525
43.39/43.49	c iter 527 time 42.1666 not-muc 2527223 unknown 1272 muc 526
43.39/43.49	c iter 528 time 42.2466 not-muc 2527223 unknown 1271 muc 527
43.39/43.49	c iter 529 time 42.3266 not-muc 2527223 unknown 1270 muc 528
43.39/43.49	c iter 530 time 42.4056 not-muc 2527223 unknown 1269 muc 529
43.39/43.49	c iter 531 time 42.4855 not-muc 2527223 unknown 1268 muc 530
43.39/43.49	c iter 532 time 42.5655 not-muc 2527223 unknown 1267 muc 531
43.39/43.49	c iter 533 time 42.6455 not-muc 2527223 unknown 1266 muc 532
43.39/43.49	c iter 534 time 42.7245 not-muc 2527223 unknown 1265 muc 533
43.39/43.49	c iter 535 time 42.8045 not-muc 2527223 unknown 1264 muc 534
43.39/43.49	c iter 536 time 42.8845 not-muc 2527223 unknown 1263 muc 535
43.39/43.49	c iter 537 time 42.9635 not-muc 2527223 unknown 1262 muc 536
43.39/43.49	c iter 538 time 43.0435 not-muc 2527223 unknown 1261 muc 537
43.39/43.49	c iter 539 time 43.1234 not-muc 2527223 unknown 1260 muc 538
43.39/43.49	c iter 540 time 43.2034 not-muc 2527223 unknown 1259 muc 539
43.39/43.49	c iter 541 time 43.2824 not-muc 2527223 unknown 1258 muc 540
48.79/48.81	c iter 542 time 43.3614 not-muc 2527223 unknown 1257 muc 541
48.79/48.81	c iter 543 time 43.4414 not-muc 2527223 unknown 1256 muc 542
48.79/48.81	c iter 544 time 43.5214 not-muc 2527223 unknown 1255 muc 543
48.79/48.81	c iter 545 time 43.6014 not-muc 2527223 unknown 1254 muc 544
48.79/48.81	c iter 546 time 43.6814 not-muc 2527223 unknown 1253 muc 545
48.79/48.81	c iter 547 time 43.7603 not-muc 2527223 unknown 1252 muc 546
48.79/48.81	c iter 548 time 43.8413 not-muc 2527223 unknown 1251 muc 547
48.79/48.81	c iter 549 time 43.9203 not-muc 2527223 unknown 1250 muc 548
48.79/48.81	c iter 550 time 44.0003 not-muc 2527223 unknown 1249 muc 549
48.79/48.81	c iter 551 time 44.0803 not-muc 2527223 unknown 1248 muc 550
48.79/48.81	c iter 552 time 44.1593 not-muc 2527223 unknown 1247 muc 551
48.79/48.81	c iter 553 time 44.2393 not-muc 2527223 unknown 1246 muc 552
48.79/48.81	c iter 554 time 44.3193 not-muc 2527223 unknown 1245 muc 553
48.79/48.81	c iter 555 time 44.3982 not-muc 2527223 unknown 1244 muc 554
48.79/48.81	c iter 556 time 44.4782 not-muc 2527223 unknown 1243 muc 555
48.79/48.81	c iter 557 time 44.5572 not-muc 2527223 unknown 1242 muc 556
48.79/48.81	c iter 558 time 44.6362 not-muc 2527223 unknown 1241 muc 557
48.79/48.81	c iter 559 time 44.7142 not-muc 2527223 unknown 1240 muc 558
48.79/48.81	c iter 560 time 44.7922 not-muc 2527223 unknown 1239 muc 559
48.79/48.81	c iter 561 time 44.8702 not-muc 2527223 unknown 1238 muc 560
48.79/48.81	c iter 562 time 44.9482 not-muc 2527223 unknown 1237 muc 561
48.79/48.81	c iter 563 time 45.0262 not-muc 2527223 unknown 1236 muc 562
48.79/48.81	c iter 564 time 45.1041 not-muc 2527223 unknown 1235 muc 563
48.79/48.81	c iter 565 time 45.1821 not-muc 2527223 unknown 1234 muc 564
48.79/48.81	c iter 566 time 45.2601 not-muc 2527223 unknown 1233 muc 565
48.79/48.81	c iter 567 time 45.3381 not-muc 2527223 unknown 1232 muc 566
48.79/48.81	c iter 568 time 45.4161 not-muc 2527223 unknown 1231 muc 567
48.79/48.81	c iter 569 time 45.4941 not-muc 2527223 unknown 1230 muc 568
48.79/48.81	c iter 570 time 45.5721 not-muc 2527223 unknown 1229 muc 569
48.79/48.81	c iter 571 time 45.6511 not-muc 2527223 unknown 1228 muc 570
48.79/48.81	c iter 572 time 45.729 not-muc 2527223 unknown 1227 muc 571
48.79/48.81	c iter 573 time 45.808 not-muc 2527223 unknown 1226 muc 572
48.79/48.81	c iter 574 time 45.887 not-muc 2527223 unknown 1225 muc 573
48.79/48.81	c iter 575 time 45.966 not-muc 2527223 unknown 1224 muc 574
48.79/48.81	c iter 576 time 46.045 not-muc 2527223 unknown 1223 muc 575
48.79/48.81	c iter 577 time 46.124 not-muc 2527223 unknown 1222 muc 576
48.79/48.81	c iter 578 time 46.203 not-muc 2527223 unknown 1221 muc 577
48.79/48.81	c iter 579 time 46.282 not-muc 2527223 unknown 1220 muc 578
48.79/48.81	c iter 580 time 46.362 not-muc 2527223 unknown 1219 muc 579
48.79/48.81	c iter 581 time 46.4499 not-muc 2527223 unknown 1218 muc 580
48.79/48.81	c iter 582 time 46.5299 not-muc 2527223 unknown 1217 muc 581
48.79/48.81	c iter 583 time 46.6089 not-muc 2527223 unknown 1216 muc 582
48.79/48.81	c iter 584 time 46.6889 not-muc 2527223 unknown 1215 muc 583
48.79/48.81	c iter 585 time 46.7689 not-muc 2527223 unknown 1214 muc 584
48.79/48.81	c iter 586 time 46.8479 not-muc 2527223 unknown 1213 muc 585
48.79/48.81	c iter 587 time 46.9279 not-muc 2527223 unknown 1212 muc 586
48.79/48.81	c iter 588 time 47.0069 not-muc 2527223 unknown 1211 muc 587
48.79/48.81	c iter 589 time 47.0868 not-muc 2527223 unknown 1210 muc 588
48.79/48.81	c iter 590 time 47.1658 not-muc 2527223 unknown 1209 muc 589
48.79/48.81	c iter 591 time 47.2458 not-muc 2527223 unknown 1208 muc 590
48.79/48.81	c iter 592 time 47.3258 not-muc 2527223 unknown 1207 muc 591
48.79/48.81	c iter 593 time 47.4048 not-muc 2527223 unknown 1206 muc 592
48.79/48.81	c iter 594 time 47.4848 not-muc 2527223 unknown 1205 muc 593
48.79/48.81	c iter 595 time 47.5648 not-muc 2527223 unknown 1204 muc 594
48.79/48.81	c iter 596 time 47.6438 not-muc 2527223 unknown 1203 muc 595
48.79/48.81	c iter 597 time 47.7237 not-muc 2527223 unknown 1202 muc 596
48.79/48.81	c iter 598 time 47.8027 not-muc 2527223 unknown 1201 muc 597
48.79/48.81	c iter 599 time 47.8827 not-muc 2527223 unknown 1200 muc 598
48.79/48.81	c iter 600 time 47.9617 not-muc 2527223 unknown 1199 muc 599
48.79/48.81	c iter 601 time 48.0417 not-muc 2527223 unknown 1198 muc 600
48.79/48.81	c iter 602 time 48.1217 not-muc 2527223 unknown 1197 muc 601
48.79/48.81	c iter 603 time 48.2007 not-muc 2527223 unknown 1196 muc 602
48.79/48.81	c iter 604 time 48.2807 not-muc 2527223 unknown 1195 muc 603
48.79/48.81	c iter 605 time 48.3596 not-muc 2527223 unknown 1194 muc 604
48.79/48.81	c iter 606 time 48.4396 not-muc 2527223 unknown 1193 muc 605
48.79/48.81	c iter 607 time 48.5196 not-muc 2527223 unknown 1192 muc 606
48.79/48.81	c iter 608 time 48.5986 not-muc 2527223 unknown 1191 muc 607
54.09/54.17	c iter 609 time 48.6786 not-muc 2527223 unknown 1190 muc 608
54.09/54.17	c iter 610 time 48.7576 not-muc 2527223 unknown 1189 muc 609
54.09/54.17	c iter 611 time 48.8376 not-muc 2527223 unknown 1188 muc 610
54.09/54.17	c iter 612 time 48.9166 not-muc 2527223 unknown 1187 muc 611
54.09/54.17	c iter 613 time 48.9966 not-muc 2527223 unknown 1186 muc 612
54.09/54.17	c iter 614 time 49.0755 not-muc 2527223 unknown 1185 muc 613
54.09/54.17	c iter 615 time 49.1555 not-muc 2527223 unknown 1184 muc 614
54.09/54.17	c iter 616 time 49.2345 not-muc 2527223 unknown 1183 muc 615
54.09/54.17	c iter 617 time 49.3135 not-muc 2527223 unknown 1182 muc 616
54.09/54.17	c iter 618 time 49.3935 not-muc 2527223 unknown 1181 muc 617
54.09/54.17	c iter 619 time 49.4725 not-muc 2527223 unknown 1180 muc 618
54.09/54.17	c iter 620 time 49.5515 not-muc 2527223 unknown 1179 muc 619
54.09/54.17	c iter 621 time 49.6315 not-muc 2527223 unknown 1178 muc 620
54.09/54.17	c iter 622 time 49.7104 not-muc 2527223 unknown 1177 muc 621
54.09/54.17	c iter 623 time 49.7894 not-muc 2527223 unknown 1176 muc 622
54.09/54.17	c iter 624 time 49.8684 not-muc 2527223 unknown 1175 muc 623
54.09/54.17	c iter 625 time 49.9474 not-muc 2527223 unknown 1174 muc 624
54.09/54.17	c iter 626 time 50.0264 not-muc 2527223 unknown 1173 muc 625
54.09/54.17	c iter 627 time 50.1054 not-muc 2527223 unknown 1172 muc 626
54.09/54.17	c iter 628 time 50.1854 not-muc 2527223 unknown 1171 muc 627
54.09/54.17	c iter 629 time 50.2634 not-muc 2527223 unknown 1170 muc 628
54.09/54.17	c iter 630 time 50.3423 not-muc 2527223 unknown 1169 muc 629
54.09/54.17	c iter 631 time 50.4203 not-muc 2527223 unknown 1168 muc 630
54.09/54.17	c iter 632 time 50.4993 not-muc 2527223 unknown 1167 muc 631
54.09/54.17	c iter 633 time 50.5783 not-muc 2527223 unknown 1166 muc 632
54.09/54.17	c iter 634 time 50.6573 not-muc 2527223 unknown 1165 muc 633
54.09/54.17	c iter 635 time 50.7373 not-muc 2527223 unknown 1164 muc 634
54.09/54.17	c iter 636 time 50.8163 not-muc 2527223 unknown 1163 muc 635
54.09/54.17	c iter 637 time 50.8953 not-muc 2527223 unknown 1162 muc 636
54.09/54.17	c iter 638 time 50.9742 not-muc 2527223 unknown 1161 muc 637
54.09/54.17	c iter 639 time 51.0532 not-muc 2527223 unknown 1160 muc 638
54.09/54.17	c iter 640 time 51.1322 not-muc 2527223 unknown 1159 muc 639
54.09/54.17	c iter 641 time 51.2112 not-muc 2527223 unknown 1158 muc 640
54.09/54.17	c iter 642 time 51.2892 not-muc 2527223 unknown 1157 muc 641
54.09/54.17	c iter 643 time 51.3662 not-muc 2527223 unknown 1156 muc 642
54.09/54.17	c iter 644 time 51.4442 not-muc 2527223 unknown 1155 muc 643
54.09/54.17	c iter 645 time 51.5222 not-muc 2527223 unknown 1154 muc 644
54.09/54.17	c iter 646 time 51.6002 not-muc 2527223 unknown 1153 muc 645
54.09/54.17	c iter 647 time 51.6781 not-muc 2527223 unknown 1152 muc 646
54.09/54.17	c iter 648 time 51.7561 not-muc 2527223 unknown 1151 muc 647
54.09/54.17	c iter 649 time 51.8331 not-muc 2527223 unknown 1150 muc 648
54.09/54.17	c iter 650 time 51.9111 not-muc 2527223 unknown 1149 muc 649
54.09/54.17	c iter 651 time 51.9881 not-muc 2527223 unknown 1148 muc 650
54.09/54.17	c iter 652 time 52.0661 not-muc 2527223 unknown 1147 muc 651
54.09/54.17	c iter 653 time 52.1441 not-muc 2527223 unknown 1146 muc 652
54.09/54.17	c iter 654 time 52.2211 not-muc 2527223 unknown 1145 muc 653
54.09/54.17	c iter 655 time 52.299 not-muc 2527223 unknown 1144 muc 654
54.09/54.17	c iter 656 time 52.377 not-muc 2527223 unknown 1143 muc 655
54.09/54.17	c iter 657 time 52.456 not-muc 2527223 unknown 1142 muc 656
54.09/54.17	c iter 658 time 52.534 not-muc 2527223 unknown 1141 muc 657
54.09/54.17	c iter 659 time 52.613 not-muc 2527223 unknown 1140 muc 658
54.09/54.17	c iter 660 time 52.692 not-muc 2527223 unknown 1139 muc 659
54.09/54.17	c iter 661 time 52.771 not-muc 2527223 unknown 1138 muc 660
54.09/54.17	c iter 662 time 52.849 not-muc 2527223 unknown 1137 muc 661
54.09/54.17	c iter 663 time 52.928 not-muc 2527223 unknown 1136 muc 662
54.09/54.17	c iter 664 time 53.0069 not-muc 2527223 unknown 1135 muc 663
54.09/54.17	c iter 665 time 53.0859 not-muc 2527223 unknown 1134 muc 664
54.09/54.17	c iter 666 time 53.1649 not-muc 2527223 unknown 1133 muc 665
54.09/54.17	c iter 667 time 53.2439 not-muc 2527223 unknown 1132 muc 666
54.09/54.17	c iter 668 time 53.3229 not-muc 2527223 unknown 1131 muc 667
54.09/54.17	c iter 669 time 53.4019 not-muc 2527223 unknown 1130 muc 668
54.09/54.17	c iter 670 time 53.4819 not-muc 2527223 unknown 1129 muc 669
54.09/54.17	c iter 671 time 53.5599 not-muc 2527223 unknown 1128 muc 670
54.09/54.17	c iter 672 time 53.6398 not-muc 2527223 unknown 1127 muc 671
54.09/54.17	c iter 673 time 53.7188 not-muc 2527223 unknown 1126 muc 672
54.09/54.17	c iter 674 time 53.7978 not-muc 2527223 unknown 1125 muc 673
54.09/54.17	c iter 675 time 53.8768 not-muc 2527223 unknown 1124 muc 674
54.09/54.17	c iter 676 time 53.9558 not-muc 2527223 unknown 1123 muc 675
59.40/59.44	c iter 677 time 54.0348 not-muc 2527223 unknown 1122 muc 676
59.40/59.44	c iter 678 time 54.1138 not-muc 2527223 unknown 1121 muc 677
59.40/59.44	c iter 679 time 54.1928 not-muc 2527223 unknown 1120 muc 678
59.40/59.44	c iter 680 time 54.2717 not-muc 2527223 unknown 1119 muc 679
59.40/59.44	c iter 681 time 54.3507 not-muc 2527223 unknown 1118 muc 680
59.40/59.44	c iter 682 time 54.4297 not-muc 2527223 unknown 1117 muc 681
59.40/59.44	c iter 683 time 54.5087 not-muc 2527223 unknown 1116 muc 682
59.40/59.44	c iter 684 time 54.5887 not-muc 2527223 unknown 1115 muc 683
59.40/59.44	c iter 685 time 54.6677 not-muc 2527223 unknown 1114 muc 684
59.40/59.44	c iter 686 time 54.7467 not-muc 2527223 unknown 1113 muc 685
59.40/59.44	c iter 687 time 54.8267 not-muc 2527223 unknown 1112 muc 686
59.40/59.44	c iter 688 time 54.9057 not-muc 2527223 unknown 1111 muc 687
59.40/59.44	c iter 689 time 54.9846 not-muc 2527223 unknown 1110 muc 688
59.40/59.44	c iter 690 time 55.0636 not-muc 2527223 unknown 1109 muc 689
59.40/59.44	c iter 691 time 55.1426 not-muc 2527223 unknown 1108 muc 690
59.40/59.44	c iter 692 time 55.2216 not-muc 2527223 unknown 1107 muc 691
59.40/59.44	c iter 693 time 55.3006 not-muc 2527223 unknown 1106 muc 692
59.40/59.44	c iter 694 time 55.3796 not-muc 2527223 unknown 1105 muc 693
59.40/59.44	c iter 695 time 55.4586 not-muc 2527223 unknown 1104 muc 694
59.40/59.44	c iter 696 time 55.5376 not-muc 2527223 unknown 1103 muc 695
59.40/59.44	c iter 697 time 55.6165 not-muc 2527223 unknown 1102 muc 696
59.40/59.44	c iter 698 time 55.6965 not-muc 2527223 unknown 1101 muc 697
59.40/59.44	c iter 699 time 55.7755 not-muc 2527223 unknown 1100 muc 698
59.40/59.44	c iter 700 time 55.8545 not-muc 2527223 unknown 1099 muc 699
59.40/59.44	c iter 701 time 55.9335 not-muc 2527223 unknown 1098 muc 700
59.40/59.44	c iter 702 time 56.0135 not-muc 2527223 unknown 1097 muc 701
59.40/59.44	c iter 703 time 56.0925 not-muc 2527223 unknown 1096 muc 702
59.40/59.44	c iter 704 time 56.1715 not-muc 2527223 unknown 1095 muc 703
59.40/59.44	c iter 705 time 56.2504 not-muc 2527223 unknown 1094 muc 704
59.40/59.44	c iter 706 time 56.3294 not-muc 2527223 unknown 1093 muc 705
59.40/59.44	c iter 707 time 56.4084 not-muc 2527223 unknown 1092 muc 706
59.40/59.44	c iter 708 time 56.4874 not-muc 2527223 unknown 1091 muc 707
59.40/59.44	c iter 709 time 56.5664 not-muc 2527223 unknown 1090 muc 708
59.40/59.44	c iter 710 time 56.6464 not-muc 2527223 unknown 1089 muc 709
59.40/59.44	c iter 711 time 56.7254 not-muc 2527223 unknown 1088 muc 710
59.40/59.44	c iter 712 time 56.8054 not-muc 2527223 unknown 1087 muc 711
59.40/59.44	c iter 713 time 56.8844 not-muc 2527223 unknown 1086 muc 712
59.40/59.44	c iter 714 time 56.9633 not-muc 2527223 unknown 1085 muc 713
59.40/59.44	c iter 715 time 57.0423 not-muc 2527223 unknown 1084 muc 714
59.40/59.44	c iter 716 time 57.1213 not-muc 2527223 unknown 1083 muc 715
59.40/59.44	c iter 717 time 57.2003 not-muc 2527223 unknown 1082 muc 716
59.40/59.44	c iter 718 time 57.2793 not-muc 2527223 unknown 1081 muc 717
59.40/59.44	c iter 719 time 57.3583 not-muc 2527223 unknown 1080 muc 718
59.40/59.44	c iter 720 time 57.4373 not-muc 2527223 unknown 1079 muc 719
59.40/59.44	c iter 721 time 57.5163 not-muc 2527223 unknown 1078 muc 720
59.40/59.44	c iter 722 time 57.5962 not-muc 2527223 unknown 1077 muc 721
59.40/59.44	c iter 723 time 57.6752 not-muc 2527223 unknown 1076 muc 722
59.40/59.44	c iter 724 time 57.7532 not-muc 2527223 unknown 1075 muc 723
59.40/59.44	c iter 725 time 57.8312 not-muc 2527223 unknown 1074 muc 724
59.40/59.44	c iter 726 time 57.9092 not-muc 2527223 unknown 1073 muc 725
59.40/59.44	c iter 727 time 57.9862 not-muc 2527223 unknown 1072 muc 726
59.40/59.44	c iter 728 time 58.0642 not-muc 2527223 unknown 1071 muc 727
59.40/59.44	c iter 729 time 58.1412 not-muc 2527223 unknown 1070 muc 728
59.40/59.44	c iter 730 time 58.2191 not-muc 2527223 unknown 1069 muc 729
59.40/59.44	c iter 731 time 58.2961 not-muc 2527223 unknown 1068 muc 730
59.40/59.44	c iter 732 time 58.3741 not-muc 2527223 unknown 1067 muc 731
59.40/59.44	c iter 733 time 58.4511 not-muc 2527223 unknown 1066 muc 732
59.40/59.44	c iter 734 time 58.5291 not-muc 2527223 unknown 1065 muc 733
59.40/59.44	c iter 735 time 58.6071 not-muc 2527223 unknown 1064 muc 734
59.40/59.44	c iter 736 time 58.6841 not-muc 2527223 unknown 1063 muc 735
59.40/59.44	c iter 737 time 58.7611 not-muc 2527223 unknown 1062 muc 736
59.40/59.44	c iter 738 time 58.8391 not-muc 2527223 unknown 1061 muc 737
59.40/59.44	c iter 739 time 58.917 not-muc 2527223 unknown 1060 muc 738
59.40/59.44	c iter 740 time 58.996 not-muc 2527223 unknown 1059 muc 739
59.40/59.44	c iter 741 time 59.075 not-muc 2527223 unknown 1058 muc 740
59.40/59.44	c iter 742 time 59.153 not-muc 2527223 unknown 1057 muc 741
59.40/59.44	c iter 743 time 59.232 not-muc 2527223 unknown 1056 muc 742
64.69/64.75	c iter 744 time 59.311 not-muc 2527223 unknown 1055 muc 743
64.69/64.75	c iter 745 time 59.39 not-muc 2527223 unknown 1054 muc 744
64.69/64.75	c iter 746 time 59.469 not-muc 2527223 unknown 1053 muc 745
64.69/64.75	c iter 747 time 59.5479 not-muc 2527223 unknown 1052 muc 746
64.69/64.75	c iter 748 time 59.6259 not-muc 2527223 unknown 1051 muc 747
64.69/64.75	c iter 749 time 59.7059 not-muc 2527223 unknown 1050 muc 748
64.69/64.75	c iter 750 time 59.7849 not-muc 2527223 unknown 1049 muc 749
64.69/64.75	c iter 751 time 59.8639 not-muc 2527223 unknown 1048 muc 750
64.69/64.75	c iter 752 time 59.9429 not-muc 2527223 unknown 1047 muc 751
64.69/64.75	c iter 753 time 60.0219 not-muc 2527223 unknown 1046 muc 752
64.69/64.75	c iter 754 time 60.1009 not-muc 2527223 unknown 1045 muc 753
64.69/64.75	c iter 755 time 60.1799 not-muc 2527223 unknown 1044 muc 754
64.69/64.75	c iter 756 time 60.2588 not-muc 2527223 unknown 1043 muc 755
64.69/64.75	c iter 757 time 60.3378 not-muc 2527223 unknown 1042 muc 756
64.69/64.75	c iter 758 time 60.4178 not-muc 2527223 unknown 1041 muc 757
64.69/64.75	c iter 759 time 60.4958 not-muc 2527223 unknown 1040 muc 758
64.69/64.75	c iter 760 time 60.5758 not-muc 2527223 unknown 1039 muc 759
64.69/64.75	c iter 761 time 60.6548 not-muc 2527223 unknown 1038 muc 760
64.69/64.75	c iter 762 time 60.7338 not-muc 2527223 unknown 1037 muc 761
64.69/64.75	c iter 763 time 60.8128 not-muc 2527223 unknown 1036 muc 762
64.69/64.75	c iter 764 time 60.8927 not-muc 2527223 unknown 1035 muc 763
64.69/64.75	c iter 765 time 60.9717 not-muc 2527223 unknown 1034 muc 764
64.69/64.75	c iter 766 time 61.0507 not-muc 2527223 unknown 1033 muc 765
64.69/64.75	c iter 767 time 61.1297 not-muc 2527223 unknown 1032 muc 766
64.69/64.75	c iter 768 time 61.2087 not-muc 2527223 unknown 1031 muc 767
64.69/64.75	c iter 769 time 61.2877 not-muc 2527223 unknown 1030 muc 768
64.69/64.75	c iter 770 time 61.3667 not-muc 2527223 unknown 1029 muc 769
64.69/64.75	c iter 771 time 61.4457 not-muc 2527223 unknown 1028 muc 770
64.69/64.75	c iter 772 time 61.5246 not-muc 2527223 unknown 1027 muc 771
64.69/64.75	c iter 773 time 61.6036 not-muc 2527223 unknown 1026 muc 772
64.69/64.75	c iter 774 time 61.6826 not-muc 2527223 unknown 1025 muc 773
64.69/64.75	c iter 775 time 61.7616 not-muc 2527223 unknown 1024 muc 774
64.69/64.75	c iter 776 time 61.8406 not-muc 2527223 unknown 1023 muc 775
64.69/64.75	c iter 777 time 61.9206 not-muc 2527223 unknown 1022 muc 776
64.69/64.75	c iter 778 time 61.9996 not-muc 2527223 unknown 1021 muc 777
64.69/64.75	c iter 779 time 62.0786 not-muc 2527223 unknown 1020 muc 778
64.69/64.75	c iter 780 time 62.1566 not-muc 2527223 unknown 1019 muc 779
64.69/64.75	c iter 781 time 62.2355 not-muc 2527223 unknown 1018 muc 780
64.69/64.75	c iter 782 time 62.3145 not-muc 2527223 unknown 1017 muc 781
64.69/64.75	c iter 783 time 62.3935 not-muc 2527223 unknown 1016 muc 782
64.69/64.75	c iter 784 time 62.4725 not-muc 2527223 unknown 1015 muc 783
64.69/64.75	c iter 785 time 62.5515 not-muc 2527223 unknown 1014 muc 784
64.69/64.75	c iter 786 time 62.6305 not-muc 2527223 unknown 1013 muc 785
64.69/64.75	c iter 787 time 62.7105 not-muc 2527223 unknown 1012 muc 786
64.69/64.75	c iter 788 time 62.7895 not-muc 2527223 unknown 1011 muc 787
64.69/64.75	c iter 789 time 62.8774 not-muc 2527223 unknown 1010 muc 788
64.69/64.75	c iter 790 time 62.9564 not-muc 2527223 unknown 1009 muc 789
64.69/64.75	c iter 791 time 63.0354 not-muc 2527223 unknown 1008 muc 790
64.69/64.75	c iter 792 time 63.1144 not-muc 2527223 unknown 1007 muc 791
64.69/64.75	c iter 793 time 63.1934 not-muc 2527223 unknown 1006 muc 792
64.69/64.75	c iter 794 time 63.2724 not-muc 2527223 unknown 1005 muc 793
64.69/64.75	c iter 795 time 63.3514 not-muc 2527223 unknown 1004 muc 794
64.69/64.75	c iter 796 time 63.4314 not-muc 2527223 unknown 1003 muc 795
64.69/64.75	c iter 797 time 63.5103 not-muc 2527223 unknown 1002 muc 796
64.69/64.75	c iter 798 time 63.5883 not-muc 2527223 unknown 1001 muc 797
64.69/64.75	c iter 799 time 63.6683 not-muc 2527223 unknown 1000 muc 798
64.69/64.75	c iter 800 time 63.7473 not-muc 2527223 unknown 999 muc 799
64.69/64.75	c iter 801 time 63.8263 not-muc 2527223 unknown 998 muc 800
64.69/64.75	c iter 802 time 63.9053 not-muc 2527223 unknown 997 muc 801
64.69/64.75	c iter 803 time 63.9843 not-muc 2527223 unknown 996 muc 802
64.69/64.75	c iter 804 time 64.0643 not-muc 2527223 unknown 995 muc 803
64.69/64.75	c iter 805 time 64.1432 not-muc 2527223 unknown 994 muc 804
64.69/64.75	c iter 806 time 64.2212 not-muc 2527223 unknown 993 muc 805
64.69/64.75	c iter 807 time 64.3002 not-muc 2527223 unknown 992 muc 806
64.69/64.75	c iter 808 time 64.3782 not-muc 2527223 unknown 991 muc 807
64.69/64.75	c iter 809 time 64.4562 not-muc 2527223 unknown 990 muc 808
64.69/64.75	c iter 810 time 64.5332 not-muc 2527223 unknown 989 muc 809
70.09/70.18	c iter 811 time 64.6112 not-muc 2527223 unknown 988 muc 810
70.09/70.18	c iter 812 time 64.6892 not-muc 2527223 unknown 987 muc 811
70.09/70.18	c iter 813 time 64.7662 not-muc 2527223 unknown 986 muc 812
70.09/70.18	c iter 814 time 64.8441 not-muc 2527223 unknown 985 muc 813
70.09/70.18	c iter 815 time 64.9211 not-muc 2527223 unknown 984 muc 814
70.09/70.18	c iter 816 time 64.9991 not-muc 2527223 unknown 983 muc 815
70.09/70.18	c iter 817 time 65.0761 not-muc 2527223 unknown 982 muc 816
70.09/70.18	c iter 818 time 65.1541 not-muc 2527223 unknown 981 muc 817
70.09/70.18	c iter 819 time 65.2321 not-muc 2527223 unknown 980 muc 818
70.09/70.18	c iter 820 time 65.3091 not-muc 2527223 unknown 979 muc 819
70.09/70.18	c iter 821 time 65.3871 not-muc 2527223 unknown 978 muc 820
70.09/70.18	c iter 822 time 65.465 not-muc 2527223 unknown 977 muc 821
70.09/70.18	c iter 823 time 65.543 not-muc 2527223 unknown 976 muc 822
70.09/70.18	c iter 824 time 65.622 not-muc 2527223 unknown 975 muc 823
70.09/70.18	c iter 825 time 65.701 not-muc 2527223 unknown 974 muc 824
70.09/70.18	c iter 826 time 65.78 not-muc 2527223 unknown 973 muc 825
70.09/70.18	c iter 827 time 65.858 not-muc 2527223 unknown 972 muc 826
70.09/70.18	c iter 828 time 65.937 not-muc 2527223 unknown 971 muc 827
70.09/70.18	c iter 829 time 66.016 not-muc 2527223 unknown 970 muc 828
70.09/70.18	c iter 830 time 66.095 not-muc 2527223 unknown 969 muc 829
70.09/70.18	c iter 831 time 66.1739 not-muc 2527223 unknown 968 muc 830
70.09/70.18	c iter 832 time 66.2529 not-muc 2527223 unknown 967 muc 831
70.09/70.18	c iter 833 time 66.3319 not-muc 2527223 unknown 966 muc 832
70.09/70.18	c iter 834 time 66.4109 not-muc 2527223 unknown 965 muc 833
70.09/70.18	c iter 835 time 66.4899 not-muc 2527223 unknown 964 muc 834
70.09/70.18	c iter 836 time 66.5699 not-muc 2527223 unknown 963 muc 835
70.09/70.18	c iter 837 time 66.6489 not-muc 2527223 unknown 962 muc 836
70.09/70.18	c iter 838 time 66.7279 not-muc 2527223 unknown 961 muc 837
70.09/70.18	c iter 839 time 66.8068 not-muc 2527223 unknown 960 muc 838
70.09/70.18	c iter 840 time 66.8858 not-muc 2527223 unknown 959 muc 839
70.09/70.18	c iter 841 time 66.9648 not-muc 2527223 unknown 958 muc 840
70.09/70.18	c iter 842 time 67.0438 not-muc 2527223 unknown 957 muc 841
70.09/70.18	c iter 843 time 67.1228 not-muc 2527223 unknown 956 muc 842
70.09/70.18	c iter 844 time 67.2018 not-muc 2527223 unknown 955 muc 843
70.09/70.18	c iter 845 time 67.2808 not-muc 2527223 unknown 954 muc 844
70.09/70.18	c iter 846 time 67.3608 not-muc 2527223 unknown 953 muc 845
70.09/70.18	c iter 847 time 67.4397 not-muc 2527223 unknown 952 muc 846
70.09/70.18	c iter 848 time 67.5187 not-muc 2527223 unknown 951 muc 847
70.09/70.18	c iter 849 time 67.5977 not-muc 2527223 unknown 950 muc 848
70.09/70.18	c iter 850 time 67.6777 not-muc 2527223 unknown 949 muc 849
70.09/70.18	c iter 851 time 67.7567 not-muc 2527223 unknown 948 muc 850
70.09/70.18	c iter 852 time 67.8357 not-muc 2527223 unknown 947 muc 851
70.09/70.18	c iter 853 time 67.9147 not-muc 2527223 unknown 946 muc 852
70.09/70.18	c iter 854 time 67.9937 not-muc 2527223 unknown 945 muc 853
70.09/70.18	c iter 855 time 68.0727 not-muc 2527223 unknown 944 muc 854
70.09/70.18	c iter 856 time 68.1516 not-muc 2527223 unknown 943 muc 855
70.09/70.18	c iter 857 time 68.2306 not-muc 2527223 unknown 942 muc 856
70.09/70.18	c iter 858 time 68.3096 not-muc 2527223 unknown 941 muc 857
70.09/70.18	c iter 859 time 68.3886 not-muc 2527223 unknown 940 muc 858
70.09/70.18	c iter 860 time 68.4676 not-muc 2527223 unknown 939 muc 859
70.09/70.18	c iter 861 time 68.5466 not-muc 2527223 unknown 938 muc 860
70.09/70.18	c iter 862 time 68.6256 not-muc 2527223 unknown 937 muc 861
70.09/70.18	c iter 863 time 68.7056 not-muc 2527223 unknown 936 muc 862
70.09/70.18	c iter 864 time 68.7845 not-muc 2527223 unknown 935 muc 863
70.09/70.18	c iter 865 time 68.8635 not-muc 2527223 unknown 934 muc 864
70.09/70.18	c iter 866 time 68.9425 not-muc 2527223 unknown 933 muc 865
70.09/70.18	c iter 867 time 69.0215 not-muc 2527223 unknown 932 muc 866
70.09/70.18	c iter 868 time 69.1005 not-muc 2527223 unknown 931 muc 867
70.09/70.18	c iter 869 time 69.1795 not-muc 2527223 unknown 930 muc 868
70.09/70.18	c iter 870 time 69.2585 not-muc 2527223 unknown 929 muc 869
70.09/70.18	c iter 871 time 69.3375 not-muc 2527223 unknown 928 muc 870
70.09/70.18	c iter 872 time 69.4164 not-muc 2527223 unknown 927 muc 871
70.09/70.18	c iter 873 time 69.4954 not-muc 2527223 unknown 926 muc 872
70.09/70.18	c iter 874 time 69.5744 not-muc 2527223 unknown 925 muc 873
70.09/70.18	c iter 875 time 69.6534 not-muc 2527223 unknown 924 muc 874
70.09/70.18	c iter 876 time 69.7324 not-muc 2527223 unknown 923 muc 875
70.09/70.18	c iter 877 time 69.8114 not-muc 2527223 unknown 922 muc 876
70.09/70.18	c iter 878 time 69.8904 not-muc 2527223 unknown 921 muc 877
70.09/70.18	c iter 879 time 69.9694 not-muc 2527223 unknown 920 muc 878
75.39/75.43	c iter 880 time 70.0484 not-muc 2527223 unknown 919 muc 879
75.39/75.43	c iter 881 time 70.1273 not-muc 2527223 unknown 918 muc 880
75.39/75.43	c iter 882 time 70.2063 not-muc 2527223 unknown 917 muc 881
75.39/75.43	c iter 883 time 70.2853 not-muc 2527223 unknown 916 muc 882
75.39/75.43	c iter 884 time 70.3643 not-muc 2527223 unknown 915 muc 883
75.39/75.43	c iter 885 time 70.4433 not-muc 2527223 unknown 914 muc 884
75.39/75.43	c iter 886 time 70.5223 not-muc 2527223 unknown 913 muc 885
75.39/75.43	c iter 887 time 70.6013 not-muc 2527223 unknown 912 muc 886
75.39/75.43	c iter 888 time 70.6813 not-muc 2527223 unknown 911 muc 887
75.39/75.43	c iter 889 time 70.7602 not-muc 2527223 unknown 910 muc 888
75.39/75.43	c iter 890 time 70.8392 not-muc 2527223 unknown 909 muc 889
75.39/75.43	c iter 891 time 70.9172 not-muc 2527223 unknown 908 muc 890
75.39/75.43	c iter 892 time 70.9952 not-muc 2527223 unknown 907 muc 891
75.39/75.43	c iter 893 time 71.0722 not-muc 2527223 unknown 906 muc 892
75.39/75.43	c iter 894 time 71.1502 not-muc 2527223 unknown 905 muc 893
75.39/75.43	c iter 895 time 71.2282 not-muc 2527223 unknown 904 muc 894
75.39/75.43	c iter 896 time 71.3052 not-muc 2527223 unknown 903 muc 895
75.39/75.43	c iter 897 time 71.3831 not-muc 2527223 unknown 902 muc 896
75.39/75.43	c iter 898 time 71.4601 not-muc 2527223 unknown 901 muc 897
75.39/75.43	c iter 899 time 71.5371 not-muc 2527223 unknown 900 muc 898
75.39/75.43	c iter 900 time 71.6151 not-muc 2527223 unknown 899 muc 899
75.39/75.43	c iter 901 time 71.6931 not-muc 2527223 unknown 898 muc 900
75.39/75.43	c iter 902 time 71.7701 not-muc 2527223 unknown 897 muc 901
75.39/75.43	c iter 903 time 71.8481 not-muc 2527223 unknown 896 muc 902
75.39/75.43	c iter 904 time 71.9251 not-muc 2527223 unknown 895 muc 903
75.39/75.43	c iter 905 time 72.0031 not-muc 2527223 unknown 894 muc 904
75.39/75.43	c iter 906 time 72.082 not-muc 2527223 unknown 893 muc 905
75.39/75.43	c iter 907 time 72.16 not-muc 2527223 unknown 892 muc 906
75.39/75.43	c iter 908 time 72.239 not-muc 2527223 unknown 891 muc 907
75.39/75.43	c iter 909 time 72.317 not-muc 2527223 unknown 890 muc 908
75.39/75.43	c iter 910 time 72.396 not-muc 2527223 unknown 889 muc 909
75.39/75.43	c iter 911 time 72.474 not-muc 2527223 unknown 888 muc 910
75.39/75.43	c iter 912 time 72.553 not-muc 2527223 unknown 887 muc 911
75.39/75.43	c iter 913 time 72.631 not-muc 2527223 unknown 886 muc 912
75.39/75.43	c iter 914 time 72.7099 not-muc 2527223 unknown 885 muc 913
75.39/75.43	c iter 915 time 72.7889 not-muc 2527223 unknown 884 muc 914
75.39/75.43	c iter 916 time 72.8679 not-muc 2527223 unknown 883 muc 915
75.39/75.43	c iter 917 time 72.9469 not-muc 2527223 unknown 882 muc 916
75.39/75.43	c iter 918 time 73.0259 not-muc 2527223 unknown 881 muc 917
75.39/75.43	c iter 919 time 73.1049 not-muc 2527223 unknown 880 muc 918
75.39/75.43	c iter 920 time 73.1829 not-muc 2527223 unknown 879 muc 919
75.39/75.43	c iter 921 time 73.2619 not-muc 2527223 unknown 878 muc 920
75.39/75.43	c iter 922 time 73.3409 not-muc 2527223 unknown 877 muc 921
75.39/75.43	c iter 923 time 73.4198 not-muc 2527223 unknown 876 muc 922
75.39/75.43	c iter 924 time 73.4988 not-muc 2527223 unknown 875 muc 923
75.39/75.43	c iter 925 time 73.5768 not-muc 2527223 unknown 874 muc 924
75.39/75.43	c iter 926 time 73.6438 not-muc 2527223 unknown 873 muc 925
75.39/75.43	c iter 927 time 73.7108 not-muc 2527223 unknown 872 muc 926
75.39/75.43	c iter 928 time 73.7898 not-muc 2527223 unknown 871 muc 927
75.39/75.43	c iter 929 time 73.8688 not-muc 2527223 unknown 870 muc 928
75.39/75.43	c iter 930 time 73.9358 not-muc 2527223 unknown 869 muc 929
75.39/75.43	c iter 931 time 74.0027 not-muc 2527223 unknown 868 muc 930
75.39/75.43	c iter 932 time 74.0697 not-muc 2527223 unknown 867 muc 931
75.39/75.43	c iter 933 time 74.1357 not-muc 2527223 unknown 866 muc 932
75.39/75.43	c iter 934 time 74.2027 not-muc 2527223 unknown 865 muc 933
75.39/75.43	c iter 935 time 74.2697 not-muc 2527223 unknown 864 muc 934
75.39/75.43	c iter 936 time 74.3367 not-muc 2527223 unknown 863 muc 935
75.39/75.43	c iter 937 time 74.4157 not-muc 2527223 unknown 862 muc 936
75.39/75.43	c iter 938 time 74.4947 not-muc 2527223 unknown 861 muc 937
75.39/75.43	c iter 939 time 74.5727 not-muc 2527223 unknown 860 muc 938
75.39/75.43	c iter 940 time 74.6527 not-muc 2527223 unknown 859 muc 939
75.39/75.43	c iter 941 time 74.7316 not-muc 2527223 unknown 858 muc 940
75.39/75.43	c iter 942 time 74.8096 not-muc 2527223 unknown 857 muc 941
75.39/75.43	c iter 943 time 74.8886 not-muc 2527223 unknown 856 muc 942
75.39/75.43	c iter 944 time 74.9676 not-muc 2527223 unknown 855 muc 943
75.39/75.43	c iter 945 time 75.0546 not-muc 2527223 unknown 854 muc 944
75.39/75.43	c iter 946 time 75.1336 not-muc 2527223 unknown 853 muc 945
75.39/75.43	c iter 947 time 75.2126 not-muc 2527223 unknown 852 muc 946
80.69/80.70	c iter 948 time 75.2906 not-muc 2527223 unknown 851 muc 947
80.69/80.70	c iter 949 time 75.3695 not-muc 2527223 unknown 850 muc 948
80.69/80.70	c iter 950 time 75.4485 not-muc 2527223 unknown 849 muc 949
80.69/80.70	c iter 951 time 75.5275 not-muc 2527223 unknown 848 muc 950
80.69/80.70	c iter 952 time 75.6065 not-muc 2527223 unknown 847 muc 951
80.69/80.70	c iter 953 time 75.6855 not-muc 2527223 unknown 846 muc 952
80.69/80.70	c iter 954 time 75.7645 not-muc 2527223 unknown 845 muc 953
80.69/80.70	c iter 955 time 75.8435 not-muc 2527223 unknown 844 muc 954
80.69/80.70	c iter 956 time 75.9225 not-muc 2527223 unknown 843 muc 955
80.69/80.70	c iter 957 time 76.0014 not-muc 2527223 unknown 842 muc 956
80.69/80.70	c iter 958 time 76.0804 not-muc 2527223 unknown 841 muc 957
80.69/80.70	c iter 959 time 76.1594 not-muc 2527223 unknown 840 muc 958
80.69/80.70	c iter 960 time 76.2374 not-muc 2527223 unknown 839 muc 959
80.69/80.70	c iter 961 time 76.3164 not-muc 2527223 unknown 838 muc 960
80.69/80.70	c iter 962 time 76.3954 not-muc 2527223 unknown 837 muc 961
80.69/80.70	c iter 963 time 76.4744 not-muc 2527223 unknown 836 muc 962
80.69/80.70	c iter 964 time 76.5534 not-muc 2527223 unknown 835 muc 963
80.69/80.70	c iter 965 time 76.6324 not-muc 2527223 unknown 834 muc 964
80.69/80.70	c iter 966 time 76.7113 not-muc 2527223 unknown 833 muc 965
80.69/80.70	c iter 967 time 76.7903 not-muc 2527223 unknown 832 muc 966
80.69/80.70	c iter 968 time 76.8693 not-muc 2527223 unknown 831 muc 967
80.69/80.70	c iter 969 time 76.9473 not-muc 2527223 unknown 830 muc 968
80.69/80.70	c iter 970 time 77.0273 not-muc 2527223 unknown 829 muc 969
80.69/80.70	c iter 971 time 77.1053 not-muc 2527223 unknown 828 muc 970
80.69/80.70	c iter 972 time 77.1843 not-muc 2527223 unknown 827 muc 971
80.69/80.70	c iter 973 time 77.2633 not-muc 2527223 unknown 826 muc 972
80.69/80.70	c iter 974 time 77.3422 not-muc 2527223 unknown 825 muc 973
80.69/80.70	c iter 975 time 77.4202 not-muc 2527223 unknown 824 muc 974
80.69/80.70	c iter 976 time 77.4972 not-muc 2527223 unknown 823 muc 975
80.69/80.70	c iter 977 time 77.5752 not-muc 2527223 unknown 822 muc 976
80.69/80.70	c iter 978 time 77.6522 not-muc 2527223 unknown 821 muc 977
80.69/80.70	c iter 979 time 77.7292 not-muc 2527223 unknown 820 muc 978
80.69/80.70	c iter 980 time 77.8072 not-muc 2527223 unknown 819 muc 979
80.69/80.70	c iter 981 time 77.8842 not-muc 2527223 unknown 818 muc 980
80.69/80.70	c iter 982 time 77.9611 not-muc 2527223 unknown 817 muc 981
80.69/80.70	c iter 983 time 78.0391 not-muc 2527223 unknown 816 muc 982
80.69/80.70	c iter 984 time 78.1161 not-muc 2527223 unknown 815 muc 983
80.69/80.70	c iter 985 time 78.1811 not-muc 2527223 unknown 814 muc 984
80.69/80.70	c iter 986 time 78.2581 not-muc 2527223 unknown 813 muc 985
80.69/80.70	c iter 987 time 78.3361 not-muc 2527223 unknown 812 muc 986
80.69/80.70	c iter 988 time 78.4131 not-muc 2527223 unknown 811 muc 987
80.69/80.70	c iter 989 time 78.4901 not-muc 2527223 unknown 810 muc 988
80.69/80.70	c iter 990 time 78.5691 not-muc 2527223 unknown 809 muc 989
80.69/80.70	c iter 991 time 78.647 not-muc 2527223 unknown 808 muc 990
80.69/80.70	c iter 992 time 78.725 not-muc 2527223 unknown 807 muc 991
80.69/80.70	c iter 993 time 78.804 not-muc 2527223 unknown 806 muc 992
80.69/80.70	c iter 994 time 78.883 not-muc 2527223 unknown 805 muc 993
80.69/80.70	c iter 995 time 78.961 not-muc 2527223 unknown 804 muc 994
80.69/80.70	c iter 996 time 79.039 not-muc 2527223 unknown 803 muc 995
80.69/80.70	c iter 997 time 79.117 not-muc 2527223 unknown 802 muc 996
80.69/80.70	c iter 998 time 79.196 not-muc 2527223 unknown 801 muc 997
80.69/80.70	c iter 999 time 79.2749 not-muc 2527223 unknown 800 muc 998
80.69/80.70	c iter 1000 time 79.3539 not-muc 2527223 unknown 799 muc 999
80.69/80.70	c iter 1001 time 79.4199 not-muc 2527223 unknown 798 muc 1000
80.69/80.70	c iter 1002 time 79.4869 not-muc 2527223 unknown 797 muc 1001
80.69/80.70	c iter 1003 time 79.5539 not-muc 2527223 unknown 796 muc 1002
80.69/80.70	c iter 1004 time 79.6199 not-muc 2527223 unknown 795 muc 1003
80.69/80.70	c iter 1005 time 79.6989 not-muc 2527223 unknown 794 muc 1004
80.69/80.70	c iter 1006 time 79.7779 not-muc 2527223 unknown 793 muc 1005
80.69/80.70	c iter 1007 time 79.8569 not-muc 2527223 unknown 792 muc 1006
80.69/80.70	c iter 1008 time 79.9348 not-muc 2527223 unknown 791 muc 1007
80.69/80.70	c iter 1009 time 80.0138 not-muc 2527223 unknown 790 muc 1008
80.69/80.70	c iter 1010 time 80.0928 not-muc 2527223 unknown 789 muc 1009
80.69/80.70	c iter 1011 time 80.1708 not-muc 2527223 unknown 788 muc 1010
80.69/80.70	c iter 1012 time 80.2488 not-muc 2527223 unknown 787 muc 1011
80.69/80.70	c iter 1013 time 80.3278 not-muc 2527223 unknown 786 muc 1012
80.69/80.70	c iter 1014 time 80.4068 not-muc 2527223 unknown 785 muc 1013
80.69/80.70	c iter 1015 time 80.4858 not-muc 2527223 unknown 784 muc 1014
85.59/85.68	c iter 1016 time 80.5648 not-muc 2527223 unknown 783 muc 1015
85.59/85.68	c iter 1017 time 80.6437 not-muc 2527223 unknown 782 muc 1016
85.59/85.68	c iter 1018 time 80.7217 not-muc 2527223 unknown 781 muc 1017
85.59/85.68	c iter 1019 time 80.8007 not-muc 2527223 unknown 780 muc 1018
85.59/85.68	c iter 1020 time 80.8677 not-muc 2527223 unknown 779 muc 1019
85.59/85.68	c iter 1021 time 80.9337 not-muc 2527223 unknown 778 muc 1020
85.59/85.68	c iter 1022 time 80.9997 not-muc 2527223 unknown 777 muc 1021
85.59/85.68	c iter 1023 time 81.0667 not-muc 2527223 unknown 776 muc 1022
85.59/85.68	c iter 1024 time 81.1447 not-muc 2527223 unknown 775 muc 1023
85.59/85.68	c iter 1025 time 81.2237 not-muc 2527223 unknown 774 muc 1024
85.59/85.68	c iter 1026 time 81.3026 not-muc 2527223 unknown 773 muc 1025
85.59/85.68	c iter 1027 time 81.3816 not-muc 2527223 unknown 772 muc 1026
85.59/85.68	c iter 1028 time 81.4596 not-muc 2527223 unknown 771 muc 1027
85.59/85.68	c iter 1029 time 81.5386 not-muc 2527223 unknown 770 muc 1028
85.59/85.68	c iter 1030 time 81.6176 not-muc 2527223 unknown 769 muc 1029
85.59/85.68	c iter 1031 time 81.6966 not-muc 2527223 unknown 768 muc 1030
85.59/85.68	c iter 1032 time 81.7746 not-muc 2527223 unknown 767 muc 1031
85.59/85.68	c iter 1033 time 81.8526 not-muc 2527223 unknown 766 muc 1032
85.59/85.68	c iter 1034 time 81.9315 not-muc 2527223 unknown 765 muc 1033
85.59/85.68	c iter 1035 time 82.0105 not-muc 2527223 unknown 764 muc 1034
85.59/85.68	c iter 1036 time 82.0885 not-muc 2527223 unknown 763 muc 1035
85.59/85.68	c iter 1037 time 82.1675 not-muc 2527223 unknown 762 muc 1036
85.59/85.68	c iter 1038 time 82.2465 not-muc 2527223 unknown 761 muc 1037
85.59/85.68	c iter 1039 time 82.3125 not-muc 2527223 unknown 760 muc 1038
85.59/85.68	c iter 1040 time 82.3795 not-muc 2527223 unknown 759 muc 1039
85.59/85.68	c iter 1041 time 82.4465 not-muc 2527223 unknown 758 muc 1040
85.59/85.68	c iter 1042 time 82.5125 not-muc 2527223 unknown 757 muc 1041
85.59/85.68	c iter 1043 time 82.5924 not-muc 2527223 unknown 756 muc 1042
85.59/85.68	c iter 1044 time 82.6714 not-muc 2527223 unknown 755 muc 1043
85.59/85.68	c iter 1045 time 82.7504 not-muc 2527223 unknown 754 muc 1044
85.59/85.68	c iter 1046 time 82.8294 not-muc 2527223 unknown 753 muc 1045
85.59/85.68	c iter 1047 time 82.9094 not-muc 2527223 unknown 752 muc 1046
85.59/85.68	c iter 1048 time 82.9884 not-muc 2527223 unknown 751 muc 1047
85.59/85.68	c iter 1049 time 83.0674 not-muc 2527223 unknown 750 muc 1048
85.59/85.68	c iter 1050 time 83.1454 not-muc 2527223 unknown 749 muc 1049
85.59/85.68	c iter 1051 time 83.2243 not-muc 2527223 unknown 748 muc 1050
85.59/85.68	c iter 1052 time 83.3033 not-muc 2527223 unknown 747 muc 1051
85.59/85.68	c iter 1053 time 83.3823 not-muc 2527223 unknown 746 muc 1052
85.59/85.68	c iter 1054 time 83.4603 not-muc 2527223 unknown 745 muc 1053
85.59/85.68	c iter 1055 time 83.5393 not-muc 2527223 unknown 744 muc 1054
85.59/85.68	c iter 1056 time 83.6183 not-muc 2527223 unknown 743 muc 1055
85.59/85.68	c iter 1057 time 83.6973 not-muc 2527223 unknown 742 muc 1056
85.59/85.68	c iter 1058 time 83.7633 not-muc 2527223 unknown 741 muc 1057
85.59/85.68	c iter 1059 time 83.8303 not-muc 2527223 unknown 740 muc 1058
85.59/85.68	c iter 1060 time 83.8972 not-muc 2527223 unknown 739 muc 1059
85.59/85.68	c iter 1061 time 83.9632 not-muc 2527223 unknown 738 muc 1060
85.59/85.68	c iter 1062 time 84.0412 not-muc 2527223 unknown 737 muc 1061
85.59/85.68	c iter 1063 time 84.1182 not-muc 2527223 unknown 736 muc 1062
85.59/85.68	c iter 1064 time 84.1952 not-muc 2527223 unknown 735 muc 1063
85.59/85.68	c iter 1065 time 84.2722 not-muc 2527223 unknown 734 muc 1064
85.59/85.68	c iter 1066 time 84.3492 not-muc 2527223 unknown 733 muc 1065
85.59/85.68	c iter 1067 time 84.4262 not-muc 2527223 unknown 732 muc 1066
85.59/85.68	c iter 1068 time 84.5032 not-muc 2527223 unknown 731 muc 1067
85.59/85.68	c iter 1069 time 84.5801 not-muc 2527223 unknown 730 muc 1068
85.59/85.68	c iter 1070 time 84.6581 not-muc 2527223 unknown 729 muc 1069
85.59/85.68	c iter 1071 time 84.7351 not-muc 2527223 unknown 728 muc 1070
85.59/85.68	c iter 1072 time 84.8121 not-muc 2527223 unknown 727 muc 1071
85.59/85.68	c iter 1073 time 84.8891 not-muc 2527223 unknown 726 muc 1072
85.59/85.68	c iter 1074 time 84.9661 not-muc 2527223 unknown 725 muc 1073
85.59/85.68	c iter 1075 time 85.0441 not-muc 2527223 unknown 724 muc 1074
85.59/85.68	c iter 1076 time 85.1211 not-muc 2527223 unknown 723 muc 1075
85.59/85.68	c iter 1077 time 85.187 not-muc 2527223 unknown 722 muc 1076
85.59/85.68	c iter 1078 time 85.253 not-muc 2527223 unknown 721 muc 1077
85.59/85.68	c iter 1079 time 85.319 not-muc 2527223 unknown 720 muc 1078
85.59/85.68	c iter 1080 time 85.386 not-muc 2527223 unknown 719 muc 1079
85.59/85.68	c iter 1081 time 85.464 not-muc 2527223 unknown 718 muc 1080
90.68/90.75	c iter 1082 time 85.542 not-muc 2527223 unknown 717 muc 1081
90.68/90.75	c iter 1083 time 85.607 not-muc 2527223 unknown 716 muc 1082
90.68/90.75	c iter 1084 time 85.674 not-muc 2527223 unknown 715 muc 1083
90.68/90.75	c iter 1085 time 85.74 not-muc 2527223 unknown 714 muc 1084
90.68/90.75	c iter 1086 time 85.806 not-muc 2527223 unknown 713 muc 1085
90.68/90.75	c iter 1087 time 85.8729 not-muc 2527223 unknown 712 muc 1086
90.68/90.75	c iter 1088 time 85.9389 not-muc 2527223 unknown 711 muc 1087
90.68/90.75	c iter 1089 time 86.0059 not-muc 2527223 unknown 710 muc 1088
90.68/90.75	c iter 1090 time 86.0729 not-muc 2527223 unknown 709 muc 1089
90.68/90.75	c iter 1091 time 86.1389 not-muc 2527223 unknown 708 muc 1090
90.68/90.75	c iter 1092 time 86.2059 not-muc 2527223 unknown 707 muc 1091
90.68/90.75	c iter 1093 time 86.2839 not-muc 2527223 unknown 706 muc 1092
90.68/90.75	c iter 1094 time 86.3629 not-muc 2527223 unknown 705 muc 1093
90.68/90.75	c iter 1095 time 86.4409 not-muc 2527223 unknown 704 muc 1094
90.68/90.75	c iter 1096 time 86.5198 not-muc 2527223 unknown 703 muc 1095
90.68/90.75	c iter 1097 time 86.5988 not-muc 2527223 unknown 702 muc 1096
90.68/90.75	c iter 1098 time 86.6778 not-muc 2527223 unknown 701 muc 1097
90.68/90.75	c iter 1099 time 86.7558 not-muc 2527223 unknown 700 muc 1098
90.68/90.75	c iter 1100 time 86.8438 not-muc 2527223 unknown 699 muc 1099
90.68/90.75	c iter 1101 time 86.9218 not-muc 2527223 unknown 698 muc 1100
90.68/90.75	c iter 1102 time 87.0008 not-muc 2527223 unknown 697 muc 1101
90.68/90.75	c iter 1103 time 87.0798 not-muc 2527223 unknown 696 muc 1102
90.68/90.75	c iter 1104 time 87.1577 not-muc 2527223 unknown 695 muc 1103
90.68/90.75	c iter 1105 time 87.2367 not-muc 2527223 unknown 694 muc 1104
90.68/90.75	c iter 1106 time 87.3147 not-muc 2527223 unknown 693 muc 1105
90.68/90.75	c iter 1107 time 87.3937 not-muc 2527223 unknown 692 muc 1106
90.68/90.75	c iter 1108 time 87.4717 not-muc 2527223 unknown 691 muc 1107
90.68/90.75	c iter 1109 time 87.5507 not-muc 2527223 unknown 690 muc 1108
90.68/90.75	c iter 1110 time 87.6297 not-muc 2527223 unknown 689 muc 1109
90.68/90.75	c iter 1111 time 87.7077 not-muc 2527223 unknown 688 muc 1110
90.68/90.75	c iter 1112 time 87.7857 not-muc 2527223 unknown 687 muc 1111
90.68/90.75	c iter 1113 time 87.8646 not-muc 2527223 unknown 686 muc 1112
90.68/90.75	c iter 1114 time 87.9426 not-muc 2527223 unknown 685 muc 1113
90.68/90.75	c iter 1115 time 88.0216 not-muc 2527223 unknown 684 muc 1114
90.68/90.75	c iter 1116 time 88.0996 not-muc 2527223 unknown 683 muc 1115
90.68/90.75	c iter 1117 time 88.1786 not-muc 2527223 unknown 682 muc 1116
90.68/90.75	c iter 1118 time 88.2566 not-muc 2527223 unknown 681 muc 1117
90.68/90.75	c iter 1119 time 88.3346 not-muc 2527223 unknown 680 muc 1118
90.68/90.75	c iter 1120 time 88.4136 not-muc 2527223 unknown 679 muc 1119
90.68/90.75	c iter 1121 time 88.4915 not-muc 2527223 unknown 678 muc 1120
90.68/90.75	c iter 1122 time 88.5705 not-muc 2527223 unknown 677 muc 1121
90.68/90.75	c iter 1123 time 88.6495 not-muc 2527223 unknown 676 muc 1122
90.68/90.75	c iter 1124 time 88.7275 not-muc 2527223 unknown 675 muc 1123
90.68/90.75	c iter 1125 time 88.8065 not-muc 2527223 unknown 674 muc 1124
90.68/90.75	c iter 1126 time 88.8845 not-muc 2527223 unknown 673 muc 1125
90.68/90.75	c iter 1127 time 88.9625 not-muc 2527223 unknown 672 muc 1126
90.68/90.75	c iter 1128 time 89.0415 not-muc 2527223 unknown 671 muc 1127
90.68/90.75	c iter 1129 time 89.1195 not-muc 2527223 unknown 670 muc 1128
90.68/90.75	c iter 1130 time 89.1984 not-muc 2527223 unknown 669 muc 1129
90.68/90.75	c iter 1131 time 89.2764 not-muc 2527223 unknown 668 muc 1130
90.68/90.75	c iter 1132 time 89.3554 not-muc 2527223 unknown 667 muc 1131
90.68/90.75	c iter 1133 time 89.4334 not-muc 2527223 unknown 666 muc 1132
90.68/90.75	c iter 1134 time 89.5124 not-muc 2527223 unknown 665 muc 1133
90.68/90.75	c iter 1135 time 89.5904 not-muc 2527223 unknown 664 muc 1134
90.68/90.75	c iter 1136 time 89.6694 not-muc 2527223 unknown 663 muc 1135
90.68/90.75	c iter 1137 time 89.7484 not-muc 2527223 unknown 662 muc 1136
90.68/90.75	c iter 1138 time 89.8263 not-muc 2527223 unknown 661 muc 1137
90.68/90.75	c iter 1139 time 89.9043 not-muc 2527223 unknown 660 muc 1138
90.68/90.75	c iter 1140 time 89.9833 not-muc 2527223 unknown 659 muc 1139
90.68/90.75	c iter 1141 time 90.0613 not-muc 2527223 unknown 658 muc 1140
90.68/90.75	c iter 1142 time 90.1403 not-muc 2527223 unknown 657 muc 1141
90.68/90.75	c iter 1143 time 90.2183 not-muc 2527223 unknown 656 muc 1142
90.68/90.75	c iter 1144 time 90.2973 not-muc 2527223 unknown 655 muc 1143
90.68/90.75	c iter 1145 time 90.3753 not-muc 2527223 unknown 654 muc 1144
90.68/90.75	c iter 1146 time 90.4542 not-muc 2527223 unknown 653 muc 1145
90.68/90.75	c iter 1147 time 90.5322 not-muc 2527223 unknown 652 muc 1146
95.88/95.99	c iter 1148 time 90.6092 not-muc 2527223 unknown 651 muc 1147
95.88/95.99	c iter 1149 time 90.6872 not-muc 2527223 unknown 650 muc 1148
95.88/95.99	c iter 1150 time 90.7632 not-muc 2527223 unknown 649 muc 1149
95.88/95.99	c iter 1151 time 90.8402 not-muc 2527223 unknown 648 muc 1150
95.88/95.99	c iter 1152 time 90.9172 not-muc 2527223 unknown 647 muc 1151
95.88/95.99	c iter 1153 time 90.9942 not-muc 2527223 unknown 646 muc 1152
95.88/95.99	c iter 1154 time 91.0712 not-muc 2527223 unknown 645 muc 1153
95.88/95.99	c iter 1155 time 91.1481 not-muc 2527223 unknown 644 muc 1154
95.88/95.99	c iter 1156 time 91.2251 not-muc 2527223 unknown 643 muc 1155
95.88/95.99	c iter 1157 time 91.3021 not-muc 2527223 unknown 642 muc 1156
95.88/95.99	c iter 1158 time 91.3781 not-muc 2527223 unknown 641 muc 1157
95.88/95.99	c iter 1159 time 91.4551 not-muc 2527223 unknown 640 muc 1158
95.88/95.99	c iter 1160 time 91.5321 not-muc 2527223 unknown 639 muc 1159
95.88/95.99	c iter 1161 time 91.6091 not-muc 2527223 unknown 638 muc 1160
95.88/95.99	c iter 1162 time 91.6871 not-muc 2527223 unknown 637 muc 1161
95.88/95.99	c iter 1163 time 91.765 not-muc 2527223 unknown 636 muc 1162
95.88/95.99	c iter 1164 time 91.843 not-muc 2527223 unknown 635 muc 1163
95.88/95.99	c iter 1165 time 91.921 not-muc 2527223 unknown 634 muc 1164
95.88/95.99	c iter 1166 time 91.999 not-muc 2527223 unknown 633 muc 1165
95.88/95.99	c iter 1167 time 92.077 not-muc 2527223 unknown 632 muc 1166
95.88/95.99	c iter 1168 time 92.155 not-muc 2527223 unknown 631 muc 1167
95.88/95.99	c iter 1169 time 92.233 not-muc 2527223 unknown 630 muc 1168
95.88/95.99	c iter 1170 time 92.311 not-muc 2527223 unknown 629 muc 1169
95.88/95.99	c iter 1171 time 92.39 not-muc 2527223 unknown 628 muc 1170
95.88/95.99	c iter 1172 time 92.4689 not-muc 2527223 unknown 627 muc 1171
95.88/95.99	c iter 1173 time 92.5469 not-muc 2527223 unknown 626 muc 1172
95.88/95.99	c iter 1174 time 92.6249 not-muc 2527223 unknown 625 muc 1173
95.88/95.99	c iter 1175 time 92.7039 not-muc 2527223 unknown 624 muc 1174
95.88/95.99	c iter 1176 time 92.7819 not-muc 2527223 unknown 623 muc 1175
95.88/95.99	c iter 1177 time 92.8609 not-muc 2527223 unknown 622 muc 1176
95.88/95.99	c iter 1178 time 92.9389 not-muc 2527223 unknown 621 muc 1177
95.88/95.99	c iter 1179 time 93.0179 not-muc 2527223 unknown 620 muc 1178
95.88/95.99	c iter 1180 time 93.0958 not-muc 2527223 unknown 619 muc 1179
95.88/95.99	c iter 1181 time 93.1738 not-muc 2527223 unknown 618 muc 1180
95.88/95.99	c iter 1182 time 93.2528 not-muc 2527223 unknown 617 muc 1181
95.88/95.99	c iter 1183 time 93.3308 not-muc 2527223 unknown 616 muc 1182
95.88/95.99	c iter 1184 time 93.4098 not-muc 2527223 unknown 615 muc 1183
95.88/95.99	c iter 1185 time 93.4878 not-muc 2527223 unknown 614 muc 1184
95.88/95.99	c iter 1186 time 93.5658 not-muc 2527223 unknown 613 muc 1185
95.88/95.99	c iter 1187 time 93.6438 not-muc 2527223 unknown 612 muc 1186
95.88/95.99	c iter 1188 time 93.7228 not-muc 2527223 unknown 611 muc 1187
95.88/95.99	c iter 1189 time 93.8007 not-muc 2527223 unknown 610 muc 1188
95.88/95.99	c iter 1190 time 93.8787 not-muc 2527223 unknown 609 muc 1189
95.88/95.99	c iter 1191 time 93.9577 not-muc 2527223 unknown 608 muc 1190
95.88/95.99	c iter 1192 time 94.0357 not-muc 2527223 unknown 607 muc 1191
95.88/95.99	c iter 1193 time 94.1137 not-muc 2527223 unknown 606 muc 1192
95.88/95.99	c iter 1194 time 94.1927 not-muc 2527223 unknown 605 muc 1193
95.88/95.99	c iter 1195 time 94.2707 not-muc 2527223 unknown 604 muc 1194
95.88/95.99	c iter 1196 time 94.3487 not-muc 2527223 unknown 603 muc 1195
95.88/95.99	c iter 1197 time 94.4276 not-muc 2527223 unknown 602 muc 1196
95.88/95.99	c iter 1198 time 94.5056 not-muc 2527223 unknown 601 muc 1197
95.88/95.99	c iter 1199 time 94.5836 not-muc 2527223 unknown 600 muc 1198
95.88/95.99	c iter 1200 time 94.6626 not-muc 2527223 unknown 599 muc 1199
95.88/95.99	c iter 1201 time 94.7406 not-muc 2527223 unknown 598 muc 1200
95.88/95.99	c iter 1202 time 94.8196 not-muc 2527223 unknown 597 muc 1201
95.88/95.99	c iter 1203 time 94.8976 not-muc 2527223 unknown 596 muc 1202
95.88/95.99	c iter 1204 time 94.9756 not-muc 2527223 unknown 595 muc 1203
95.88/95.99	c iter 1205 time 95.0625 not-muc 2527223 unknown 594 muc 1204
95.88/95.99	c iter 1206 time 95.1415 not-muc 2527223 unknown 593 muc 1205
95.88/95.99	c iter 1207 time 95.2195 not-muc 2527223 unknown 592 muc 1206
95.88/95.99	c iter 1208 time 95.2975 not-muc 2527223 unknown 591 muc 1207
95.88/95.99	c iter 1209 time 95.3765 not-muc 2527223 unknown 590 muc 1208
95.88/95.99	c iter 1210 time 95.4545 not-muc 2527223 unknown 589 muc 1209
95.88/95.99	c iter 1211 time 95.5325 not-muc 2527223 unknown 588 muc 1210
95.88/95.99	c iter 1212 time 95.6115 not-muc 2527223 unknown 587 muc 1211
95.88/95.99	c iter 1213 time 95.6895 not-muc 2527223 unknown 586 muc 1212
95.88/95.99	c iter 1214 time 95.7684 not-muc 2527223 unknown 585 muc 1213
101.09/101.12	c iter 1215 time 95.8464 not-muc 2527223 unknown 584 muc 1214
101.09/101.12	c iter 1216 time 95.9244 not-muc 2527223 unknown 583 muc 1215
101.09/101.12	c iter 1217 time 96.0034 not-muc 2527223 unknown 582 muc 1216
101.09/101.12	c iter 1218 time 96.0814 not-muc 2527223 unknown 581 muc 1217
101.09/101.12	c iter 1219 time 96.1594 not-muc 2527223 unknown 580 muc 1218
101.09/101.12	c iter 1220 time 96.2374 not-muc 2527223 unknown 579 muc 1219
101.09/101.12	c iter 1221 time 96.3164 not-muc 2527223 unknown 578 muc 1220
101.09/101.12	c iter 1222 time 96.3943 not-muc 2527223 unknown 577 muc 1221
101.09/101.12	c iter 1223 time 96.4723 not-muc 2527223 unknown 576 muc 1222
101.09/101.12	c iter 1224 time 96.5503 not-muc 2527223 unknown 575 muc 1223
101.09/101.12	c iter 1225 time 96.6293 not-muc 2527223 unknown 574 muc 1224
101.09/101.12	c iter 1226 time 96.7073 not-muc 2527223 unknown 573 muc 1225
101.09/101.12	c iter 1227 time 96.7853 not-muc 2527223 unknown 572 muc 1226
101.09/101.12	c iter 1228 time 96.8633 not-muc 2527223 unknown 571 muc 1227
101.09/101.12	c iter 1229 time 96.9423 not-muc 2527223 unknown 570 muc 1228
101.09/101.12	c iter 1230 time 97.0203 not-muc 2527223 unknown 569 muc 1229
101.09/101.12	c iter 1231 time 97.0982 not-muc 2527223 unknown 568 muc 1230
101.09/101.12	c iter 1232 time 97.1752 not-muc 2527223 unknown 567 muc 1231
101.09/101.12	c iter 1233 time 97.2522 not-muc 2527223 unknown 566 muc 1232
101.09/101.12	c iter 1234 time 97.3282 not-muc 2527223 unknown 565 muc 1233
101.09/101.12	c iter 1235 time 97.4052 not-muc 2527223 unknown 564 muc 1234
101.09/101.12	c iter 1236 time 97.4822 not-muc 2527223 unknown 563 muc 1235
101.09/101.12	c iter 1237 time 97.5592 not-muc 2527223 unknown 562 muc 1236
101.09/101.12	c iter 1238 time 97.6362 not-muc 2527223 unknown 561 muc 1237
101.09/101.12	c iter 1239 time 97.7131 not-muc 2527223 unknown 560 muc 1238
101.09/101.12	c iter 1240 time 97.7891 not-muc 2527223 unknown 559 muc 1239
101.09/101.12	c iter 1241 time 97.8661 not-muc 2527223 unknown 558 muc 1240
101.09/101.12	c iter 1242 time 97.9431 not-muc 2527223 unknown 557 muc 1241
101.09/101.12	c iter 1243 time 98.0191 not-muc 2527223 unknown 556 muc 1242
101.09/101.12	c iter 1244 time 98.0961 not-muc 2527223 unknown 555 muc 1243
101.09/101.12	c iter 1245 time 98.1731 not-muc 2527223 unknown 554 muc 1244
101.09/101.12	c iter 1246 time 98.2501 not-muc 2527223 unknown 553 muc 1245
101.09/101.12	c iter 1247 time 98.3271 not-muc 2527223 unknown 552 muc 1246
101.09/101.12	c iter 1248 time 98.405 not-muc 2527223 unknown 551 muc 1247
101.09/101.12	c iter 1249 time 98.483 not-muc 2527223 unknown 550 muc 1248
101.09/101.12	c iter 1250 time 98.561 not-muc 2527223 unknown 549 muc 1249
101.09/101.12	c iter 1251 time 98.638 not-muc 2527223 unknown 548 muc 1250
101.09/101.12	c iter 1252 time 98.716 not-muc 2527223 unknown 547 muc 1251
101.09/101.12	c iter 1253 time 98.794 not-muc 2527223 unknown 546 muc 1252
101.09/101.12	c iter 1254 time 98.872 not-muc 2527223 unknown 545 muc 1253
101.09/101.12	c iter 1255 time 98.95 not-muc 2527223 unknown 544 muc 1254
101.09/101.12	c iter 1256 time 99.0279 not-muc 2527223 unknown 543 muc 1255
101.09/101.12	c iter 1257 time 99.1059 not-muc 2527223 unknown 542 muc 1256
101.09/101.12	c iter 1258 time 99.1849 not-muc 2527223 unknown 541 muc 1257
101.09/101.12	c iter 1259 time 99.2629 not-muc 2527223 unknown 540 muc 1258
101.09/101.12	c iter 1260 time 99.3409 not-muc 2527223 unknown 539 muc 1259
101.09/101.12	c iter 1261 time 99.4199 not-muc 2527223 unknown 538 muc 1260
101.09/101.12	c iter 1262 time 99.4979 not-muc 2527223 unknown 537 muc 1261
101.09/101.12	c iter 1263 time 99.5759 not-muc 2527223 unknown 536 muc 1262
101.09/101.12	c iter 1264 time 99.6539 not-muc 2527223 unknown 535 muc 1263
101.09/101.12	c iter 1265 time 99.7328 not-muc 2527223 unknown 534 muc 1264
101.09/101.12	c iter 1266 time 99.8108 not-muc 2527223 unknown 533 muc 1265
101.09/101.12	c iter 1267 time 99.8888 not-muc 2527223 unknown 532 muc 1266
101.09/101.12	c iter 1268 time 99.9668 not-muc 2527223 unknown 531 muc 1267
101.09/101.12	c iter 1269 time 100.045 not-muc 2527223 unknown 530 muc 1268
101.09/101.12	c iter 1270 time 100.124 not-muc 2527223 unknown 529 muc 1269
101.09/101.12	c iter 1271 time 100.202 not-muc 2527223 unknown 528 muc 1270
101.09/101.12	c iter 1272 time 100.28 not-muc 2527223 unknown 527 muc 1271
101.09/101.12	c iter 1273 time 100.358 not-muc 2527223 unknown 526 muc 1272
101.09/101.12	c iter 1274 time 100.436 not-muc 2527223 unknown 525 muc 1273
101.09/101.12	c iter 1275 time 100.514 not-muc 2527223 unknown 524 muc 1274
101.09/101.12	c iter 1276 time 100.592 not-muc 2527223 unknown 523 muc 1275
101.09/101.12	c iter 1277 time 100.671 not-muc 2527223 unknown 522 muc 1276
101.09/101.12	c iter 1278 time 100.749 not-muc 2527223 unknown 521 muc 1277
101.09/101.12	c iter 1279 time 100.828 not-muc 2527223 unknown 520 muc 1278
101.09/101.12	c iter 1280 time 100.906 not-muc 2527223 unknown 519 muc 1279
106.08/106.12	c iter 1281 time 100.984 not-muc 2527223 unknown 518 muc 1280
106.08/106.12	c iter 1282 time 101.062 not-muc 2527223 unknown 517 muc 1281
106.08/106.12	c iter 1283 time 101.128 not-muc 2527223 unknown 516 muc 1282
106.08/106.12	c iter 1284 time 101.194 not-muc 2527223 unknown 515 muc 1283
106.08/106.12	c iter 1285 time 101.273 not-muc 2527223 unknown 514 muc 1284
106.08/106.12	c iter 1286 time 101.339 not-muc 2527223 unknown 513 muc 1285
106.08/106.12	c iter 1287 time 101.405 not-muc 2527223 unknown 512 muc 1286
106.08/106.12	c iter 1288 time 101.471 not-muc 2527223 unknown 511 muc 1287
106.08/106.12	c iter 1289 time 101.549 not-muc 2527223 unknown 510 muc 1288
106.08/106.12	c iter 1290 time 101.615 not-muc 2527223 unknown 509 muc 1289
106.08/106.12	c iter 1291 time 101.681 not-muc 2527223 unknown 508 muc 1290
106.08/106.12	c iter 1292 time 101.748 not-muc 2527223 unknown 507 muc 1291
106.08/106.12	c iter 1293 time 101.826 not-muc 2527223 unknown 506 muc 1292
106.08/106.12	c iter 1294 time 101.892 not-muc 2527223 unknown 505 muc 1293
106.08/106.12	c iter 1295 time 101.957 not-muc 2527223 unknown 504 muc 1294
106.08/106.12	c iter 1296 time 102.023 not-muc 2527223 unknown 503 muc 1295
106.08/106.12	c iter 1297 time 102.101 not-muc 2527223 unknown 502 muc 1296
106.08/106.12	c iter 1298 time 102.167 not-muc 2527223 unknown 501 muc 1297
106.08/106.12	c iter 1299 time 102.246 not-muc 2527223 unknown 500 muc 1298
106.08/106.12	c iter 1300 time 102.324 not-muc 2527223 unknown 499 muc 1299
106.08/106.12	c iter 1301 time 102.402 not-muc 2527223 unknown 498 muc 1300
106.08/106.12	c iter 1302 time 102.48 not-muc 2527223 unknown 497 muc 1301
106.08/106.12	c iter 1303 time 102.558 not-muc 2527223 unknown 496 muc 1302
106.08/106.12	c iter 1304 time 102.636 not-muc 2527223 unknown 495 muc 1303
106.08/106.12	c iter 1305 time 102.714 not-muc 2527223 unknown 494 muc 1304
106.08/106.12	c iter 1306 time 102.792 not-muc 2527223 unknown 493 muc 1305
106.08/106.12	c iter 1307 time 102.87 not-muc 2527223 unknown 492 muc 1306
106.08/106.12	c iter 1308 time 102.948 not-muc 2527223 unknown 491 muc 1307
106.08/106.12	c iter 1309 time 103.027 not-muc 2527223 unknown 490 muc 1308
106.08/106.12	c iter 1310 time 103.105 not-muc 2527223 unknown 489 muc 1309
106.08/106.12	c iter 1311 time 103.183 not-muc 2527223 unknown 488 muc 1310
106.08/106.12	c iter 1312 time 103.261 not-muc 2527223 unknown 487 muc 1311
106.08/106.12	c iter 1313 time 103.339 not-muc 2527223 unknown 486 muc 1312
106.08/106.12	c iter 1314 time 103.417 not-muc 2527223 unknown 485 muc 1313
106.08/106.12	c iter 1315 time 103.495 not-muc 2527223 unknown 484 muc 1314
106.08/106.12	c iter 1316 time 103.573 not-muc 2527223 unknown 483 muc 1315
106.08/106.12	c iter 1317 time 103.652 not-muc 2527223 unknown 482 muc 1316
106.08/106.12	c iter 1318 time 103.729 not-muc 2527223 unknown 481 muc 1317
106.08/106.12	c iter 1319 time 103.806 not-muc 2527223 unknown 480 muc 1318
106.08/106.12	c iter 1320 time 103.883 not-muc 2527223 unknown 479 muc 1319
106.08/106.12	c iter 1321 time 103.968 not-muc 2527223 unknown 478 muc 1320
106.08/106.12	c iter 1322 time 104.045 not-muc 2527223 unknown 477 muc 1321
106.08/106.12	c iter 1323 time 104.121 not-muc 2527223 unknown 476 muc 1322
106.08/106.12	c iter 1324 time 104.198 not-muc 2527223 unknown 475 muc 1323
106.08/106.12	c iter 1325 time 104.275 not-muc 2527223 unknown 474 muc 1324
106.08/106.12	c iter 1326 time 104.351 not-muc 2527223 unknown 473 muc 1325
106.08/106.12	c iter 1327 time 104.427 not-muc 2527223 unknown 472 muc 1326
106.08/106.12	c iter 1328 time 104.504 not-muc 2527223 unknown 471 muc 1327
106.08/106.12	c iter 1329 time 104.58 not-muc 2527223 unknown 470 muc 1328
106.08/106.12	c iter 1330 time 104.657 not-muc 2527223 unknown 469 muc 1329
106.08/106.12	c iter 1331 time 104.734 not-muc 2527223 unknown 468 muc 1330
106.08/106.12	c iter 1332 time 104.81 not-muc 2527223 unknown 467 muc 1331
106.08/106.12	c iter 1333 time 104.888 not-muc 2527223 unknown 466 muc 1332
106.08/106.12	c iter 1334 time 104.966 not-muc 2527223 unknown 465 muc 1333
106.08/106.12	c iter 1335 time 105.044 not-muc 2527223 unknown 464 muc 1334
106.08/106.12	c iter 1336 time 105.121 not-muc 2527223 unknown 463 muc 1335
106.08/106.12	c iter 1337 time 105.199 not-muc 2527223 unknown 462 muc 1336
106.08/106.12	c iter 1338 time 105.277 not-muc 2527223 unknown 461 muc 1337
106.08/106.12	c iter 1339 time 105.355 not-muc 2527223 unknown 460 muc 1338
106.08/106.12	c iter 1340 time 105.432 not-muc 2527223 unknown 459 muc 1339
106.08/106.12	c iter 1341 time 105.51 not-muc 2527223 unknown 458 muc 1340
106.08/106.12	c iter 1342 time 105.587 not-muc 2527223 unknown 457 muc 1341
106.08/106.12	c iter 1343 time 105.665 not-muc 2527223 unknown 456 muc 1342
106.08/106.12	c iter 1344 time 105.743 not-muc 2527223 unknown 455 muc 1343
106.08/106.12	c iter 1345 time 105.821 not-muc 2527223 unknown 454 muc 1344
106.08/106.12	c iter 1346 time 105.899 not-muc 2527223 unknown 453 muc 1345
110.48/110.57	c iter 1347 time 105.977 not-muc 2527223 unknown 452 muc 1346
110.48/110.57	c iter 1348 time 106.055 not-muc 2527223 unknown 451 muc 1347
110.48/110.57	c iter 1349 time 106.133 not-muc 2527223 unknown 450 muc 1348
110.48/110.57	c iter 1350 time 106.211 not-muc 2527223 unknown 449 muc 1349
110.48/110.57	c iter 1351 time 106.289 not-muc 2527223 unknown 448 muc 1350
110.48/110.57	c iter 1352 time 106.367 not-muc 2527223 unknown 447 muc 1351
110.48/110.57	c iter 1353 time 106.445 not-muc 2527223 unknown 446 muc 1352
110.48/110.57	c iter 1354 time 106.523 not-muc 2527223 unknown 445 muc 1353
110.48/110.57	c iter 1355 time 106.589 not-muc 2527223 unknown 444 muc 1354
110.48/110.57	c iter 1356 time 106.655 not-muc 2527223 unknown 443 muc 1355
110.48/110.57	c iter 1357 time 106.721 not-muc 2527223 unknown 442 muc 1356
110.48/110.57	c iter 1358 time 106.787 not-muc 2527223 unknown 441 muc 1357
110.48/110.57	c iter 1359 time 106.852 not-muc 2527223 unknown 440 muc 1358
110.48/110.57	c iter 1360 time 106.918 not-muc 2527223 unknown 439 muc 1359
110.48/110.57	c iter 1361 time 106.984 not-muc 2527223 unknown 438 muc 1360
110.48/110.57	c iter 1362 time 107.05 not-muc 2527223 unknown 437 muc 1361
110.48/110.57	c iter 1363 time 107.116 not-muc 2527223 unknown 436 muc 1362
110.48/110.58	c iter 1364 time 107.182 not-muc 2527223 unknown 435 muc 1363
110.48/110.58	c iter 1365 time 107.248 not-muc 2527223 unknown 434 muc 1364
110.48/110.58	c iter 1366 time 107.314 not-muc 2527223 unknown 433 muc 1365
110.48/110.58	c iter 1367 time 107.38 not-muc 2527223 unknown 432 muc 1366
110.48/110.58	c iter 1368 time 107.446 not-muc 2527223 unknown 431 muc 1367
110.48/110.58	c iter 1369 time 107.512 not-muc 2527223 unknown 430 muc 1368
110.48/110.58	c iter 1370 time 107.578 not-muc 2527223 unknown 429 muc 1369
110.48/110.58	c iter 1371 time 107.644 not-muc 2527223 unknown 428 muc 1370
110.48/110.58	c iter 1372 time 107.711 not-muc 2527223 unknown 427 muc 1371
110.48/110.58	c iter 1373 time 107.777 not-muc 2527223 unknown 426 muc 1372
110.48/110.58	c iter 1374 time 107.843 not-muc 2527223 unknown 425 muc 1373
110.48/110.58	c iter 1375 time 107.909 not-muc 2527223 unknown 424 muc 1374
110.48/110.58	c iter 1376 time 107.975 not-muc 2527223 unknown 423 muc 1375
110.48/110.58	c iter 1377 time 108.041 not-muc 2527223 unknown 422 muc 1376
110.48/110.58	c iter 1378 time 108.108 not-muc 2527223 unknown 421 muc 1377
110.48/110.58	c iter 1379 time 108.174 not-muc 2527223 unknown 420 muc 1378
110.48/110.58	c iter 1380 time 108.24 not-muc 2527223 unknown 419 muc 1379
110.48/110.58	c iter 1381 time 108.306 not-muc 2527223 unknown 418 muc 1380
110.48/110.58	c iter 1382 time 108.372 not-muc 2527223 unknown 417 muc 1381
110.48/110.58	c iter 1383 time 108.438 not-muc 2527223 unknown 416 muc 1382
110.48/110.58	c iter 1384 time 108.505 not-muc 2527223 unknown 415 muc 1383
110.48/110.58	c iter 1385 time 108.57 not-muc 2527223 unknown 414 muc 1384
110.48/110.58	c iter 1386 time 108.636 not-muc 2527223 unknown 413 muc 1385
110.48/110.58	c iter 1387 time 108.703 not-muc 2527223 unknown 412 muc 1386
110.48/110.58	c iter 1388 time 108.769 not-muc 2527223 unknown 411 muc 1387
110.48/110.58	c iter 1389 time 108.835 not-muc 2527223 unknown 410 muc 1388
110.48/110.58	c iter 1390 time 108.901 not-muc 2527223 unknown 409 muc 1389
110.48/110.58	c iter 1391 time 108.968 not-muc 2527223 unknown 408 muc 1390
110.48/110.58	c iter 1392 time 109.034 not-muc 2527223 unknown 407 muc 1391
110.48/110.58	c iter 1393 time 109.1 not-muc 2527223 unknown 406 muc 1392
110.48/110.58	c iter 1394 time 109.166 not-muc 2527223 unknown 405 muc 1393
110.48/110.58	c iter 1395 time 109.232 not-muc 2527223 unknown 404 muc 1394
110.48/110.58	c iter 1396 time 109.299 not-muc 2527223 unknown 403 muc 1395
110.48/110.58	c iter 1397 time 109.365 not-muc 2527223 unknown 402 muc 1396
110.48/110.58	c iter 1398 time 109.431 not-muc 2527223 unknown 401 muc 1397
110.48/110.58	c iter 1399 time 109.498 not-muc 2527223 unknown 400 muc 1398
110.48/110.58	c iter 1400 time 109.564 not-muc 2527223 unknown 399 muc 1399
110.48/110.58	c iter 1401 time 109.63 not-muc 2527223 unknown 398 muc 1400
110.48/110.58	c iter 1402 time 109.697 not-muc 2527223 unknown 397 muc 1401
110.48/110.58	c iter 1403 time 109.764 not-muc 2527223 unknown 396 muc 1402
110.48/110.58	c iter 1404 time 109.829 not-muc 2527223 unknown 395 muc 1403
110.48/110.58	c iter 1405 time 109.896 not-muc 2527223 unknown 394 muc 1404
110.48/110.58	c iter 1406 time 109.962 not-muc 2527223 unknown 393 muc 1405
110.48/110.58	c iter 1407 time 110.029 not-muc 2527223 unknown 392 muc 1406
110.48/110.58	c iter 1408 time 110.095 not-muc 2527223 unknown 391 muc 1407
110.48/110.58	c iter 1409 time 110.161 not-muc 2527223 unknown 390 muc 1408
110.48/110.58	c iter 1410 time 110.227 not-muc 2527223 unknown 389 muc 1409
110.48/110.58	c iter 1411 time 110.292 not-muc 2527223 unknown 388 muc 1410
110.48/110.58	c iter 1412 time 110.357 not-muc 2527223 unknown 387 muc 1411
115.68/115.70	c iter 1413 time 110.434 not-muc 2527223 unknown 386 muc 1412
115.68/115.70	c iter 1414 time 110.51 not-muc 2527223 unknown 385 muc 1413
115.68/115.70	c iter 1415 time 110.587 not-muc 2527223 unknown 384 muc 1414
115.68/115.70	c iter 1416 time 110.664 not-muc 2527223 unknown 383 muc 1415
115.68/115.70	c iter 1417 time 110.74 not-muc 2527223 unknown 382 muc 1416
115.68/115.70	c iter 1418 time 110.816 not-muc 2527223 unknown 381 muc 1417
115.68/115.70	c iter 1419 time 110.901 not-muc 2527223 unknown 380 muc 1418
115.68/115.70	c iter 1420 time 110.977 not-muc 2527223 unknown 379 muc 1419
115.68/115.70	c iter 1421 time 111.053 not-muc 2527223 unknown 378 muc 1420
115.68/115.70	c iter 1422 time 111.13 not-muc 2527223 unknown 377 muc 1421
115.68/115.70	c iter 1423 time 111.206 not-muc 2527223 unknown 376 muc 1422
115.68/115.70	c iter 1424 time 111.282 not-muc 2527223 unknown 375 muc 1423
115.68/115.70	c iter 1425 time 111.36 not-muc 2527223 unknown 374 muc 1424
115.68/115.70	c iter 1426 time 111.437 not-muc 2527223 unknown 373 muc 1425
115.68/115.70	c iter 1427 time 111.514 not-muc 2527223 unknown 372 muc 1426
115.68/115.70	c iter 1428 time 111.592 not-muc 2527223 unknown 371 muc 1427
115.68/115.70	c iter 1429 time 111.669 not-muc 2527223 unknown 370 muc 1428
115.68/115.70	c iter 1430 time 111.747 not-muc 2527223 unknown 369 muc 1429
115.68/115.70	c iter 1431 time 111.824 not-muc 2527223 unknown 368 muc 1430
115.68/115.70	c iter 1432 time 111.902 not-muc 2527223 unknown 367 muc 1431
115.68/115.70	c iter 1433 time 111.98 not-muc 2527223 unknown 366 muc 1432
115.68/115.70	c iter 1434 time 112.057 not-muc 2527223 unknown 365 muc 1433
115.68/115.70	c iter 1435 time 112.135 not-muc 2527223 unknown 364 muc 1434
115.68/115.70	c iter 1436 time 112.213 not-muc 2527223 unknown 363 muc 1435
115.68/115.70	c iter 1437 time 112.29 not-muc 2527223 unknown 362 muc 1436
115.68/115.70	c iter 1438 time 112.368 not-muc 2527223 unknown 361 muc 1437
115.68/115.70	c iter 1439 time 112.446 not-muc 2527223 unknown 360 muc 1438
115.68/115.70	c iter 1440 time 112.524 not-muc 2527223 unknown 359 muc 1439
115.68/115.70	c iter 1441 time 112.602 not-muc 2527223 unknown 358 muc 1440
115.68/115.70	c iter 1442 time 112.68 not-muc 2527223 unknown 357 muc 1441
115.68/115.70	c iter 1443 time 112.758 not-muc 2527223 unknown 356 muc 1442
115.68/115.70	c iter 1444 time 112.835 not-muc 2527223 unknown 355 muc 1443
115.68/115.70	c iter 1445 time 112.913 not-muc 2527223 unknown 354 muc 1444
115.68/115.70	c iter 1446 time 112.991 not-muc 2527223 unknown 353 muc 1445
115.68/115.70	c iter 1447 time 113.068 not-muc 2527223 unknown 352 muc 1446
115.68/115.70	c iter 1448 time 113.145 not-muc 2527223 unknown 351 muc 1447
115.68/115.70	c iter 1449 time 113.223 not-muc 2527223 unknown 350 muc 1448
115.68/115.70	c iter 1450 time 113.301 not-muc 2527223 unknown 349 muc 1449
115.68/115.70	c iter 1451 time 113.379 not-muc 2527223 unknown 348 muc 1450
115.68/115.70	c iter 1452 time 113.457 not-muc 2527223 unknown 347 muc 1451
115.68/115.70	c iter 1453 time 113.534 not-muc 2527223 unknown 346 muc 1452
115.68/115.70	c iter 1454 time 113.612 not-muc 2527223 unknown 345 muc 1453
115.68/115.70	c iter 1455 time 113.69 not-muc 2527223 unknown 344 muc 1454
115.68/115.70	c iter 1456 time 113.768 not-muc 2527223 unknown 343 muc 1455
115.68/115.70	c iter 1457 time 113.846 not-muc 2527223 unknown 342 muc 1456
115.68/115.70	c iter 1458 time 113.924 not-muc 2527223 unknown 341 muc 1457
115.68/115.70	c iter 1459 time 114.001 not-muc 2527223 unknown 340 muc 1458
115.68/115.70	c iter 1460 time 114.079 not-muc 2527223 unknown 339 muc 1459
115.68/115.70	c iter 1461 time 114.157 not-muc 2527223 unknown 338 muc 1460
115.68/115.70	c iter 1462 time 114.235 not-muc 2527223 unknown 337 muc 1461
115.68/115.70	c iter 1463 time 114.312 not-muc 2527223 unknown 336 muc 1462
115.68/115.70	c iter 1464 time 114.39 not-muc 2527223 unknown 335 muc 1463
115.68/115.70	c iter 1465 time 114.468 not-muc 2527223 unknown 334 muc 1464
115.68/115.70	c iter 1466 time 114.546 not-muc 2527223 unknown 333 muc 1465
115.68/115.70	c iter 1467 time 114.623 not-muc 2527223 unknown 332 muc 1466
115.68/115.70	c iter 1468 time 114.701 not-muc 2527223 unknown 331 muc 1467
115.68/115.70	c iter 1469 time 114.779 not-muc 2527223 unknown 330 muc 1468
115.68/115.70	c iter 1470 time 114.857 not-muc 2527223 unknown 329 muc 1469
115.68/115.70	c iter 1471 time 114.935 not-muc 2527223 unknown 328 muc 1470
115.68/115.70	c iter 1472 time 115.012 not-muc 2527223 unknown 327 muc 1471
115.68/115.70	c iter 1473 time 115.09 not-muc 2527223 unknown 326 muc 1472
115.68/115.70	c iter 1474 time 115.167 not-muc 2527223 unknown 325 muc 1473
115.68/115.70	c iter 1475 time 115.244 not-muc 2527223 unknown 324 muc 1474
115.68/115.70	c iter 1476 time 115.322 not-muc 2527223 unknown 323 muc 1475
115.68/115.70	c iter 1477 time 115.407 not-muc 2527223 unknown 322 muc 1476
115.68/115.70	c iter 1478 time 115.485 not-muc 2527223 unknown 321 muc 1477
120.78/120.88	c iter 1479 time 115.563 not-muc 2527223 unknown 320 muc 1478
120.78/120.88	c iter 1480 time 115.641 not-muc 2527223 unknown 319 muc 1479
120.78/120.88	c iter 1481 time 115.718 not-muc 2527223 unknown 318 muc 1480
120.78/120.88	c iter 1482 time 115.796 not-muc 2527223 unknown 317 muc 1481
120.78/120.88	c iter 1483 time 115.874 not-muc 2527223 unknown 316 muc 1482
120.78/120.88	c iter 1484 time 115.951 not-muc 2527223 unknown 315 muc 1483
120.78/120.88	c iter 1485 time 116.029 not-muc 2527223 unknown 314 muc 1484
120.78/120.88	c iter 1486 time 116.107 not-muc 2527223 unknown 313 muc 1485
120.78/120.88	c iter 1487 time 116.185 not-muc 2527223 unknown 312 muc 1486
120.78/120.88	c iter 1488 time 116.262 not-muc 2527223 unknown 311 muc 1487
120.78/120.88	c iter 1489 time 116.34 not-muc 2527223 unknown 310 muc 1488
120.78/120.88	c iter 1490 time 116.417 not-muc 2527223 unknown 309 muc 1489
120.78/120.88	c iter 1491 time 116.495 not-muc 2527223 unknown 308 muc 1490
120.78/120.88	c iter 1492 time 116.573 not-muc 2527223 unknown 307 muc 1491
120.78/120.88	c iter 1493 time 116.65 not-muc 2527223 unknown 306 muc 1492
120.78/120.88	c iter 1494 time 116.728 not-muc 2527223 unknown 305 muc 1493
120.78/120.88	c iter 1495 time 116.805 not-muc 2527223 unknown 304 muc 1494
120.78/120.88	c iter 1496 time 116.882 not-muc 2527223 unknown 303 muc 1495
120.78/120.88	c iter 1497 time 116.958 not-muc 2527223 unknown 302 muc 1496
120.78/120.88	c iter 1498 time 117.034 not-muc 2527223 unknown 301 muc 1497
120.78/120.88	c iter 1499 time 117.11 not-muc 2527223 unknown 300 muc 1498
120.78/120.88	c iter 1500 time 117.186 not-muc 2527223 unknown 299 muc 1499
120.78/120.88	c iter 1501 time 117.263 not-muc 2527223 unknown 298 muc 1500
120.78/120.88	c iter 1502 time 117.338 not-muc 2527223 unknown 297 muc 1501
120.78/120.88	c iter 1503 time 117.414 not-muc 2527223 unknown 296 muc 1502
120.78/120.88	c iter 1504 time 117.49 not-muc 2527223 unknown 295 muc 1503
120.78/120.88	c iter 1505 time 117.567 not-muc 2527223 unknown 294 muc 1504
120.78/120.88	c iter 1506 time 117.643 not-muc 2527223 unknown 293 muc 1505
120.78/120.88	c iter 1507 time 117.719 not-muc 2527223 unknown 292 muc 1506
120.78/120.88	c iter 1508 time 117.795 not-muc 2527223 unknown 291 muc 1507
120.78/120.88	c iter 1509 time 117.872 not-muc 2527223 unknown 290 muc 1508
120.78/120.88	c iter 1510 time 117.949 not-muc 2527223 unknown 289 muc 1509
120.78/120.88	c iter 1511 time 118.025 not-muc 2527223 unknown 288 muc 1510
120.78/120.88	c iter 1512 time 118.102 not-muc 2527223 unknown 287 muc 1511
120.78/120.88	c iter 1513 time 118.18 not-muc 2527223 unknown 286 muc 1512
120.78/120.88	c iter 1514 time 118.257 not-muc 2527223 unknown 285 muc 1513
120.78/120.88	c iter 1515 time 118.334 not-muc 2527223 unknown 284 muc 1514
120.78/120.88	c iter 1516 time 118.411 not-muc 2527223 unknown 283 muc 1515
120.78/120.88	c iter 1517 time 118.489 not-muc 2527223 unknown 282 muc 1516
120.78/120.88	c iter 1518 time 118.566 not-muc 2527223 unknown 281 muc 1517
120.78/120.88	c iter 1519 time 118.643 not-muc 2527223 unknown 280 muc 1518
120.78/120.88	c iter 1520 time 118.721 not-muc 2527223 unknown 279 muc 1519
120.78/120.88	c iter 1521 time 118.799 not-muc 2527223 unknown 278 muc 1520
120.78/120.88	c iter 1522 time 118.876 not-muc 2527223 unknown 277 muc 1521
120.78/120.88	c iter 1523 time 118.954 not-muc 2527223 unknown 276 muc 1522
120.78/120.88	c iter 1524 time 119.031 not-muc 2527223 unknown 275 muc 1523
120.78/120.88	c iter 1525 time 119.109 not-muc 2527223 unknown 274 muc 1524
120.78/120.88	c iter 1526 time 119.187 not-muc 2527223 unknown 273 muc 1525
120.78/120.88	c iter 1527 time 119.264 not-muc 2527223 unknown 272 muc 1526
120.78/120.88	c iter 1528 time 119.341 not-muc 2527223 unknown 271 muc 1527
120.78/120.88	c iter 1529 time 119.419 not-muc 2527223 unknown 270 muc 1528
120.78/120.88	c iter 1530 time 119.496 not-muc 2527223 unknown 269 muc 1529
120.78/120.88	c iter 1531 time 119.574 not-muc 2527223 unknown 268 muc 1530
120.78/120.88	c iter 1532 time 119.652 not-muc 2527223 unknown 267 muc 1531
120.78/120.88	c iter 1533 time 119.729 not-muc 2527223 unknown 266 muc 1532
120.78/120.88	c iter 1534 time 119.807 not-muc 2527223 unknown 265 muc 1533
120.78/120.88	c iter 1535 time 119.884 not-muc 2527223 unknown 264 muc 1534
120.78/120.88	c iter 1536 time 119.97 not-muc 2527223 unknown 263 muc 1535
120.78/120.88	c iter 1537 time 120.048 not-muc 2527223 unknown 262 muc 1536
120.78/120.88	c iter 1538 time 120.125 not-muc 2527223 unknown 261 muc 1537
120.78/120.88	c iter 1539 time 120.202 not-muc 2527223 unknown 260 muc 1538
120.78/120.88	c iter 1540 time 120.28 not-muc 2527223 unknown 259 muc 1539
120.78/120.88	c iter 1541 time 120.357 not-muc 2527223 unknown 258 muc 1540
120.78/120.88	c iter 1542 time 120.435 not-muc 2527223 unknown 257 muc 1541
120.78/120.88	c iter 1543 time 120.511 not-muc 2527223 unknown 256 muc 1542
120.78/120.88	c iter 1544 time 120.589 not-muc 2527223 unknown 255 muc 1543
120.78/120.88	c iter 1545 time 120.666 not-muc 2527223 unknown 254 muc 1544
125.88/125.93	c iter 1546 time 120.744 not-muc 2527223 unknown 253 muc 1545
125.88/125.93	c iter 1547 time 120.821 not-muc 2527223 unknown 252 muc 1546
125.88/125.93	c iter 1548 time 120.898 not-muc 2527223 unknown 251 muc 1547
125.88/125.93	c iter 1549 time 120.975 not-muc 2527223 unknown 250 muc 1548
125.88/125.93	c iter 1550 time 121.052 not-muc 2527223 unknown 249 muc 1549
125.88/125.93	c iter 1551 time 121.13 not-muc 2527223 unknown 248 muc 1550
125.88/125.93	c iter 1552 time 121.207 not-muc 2527223 unknown 247 muc 1551
125.88/125.93	c iter 1553 time 121.284 not-muc 2527223 unknown 246 muc 1552
125.88/125.93	c iter 1554 time 121.362 not-muc 2527223 unknown 245 muc 1553
125.88/125.93	c iter 1555 time 121.439 not-muc 2527223 unknown 244 muc 1554
125.88/125.93	c iter 1556 time 121.516 not-muc 2527223 unknown 243 muc 1555
125.88/125.93	c iter 1557 time 121.594 not-muc 2527223 unknown 242 muc 1556
125.88/125.93	c iter 1558 time 121.672 not-muc 2527223 unknown 241 muc 1557
125.88/125.93	c iter 1559 time 121.748 not-muc 2527223 unknown 240 muc 1558
125.88/125.93	c iter 1560 time 121.825 not-muc 2527223 unknown 239 muc 1559
125.88/125.93	c iter 1561 time 121.903 not-muc 2527223 unknown 238 muc 1560
125.88/125.93	c iter 1562 time 121.98 not-muc 2527223 unknown 237 muc 1561
125.88/125.93	c iter 1563 time 122.058 not-muc 2527223 unknown 236 muc 1562
125.88/125.93	c iter 1564 time 122.135 not-muc 2527223 unknown 235 muc 1563
125.88/125.93	c iter 1565 time 122.213 not-muc 2527223 unknown 234 muc 1564
125.88/125.93	c iter 1566 time 122.29 not-muc 2527223 unknown 233 muc 1565
125.88/125.93	c iter 1567 time 122.367 not-muc 2527223 unknown 232 muc 1566
125.88/125.93	c iter 1568 time 122.444 not-muc 2527223 unknown 231 muc 1567
125.88/125.93	c iter 1569 time 122.522 not-muc 2527223 unknown 230 muc 1568
125.88/125.93	c iter 1570 time 122.599 not-muc 2527223 unknown 229 muc 1569
125.88/125.93	c iter 1571 time 122.677 not-muc 2527223 unknown 228 muc 1570
125.88/125.93	c iter 1572 time 122.754 not-muc 2527223 unknown 227 muc 1571
125.88/125.93	c iter 1573 time 122.831 not-muc 2527223 unknown 226 muc 1572
125.88/125.93	c iter 1574 time 122.908 not-muc 2527223 unknown 225 muc 1573
125.88/125.93	c iter 1575 time 122.986 not-muc 2527223 unknown 224 muc 1574
125.88/125.93	c iter 1576 time 123.063 not-muc 2527223 unknown 223 muc 1575
125.88/125.93	c iter 1577 time 123.14 not-muc 2527223 unknown 222 muc 1576
125.88/125.93	c iter 1578 time 123.217 not-muc 2527223 unknown 221 muc 1577
125.88/125.93	c iter 1579 time 123.294 not-muc 2527223 unknown 220 muc 1578
125.88/125.93	c iter 1580 time 123.37 not-muc 2527223 unknown 219 muc 1579
125.88/125.93	c iter 1581 time 123.446 not-muc 2527223 unknown 218 muc 1580
125.88/125.93	c iter 1582 time 123.522 not-muc 2527223 unknown 217 muc 1581
125.88/125.93	c iter 1583 time 123.598 not-muc 2527223 unknown 216 muc 1582
125.88/125.93	c iter 1584 time 123.674 not-muc 2527223 unknown 215 muc 1583
125.88/125.93	c iter 1585 time 123.749 not-muc 2527223 unknown 214 muc 1584
125.88/125.93	c iter 1586 time 123.825 not-muc 2527223 unknown 213 muc 1585
125.88/125.93	c iter 1587 time 123.901 not-muc 2527223 unknown 212 muc 1586
125.88/125.93	c iter 1588 time 123.977 not-muc 2527223 unknown 211 muc 1587
125.88/125.93	c iter 1589 time 124.052 not-muc 2527223 unknown 210 muc 1588
125.88/125.93	c iter 1590 time 124.136 not-muc 2527223 unknown 209 muc 1589
125.88/125.93	c iter 1591 time 124.212 not-muc 2527223 unknown 208 muc 1590
125.88/125.93	c iter 1592 time 124.288 not-muc 2527223 unknown 207 muc 1591
125.88/125.93	c iter 1593 time 124.363 not-muc 2527223 unknown 206 muc 1592
125.88/125.93	c iter 1594 time 124.439 not-muc 2527223 unknown 205 muc 1593
125.88/125.93	c iter 1595 time 124.516 not-muc 2527223 unknown 204 muc 1594
125.88/125.93	c iter 1596 time 124.593 not-muc 2527223 unknown 203 muc 1595
125.88/125.93	c iter 1597 time 124.67 not-muc 2527223 unknown 202 muc 1596
125.88/125.93	c iter 1598 time 124.747 not-muc 2527223 unknown 201 muc 1597
125.88/125.93	c iter 1599 time 124.823 not-muc 2527223 unknown 200 muc 1598
125.88/125.93	c iter 1600 time 124.9 not-muc 2527223 unknown 199 muc 1599
125.88/125.93	c iter 1601 time 124.977 not-muc 2527223 unknown 198 muc 1600
125.88/125.93	c iter 1602 time 125.054 not-muc 2527223 unknown 197 muc 1601
125.88/125.93	c iter 1603 time 125.131 not-muc 2527223 unknown 196 muc 1602
125.88/125.93	c iter 1604 time 125.209 not-muc 2527223 unknown 195 muc 1603
125.88/125.93	c iter 1605 time 125.274 not-muc 2527223 unknown 194 muc 1604
125.88/125.93	c iter 1606 time 125.339 not-muc 2527223 unknown 193 muc 1605
125.88/125.93	c iter 1607 time 125.416 not-muc 2527223 unknown 192 muc 1606
125.88/125.93	c iter 1608 time 125.493 not-muc 2527223 unknown 191 muc 1607
125.88/125.93	c iter 1609 time 125.558 not-muc 2527223 unknown 190 muc 1608
125.88/125.93	c iter 1610 time 125.635 not-muc 2527223 unknown 189 muc 1609
125.88/125.93	c iter 1611 time 125.712 not-muc 2527223 unknown 188 muc 1610
130.79/130.88	c iter 1612 time 125.789 not-muc 2527223 unknown 187 muc 1611
130.79/130.88	c iter 1613 time 125.866 not-muc 2527223 unknown 186 muc 1612
130.79/130.88	c iter 1614 time 125.944 not-muc 2527223 unknown 185 muc 1613
130.79/130.88	c iter 1615 time 126.021 not-muc 2527223 unknown 184 muc 1614
130.79/130.88	c iter 1616 time 126.098 not-muc 2527223 unknown 183 muc 1615
130.79/130.88	c iter 1617 time 126.175 not-muc 2527223 unknown 182 muc 1616
130.79/130.88	c iter 1618 time 126.252 not-muc 2527223 unknown 181 muc 1617
130.79/130.88	c iter 1619 time 126.329 not-muc 2527223 unknown 180 muc 1618
130.79/130.88	c iter 1620 time 126.406 not-muc 2527223 unknown 179 muc 1619
130.79/130.88	c iter 1621 time 126.484 not-muc 2527223 unknown 178 muc 1620
130.79/130.88	c iter 1622 time 126.561 not-muc 2527223 unknown 177 muc 1621
130.79/130.88	c iter 1623 time 126.638 not-muc 2527223 unknown 176 muc 1622
130.79/130.88	c iter 1624 time 126.715 not-muc 2527223 unknown 175 muc 1623
130.79/130.88	c iter 1625 time 126.792 not-muc 2527223 unknown 174 muc 1624
130.79/130.88	c iter 1626 time 126.87 not-muc 2527223 unknown 173 muc 1625
130.79/130.88	c iter 1627 time 126.947 not-muc 2527223 unknown 172 muc 1626
130.79/130.88	c iter 1628 time 127.032 not-muc 2527223 unknown 171 muc 1627
130.79/130.88	c iter 1629 time 127.11 not-muc 2527223 unknown 170 muc 1628
130.79/130.88	c iter 1630 time 127.187 not-muc 2527223 unknown 169 muc 1629
130.79/130.88	c iter 1631 time 127.264 not-muc 2527223 unknown 168 muc 1630
130.79/130.88	c iter 1632 time 127.341 not-muc 2527223 unknown 167 muc 1631
130.79/130.88	c iter 1633 time 127.418 not-muc 2527223 unknown 166 muc 1632
130.79/130.88	c iter 1634 time 127.495 not-muc 2527223 unknown 165 muc 1633
130.79/130.88	c iter 1635 time 127.573 not-muc 2527223 unknown 164 muc 1634
130.79/130.88	c iter 1636 time 127.65 not-muc 2527223 unknown 163 muc 1635
130.79/130.88	c iter 1637 time 127.727 not-muc 2527223 unknown 162 muc 1636
130.79/130.88	c iter 1638 time 127.804 not-muc 2527223 unknown 161 muc 1637
130.79/130.88	c iter 1639 time 127.882 not-muc 2527223 unknown 160 muc 1638
130.79/130.88	c iter 1640 time 127.959 not-muc 2527223 unknown 159 muc 1639
130.79/130.88	c iter 1641 time 128.036 not-muc 2527223 unknown 158 muc 1640
130.79/130.88	c iter 1642 time 128.113 not-muc 2527223 unknown 157 muc 1641
130.79/130.88	c iter 1643 time 128.19 not-muc 2527223 unknown 156 muc 1642
130.79/130.88	c iter 1644 time 128.267 not-muc 2527223 unknown 155 muc 1643
130.79/130.88	c iter 1645 time 128.344 not-muc 2527223 unknown 154 muc 1644
130.79/130.88	c iter 1646 time 128.421 not-muc 2527223 unknown 153 muc 1645
130.79/130.88	c iter 1647 time 128.498 not-muc 2527223 unknown 152 muc 1646
130.79/130.88	c iter 1648 time 128.575 not-muc 2527223 unknown 151 muc 1647
130.79/130.88	c iter 1649 time 128.652 not-muc 2527223 unknown 150 muc 1648
130.79/130.88	c iter 1650 time 128.73 not-muc 2527223 unknown 149 muc 1649
130.79/130.88	c iter 1651 time 128.807 not-muc 2527223 unknown 148 muc 1650
130.79/130.88	c iter 1652 time 128.872 not-muc 2527223 unknown 147 muc 1651
130.79/130.88	c iter 1653 time 128.937 not-muc 2527223 unknown 146 muc 1652
130.79/130.88	c iter 1654 time 129.014 not-muc 2527223 unknown 145 muc 1653
130.79/130.88	c iter 1655 time 129.079 not-muc 2527223 unknown 144 muc 1654
130.79/130.88	c iter 1656 time 129.144 not-muc 2527223 unknown 143 muc 1655
130.79/130.88	c iter 1657 time 129.209 not-muc 2527223 unknown 142 muc 1656
130.79/130.88	c iter 1658 time 129.286 not-muc 2527223 unknown 141 muc 1657
130.79/130.88	c iter 1659 time 129.351 not-muc 2527223 unknown 140 muc 1658
130.79/130.88	c iter 1660 time 129.416 not-muc 2527223 unknown 139 muc 1659
130.79/130.88	c iter 1661 time 129.481 not-muc 2527223 unknown 138 muc 1660
130.79/130.88	c iter 1662 time 129.558 not-muc 2527223 unknown 137 muc 1661
130.79/130.88	c iter 1663 time 129.623 not-muc 2527223 unknown 136 muc 1662
130.79/130.88	c iter 1664 time 129.689 not-muc 2527223 unknown 135 muc 1663
130.79/130.88	c iter 1665 time 129.754 not-muc 2527223 unknown 134 muc 1664
130.79/130.88	c iter 1666 time 129.839 not-muc 2527223 unknown 133 muc 1665
130.79/130.88	c iter 1667 time 129.904 not-muc 2527223 unknown 132 muc 1666
130.79/130.88	c iter 1668 time 129.98 not-muc 2527223 unknown 131 muc 1667
130.79/130.88	c iter 1669 time 130.055 not-muc 2527223 unknown 130 muc 1668
130.79/130.88	c iter 1670 time 130.131 not-muc 2527223 unknown 129 muc 1669
130.79/130.88	c iter 1671 time 130.206 not-muc 2527223 unknown 128 muc 1670
130.79/130.88	c iter 1672 time 130.282 not-muc 2527223 unknown 127 muc 1671
130.79/130.88	c iter 1673 time 130.358 not-muc 2527223 unknown 126 muc 1672
130.79/130.88	c iter 1674 time 130.433 not-muc 2527223 unknown 125 muc 1673
130.79/130.88	c iter 1675 time 130.509 not-muc 2527223 unknown 124 muc 1674
130.79/130.88	c iter 1676 time 130.585 not-muc 2527223 unknown 123 muc 1675
130.79/130.88	c iter 1677 time 130.66 not-muc 2527223 unknown 122 muc 1676
135.98/136.05	c iter 1678 time 130.736 not-muc 2527223 unknown 121 muc 1677
135.98/136.05	c iter 1679 time 130.812 not-muc 2527223 unknown 120 muc 1678
135.98/136.05	c iter 1680 time 130.887 not-muc 2527223 unknown 119 muc 1679
135.98/136.05	c iter 1681 time 130.963 not-muc 2527223 unknown 118 muc 1680
135.98/136.05	c iter 1682 time 131.039 not-muc 2527223 unknown 117 muc 1681
135.98/136.05	c iter 1683 time 131.116 not-muc 2527223 unknown 116 muc 1682
135.98/136.05	c iter 1684 time 131.193 not-muc 2527223 unknown 115 muc 1683
135.98/136.05	c iter 1685 time 131.269 not-muc 2527223 unknown 114 muc 1684
135.98/136.05	c iter 1686 time 131.346 not-muc 2527223 unknown 113 muc 1685
135.98/136.05	c iter 1687 time 131.422 not-muc 2527223 unknown 112 muc 1686
135.98/136.05	c iter 1688 time 131.499 not-muc 2527223 unknown 111 muc 1687
135.98/136.05	c iter 1689 time 131.575 not-muc 2527223 unknown 110 muc 1688
135.98/136.05	c iter 1690 time 131.652 not-muc 2527223 unknown 109 muc 1689
135.98/136.05	c iter 1691 time 131.729 not-muc 2527223 unknown 108 muc 1690
135.98/136.05	c iter 1692 time 131.806 not-muc 2527223 unknown 107 muc 1691
135.98/136.05	c iter 1693 time 131.883 not-muc 2527223 unknown 106 muc 1692
135.98/136.05	c iter 1694 time 131.968 not-muc 2527223 unknown 105 muc 1693
135.98/136.05	c iter 1695 time 132.045 not-muc 2527223 unknown 104 muc 1694
135.98/136.05	c iter 1696 time 132.122 not-muc 2527223 unknown 103 muc 1695
135.98/136.05	c iter 1697 time 132.199 not-muc 2527223 unknown 102 muc 1696
135.98/136.05	c iter 1698 time 132.276 not-muc 2527223 unknown 101 muc 1697
135.98/136.05	c iter 1699 time 132.353 not-muc 2527223 unknown 100 muc 1698
135.98/136.05	c iter 1700 time 132.43 not-muc 2527223 unknown 99 muc 1699
135.98/136.05	c iter 1701 time 132.507 not-muc 2527223 unknown 98 muc 1700
135.98/136.05	c iter 1702 time 132.584 not-muc 2527223 unknown 97 muc 1701
135.98/136.05	c iter 1703 time 132.661 not-muc 2527223 unknown 96 muc 1702
135.98/136.05	c iter 1704 time 132.738 not-muc 2527223 unknown 95 muc 1703
135.98/136.05	c iter 1705 time 132.815 not-muc 2527223 unknown 94 muc 1704
135.98/136.05	c iter 1706 time 132.891 not-muc 2527223 unknown 93 muc 1705
135.98/136.05	c iter 1707 time 132.968 not-muc 2527223 unknown 92 muc 1706
135.98/136.05	c iter 1708 time 133.045 not-muc 2527223 unknown 91 muc 1707
135.98/136.05	c iter 1709 time 133.122 not-muc 2527223 unknown 90 muc 1708
135.98/136.05	c iter 1710 time 133.199 not-muc 2527223 unknown 89 muc 1709
135.98/136.05	c iter 1711 time 133.276 not-muc 2527223 unknown 88 muc 1710
135.98/136.05	c iter 1712 time 133.353 not-muc 2527223 unknown 87 muc 1711
135.98/136.05	c iter 1713 time 133.43 not-muc 2527223 unknown 86 muc 1712
135.98/136.05	c iter 1714 time 133.506 not-muc 2527223 unknown 85 muc 1713
135.98/136.05	c iter 1715 time 133.583 not-muc 2527223 unknown 84 muc 1714
135.98/136.05	c iter 1716 time 133.66 not-muc 2527223 unknown 83 muc 1715
135.98/136.05	c iter 1717 time 133.746 not-muc 2527223 unknown 82 muc 1716
135.98/136.05	c iter 1718 time 133.823 not-muc 2527223 unknown 81 muc 1717
135.98/136.05	c iter 1719 time 133.9 not-muc 2527223 unknown 80 muc 1718
135.98/136.05	c iter 1720 time 133.977 not-muc 2527223 unknown 79 muc 1719
135.98/136.05	c iter 1721 time 134.054 not-muc 2527223 unknown 78 muc 1720
135.98/136.05	c iter 1722 time 134.13 not-muc 2527223 unknown 77 muc 1721
135.98/136.05	c iter 1723 time 134.207 not-muc 2527223 unknown 76 muc 1722
135.98/136.05	c iter 1724 time 134.284 not-muc 2527223 unknown 75 muc 1723
135.98/136.05	c iter 1725 time 134.361 not-muc 2527223 unknown 74 muc 1724
135.98/136.05	c iter 1726 time 134.438 not-muc 2527223 unknown 73 muc 1725
135.98/136.05	c iter 1727 time 134.515 not-muc 2527223 unknown 72 muc 1726
135.98/136.05	c iter 1728 time 134.592 not-muc 2527223 unknown 71 muc 1727
135.98/136.05	c iter 1729 time 134.669 not-muc 2527223 unknown 70 muc 1728
135.98/136.05	c iter 1730 time 134.746 not-muc 2527223 unknown 69 muc 1729
135.98/136.05	c iter 1731 time 134.823 not-muc 2527223 unknown 68 muc 1730
135.98/136.05	c iter 1732 time 134.898 not-muc 2527223 unknown 67 muc 1731
135.98/136.05	c iter 1733 time 134.975 not-muc 2527223 unknown 66 muc 1732
135.98/136.05	c iter 1734 time 135.052 not-muc 2527223 unknown 65 muc 1733
135.98/136.05	c iter 1735 time 135.137 not-muc 2527223 unknown 64 muc 1734
135.98/136.05	c iter 1736 time 135.214 not-muc 2527223 unknown 63 muc 1735
135.98/136.05	c iter 1737 time 135.291 not-muc 2527223 unknown 62 muc 1736
135.98/136.05	c iter 1738 time 135.368 not-muc 2527223 unknown 61 muc 1737
135.98/136.05	c iter 1739 time 135.444 not-muc 2527223 unknown 60 muc 1738
135.98/136.05	c iter 1740 time 135.521 not-muc 2527223 unknown 59 muc 1739
135.98/136.05	c iter 1741 time 135.598 not-muc 2527223 unknown 58 muc 1740
135.98/136.05	c iter 1742 time 135.675 not-muc 2527223 unknown 57 muc 1741
135.98/136.05	c iter 1743 time 135.752 not-muc 2527223 unknown 56 muc 1742
135.98/136.05	c iter 1744 time 135.829 not-muc 2527223 unknown 55 muc 1743
140.18/140.26	c iter 1745 time 135.906 not-muc 2527223 unknown 54 muc 1744
140.18/140.26	c iter 1746 time 135.983 not-muc 2527223 unknown 53 muc 1745
140.18/140.26	c iter 1747 time 136.059 not-muc 2527223 unknown 52 muc 1746
140.18/140.26	c iter 1748 time 136.136 not-muc 2527223 unknown 51 muc 1747
140.18/140.26	c iter 1749 time 136.213 not-muc 2527223 unknown 50 muc 1748
140.18/140.26	c iter 1750 time 136.29 not-muc 2527223 unknown 49 muc 1749
140.18/140.26	c iter 1751 time 136.375 not-muc 2527223 unknown 48 muc 1750
140.18/140.26	c iter 1752 time 136.452 not-muc 2527223 unknown 47 muc 1751
140.18/140.26	c iter 1753 time 136.528 not-muc 2527223 unknown 46 muc 1752
140.18/140.26	c iter 1754 time 136.603 not-muc 2527223 unknown 45 muc 1753
140.18/140.26	c iter 1755 time 136.678 not-muc 2527223 unknown 44 muc 1754
140.18/140.26	c iter 1756 time 136.754 not-muc 2527223 unknown 43 muc 1755
140.18/140.26	c iter 1757 time 136.829 not-muc 2527223 unknown 42 muc 1756
140.18/140.26	c iter 1758 time 136.904 not-muc 2527223 unknown 41 muc 1757
140.18/140.26	c iter 1759 time 136.98 not-muc 2527223 unknown 40 muc 1758
140.18/140.26	c iter 1760 time 137.056 not-muc 2527223 unknown 39 muc 1759
140.18/140.26	c iter 1761 time 137.131 not-muc 2527223 unknown 38 muc 1760
140.18/140.26	c iter 1762 time 137.206 not-muc 2527223 unknown 37 muc 1761
140.18/140.26	c iter 1763 time 137.281 not-muc 2527223 unknown 36 muc 1762
140.18/140.26	c iter 1764 time 137.356 not-muc 2527223 unknown 35 muc 1763
140.18/140.26	c iter 1765 time 137.431 not-muc 2527223 unknown 34 muc 1764
140.18/140.26	c iter 1766 time 137.507 not-muc 2527223 unknown 33 muc 1765
140.18/140.26	c iter 1767 time 137.582 not-muc 2527223 unknown 32 muc 1766
140.18/140.26	c iter 1768 time 137.667 not-muc 2527223 unknown 31 muc 1767
140.18/140.26	c iter 1769 time 137.744 not-muc 2527223 unknown 30 muc 1768
140.18/140.26	c iter 1770 time 137.82 not-muc 2527223 unknown 29 muc 1769
140.18/140.26	c iter 1771 time 137.884 not-muc 2527223 unknown 28 muc 1770
140.18/140.26	c iter 1772 time 137.948 not-muc 2527223 unknown 27 muc 1771
140.18/140.26	c iter 1773 time 138.025 not-muc 2527223 unknown 26 muc 1772
140.18/140.26	c iter 1774 time 138.101 not-muc 2527223 unknown 25 muc 1773
140.18/140.26	c iter 1775 time 138.177 not-muc 2527223 unknown 24 muc 1774
140.18/140.26	c iter 1776 time 138.253 not-muc 2527223 unknown 23 muc 1775
140.18/140.26	c iter 1777 time 138.33 not-muc 2527223 unknown 22 muc 1776
140.18/140.26	c iter 1778 time 138.415 not-muc 2527223 unknown 21 muc 1777
140.18/140.26	c iter 1779 time 138.491 not-muc 2527223 unknown 20 muc 1778
140.18/140.26	c iter 1780 time 138.567 not-muc 2527223 unknown 19 muc 1779
140.18/140.26	c iter 1781 time 138.644 not-muc 2527223 unknown 18 muc 1780
140.18/140.26	c iter 1782 time 138.721 not-muc 2527223 unknown 17 muc 1781
140.18/140.26	c iter 1783 time 138.798 not-muc 2527223 unknown 16 muc 1782
140.18/140.26	c iter 1784 time 138.875 not-muc 2527223 unknown 15 muc 1783
140.18/140.26	c iter 1785 time 138.952 not-muc 2527223 unknown 14 muc 1784
140.18/140.26	c iter 1786 time 139.037 not-muc 2527223 unknown 13 muc 1785
140.18/140.26	c iter 1787 time 139.114 not-muc 2527223 unknown 12 muc 1786
140.18/140.26	c iter 1788 time 139.19 not-muc 2527223 unknown 11 muc 1787
140.18/140.26	c iter 1789 time 139.267 not-muc 2527223 unknown 10 muc 1788
140.18/140.26	c iter 1790 time 139.343 not-muc 2527223 unknown 9 muc 1789
140.18/140.26	c iter 1791 time 139.42 not-muc 2527223 unknown 8 muc 1790
140.18/140.26	c iter 1792 time 139.497 not-muc 2527223 unknown 7 muc 1791
140.18/140.26	c iter 1793 time 139.574 not-muc 2527223 unknown 6 muc 1792
140.18/140.26	c iter 1794 time 139.65 not-muc 2527223 unknown 5 muc 1793
140.18/140.26	c iter 1795 time 139.736 not-muc 2527223 unknown 4 muc 1794
140.18/140.26	c iter 1796 time 139.812 not-muc 2527223 unknown 3 muc 1795
140.18/140.26	c iter 1797 time 139.889 not-muc 2527223 unknown 2 muc 1796
140.18/140.26	c iter 1798 time 139.965 not-muc 2527223 unknown 1 muc 1797
140.18/140.26	c final iter 1799 time 140.042 not-muc 2527223 unknown 0 muc 1798
140.18/140.26	v 920899 920904 920905 920909 920947 920951 921133 921138 921139 921144 921155 921158 921161 921164 922460 923534 923536 923539 923542 923545 923562 923567 923578 923582 923585 923588 923602 923607 923609 923613 926227 995737 995742 995743 995747 995785 995789 995800 995805 995806 995811 995822 995825 995828 995831 1049665 1049669 1049672 1049675 1049677 1049681 1049684 1049687 1049689 1049693 1049696 1049699 1049701 1049705 1049708 1049711 1177736 1178810 1178812 1178815 1178818 1178821 1178838 1178843 1178854 1178858 1178862 1178865 1178866 1178870 1178876 1178879 1234681 1234686 1234687 1234691 1234729 1234733 1234915 1234920 1234921 1234926 1234937 1234940 1234943 1234946 1239565 1239570 1239571 1239575 1239613 1239617 1239799 1239804 1239805 1239810 1239821 1239824 1239827 1239830 1245793 1245798 1245799 1245803 1245841 1245845 1246027 1246032 1246033 1246038 1246049 1246052 1246055 1246058 1248841 1248846 1248847 1248851 1248889 1248893 1248904 1248909 1248910 1248915 1248926 1248929 1248932 1248935 1302769 1302774 1302776 1302780 1302781 1302786 1302788 1302792 1302793 1302798 1302800 1302804 1302805 1302810 1302812 1302816 1383043 1383046 1383592 1383595 1383598 1383601 1383604 1383607 1383610 1383679 1383682 1383685 1383688 1383691 1383694 1383697 1429546 1429551 1429552 1429556 1429657 1429661 1430824 1430829 1430830 1430834 1430837 1430840 1431914 1431916 1431919 1431922 1431925 1431929 1431932 1431935 1431942 1431947 1431958 1431962 1431965 1431968 1431970 1431975 1431976 1431980 1431984 1487785 1487790 1487791 1487795 1487833 1487837 1488019 1488024 1488025 1488030 1488041 1488044 1488047 1488050 1492669 1492674 1492675 1492679 1492717 1492721 1492903 1492908 1492909 1492914 1492925 1492928 1492931 1492934 1498897 1498902 1498903 1498907 1498945 1498949 1499131 1499136 1499137 1499142 1499153 1499156 1499159 1499162 1501945 1501950 1501951 1501955 1501993 1501997 1502008 1502013 1502014 1502019 1502030 1502033 1502036 1502039 1555873 1555877 1555880 1555883 1555885 1555889 1555892 1555895 1555897 1555901 1555904 1555907 1555909 1555913 1555916 1555919 1586584 1586588 1586591 1586594 1586603 1586620 1586624 1586627 1586630 1586639 1586656 1586660 1586663 1586666 1586675 1586740 1586744 1586747 1586750 1586759 1591975 1591979 1591982 1591985 1591994 1592011 1592015 1592018 1592021 1592030 1592047 1592051 1592054 1592057 1592066 1592083 1592087 1592090 1592093 1592102 1592119 1592123 1592126 1592129 1592138 1592155 1592159 1592162 1592165 1592174 1592191 1592195 1592198 1592201 1592210 1630843 1630847 1630853 1630874 1630877 1630933 1630937 1630943 1630964 1630967 1631023 1631027 1631033 1631054 1631057 1631113 1631117 1631123 1631144 1631147 1631203 1631207 1631213 1631234 1631237 1631293 1631297 1631303 1631324 1631327 1631407 1631411 1631417 1631438 1631441 1655053 1655058 1655059 1655063 1655164 1655168 1656331 1656336 1656337 1656341 1656344 1656347 1657421 1657423 1657426 1657429 1657432 1657436 1657439 1657442 1657449 1657454 1657465 1657469 1657473 1657476 1685074 1685078 1685084 1685087 1688323 1692662 1692664 1692960 1692962 1692965 1693148 1693655 1693717 1693719 1694015 1694017 1694020 1694203 1694710 1694772 1694774 1695070 1695072 1695075 1695258 1695765 1695827 1695829 1696125 1696127 1696130 1696313 1696820 1696882 1696884 1697180 1697182 1697185 1697368 1697875 1697937 1697939 1698235 1698237 1698240 1698423 1698930 1698992 1698994 1699290 1699292 1699295 1699478 1699985 1700047 1700049 1700405 1700407 1700703 1700705 1701001 1701003 1740871 1740876 1740877 1740881 1740919 1740923 1741105 1741110 1741111 1741116 1741127 1741130 1741133 1741136 1745755 1745760 1745761 1745765 1745803 1745807 1745989 1745994 1745995 1746000 1746011 1746014 1746017 1746020 1751983 1751988 1751989 1751993 1752031 1752035 1752217 1752222 1752223 1752228 1752239 1752242 1752245 1752248 1755031 1755036 1755037 1755041 1755079 1755083 1755094 1755099 1755100 1755105 1755116 1755119 1755122 1755125 1808959 1808964 1808966 1808970 1808971 1808976 1808978 1808982 1808983 1808988 1808990 1808994 1808995 1809000 1809002 1809006 1839670 1839674 1839677 1839681 1839683 1839686 1839689 1839706 1839710 1839713 1839717 1839719 1839722 1839725 1839742 1839746 1839749 1839753 1839755 1839758 1839761 1839826 1839830 1839833 1839837 1839839 1839842 1839845 1845061 1845065 1845068 1845072 1845074 1845077 1845080 1845097 1845101 1845104 1845108 1845110 1845113 1845116 1845133 1845137 1845140 1845144 1845146 1845149 1845152 1845169 1845173 1845176 1845180 1845182 1845185 1845188 1845205 1845209 1845212 1845216 1845218 1845221 1845224 1845241 1845245 1845248 1845252 1845254 1845257 1845260 1845277 1845281 1845284 1845288 1845290 1845293 1845296 1879651 1879655 1879658 1879661 1883770 1883774 1883781 1883782 1883785 1883789 1883792 1883795 1883798 1883860 1883864 1883871 1883872 1883875 1883879 1883883 1883885 1883888 1883950 1883954 1883961 1883962 1883965 1883969 1883973 1883975 1883978 1884040 1884044 1884051 1884052 1884055 1884059 1884063 1884065 1884068 1884130 1884134 1884141 1884142 1884145 1884149 1884153 1884155 1884158 1884220 1884224 1884231 1884232 1884235 1884239 1884243 1884245 1884248 1884310 1884314 1884321 1884322 1884325 1884329 1884333 1884335 1884338 1889050 1889053 1889599 1889602 1889605 1889608 1889611 1889614 1889617 1889686 1889689 1889692 1889695 1889698 1889701 1889704 1896490 1896494 1896497 1896500 1907956 1907961 1907962 1907966 1908067 1908071 1909234 1909239 1909240 1909244 1909247 1909250 1910324 1910326 1910329 1910332 1910335 1910339 1910342 1910345 1910352 1910357 1910368 1910372 1910375 1910378 1911887 1911891 1912991 1912995 1915727 1915730 1916627 1916630 1916634 1918295 1918500 1918503 1919474 1919477 1919481 1920530 1920733 1920738 1920740 1920742 1920746 1920749 1920752 1920755 1920759 1920761 1920763 1920767 1920770 1920773 1920776 1921733 1921736 1921740 1923197 1923400 1923405 1923407 1923409 1923413 1923416 1923419 1923422 1923426 1923428 1923430 1923434 1923437 1923440 1923443 1924400 1924403 1924407 1925660 1925863 1925868 1925870 1925872 1925876 1925879 1925882 1925885 1925889 1925891 1925893 1925897 1925900 1925903 1925906 1926659 1926662 1926666 1927715 1927918 1927923 1927925 1927927 1927931 1927934 1927937 1927940 1927944 1927946 1927948 1927952 1927955 1927958 1927961 1928714 1928717 1928721 1929158 1929361 1929366 1929368 1929370 1929374 1929377 1929380 1929383 1929387 1929389 1929391 1929395 1929398 1929401 1929404 1929698 1929901 1929906 1929908 1929919 1929923 1929926 1929933 1929939 1929945 1929951 1929957 1929960 1929963 1929965 1929967 1929971 1929974 1929977 1930467 1930470 1930471 1930474 1930477 1930480 1930483 1930486 1930493 1930622 1930745 1930871 1930997 1931120 1931242 1931246 1931249 1931258 1931292 1931294 1931301 1931303 1931337 1931339 1931373 1931375 1931409 1931412 1931414 1931444 1931858 1931861 1931865 1932149 1932152 1932156 1937977 1937982 1937983 1937987 1937991 1938283 1938288 1983223 1983228 1983229 1983233 1983271 1983275 1983457 1983462 1983463 1983468 1983479 1983482 1983485 1983488 1988107 1988112 1988113 1988117 1988155 1988159 1988341 1988346 1988347 1988352 1988363 1988366 1988369 1988372 1994335 1994340 1994341 1994345 1994383 1994387 1994569 1994574 1994575 1994580 1994591 1994594 1994597 1994600 1997383 1997388 1997389 1997393 1997431 1997435 1997446 1997451 1997452 1997457 1997468 1997471 1997474 1997477 2038777 2038782 2038783 2038787 2038831 2038835 2039119 2039124 2039125 2039129 2039132 2039135 2039195 2039197 2039200 2039203 2039206 2039210 2039213 2039216 2043171 2043176 2043187 2043191 2043195 2043198 2051404 2051408 2051411 2051414 2051416 2051421 2051423 2051427 2051428 2051432 2051435 2051438 2051440 2051445 2051447 2051451 2051452 2051456 2051459 2051462 2051464 2051469 2051471 2051475 2051476 2051480 2051483 2051486 2051488 2051493 2051495 2051499 2059405 2059409 2059412 2059421 2060845 2060849 2060852 2060861 2062288 2062292 2062295 2062304 2063731 2063735 2063738 2063747 2065174 2065178 2065181 2065190 2066983 2066987 2066990 2066999 2067418 2067422 2067425 2067434 2067442 2067446 2067449 2067458 2067877 2067881 2067884 2067893 2068312 2068316 2068319 2068328 2068747 2068751 2068754 2068763 2069182 2069186 2069189 2069198 2069614 2069618 2069621 2069630 2088820 2088824 2088827 2088830 2088839 2088856 2088860 2088863 2088867 2088869 2088872 2088875 2088892 2088896 2088899 2088902 2088911 2088928 2088932 2088935 2088939 2088941 2088944 2088947 2088964 2088968 2088971 2088974 2088983 2089000 2089004 2089007 2089011 2089013 2089016 2089019 2089132 2089136 2089139 2089142 2089151 2089168 2089172 2089175 2089179 2089181 2089184 2089187 2099599 2099603 2099606 2099609 2099618 2099635 2099639 2099642 2099646 2099648 2099651 2099654 2099671 2099675 2099678 2099681 2099690 2099707 2099711 2099714 2099718 2099720 2099723 2099726 2099743 2099747 2099750 2099753 2099762 2099779 2099783 2099786 2099790 2099792 2099795 2099798 2099815 2099819 2099822 2099825 2099834 2099851 2099855 2099858 2099862 2099864 2099867 2099870 2099887 2099891 2099894 2099897 2099906 2099923 2099927 2099930 2099934 2099936 2099939 2099942 2099959 2099963 2099966 2099969 2099978 2099995 2099999 2100002 2100006 2100008 2100011 2100014 2100031 2100035 2100038 2100041 2100050 2100067 2100071 2100074 2100078 2100080 2100083 2100086 2160256 2160260 2160264 2160266 2160285 2163040 2163044 2163050 2163071 2163074 2163076 2163080 2163086 2163107 2163111 2163220 2163224 2163230 2163251 2163254 2163256 2163260 2163266 2163287 2163291 2163400 2163404 2163410 2163431 2163434 2163436 2163440 2163446 2163467 2163471 2163580 2163584 2163590 2163611 2163614 2163616 2163620 2163626 2163647 2163651 2163760 2163764 2163770 2163791 2163794 2163796 2163800 2163806 2163827 2163831 2163940 2163944 2163950 2163971 2163974 2163976 2163980 2163986 2164007 2164011 2164120 2164124 2164130 2164151 2164154 2164156 2164160 2164166 2164187 2164191 2179366 2179369 2179915 2179918 2179921 2179924 2179927 2179930 2179933 2180002 2180005 2180008 2180011 2180014 2180017 2180020 2186296 2186300 2186304 2186307 2212807 2212811 2212815 2212818 2212824 2212960 2212964 2212968 2212971 2212977 2213278 2213282 2213286 2213289 2213295 2213296 2213300 2213304 2213307 2213313 2213476 2213480 2213484 2213487 2213493 2213494 2213498 2213502 2213505 2213511 2213674 2213678 2213682 2213685 2213691 2213854 2213858 2213862 2213865 2213871 2220535 2220539 2220543 2220546 2220552 2220553 2220557 2220561 2220564 2220570 2220571 2220575 2220579 2220582 2220588 2221696 2221700 2221704 2221707 2221713 2221906 2221910 2221914 2221917 2221923 2231719 2231723 2231726 2231729 2231731 2231736 2231738 2231742 2234762 2234766 2236970 2236974 2242442 2242445 2244245 2244249 2244252 2247857 2249939 2249943 2249946 2252351 2254457 2254461 2254464 2257685 2259791 2259795 2259798 2262611 2264309 2264313 2264316 2266721 2268419 2268423 2268426 2269607 2272256 2274707 2274711 2274714 2275298 2275302 2275305 2276074 2276079 2276081 2286580 2289817 2294156 2294158 2294454 2294456 2294459 2294642 2295149 2295211 2295213 2295509 2295511 2295514 2295697 2296204 2296266 2296268 2296564 2296566 2296569 2296752 2297259 2297321 2297323 2297619 2297621 2297624 2297807 2298314 2298376 2298378 2298674 2298676 2298679 2298862 2299369 2299431 2299433 2299729 2299731 2299734 2299917 2300424 2300486 2300488 2300784 2300786 2300789 2300972 2301479 2301541 2301543 2301899 2301901 2302197 2302199 2302495 2302497 2303736 2303741 2320596 2320601 2320602 2320607 2321093 2321486 2321534 2321536 2321548 2321560 2321572 2321584 2321596 2321608 2321620 2321632 2321644 2321656 2321668 2321680 2321692 2321704 2321716 2321728 2321740 2321752 2321764 2321776 2321788 2321800 2321812 2321824 2321825 2321826 2321831 2321834 2321836 2321837 2321838 2321843 2321846 2321848 2321849 2321850 2321855 2321858 2321860 2321861 2321862 2321867 2321870 2321872 2321873 2321874 2321879 2321882 2321884 2321885 2321886 2321891 2321894 2321896 2321897 2321898 2321903 2321906 2321908 2321909 2321910 2321915 2321918 2321920 2321921 2321922 2321927 2321930 2321932 2321933 2321934 2321939 2321942 2321944 2321945 2321946 2321951 2321954 2321957 2321958 2321963 2321966 2323489 2323541 2328034 2328036 2328039 2328222 2328729 2329089 2329091 2329094 2329277 2329784 2330144 2330146 2330149 2330332 2330839 2331199 2331201 2331204 2331387 2331894 2332254 2332256 2332259 2332442 2332949 2333309 2333311 2333314 2333497 2334004 2334364 2334366 2334369 2334552 2335059 2426889 2426896 2426902 2430060 2430067 2430073 2434083 2434090 2434096 2435946 2435953 2435959 2437498 2448948 2448952 2448954 2448956 2448958 2448960 2448962 2448964 2448969 2448971 2448973 2448975 2448977 2448979 2448983 2456524 2456698 2456952 2456956 2456960 2457250 2457252 2457254 2457256 2457258 2457271 2457275 2457279 2458356 2458358 2458395 2458397 2458434 2458436 2458453 2458455 2458472 2458474 2458529 2458531 2458586 2458588 2458643 2458645 2458662 2458664 2458719 2458721 2458738 2458740 2458833 2458835 2458890 2458892 2474761 2474763 2474765 2474767 2474769 2474771 2474773 2475421 2475423 2475425 2475427 2475429 2476881 2476883 2476885 2476887 2476889 2478041 2478043 2478045 2478047 2478049 2480132 2480134 2480136 2489405 2489407 2489409 2489411 2489413 2493291 2493293 2493295 2493297 2493299 2493377 2493379 2493381 2493383 2493385 2493463 2493465 2493467 2493469 2493471 2493549 2493551 2493553 2493555 2493557 2493635 2493637 2493639 2493641 2493643 2493721 2493723 2493725 2493727 2493729 2494430 2494432 2512080 2512963 2512984 2513005 2513026 2513047 2513068 2513089 2513110 2513131 2513152 2513173 2513194 2521826 2521828 2521830 2521832 2521834 2521847 2521849 2521851 2521853 2521855 2521868 2521870 2521872 2521874 2521876 2521889 2521891 2521893 2521895 2521897 2521910 2521912 2521914 2521916 2521918 2521931 2521933 2521935 2521937 2521939 2521952 2521954 2521956 2521958 2521960 2522391 2522393 2522395 2522397 2522399 2522434 2522436 2522438 2522440 2522442 2522455 2522457 2522459 2522461 2522463 2522476 2522478 2522480 2522482 2522484 2528818 2528820 2528822 2528824 2528826 2528828 2528830 2528838 2528840 2528842 2528844 2528846 2528848 2528850 2528858 2528860 2528862 2528864 2528866 2528868 2528870 2528872 2528873 2528878 2528880 2528882 2528884 2528886 2528888 2528890 0
140.18/140.26	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-3494622-1307804619/watcher-3494622-1307804619 -o /tmp/evaluation-result-3494622-1307804619/solver-3494622-1307804619 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494622-1307804619.cnf 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 3.99 3.06 2.77 4/189 15046
/proc/meminfo: memFree=30856376/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=24476 CPUtime=0 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 588 0 0 0 0 0 0 0 23 0 1 0 892062907 25063424 531 33554432000 4194304 4337479 140733554966976 18446744073709551615 222921776896 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 6119 531 219 35 0 2742 0

[startup+0.024611 s]
/proc/loadavg: 3.99 3.06 2.77 4/189 15046
/proc/meminfo: memFree=30856376/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=27576 CPUtime=0.02 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 1588 0 0 0 2 0 0 0 23 0 1 0 892062907 28237824 1531 33554432000 4194304 4337479 140733554966976 18446744073709551615 222921776896 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 6894 1532 220 35 0 3517 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27576

[startup+0.100599 s]
/proc/loadavg: 3.99 3.06 2.77 4/189 15046
/proc/meminfo: memFree=30856376/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=38820 CPUtime=0.09 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 5551 0 0 0 9 0 0 0 23 0 1 0 892062907 39751680 5290 33554432000 4194304 4337479 140733554966976 18446744073709551615 4258524 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 9705 5292 220 35 0 6328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38820

[startup+0.300588 s]
/proc/loadavg: 3.99 3.06 2.77 4/189 15046
/proc/meminfo: memFree=30856376/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=83372 CPUtime=0.29 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 15837 0 0 0 28 1 0 0 25 0 1 0 892062907 85372928 14855 33554432000 4194304 4337479 140733554966976 18446744073709551615 222921776896 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 20843 14858 241 35 0 17466 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83372

[startup+0.700515 s]
/proc/loadavg: 3.99 3.06 2.77 4/189 15046
/proc/meminfo: memFree=30856376/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=178320 CPUtime=0.69 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 35558 0 0 0 64 5 0 0 25 0 1 0 892062907 182599680 33295 33554432000 4194304 4337479 140733554966976 18446744073709551615 4321305 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 44580 33297 270 35 0 41203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 178320

[startup+1.50037 s]
/proc/loadavg: 3.99 3.06 2.77 5/190 15047
/proc/meminfo: memFree=30668788/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=324656 CPUtime=1.49 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 76674 0 0 0 138 11 0 0 25 0 1 0 892062907 332447744 70331 33554432000 4194304 4337479 140733554966976 18446744073709551615 4319585 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 81164 70331 388 35 0 77787 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 324656

[startup+3.1011 s]
/proc/loadavg: 3.91 3.06 2.77 5/187 15075
/proc/meminfo: memFree=30612356/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=447076 CPUtime=3.09 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 122289 0 0 0 291 18 0 0 25 0 1 0 892062907 457805824 89239 33554432000 4194304 4337479 140733554966976 18446744073709551615 222921445861 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 111769 89239 256 35 0 108392 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 447076

[startup+6.30047 s]
/proc/loadavg: 3.91 3.06 2.77 5/190 15123
/proc/meminfo: memFree=30215632/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=6.29 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143821 0 0 0 609 20 0 0 25 0 1 0 892062907 398045184 84348 33554432000 4194304 4337479 140733554966976 18446744073709551615 4309980 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84348 256 35 0 93802 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 388716

[startup+12.7003 s]
/proc/loadavg: 3.92 3.09 2.78 5/190 15125
/proc/meminfo: memFree=29981556/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=12.69 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 1249 20 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 388716

[startup+25.5009 s]
/proc/loadavg: 3.94 3.12 2.79 5/190 15126
/proc/meminfo: memFree=29982392/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=25.49 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 2529 20 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4282023 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 388716

[startup+51.1003 s]
/proc/loadavg: 3.96 3.19 2.83 5/187 15140
/proc/meminfo: memFree=30290532/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=51.09 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 5088 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4278609 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 388716

[startup+102.307 s]
/proc/loadavg: 3.98 3.33 2.89 5/190 15166
/proc/meminfo: memFree=29801372/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=102.29 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 10208 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4281733 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 388716

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

[startup+115.101 s]
/proc/loadavg: 3.98 3.35 2.90 5/190 15167
/proc/meminfo: memFree=29706372/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=115.08 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 11487 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4281795 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 115.08
Current children cumulated vsize (KiB) 388716

[startup+127.901 s]
/proc/loadavg: 3.99 3.38 2.92 5/190 15167
/proc/meminfo: memFree=29596240/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=127.88 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 12767 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4309789 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 127.88
Current children cumulated vsize (KiB) 388716

[startup+134.301 s]
/proc/loadavg: 3.99 3.39 2.92 5/190 15167
/proc/meminfo: memFree=29539432/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=134.28 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 13407 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4281733 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 134.28
Current children cumulated vsize (KiB) 388716

[startup+137.506 s]
/proc/loadavg: 3.99 3.40 2.93 5/190 15167
/proc/meminfo: memFree=29514628/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=137.49 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 13728 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4290724 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 137.49
Current children cumulated vsize (KiB) 388716

[startup+139.101 s]
/proc/loadavg: 3.99 3.40 2.93 5/190 15167
/proc/meminfo: memFree=29504460/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=139.08 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 13887 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4290711 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 139.08
Current children cumulated vsize (KiB) 388716

[startup+139.901 s]
/proc/loadavg: 3.99 3.40 2.93 5/190 15167
/proc/meminfo: memFree=29493424/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=139.88 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 13967 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4281703 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 139.88
Current children cumulated vsize (KiB) 388716

[startup+140.101 s]
/proc/loadavg: 3.99 3.40 2.93 5/190 15167
/proc/meminfo: memFree=29493424/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=140.08 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 13987 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4303139 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 140.08
Current children cumulated vsize (KiB) 388716

[startup+140.201 s]
/proc/loadavg: 3.99 3.40 2.93 5/190 15167
/proc/meminfo: memFree=29493424/32951124 swapFree=67056684/67111528
[pid=15046] ppid=15044 vsize=388716 CPUtime=140.18 cores=0,2
/proc/15046/stat : 15046 (hmuc) R 15044 15046 13546 0 -1 4202496 143822 0 0 0 13997 21 0 0 25 0 1 0 892062907 398045184 84349 33554432000 4194304 4337479 140733554966976 18446744073709551615 4291349 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/15046/statm: 97179 84349 257 35 0 93802 0
Current children cumulated CPU time (s) 140.18
Current children cumulated vsize (KiB) 388716

Child status: 20
Real time (s): 140.284
CPU time (s): 140.277
CPU user time (s): 140.042
CPU system time (s): 0.234964
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 532124

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

runsolver used 0.235964 second user time and 0.541917 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-11 17:03:41
IDJOB=3494622
IDBENCH=89261
IDSOLVER=1985
FILE ID=node109/3494622-1307804619
RUNJOBID= node109-1307804317-14439
PBS_JOBID= 13551065
Free space on /tmp= 73964 MiB

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

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

MD5SUM BENCH= 7d0412758d8808750a2e0be99261969c
RANDOM SEED=613138970

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30856804 kB
Buffers:        303184 kB
Cached:        1031788 kB
SwapCached:       8608 kB
Active:        1204224 kB
Inactive:       657540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30856804 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:           53344 kB
Writeback:           0 kB
AnonPages:      523668 kB
Mapped:          13656 kB
Slab:           166360 kB
PageTables:       6352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   782628 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73876 MiB
End job on node109 at 2011-06-11 17:06:02