Trace number 3494100

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-A 2011-04-07? (TO) 1800.11 1800.06

General information on the benchmark

Namemus/marques-silva/design-debugging/
rsdecoder-problem.dimacs_31.filtered.cnf
MD5SUM2638187ba7dcdb62adb2383ae1e77f9a
Bench CategoryMUS (MUS)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1197371
Number of clauses3863287
Sum of the clauses size9933929
Maximum clause length4
Minimum clause length1
Number of clauses of size 114511
Number of clauses of size 21628606
Number of clauses of size 32218474
Number of clauses of size 41696
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

38.49/38.57	c WARNING: for repeatability, setting FPU to use double precision
38.49/38.57	c iter 1 time 15.1537 not-muc 3441488 unknown 421799 muc 0
38.49/38.57	c iter 2 time 15.5476 not-muc 3441488 unknown 421798 muc 1
38.49/38.57	c iter 3 time 15.9086 not-muc 3441488 unknown 421797 muc 2
38.49/38.57	c iter 4 time 16.2185 not-muc 3441488 unknown 421796 muc 3
38.49/38.57	c iter 5 time 16.5845 not-muc 3441488 unknown 421795 muc 4
38.49/38.57	c iter 6 time 16.9124 not-muc 3441488 unknown 421794 muc 5
38.49/38.57	c iter 7 time 17.2524 not-muc 3441488 unknown 421793 muc 6
38.49/38.57	c iter 8 time 17.5883 not-muc 3441488 unknown 421792 muc 7
38.49/38.57	c iter 9 time 18.1572 not-muc 3441488 unknown 421791 muc 8
38.49/38.57	c iter 10 time 18.8791 not-muc 3441488 unknown 421790 muc 9
38.49/38.57	c iter 11 time 19.1681 not-muc 3441488 unknown 421789 muc 10
38.49/38.57	c iter 12 time 19.498 not-muc 3441488 unknown 421788 muc 11
38.49/38.57	c iter 13 time 19.787 not-muc 3441488 unknown 421787 muc 12
38.49/38.57	c iter 14 time 20.1459 not-muc 3441488 unknown 421786 muc 13
38.49/38.57	c iter 15 time 20.4409 not-muc 3441488 unknown 421785 muc 14
38.49/38.57	c iter 16 time 20.7848 not-muc 3441488 unknown 421784 muc 15
38.49/38.57	c iter 17 time 21.0818 not-muc 3441488 unknown 421783 muc 16
38.49/38.57	c iter 18 time 21.4167 not-muc 3441488 unknown 421782 muc 17
38.49/38.57	c iter 19 time 21.7157 not-muc 3441488 unknown 421781 muc 18
38.49/38.57	c iter 20 time 22.1846 not-muc 3441488 unknown 421780 muc 19
38.49/38.57	c iter 21 time 22.5226 not-muc 3441488 unknown 421779 muc 20
38.49/38.57	c iter 22 time 22.8235 not-muc 3441488 unknown 421778 muc 21
38.49/38.57	c iter 23 time 23.1715 not-muc 3441488 unknown 421777 muc 22
38.49/38.57	c iter 24 time 23.4744 not-muc 3441488 unknown 421776 muc 23
38.49/38.57	c iter 25 time 23.8084 not-muc 3441488 unknown 421775 muc 24
38.49/38.57	c iter 26 time 24.1073 not-muc 3441488 unknown 421774 muc 25
38.49/38.57	c iter 27 time 24.4453 not-muc 3441488 unknown 421773 muc 26
38.49/38.57	c iter 28 time 24.7452 not-muc 3441488 unknown 421772 muc 27
38.49/38.57	c iter 29 time 25.0812 not-muc 3441488 unknown 421771 muc 28
38.49/38.57	c iter 30 time 25.3931 not-muc 3441488 unknown 421770 muc 29
38.49/38.57	c iter 31 time 25.7421 not-muc 3441488 unknown 421769 muc 30
38.49/38.57	c iter 32 time 26.046 not-muc 3441488 unknown 421768 muc 31
38.49/38.57	c iter 33 time 26.389 not-muc 3441488 unknown 421767 muc 32
38.49/38.57	c iter 34 time 26.7129 not-muc 3441488 unknown 421766 muc 33
38.49/38.57	c iter 35 time 27.0519 not-muc 3441488 unknown 421765 muc 34
38.49/38.57	c iter 36 time 27.3608 not-muc 3441488 unknown 421764 muc 35
38.49/38.57	c iter 37 time 27.7018 not-muc 3441488 unknown 421763 muc 36
38.49/38.57	c iter 38 time 28.0037 not-muc 3441488 unknown 421762 muc 37
38.49/38.57	c iter 39 time 28.3467 not-muc 3441488 unknown 421761 muc 38
38.49/38.57	c iter 40 time 28.7456 not-muc 3441488 unknown 421760 muc 39
38.49/38.57	c iter 41 time 29.0906 not-muc 3441488 unknown 421759 muc 40
38.49/38.57	c iter 42 time 29.3945 not-muc 3441488 unknown 421758 muc 41
38.49/38.57	c iter 43 time 29.7365 not-muc 3441488 unknown 421757 muc 42
38.49/38.57	c iter 44 time 30.1964 not-muc 3441488 unknown 421756 muc 43
38.49/38.57	c iter 45 time 30.5434 not-muc 3441488 unknown 421755 muc 44
38.49/38.57	c iter 46 time 30.8483 not-muc 3441488 unknown 421754 muc 45
38.49/38.57	c iter 47 time 31.1943 not-muc 3441488 unknown 421753 muc 46
38.49/38.57	c iter 48 time 31.5172 not-muc 3441488 unknown 421752 muc 47
38.49/38.57	c iter 49 time 31.8632 not-muc 3441488 unknown 421751 muc 48
38.49/38.57	c iter 50 time 32.1791 not-muc 3441488 unknown 421750 muc 49
38.49/38.57	c iter 51 time 32.5431 not-muc 3441488 unknown 421749 muc 50
38.49/38.57	c iter 52 time 32.851 not-muc 3441488 unknown 421748 muc 51
38.49/38.57	c iter 53 time 33.211 not-muc 3441488 unknown 421747 muc 52
38.49/38.57	c iter 54 time 33.5239 not-muc 3441488 unknown 421746 muc 53
38.49/38.57	c iter 55 time 33.8828 not-muc 3441488 unknown 421745 muc 54
38.49/38.57	c iter 56 time 34.2018 not-muc 3441488 unknown 421744 muc 55
38.49/38.57	c iter 57 time 34.5567 not-muc 3441488 unknown 421743 muc 56
38.49/38.57	c iter 58 time 34.8907 not-muc 3441488 unknown 421742 muc 57
38.49/38.57	c iter 59 time 35.2486 not-muc 3441488 unknown 421741 muc 58
38.49/38.57	c iter 60 time 35.5606 not-muc 3441488 unknown 421740 muc 59
38.49/38.57	c iter 61 time 35.9155 not-muc 3441488 unknown 421739 muc 60
38.49/38.57	c iter 62 time 36.2845 not-muc 3441488 unknown 421738 muc 61
38.49/38.57	c iter 63 time 36.6404 not-muc 3441488 unknown 421737 muc 62
38.49/38.57	c iter 64 time 36.9574 not-muc 3441488 unknown 421736 muc 63
38.49/38.57	c iter 65 time 37.3273 not-muc 3441488 unknown 421735 muc 64
38.49/38.57	c iter 66 time 37.6573 not-muc 3441488 unknown 421734 muc 65
38.49/38.57	c iter 67 time 38.0212 not-muc 3441488 unknown 421733 muc 66
60.89/60.94	c iter 68 time 38.3612 not-muc 3441488 unknown 421732 muc 67
60.89/60.94	c iter 69 time 38.7201 not-muc 3441488 unknown 421731 muc 68
60.89/60.94	c iter 70 time 39.0521 not-muc 3441488 unknown 421730 muc 69
60.89/60.94	c iter 71 time 39.433 not-muc 3441488 unknown 421729 muc 70
60.89/60.94	c iter 72 time 39.754 not-muc 3441488 unknown 421728 muc 71
60.89/60.94	c iter 73 time 40.1169 not-muc 3441488 unknown 421727 muc 72
60.89/60.94	c iter 74 time 40.4449 not-muc 3441488 unknown 421726 muc 73
60.89/60.94	c iter 75 time 40.8158 not-muc 3441488 unknown 421725 muc 74
60.89/60.94	c iter 76 time 41.1327 not-muc 3441488 unknown 421724 muc 75
60.89/60.94	c iter 77 time 41.4807 not-muc 3441488 unknown 421723 muc 76
60.89/60.94	c iter 78 time 41.7916 not-muc 3441488 unknown 421722 muc 77
60.89/60.94	c iter 79 time 42.1766 not-muc 3441488 unknown 421721 muc 78
60.89/60.94	c iter 80 time 42.4865 not-muc 3441488 unknown 421720 muc 79
60.89/60.94	c iter 81 time 42.8345 not-muc 3441488 unknown 421719 muc 80
60.89/60.94	c iter 82 time 43.1454 not-muc 3441488 unknown 421718 muc 81
60.89/60.94	c iter 83 time 43.5044 not-muc 3441488 unknown 421717 muc 82
60.89/60.94	c iter 84 time 43.8293 not-muc 3441488 unknown 421716 muc 83
60.89/60.94	c iter 85 time 44.1873 not-muc 3441488 unknown 421715 muc 84
60.89/60.94	c iter 86 time 44.5022 not-muc 3441488 unknown 421714 muc 85
60.89/60.94	c iter 87 time 44.8172 not-muc 3441488 unknown 421713 muc 86
60.89/60.94	c iter 88 time 45.1771 not-muc 3441488 unknown 421712 muc 87
60.89/60.94	c iter 89 time 45.4881 not-muc 3441488 unknown 421711 muc 88
60.89/60.94	c iter 90 time 45.855 not-muc 3441488 unknown 421710 muc 89
60.89/60.94	c iter 91 time 46.206 not-muc 3441488 unknown 421709 muc 90
60.89/60.94	c iter 92 time 46.5169 not-muc 3441488 unknown 421708 muc 91
60.89/60.94	c iter 93 time 46.8319 not-muc 3441488 unknown 421707 muc 92
60.89/60.94	c iter 94 time 47.2118 not-muc 3441488 unknown 421706 muc 93
60.89/60.94	c iter 95 time 47.5368 not-muc 3441488 unknown 421705 muc 94
60.89/60.94	c iter 96 time 47.8567 not-muc 3441488 unknown 421704 muc 95
60.89/60.94	c iter 97 time 48.2097 not-muc 3441488 unknown 421703 muc 96
60.89/60.94	c iter 98 time 48.5216 not-muc 3441488 unknown 421702 muc 97
60.89/60.94	c iter 99 time 48.8566 not-muc 3441488 unknown 421701 muc 98
60.89/60.94	c iter 100 time 49.2145 not-muc 3441488 unknown 421700 muc 99
60.89/60.94	c iter 101 time 49.5475 not-muc 3441488 unknown 421699 muc 100
60.89/60.94	c iter 102 time 49.8724 not-muc 3441488 unknown 421698 muc 101
60.89/60.94	c iter 103 time 50.2254 not-muc 3441488 unknown 421697 muc 102
60.89/60.94	c iter 104 time 50.5403 not-muc 3441488 unknown 421696 muc 103
60.89/60.94	c iter 105 time 50.8583 not-muc 3441488 unknown 421695 muc 104
60.89/60.94	c iter 106 time 51.2152 not-muc 3441488 unknown 421694 muc 105
60.89/60.94	c iter 107 time 51.5292 not-muc 3441488 unknown 421693 muc 106
60.89/60.94	c iter 108 time 51.8461 not-muc 3441488 unknown 421692 muc 107
60.89/60.94	c iter 109 time 52.2121 not-muc 3441488 unknown 421691 muc 108
60.89/60.94	c iter 110 time 52.546 not-muc 3441488 unknown 421690 muc 109
60.89/60.94	c iter 111 time 52.876 not-muc 3441488 unknown 421689 muc 110
60.89/60.94	c iter 112 time 53.2289 not-muc 3441488 unknown 421688 muc 111
60.89/60.94	c iter 113 time 53.5439 not-muc 3441488 unknown 421687 muc 112
60.89/60.94	c iter 114 time 53.8628 not-muc 3441488 unknown 421686 muc 113
60.89/60.94	c iter 115 time 54.2198 not-muc 3441488 unknown 421685 muc 114
60.89/60.94	c iter 116 time 54.5327 not-muc 3441488 unknown 421684 muc 115
60.89/60.94	c iter 117 time 54.8527 not-muc 3441488 unknown 421683 muc 116
60.89/60.94	c iter 118 time 55.2086 not-muc 3441488 unknown 421682 muc 117
60.89/60.94	c iter 119 time 55.5246 not-muc 3441488 unknown 421681 muc 118
60.89/60.94	c iter 120 time 55.8635 not-muc 3441488 unknown 421680 muc 119
60.89/60.94	c iter 121 time 56.2285 not-muc 3441488 unknown 421679 muc 120
60.89/60.94	c iter 122 time 56.5454 not-muc 3441488 unknown 421678 muc 121
60.89/60.94	c iter 123 time 56.8984 not-muc 3441488 unknown 421677 muc 122
60.89/60.94	c iter 124 time 57.2563 not-muc 3441488 unknown 421676 muc 123
60.89/60.94	c iter 125 time 57.5732 not-muc 3441488 unknown 421675 muc 124
60.89/60.94	c iter 126 time 57.8942 not-muc 3441488 unknown 421674 muc 125
60.89/60.94	c iter 127 time 58.2561 not-muc 3441488 unknown 421673 muc 126
60.89/60.94	c iter 128 time 58.6151 not-muc 3441488 unknown 421672 muc 127
60.89/60.94	c iter 129 time 58.936 not-muc 3441488 unknown 421671 muc 128
60.89/60.94	c iter 130 time 59.33 not-muc 3441488 unknown 421670 muc 129
60.89/60.94	c iter 131 time 59.6859 not-muc 3441488 unknown 421669 muc 130
60.89/60.94	c iter 132 time 60.0089 not-muc 3441488 unknown 421668 muc 131
60.89/60.94	c iter 133 time 60.3888 not-muc 3441488 unknown 421667 muc 132
84.50/84.53	c iter 134 time 60.7298 not-muc 3441488 unknown 421666 muc 133
84.50/84.53	c iter 135 time 61.1067 not-muc 3441488 unknown 421665 muc 134
84.50/84.53	c iter 136 time 61.4647 not-muc 3441488 unknown 421664 muc 135
84.50/84.53	c iter 137 time 61.8636 not-muc 3441488 unknown 421663 muc 136
84.50/84.53	c iter 138 time 62.2235 not-muc 3441488 unknown 421662 muc 137
84.50/84.53	c iter 139 time 62.5625 not-muc 3441488 unknown 421661 muc 138
84.50/84.53	c iter 140 time 62.9334 not-muc 3441488 unknown 421660 muc 139
84.50/84.53	c iter 141 time 63.2954 not-muc 3441488 unknown 421659 muc 140
84.50/84.53	c iter 142 time 63.6653 not-muc 3441488 unknown 421658 muc 141
84.50/84.53	c iter 143 time 63.9903 not-muc 3441488 unknown 421657 muc 142
84.50/84.53	c iter 144 time 64.3502 not-muc 3441488 unknown 421656 muc 143
84.50/84.53	c iter 145 time 64.6922 not-muc 3441488 unknown 421655 muc 144
84.50/84.53	c iter 146 time 65.0341 not-muc 3441488 unknown 421654 muc 145
84.50/84.53	c iter 147 time 65.3941 not-muc 3441488 unknown 421653 muc 146
84.50/84.53	c iter 148 time 65.733 not-muc 3441488 unknown 421652 muc 147
84.50/84.53	c iter 149 time 66.079 not-muc 3441488 unknown 421651 muc 148
84.50/84.53	c iter 150 time 66.4629 not-muc 3441488 unknown 421650 muc 149
84.50/84.53	c iter 151 time 66.7828 not-muc 3441488 unknown 421649 muc 150
84.50/84.53	c iter 152 time 67.1538 not-muc 3441488 unknown 421648 muc 151
84.50/84.53	c iter 153 time 67.5417 not-muc 3441488 unknown 421647 muc 152
84.50/84.53	c iter 154 time 67.8747 not-muc 3441488 unknown 421646 muc 153
84.50/84.53	c iter 155 time 68.1996 not-muc 3441488 unknown 421645 muc 154
84.50/84.53	c iter 156 time 68.5666 not-muc 3441488 unknown 421644 muc 155
84.50/84.53	c iter 157 time 68.9665 not-muc 3441488 unknown 421643 muc 156
84.50/84.53	c iter 158 time 69.2825 not-muc 3441488 unknown 421642 muc 157
84.50/84.53	c iter 159 time 69.6594 not-muc 3441488 unknown 421641 muc 158
84.50/84.53	c iter 160 time 69.9714 not-muc 3441488 unknown 421640 muc 159
84.50/84.53	c iter 161 time 70.3133 not-muc 3441488 unknown 421639 muc 160
84.50/84.53	c iter 162 time 70.6653 not-muc 3441488 unknown 421638 muc 161
84.50/84.53	c iter 163 time 71.0002 not-muc 3441488 unknown 421637 muc 162
84.50/84.53	c iter 164 time 71.4111 not-muc 3441488 unknown 421636 muc 163
84.50/84.53	c iter 165 time 71.7911 not-muc 3441488 unknown 421635 muc 164
84.50/84.53	c iter 166 time 72.115 not-muc 3441488 unknown 421634 muc 165
84.50/84.53	c iter 167 time 72.454 not-muc 3441488 unknown 421633 muc 166
84.50/84.53	c iter 168 time 72.8249 not-muc 3441488 unknown 421632 muc 167
84.50/84.53	c iter 169 time 73.4148 not-muc 3441488 unknown 421631 muc 168
84.50/84.53	c iter 170 time 73.7688 not-muc 3441488 unknown 421630 muc 169
84.50/84.53	c iter 171 time 74.1787 not-muc 3441488 unknown 421629 muc 170
84.50/84.53	c iter 172 time 74.4987 not-muc 3441488 unknown 421628 muc 171
84.50/84.53	c iter 173 time 74.8666 not-muc 3441488 unknown 421627 muc 172
84.50/84.53	c iter 174 time 75.2026 not-muc 3441488 unknown 421626 muc 173
84.50/84.53	c iter 175 time 75.5225 not-muc 3441488 unknown 421625 muc 174
84.50/84.53	c iter 176 time 75.8745 not-muc 3441488 unknown 421624 muc 175
84.50/84.53	c iter 177 time 76.2674 not-muc 3441488 unknown 421623 muc 176
84.50/84.53	c iter 178 time 76.5854 not-muc 3441488 unknown 421622 muc 177
84.50/84.53	c iter 179 time 76.9353 not-muc 3441488 unknown 421621 muc 178
84.50/84.53	c iter 180 time 77.3642 not-muc 3441488 unknown 421620 muc 179
84.50/84.53	c iter 181 time 77.7212 not-muc 3441488 unknown 421619 muc 180
84.50/84.53	c iter 182 time 78.0731 not-muc 3441488 unknown 421618 muc 181
84.50/84.53	c iter 183 time 78.5071 not-muc 3441488 unknown 421617 muc 182
84.50/84.53	c iter 184 time 78.866 not-muc 3441488 unknown 421616 muc 183
84.50/84.53	c iter 185 time 79.229 not-muc 3441488 unknown 421615 muc 184
84.50/84.53	c iter 186 time 79.5849 not-muc 3441488 unknown 421614 muc 185
84.50/84.53	c iter 187 time 79.9438 not-muc 3441488 unknown 421613 muc 186
84.50/84.53	c iter 188 time 80.3268 not-muc 3441488 unknown 421612 muc 187
84.50/84.53	c iter 189 time 80.6857 not-muc 3441488 unknown 421611 muc 188
84.50/84.53	c iter 190 time 81.0827 not-muc 3441488 unknown 421610 muc 189
84.50/84.53	c iter 191 time 81.4876 not-muc 3441488 unknown 421609 muc 190
84.50/84.53	c iter 192 time 81.8046 not-muc 3441488 unknown 421608 muc 191
84.50/84.53	c iter 193 time 82.1765 not-muc 3441488 unknown 421607 muc 192
84.50/84.53	c iter 194 time 82.6104 not-muc 3441488 unknown 421606 muc 193
84.50/84.53	c iter 195 time 82.9684 not-muc 3441488 unknown 421605 muc 194
84.50/84.53	c iter 196 time 83.2993 not-muc 3441488 unknown 421604 muc 195
84.50/84.53	c iter 197 time 83.6203 not-muc 3441488 unknown 421603 muc 196
84.50/84.53	c iter 198 time 83.9812 not-muc 3441488 unknown 421602 muc 197
110.09/110.17	c iter 199 time 84.3842 not-muc 3441488 unknown 421601 muc 198
110.09/110.17	c iter 200 time 84.8151 not-muc 3441488 unknown 421600 muc 199
110.09/110.17	c iter 201 time 85.1791 not-muc 3441488 unknown 421599 muc 200
110.09/110.17	c iter 202 time 85.573 not-muc 3441488 unknown 421598 muc 201
110.09/110.17	c iter 203 time 85.9269 not-muc 3441488 unknown 421597 muc 202
110.09/110.17	c iter 204 time 86.2519 not-muc 3441488 unknown 421596 muc 203
110.09/110.17	c iter 205 time 86.5968 not-muc 3441488 unknown 421595 muc 204
110.09/110.17	c iter 206 time 86.9588 not-muc 3441488 unknown 421594 muc 205
110.09/110.17	c iter 207 time 87.3347 not-muc 3441488 unknown 421593 muc 206
110.09/110.17	c iter 208 time 87.7227 not-muc 3441488 unknown 421592 muc 207
110.09/110.17	c iter 209 time 88.0506 not-muc 3441488 unknown 421591 muc 208
110.09/110.17	c iter 210 time 88.4586 not-muc 3441488 unknown 421590 muc 209
110.09/110.17	c iter 211 time 88.8195 not-muc 3441488 unknown 421589 muc 210
110.09/110.17	c iter 212 time 89.2564 not-muc 3441488 unknown 421588 muc 211
110.09/110.17	c iter 213 time 89.6324 not-muc 3441488 unknown 421587 muc 212
110.09/110.17	c iter 214 time 89.9513 not-muc 3441488 unknown 421586 muc 213
110.09/110.17	c iter 215 time 90.3633 not-muc 3441488 unknown 421585 muc 214
110.09/110.17	c iter 216 time 90.7042 not-muc 3441488 unknown 421584 muc 215
110.09/110.17	c iter 217 time 91.0892 not-muc 3441488 unknown 421583 muc 216
110.09/110.17	c iter 218 time 91.4741 not-muc 3441488 unknown 421582 muc 217
110.09/110.17	c iter 219 time 91.857 not-muc 3441488 unknown 421581 muc 218
110.09/110.17	c iter 220 time 92.206 not-muc 3441488 unknown 421580 muc 219
110.09/110.17	c iter 221 time 92.5929 not-muc 3441488 unknown 421579 muc 220
110.09/110.17	c iter 222 time 92.9439 not-muc 3441488 unknown 421578 muc 221
110.09/110.17	c iter 223 time 93.2848 not-muc 3441488 unknown 421577 muc 222
110.09/110.17	c iter 224 time 93.6828 not-muc 3441488 unknown 421576 muc 223
110.09/110.17	c iter 225 time 94.0677 not-muc 3441488 unknown 421575 muc 224
110.09/110.17	c iter 226 time 94.4816 not-muc 3441488 unknown 421574 muc 225
110.09/110.17	c iter 227 time 94.8086 not-muc 3441488 unknown 421573 muc 226
110.09/110.17	c iter 228 time 95.1685 not-muc 3441488 unknown 421572 muc 227
110.09/110.17	c iter 229 time 95.5435 not-muc 3441488 unknown 421571 muc 228
110.09/110.17	c iter 230 time 95.8674 not-muc 3441488 unknown 421570 muc 229
110.09/110.17	c iter 231 time 96.3294 not-muc 3441488 unknown 421569 muc 230
110.09/110.17	c iter 232 time 96.6683 not-muc 3441488 unknown 421568 muc 231
110.09/110.17	c iter 233 time 97.0452 not-muc 3441488 unknown 421567 muc 232
110.09/110.17	c iter 234 time 97.3862 not-muc 3441488 unknown 421566 muc 233
110.09/110.17	c iter 235 time 97.7171 not-muc 3441488 unknown 421565 muc 234
110.09/110.17	c iter 236 time 98.1341 not-muc 3441488 unknown 421564 muc 235
110.09/110.17	c iter 237 time 98.56 not-muc 3441488 unknown 421563 muc 236
110.09/110.17	c iter 238 time 98.938 not-muc 3441488 unknown 421562 muc 237
110.09/110.17	c iter 239 time 99.5389 not-muc 3441488 unknown 421561 muc 238
110.09/110.17	c iter 240 time 99.9108 not-muc 3441488 unknown 421560 muc 239
110.09/110.17	c iter 241 time 100.247 not-muc 3441488 unknown 421559 muc 240
110.09/110.17	c iter 242 time 100.618 not-muc 3441488 unknown 421558 muc 241
110.09/110.17	c iter 243 time 100.993 not-muc 3441488 unknown 421557 muc 242
110.09/110.17	c iter 244 time 101.352 not-muc 3441488 unknown 421556 muc 243
110.09/110.17	c iter 245 time 101.736 not-muc 3441488 unknown 421555 muc 244
110.09/110.17	c iter 246 time 102.35 not-muc 3441488 unknown 421554 muc 245
110.09/110.17	c iter 247 time 102.72 not-muc 3441488 unknown 421553 muc 246
110.09/110.17	c iter 248 time 103.089 not-muc 3441488 unknown 421552 muc 247
110.09/110.17	c iter 249 time 103.431 not-muc 3441488 unknown 421551 muc 248
110.09/110.17	c iter 250 time 103.906 not-muc 3441488 unknown 421550 muc 249
110.09/110.17	c iter 251 time 104.257 not-muc 3441488 unknown 421549 muc 250
110.09/110.17	c iter 252 time 104.944 not-muc 3441488 unknown 421548 muc 251
110.09/110.17	c iter 253 time 105.318 not-muc 3441488 unknown 421547 muc 252
110.09/110.17	c iter 254 time 105.683 not-muc 3441488 unknown 421546 muc 253
110.09/110.17	c iter 255 time 106.03 not-muc 3441488 unknown 421545 muc 254
110.09/110.17	c iter 256 time 106.543 not-muc 3441488 unknown 421544 muc 255
110.09/110.17	c iter 257 time 106.897 not-muc 3441488 unknown 421543 muc 256
110.09/110.17	c iter 258 time 107.39 not-muc 3441488 unknown 421542 muc 257
110.09/110.17	c iter 259 time 107.942 not-muc 3441488 unknown 421541 muc 258
110.09/110.17	c iter 260 time 108.416 not-muc 3441488 unknown 421540 muc 259
110.09/110.17	c iter 261 time 108.764 not-muc 3441488 unknown 421539 muc 260
110.09/110.17	c iter 262 time 109.101 not-muc 3441488 unknown 421538 muc 261
110.09/110.17	c iter 263 time 109.619 not-muc 3441488 unknown 421537 muc 262
143.89/143.95	c iter 264 time 110.121 not-muc 3441488 unknown 421536 muc 263
143.89/143.95	c iter 265 time 110.509 not-muc 3441488 unknown 421535 muc 264
143.89/143.95	c iter 266 time 111.002 not-muc 3441488 unknown 421534 muc 265
143.89/143.95	c iter 267 time 111.514 not-muc 3441488 unknown 421533 muc 266
143.89/143.95	c iter 268 time 111.879 not-muc 3441488 unknown 421532 muc 267
143.89/143.95	c iter 269 time 112.388 not-muc 3441488 unknown 421531 muc 268
143.89/143.95	c iter 270 time 112.745 not-muc 3441488 unknown 421530 muc 269
143.89/143.95	c iter 271 time 113.132 not-muc 3441488 unknown 421529 muc 270
143.89/143.95	c iter 272 time 113.648 not-muc 3441488 unknown 421528 muc 271
143.89/143.95	c iter 273 time 113.999 not-muc 3441488 unknown 421527 muc 272
143.89/143.95	c iter 274 time 114.512 not-muc 3441488 unknown 421526 muc 273
143.89/143.95	c iter 275 time 115.045 not-muc 3441488 unknown 421525 muc 274
143.89/143.95	c iter 276 time 115.57 not-muc 3441488 unknown 421524 muc 275
143.89/143.95	c iter 277 time 115.981 not-muc 3441488 unknown 421523 muc 276
143.89/143.95	c iter 278 time 116.496 not-muc 3441488 unknown 421522 muc 277
143.89/143.95	c iter 279 time 117.002 not-muc 3441488 unknown 421521 muc 278
143.89/143.95	c iter 280 time 117.412 not-muc 3441488 unknown 421520 muc 279
143.89/143.95	c iter 281 time 117.943 not-muc 3441488 unknown 421519 muc 280
143.89/143.95	c iter 282 time 118.476 not-muc 3441488 unknown 421518 muc 281
143.89/143.95	c iter 283 time 119.061 not-muc 3441488 unknown 421517 muc 282
143.89/143.95	c iter 284 time 119.607 not-muc 3441488 unknown 421516 muc 283
143.89/143.95	c iter 285 time 119.97 not-muc 3441488 unknown 421515 muc 284
143.89/143.95	c iter 286 time 120.52 not-muc 3441488 unknown 421514 muc 285
143.89/143.95	c iter 287 time 121.112 not-muc 3441488 unknown 421513 muc 286
143.89/143.95	c iter 288 time 121.464 not-muc 3441488 unknown 421512 muc 287
143.89/143.95	c iter 289 time 121.867 not-muc 3441488 unknown 421511 muc 288
143.89/143.95	c iter 290 time 122.454 not-muc 3441488 unknown 421510 muc 289
143.89/143.95	c iter 291 time 122.883 not-muc 3441488 unknown 421509 muc 290
143.89/143.95	c iter 292 time 123.319 not-muc 3441488 unknown 421508 muc 291
143.89/143.95	c iter 293 time 123.886 not-muc 3441488 unknown 421507 muc 292
143.89/143.95	c iter 294 time 124.457 not-muc 3441488 unknown 421506 muc 293
143.89/143.95	c iter 295 time 124.896 not-muc 3441488 unknown 421505 muc 294
143.89/143.95	c iter 296 time 125.471 not-muc 3441488 unknown 421504 muc 295
143.89/143.95	c iter 297 time 125.927 not-muc 3441488 unknown 421503 muc 296
143.89/143.95	c iter 298 time 126.49 not-muc 3441488 unknown 421502 muc 297
143.89/143.95	c iter 299 time 126.863 not-muc 3441488 unknown 421501 muc 298
143.89/143.95	c iter 300 time 127.522 not-muc 3441488 unknown 421500 muc 299
143.89/143.95	c iter 301 time 128.045 not-muc 3441488 unknown 421499 muc 300
143.89/143.95	c iter 302 time 128.605 not-muc 3441488 unknown 421498 muc 301
143.89/143.95	c iter 303 time 128.965 not-muc 3441488 unknown 421497 muc 302
143.89/143.95	c iter 304 time 129.605 not-muc 3441488 unknown 421496 muc 303
143.89/143.95	c iter 305 time 130.262 not-muc 3441488 unknown 421495 muc 304
143.89/143.95	c iter 306 time 130.945 not-muc 3441488 unknown 421494 muc 305
143.89/143.95	c iter 307 time 131.32 not-muc 3441488 unknown 421493 muc 306
143.89/143.95	c iter 308 time 131.715 not-muc 3441488 unknown 421492 muc 307
143.89/143.95	c iter 309 time 132.323 not-muc 3441488 unknown 421491 muc 308
143.89/143.95	c iter 310 time 132.93 not-muc 3441488 unknown 421490 muc 309
143.89/143.95	c iter 311 time 133.336 not-muc 3441488 unknown 421489 muc 310
143.89/143.95	c iter 312 time 134.032 not-muc 3441488 unknown 421488 muc 311
143.89/143.95	c iter 313 time 134.416 not-muc 3441488 unknown 421487 muc 312
143.89/143.95	c iter 314 time 134.784 not-muc 3441488 unknown 421486 muc 313
143.89/143.95	c iter 315 time 135.25 not-muc 3441488 unknown 421485 muc 314
143.89/143.95	c iter 316 time 135.597 not-muc 3441488 unknown 421484 muc 315
143.89/143.95	c iter 317 time 136.213 not-muc 3441488 unknown 421483 muc 316
143.89/143.95	c iter 318 time 136.686 not-muc 3441488 unknown 421482 muc 317
143.89/143.95	c iter 319 time 137.302 not-muc 3441488 unknown 421481 muc 318
143.89/143.95	c iter 320 time 137.753 not-muc 3441488 unknown 421480 muc 319
143.89/143.95	c iter 321 time 138.125 not-muc 3441488 unknown 421479 muc 320
143.89/143.95	c iter 322 time 138.831 not-muc 3441488 unknown 421478 muc 321
143.89/143.95	c iter 323 time 139.52 not-muc 3441488 unknown 421477 muc 322
143.89/143.95	c iter 324 time 140.003 not-muc 3441488 unknown 421476 muc 323
143.89/143.95	c iter 325 time 140.782 not-muc 3441488 unknown 421475 muc 324
143.89/143.95	c iter 326 time 141.475 not-muc 3441488 unknown 421474 muc 325
143.89/143.95	c iter 327 time 142.026 not-muc 3441488 unknown 421473 muc 326
143.89/143.95	c iter 328 time 142.748 not-muc 3441488 unknown 421472 muc 327
143.89/143.95	c iter 329 time 143.4 not-muc 3441488 unknown 421471 muc 328
185.39/185.48	c iter 330 time 144.035 not-muc 3441488 unknown 421470 muc 329
185.39/185.48	c iter 331 time 144.503 not-muc 3441488 unknown 421469 muc 330
185.39/185.48	c iter 332 time 145.144 not-muc 3441488 unknown 421468 muc 331
185.39/185.48	c iter 333 time 145.535 not-muc 3441488 unknown 421467 muc 332
185.39/185.48	c iter 334 time 146.337 not-muc 3441488 unknown 421466 muc 333
185.39/185.48	c iter 335 time 146.786 not-muc 3441488 unknown 421465 muc 334
185.39/185.48	c iter 336 time 147.542 not-muc 3441488 unknown 421464 muc 335
185.39/185.48	c iter 337 time 147.97 not-muc 3441488 unknown 421463 muc 336
185.39/185.48	c iter 338 time 148.729 not-muc 3441488 unknown 421462 muc 337
185.39/185.48	c iter 339 time 149.341 not-muc 3441488 unknown 421461 muc 338
185.39/185.48	c iter 340 time 149.872 not-muc 3441488 unknown 421460 muc 339
185.39/185.48	c iter 341 time 150.371 not-muc 3441488 unknown 421459 muc 340
185.39/185.48	c iter 342 time 151.222 not-muc 3441488 unknown 421458 muc 341
185.39/185.48	c iter 343 time 152.111 not-muc 3441488 unknown 421457 muc 342
185.39/185.48	c iter 344 time 152.745 not-muc 3441488 unknown 421456 muc 343
185.39/185.48	c iter 345 time 153.12 not-muc 3441488 unknown 421455 muc 344
185.39/185.48	c iter 346 time 154.013 not-muc 3441488 unknown 421454 muc 345
185.39/185.48	c iter 347 time 154.929 not-muc 3441488 unknown 421453 muc 346
185.39/185.48	c iter 348 time 155.856 not-muc 3441488 unknown 421452 muc 347
185.39/185.48	c iter 349 time 156.32 not-muc 3441488 unknown 421451 muc 348
185.39/185.48	c iter 350 time 157.249 not-muc 3441488 unknown 421450 muc 349
185.39/185.48	c iter 351 time 158.169 not-muc 3441488 unknown 421449 muc 350
185.39/185.48	c iter 352 time 158.63 not-muc 3441488 unknown 421448 muc 351
185.39/185.48	c iter 353 time 159.603 not-muc 3441488 unknown 421447 muc 352
185.39/185.48	c iter 354 time 160.578 not-muc 3441488 unknown 421446 muc 353
185.39/185.48	c iter 355 time 161.537 not-muc 3441488 unknown 421445 muc 354
185.39/185.48	c iter 356 time 162.052 not-muc 3441488 unknown 421444 muc 355
185.39/185.48	c iter 357 time 162.677 not-muc 3441488 unknown 421443 muc 356
185.39/185.48	c iter 358 time 163.172 not-muc 3441488 unknown 421442 muc 357
185.39/185.48	c iter 359 time 163.558 not-muc 3441488 unknown 421441 muc 358
185.39/185.48	c iter 360 time 164.317 not-muc 3441488 unknown 421440 muc 359
185.39/185.48	c iter 361 time 165.129 not-muc 3441488 unknown 421439 muc 360
185.39/185.48	c iter 362 time 165.625 not-muc 3441488 unknown 421438 muc 361
185.39/185.48	c iter 363 time 166.027 not-muc 3441488 unknown 421437 muc 362
185.39/185.48	c iter 364 time 166.85 not-muc 3441488 unknown 421436 muc 363
185.39/185.48	c iter 365 time 167.728 not-muc 3441488 unknown 421435 muc 364
185.39/185.48	c iter 366 time 168.26 not-muc 3441488 unknown 421434 muc 365
185.39/185.48	c iter 367 time 168.711 not-muc 3441488 unknown 421433 muc 366
185.39/185.48	c iter 368 time 169.364 not-muc 3441488 unknown 421432 muc 367
185.39/185.48	c iter 369 time 169.94 not-muc 3441488 unknown 421431 muc 368
185.39/185.48	c iter 370 time 170.661 not-muc 3441488 unknown 421430 muc 369
185.39/185.48	c iter 371 time 171.127 not-muc 3441488 unknown 421429 muc 370
185.39/185.48	c iter 372 time 171.836 not-muc 3441488 unknown 421428 muc 371
185.39/185.48	c iter 373 time 172.325 not-muc 3441488 unknown 421427 muc 372
185.39/185.48	c iter 374 time 173.111 not-muc 3441488 unknown 421426 muc 373
185.39/185.48	c iter 375 time 173.768 not-muc 3441488 unknown 421425 muc 374
185.39/185.48	c iter 376 time 174.27 not-muc 3441488 unknown 421424 muc 375
185.39/185.48	c iter 377 time 174.894 not-muc 3441488 unknown 421423 muc 376
185.39/185.48	c iter 378 time 175.574 not-muc 3441488 unknown 421422 muc 377
185.39/185.48	c iter 379 time 176.295 not-muc 3441488 unknown 421421 muc 378
185.39/185.48	c iter 380 time 176.882 not-muc 3441488 unknown 421420 muc 379
185.39/185.48	c iter 381 time 177.274 not-muc 3441488 unknown 421419 muc 380
185.39/185.48	c iter 382 time 178.14 not-muc 3441488 unknown 421418 muc 381
185.39/185.48	c iter 383 time 178.677 not-muc 3441488 unknown 421417 muc 382
185.39/185.48	c iter 384 time 179.581 not-muc 3441488 unknown 421416 muc 383
185.39/185.48	c iter 385 time 180.099 not-muc 3441488 unknown 421415 muc 384
185.39/185.48	c iter 386 time 180.574 not-muc 3441488 unknown 421414 muc 385
185.39/185.48	c iter 387 time 181.099 not-muc 3441488 unknown 421413 muc 386
185.39/185.48	c iter 388 time 181.66 not-muc 3441488 unknown 421412 muc 387
185.39/185.48	c iter 389 time 182.054 not-muc 3441488 unknown 421411 muc 388
185.39/185.48	c iter 390 time 182.93 not-muc 3441488 unknown 421410 muc 389
185.39/185.48	c iter 391 time 183.401 not-muc 3441488 unknown 421409 muc 390
185.39/185.48	c iter 392 time 184.007 not-muc 3441488 unknown 421408 muc 391
185.39/185.48	c iter 393 time 184.427 not-muc 3441488 unknown 421407 muc 392
185.39/185.48	c iter 394 time 184.915 not-muc 3441488 unknown 421406 muc 393
236.00/236.05	c iter 395 time 185.407 not-muc 3441488 unknown 421405 muc 394
236.00/236.05	c iter 396 time 186.077 not-muc 3441488 unknown 421404 muc 395
236.00/236.05	c iter 397 time 186.833 not-muc 3441488 unknown 421403 muc 396
236.00/236.05	c iter 398 time 187.593 not-muc 3441488 unknown 421402 muc 397
236.00/236.05	c iter 399 time 188.081 not-muc 3441488 unknown 421401 muc 398
236.00/236.05	c iter 400 time 188.49 not-muc 3441488 unknown 421400 muc 399
236.00/236.05	c iter 401 time 189.275 not-muc 3441488 unknown 421399 muc 400
236.00/236.05	c iter 402 time 190.41 not-muc 3441488 unknown 421398 muc 401
236.00/236.05	c iter 403 time 191.257 not-muc 3441488 unknown 421397 muc 402
236.00/236.05	c iter 404 time 191.859 not-muc 3441488 unknown 421396 muc 403
236.00/236.05	c iter 405 time 192.657 not-muc 3441488 unknown 421395 muc 404
236.00/236.05	c iter 406 time 193.254 not-muc 3441488 unknown 421394 muc 405
236.00/236.05	c iter 407 time 193.747 not-muc 3441488 unknown 421393 muc 406
236.00/236.05	c iter 408 time 194.529 not-muc 3441488 unknown 421392 muc 407
236.00/236.05	c iter 409 time 195.014 not-muc 3441488 unknown 421391 muc 408
236.00/236.05	c iter 410 time 195.798 not-muc 3441488 unknown 421390 muc 409
236.00/236.05	c iter 411 time 196.477 not-muc 3441488 unknown 421389 muc 410
236.00/236.05	c iter 412 time 197.294 not-muc 3441488 unknown 421388 muc 411
236.00/236.05	c iter 413 time 198.086 not-muc 3441488 unknown 421387 muc 412
236.00/236.05	c iter 414 time 198.734 not-muc 3441488 unknown 421386 muc 413
236.00/236.05	c iter 415 time 199.217 not-muc 3441488 unknown 421385 muc 414
236.00/236.05	c iter 416 time 200.414 not-muc 3441488 unknown 421384 muc 415
236.00/236.05	c iter 417 time 201.06 not-muc 3441488 unknown 421383 muc 416
236.00/236.05	c iter 418 time 201.477 not-muc 3441488 unknown 421382 muc 417
236.00/236.05	c iter 419 time 202.16 not-muc 3441488 unknown 421381 muc 418
236.00/236.05	c iter 420 time 202.657 not-muc 3441488 unknown 421380 muc 419
236.00/236.05	c iter 421 time 203.983 not-muc 3441488 unknown 421379 muc 420
236.00/236.05	c iter 422 time 204.518 not-muc 3441488 unknown 421378 muc 421
236.00/236.05	c iter 423 time 205.206 not-muc 3441488 unknown 421377 muc 422
236.00/236.05	c iter 424 time 205.591 not-muc 3441488 unknown 421376 muc 423
236.00/236.05	c iter 425 time 206.1 not-muc 3441488 unknown 421375 muc 424
236.00/236.05	c iter 426 time 206.6 not-muc 3441488 unknown 421374 muc 425
236.00/236.05	c iter 427 time 206.995 not-muc 3441488 unknown 421373 muc 426
236.00/236.05	c iter 428 time 207.506 not-muc 3441488 unknown 421372 muc 427
236.00/236.05	c iter 429 time 207.927 not-muc 3441488 unknown 421371 muc 428
236.00/236.05	c iter 430 time 208.567 not-muc 3441488 unknown 421370 muc 429
236.00/236.05	c iter 431 time 209.172 not-muc 3441488 unknown 421369 muc 430
236.00/236.05	c iter 432 time 209.714 not-muc 3441488 unknown 421368 muc 431
236.00/236.05	c iter 433 time 211.104 not-muc 3441488 unknown 421367 muc 432
236.00/236.05	c iter 434 time 211.7 not-muc 3441488 unknown 421366 muc 433
236.00/236.05	c iter 435 time 212.369 not-muc 3441488 unknown 421365 muc 434
236.00/236.05	c iter 436 time 213.079 not-muc 3441488 unknown 421364 muc 435
236.00/236.05	c iter 437 time 213.703 not-muc 3441488 unknown 421363 muc 436
236.00/236.05	c iter 438 time 215.083 not-muc 3441488 unknown 421362 muc 437
236.00/236.05	c iter 439 time 215.72 not-muc 3441488 unknown 421361 muc 438
236.00/236.05	c iter 440 time 217.399 not-muc 3441488 unknown 421360 muc 439
236.00/236.05	c iter 441 time 217.986 not-muc 3441488 unknown 421359 muc 440
236.00/236.05	c iter 442 time 218.663 not-muc 3441488 unknown 421358 muc 441
236.00/236.05	c iter 443 time 219.289 not-muc 3441488 unknown 421357 muc 442
236.00/236.05	c iter 444 time 219.883 not-muc 3441488 unknown 421356 muc 443
236.00/236.05	c iter 445 time 221.484 not-muc 3441488 unknown 421355 muc 444
236.00/236.05	c iter 446 time 222.145 not-muc 3441488 unknown 421354 muc 445
236.00/236.05	c iter 447 time 222.765 not-muc 3441488 unknown 421353 muc 446
236.00/236.05	c iter 448 time 224.455 not-muc 3441488 unknown 421352 muc 447
236.00/236.05	c iter 449 time 225.096 not-muc 3441488 unknown 421351 muc 448
236.00/236.05	c iter 450 time 225.84 not-muc 3441488 unknown 421350 muc 449
236.00/236.05	c iter 451 time 227.349 not-muc 3441488 unknown 421349 muc 450
236.00/236.05	c iter 452 time 227.915 not-muc 3441488 unknown 421348 muc 451
236.00/236.05	c iter 453 time 230.338 not-muc 3441488 unknown 421347 muc 452
236.00/236.05	c iter 454 time 230.874 not-muc 3441488 unknown 421346 muc 453
236.00/236.05	c iter 455 time 231.283 not-muc 3441488 unknown 421345 muc 454
236.00/236.05	c iter 456 time 231.829 not-muc 3441488 unknown 421344 muc 455
236.00/236.05	c iter 457 time 232.375 not-muc 3441488 unknown 421343 muc 456
236.00/236.05	c iter 458 time 234.903 not-muc 3441488 unknown 421342 muc 457
236.00/236.05	c iter 459 time 235.483 not-muc 3441488 unknown 421341 muc 458
301.19/301.28	c iter 460 time 236.119 not-muc 3441488 unknown 421340 muc 459
301.19/301.28	c iter 461 time 236.842 not-muc 3441488 unknown 421339 muc 460
301.19/301.28	c iter 462 time 238.043 not-muc 3441488 unknown 421338 muc 461
301.19/301.28	c iter 463 time 238.711 not-muc 3441488 unknown 421337 muc 462
301.19/301.28	c iter 464 time 239.312 not-muc 3441488 unknown 421336 muc 463
301.19/301.28	c iter 465 time 240.679 not-muc 3441488 unknown 421335 muc 464
301.19/301.28	c iter 466 time 241.346 not-muc 3441488 unknown 421334 muc 465
301.19/301.28	c iter 467 time 242.008 not-muc 3441488 unknown 421333 muc 466
301.19/301.28	c iter 468 time 243.75 not-muc 3441488 unknown 421332 muc 467
301.19/301.28	c iter 469 time 244.615 not-muc 3441488 unknown 421331 muc 468
301.19/301.28	c iter 470 time 245.802 not-muc 3441488 unknown 421330 muc 469
301.19/301.28	c iter 471 time 246.601 not-muc 3441488 unknown 421329 muc 470
301.19/301.28	c iter 472 time 247.205 not-muc 3441488 unknown 421328 muc 471
301.19/301.28	c iter 473 time 247.945 not-muc 3441488 unknown 421327 muc 472
301.19/301.28	c iter 474 time 248.54 not-muc 3441488 unknown 421326 muc 473
301.19/301.28	c iter 475 time 249.138 not-muc 3441488 unknown 421325 muc 474
301.19/301.28	c iter 476 time 250.517 not-muc 3441488 unknown 421324 muc 475
301.19/301.28	c iter 477 time 251.599 not-muc 3441488 unknown 421323 muc 476
301.19/301.28	c iter 478 time 252.223 not-muc 3441488 unknown 421322 muc 477
301.19/301.28	c iter 479 time 253.577 not-muc 3441488 unknown 421321 muc 478
301.19/301.28	c iter 480 time 254.564 not-muc 3441488 unknown 421320 muc 479
301.19/301.28	c iter 481 time 255.314 not-muc 3441488 unknown 421319 muc 480
301.19/301.28	c iter 482 time 256.417 not-muc 3441488 unknown 421318 muc 481
301.19/301.28	c iter 483 time 257.817 not-muc 3441488 unknown 421317 muc 482
301.19/301.28	c iter 484 time 258.86 not-muc 3441488 unknown 421316 muc 483
301.19/301.28	c iter 485 time 259.771 not-muc 3441488 unknown 421315 muc 484
301.19/301.28	c iter 486 time 260.893 not-muc 3441488 unknown 421314 muc 485
301.19/301.28	c iter 487 time 261.799 not-muc 3441488 unknown 421313 muc 486
301.19/301.28	c iter 488 time 262.934 not-muc 3441488 unknown 421312 muc 487
301.19/301.28	c iter 489 time 263.68 not-muc 3441488 unknown 421311 muc 488
301.19/301.28	c iter 490 time 264.572 not-muc 3441488 unknown 421310 muc 489
301.19/301.28	c iter 491 time 265.248 not-muc 3441488 unknown 421309 muc 490
301.19/301.28	c iter 492 time 265.87 not-muc 3441488 unknown 421308 muc 491
301.19/301.28	c iter 493 time 267.375 not-muc 3441488 unknown 421307 muc 492
301.19/301.28	c iter 494 time 268.315 not-muc 3441488 unknown 421306 muc 493
301.19/301.28	c iter 495 time 269.043 not-muc 3441488 unknown 421305 muc 494
301.19/301.28	c iter 496 time 270.227 not-muc 3441488 unknown 421304 muc 495
301.19/301.28	c iter 497 time 271.886 not-muc 3441488 unknown 421303 muc 496
301.19/301.28	c iter 498 time 272.928 not-muc 3441488 unknown 421302 muc 497
301.19/301.28	c iter 499 time 273.677 not-muc 3441488 unknown 421301 muc 498
301.19/301.28	c iter 500 time 275.016 not-muc 3441488 unknown 421300 muc 499
301.19/301.28	c iter 501 time 276.776 not-muc 3441488 unknown 421299 muc 500
301.19/301.28	c iter 502 time 277.475 not-muc 3441488 unknown 421298 muc 501
301.19/301.28	c iter 503 time 279.205 not-muc 3441488 unknown 421297 muc 502
301.19/301.28	c iter 504 time 279.968 not-muc 3441488 unknown 421296 muc 503
301.19/301.28	c iter 505 time 280.954 not-muc 3441488 unknown 421295 muc 504
301.19/301.28	c iter 506 time 281.798 not-muc 3441488 unknown 421294 muc 505
301.19/301.28	c iter 507 time 283.172 not-muc 3441488 unknown 421293 muc 506
301.19/301.28	c iter 508 time 284.114 not-muc 3441488 unknown 421292 muc 507
301.19/301.28	c iter 509 time 285.003 not-muc 3441488 unknown 421291 muc 508
301.19/301.28	c iter 510 time 285.969 not-muc 3441488 unknown 421290 muc 509
301.19/301.28	c iter 511 time 287.486 not-muc 3441488 unknown 421289 muc 510
301.19/301.28	c iter 512 time 288.497 not-muc 3441488 unknown 421288 muc 511
301.19/301.28	c iter 513 time 289.385 not-muc 3441488 unknown 421287 muc 512
301.19/301.28	c iter 514 time 290.653 not-muc 3441488 unknown 421286 muc 513
301.19/301.28	c iter 515 time 291.394 not-muc 3441488 unknown 421285 muc 514
301.19/301.28	c iter 516 time 293.272 not-muc 3441488 unknown 421284 muc 515
301.19/301.28	c iter 517 time 294.104 not-muc 3441488 unknown 421283 muc 516
301.19/301.28	c iter 518 time 294.96 not-muc 3441488 unknown 421282 muc 517
301.19/301.28	c iter 519 time 296.306 not-muc 3441488 unknown 421281 muc 518
301.19/301.28	c iter 520 time 297.136 not-muc 3441488 unknown 421280 muc 519
301.19/301.28	c iter 521 time 297.572 not-muc 3441488 unknown 421279 muc 520
301.19/301.28	c iter 522 time 298.36 not-muc 3441488 unknown 421278 muc 521
301.19/301.28	c iter 523 time 298.827 not-muc 3441488 unknown 421277 muc 522
301.19/301.28	c iter 524 time 300.709 not-muc 3441488 unknown 421276 muc 523
398.20/398.26	c iter 525 time 301.829 not-muc 3441488 unknown 421275 muc 524
398.20/398.26	c iter 526 time 302.686 not-muc 3441488 unknown 421274 muc 525
398.20/398.26	c iter 527 time 304.636 not-muc 3441488 unknown 421273 muc 526
398.20/398.26	c iter 528 time 305.319 not-muc 3441488 unknown 421272 muc 527
398.20/398.26	c iter 529 time 305.721 not-muc 3441488 unknown 421271 muc 528
398.20/398.26	c iter 530 time 307.715 not-muc 3441488 unknown 421270 muc 529
398.20/398.26	c iter 531 time 308.287 not-muc 3441488 unknown 421269 muc 530
398.20/398.26	c iter 532 time 309.219 not-muc 3441488 unknown 421268 muc 531
398.20/398.26	c iter 533 time 309.663 not-muc 3441488 unknown 421267 muc 532
398.20/398.26	c iter 534 time 310.4 not-muc 3441488 unknown 421266 muc 533
398.20/398.26	c iter 535 time 311.134 not-muc 3441488 unknown 421265 muc 534
398.20/398.26	c iter 536 time 311.829 not-muc 3441488 unknown 421264 muc 535
398.20/398.26	c iter 537 time 312.287 not-muc 3441488 unknown 421263 muc 536
398.20/398.26	c iter 538 time 313.552 not-muc 3441488 unknown 421262 muc 537
398.20/398.26	c iter 539 time 314.693 not-muc 3441488 unknown 421261 muc 538
398.20/398.26	c iter 540 time 315.291 not-muc 3441488 unknown 421260 muc 539
398.20/398.26	c iter 541 time 316.74 not-muc 3441488 unknown 421259 muc 540
398.20/398.26	c iter 542 time 317.548 not-muc 3441488 unknown 421258 muc 541
398.20/398.26	c iter 543 time 318.11 not-muc 3441488 unknown 421257 muc 542
398.20/398.26	c iter 544 time 320.598 not-muc 3441488 unknown 421256 muc 543
398.20/398.26	c iter 545 time 321.289 not-muc 3441488 unknown 421255 muc 544
398.20/398.26	c iter 546 time 321.857 not-muc 3441488 unknown 421254 muc 545
398.20/398.26	c iter 547 time 322.517 not-muc 3441488 unknown 421253 muc 546
398.20/398.26	c iter 548 time 322.905 not-muc 3441488 unknown 421252 muc 547
398.20/398.26	c iter 549 time 324.968 not-muc 3441488 unknown 421251 muc 548
398.20/398.26	c iter 550 time 329.129 not-muc 3441488 unknown 421250 muc 549
398.20/398.26	c iter 551 time 329.594 not-muc 3441488 unknown 421249 muc 550
398.20/398.26	c iter 552 time 332.324 not-muc 3441488 unknown 421248 muc 551
398.20/398.26	c iter 553 time 332.787 not-muc 3441488 unknown 421247 muc 552
398.20/398.26	c iter 554 time 335.747 not-muc 3441488 unknown 421246 muc 553
398.20/398.26	c iter 555 time 336.195 not-muc 3441488 unknown 421245 muc 554
398.20/398.26	c iter 556 time 338.99 not-muc 3441488 unknown 421244 muc 555
398.20/398.26	c iter 557 time 341.442 not-muc 3441488 unknown 421243 muc 556
398.20/398.26	c iter 558 time 343.962 not-muc 3441488 unknown 421242 muc 557
398.20/398.26	c iter 559 time 344.412 not-muc 3441488 unknown 421241 muc 558
398.20/398.26	c iter 560 time 347.011 not-muc 3441488 unknown 421240 muc 559
398.20/398.26	c iter 561 time 349.685 not-muc 3441488 unknown 421239 muc 560
398.20/398.26	c iter 562 time 350.179 not-muc 3441488 unknown 421238 muc 561
398.20/398.26	c iter 563 time 350.587 not-muc 3441488 unknown 421237 muc 562
398.20/398.26	c iter 564 time 353.415 not-muc 3441488 unknown 421236 muc 563
398.20/398.26	c iter 565 time 356.235 not-muc 3441488 unknown 421235 muc 564
398.20/398.26	c iter 566 time 356.698 not-muc 3441488 unknown 421234 muc 565
398.20/398.26	c iter 567 time 358.32 not-muc 3441488 unknown 421233 muc 566
398.20/398.26	c iter 568 time 359.108 not-muc 3441488 unknown 421232 muc 567
398.20/398.26	c iter 569 time 361.27 not-muc 3441488 unknown 421231 muc 568
398.20/398.26	c iter 570 time 361.692 not-muc 3441488 unknown 421230 muc 569
398.20/398.26	c iter 571 time 364.699 not-muc 3441488 unknown 421229 muc 570
398.20/398.26	c iter 572 time 365.201 not-muc 3441488 unknown 421228 muc 571
398.20/398.26	c iter 573 time 366.717 not-muc 3441488 unknown 421227 muc 572
398.20/398.27	c iter 574 time 369.042 not-muc 3441488 unknown 421226 muc 573
398.20/398.27	c iter 575 time 370.575 not-muc 3441488 unknown 421225 muc 574
398.20/398.27	c iter 576 time 371.08 not-muc 3441488 unknown 421224 muc 575
398.20/398.27	c iter 577 time 373.44 not-muc 3441488 unknown 421223 muc 576
398.20/398.27	c iter 578 time 376.195 not-muc 3441488 unknown 421222 muc 577
398.20/398.27	c iter 579 time 376.639 not-muc 3441488 unknown 421221 muc 578
398.20/398.27	c iter 580 time 377.875 not-muc 3441488 unknown 421220 muc 579
398.20/398.27	c iter 581 time 378.46 not-muc 3441488 unknown 421219 muc 580
398.20/398.27	c iter 582 time 382.872 not-muc 3441488 unknown 421218 muc 581
398.20/398.27	c iter 583 time 384.818 not-muc 3441488 unknown 421217 muc 582
398.20/398.27	c iter 584 time 385.324 not-muc 3441488 unknown 421216 muc 583
398.20/398.27	c iter 585 time 386.131 not-muc 3441488 unknown 421215 muc 584
398.20/398.27	c iter 586 time 390.436 not-muc 3441488 unknown 421214 muc 585
398.20/398.27	c iter 587 time 390.885 not-muc 3441488 unknown 421213 muc 586
398.20/398.27	c iter 588 time 394.167 not-muc 3441488 unknown 421212 muc 587
398.20/398.27	c iter 589 time 397.692 not-muc 3441488 unknown 421211 muc 588
550.02/550.01	c iter 590 time 398.179 not-muc 3441488 unknown 421210 muc 589
550.02/550.01	c iter 591 time 401.737 not-muc 3441488 unknown 421209 muc 590
550.02/550.01	c iter 592 time 405.311 not-muc 3441488 unknown 421208 muc 591
550.02/550.01	c iter 593 time 408.938 not-muc 3441488 unknown 421207 muc 592
550.02/550.01	c iter 594 time 410.658 not-muc 3441488 unknown 421206 muc 593
550.02/550.01	c iter 595 time 413.459 not-muc 3441488 unknown 421205 muc 594
550.02/550.01	c iter 596 time 416.987 not-muc 3441488 unknown 421204 muc 595
550.02/550.01	c iter 597 time 418.538 not-muc 3441488 unknown 421203 muc 596
550.02/550.01	c iter 598 time 422.799 not-muc 3441488 unknown 421202 muc 597
550.02/550.01	c iter 599 time 423.234 not-muc 3441488 unknown 421201 muc 598
550.02/550.01	c iter 600 time 424.966 not-muc 3441488 unknown 421200 muc 599
550.02/550.01	c iter 601 time 429.406 not-muc 3441488 unknown 421199 muc 600
550.02/550.01	c iter 602 time 430.841 not-muc 3441488 unknown 421198 muc 601
550.02/550.01	c iter 603 time 431.465 not-muc 3441488 unknown 421197 muc 602
550.02/550.01	c iter 604 time 435.857 not-muc 3441488 unknown 421196 muc 603
550.02/550.01	c iter 605 time 438.745 not-muc 3441488 unknown 421195 muc 604
550.02/550.01	c iter 606 time 439.155 not-muc 3441488 unknown 421194 muc 605
550.02/550.01	c iter 607 time 442.117 not-muc 3441488 unknown 421193 muc 606
550.02/550.01	c iter 608 time 442.515 not-muc 3441488 unknown 421192 muc 607
550.02/550.01	c iter 609 time 442.912 not-muc 3441488 unknown 421191 muc 608
550.02/550.01	c iter 610 time 446.416 not-muc 3441488 unknown 421190 muc 609
550.02/550.01	c iter 611 time 449.902 not-muc 3441488 unknown 421189 muc 610
550.02/550.01	c iter 612 time 453.394 not-muc 3441488 unknown 421188 muc 611
550.02/550.01	c iter 613 time 453.797 not-muc 3441488 unknown 421187 muc 612
550.02/550.01	c iter 614 time 457.169 not-muc 3441488 unknown 421186 muc 613
550.02/550.01	c iter 615 time 460.546 not-muc 3441488 unknown 421185 muc 614
550.02/550.01	c iter 616 time 464.11 not-muc 3441488 unknown 421184 muc 615
550.02/550.01	c iter 617 time 467.281 not-muc 3441488 unknown 421183 muc 616
550.02/550.01	c iter 618 time 470.46 not-muc 3441488 unknown 421182 muc 617
550.02/550.01	c iter 619 time 470.914 not-muc 3441488 unknown 421181 muc 618
550.02/550.01	c iter 620 time 476.316 not-muc 3441488 unknown 421180 muc 619
550.02/550.01	c iter 621 time 480.433 not-muc 3441488 unknown 421179 muc 620
550.02/550.01	c iter 622 time 480.919 not-muc 3441488 unknown 421178 muc 621
550.02/550.01	c iter 623 time 486.315 not-muc 3441488 unknown 421177 muc 622
550.02/550.01	c iter 624 time 491.486 not-muc 3441488 unknown 421176 muc 623
550.02/550.01	c iter 625 time 495.015 not-muc 3441488 unknown 421175 muc 624
550.02/550.01	c iter 626 time 495.5 not-muc 3441488 unknown 421174 muc 625
550.02/550.01	c iter 627 time 499.22 not-muc 3441488 unknown 421173 muc 626
550.02/550.01	c iter 628 time 501.048 not-muc 3441488 unknown 421172 muc 627
550.02/550.01	c iter 629 time 505.713 not-muc 3441488 unknown 421171 muc 628
550.02/550.01	c iter 630 time 507.439 not-muc 3441488 unknown 421170 muc 629
550.02/550.01	c iter 631 time 509.204 not-muc 3441488 unknown 421169 muc 630
550.02/550.01	c iter 632 time 511.144 not-muc 3441488 unknown 421168 muc 631
550.02/550.01	c iter 633 time 511.916 not-muc 3441488 unknown 421167 muc 632
550.02/550.01	c iter 634 time 512.993 not-muc 3441488 unknown 421166 muc 633
550.02/550.01	c iter 635 time 518.124 not-muc 3441488 unknown 421165 muc 634
550.02/550.01	c iter 636 time 519.767 not-muc 3441488 unknown 421164 muc 635
550.02/550.01	c iter 637 time 524.917 not-muc 3441488 unknown 421163 muc 636
550.02/550.01	c iter 638 time 526.607 not-muc 3441488 unknown 421162 muc 637
550.02/550.01	c iter 639 time 527.924 not-muc 3441488 unknown 421161 muc 638
550.02/550.01	c iter 640 time 528.321 not-muc 3441488 unknown 421160 muc 639
550.02/550.01	c iter 641 time 529.094 not-muc 3441488 unknown 421159 muc 640
550.02/550.01	c iter 642 time 530.864 not-muc 3441488 unknown 421158 muc 641
550.02/550.01	c iter 643 time 531.259 not-muc 3441488 unknown 421157 muc 642
550.02/550.01	c iter 644 time 534.351 not-muc 3441488 unknown 421156 muc 643
550.02/550.01	c iter 645 time 536.038 not-muc 3441488 unknown 421155 muc 644
550.02/550.01	c iter 646 time 537.131 not-muc 3441488 unknown 421154 muc 645
550.02/550.01	c iter 647 time 538.244 not-muc 3441488 unknown 421153 muc 646
550.02/550.01	c iter 648 time 539.307 not-muc 3441488 unknown 421152 muc 647
550.02/550.01	c iter 649 time 540.567 not-muc 3441488 unknown 421151 muc 648
550.02/550.01	c iter 650 time 541.708 not-muc 3441488 unknown 421150 muc 649
550.02/550.01	c iter 651 time 542.357 not-muc 3441488 unknown 421149 muc 650
550.02/550.01	c iter 652 time 543.475 not-muc 3441488 unknown 421148 muc 651
550.02/550.01	c iter 653 time 544.605 not-muc 3441488 unknown 421147 muc 652
550.02/550.01	c iter 654 time 549.433 not-muc 3441488 unknown 421146 muc 653
696.51/696.58	c iter 655 time 550.611 not-muc 3441488 unknown 421145 muc 654
696.51/696.58	c iter 656 time 555.72 not-muc 3441488 unknown 421144 muc 655
696.51/696.58	c iter 657 time 556.38 not-muc 3441488 unknown 421143 muc 656
696.51/696.58	c iter 658 time 557.84 not-muc 3441488 unknown 421142 muc 657
696.51/696.58	c iter 659 time 563.081 not-muc 3441488 unknown 421141 muc 658
696.51/696.58	c iter 660 time 564.39 not-muc 3441488 unknown 421140 muc 659
696.51/696.58	c iter 661 time 565.578 not-muc 3441488 unknown 421139 muc 660
696.51/696.58	c iter 662 time 569.694 not-muc 3441488 unknown 421138 muc 661
696.51/696.58	c iter 663 time 570.822 not-muc 3441488 unknown 421137 muc 662
696.51/696.58	c iter 664 time 572.261 not-muc 3441488 unknown 421136 muc 663
696.51/696.58	c iter 665 time 578.25 not-muc 3441488 unknown 421135 muc 664
696.51/696.58	c iter 666 time 584.357 not-muc 3441488 unknown 421134 muc 665
696.51/696.58	c iter 667 time 589.963 not-muc 3441488 unknown 421133 muc 666
696.51/696.58	c iter 668 time 595.847 not-muc 3441488 unknown 421132 muc 667
696.51/696.58	c iter 669 time 597.002 not-muc 3441488 unknown 421131 muc 668
696.51/696.58	c iter 670 time 603.191 not-muc 3441488 unknown 421130 muc 669
696.51/696.58	c iter 671 time 603.693 not-muc 3441488 unknown 421129 muc 670
696.51/696.58	c iter 672 time 610.525 not-muc 3441488 unknown 421128 muc 671
696.51/696.58	c iter 673 time 616.877 not-muc 3441488 unknown 421127 muc 672
696.51/696.58	c iter 674 time 623.135 not-muc 3441488 unknown 421126 muc 673
696.51/696.58	c iter 675 time 624.334 not-muc 3441488 unknown 421125 muc 674
696.51/696.58	c iter 676 time 624.968 not-muc 3441488 unknown 421124 muc 675
696.51/696.58	c iter 677 time 628.475 not-muc 3441488 unknown 421123 muc 676
696.51/696.58	c iter 678 time 631.911 not-muc 3441488 unknown 421122 muc 677
696.51/696.58	c iter 679 time 635.778 not-muc 3441488 unknown 421121 muc 678
696.51/696.58	c iter 680 time 637.957 not-muc 3441488 unknown 421120 muc 679
696.51/696.58	c iter 681 time 638.687 not-muc 3441488 unknown 421119 muc 680
696.51/696.58	c iter 682 time 639.941 not-muc 3441488 unknown 421118 muc 681
696.51/696.58	c iter 683 time 641.182 not-muc 3441488 unknown 421117 muc 682
696.51/696.58	c iter 684 time 642.434 not-muc 3441488 unknown 421116 muc 683
696.51/696.58	c iter 685 time 643.033 not-muc 3441488 unknown 421115 muc 684
696.51/696.58	c iter 686 time 645.174 not-muc 3441488 unknown 421114 muc 685
696.51/696.58	c iter 687 time 645.681 not-muc 3441488 unknown 421113 muc 686
696.51/696.58	c iter 688 time 647.035 not-muc 3441488 unknown 421112 muc 687
696.51/696.58	c iter 689 time 648.348 not-muc 3441488 unknown 421111 muc 688
696.51/696.58	c iter 690 time 649.686 not-muc 3441488 unknown 421110 muc 689
696.51/696.58	c iter 691 time 651.046 not-muc 3441488 unknown 421109 muc 690
696.51/696.58	c iter 692 time 651.562 not-muc 3441488 unknown 421108 muc 691
696.51/696.58	c iter 693 time 652.922 not-muc 3441488 unknown 421107 muc 692
696.51/696.58	c iter 694 time 653.713 not-muc 3441488 unknown 421106 muc 693
696.51/696.58	c iter 695 time 656.348 not-muc 3441488 unknown 421105 muc 694
696.51/696.58	c iter 696 time 657.704 not-muc 3441488 unknown 421104 muc 695
696.51/696.58	c iter 697 time 658.67 not-muc 3441488 unknown 421103 muc 696
696.51/696.58	c iter 698 time 660.281 not-muc 3441488 unknown 421102 muc 697
696.51/696.58	c iter 699 time 663.267 not-muc 3441488 unknown 421101 muc 698
696.51/696.58	c iter 700 time 664.013 not-muc 3441488 unknown 421100 muc 699
696.51/696.58	c iter 701 time 666.923 not-muc 3441488 unknown 421099 muc 700
696.51/696.58	c iter 702 time 670.465 not-muc 3441488 unknown 421098 muc 701
696.51/696.58	c iter 703 time 674.075 not-muc 3441488 unknown 421097 muc 702
696.51/696.58	c iter 704 time 677.699 not-muc 3441488 unknown 421096 muc 703
696.51/696.58	c iter 705 time 679.083 not-muc 3441488 unknown 421095 muc 704
696.51/696.58	c iter 706 time 679.723 not-muc 3441488 unknown 421094 muc 705
696.51/696.58	c iter 707 time 680.583 not-muc 3441488 unknown 421093 muc 706
696.51/696.58	c iter 708 time 681.036 not-muc 3441488 unknown 421092 muc 707
696.51/696.58	c iter 709 time 682.779 not-muc 3441488 unknown 421091 muc 708
696.51/696.58	c iter 710 time 684.234 not-muc 3441488 unknown 421090 muc 709
696.51/696.58	c iter 711 time 685.688 not-muc 3441488 unknown 421089 muc 710
696.51/696.58	c iter 712 time 686.17 not-muc 3441488 unknown 421088 muc 711
696.51/696.58	c iter 713 time 687.683 not-muc 3441488 unknown 421087 muc 712
696.51/696.58	c iter 714 time 688.17 not-muc 3441488 unknown 421086 muc 713
696.51/696.58	c iter 715 time 689.761 not-muc 3441488 unknown 421085 muc 714
696.51/696.58	c iter 716 time 693.032 not-muc 3441488 unknown 421084 muc 715
696.51/696.58	c iter 717 time 694.634 not-muc 3441488 unknown 421083 muc 716
696.51/696.58	c iter 718 time 695.204 not-muc 3441488 unknown 421082 muc 717
696.51/696.58	c iter 719 time 695.622 not-muc 3441488 unknown 421081 muc 718
696.51/696.58	c iter 720 time 696.007 not-muc 3441488 unknown 421080 muc 719
875.21/875.26	c iter 721 time 699.957 not-muc 3441488 unknown 421079 muc 720
875.21/875.26	c iter 722 time 700.48 not-muc 3441488 unknown 421078 muc 721
875.21/875.26	c iter 723 time 700.889 not-muc 3441488 unknown 421077 muc 722
875.21/875.26	c iter 724 time 708.809 not-muc 3441488 unknown 421076 muc 723
875.21/875.26	c iter 725 time 709.4 not-muc 3441488 unknown 421075 muc 724
875.21/875.26	c iter 726 time 710.873 not-muc 3441488 unknown 421074 muc 725
875.21/875.26	c iter 727 time 711.466 not-muc 3441488 unknown 421073 muc 726
875.21/875.26	c iter 728 time 711.926 not-muc 3441488 unknown 421072 muc 727
875.21/875.26	c iter 729 time 713.728 not-muc 3441488 unknown 421071 muc 728
875.21/875.26	c iter 730 time 714.169 not-muc 3441488 unknown 421070 muc 729
875.21/875.26	c iter 731 time 715.527 not-muc 3441488 unknown 421069 muc 730
875.21/875.26	c iter 732 time 715.983 not-muc 3441488 unknown 421068 muc 731
875.21/875.26	c iter 733 time 720.088 not-muc 3441488 unknown 421067 muc 732
875.21/875.26	c iter 734 time 721.672 not-muc 3441488 unknown 421066 muc 733
875.21/875.26	c iter 735 time 723.076 not-muc 3441488 unknown 421065 muc 734
875.21/875.26	c iter 736 time 724.466 not-muc 3441488 unknown 421064 muc 735
875.21/875.26	c iter 737 time 724.897 not-muc 3441488 unknown 421063 muc 736
875.21/875.26	c iter 738 time 726.38 not-muc 3441488 unknown 421062 muc 737
875.21/875.26	c iter 739 time 727.651 not-muc 3441488 unknown 421061 muc 738
875.21/875.26	c iter 740 time 728.93 not-muc 3441488 unknown 421060 muc 739
875.21/875.26	c iter 741 time 730.736 not-muc 3441488 unknown 421059 muc 740
875.21/875.26	c iter 742 time 731.568 not-muc 3441488 unknown 421058 muc 741
875.21/875.26	c iter 743 time 732.366 not-muc 3441488 unknown 421057 muc 742
875.21/875.26	c iter 744 time 732.964 not-muc 3441488 unknown 421056 muc 743
875.21/875.26	c iter 745 time 734.769 not-muc 3441488 unknown 421055 muc 744
875.21/875.26	c iter 746 time 736.859 not-muc 3441488 unknown 421054 muc 745
875.21/875.26	c iter 747 time 740.639 not-muc 3441488 unknown 421053 muc 746
875.21/875.26	c iter 748 time 744.719 not-muc 3441488 unknown 421052 muc 747
875.21/875.26	c iter 749 time 746.368 not-muc 3441488 unknown 421051 muc 748
875.21/875.26	c iter 750 time 751.244 not-muc 3441488 unknown 421050 muc 749
875.21/875.26	c iter 751 time 753.018 not-muc 3441488 unknown 421049 muc 750
875.21/875.26	c iter 752 time 756.733 not-muc 3441488 unknown 421048 muc 751
875.21/875.26	c iter 753 time 761.441 not-muc 3441488 unknown 421047 muc 752
875.21/875.26	c iter 754 time 765.765 not-muc 3441488 unknown 421046 muc 753
875.21/875.26	c iter 755 time 768.966 not-muc 3441488 unknown 421045 muc 754
875.21/875.26	c iter 756 time 773.466 not-muc 3441488 unknown 421044 muc 755
875.21/875.26	c iter 757 time 775.266 not-muc 3441488 unknown 421043 muc 756
875.21/875.26	c iter 758 time 779.619 not-muc 3441488 unknown 421042 muc 757
875.21/875.26	c iter 759 time 781.322 not-muc 3441488 unknown 421041 muc 758
875.21/875.26	c iter 760 time 782.997 not-muc 3441488 unknown 421040 muc 759
875.21/875.26	c iter 761 time 788.716 not-muc 3441488 unknown 421039 muc 760
875.21/875.26	c iter 762 time 792.28 not-muc 3441488 unknown 421038 muc 761
875.21/875.26	c iter 763 time 793.714 not-muc 3441488 unknown 421037 muc 762
875.21/875.26	c iter 764 time 798.484 not-muc 3441488 unknown 421036 muc 763
875.21/875.26	c iter 765 time 800.152 not-muc 3441488 unknown 421035 muc 764
875.21/875.26	c iter 766 time 804.886 not-muc 3441488 unknown 421034 muc 765
875.21/875.26	c iter 767 time 809.742 not-muc 3441488 unknown 421033 muc 766
875.21/875.26	c iter 768 time 811.458 not-muc 3441488 unknown 421032 muc 767
875.21/875.26	c iter 769 time 819.224 not-muc 3441488 unknown 421031 muc 768
875.21/875.26	c iter 770 time 821.441 not-muc 3441488 unknown 421030 muc 769
875.21/875.26	c iter 771 time 823.047 not-muc 3441488 unknown 421029 muc 770
875.21/875.26	c iter 772 time 826.853 not-muc 3441488 unknown 421028 muc 771
875.21/875.26	c iter 773 time 831.639 not-muc 3441488 unknown 421027 muc 772
875.21/875.26	c iter 774 time 833.152 not-muc 3441488 unknown 421026 muc 773
875.21/875.26	c iter 775 time 838.218 not-muc 3441488 unknown 421025 muc 774
875.21/875.26	c iter 776 time 846.567 not-muc 3441488 unknown 421024 muc 775
875.21/875.26	c iter 777 time 850.076 not-muc 3441488 unknown 421023 muc 776
875.21/875.26	c iter 778 time 850.916 not-muc 3441488 unknown 421022 muc 777
875.21/875.26	c iter 779 time 851.318 not-muc 3441488 unknown 421021 muc 778
875.21/875.26	c iter 780 time 855.704 not-muc 3441488 unknown 421020 muc 779
875.21/875.26	c iter 781 time 857.467 not-muc 3441488 unknown 421019 muc 780
875.21/875.26	c iter 782 time 863.292 not-muc 3441488 unknown 421018 muc 781
875.21/875.26	c iter 783 time 864.184 not-muc 3441488 unknown 421017 muc 782
875.21/875.26	c iter 784 time 874.099 not-muc 3441488 unknown 421016 muc 783
875.21/875.26	c iter 785 time 874.688 not-muc 3441488 unknown 421015 muc 784
1050.32/1050.38	c iter 786 time 879.349 not-muc 3441488 unknown 421014 muc 785
1050.32/1050.38	c iter 787 time 884.03 not-muc 3441488 unknown 421013 muc 786
1050.32/1050.38	c iter 788 time 884.727 not-muc 3441488 unknown 421012 muc 787
1050.32/1050.38	c iter 789 time 885.291 not-muc 3441488 unknown 421011 muc 788
1050.32/1050.38	c iter 790 time 887.839 not-muc 3441488 unknown 421010 muc 789
1050.32/1050.38	c iter 791 time 892.784 not-muc 3441488 unknown 421009 muc 790
1050.32/1050.38	c iter 792 time 897.228 not-muc 3441488 unknown 421008 muc 791
1050.32/1050.38	c iter 793 time 901.404 not-muc 3441488 unknown 421007 muc 792
1050.32/1050.38	c iter 794 time 903.787 not-muc 3441488 unknown 421006 muc 793
1050.32/1050.38	c iter 795 time 909.491 not-muc 3441488 unknown 421005 muc 794
1050.32/1050.38	c iter 796 time 912.837 not-muc 3441488 unknown 421004 muc 795
1050.32/1050.38	c iter 797 time 915.537 not-muc 3441488 unknown 421003 muc 796
1050.32/1050.38	c iter 798 time 920.43 not-muc 3441488 unknown 421002 muc 797
1050.32/1050.38	c iter 799 time 924.699 not-muc 3441488 unknown 421001 muc 798
1050.32/1050.38	c iter 800 time 929.806 not-muc 3441488 unknown 421000 muc 799
1050.32/1050.38	c iter 801 time 930.634 not-muc 3441488 unknown 420999 muc 800
1050.32/1050.38	c iter 802 time 936.087 not-muc 3441488 unknown 420998 muc 801
1050.32/1050.38	c iter 803 time 941.099 not-muc 3441488 unknown 420997 muc 802
1050.32/1050.38	c iter 804 time 941.733 not-muc 3441488 unknown 420996 muc 803
1050.32/1050.38	c iter 805 time 945.013 not-muc 3441488 unknown 420995 muc 804
1050.32/1050.38	c iter 806 time 949.439 not-muc 3441488 unknown 420994 muc 805
1050.32/1050.38	c iter 807 time 952.95 not-muc 3441488 unknown 420993 muc 806
1050.32/1050.38	c iter 808 time 957.105 not-muc 3441488 unknown 420992 muc 807
1050.32/1050.38	c iter 809 time 957.948 not-muc 3441488 unknown 420991 muc 808
1050.32/1050.38	c iter 810 time 964.699 not-muc 3441488 unknown 420990 muc 809
1050.32/1050.38	c iter 811 time 965.129 not-muc 3441488 unknown 420989 muc 810
1050.32/1050.38	c iter 812 time 965.511 not-muc 3441488 unknown 420988 muc 811
1050.32/1050.38	c iter 813 time 966.545 not-muc 3441488 unknown 420987 muc 812
1050.32/1050.38	c iter 814 time 966.931 not-muc 3441488 unknown 420986 muc 813
1050.32/1050.38	c iter 815 time 967.356 not-muc 3441488 unknown 420985 muc 814
1050.32/1050.38	c iter 816 time 967.804 not-muc 3441488 unknown 420984 muc 815
1050.32/1050.38	c iter 817 time 969.02 not-muc 3441488 unknown 420983 muc 816
1050.32/1050.38	c iter 818 time 969.766 not-muc 3441488 unknown 420982 muc 817
1050.32/1050.38	c iter 819 time 973.246 not-muc 3441488 unknown 420981 muc 818
1050.32/1050.38	c iter 820 time 974.45 not-muc 3441488 unknown 420980 muc 819
1050.32/1050.38	c iter 821 time 974.843 not-muc 3441488 unknown 420979 muc 820
1050.32/1050.38	c iter 822 time 975.269 not-muc 3441488 unknown 420978 muc 821
1050.32/1050.38	c iter 823 time 976.961 not-muc 3441488 unknown 420977 muc 822
1050.32/1050.38	c iter 824 time 981.171 not-muc 3441488 unknown 420976 muc 823
1050.32/1050.38	c iter 825 time 981.934 not-muc 3441488 unknown 420975 muc 824
1050.32/1050.38	c iter 826 time 986.564 not-muc 3441488 unknown 420974 muc 825
1050.32/1050.38	c iter 827 time 989.494 not-muc 3441488 unknown 420973 muc 826
1050.32/1050.38	c iter 828 time 989.922 not-muc 3441488 unknown 420972 muc 827
1050.32/1050.38	c iter 829 time 991.658 not-muc 3441488 unknown 420971 muc 828
1050.32/1050.38	c iter 830 time 994.321 not-muc 3441488 unknown 420970 muc 829
1050.32/1050.38	c iter 831 time 997.114 not-muc 3441488 unknown 420969 muc 830
1050.32/1050.38	c iter 832 time 997.553 not-muc 3441488 unknown 420968 muc 831
1050.32/1050.38	c iter 833 time 1000.83 not-muc 3441488 unknown 420967 muc 832
1050.32/1050.38	c iter 834 time 1002.6 not-muc 3441488 unknown 420966 muc 833
1050.32/1050.38	c iter 835 time 1005.46 not-muc 3441488 unknown 420965 muc 834
1050.32/1050.38	c iter 836 time 1005.89 not-muc 3441488 unknown 420964 muc 835
1050.32/1050.38	c iter 837 time 1009.85 not-muc 3441488 unknown 420963 muc 836
1050.32/1050.38	c iter 838 time 1012 not-muc 3441488 unknown 420962 muc 837
1050.32/1050.38	c iter 839 time 1015.94 not-muc 3441488 unknown 420961 muc 838
1050.32/1050.38	c iter 840 time 1018.84 not-muc 3441488 unknown 420960 muc 839
1050.32/1050.38	c iter 841 time 1021.1 not-muc 3441488 unknown 420959 muc 840
1050.32/1050.38	c iter 842 time 1025.33 not-muc 3441488 unknown 420958 muc 841
1050.32/1050.38	c iter 843 time 1025.93 not-muc 3441488 unknown 420957 muc 842
1050.32/1050.38	c iter 844 time 1032.25 not-muc 3441488 unknown 420956 muc 843
1050.32/1050.38	c iter 845 time 1034.09 not-muc 3441488 unknown 420955 muc 844
1050.32/1050.38	c iter 846 time 1034.58 not-muc 3441488 unknown 420954 muc 845
1050.32/1050.38	c iter 847 time 1037.8 not-muc 3441488 unknown 420953 muc 846
1050.32/1050.38	c iter 848 time 1040.65 not-muc 3441488 unknown 420952 muc 847
1050.32/1050.38	c iter 849 time 1044.42 not-muc 3441488 unknown 420951 muc 848
1050.32/1050.38	c iter 850 time 1049.81 not-muc 3441488 unknown 420950 muc 849
1338.23/1338.21	c iter 851 time 1054.23 not-muc 3441488 unknown 420949 muc 850
1338.23/1338.21	c iter 852 time 1056.78 not-muc 3441488 unknown 420948 muc 851
1338.23/1338.21	c iter 853 time 1057.36 not-muc 3441488 unknown 420947 muc 852
1338.23/1338.21	c iter 854 time 1062.13 not-muc 3441488 unknown 420946 muc 853
1338.23/1338.21	c iter 855 time 1065.19 not-muc 3441488 unknown 420945 muc 854
1338.23/1338.21	c iter 856 time 1067.49 not-muc 3441488 unknown 420944 muc 855
1338.23/1338.21	c iter 857 time 1072.04 not-muc 3441488 unknown 420943 muc 856
1338.23/1338.21	c iter 858 time 1077.3 not-muc 3441488 unknown 420942 muc 857
1338.23/1338.21	c iter 859 time 1081.82 not-muc 3441488 unknown 420941 muc 858
1338.23/1338.21	c iter 860 time 1082.44 not-muc 3441488 unknown 420940 muc 859
1338.23/1338.21	c iter 861 time 1088.46 not-muc 3441488 unknown 420939 muc 860
1338.23/1338.21	c iter 862 time 1095.5 not-muc 3441488 unknown 420938 muc 861
1338.23/1338.21	c iter 863 time 1099.5 not-muc 3441488 unknown 420937 muc 862
1338.23/1338.21	c iter 864 time 1104.59 not-muc 3441488 unknown 420936 muc 863
1338.23/1338.21	c iter 865 time 1109.88 not-muc 3441488 unknown 420935 muc 864
1338.23/1338.21	c iter 866 time 1114.44 not-muc 3441488 unknown 420934 muc 865
1338.23/1338.21	c iter 867 time 1114.95 not-muc 3441488 unknown 420933 muc 866
1338.23/1338.21	c iter 868 time 1122.13 not-muc 3441488 unknown 420932 muc 867
1338.23/1338.21	c iter 869 time 1129.05 not-muc 3441488 unknown 420931 muc 868
1338.23/1338.21	c iter 870 time 1136.07 not-muc 3441488 unknown 420930 muc 869
1338.23/1338.21	c iter 871 time 1136.79 not-muc 3441488 unknown 420929 muc 870
1338.23/1338.21	c iter 872 time 1144.91 not-muc 3441488 unknown 420928 muc 871
1338.23/1338.21	c iter 873 time 1149.67 not-muc 3441488 unknown 420927 muc 872
1338.23/1338.21	c iter 874 time 1157.5 not-muc 3441488 unknown 420926 muc 873
1338.23/1338.21	c iter 875 time 1162.77 not-muc 3441488 unknown 420925 muc 874
1338.23/1338.21	c iter 876 time 1170.56 not-muc 3441488 unknown 420924 muc 875
1338.23/1338.21	c iter 877 time 1176.23 not-muc 3441488 unknown 420923 muc 876
1338.23/1338.21	c iter 878 time 1179.78 not-muc 3441488 unknown 420922 muc 877
1338.23/1338.21	c iter 879 time 1183.67 not-muc 3441488 unknown 420921 muc 878
1338.23/1338.21	c iter 880 time 1191.07 not-muc 3441488 unknown 420920 muc 879
1338.23/1338.21	c iter 881 time 1191.61 not-muc 3441488 unknown 420919 muc 880
1338.23/1338.21	c iter 882 time 1196.66 not-muc 3441488 unknown 420918 muc 881
1338.23/1338.21	c iter 883 time 1200.75 not-muc 3441488 unknown 420917 muc 882
1338.23/1338.21	c iter 884 time 1209.58 not-muc 3441488 unknown 420916 muc 883
1338.23/1338.21	c iter 885 time 1210.23 not-muc 3441488 unknown 420915 muc 884
1338.23/1338.21	c iter 886 time 1215.24 not-muc 3441488 unknown 420914 muc 885
1338.23/1338.21	c iter 887 time 1223.33 not-muc 3441488 unknown 420913 muc 886
1338.23/1338.21	c iter 888 time 1230.47 not-muc 3441488 unknown 420912 muc 887
1338.23/1338.21	c iter 889 time 1234.73 not-muc 3441488 unknown 420911 muc 888
1338.23/1338.21	c iter 890 time 1235.26 not-muc 3441488 unknown 420910 muc 889
1338.23/1338.21	c iter 891 time 1243.38 not-muc 3441488 unknown 420909 muc 890
1338.23/1338.21	c iter 892 time 1250.53 not-muc 3441488 unknown 420908 muc 891
1338.23/1338.21	c iter 893 time 1256.11 not-muc 3441488 unknown 420907 muc 892
1338.23/1338.21	c iter 894 time 1259.34 not-muc 3441488 unknown 420906 muc 893
1338.23/1338.21	c iter 895 time 1260 not-muc 3441488 unknown 420905 muc 894
1338.23/1338.21	c iter 896 time 1260.5 not-muc 3441488 unknown 420904 muc 895
1338.23/1338.21	c iter 897 time 1269.7 not-muc 3441488 unknown 420903 muc 896
1338.23/1338.21	c iter 898 time 1273.32 not-muc 3441488 unknown 420902 muc 897
1338.23/1338.21	c iter 899 time 1276.74 not-muc 3441488 unknown 420901 muc 898
1338.23/1338.21	c iter 900 time 1277.51 not-muc 3441488 unknown 420900 muc 899
1338.23/1338.21	c iter 901 time 1285.54 not-muc 3441488 unknown 420899 muc 900
1338.23/1338.21	c iter 902 time 1290.42 not-muc 3441488 unknown 420898 muc 901
1338.23/1338.21	c iter 903 time 1294.09 not-muc 3441488 unknown 420897 muc 902
1338.23/1338.21	c iter 904 time 1294.74 not-muc 3441488 unknown 420896 muc 903
1338.23/1338.21	c iter 905 time 1302.49 not-muc 3441488 unknown 420895 muc 904
1338.23/1338.21	c iter 906 time 1311.44 not-muc 3441488 unknown 420894 muc 905
1338.23/1338.21	c iter 907 time 1311.9 not-muc 3441488 unknown 420893 muc 906
1338.23/1338.21	c iter 908 time 1312.51 not-muc 3441488 unknown 420892 muc 907
1338.23/1338.21	c iter 909 time 1321.49 not-muc 3441488 unknown 420891 muc 908
1338.23/1338.21	c iter 910 time 1322.26 not-muc 3441488 unknown 420890 muc 909
1338.23/1338.21	c iter 911 time 1322.73 not-muc 3441488 unknown 420889 muc 910
1338.23/1338.21	c iter 912 time 1330.91 not-muc 3441488 unknown 420888 muc 911
1338.23/1338.21	c iter 913 time 1331.44 not-muc 3441488 unknown 420887 muc 912
1338.23/1338.21	c iter 914 time 1337.01 not-muc 3441488 unknown 420886 muc 913
1338.23/1338.21	c iter 915 time 1337.64 not-muc 3441488 unknown 420885 muc 914
1672.04/1672.04	c iter 916 time 1346.95 not-muc 3441488 unknown 420884 muc 915
1672.04/1672.04	c iter 917 time 1347.42 not-muc 3441488 unknown 420883 muc 916
1672.04/1672.04	c iter 918 time 1347.82 not-muc 3441488 unknown 420882 muc 917
1672.04/1672.04	c iter 919 time 1357.71 not-muc 3441488 unknown 420881 muc 918
1672.04/1672.04	c iter 920 time 1358.4 not-muc 3441488 unknown 420880 muc 919
1672.04/1672.04	c iter 921 time 1364.1 not-muc 3441488 unknown 420879 muc 920
1672.04/1672.04	c iter 922 time 1372.46 not-muc 3441488 unknown 420878 muc 921
1672.04/1672.04	c iter 923 time 1380.59 not-muc 3441488 unknown 420877 muc 922
1672.04/1672.04	c iter 924 time 1381.14 not-muc 3441488 unknown 420876 muc 923
1672.04/1672.04	c iter 925 time 1388.61 not-muc 3441488 unknown 420875 muc 924
1672.04/1672.04	c iter 926 time 1389.2 not-muc 3441488 unknown 420874 muc 925
1672.04/1672.04	c iter 927 time 1396.61 not-muc 3441488 unknown 420873 muc 926
1672.04/1672.04	c iter 928 time 1407.13 not-muc 3441488 unknown 420872 muc 927
1672.04/1672.04	c iter 929 time 1407.55 not-muc 3441488 unknown 420871 muc 928
1672.04/1672.04	c iter 930 time 1409.08 not-muc 3441488 unknown 420870 muc 929
1672.04/1672.04	c iter 931 time 1409.58 not-muc 3441488 unknown 420869 muc 930
1672.04/1672.04	c iter 932 time 1418.01 not-muc 3441488 unknown 420868 muc 931
1672.04/1672.04	c iter 933 time 1418.63 not-muc 3441488 unknown 420867 muc 932
1672.04/1672.04	c iter 934 time 1426.78 not-muc 3441488 unknown 420866 muc 933
1672.04/1672.04	c iter 935 time 1435.23 not-muc 3441488 unknown 420865 muc 934
1672.04/1672.04	c iter 936 time 1443.62 not-muc 3441488 unknown 420864 muc 935
1672.04/1672.04	c iter 937 time 1444.28 not-muc 3441488 unknown 420863 muc 936
1672.04/1672.04	c iter 938 time 1453.55 not-muc 3441488 unknown 420862 muc 937
1672.04/1672.04	c iter 939 time 1454.17 not-muc 3441488 unknown 420861 muc 938
1672.04/1672.04	c iter 940 time 1460.01 not-muc 3441488 unknown 420860 muc 939
1672.04/1672.04	c iter 941 time 1463.62 not-muc 3441488 unknown 420859 muc 940
1672.04/1672.04	c iter 942 time 1471.34 not-muc 3441488 unknown 420858 muc 941
1672.04/1672.04	c iter 943 time 1471.78 not-muc 3441488 unknown 420857 muc 942
1672.04/1672.04	c iter 944 time 1472.48 not-muc 3441488 unknown 420856 muc 943
1672.04/1672.04	c iter 945 time 1480.63 not-muc 3441488 unknown 420855 muc 944
1672.04/1672.04	c iter 946 time 1489.07 not-muc 3441488 unknown 420854 muc 945
1672.04/1672.04	c iter 947 time 1489.47 not-muc 3441488 unknown 420853 muc 946
1672.04/1672.04	c iter 948 time 1491.13 not-muc 3441488 unknown 420852 muc 947
1672.04/1672.04	c iter 949 time 1499.1 not-muc 3441488 unknown 420851 muc 948
1672.04/1672.04	c iter 950 time 1507.35 not-muc 3441488 unknown 420850 muc 949
1672.04/1672.04	c iter 951 time 1511.25 not-muc 3441488 unknown 420849 muc 950
1672.04/1672.04	c iter 952 time 1519.97 not-muc 3441488 unknown 420848 muc 951
1672.04/1672.04	c iter 953 time 1528.29 not-muc 3441488 unknown 420847 muc 952
1672.04/1672.04	c iter 954 time 1532.27 not-muc 3441488 unknown 420846 muc 953
1672.04/1672.04	c iter 955 time 1540.32 not-muc 3441488 unknown 420845 muc 954
1672.04/1672.04	c iter 956 time 1540.96 not-muc 3441488 unknown 420844 muc 955
1672.04/1672.04	c iter 957 time 1543.91 not-muc 3441488 unknown 420843 muc 956
1672.04/1672.04	c iter 958 time 1552.78 not-muc 3441488 unknown 420842 muc 957
1672.04/1672.04	c iter 959 time 1556.74 not-muc 3441488 unknown 420841 muc 958
1672.04/1672.04	c iter 960 time 1565.64 not-muc 3441488 unknown 420840 muc 959
1672.04/1672.04	c iter 961 time 1566.09 not-muc 3441488 unknown 420839 muc 960
1672.04/1672.04	c iter 962 time 1575.08 not-muc 3441488 unknown 420838 muc 961
1672.04/1672.04	c iter 963 time 1575.66 not-muc 3441488 unknown 420837 muc 962
1672.04/1672.04	c iter 964 time 1585.78 not-muc 3441488 unknown 420836 muc 963
1672.04/1672.04	c iter 965 time 1586.56 not-muc 3441488 unknown 420835 muc 964
1672.04/1672.04	c iter 966 time 1594.78 not-muc 3441488 unknown 420834 muc 965
1672.04/1672.04	c iter 967 time 1603.83 not-muc 3441488 unknown 420833 muc 966
1672.04/1672.04	c iter 968 time 1604.71 not-muc 3441488 unknown 420832 muc 967
1672.04/1672.04	c iter 969 time 1605.16 not-muc 3441488 unknown 420831 muc 968
1672.04/1672.04	c iter 970 time 1613.79 not-muc 3441488 unknown 420830 muc 969
1672.04/1672.04	c iter 971 time 1621.02 not-muc 3441488 unknown 420829 muc 970
1672.04/1672.04	c iter 972 time 1621.68 not-muc 3441488 unknown 420828 muc 971
1672.04/1672.04	c iter 973 time 1629.79 not-muc 3441488 unknown 420827 muc 972
1672.04/1672.04	c iter 974 time 1640.15 not-muc 3441488 unknown 420826 muc 973
1672.04/1672.04	c iter 975 time 1649.01 not-muc 3441488 unknown 420825 muc 974
1672.04/1672.04	c iter 976 time 1649.61 not-muc 3441488 unknown 420824 muc 975
1672.04/1672.04	c iter 977 time 1650.04 not-muc 3441488 unknown 420823 muc 976
1672.04/1672.04	c iter 978 time 1660.46 not-muc 3441488 unknown 420822 muc 977
1672.04/1672.04	c iter 979 time 1661.07 not-muc 3441488 unknown 420821 muc 978
1672.04/1672.04	c iter 980 time 1671.47 not-muc 3441488

Verifier Data 

ERROR: Unexpected answer ! (UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.12 4.05 3.81 5/193 16632
/proc/meminfo: memFree=30098772/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=22756 CPUtime=0 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 1103 0 0 0 0 0 0 0 24 0 1 0 892195236 23302144 1022 33554432000 4194304 4311632 140735791141104 18446744073709551615 4240641 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 5689 1028 216 29 0 2318 0

[startup+0.0872529 s]
/proc/loadavg: 4.12 4.05 3.81 5/193 16632
/proc/meminfo: memFree=30098772/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=102660 CPUtime=0.08 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 16358 0 0 0 6 2 0 0 24 0 1 0 892195236 105123840 15933 33554432000 4194304 4311632 140735791141104 18446744073709551615 4224169 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 25665 15940 216 29 0 22294 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 102660

[startup+0.100243 s]
/proc/loadavg: 4.12 4.05 3.81 5/193 16632
/proc/meminfo: memFree=30098772/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=117012 CPUtime=0.09 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 18725 0 0 0 7 2 0 0 24 0 1 0 892195236 119820288 18299 33554432000 4194304 4311632 140735791141104 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 29253 18306 216 29 0 25882 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 117012

[startup+0.300209 s]
/proc/loadavg: 4.12 4.05 3.81 5/193 16632
/proc/meminfo: memFree=30098772/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=300692 CPUtime=0.29 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 55946 0 0 0 21 8 0 0 25 0 1 0 892195236 307908608 55520 33554432000 4194304 4311632 140735791141104 18446744073709551615 4295345 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 75173 55532 216 29 0 71802 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 300692

[startup+0.70113 s]
/proc/loadavg: 4.12 4.05 3.81 5/193 16632
/proc/meminfo: memFree=30098772/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=658568 CPUtime=0.69 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 123645 0 0 0 52 17 0 0 25 0 1 0 892195236 674373632 123134 33554432000 4194304 4311632 140735791141104 18446744073709551615 271550198469 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 164675 123136 218 29 0 161304 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 658568

[startup+1.50101 s]
/proc/loadavg: 4.12 4.05 3.81 5/191 16661
/proc/meminfo: memFree=29772720/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=781324 CPUtime=1.49 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 157479 0 0 0 127 22 0 0 25 0 1 0 892195236 800075776 152489 33554432000 4194304 4311632 140735791141104 18446744073709551615 4296889 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 195331 152490 218 29 0 191960 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 781324

[startup+3.1007 s]
/proc/loadavg: 4.12 4.05 3.81 4/190 16662
/proc/meminfo: memFree=29698692/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1022632 CPUtime=3.08 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 222686 0 0 0 277 31 0 0 25 0 1 0 892195236 1047175168 211798 33554432000 4194304 4311632 140735791141104 18446744073709551615 271550537472 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 255658 211799 218 29 0 252287 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1022632

[startup+6.30114 s]
/proc/loadavg: 4.11 4.05 3.81 5/191 16701
/proc/meminfo: memFree=28717856/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1202948 CPUtime=6.29 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 273013 0 0 0 591 38 0 0 25 0 1 0 892195236 1231818752 252485 33554432000 4194304 4311632 140735791141104 18446744073709551615 4221357 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 300737 252486 225 29 0 297366 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1202948

[startup+12.701 s]
/proc/loadavg: 4.10 4.05 3.81 5/194 16712
/proc/meminfo: memFree=27138080/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1264844 CPUtime=12.69 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 331125 0 0 0 1221 48 0 0 25 0 1 0 892195236 1295200256 271931 33554432000 4194304 4311632 140735791141104 18446744073709551615 4232208 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 316211 271931 225 29 0 312840 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1264844

[startup+25.5006 s]
/proc/loadavg: 4.08 4.04 3.82 6/194 16712
/proc/meminfo: memFree=27539860/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1004608 CPUtime=25.49 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 374472 0 0 0 2495 54 0 0 25 0 1 0 892195236 1028718592 222634 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264186 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 251152 222634 253 29 0 247781 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1004608

[startup+51.101 s]
/proc/loadavg: 4.05 4.04 3.82 6/194 16713
/proc/meminfo: memFree=27597080/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1012456 CPUtime=51.09 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 375595 0 0 0 5054 55 0 0 25 0 1 0 892195236 1036754944 223756 33554432000 4194304 4311632 140735791141104 18446744073709551615 4247541 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 253114 223756 253 29 0 249743 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1012456

[startup+102.307 s]
/proc/loadavg: 4.02 4.03 3.83 5/194 16714
/proc/meminfo: memFree=27579448/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1031132 CPUtime=102.3 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 377758 0 0 0 10175 55 0 0 25 0 1 0 892195236 1055879168 225919 33554432000 4194304 4311632 140735791141104 18446744073709551615 4247232 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 257783 225919 253 29 0 254412 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1031132

[startup+162.301 s]
/proc/loadavg: 4.06 4.04 3.84 5/194 16716
/proc/meminfo: memFree=27540452/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1061484 CPUtime=162.29 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 385692 0 0 0 16173 56 0 0 25 0 1 0 892195236 1086959616 233853 33554432000 4194304 4311632 140735791141104 18446744073709551615 4262827 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 265371 233853 305 29 0 262000 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1061484

[startup+222.301 s]
/proc/loadavg: 4.06 4.04 3.85 6/194 16717
/proc/meminfo: memFree=27505144/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1111272 CPUtime=222.3 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 393059 0 0 0 22173 57 0 0 25 0 1 0 892195236 1137942528 241219 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 277818 241219 305 29 0 274447 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1111272

[startup+282.301 s]
/proc/loadavg: 4.02 4.03 3.85 6/194 16719
/proc/meminfo: memFree=27488568/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1111272 CPUtime=282.3 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 395605 0 0 0 28173 57 0 0 25 0 1 0 892195236 1137942528 243765 33554432000 4194304 4311632 140735791141104 18446744073709551615 4262589 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 277818 243765 305 29 0 274447 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1111272

[startup+342.301 s]
/proc/loadavg: 4.01 4.02 3.86 6/194 16720
/proc/meminfo: memFree=27446564/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1161360 CPUtime=342.3 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 400096 0 0 0 34172 58 0 0 25 0 1 0 892195236 1189232640 248256 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 290340 248256 305 29 0 286969 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1161360

[startup+402.301 s]
/proc/loadavg: 4.00 4.02 3.87 5/194 16722
/proc/meminfo: memFree=27418608/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1161360 CPUtime=402.3 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 400708 0 0 0 40172 58 0 0 25 0 1 0 892195236 1189232640 248868 33554432000 4194304 4311632 140735791141104 18446744073709551615 4259732 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 290340 248868 305 29 0 286969 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1161360

[startup+462.3 s]
/proc/loadavg: 4.07 4.03 3.88 6/194 16724
/proc/meminfo: memFree=27401836/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1161360 CPUtime=462.3 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 401134 0 0 0 46172 58 0 0 25 0 1 0 892195236 1189232640 249294 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 290340 249294 305 29 0 286969 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1161360

[startup+522.3 s]
/proc/loadavg: 4.12 4.05 3.89 6/194 16725
/proc/meminfo: memFree=27384096/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1161360 CPUtime=522.31 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 403180 0 0 0 52172 59 0 0 25 0 1 0 892195236 1189232640 251340 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 290340 251340 305 29 0 286969 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1161360

[startup+582.3 s]
/proc/loadavg: 4.04 4.04 3.90 5/194 16727
/proc/meminfo: memFree=27372944/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1161360 CPUtime=582.31 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 404452 0 0 0 58172 59 0 0 25 0 1 0 892195236 1189232640 252612 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 290340 252612 305 29 0 286969 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1161360

[startup+642.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 4.01 4.02 3.91 5/194 16733
/proc/meminfo: memFree=27331624/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1161360 CPUtime=822.31 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 410206 0 0 0 82172 59 0 0 25 0 1 0 892195236 1189232640 258366 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 290340 258366 305 29 0 286969 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1161360

[startup+882.301 s]
/proc/loadavg: 4.00 4.02 3.91 6/194 16735
/proc/meminfo: memFree=27323908/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1161360 CPUtime=882.31 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 410748 0 0 0 88172 59 0 0 25 0 1 0 892195236 1189232640 258908 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 290340 258908 305 29 0 286969 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1161360

[startup+942.301 s]
/proc/loadavg: 4.00 4.01 3.91 5/194 16736
/proc/meminfo: memFree=27318664/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=942.31 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 411225 0 0 0 94172 59 0 0 25 0 1 0 892195236 1272573952 259385 33554432000 4194304 4311632 140735791141104 18446744073709551615 4259732 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 259385 305 29 0 307316 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 1242748

[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/194 16738
/proc/meminfo: memFree=27309940/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1002.32 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 412468 0 0 0 100172 60 0 0 25 0 1 0 892195236 1272573952 260628 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 260628 305 29 0 307316 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1242748

[startup+1062.3 s]
/proc/loadavg: 4.08 4.03 3.93 5/194 16740
/proc/meminfo: memFree=27304692/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1062.32 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 413433 0 0 0 106172 60 0 0 25 0 1 0 892195236 1272573952 261593 33554432000 4194304 4311632 140735791141104 18446744073709551615 4262765 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 261593 305 29 0 307316 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1242748

[startup+1122.3 s]
/proc/loadavg: 4.03 4.02 3.93 6/194 16741
/proc/meminfo: memFree=27299912/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1122.32 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 413993 0 0 0 112172 60 0 0 25 0 1 0 892195236 1272573952 262153 33554432000 4194304 4311632 140735791141104 18446744073709551615 4262808 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 262153 305 29 0 307316 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1242748

[startup+1182.3 s]
/proc/loadavg: 4.12 4.05 3.94 6/194 16743
/proc/meminfo: memFree=27295288/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1182.32 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 414804 0 0 0 118172 60 0 0 25 0 1 0 892195236 1272573952 262964 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 262964 305 29 0 307316 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1242748

[startup+1242.3 s]
/proc/loadavg: 4.04 4.04 3.94 6/194 16744
/proc/meminfo: memFree=27288668/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1242.32 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 415304 0 0 0 124172 60 0 0 25 0 1 0 892195236 1272573952 263464 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 263464 305 29 0 307316 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1242748

[startup+1302.3 s]
/proc/loadavg: 4.06 4.04 3.94 6/194 16746
/proc/meminfo: memFree=27280684/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1302.34 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 416507 0 0 0 130173 61 0 0 25 0 1 0 892195236 1272573952 264667 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 264667 305 29 0 307316 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1242748

[startup+1362.3 s]
/proc/loadavg: 4.02 4.03 3.94 5/194 16748
/proc/meminfo: memFree=27275816/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1362.33 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 417146 0 0 0 136172 61 0 0 25 0 1 0 892195236 1272573952 265306 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 265306 305 29 0 307316 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1242748

[startup+1422.31 s]
/proc/loadavg: 4.00 4.02 3.94 5/194 16749
/proc/meminfo: memFree=27273408/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1422.34 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 417227 0 0 0 142173 61 0 0 25 0 1 0 892195236 1272573952 265387 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 265387 305 29 0 307316 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1242748

[startup+1482.3 s]
/proc/loadavg: 4.03 4.03 3.95 5/194 16751
/proc/meminfo: memFree=27271276/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1482.34 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 417320 0 0 0 148173 61 0 0 25 0 1 0 892195236 1272573952 265480 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 265480 305 29 0 307316 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1242748

[startup+1542.3 s]
/proc/loadavg: 4.05 4.04 3.95 6/194 16752
/proc/meminfo: memFree=27266532/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1542.34 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 417528 0 0 0 154173 61 0 0 25 0 1 0 892195236 1272573952 265688 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 265688 305 29 0 307316 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1242748

[startup+1602.3 s]
/proc/loadavg: 4.17 4.07 3.97 6/194 16754
/proc/meminfo: memFree=27264492/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1602.34 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 417656 0 0 0 160173 61 0 0 25 0 1 0 892195236 1272573952 265816 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 265816 305 29 0 307316 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1242748

[startup+1662.3 s]
/proc/loadavg: 4.06 4.06 3.97 6/194 16756
/proc/meminfo: memFree=27258632/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1662.34 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 418580 0 0 0 166173 61 0 0 25 0 1 0 892195236 1272573952 266740 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 266740 305 29 0 307316 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1242748

[startup+1722.3 s]
/proc/loadavg: 4.02 4.04 3.97 6/194 16757
/proc/meminfo: memFree=27254504/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1722.34 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 419016 0 0 0 172173 61 0 0 25 0 1 0 892195236 1272573952 267176 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 267176 305 29 0 307316 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1242748

[startup+1782.3 s]
/proc/loadavg: 4.04 4.05 3.97 4/188 16784
/proc/meminfo: memFree=27976796/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1782.34 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 419364 0 0 0 178173 61 0 0 25 0 1 0 892195236 1272573952 267524 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 267524 305 29 0 307316 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1242748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 3.74 3.98 3.95 4/188 16784
/proc/meminfo: memFree=27974396/32951124 swapFree=67054536/67111528
[pid=16632] ppid=16630 vsize=1242748 CPUtime=1800.04 cores=4,6
/proc/16632/stat : 16632 (hmuc-a) R 16630 16632 11621 0 -1 4202496 419746 0 0 0 179943 61 0 0 25 0 1 0 892195236 1272573952 267906 33554432000 4194304 4311632 140735791141104 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/16632/statm: 310687 267906 305 29 0 307316 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1242748

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.11
CPU user time (s): 1799.44
CPU system time (s): 0.667898
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1388644

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

runsolver used 3.21451 second user time and 6.61599 second system time

The end

Launcher Data 

Begin job on node133 at 2011-06-11 17:26:14
IDJOB=3494100
IDBENCH=89443
IDSOLVER=1983
FILE ID=node133/3494100-1307805970
RUNJOBID= node133-1307804142-15789
PBS_JOBID= 13551015
Free space on /tmp= 73920 MiB

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

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

MD5SUM BENCH= 2638187ba7dcdb62adb2383ae1e77f9a
RANDOM SEED=1218503295

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30099448 kB
Buffers:        284768 kB
Cached:        1353392 kB
SwapCached:      10420 kB
Active:        1743748 kB
Inactive:       898244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30099448 kB
SwapTotal:    67111528 kB
SwapFree:     67054536 kB
Dirty:          169024 kB
Writeback:           0 kB
AnonPages:     1001244 kB
Mapped:          13320 kB
Slab:           141592 kB
PageTables:       7728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1374416 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73844 MiB
End job on node133 at 2011-06-11 17:56:16