Trace number 3501664

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-HLMUC 2011-04-07? (TO) 1800.04 1800.03

General information on the benchmark

Namegmus/belov/
pdtvisvending07.aig.k25.gcnf
MD5SUM4f08a465adfe8bfd52a0d5212d433aa1
Bench CategoryGMUS (GMUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark227.226
Satisfiable
(Un)Satisfiability was proved
Number of variables17062
Number of clauses51037
Sum of the clauses size119085
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 234024
Number of clauses of size 317012
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50
Number of groups17012
Number of clauses in the kernel (group 0)1
Least number of clauses in a group (except group 0) 3
Greatest number of clauses in a group (except group 0) 3

Solver Data 

5.59/5.63	c WARNING: for repeatability, setting FPU to use double precision
5.59/5.63	c iter 1 time 1.13383 not-muc 6740 unknown 10272 muc 0
5.59/5.63	c iter 2 time 1.26081 not-muc 6740 unknown 10271 muc 1
5.59/5.63	c iter 3 time 1.2938 not-muc 6740 unknown 10270 muc 2
5.59/5.63	c iter 4 time 1.57376 not-muc 6966 unknown 10044 muc 2
5.59/5.63	c iter 5 time 1.88271 not-muc 7009 unknown 10001 muc 2
5.59/5.63	c iter 6 time 1.9707 not-muc 7009 unknown 10000 muc 3
5.59/5.63	c iter 7 time 2.08668 not-muc 7009 unknown 9999 muc 4
5.59/5.63	c iter 8 time 2.11168 not-muc 7009 unknown 9998 muc 5
5.59/5.63	c iter 9 time 2.11368 not-muc 7009 unknown 9997 muc 6
5.59/5.63	c iter 10 time 2.12768 not-muc 7009 unknown 9996 muc 7
5.59/5.63	c iter 11 time 2.12868 not-muc 7009 unknown 9995 muc 8
5.59/5.63	c iter 12 time 2.13068 not-muc 7009 unknown 9994 muc 9
5.59/5.63	c iter 13 time 2.13167 not-muc 7009 unknown 9993 muc 10
5.59/5.63	c iter 14 time 2.13368 not-muc 7009 unknown 9992 muc 11
5.59/5.63	c iter 15 time 2.13468 not-muc 7009 unknown 9991 muc 12
5.59/5.63	c iter 16 time 2.13667 not-muc 7009 unknown 9990 muc 13
5.59/5.63	c iter 17 time 2.21566 not-muc 7009 unknown 9989 muc 14
5.59/5.63	c iter 18 time 2.21966 not-muc 7009 unknown 9988 muc 15
5.59/5.63	c iter 19 time 2.22066 not-muc 7009 unknown 9987 muc 16
5.59/5.63	c iter 20 time 2.23366 not-muc 7009 unknown 9986 muc 17
5.59/5.63	c iter 21 time 2.30465 not-muc 7009 unknown 9985 muc 18
5.59/5.63	c iter 22 time 2.30665 not-muc 7009 unknown 9984 muc 19
5.59/5.63	c iter 23 time 2.30865 not-muc 7009 unknown 9983 muc 20
5.59/5.63	c iter 24 time 2.31165 not-muc 7009 unknown 9982 muc 21
5.59/5.63	c iter 25 time 2.31365 not-muc 7009 unknown 9981 muc 22
5.59/5.63	c iter 26 time 2.31565 not-muc 7009 unknown 9980 muc 23
5.59/5.63	c iter 27 time 2.31765 not-muc 7009 unknown 9979 muc 24
5.59/5.63	c iter 28 time 2.32065 not-muc 7009 unknown 9978 muc 25
5.59/5.63	c iter 29 time 2.32265 not-muc 7009 unknown 9977 muc 26
5.59/5.63	c iter 30 time 2.32465 not-muc 7009 unknown 9976 muc 27
5.59/5.63	c iter 31 time 2.32665 not-muc 7009 unknown 9975 muc 28
5.59/5.63	c iter 32 time 2.32864 not-muc 7009 unknown 9974 muc 29
5.59/5.63	c iter 33 time 3.15252 not-muc 7227 unknown 9756 muc 29
5.59/5.63	c iter 34 time 3.21551 not-muc 7227 unknown 9755 muc 30
5.59/5.63	c iter 35 time 3.33249 not-muc 7227 unknown 9754 muc 31
5.59/5.63	c iter 36 time 3.34049 not-muc 7227 unknown 9753 muc 32
5.59/5.63	c iter 37 time 3.34249 not-muc 7227 unknown 9752 muc 33
5.59/5.63	c iter 38 time 3.34549 not-muc 7227 unknown 9751 muc 34
5.59/5.63	c iter 39 time 3.39848 not-muc 7227 unknown 9750 muc 35
5.59/5.63	c iter 40 time 3.40048 not-muc 7227 unknown 9749 muc 36
5.59/5.63	c iter 41 time 3.40248 not-muc 7227 unknown 9748 muc 37
5.59/5.63	c iter 42 time 3.40648 not-muc 7227 unknown 9747 muc 38
5.59/5.63	c iter 43 time 3.41048 not-muc 7227 unknown 9746 muc 39
5.59/5.63	c iter 44 time 3.41448 not-muc 7227 unknown 9745 muc 40
5.59/5.63	c iter 45 time 3.41848 not-muc 7227 unknown 9744 muc 41
5.59/5.63	c iter 46 time 3.42148 not-muc 7227 unknown 9743 muc 42
5.59/5.63	c iter 47 time 3.42548 not-muc 7227 unknown 9742 muc 43
5.59/5.63	c iter 48 time 3.42948 not-muc 7227 unknown 9741 muc 44
5.59/5.63	c iter 49 time 3.43648 not-muc 7227 unknown 9740 muc 45
5.59/5.63	c iter 50 time 3.9154 not-muc 7359 unknown 9608 muc 45
5.59/5.63	c iter 51 time 3.9704 not-muc 7359 unknown 9607 muc 46
5.59/5.63	c iter 52 time 3.9724 not-muc 7359 unknown 9606 muc 47
5.59/5.63	c iter 53 time 4.14937 not-muc 7359 unknown 9605 muc 48
5.59/5.63	c iter 54 time 4.15637 not-muc 7359 unknown 9604 muc 49
5.59/5.63	c iter 55 time 4.21936 not-muc 7359 unknown 9603 muc 50
5.59/5.63	c iter 56 time 4.56131 not-muc 7406 unknown 9556 muc 50
5.59/5.63	c iter 57 time 4.5813 not-muc 7406 unknown 9555 muc 51
5.59/5.63	c iter 58 time 4.5833 not-muc 7406 unknown 9554 muc 52
5.59/5.63	c iter 59 time 4.5853 not-muc 7406 unknown 9553 muc 53
5.59/5.63	c iter 60 time 4.5883 not-muc 7406 unknown 9552 muc 54
5.59/5.63	c iter 61 time 4.5903 not-muc 7406 unknown 9551 muc 55
5.59/5.63	c iter 62 time 4.73928 not-muc 7434 unknown 9523 muc 55
5.59/5.63	c iter 63 time 4.81727 not-muc 7434 unknown 9522 muc 56
5.59/5.63	c iter 64 time 4.88426 not-muc 7434 unknown 9521 muc 57
5.59/5.63	c iter 65 time 4.89226 not-muc 7434 unknown 9520 muc 58
5.59/5.63	c iter 66 time 4.93125 not-muc 7434 unknown 9519 muc 59
5.59/5.63	c iter 67 time 5.51616 not-muc 7482 unknown 9471 muc 59
5.59/5.63	c iter 68 time 5.60215 not-muc 7482 unknown 9470 muc 60
5.59/5.63	c iter 69 time 5.60815 not-muc 7482 unknown 9469 muc 61
5.59/5.63	c iter 70 time 5.60915 not-muc 7482 unknown 9468 muc 62
5.59/5.63	c iter 71 time 5.61115 not-muc 7482 unknown 9467 muc 63
5.59/5.63	c iter 72 time 5.61215 not-muc 7482 unknown 9466 muc 64
5.59/5.63	c iter 73 time 5.61815 not-muc 7482 unknown 9465 muc 65
11.29/11.38	c iter 74 time 5.62214 not-muc 7482 unknown 9464 muc 66
11.29/11.38	c iter 75 time 6.04008 not-muc 7482 unknown 9463 muc 67
11.29/11.38	c iter 76 time 6.06908 not-muc 7482 unknown 9462 muc 68
11.29/11.38	c iter 77 time 6.08108 not-muc 7482 unknown 9461 muc 69
11.29/11.38	c iter 78 time 6.08308 not-muc 7482 unknown 9460 muc 70
11.29/11.38	c iter 79 time 6.08707 not-muc 7482 unknown 9459 muc 71
11.29/11.38	c iter 80 time 6.09007 not-muc 7482 unknown 9458 muc 72
11.29/11.38	c iter 81 time 6.11707 not-muc 7482 unknown 9457 muc 73
11.29/11.38	c iter 82 time 6.12007 not-muc 7482 unknown 9456 muc 74
11.29/11.38	c iter 83 time 6.17406 not-muc 7482 unknown 9455 muc 75
11.29/11.38	c iter 84 time 6.25605 not-muc 7482 unknown 9454 muc 76
11.29/11.38	c iter 85 time 6.26505 not-muc 7482 unknown 9453 muc 77
11.29/11.38	c iter 86 time 6.26905 not-muc 7482 unknown 9452 muc 78
11.29/11.38	c iter 87 time 6.36503 not-muc 7482 unknown 9451 muc 79
11.29/11.38	c iter 88 time 6.36903 not-muc 7482 unknown 9450 muc 80
11.29/11.38	c iter 89 time 6.37203 not-muc 7482 unknown 9449 muc 81
11.29/11.38	c iter 90 time 6.37603 not-muc 7482 unknown 9448 muc 82
11.29/11.38	c iter 91 time 6.41402 not-muc 7482 unknown 9447 muc 83
11.29/11.38	c iter 92 time 6.49601 not-muc 7482 unknown 9446 muc 84
11.29/11.38	c iter 93 time 6.49901 not-muc 7482 unknown 9445 muc 85
11.29/11.38	c iter 94 time 6.50301 not-muc 7482 unknown 9444 muc 86
11.29/11.38	c iter 95 time 6.50601 not-muc 7482 unknown 9443 muc 87
11.29/11.38	c iter 96 time 6.89995 not-muc 7537 unknown 9388 muc 87
11.29/11.38	c iter 97 time 7.16391 not-muc 7566 unknown 9359 muc 87
11.29/11.38	c iter 98 time 7.2529 not-muc 7566 unknown 9358 muc 88
11.29/11.38	c iter 99 time 7.31289 not-muc 7566 unknown 9357 muc 89
11.29/11.38	c iter 100 time 7.34288 not-muc 7566 unknown 9356 muc 90
11.29/11.38	c iter 101 time 7.34588 not-muc 7566 unknown 9355 muc 91
11.29/11.38	c iter 102 time 7.44387 not-muc 7566 unknown 9354 muc 92
11.29/11.38	c iter 103 time 7.47686 not-muc 7566 unknown 9353 muc 93
11.29/11.38	c iter 104 time 7.47986 not-muc 7566 unknown 9352 muc 94
11.29/11.38	c iter 105 time 7.48486 not-muc 7566 unknown 9351 muc 95
11.29/11.38	c iter 106 time 7.79981 not-muc 7631 unknown 9286 muc 95
11.29/11.38	c iter 107 time 7.9078 not-muc 7631 unknown 9285 muc 96
11.29/11.38	c iter 108 time 7.9148 not-muc 7631 unknown 9284 muc 97
11.29/11.38	c iter 109 time 8.28674 not-muc 7637 unknown 9278 muc 97
11.29/11.38	c iter 110 time 8.32173 not-muc 7637 unknown 9277 muc 98
11.29/11.38	c iter 111 time 8.32873 not-muc 7637 unknown 9276 muc 99
11.29/11.38	c iter 112 time 8.33073 not-muc 7637 unknown 9275 muc 100
11.29/11.38	c iter 113 time 8.37773 not-muc 7637 unknown 9274 muc 101
11.29/11.38	c iter 114 time 8.70768 not-muc 7637 unknown 9273 muc 102
11.29/11.38	c iter 115 time 8.96164 not-muc 7637 unknown 9272 muc 103
11.29/11.38	c iter 116 time 8.96864 not-muc 7637 unknown 9271 muc 104
11.29/11.38	c iter 117 time 8.97064 not-muc 7637 unknown 9270 muc 105
11.29/11.38	c iter 118 time 8.97264 not-muc 7637 unknown 9269 muc 106
11.29/11.38	c iter 119 time 8.97564 not-muc 7637 unknown 9268 muc 107
11.29/11.38	c iter 120 time 9.2036 not-muc 7637 unknown 9267 muc 108
11.29/11.38	c iter 121 time 9.2136 not-muc 7637 unknown 9266 muc 109
11.29/11.38	c iter 122 time 9.32058 not-muc 7637 unknown 9265 muc 110
11.29/11.38	c iter 123 time 9.35358 not-muc 7637 unknown 9264 muc 111
11.29/11.38	c iter 124 time 9.41457 not-muc 7637 unknown 9263 muc 112
11.29/11.38	c iter 125 time 9.44856 not-muc 7637 unknown 9262 muc 113
11.29/11.38	c iter 126 time 9.79251 not-muc 7637 unknown 9261 muc 114
11.29/11.38	c iter 127 time 9.81051 not-muc 7637 unknown 9260 muc 115
11.29/11.38	c iter 128 time 10.1375 not-muc 7637 unknown 9259 muc 116
11.29/11.38	c iter 129 time 10.1465 not-muc 7637 unknown 9258 muc 117
11.29/11.38	c iter 130 time 10.1505 not-muc 7637 unknown 9257 muc 118
11.29/11.38	c iter 131 time 10.1575 not-muc 7637 unknown 9256 muc 119
11.29/11.38	c iter 132 time 10.2854 not-muc 7637 unknown 9255 muc 120
11.29/11.38	c iter 133 time 10.6474 not-muc 7637 unknown 9254 muc 121
11.29/11.38	c iter 134 time 10.6634 not-muc 7637 unknown 9253 muc 122
11.29/11.38	c iter 135 time 10.6734 not-muc 7637 unknown 9252 muc 123
11.29/11.38	c iter 136 time 11.0193 not-muc 7637 unknown 9251 muc 124
11.29/11.38	c iter 137 time 11.0313 not-muc 7637 unknown 9250 muc 125
11.29/11.38	c iter 138 time 11.1523 not-muc 7637 unknown 9249 muc 126
11.29/11.38	c iter 139 time 11.1653 not-muc 7637 unknown 9248 muc 127
11.29/11.38	c iter 140 time 11.2623 not-muc 7637 unknown 9247 muc 128
11.29/11.38	c iter 141 time 11.3273 not-muc 7637 unknown 9246 muc 129
11.29/11.38	c iter 142 time 11.3343 not-muc 7637 unknown 9245 muc 130
11.29/11.38	c iter 143 time 11.3383 not-muc 7637 unknown 9244 muc 131
11.29/11.38	c iter 144 time 11.3413 not-muc 7637 unknown 9243 muc 132
11.29/11.38	c iter 145 time 11.3643 not-muc 7637 unknown 9242 muc 133
17.39/17.43	c iter 146 time 11.3913 not-muc 7637 unknown 9241 muc 134
17.39/17.43	c iter 147 time 11.3933 not-muc 7637 unknown 9240 muc 135
17.39/17.43	c iter 148 time 11.4743 not-muc 7637 unknown 9239 muc 136
17.39/17.43	c iter 149 time 11.4833 not-muc 7637 unknown 9238 muc 137
17.39/17.43	c iter 150 time 11.4863 not-muc 7637 unknown 9237 muc 138
17.39/17.43	c iter 151 time 11.4903 not-muc 7637 unknown 9236 muc 139
17.39/17.43	c iter 152 time 11.4943 not-muc 7637 unknown 9235 muc 140
17.39/17.43	c iter 153 time 11.4983 not-muc 7637 unknown 9234 muc 141
17.39/17.43	c iter 154 time 11.5023 not-muc 7637 unknown 9233 muc 142
17.39/17.43	c iter 155 time 11.5062 not-muc 7637 unknown 9232 muc 143
17.39/17.43	c iter 156 time 11.5092 not-muc 7637 unknown 9231 muc 144
17.39/17.43	c iter 157 time 11.5132 not-muc 7637 unknown 9230 muc 145
17.39/17.43	c iter 158 time 11.5162 not-muc 7637 unknown 9229 muc 146
17.39/17.43	c iter 159 time 11.5202 not-muc 7637 unknown 9228 muc 147
17.39/17.43	c iter 160 time 11.5282 not-muc 7637 unknown 9227 muc 148
17.39/17.43	c iter 161 time 11.5342 not-muc 7637 unknown 9226 muc 149
17.39/17.43	c iter 162 time 11.5492 not-muc 7637 unknown 9225 muc 150
17.39/17.43	c iter 163 time 11.5562 not-muc 7637 unknown 9224 muc 151
17.39/17.43	c iter 164 time 11.8532 not-muc 7637 unknown 9223 muc 152
17.39/17.43	c iter 165 time 11.8632 not-muc 7637 unknown 9222 muc 153
17.39/17.43	c iter 166 time 11.8882 not-muc 7637 unknown 9221 muc 154
17.39/17.43	c iter 167 time 11.9642 not-muc 7637 unknown 9220 muc 155
17.39/17.43	c iter 168 time 11.9762 not-muc 7637 unknown 9219 muc 156
17.39/17.43	c iter 169 time 12.0082 not-muc 7637 unknown 9218 muc 157
17.39/17.43	c iter 170 time 12.994 not-muc 7673 unknown 9182 muc 157
17.39/17.43	c iter 171 time 13.239 not-muc 7673 unknown 9181 muc 158
17.39/17.43	c iter 172 time 13.26 not-muc 7673 unknown 9180 muc 159
17.39/17.43	c iter 173 time 13.263 not-muc 7673 unknown 9179 muc 160
17.39/17.43	c iter 174 time 14.0079 not-muc 7701 unknown 9151 muc 160
17.39/17.43	c iter 175 time 14.1079 not-muc 7701 unknown 9150 muc 161
17.39/17.43	c iter 176 time 14.2338 not-muc 7701 unknown 9149 muc 162
17.39/17.43	c iter 177 time 14.2418 not-muc 7701 unknown 9148 muc 163
17.39/17.43	c iter 178 time 14.2578 not-muc 7701 unknown 9147 muc 164
17.39/17.43	c iter 179 time 15.0757 not-muc 7704 unknown 9144 muc 164
17.39/17.43	c iter 180 time 15.1707 not-muc 7704 unknown 9143 muc 165
17.39/17.43	c iter 181 time 15.1757 not-muc 7704 unknown 9142 muc 166
17.39/17.43	c iter 182 time 15.1777 not-muc 7704 unknown 9141 muc 167
17.39/17.43	c iter 183 time 15.6776 not-muc 7726 unknown 9119 muc 167
17.39/17.43	c iter 184 time 15.8576 not-muc 7726 unknown 9118 muc 168
17.39/17.43	c iter 185 time 15.8686 not-muc 7726 unknown 9117 muc 169
17.39/17.43	c iter 186 time 15.8716 not-muc 7726 unknown 9116 muc 170
17.39/17.43	c iter 187 time 15.8976 not-muc 7726 unknown 9115 muc 171
17.39/17.43	c iter 188 time 15.9366 not-muc 7726 unknown 9114 muc 172
17.39/17.43	c iter 189 time 15.9876 not-muc 7726 unknown 9113 muc 173
17.39/17.43	c iter 190 time 15.9926 not-muc 7726 unknown 9112 muc 174
17.39/17.43	c iter 191 time 15.9946 not-muc 7726 unknown 9111 muc 175
17.39/17.43	c iter 192 time 16.0756 not-muc 7726 unknown 9110 muc 176
17.39/17.43	c iter 193 time 16.0826 not-muc 7726 unknown 9109 muc 177
17.39/17.43	c iter 194 time 16.1665 not-muc 7726 unknown 9108 muc 178
17.39/17.43	c iter 195 time 16.1745 not-muc 7726 unknown 9107 muc 179
17.39/17.43	c iter 196 time 16.3785 not-muc 7726 unknown 9106 muc 180
17.39/17.43	c iter 197 time 16.4245 not-muc 7726 unknown 9105 muc 181
17.39/17.43	c iter 198 time 16.4295 not-muc 7726 unknown 9104 muc 182
17.39/17.43	c iter 199 time 16.4335 not-muc 7726 unknown 9103 muc 183
17.39/17.43	c iter 200 time 16.5035 not-muc 7726 unknown 9102 muc 184
17.39/17.43	c iter 201 time 17.1394 not-muc 7726 unknown 9101 muc 185
17.39/17.43	c iter 202 time 17.1554 not-muc 7726 unknown 9100 muc 186
17.39/17.43	c iter 203 time 17.1594 not-muc 7726 unknown 9099 muc 187
17.39/17.43	c iter 204 time 17.1634 not-muc 7726 unknown 9098 muc 188
17.39/17.43	c iter 205 time 17.1654 not-muc 7726 unknown 9097 muc 189
17.39/17.43	c iter 206 time 17.1664 not-muc 7726 unknown 9096 muc 190
17.39/17.43	c iter 207 time 17.1714 not-muc 7726 unknown 9095 muc 191
17.39/17.43	c iter 208 time 17.2124 not-muc 7726 unknown 9094 muc 192
17.39/17.43	c iter 209 time 17.2184 not-muc 7726 unknown 9093 muc 193
17.39/17.43	c iter 210 time 17.2994 not-muc 7726 unknown 9092 muc 194
17.39/17.43	c iter 211 time 17.3044 not-muc 7726 unknown 9091 muc 195
17.39/17.43	c iter 212 time 17.3064 not-muc 7726 unknown 9090 muc 196
17.39/17.43	c iter 213 time 17.3094 not-muc 7726 unknown 9089 muc 197
17.39/17.43	c iter 214 time 17.3524 not-muc 7726 unknown 9088 muc 198
17.39/17.43	c iter 215 time 17.4044 not-muc 7726 unknown 9087 muc 199
25.69/25.72	c iter 216 time 17.4104 not-muc 7726 unknown 9086 muc 200
25.69/25.72	c iter 217 time 17.4134 not-muc 7726 unknown 9085 muc 201
25.69/25.72	c iter 218 time 17.7063 not-muc 7726 unknown 9084 muc 202
25.69/25.72	c iter 219 time 17.7263 not-muc 7726 unknown 9083 muc 203
25.69/25.72	c iter 220 time 17.7283 not-muc 7726 unknown 9082 muc 204
25.69/25.72	c iter 221 time 17.7833 not-muc 7726 unknown 9081 muc 205
25.69/25.72	c iter 222 time 17.8673 not-muc 7726 unknown 9080 muc 206
25.69/25.72	c iter 223 time 17.9013 not-muc 7726 unknown 9079 muc 207
25.69/25.72	c iter 224 time 17.9413 not-muc 7726 unknown 9078 muc 208
25.69/25.72	c iter 225 time 17.9503 not-muc 7726 unknown 9077 muc 209
25.69/25.72	c iter 226 time 17.9533 not-muc 7726 unknown 9076 muc 210
25.69/25.72	c iter 227 time 17.9563 not-muc 7726 unknown 9075 muc 211
25.69/25.72	c iter 228 time 17.9613 not-muc 7726 unknown 9074 muc 212
25.69/25.72	c iter 229 time 17.9753 not-muc 7726 unknown 9073 muc 213
25.69/25.72	c iter 230 time 17.9803 not-muc 7726 unknown 9072 muc 214
25.69/25.72	c iter 231 time 18.0073 not-muc 7726 unknown 9071 muc 215
25.69/25.72	c iter 232 time 18.0143 not-muc 7726 unknown 9070 muc 216
25.69/25.72	c iter 233 time 18.0653 not-muc 7726 unknown 9069 muc 217
25.69/25.72	c iter 234 time 18.1162 not-muc 7726 unknown 9068 muc 218
25.69/25.72	c iter 235 time 18.1232 not-muc 7726 unknown 9067 muc 219
25.69/25.72	c iter 236 time 18.1452 not-muc 7726 unknown 9066 muc 220
25.69/25.72	c iter 237 time 18.1502 not-muc 7726 unknown 9065 muc 221
25.69/25.72	c iter 238 time 18.3862 not-muc 7726 unknown 9064 muc 222
25.69/25.72	c iter 239 time 18.4002 not-muc 7726 unknown 9063 muc 223
25.69/25.72	c iter 240 time 18.4122 not-muc 7726 unknown 9062 muc 224
25.69/25.72	c iter 241 time 19.421 not-muc 7738 unknown 9050 muc 224
25.69/25.72	c iter 242 time 20.3419 not-muc 7774 unknown 9014 muc 224
25.69/25.72	c iter 243 time 20.3839 not-muc 7774 unknown 9013 muc 225
25.69/25.72	c iter 244 time 20.3879 not-muc 7774 unknown 9012 muc 226
25.69/25.72	c iter 245 time 20.3919 not-muc 7774 unknown 9011 muc 227
25.69/25.72	c iter 246 time 20.4209 not-muc 7774 unknown 9010 muc 228
25.69/25.72	c iter 247 time 20.4299 not-muc 7774 unknown 9009 muc 229
25.69/25.72	c iter 248 time 20.5119 not-muc 7774 unknown 9008 muc 230
25.69/25.72	c iter 249 time 20.5189 not-muc 7774 unknown 9007 muc 231
25.69/25.72	c iter 250 time 20.5219 not-muc 7774 unknown 9006 muc 232
25.69/25.72	c iter 251 time 21.6257 not-muc 7777 unknown 9003 muc 232
25.69/25.72	c iter 252 time 21.6487 not-muc 7777 unknown 9002 muc 233
25.69/25.72	c iter 253 time 21.6547 not-muc 7777 unknown 9001 muc 234
25.69/25.72	c iter 254 time 21.6697 not-muc 7777 unknown 9000 muc 235
25.69/25.72	c iter 255 time 21.6767 not-muc 7777 unknown 8999 muc 236
25.69/25.72	c iter 256 time 21.6837 not-muc 7777 unknown 8998 muc 237
25.69/25.72	c iter 257 time 21.6907 not-muc 7777 unknown 8997 muc 238
25.69/25.72	c iter 258 time 21.6987 not-muc 7777 unknown 8996 muc 239
25.69/25.72	c iter 259 time 22.0746 not-muc 7777 unknown 8995 muc 240
25.69/25.72	c iter 260 time 22.1386 not-muc 7777 unknown 8994 muc 241
25.69/25.72	c iter 261 time 22.1946 not-muc 7777 unknown 8993 muc 242
25.69/25.72	c iter 262 time 22.2326 not-muc 7777 unknown 8992 muc 243
25.69/25.72	c iter 263 time 22.2406 not-muc 7777 unknown 8991 muc 244
25.69/25.72	c iter 264 time 22.2486 not-muc 7777 unknown 8990 muc 245
25.69/25.72	c iter 265 time 22.2566 not-muc 7777 unknown 8989 muc 246
25.69/25.72	c iter 266 time 22.2646 not-muc 7777 unknown 8988 muc 247
25.69/25.72	c iter 267 time 22.2826 not-muc 7777 unknown 8987 muc 248
25.69/25.72	c iter 268 time 22.3066 not-muc 7777 unknown 8986 muc 249
25.69/25.72	c iter 269 time 22.3156 not-muc 7777 unknown 8985 muc 250
25.69/25.72	c iter 270 time 22.3236 not-muc 7777 unknown 8984 muc 251
25.69/25.72	c iter 271 time 22.3316 not-muc 7777 unknown 8983 muc 252
25.69/25.72	c iter 272 time 23.2975 not-muc 7786 unknown 8974 muc 252
25.69/25.72	c iter 273 time 23.4564 not-muc 7786 unknown 8973 muc 253
25.69/25.72	c iter 274 time 23.4694 not-muc 7786 unknown 8972 muc 254
25.69/25.72	c iter 275 time 23.4764 not-muc 7786 unknown 8971 muc 255
25.69/25.72	c iter 276 time 23.4844 not-muc 7786 unknown 8970 muc 256
25.69/25.72	c iter 277 time 23.4924 not-muc 7786 unknown 8969 muc 257
25.69/25.72	c iter 278 time 23.5484 not-muc 7786 unknown 8968 muc 258
25.69/25.72	c iter 279 time 23.5644 not-muc 7786 unknown 8967 muc 259
25.69/25.72	c iter 280 time 24.5733 not-muc 7787 unknown 8966 muc 259
25.69/25.72	c iter 281 time 24.7242 not-muc 7787 unknown 8965 muc 260
25.69/25.72	c iter 282 time 24.7372 not-muc 7787 unknown 8964 muc 261
25.69/25.72	c iter 283 time 24.8082 not-muc 7787 unknown 8963 muc 262
25.69/25.72	c iter 284 time 24.8252 not-muc 7787 unknown 8962 muc 263
25.69/25.72	c iter 285 time 25.6541 not-muc 7809 unknown 8940 muc 263
25.69/25.72	c iter 286 time 25.6951 not-muc 7809 unknown 8939 muc 264
31.49/31.54	c iter 287 time 25.7231 not-muc 7809 unknown 8938 muc 265
31.49/31.54	c iter 288 time 26.8179 not-muc 7819 unknown 8928 muc 265
31.49/31.54	c iter 289 time 27.0329 not-muc 7819 unknown 8927 muc 266
31.49/31.54	c iter 290 time 27.0519 not-muc 7819 unknown 8926 muc 267
31.49/31.54	c iter 291 time 27.1359 not-muc 7819 unknown 8925 muc 268
31.49/31.54	c iter 292 time 27.1489 not-muc 7819 unknown 8924 muc 269
31.49/31.54	c iter 293 time 27.1609 not-muc 7819 unknown 8923 muc 270
31.49/31.54	c iter 294 time 27.1729 not-muc 7819 unknown 8922 muc 271
31.49/31.54	c iter 295 time 27.1839 not-muc 7819 unknown 8921 muc 272
31.49/31.54	c iter 296 time 27.1959 not-muc 7819 unknown 8920 muc 273
31.49/31.54	c iter 297 time 27.2079 not-muc 7819 unknown 8919 muc 274
31.49/31.54	c iter 298 time 27.2199 not-muc 7819 unknown 8918 muc 275
31.49/31.54	c iter 299 time 27.2319 not-muc 7819 unknown 8917 muc 276
31.49/31.54	c iter 300 time 27.2439 not-muc 7819 unknown 8916 muc 277
31.49/31.54	c iter 301 time 27.2559 not-muc 7819 unknown 8915 muc 278
31.49/31.54	c iter 302 time 27.2719 not-muc 7819 unknown 8914 muc 279
31.49/31.54	c iter 303 time 27.3258 not-muc 7819 unknown 8913 muc 280
31.49/31.54	c iter 304 time 27.3778 not-muc 7819 unknown 8912 muc 281
31.49/31.54	c iter 305 time 27.4248 not-muc 7819 unknown 8911 muc 282
31.49/31.54	c iter 306 time 27.5288 not-muc 7819 unknown 8910 muc 283
31.49/31.54	c iter 307 time 27.5478 not-muc 7819 unknown 8909 muc 284
31.49/31.54	c iter 308 time 27.6138 not-muc 7819 unknown 8908 muc 285
31.49/31.54	c iter 309 time 27.6428 not-muc 7819 unknown 8907 muc 286
31.49/31.54	c iter 310 time 28.3987 not-muc 7827 unknown 8899 muc 286
31.49/31.54	c iter 311 time 28.4497 not-muc 7827 unknown 8898 muc 287
31.49/31.54	c iter 312 time 28.4597 not-muc 7827 unknown 8897 muc 288
31.49/31.54	c iter 313 time 28.5047 not-muc 7827 unknown 8896 muc 289
31.49/31.54	c iter 314 time 28.5147 not-muc 7827 unknown 8895 muc 290
31.49/31.54	c iter 315 time 28.5237 not-muc 7827 unknown 8894 muc 291
31.49/31.54	c iter 316 time 28.9276 not-muc 7827 unknown 8893 muc 292
31.49/31.54	c iter 317 time 28.9476 not-muc 7827 unknown 8892 muc 293
31.49/31.54	c iter 318 time 28.9596 not-muc 7827 unknown 8891 muc 294
31.49/31.54	c iter 319 time 28.9716 not-muc 7827 unknown 8890 muc 295
31.49/31.54	c iter 320 time 28.9846 not-muc 7827 unknown 8889 muc 296
31.49/31.54	c iter 321 time 28.9976 not-muc 7827 unknown 8888 muc 297
31.49/31.54	c iter 322 time 29.0126 not-muc 7827 unknown 8887 muc 298
31.49/31.54	c iter 323 time 29.0306 not-muc 7827 unknown 8886 muc 299
31.49/31.54	c iter 324 time 29.1296 not-muc 7827 unknown 8885 muc 300
31.49/31.54	c iter 325 time 29.3225 not-muc 7827 unknown 8884 muc 301
31.49/31.54	c iter 326 time 29.5405 not-muc 7827 unknown 8883 muc 302
31.49/31.54	c iter 327 time 29.6305 not-muc 7827 unknown 8882 muc 303
31.49/31.54	c iter 328 time 29.6435 not-muc 7827 unknown 8881 muc 304
31.49/31.54	c iter 329 time 29.6595 not-muc 7827 unknown 8880 muc 305
31.49/31.54	c iter 330 time 30.5933 not-muc 7828 unknown 8879 muc 305
31.49/31.54	c iter 331 time 30.6943 not-muc 7828 unknown 8878 muc 306
31.49/31.54	c iter 332 time 30.7663 not-muc 7828 unknown 8877 muc 307
31.49/31.54	c iter 333 time 30.8903 not-muc 7828 unknown 8876 muc 308
31.49/31.54	c iter 334 time 30.9023 not-muc 7828 unknown 8875 muc 309
31.49/31.54	c iter 335 time 30.9093 not-muc 7828 unknown 8874 muc 310
31.49/31.54	c iter 336 time 30.9173 not-muc 7828 unknown 8873 muc 311
31.49/31.54	c iter 337 time 30.9473 not-muc 7828 unknown 8872 muc 312
31.49/31.54	c iter 338 time 30.9673 not-muc 7828 unknown 8871 muc 313
31.49/31.54	c iter 339 time 30.9873 not-muc 7828 unknown 8870 muc 314
31.49/31.54	c iter 340 time 31.0073 not-muc 7828 unknown 8869 muc 315
31.49/31.54	c iter 341 time 31.0273 not-muc 7828 unknown 8868 muc 316
31.49/31.54	c iter 342 time 31.0473 not-muc 7828 unknown 8867 muc 317
31.49/31.54	c iter 343 time 31.0783 not-muc 7828 unknown 8866 muc 318
31.49/31.54	c iter 344 time 31.0943 not-muc 7828 unknown 8865 muc 319
31.49/31.54	c iter 345 time 31.1133 not-muc 7828 unknown 8864 muc 320
31.49/31.54	c iter 346 time 31.1333 not-muc 7828 unknown 8863 muc 321
31.49/31.54	c iter 347 time 31.1533 not-muc 7828 unknown 8862 muc 322
31.49/31.54	c iter 348 time 31.1723 not-muc 7828 unknown 8861 muc 323
31.49/31.54	c iter 349 time 31.1923 not-muc 7828 unknown 8860 muc 324
31.49/31.54	c iter 350 time 31.2123 not-muc 7828 unknown 8859 muc 325
31.49/31.54	c iter 351 time 31.2303 not-muc 7828 unknown 8858 muc 326
31.49/31.54	c iter 352 time 31.4382 not-muc 7828 unknown 8857 muc 327
31.49/31.54	c iter 353 time 31.4572 not-muc 7828 unknown 8856 muc 328
31.49/31.54	c iter 354 time 31.4712 not-muc 7828 unknown 8855 muc 329
31.49/31.54	c iter 355 time 31.4862 not-muc 7828 unknown 8854 muc 330
31.49/31.54	c iter 356 time 31.5002 not-muc 7828 unknown 8853 muc 331
31.49/31.54	c iter 357 time 31.5142 not-muc 7828 unknown 8852 muc 332
42.19/42.23	c iter 358 time 31.5292 not-muc 7828 unknown 8851 muc 333
42.19/42.23	c iter 359 time 31.5442 not-muc 7828 unknown 8850 muc 334
42.19/42.23	c iter 360 time 31.6072 not-muc 7828 unknown 8849 muc 335
42.19/42.23	c iter 361 time 31.6902 not-muc 7828 unknown 8848 muc 336
42.19/42.23	c iter 362 time 31.7042 not-muc 7828 unknown 8847 muc 337
42.19/42.23	c iter 363 time 31.7182 not-muc 7828 unknown 8846 muc 338
42.19/42.23	c iter 364 time 31.7332 not-muc 7828 unknown 8845 muc 339
42.19/42.23	c iter 365 time 33.2219 not-muc 7831 unknown 8842 muc 339
42.19/42.23	c iter 366 time 33.7179 not-muc 7831 unknown 8841 muc 340
42.19/42.23	c iter 367 time 33.8818 not-muc 7831 unknown 8840 muc 341
42.19/42.23	c iter 368 time 33.9058 not-muc 7831 unknown 8839 muc 342
42.19/42.23	c iter 369 time 33.9278 not-muc 7831 unknown 8838 muc 343
42.19/42.23	c iter 370 time 33.9508 not-muc 7831 unknown 8837 muc 344
42.19/42.23	c iter 371 time 34.1118 not-muc 7831 unknown 8836 muc 345
42.19/42.23	c iter 372 time 34.2138 not-muc 7831 unknown 8835 muc 346
42.19/42.23	c iter 373 time 34.2418 not-muc 7831 unknown 8834 muc 347
42.19/42.23	c iter 374 time 34.2698 not-muc 7831 unknown 8833 muc 348
42.19/42.23	c iter 375 time 34.2978 not-muc 7831 unknown 8832 muc 349
42.19/42.23	c iter 376 time 34.3238 not-muc 7831 unknown 8831 muc 350
42.19/42.23	c iter 377 time 35.2666 not-muc 7837 unknown 8825 muc 350
42.19/42.23	c iter 378 time 35.4866 not-muc 7837 unknown 8824 muc 351
42.19/42.23	c iter 379 time 36.5055 not-muc 7841 unknown 8820 muc 351
42.19/42.23	c iter 380 time 36.6344 not-muc 7841 unknown 8819 muc 352
42.19/42.23	c iter 381 time 36.7684 not-muc 7841 unknown 8818 muc 353
42.19/42.23	c iter 382 time 36.7884 not-muc 7841 unknown 8817 muc 354
42.19/42.23	c iter 383 time 36.8104 not-muc 7841 unknown 8816 muc 355
42.19/42.23	c iter 384 time 36.8314 not-muc 7841 unknown 8815 muc 356
42.19/42.23	c iter 385 time 36.9514 not-muc 7841 unknown 8814 muc 357
42.19/42.23	c iter 386 time 37.0204 not-muc 7841 unknown 8813 muc 358
42.19/42.23	c iter 387 time 37.0384 not-muc 7841 unknown 8812 muc 359
42.19/42.23	c iter 388 time 37.9972 not-muc 7842 unknown 8811 muc 359
42.19/42.23	c iter 389 time 38.0822 not-muc 7842 unknown 8810 muc 360
42.19/42.23	c iter 390 time 39.1211 not-muc 7845 unknown 8807 muc 360
42.19/42.23	c iter 391 time 39.397 not-muc 7845 unknown 8806 muc 361
42.19/42.23	c iter 392 time 39.479 not-muc 7845 unknown 8805 muc 362
42.19/42.23	c iter 393 time 40.4079 not-muc 7848 unknown 8802 muc 362
42.19/42.23	c iter 394 time 40.6008 not-muc 7848 unknown 8801 muc 363
42.19/42.23	c iter 395 time 40.6268 not-muc 7848 unknown 8800 muc 364
42.19/42.23	c iter 396 time 40.6378 not-muc 7848 unknown 8799 muc 365
42.19/42.23	c iter 397 time 40.6488 not-muc 7848 unknown 8798 muc 366
42.19/42.23	c iter 398 time 40.6598 not-muc 7848 unknown 8797 muc 367
42.19/42.23	c iter 399 time 40.6718 not-muc 7848 unknown 8796 muc 368
42.19/42.23	c iter 400 time 40.6828 not-muc 7848 unknown 8795 muc 369
42.19/42.23	c iter 401 time 40.6948 not-muc 7848 unknown 8794 muc 370
42.19/42.23	c iter 402 time 40.7068 not-muc 7848 unknown 8793 muc 371
42.19/42.23	c iter 403 time 40.7248 not-muc 7848 unknown 8792 muc 372
42.19/42.23	c iter 404 time 40.9258 not-muc 7848 unknown 8791 muc 373
42.19/42.23	c iter 405 time 40.9468 not-muc 7848 unknown 8790 muc 374
42.19/42.23	c iter 406 time 40.9698 not-muc 7848 unknown 8789 muc 375
42.19/42.23	c iter 407 time 40.9918 not-muc 7848 unknown 8788 muc 376
42.19/42.23	c iter 408 time 41.0128 not-muc 7848 unknown 8787 muc 377
42.19/42.23	c iter 409 time 41.0348 not-muc 7848 unknown 8786 muc 378
42.19/42.23	c iter 410 time 41.0568 not-muc 7848 unknown 8785 muc 379
42.19/42.23	c iter 411 time 41.0778 not-muc 7848 unknown 8784 muc 380
42.19/42.23	c iter 412 time 41.0998 not-muc 7848 unknown 8783 muc 381
42.19/42.23	c iter 413 time 41.3627 not-muc 7848 unknown 8782 muc 382
42.19/42.23	c iter 414 time 41.4467 not-muc 7848 unknown 8781 muc 383
42.19/42.23	c iter 415 time 41.6587 not-muc 7848 unknown 8780 muc 384
42.19/42.23	c iter 416 time 41.6827 not-muc 7848 unknown 8779 muc 385
42.19/42.23	c iter 417 time 41.7047 not-muc 7848 unknown 8778 muc 386
42.19/42.23	c iter 418 time 41.7277 not-muc 7848 unknown 8777 muc 387
42.19/42.23	c iter 419 time 41.7507 not-muc 7848 unknown 8776 muc 388
42.19/42.23	c iter 420 time 41.7746 not-muc 7848 unknown 8775 muc 389
42.19/42.23	c iter 421 time 41.7986 not-muc 7848 unknown 8774 muc 390
42.19/42.23	c iter 422 time 41.8246 not-muc 7848 unknown 8773 muc 391
42.19/42.23	c iter 423 time 41.8536 not-muc 7848 unknown 8772 muc 392
42.19/42.23	c iter 424 time 42.1206 not-muc 7848 unknown 8771 muc 393
42.19/42.23	c iter 425 time 42.1466 not-muc 7848 unknown 8770 muc 394
42.19/42.23	c iter 426 time 42.1706 not-muc 7848 unknown 8769 muc 395
42.19/42.23	c iter 427 time 42.1936 not-muc 7848 unknown 8768 muc 396
65.90/65.91	c iter 428 time 42.2156 not-muc 7848 unknown 8767 muc 397
65.90/65.91	c iter 429 time 42.2386 not-muc 7848 unknown 8766 muc 398
65.90/65.91	c iter 430 time 42.2616 not-muc 7848 unknown 8765 muc 399
65.90/65.91	c iter 431 time 42.2836 not-muc 7848 unknown 8764 muc 400
65.90/65.91	c iter 432 time 42.3066 not-muc 7848 unknown 8763 muc 401
65.90/65.91	c iter 433 time 42.3296 not-muc 7848 unknown 8762 muc 402
65.90/65.91	c iter 434 time 42.3546 not-muc 7848 unknown 8761 muc 403
65.90/65.91	c iter 435 time 42.3766 not-muc 7848 unknown 8760 muc 404
65.90/65.91	c iter 436 time 42.3986 not-muc 7848 unknown 8759 muc 405
65.90/65.91	c iter 437 time 42.4206 not-muc 7848 unknown 8758 muc 406
65.90/65.91	c iter 438 time 42.4445 not-muc 7848 unknown 8757 muc 407
65.90/65.91	c iter 439 time 42.4655 not-muc 7848 unknown 8756 muc 408
65.90/65.91	c iter 440 time 44.0223 not-muc 7849 unknown 8755 muc 408
65.90/65.91	c iter 441 time 44.3333 not-muc 7849 unknown 8754 muc 409
65.90/65.91	c iter 442 time 44.3573 not-muc 7849 unknown 8753 muc 410
65.90/65.91	c iter 443 time 45.988 not-muc 7856 unknown 8746 muc 410
65.90/65.91	c iter 444 time 47.0358 not-muc 7858 unknown 8744 muc 410
65.90/65.91	c iter 445 time 47.2578 not-muc 7858 unknown 8743 muc 411
65.90/65.91	c iter 446 time 47.5408 not-muc 7858 unknown 8742 muc 412
65.90/65.91	c iter 447 time 47.5608 not-muc 7858 unknown 8741 muc 413
65.90/65.91	c iter 448 time 47.6088 not-muc 7858 unknown 8740 muc 414
65.90/65.91	c iter 449 time 47.6248 not-muc 7858 unknown 8739 muc 415
65.90/65.91	c iter 450 time 47.6558 not-muc 7858 unknown 8738 muc 416
65.90/65.91	c iter 451 time 47.6967 not-muc 7858 unknown 8737 muc 417
65.90/65.91	c iter 452 time 50.3843 not-muc 7861 unknown 8734 muc 417
65.90/65.91	c iter 453 time 51.4092 not-muc 7866 unknown 8729 muc 417
65.90/65.91	c iter 454 time 51.5542 not-muc 7866 unknown 8728 muc 418
65.90/65.91	c iter 455 time 51.5782 not-muc 7866 unknown 8727 muc 419
65.90/65.91	c iter 456 time 51.6022 not-muc 7866 unknown 8726 muc 420
65.90/65.91	c iter 457 time 52.622 not-muc 7876 unknown 8716 muc 420
65.90/65.91	c iter 458 time 53.2479 not-muc 7876 unknown 8715 muc 421
65.90/65.91	c iter 459 time 53.6708 not-muc 7876 unknown 8714 muc 422
65.90/65.91	c iter 460 time 53.6938 not-muc 7876 unknown 8713 muc 423
65.90/65.91	c iter 461 time 53.7148 not-muc 7876 unknown 8712 muc 424
65.90/65.91	c iter 462 time 53.7368 not-muc 7876 unknown 8711 muc 425
65.90/65.91	c iter 463 time 53.7588 not-muc 7876 unknown 8710 muc 426
65.90/65.91	c iter 464 time 54.0358 not-muc 7876 unknown 8709 muc 427
65.90/65.91	c iter 465 time 54.0638 not-muc 7876 unknown 8708 muc 428
65.90/65.91	c iter 466 time 54.0908 not-muc 7876 unknown 8707 muc 429
65.90/65.91	c iter 467 time 54.4557 not-muc 7876 unknown 8706 muc 430
65.90/65.91	c iter 468 time 54.7627 not-muc 7876 unknown 8705 muc 431
65.90/65.91	c iter 469 time 54.7927 not-muc 7876 unknown 8704 muc 432
65.90/65.91	c iter 470 time 55.4646 not-muc 7876 unknown 8703 muc 433
65.90/65.91	c iter 471 time 55.4946 not-muc 7876 unknown 8702 muc 434
65.90/65.91	c iter 472 time 55.5366 not-muc 7876 unknown 8701 muc 435
65.90/65.91	c iter 473 time 55.8685 not-muc 7876 unknown 8700 muc 436
65.90/65.91	c iter 474 time 56.0265 not-muc 7876 unknown 8699 muc 437
65.90/65.91	c iter 475 time 58.4581 not-muc 7892 unknown 8683 muc 437
65.90/65.91	c iter 476 time 58.6091 not-muc 7892 unknown 8682 muc 438
65.90/65.91	c iter 477 time 58.6341 not-muc 7892 unknown 8681 muc 439
65.90/65.91	c iter 478 time 59.08 not-muc 7892 unknown 8680 muc 440
65.90/65.91	c iter 479 time 59.112 not-muc 7892 unknown 8679 muc 441
65.90/65.91	c iter 480 time 59.145 not-muc 7892 unknown 8678 muc 442
65.90/65.91	c iter 481 time 59.5909 not-muc 7892 unknown 8677 muc 443
65.90/65.91	c iter 482 time 59.8279 not-muc 7892 unknown 8676 muc 444
65.90/65.91	c iter 483 time 60.2368 not-muc 7892 unknown 8675 muc 445
65.90/65.91	c iter 484 time 61.7976 not-muc 7893 unknown 8674 muc 445
65.90/65.91	c iter 485 time 62.0796 not-muc 7893 unknown 8673 muc 446
65.90/65.91	c iter 486 time 62.4795 not-muc 7893 unknown 8672 muc 447
65.90/65.91	c iter 487 time 62.7415 not-muc 7893 unknown 8671 muc 448
65.90/65.91	c iter 488 time 63.2204 not-muc 7893 unknown 8670 muc 449
65.90/65.91	c iter 489 time 63.2534 not-muc 7893 unknown 8669 muc 450
65.90/65.91	c iter 490 time 63.8713 not-muc 7893 unknown 8668 muc 451
65.90/65.91	c iter 491 time 64.1063 not-muc 7893 unknown 8667 muc 452
65.90/65.91	c iter 492 time 64.3522 not-muc 7893 unknown 8666 muc 453
65.90/65.91	c iter 493 time 65.0211 not-muc 7893 unknown 8665 muc 454
65.90/65.91	c iter 494 time 65.0561 not-muc 7893 unknown 8664 muc 455
65.90/65.91	c iter 495 time 65.0941 not-muc 7893 unknown 8663 muc 456
65.90/65.91	c iter 496 time 65.3581 not-muc 7893 unknown 8662 muc 457
65.90/65.91	c iter 497 time 65.522 not-muc 7893 unknown 8661 muc 458
65.90/65.91	c iter 498 time 65.86 not-muc 7893 unknown 8660 muc 459
85.59/85.60	c iter 499 time 66.095 not-muc 7893 unknown 8659 muc 460
85.59/85.60	c iter 500 time 66.5059 not-muc 7893 unknown 8658 muc 461
85.59/85.60	c iter 501 time 66.7978 not-muc 7893 unknown 8657 muc 462
85.59/85.60	c iter 502 time 66.8528 not-muc 7893 unknown 8656 muc 463
85.59/85.60	c iter 503 time 68.5366 not-muc 7911 unknown 8638 muc 463
85.59/85.60	c iter 504 time 69.3065 not-muc 7911 unknown 8637 muc 464
85.59/85.60	c iter 505 time 70.5513 not-muc 7911 unknown 8636 muc 465
85.59/85.60	c iter 506 time 70.5873 not-muc 7911 unknown 8635 muc 466
85.59/85.60	c iter 507 time 70.6573 not-muc 7911 unknown 8634 muc 467
85.59/85.60	c iter 508 time 70.6983 not-muc 7911 unknown 8633 muc 468
85.59/85.60	c iter 509 time 70.7382 not-muc 7911 unknown 8632 muc 469
85.59/85.60	c iter 510 time 71.2402 not-muc 7911 unknown 8631 muc 470
85.59/85.60	c iter 511 time 71.7311 not-muc 7911 unknown 8630 muc 471
85.59/85.60	c iter 512 time 71.7911 not-muc 7911 unknown 8629 muc 472
85.59/85.60	c iter 513 time 71.8421 not-muc 7911 unknown 8628 muc 473
85.59/85.60	c iter 514 time 73.9008 not-muc 7913 unknown 8626 muc 473
85.59/85.60	c iter 515 time 74.5917 not-muc 7913 unknown 8625 muc 474
85.59/85.60	c iter 516 time 75.3345 not-muc 7913 unknown 8624 muc 475
85.59/85.60	c iter 517 time 75.3815 not-muc 7913 unknown 8623 muc 476
85.59/85.60	c iter 518 time 75.4275 not-muc 7913 unknown 8622 muc 477
85.59/85.60	c iter 519 time 76.1594 not-muc 7913 unknown 8621 muc 478
85.59/85.60	c iter 520 time 76.2364 not-muc 7913 unknown 8620 muc 479
85.59/85.60	c iter 521 time 76.3134 not-muc 7913 unknown 8619 muc 480
85.59/85.60	c iter 522 time 76.3904 not-muc 7913 unknown 8618 muc 481
85.59/85.60	c iter 523 time 76.6843 not-muc 7913 unknown 8617 muc 482
85.59/85.60	c iter 524 time 76.7493 not-muc 7913 unknown 8616 muc 483
85.59/85.60	c iter 525 time 76.9133 not-muc 7913 unknown 8615 muc 484
85.59/85.60	c iter 526 time 77.0833 not-muc 7913 unknown 8614 muc 485
85.59/85.60	c iter 527 time 77.1523 not-muc 7913 unknown 8613 muc 486
85.59/85.60	c iter 528 time 77.2223 not-muc 7913 unknown 8612 muc 487
85.59/85.60	c iter 529 time 77.2873 not-muc 7913 unknown 8611 muc 488
85.59/85.60	c iter 530 time 77.3532 not-muc 7913 unknown 8610 muc 489
85.59/85.60	c iter 531 time 77.4242 not-muc 7913 unknown 8609 muc 490
85.59/85.60	c iter 532 time 78.1691 not-muc 7913 unknown 8608 muc 491
85.59/85.60	c iter 533 time 78.2331 not-muc 7913 unknown 8607 muc 492
85.59/85.60	c iter 534 time 78.2941 not-muc 7913 unknown 8606 muc 493
85.59/85.60	c iter 535 time 78.625 not-muc 7913 unknown 8605 muc 494
85.59/85.60	c iter 536 time 79.4499 not-muc 7913 unknown 8604 muc 495
85.59/85.60	c iter 537 time 80.1628 not-muc 7913 unknown 8603 muc 496
85.59/85.60	c iter 538 time 80.2618 not-muc 7913 unknown 8602 muc 497
85.59/85.60	c iter 539 time 80.3608 not-muc 7913 unknown 8601 muc 498
85.59/85.60	c iter 540 time 80.4598 not-muc 7913 unknown 8600 muc 499
85.59/85.60	c iter 541 time 80.6937 not-muc 7913 unknown 8599 muc 500
85.59/85.60	c iter 542 time 80.7787 not-muc 7913 unknown 8598 muc 501
85.59/85.60	c iter 543 time 80.8637 not-muc 7913 unknown 8597 muc 502
85.59/85.60	c iter 544 time 80.9537 not-muc 7913 unknown 8596 muc 503
85.59/85.60	c iter 545 time 81.2646 not-muc 7913 unknown 8595 muc 504
85.59/85.60	c iter 546 time 81.4446 not-muc 7913 unknown 8594 muc 505
85.59/85.60	c iter 547 time 81.5426 not-muc 7913 unknown 8593 muc 506
85.59/85.60	c iter 548 time 81.7756 not-muc 7913 unknown 8592 muc 507
85.59/85.60	c iter 549 time 82.3395 not-muc 7913 unknown 8591 muc 508
85.59/85.60	c iter 550 time 82.4405 not-muc 7913 unknown 8590 muc 509
85.59/85.60	c iter 551 time 82.8054 not-muc 7913 unknown 8589 muc 510
85.59/85.60	c iter 552 time 82.9644 not-muc 7913 unknown 8588 muc 511
85.59/85.60	c iter 553 time 83.0684 not-muc 7913 unknown 8587 muc 512
85.59/85.60	c iter 554 time 83.7583 not-muc 7913 unknown 8586 muc 513
85.59/85.60	c iter 555 time 83.8603 not-muc 7913 unknown 8585 muc 514
85.59/85.60	c iter 556 time 83.9602 not-muc 7913 unknown 8584 muc 515
85.59/85.60	c iter 557 time 84.0612 not-muc 7913 unknown 8583 muc 516
85.59/85.60	c iter 558 time 84.1622 not-muc 7913 unknown 8582 muc 517
85.59/85.60	c iter 559 time 84.2642 not-muc 7913 unknown 8581 muc 518
85.59/85.60	c iter 560 time 84.3642 not-muc 7913 unknown 8580 muc 519
85.59/85.60	c iter 561 time 84.4662 not-muc 7913 unknown 8579 muc 520
85.59/85.60	c iter 562 time 84.5681 not-muc 7913 unknown 8578 muc 521
85.59/85.60	c iter 563 time 84.9621 not-muc 7913 unknown 8577 muc 522
85.59/85.60	c iter 564 time 85.0581 not-muc 7913 unknown 8576 muc 523
85.59/85.60	c iter 565 time 85.1551 not-muc 7913 unknown 8575 muc 524
85.59/85.60	c iter 566 time 85.251 not-muc 7913 unknown 8574 muc 525
85.59/85.60	c iter 567 time 85.348 not-muc 7913 unknown 8573 muc 526
85.59/85.60	c iter 568 time 85.444 not-muc 7913 unknown 8572 muc 527
85.59/85.60	c iter 569 time 85.541 not-muc 7913 unknown 8571 muc 528
124.69/124.74	c iter 570 time 85.639 not-muc 7913 unknown 8570 muc 529
124.69/124.74	c iter 571 time 85.743 not-muc 7913 unknown 8569 muc 530
124.69/124.74	c iter 572 time 85.9659 not-muc 7913 unknown 8568 muc 531
124.69/124.74	c iter 573 time 86.0579 not-muc 7913 unknown 8567 muc 532
124.69/124.74	c iter 574 time 86.3759 not-muc 7913 unknown 8566 muc 533
124.69/124.74	c iter 575 time 88.8005 not-muc 7923 unknown 8556 muc 533
124.69/124.74	c iter 576 time 89.4754 not-muc 7923 unknown 8555 muc 534
124.69/124.74	c iter 577 time 90.0083 not-muc 7923 unknown 8554 muc 535
124.69/124.74	c iter 578 time 90.2783 not-muc 7923 unknown 8553 muc 536
124.69/124.74	c iter 579 time 90.5872 not-muc 7923 unknown 8552 muc 537
124.69/124.74	c iter 580 time 91.1301 not-muc 7923 unknown 8551 muc 538
124.69/124.74	c iter 581 time 93.5678 not-muc 7924 unknown 8550 muc 538
124.69/124.74	c iter 582 time 93.9277 not-muc 7924 unknown 8549 muc 539
124.69/124.74	c iter 583 time 94.5856 not-muc 7924 unknown 8548 muc 540
124.69/124.74	c iter 584 time 94.7896 not-muc 7924 unknown 8547 muc 541
124.69/124.74	c iter 585 time 94.9306 not-muc 7924 unknown 8546 muc 542
124.69/124.74	c iter 586 time 95.0765 not-muc 7924 unknown 8545 muc 543
124.69/124.74	c iter 587 time 97.7201 not-muc 7930 unknown 8539 muc 543
124.69/124.74	c iter 588 time 98.708 not-muc 7930 unknown 8538 muc 544
124.69/124.74	c iter 589 time 99.1079 not-muc 7930 unknown 8537 muc 545
124.69/124.74	c iter 590 time 99.3309 not-muc 7930 unknown 8536 muc 546
124.69/124.74	c iter 591 time 99.5549 not-muc 7930 unknown 8535 muc 547
124.69/124.74	c iter 592 time 99.7848 not-muc 7930 unknown 8534 muc 548
124.69/124.74	c iter 593 time 100.12 not-muc 7930 unknown 8533 muc 549
124.69/124.74	c iter 594 time 100.338 not-muc 7930 unknown 8532 muc 550
124.69/124.74	c iter 595 time 100.555 not-muc 7930 unknown 8531 muc 551
124.69/124.74	c iter 596 time 101.026 not-muc 7930 unknown 8530 muc 552
124.69/124.74	c iter 597 time 101.703 not-muc 7930 unknown 8529 muc 553
124.69/124.74	c iter 598 time 101.957 not-muc 7930 unknown 8528 muc 554
124.69/124.74	c iter 599 time 102.18 not-muc 7930 unknown 8527 muc 555
124.69/124.74	c iter 600 time 102.404 not-muc 7930 unknown 8526 muc 556
124.69/124.74	c iter 601 time 103.511 not-muc 7930 unknown 8525 muc 557
124.69/124.74	c iter 602 time 104.058 not-muc 7930 unknown 8524 muc 558
124.69/124.74	c iter 603 time 104.312 not-muc 7930 unknown 8523 muc 559
124.69/124.74	c iter 604 time 104.567 not-muc 7930 unknown 8522 muc 560
124.69/124.74	c iter 605 time 104.782 not-muc 7930 unknown 8521 muc 561
124.69/124.74	c iter 606 time 105.037 not-muc 7930 unknown 8520 muc 562
124.69/124.74	c iter 607 time 105.291 not-muc 7930 unknown 8519 muc 563
124.69/124.74	c iter 608 time 105.551 not-muc 7930 unknown 8518 muc 564
124.69/124.74	c iter 609 time 106.258 not-muc 7930 unknown 8517 muc 565
124.69/124.74	c iter 610 time 106.606 not-muc 7930 unknown 8516 muc 566
124.69/124.74	c iter 611 time 106.846 not-muc 7930 unknown 8515 muc 567
124.69/124.74	c iter 612 time 107.774 not-muc 7930 unknown 8514 muc 568
124.69/124.74	c iter 613 time 108.881 not-muc 7930 unknown 8513 muc 569
124.69/124.74	c iter 614 time 109.135 not-muc 7930 unknown 8512 muc 570
124.69/124.74	c iter 615 time 110.167 not-muc 7930 unknown 8511 muc 571
124.69/124.74	c iter 616 time 110.47 not-muc 7930 unknown 8510 muc 572
124.69/124.74	c iter 617 time 110.768 not-muc 7930 unknown 8509 muc 573
124.69/124.74	c iter 618 time 111.07 not-muc 7930 unknown 8508 muc 574
124.69/124.74	c iter 619 time 111.372 not-muc 7930 unknown 8507 muc 575
124.69/124.74	c iter 620 time 111.677 not-muc 7930 unknown 8506 muc 576
124.69/124.74	c iter 621 time 112.111 not-muc 7930 unknown 8505 muc 577
124.69/124.74	c iter 622 time 115.422 not-muc 7932 unknown 8503 muc 577
124.69/124.74	c iter 623 time 115.826 not-muc 7932 unknown 8502 muc 578
124.69/124.74	c iter 624 time 116.289 not-muc 7932 unknown 8501 muc 579
124.69/124.74	c iter 625 time 117.874 not-muc 7932 unknown 8500 muc 580
124.69/124.74	c iter 626 time 118.191 not-muc 7932 unknown 8499 muc 581
124.69/124.74	c iter 627 time 118.504 not-muc 7932 unknown 8498 muc 582
124.69/124.74	c iter 628 time 118.844 not-muc 7932 unknown 8497 muc 583
124.69/124.74	c iter 629 time 119.184 not-muc 7932 unknown 8496 muc 584
124.69/124.74	c iter 630 time 120.241 not-muc 7932 unknown 8495 muc 585
124.69/124.74	c iter 631 time 120.717 not-muc 7932 unknown 8494 muc 586
124.69/124.74	c iter 632 time 121.08 not-muc 7932 unknown 8493 muc 587
124.69/124.74	c iter 633 time 121.448 not-muc 7932 unknown 8492 muc 588
124.69/124.74	c iter 634 time 122.299 not-muc 7932 unknown 8491 muc 589
124.69/124.74	c iter 635 time 122.662 not-muc 7932 unknown 8490 muc 590
124.69/124.74	c iter 636 time 123.027 not-muc 7932 unknown 8489 muc 591
124.69/124.74	c iter 637 time 123.614 not-muc 7932 unknown 8488 muc 592
124.69/124.74	c iter 638 time 123.962 not-muc 7932 unknown 8487 muc 593
124.69/124.74	c iter 639 time 124.319 not-muc 7932 unknown 8486 muc 594
124.69/124.74	c iter 640 time 124.672 not-muc 7932 unknown 8485 muc 595
164.89/164.94	c iter 641 time 125.073 not-muc 7932 unknown 8484 muc 596
164.89/164.94	c iter 642 time 125.531 not-muc 7932 unknown 8483 muc 597
164.89/164.94	c iter 643 time 126.211 not-muc 7932 unknown 8482 muc 598
164.89/164.94	c iter 644 time 126.453 not-muc 7932 unknown 8481 muc 599
164.89/164.94	c iter 645 time 127.485 not-muc 7932 unknown 8480 muc 600
164.89/164.94	c iter 646 time 127.905 not-muc 7932 unknown 8479 muc 601
164.89/164.94	c iter 647 time 128.883 not-muc 7932 unknown 8478 muc 602
164.89/164.94	c iter 648 time 129.291 not-muc 7932 unknown 8477 muc 603
164.89/164.94	c iter 649 time 129.694 not-muc 7932 unknown 8476 muc 604
164.89/164.94	c iter 650 time 130.103 not-muc 7932 unknown 8475 muc 605
164.89/164.94	c iter 651 time 130.508 not-muc 7932 unknown 8474 muc 606
164.89/164.94	c iter 652 time 130.915 not-muc 7932 unknown 8473 muc 607
164.89/164.94	c iter 653 time 131.319 not-muc 7932 unknown 8472 muc 608
164.89/164.94	c iter 654 time 131.727 not-muc 7932 unknown 8471 muc 609
164.89/164.94	c iter 655 time 132.13 not-muc 7932 unknown 8470 muc 610
164.89/164.94	c iter 656 time 132.5 not-muc 7932 unknown 8469 muc 611
164.89/164.94	c iter 657 time 132.88 not-muc 7932 unknown 8468 muc 612
164.89/164.94	c iter 658 time 133.257 not-muc 7932 unknown 8467 muc 613
164.89/164.94	c iter 659 time 133.636 not-muc 7932 unknown 8466 muc 614
164.89/164.94	c iter 660 time 134.012 not-muc 7932 unknown 8465 muc 615
164.89/164.94	c iter 661 time 134.39 not-muc 7932 unknown 8464 muc 616
164.89/164.94	c iter 662 time 134.764 not-muc 7932 unknown 8463 muc 617
164.89/164.94	c iter 663 time 135.14 not-muc 7932 unknown 8462 muc 618
164.89/164.94	c iter 664 time 135.52 not-muc 7932 unknown 8461 muc 619
164.89/164.94	c iter 665 time 135.897 not-muc 7932 unknown 8460 muc 620
164.89/164.94	c iter 666 time 136.27 not-muc 7932 unknown 8459 muc 621
164.89/164.94	c iter 667 time 136.643 not-muc 7932 unknown 8458 muc 622
164.89/164.94	c iter 668 time 137.017 not-muc 7932 unknown 8457 muc 623
164.89/164.94	c iter 669 time 137.389 not-muc 7932 unknown 8456 muc 624
164.89/164.94	c iter 670 time 137.672 not-muc 7932 unknown 8455 muc 625
164.89/164.94	c iter 671 time 138.076 not-muc 7932 unknown 8454 muc 626
164.89/164.94	c iter 672 time 138.642 not-muc 7932 unknown 8453 muc 627
164.89/164.94	c iter 673 time 139.828 not-muc 7932 unknown 8452 muc 628
164.89/164.94	c iter 674 time 141.232 not-muc 7932 unknown 8451 muc 629
164.89/164.94	c iter 675 time 141.648 not-muc 7932 unknown 8450 muc 630
164.89/164.94	c iter 676 time 142.056 not-muc 7932 unknown 8449 muc 631
164.89/164.94	c iter 677 time 142.469 not-muc 7932 unknown 8448 muc 632
164.89/164.94	c iter 678 time 142.88 not-muc 7932 unknown 8447 muc 633
164.89/164.94	c iter 679 time 143.179 not-muc 7932 unknown 8446 muc 634
164.89/164.94	c iter 680 time 143.74 not-muc 7932 unknown 8445 muc 635
164.89/164.94	c iter 681 time 144.152 not-muc 7932 unknown 8444 muc 636
164.89/164.94	c iter 682 time 144.418 not-muc 7932 unknown 8443 muc 637
164.89/164.94	c iter 683 time 144.748 not-muc 7932 unknown 8442 muc 638
164.89/164.94	c iter 684 time 145.213 not-muc 7932 unknown 8441 muc 639
164.89/164.94	c iter 685 time 145.983 not-muc 7932 unknown 8440 muc 640
164.89/164.94	c iter 686 time 147.056 not-muc 7932 unknown 8439 muc 641
164.89/164.94	c iter 687 time 148.312 not-muc 7932 unknown 8438 muc 642
164.89/164.94	c iter 688 time 148.96 not-muc 7932 unknown 8437 muc 643
164.89/164.94	c iter 689 time 149.436 not-muc 7932 unknown 8436 muc 644
164.89/164.94	c iter 690 time 149.784 not-muc 7932 unknown 8435 muc 645
164.89/164.94	c iter 691 time 150.238 not-muc 7932 unknown 8434 muc 646
164.89/164.94	c iter 692 time 151.241 not-muc 7932 unknown 8433 muc 647
164.89/164.94	c iter 693 time 151.677 not-muc 7932 unknown 8432 muc 648
164.89/164.94	c iter 694 time 152.983 not-muc 7932 unknown 8431 muc 649
164.89/164.94	c iter 695 time 153.452 not-muc 7932 unknown 8430 muc 650
164.89/164.94	c iter 696 time 153.941 not-muc 7932 unknown 8429 muc 651
164.89/164.94	c iter 697 time 154.39 not-muc 7932 unknown 8428 muc 652
164.89/164.94	c iter 698 time 154.84 not-muc 7932 unknown 8427 muc 653
164.89/164.94	c iter 699 time 155.309 not-muc 7932 unknown 8426 muc 654
164.89/164.94	c iter 700 time 156.691 not-muc 7932 unknown 8425 muc 655
164.89/164.94	c iter 701 time 157.071 not-muc 7932 unknown 8424 muc 656
164.89/164.94	c iter 702 time 158.49 not-muc 7932 unknown 8423 muc 657
164.89/164.94	c iter 703 time 158.976 not-muc 7932 unknown 8422 muc 658
164.89/164.94	c iter 704 time 159.462 not-muc 7932 unknown 8421 muc 659
164.89/164.94	c iter 705 time 160.287 not-muc 7932 unknown 8420 muc 660
164.89/164.94	c iter 706 time 161.435 not-muc 7932 unknown 8419 muc 661
164.89/164.94	c iter 707 time 162.454 not-muc 7932 unknown 8418 muc 662
164.89/164.94	c iter 708 time 162.944 not-muc 7932 unknown 8417 muc 663
164.89/164.94	c iter 709 time 164.337 not-muc 7932 unknown 8416 muc 664
164.89/164.94	c iter 710 time 164.864 not-muc 7932 unknown 8415 muc 665
234.20/234.23	c iter 711 time 165.393 not-muc 7932 unknown 8414 muc 666
234.20/234.23	c iter 712 time 166.355 not-muc 7932 unknown 8413 muc 667
234.20/234.23	c iter 713 time 167.756 not-muc 7932 unknown 8412 muc 668
234.20/234.23	c iter 714 time 168.858 not-muc 7932 unknown 8411 muc 669
234.20/234.23	c iter 715 time 169.422 not-muc 7932 unknown 8410 muc 670
234.20/234.23	c iter 716 time 170.793 not-muc 7932 unknown 8409 muc 671
234.20/234.23	c iter 717 time 171.346 not-muc 7932 unknown 8408 muc 672
234.20/234.23	c iter 718 time 171.927 not-muc 7932 unknown 8407 muc 673
234.20/234.23	c iter 719 time 172.541 not-muc 7932 unknown 8406 muc 674
234.20/234.23	c iter 720 time 173.097 not-muc 7932 unknown 8405 muc 675
234.20/234.23	c iter 721 time 173.649 not-muc 7932 unknown 8404 muc 676
234.20/234.23	c iter 722 time 174.263 not-muc 7932 unknown 8403 muc 677
234.20/234.23	c iter 723 time 174.814 not-muc 7932 unknown 8402 muc 678
234.20/234.23	c iter 724 time 175.354 not-muc 7932 unknown 8401 muc 679
234.20/234.23	c iter 725 time 175.89 not-muc 7932 unknown 8400 muc 680
234.20/234.23	c iter 726 time 176.64 not-muc 7932 unknown 8399 muc 681
234.20/234.23	c iter 727 time 179.439 not-muc 7934 unknown 8397 muc 681
234.20/234.23	c iter 728 time 181.064 not-muc 7934 unknown 8396 muc 682
234.20/234.23	c iter 729 time 181.662 not-muc 7934 unknown 8395 muc 683
234.20/234.23	c iter 730 time 182.111 not-muc 7934 unknown 8394 muc 684
234.20/234.23	c iter 731 time 182.741 not-muc 7934 unknown 8393 muc 685
234.20/234.23	c iter 732 time 183.329 not-muc 7934 unknown 8392 muc 686
234.20/234.23	c iter 733 time 183.917 not-muc 7934 unknown 8391 muc 687
234.20/234.23	c iter 734 time 184.506 not-muc 7934 unknown 8390 muc 688
234.20/234.23	c iter 735 time 187.641 not-muc 7936 unknown 8388 muc 688
234.20/234.23	c iter 736 time 188.361 not-muc 7936 unknown 8387 muc 689
234.20/234.23	c iter 737 time 189.438 not-muc 7936 unknown 8386 muc 690
234.20/234.23	c iter 738 time 190.48 not-muc 7936 unknown 8385 muc 691
234.20/234.23	c iter 739 time 191.112 not-muc 7936 unknown 8384 muc 692
234.20/234.23	c iter 740 time 192.927 not-muc 7936 unknown 8383 muc 693
234.20/234.23	c iter 741 time 196.333 not-muc 7939 unknown 8380 muc 693
234.20/234.23	c iter 742 time 197.087 not-muc 7939 unknown 8379 muc 694
234.20/234.23	c iter 743 time 198.129 not-muc 7939 unknown 8378 muc 695
234.20/234.23	c iter 744 time 199.109 not-muc 7939 unknown 8377 muc 696
234.20/234.23	c iter 745 time 200.274 not-muc 7939 unknown 8376 muc 697
234.20/234.23	c iter 746 time 202.325 not-muc 7939 unknown 8375 muc 698
234.20/234.23	c iter 747 time 203.061 not-muc 7939 unknown 8374 muc 699
234.20/234.23	c iter 748 time 203.788 not-muc 7939 unknown 8373 muc 700
234.20/234.23	c iter 749 time 204.529 not-muc 7939 unknown 8372 muc 701
234.20/234.23	c iter 750 time 205.278 not-muc 7939 unknown 8371 muc 702
234.20/234.23	c iter 751 time 206.038 not-muc 7939 unknown 8370 muc 703
234.20/234.23	c iter 752 time 206.777 not-muc 7939 unknown 8369 muc 704
234.20/234.23	c iter 753 time 207.512 not-muc 7939 unknown 8368 muc 705
234.20/234.23	c iter 754 time 208.094 not-muc 7939 unknown 8367 muc 706
234.20/234.23	c iter 755 time 209.896 not-muc 7939 unknown 8366 muc 707
234.20/234.23	c iter 756 time 210.653 not-muc 7939 unknown 8365 muc 708
234.20/234.23	c iter 757 time 211.411 not-muc 7939 unknown 8364 muc 709
234.20/234.23	c iter 758 time 212.168 not-muc 7939 unknown 8363 muc 710
234.20/234.23	c iter 759 time 212.922 not-muc 7939 unknown 8362 muc 711
234.20/234.23	c iter 760 time 213.679 not-muc 7939 unknown 8361 muc 712
234.20/234.23	c iter 761 time 214.434 not-muc 7939 unknown 8360 muc 713
234.20/234.23	c iter 762 time 215.183 not-muc 7939 unknown 8359 muc 714
234.20/234.23	c iter 763 time 215.93 not-muc 7939 unknown 8358 muc 715
234.20/234.23	c iter 764 time 216.681 not-muc 7939 unknown 8357 muc 716
234.20/234.23	c iter 765 time 217.803 not-muc 7939 unknown 8356 muc 717
234.20/234.23	c iter 766 time 218.435 not-muc 7939 unknown 8355 muc 718
234.20/234.23	c iter 767 time 219.194 not-muc 7939 unknown 8354 muc 719
234.20/234.23	c iter 768 time 219.888 not-muc 7939 unknown 8353 muc 720
234.20/234.23	c iter 769 time 220.671 not-muc 7939 unknown 8352 muc 721
234.20/234.23	c iter 770 time 221.456 not-muc 7939 unknown 8351 muc 722
234.20/234.23	c iter 771 time 222.236 not-muc 7939 unknown 8350 muc 723
234.20/234.23	c iter 772 time 224.684 not-muc 7939 unknown 8349 muc 724
234.20/234.23	c iter 773 time 225.536 not-muc 7939 unknown 8348 muc 725
234.20/234.23	c iter 774 time 226.408 not-muc 7939 unknown 8347 muc 726
234.20/234.23	c iter 775 time 227.28 not-muc 7939 unknown 8346 muc 727
234.20/234.23	c iter 776 time 229.916 not-muc 7939 unknown 8345 muc 728
234.20/234.23	c iter 777 time 230.798 not-muc 7939 unknown 8344 muc 729
234.20/234.23	c iter 778 time 231.678 not-muc 7939 unknown 8343 muc 730
234.20/234.23	c iter 779 time 232.469 not-muc 7939 unknown 8342 muc 731
234.20/234.23	c iter 780 time 233.268 not-muc 7939 unknown 8341 muc 732
234.20/234.23	c iter 781 time 234.151 not-muc 7939 unknown 8340 muc 733
316.09/316.16	c iter 782 time 235.032 not-muc 7939 unknown 8339 muc 734
316.09/316.16	c iter 783 time 235.915 not-muc 7939 unknown 8338 muc 735
316.09/316.16	c iter 784 time 236.797 not-muc 7939 unknown 8337 muc 736
316.09/316.16	c iter 785 time 237.69 not-muc 7939 unknown 8336 muc 737
316.09/316.16	c iter 786 time 238.577 not-muc 7939 unknown 8335 muc 738
316.09/316.16	c iter 787 time 239.469 not-muc 7939 unknown 8334 muc 739
316.09/316.16	c iter 788 time 240.538 not-muc 7939 unknown 8333 muc 740
316.09/316.16	c iter 789 time 241.279 not-muc 7939 unknown 8332 muc 741
316.09/316.16	c iter 790 time 242.168 not-muc 7939 unknown 8331 muc 742
316.09/316.16	c iter 791 time 245.759 not-muc 7948 unknown 8322 muc 742
316.09/316.16	c iter 792 time 246.761 not-muc 7948 unknown 8321 muc 743
316.09/316.16	c iter 793 time 247.687 not-muc 7948 unknown 8320 muc 744
316.09/316.16	c iter 794 time 249.838 not-muc 7948 unknown 8319 muc 745
316.09/316.16	c iter 795 time 250.774 not-muc 7948 unknown 8318 muc 746
316.09/316.16	c iter 796 time 251.711 not-muc 7948 unknown 8317 muc 747
316.09/316.16	c iter 797 time 252.929 not-muc 7948 unknown 8316 muc 748
316.09/316.16	c iter 798 time 254.453 not-muc 7948 unknown 8315 muc 749
316.09/316.16	c iter 799 time 255.416 not-muc 7948 unknown 8314 muc 750
316.09/316.17	c iter 800 time 257.678 not-muc 7948 unknown 8313 muc 751
316.09/316.17	c iter 801 time 258.655 not-muc 7948 unknown 8312 muc 752
316.09/316.17	c iter 802 time 259.625 not-muc 7948 unknown 8311 muc 753
316.09/316.17	c iter 803 time 260.593 not-muc 7948 unknown 8310 muc 754
316.09/316.17	c iter 804 time 261.565 not-muc 7948 unknown 8309 muc 755
316.09/316.17	c iter 805 time 262.537 not-muc 7948 unknown 8308 muc 756
316.09/316.17	c iter 806 time 263.511 not-muc 7948 unknown 8307 muc 757
316.09/316.17	c iter 807 time 264.835 not-muc 7948 unknown 8306 muc 758
316.09/316.17	c iter 808 time 265.818 not-muc 7948 unknown 8305 muc 759
316.09/316.17	c iter 809 time 266.776 not-muc 7948 unknown 8304 muc 760
316.09/316.17	c iter 810 time 267.734 not-muc 7948 unknown 8303 muc 761
316.09/316.17	c iter 811 time 268.693 not-muc 7948 unknown 8302 muc 762
316.09/316.17	c iter 812 time 270.033 not-muc 7948 unknown 8301 muc 763
316.09/316.17	c iter 813 time 274.44 not-muc 7952 unknown 8297 muc 763
316.09/316.17	c iter 814 time 275.015 not-muc 7952 unknown 8296 muc 764
316.09/316.17	c iter 815 time 275.856 not-muc 7952 unknown 8295 muc 765
316.09/316.17	c iter 816 time 276.692 not-muc 7952 unknown 8294 muc 766
316.09/316.17	c iter 817 time 277.491 not-muc 7952 unknown 8293 muc 767
316.09/316.17	c iter 818 time 278.156 not-muc 7952 unknown 8292 muc 768
316.09/316.17	c iter 819 time 280.106 not-muc 7952 unknown 8291 muc 769
316.09/316.17	c iter 820 time 280.947 not-muc 7952 unknown 8290 muc 770
316.09/316.17	c iter 821 time 281.642 not-muc 7952 unknown 8289 muc 771
316.09/316.17	c iter 822 time 282.887 not-muc 7952 unknown 8288 muc 772
316.09/316.17	c iter 823 time 284.591 not-muc 7952 unknown 8287 muc 773
316.09/316.17	c iter 824 time 286.401 not-muc 7952 unknown 8286 muc 774
316.09/316.17	c iter 825 time 287.755 not-muc 7952 unknown 8285 muc 775
316.09/316.17	c iter 826 time 288.617 not-muc 7952 unknown 8284 muc 776
316.09/316.17	c iter 827 time 289.476 not-muc 7952 unknown 8283 muc 777
316.09/316.17	c iter 828 time 290.334 not-muc 7952 unknown 8282 muc 778
316.09/316.17	c iter 829 time 291.2 not-muc 7952 unknown 8281 muc 779
316.09/316.17	c iter 830 time 293.146 not-muc 7952 unknown 8280 muc 780
316.09/316.17	c iter 831 time 293.936 not-muc 7952 unknown 8279 muc 781
316.09/316.17	c iter 832 time 294.813 not-muc 7952 unknown 8278 muc 782
316.09/316.17	c iter 833 time 295.688 not-muc 7952 unknown 8277 muc 783
316.09/316.17	c iter 834 time 296.568 not-muc 7952 unknown 8276 muc 784
316.09/316.17	c iter 835 time 297.428 not-muc 7952 unknown 8275 muc 785
316.09/316.17	c iter 836 time 298.33 not-muc 7952 unknown 8274 muc 786
316.09/316.17	c iter 837 time 299.389 not-muc 7952 unknown 8273 muc 787
316.09/316.17	c iter 838 time 300.219 not-muc 7952 unknown 8272 muc 788
316.09/316.17	c iter 839 time 301.255 not-muc 7952 unknown 8271 muc 789
316.09/316.17	c iter 840 time 302.191 not-muc 7952 unknown 8270 muc 790
316.09/316.17	c iter 841 time 303.097 not-muc 7952 unknown 8269 muc 791
316.09/316.17	c iter 842 time 304.487 not-muc 7952 unknown 8268 muc 792
316.09/316.17	c iter 843 time 305.4 not-muc 7952 unknown 8267 muc 793
316.09/316.17	c iter 844 time 307.75 not-muc 7952 unknown 8266 muc 794
316.09/316.17	c iter 845 time 308.437 not-muc 7952 unknown 8265 muc 795
316.09/316.17	c iter 846 time 309.614 not-muc 7952 unknown 8264 muc 796
316.09/316.17	c iter 847 time 310.563 not-muc 7952 unknown 8263 muc 797
316.09/316.17	c iter 848 time 311.328 not-muc 7952 unknown 8262 muc 798
316.09/316.17	c iter 849 time 312.325 not-muc 7952 unknown 8261 muc 799
316.09/316.17	c iter 850 time 314.051 not-muc 7952 unknown 8260 muc 800
316.09/316.17	c iter 851 time 315.09 not-muc 7952 unknown 8259 muc 801
316.09/316.17	c iter 852 time 316.071 not-muc 7952 unknown 8258 muc 802
417.49/417.54	c iter 853 time 316.987 not-muc 7952 unknown 8257 muc 803
417.49/417.54	c iter 854 time 318.019 not-muc 7952 unknown 8256 muc 804
417.49/417.54	c iter 855 time 319.019 not-muc 7952 unknown 8255 muc 805
417.49/417.54	c iter 856 time 320.147 not-muc 7952 unknown 8254 muc 806
417.49/417.54	c iter 857 time 321.17 not-muc 7952 unknown 8253 muc 807
417.49/417.54	c iter 858 time 322.222 not-muc 7952 unknown 8252 muc 808
417.49/417.54	c iter 859 time 323.179 not-muc 7952 unknown 8251 muc 809
417.49/417.54	c iter 860 time 323.815 not-muc 7952 unknown 8250 muc 810
417.49/417.54	c iter 861 time 324.869 not-muc 7952 unknown 8249 muc 811
417.49/417.54	c iter 862 time 325.718 not-muc 7952 unknown 8248 muc 812
417.49/417.54	c iter 863 time 326.709 not-muc 7952 unknown 8247 muc 813
417.49/417.54	c iter 864 time 327.703 not-muc 7952 unknown 8246 muc 814
417.49/417.54	c iter 865 time 328.692 not-muc 7952 unknown 8245 muc 815
417.49/417.54	c iter 866 time 332.746 not-muc 7954 unknown 8243 muc 815
417.49/417.54	c iter 867 time 335.417 not-muc 7954 unknown 8242 muc 816
417.49/417.54	c iter 868 time 336.61 not-muc 7954 unknown 8241 muc 817
417.49/417.54	c iter 869 time 337.839 not-muc 7954 unknown 8240 muc 818
417.49/417.54	c iter 870 time 338.89 not-muc 7954 unknown 8239 muc 819
417.49/417.55	c iter 871 time 341.041 not-muc 7954 unknown 8238 muc 820
417.49/417.55	c iter 872 time 342.122 not-muc 7954 unknown 8237 muc 821
417.49/417.55	c iter 873 time 343.891 not-muc 7954 unknown 8236 muc 822
417.49/417.55	c iter 874 time 344.969 not-muc 7954 unknown 8235 muc 823
417.49/417.55	c iter 875 time 346.048 not-muc 7954 unknown 8234 muc 824
417.49/417.55	c iter 876 time 347.129 not-muc 7954 unknown 8233 muc 825
417.49/417.55	c iter 877 time 348.205 not-muc 7954 unknown 8232 muc 826
417.49/417.55	c iter 878 time 349.331 not-muc 7954 unknown 8231 muc 827
417.49/417.55	c iter 879 time 350.426 not-muc 7954 unknown 8230 muc 828
417.49/417.55	c iter 880 time 351.484 not-muc 7954 unknown 8229 muc 829
417.49/417.55	c iter 881 time 355.355 not-muc 7968 unknown 8215 muc 829
417.49/417.55	c iter 882 time 356.626 not-muc 7968 unknown 8214 muc 830
417.49/417.55	c iter 883 time 357.775 not-muc 7968 unknown 8213 muc 831
417.49/417.55	c iter 884 time 358.806 not-muc 7968 unknown 8212 muc 832
417.49/417.55	c iter 885 time 359.858 not-muc 7968 unknown 8211 muc 833
417.49/417.55	c iter 886 time 362.115 not-muc 7968 unknown 8210 muc 834
417.49/417.55	c iter 887 time 364.377 not-muc 7968 unknown 8209 muc 835
417.49/417.55	c iter 888 time 365.552 not-muc 7968 unknown 8208 muc 836
417.49/417.55	c iter 889 time 366.728 not-muc 7968 unknown 8207 muc 837
417.49/417.55	c iter 890 time 367.905 not-muc 7968 unknown 8206 muc 838
417.49/417.55	c iter 891 time 370.67 not-muc 7968 unknown 8205 muc 839
417.49/417.55	c iter 892 time 371.867 not-muc 7968 unknown 8204 muc 840
417.49/417.55	c iter 893 time 373.114 not-muc 7968 unknown 8203 muc 841
417.49/417.55	c iter 894 time 374.366 not-muc 7968 unknown 8202 muc 842
417.49/417.55	c iter 895 time 375.602 not-muc 7968 unknown 8201 muc 843
417.49/417.55	c iter 896 time 376.793 not-muc 7968 unknown 8200 muc 844
417.49/417.55	c iter 897 time 378.063 not-muc 7968 unknown 8199 muc 845
417.49/417.55	c iter 898 time 379.378 not-muc 7968 unknown 8198 muc 846
417.49/417.55	c iter 899 time 380.597 not-muc 7968 unknown 8197 muc 847
417.49/417.55	c iter 900 time 381.81 not-muc 7968 unknown 8196 muc 848
417.49/417.55	c iter 901 time 383.031 not-muc 7968 unknown 8195 muc 849
417.49/417.55	c iter 902 time 384.24 not-muc 7968 unknown 8194 muc 850
417.49/417.55	c iter 903 time 385.447 not-muc 7968 unknown 8193 muc 851
417.49/417.55	c iter 904 time 389.792 not-muc 7969 unknown 8192 muc 851
417.49/417.55	c iter 905 time 391.36 not-muc 7969 unknown 8191 muc 852
417.49/417.55	c iter 906 time 393.895 not-muc 7969 unknown 8190 muc 853
417.49/417.55	c iter 907 time 395.104 not-muc 7969 unknown 8189 muc 854
417.49/417.55	c iter 908 time 396.314 not-muc 7969 unknown 8188 muc 855
417.49/417.55	c iter 909 time 397.525 not-muc 7969 unknown 8187 muc 856
417.49/417.55	c iter 910 time 398.732 not-muc 7969 unknown 8186 muc 857
417.49/417.55	c iter 911 time 399.942 not-muc 7969 unknown 8185 muc 858
417.49/417.55	c iter 912 time 401.261 not-muc 7969 unknown 8184 muc 859
417.49/417.55	c iter 913 time 402.599 not-muc 7969 unknown 8183 muc 860
417.49/417.55	c iter 914 time 403.826 not-muc 7969 unknown 8182 muc 861
417.49/417.55	c iter 915 time 405.052 not-muc 7969 unknown 8181 muc 862
417.49/417.55	c iter 916 time 406.287 not-muc 7969 unknown 8180 muc 863
417.49/417.55	c iter 917 time 407.279 not-muc 7969 unknown 8179 muc 864
417.49/417.55	c iter 918 time 411.368 not-muc 7971 unknown 8177 muc 864
417.49/417.55	c iter 919 time 412.999 not-muc 7971 unknown 8176 muc 865
417.49/417.55	c iter 920 time 414.112 not-muc 7971 unknown 8175 muc 866
417.49/417.55	c iter 921 time 415.223 not-muc 7971 unknown 8174 muc 867
417.49/417.55	c iter 922 time 416.332 not-muc 7971 unknown 8173 muc 868
417.49/417.55	c iter 923 time 417.445 not-muc 7971 unknown 8172 muc 869
527.99/528.06	c iter 924 time 418.389 not-muc 7971 unknown 8171 muc 870
527.99/528.06	c iter 925 time 419.485 not-muc 7971 unknown 8170 muc 871
527.99/528.06	c iter 926 time 420.611 not-muc 7971 unknown 8169 muc 872
527.99/528.06	c iter 927 time 424.564 not-muc 7972 unknown 8168 muc 872
527.99/528.06	c iter 928 time 425.777 not-muc 7972 unknown 8167 muc 873
527.99/528.06	c iter 929 time 426.944 not-muc 7972 unknown 8166 muc 874
527.99/528.06	c iter 930 time 428.108 not-muc 7972 unknown 8165 muc 875
527.99/528.06	c iter 931 time 431.997 not-muc 7995 unknown 8142 muc 875
527.99/528.06	c iter 932 time 434.397 not-muc 7995 unknown 8141 muc 876
527.99/528.06	c iter 933 time 436.239 not-muc 7995 unknown 8140 muc 877
527.99/528.06	c iter 934 time 437.479 not-muc 7995 unknown 8139 muc 878
527.99/528.06	c iter 935 time 438.723 not-muc 7995 unknown 8138 muc 879
527.99/528.06	c iter 936 time 439.933 not-muc 7995 unknown 8137 muc 880
527.99/528.06	c iter 937 time 441.086 not-muc 7995 unknown 8136 muc 881
527.99/528.06	c iter 938 time 442.348 not-muc 7995 unknown 8135 muc 882
527.99/528.06	c iter 939 time 446.415 not-muc 8001 unknown 8129 muc 882
527.99/528.06	c iter 940 time 448.982 not-muc 8001 unknown 8128 muc 883
527.99/528.06	c iter 941 time 450.153 not-muc 8001 unknown 8127 muc 884
527.99/528.06	c iter 942 time 451.43 not-muc 8001 unknown 8126 muc 885
527.99/528.06	c iter 943 time 452.701 not-muc 8001 unknown 8125 muc 886
527.99/528.06	c iter 944 time 453.767 not-muc 8001 unknown 8124 muc 887
527.99/528.06	c iter 945 time 455.584 not-muc 8001 unknown 8123 muc 888
527.99/528.06	c iter 946 time 456.851 not-muc 8001 unknown 8122 muc 889
527.99/528.06	c iter 947 time 458.121 not-muc 8001 unknown 8121 muc 890
527.99/528.06	c iter 948 time 459.38 not-muc 8001 unknown 8120 muc 891
527.99/528.06	c iter 949 time 460.645 not-muc 8001 unknown 8119 muc 892
527.99/528.06	c iter 950 time 461.91 not-muc 8001 unknown 8118 muc 893
527.99/528.06	c iter 951 time 463.827 not-muc 8001 unknown 8117 muc 894
527.99/528.06	c iter 952 time 465.088 not-muc 8001 unknown 8116 muc 895
527.99/528.06	c iter 953 time 466.347 not-muc 8001 unknown 8115 muc 896
527.99/528.06	c iter 954 time 467.621 not-muc 8001 unknown 8114 muc 897
527.99/528.06	c iter 955 time 468.873 not-muc 8001 unknown 8113 muc 898
527.99/528.06	c iter 956 time 470.133 not-muc 8001 unknown 8112 muc 899
527.99/528.06	c iter 957 time 471.518 not-muc 8001 unknown 8111 muc 900
527.99/528.06	c iter 958 time 472.669 not-muc 8001 unknown 8110 muc 901
527.99/528.06	c iter 959 time 473.926 not-muc 8001 unknown 8109 muc 902
527.99/528.06	c iter 960 time 475.265 not-muc 8001 unknown 8108 muc 903
527.99/528.06	c iter 961 time 476.557 not-muc 8001 unknown 8107 muc 904
527.99/528.06	c iter 962 time 479.237 not-muc 8001 unknown 8106 muc 905
527.99/528.06	c iter 963 time 482.141 not-muc 8001 unknown 8105 muc 906
527.99/528.06	c iter 964 time 483.407 not-muc 8001 unknown 8104 muc 907
527.99/528.06	c iter 965 time 484.681 not-muc 8001 unknown 8103 muc 908
527.99/528.06	c iter 966 time 485.773 not-muc 8001 unknown 8102 muc 909
527.99/528.06	c iter 967 time 487.007 not-muc 8001 unknown 8101 muc 910
527.99/528.06	c iter 968 time 488.791 not-muc 8001 unknown 8100 muc 911
527.99/528.06	c iter 969 time 490.07 not-muc 8001 unknown 8099 muc 912
527.99/528.06	c iter 970 time 491.346 not-muc 8001 unknown 8098 muc 913
527.99/528.06	c iter 971 time 492.439 not-muc 8001 unknown 8097 muc 914
527.99/528.06	c iter 972 time 493.617 not-muc 8001 unknown 8096 muc 915
527.99/528.06	c iter 973 time 494.904 not-muc 8001 unknown 8095 muc 916
527.99/528.06	c iter 974 time 495.973 not-muc 8001 unknown 8094 muc 917
527.99/528.06	c iter 975 time 496.9 not-muc 8001 unknown 8093 muc 918
527.99/528.06	c iter 976 time 498.215 not-muc 8001 unknown 8092 muc 919
527.99/528.06	c iter 977 time 500.367 not-muc 8001 unknown 8091 muc 920
527.99/528.06	c iter 978 time 501.658 not-muc 8001 unknown 8090 muc 921
527.99/528.06	c iter 979 time 502.952 not-muc 8001 unknown 8089 muc 922
527.99/528.06	c iter 980 time 504.247 not-muc 8001 unknown 8088 muc 923
527.99/528.06	c iter 981 time 505.545 not-muc 8001 unknown 8087 muc 924
527.99/528.06	c iter 982 time 506.843 not-muc 8001 unknown 8086 muc 925
527.99/528.06	c iter 983 time 508.141 not-muc 8001 unknown 8085 muc 926
527.99/528.06	c iter 984 time 509.44 not-muc 8001 unknown 8084 muc 927
527.99/528.06	c iter 985 time 510.939 not-muc 8001 unknown 8083 muc 928
527.99/528.06	c iter 986 time 512.185 not-muc 8001 unknown 8082 muc 929
527.99/528.06	c iter 987 time 513.463 not-muc 8001 unknown 8081 muc 930
527.99/528.06	c iter 988 time 518.834 not-muc 8003 unknown 8079 muc 930
527.99/528.06	c iter 989 time 520.871 not-muc 8003 unknown 8078 muc 931
527.99/528.06	c iter 990 time 522.163 not-muc 8003 unknown 8077 muc 932
527.99/528.06	c iter 991 time 525.059 not-muc 8003 unknown 8076 muc 933
527.99/528.06	c iter 992 time 526.498 not-muc 8003 unknown 8075 muc 934
527.99/528.06	c iter 993 time 527.958 not-muc 8003 unknown 8074 muc 935
652.59/652.64	c iter 994 time 529.149 not-muc 8003 unknown 8073 muc 936
652.59/652.64	c iter 995 time 530.448 not-muc 8003 unknown 8072 muc 937
652.59/652.64	c iter 996 time 531.806 not-muc 8003 unknown 8071 muc 938
652.59/652.64	c iter 997 time 532.828 not-muc 8003 unknown 8070 muc 939
652.59/652.64	c iter 998 time 538.191 not-muc 8004 unknown 8069 muc 939
652.59/652.64	c iter 999 time 539.584 not-muc 8004 unknown 8068 muc 940
652.59/652.64	c iter 1000 time 540.884 not-muc 8004 unknown 8067 muc 941
652.59/652.64	c iter 1001 time 542.182 not-muc 8004 unknown 8066 muc 942
652.59/652.64	c iter 1002 time 543.48 not-muc 8004 unknown 8065 muc 943
652.59/652.64	c iter 1003 time 544.777 not-muc 8004 unknown 8064 muc 944
652.59/652.64	c iter 1004 time 546.083 not-muc 8004 unknown 8063 muc 945
652.59/652.64	c iter 1005 time 547.169 not-muc 8004 unknown 8062 muc 946
652.59/652.64	c iter 1006 time 548.465 not-muc 8004 unknown 8061 muc 947
652.59/652.64	c iter 1007 time 549.759 not-muc 8004 unknown 8060 muc 948
652.59/652.64	c iter 1008 time 551.108 not-muc 8004 unknown 8059 muc 949
652.59/652.64	c iter 1009 time 553.066 not-muc 8004 unknown 8058 muc 950
652.59/652.64	c iter 1010 time 554.47 not-muc 8004 unknown 8057 muc 951
652.59/652.64	c iter 1011 time 555.753 not-muc 8004 unknown 8056 muc 952
652.59/652.64	c iter 1012 time 557.036 not-muc 8004 unknown 8055 muc 953
652.59/652.64	c iter 1013 time 558.475 not-muc 8004 unknown 8054 muc 954
652.59/652.64	c iter 1014 time 559.933 not-muc 8004 unknown 8053 muc 955
652.59/652.64	c iter 1015 time 561.202 not-muc 8004 unknown 8052 muc 956
652.59/652.64	c iter 1016 time 562.484 not-muc 8004 unknown 8051 muc 957
652.59/652.64	c iter 1017 time 564.145 not-muc 8004 unknown 8050 muc 958
652.59/652.64	c iter 1018 time 565.432 not-muc 8004 unknown 8049 muc 959
652.59/652.64	c iter 1019 time 566.72 not-muc 8004 unknown 8048 muc 960
652.59/652.64	c iter 1020 time 568.017 not-muc 8004 unknown 8047 muc 961
652.59/652.64	c iter 1021 time 569.489 not-muc 8004 unknown 8046 muc 962
652.59/652.64	c iter 1022 time 570.82 not-muc 8004 unknown 8045 muc 963
652.59/652.64	c iter 1023 time 572.286 not-muc 8004 unknown 8044 muc 964
652.59/652.64	c iter 1024 time 573.582 not-muc 8004 unknown 8043 muc 965
652.59/652.64	c iter 1025 time 577.131 not-muc 8004 unknown 8042 muc 966
652.59/652.64	c iter 1026 time 578.471 not-muc 8004 unknown 8041 muc 967
652.59/652.64	c iter 1027 time 579.805 not-muc 8004 unknown 8040 muc 968
652.59/652.64	c iter 1028 time 581.138 not-muc 8004 unknown 8039 muc 969
652.59/652.64	c iter 1029 time 582.477 not-muc 8004 unknown 8038 muc 970
652.59/652.64	c iter 1030 time 583.816 not-muc 8004 unknown 8037 muc 971
652.59/652.64	c iter 1031 time 585.179 not-muc 8004 unknown 8036 muc 972
652.59/652.64	c iter 1032 time 586.493 not-muc 8004 unknown 8035 muc 973
652.59/652.64	c iter 1033 time 588.407 not-muc 8004 unknown 8034 muc 974
652.59/652.64	c iter 1034 time 595.183 not-muc 8006 unknown 8032 muc 974
652.59/652.64	c iter 1035 time 598.324 not-muc 8006 unknown 8031 muc 975
652.59/652.64	c iter 1036 time 599.661 not-muc 8006 unknown 8030 muc 976
652.59/652.64	c iter 1037 time 602.797 not-muc 8006 unknown 8029 muc 977
652.59/652.64	c iter 1038 time 604.205 not-muc 8006 unknown 8028 muc 978
652.59/652.64	c iter 1039 time 606.114 not-muc 8006 unknown 8027 muc 979
652.59/652.64	c iter 1040 time 612.751 not-muc 8018 unknown 8015 muc 979
652.59/652.64	c iter 1041 time 614.397 not-muc 8018 unknown 8014 muc 980
652.59/652.64	c iter 1042 time 615.738 not-muc 8018 unknown 8013 muc 981
652.59/652.64	c iter 1043 time 617.423 not-muc 8018 unknown 8012 muc 982
652.59/652.64	c iter 1044 time 618.814 not-muc 8018 unknown 8011 muc 983
652.59/652.64	c iter 1045 time 620.32 not-muc 8018 unknown 8010 muc 984
652.59/652.64	c iter 1046 time 621.655 not-muc 8018 unknown 8009 muc 985
652.59/652.64	c iter 1047 time 623.282 not-muc 8018 unknown 8008 muc 986
652.59/652.64	c iter 1048 time 624.703 not-muc 8018 unknown 8007 muc 987
652.59/652.64	c iter 1049 time 626.133 not-muc 8018 unknown 8006 muc 988
652.59/652.64	c iter 1050 time 630.274 not-muc 8018 unknown 8005 muc 989
652.59/652.64	c iter 1051 time 632.018 not-muc 8018 unknown 8004 muc 990
652.59/652.64	c iter 1052 time 633.352 not-muc 8018 unknown 8003 muc 991
652.59/652.64	c iter 1053 time 634.915 not-muc 8018 unknown 8002 muc 992
652.59/652.64	c iter 1054 time 638.266 not-muc 8018 unknown 8001 muc 993
652.59/652.64	c iter 1055 time 639.615 not-muc 8018 unknown 8000 muc 994
652.59/652.64	c iter 1056 time 640.961 not-muc 8018 unknown 7999 muc 995
652.59/652.64	c iter 1057 time 642.486 not-muc 8018 unknown 7998 muc 996
652.59/652.64	c iter 1058 time 643.986 not-muc 8018 unknown 7997 muc 997
652.59/652.64	c iter 1059 time 647.019 not-muc 8018 unknown 7996 muc 998
652.59/652.64	c iter 1060 time 648.422 not-muc 8018 unknown 7995 muc 999
652.59/652.64	c iter 1061 time 649.841 not-muc 8018 unknown 7994 muc 1000
652.59/652.64	c iter 1062 time 651.179 not-muc 8018 unknown 7993 muc 1001
652.59/652.64	c iter 1063 time 652.531 not-muc 8018 unknown 7992 muc 1002
800.89/800.93	c iter 1064 time 654.064 not-muc 8018 unknown 7991 muc 1003
800.89/800.93	c iter 1065 time 655.414 not-muc 8018 unknown 7990 muc 1004
800.89/800.93	c iter 1066 time 660.351 not-muc 8018 unknown 7989 muc 1005
800.89/800.93	c iter 1067 time 662.978 not-muc 8018 unknown 7988 muc 1006
800.89/800.93	c iter 1068 time 668.361 not-muc 8018 unknown 7987 muc 1007
800.89/800.93	c iter 1069 time 669.711 not-muc 8018 unknown 7986 muc 1008
800.89/800.93	c iter 1070 time 671.054 not-muc 8018 unknown 7985 muc 1009
800.89/800.93	c iter 1071 time 672.4 not-muc 8018 unknown 7984 muc 1010
800.89/800.93	c iter 1072 time 673.743 not-muc 8018 unknown 7983 muc 1011
800.89/800.93	c iter 1073 time 675.091 not-muc 8018 unknown 7982 muc 1012
800.89/800.93	c iter 1074 time 676.453 not-muc 8018 unknown 7981 muc 1013
800.89/800.93	c iter 1075 time 677.808 not-muc 8018 unknown 7980 muc 1014
800.89/800.93	c iter 1076 time 679.166 not-muc 8018 unknown 7979 muc 1015
800.89/800.93	c iter 1077 time 680.523 not-muc 8018 unknown 7978 muc 1016
800.89/800.93	c iter 1078 time 681.877 not-muc 8018 unknown 7977 muc 1017
800.89/800.93	c iter 1079 time 683.233 not-muc 8018 unknown 7976 muc 1018
800.89/800.93	c iter 1080 time 684.594 not-muc 8018 unknown 7975 muc 1019
800.89/800.93	c iter 1081 time 685.942 not-muc 8018 unknown 7974 muc 1020
800.89/800.93	c iter 1082 time 687.3 not-muc 8018 unknown 7973 muc 1021
800.89/800.93	c iter 1083 time 688.845 not-muc 8018 unknown 7972 muc 1022
800.89/800.93	c iter 1084 time 690.211 not-muc 8018 unknown 7971 muc 1023
800.89/800.93	c iter 1085 time 691.574 not-muc 8018 unknown 7970 muc 1024
800.89/800.93	c iter 1086 time 692.931 not-muc 8018 unknown 7969 muc 1025
800.89/800.93	c iter 1087 time 694.293 not-muc 8018 unknown 7968 muc 1026
800.89/800.93	c iter 1088 time 695.661 not-muc 8018 unknown 7967 muc 1027
800.89/800.93	c iter 1089 time 697.15 not-muc 8018 unknown 7966 muc 1028
800.89/800.93	c iter 1090 time 702.159 not-muc 8027 unknown 7957 muc 1028
800.89/800.93	c iter 1091 time 703.845 not-muc 8027 unknown 7956 muc 1029
800.89/800.93	c iter 1092 time 710.444 not-muc 8030 unknown 7953 muc 1029
800.89/800.93	c iter 1093 time 711.876 not-muc 8030 unknown 7952 muc 1030
800.89/800.93	c iter 1094 time 718.479 not-muc 8032 unknown 7950 muc 1030
800.89/800.93	c iter 1095 time 719.982 not-muc 8032 unknown 7949 muc 1031
800.89/800.93	c iter 1096 time 723.331 not-muc 8032 unknown 7948 muc 1032
800.89/800.93	c iter 1097 time 724.693 not-muc 8032 unknown 7947 muc 1033
800.89/800.93	c iter 1098 time 726.054 not-muc 8032 unknown 7946 muc 1034
800.89/800.93	c iter 1099 time 727.471 not-muc 8032 unknown 7945 muc 1035
800.89/800.93	c iter 1100 time 729.198 not-muc 8032 unknown 7944 muc 1036
800.89/800.93	c iter 1101 time 730.679 not-muc 8032 unknown 7943 muc 1037
800.89/800.93	c iter 1102 time 732.438 not-muc 8032 unknown 7942 muc 1038
800.89/800.93	c iter 1103 time 734.935 not-muc 8032 unknown 7941 muc 1039
800.89/800.93	c iter 1104 time 736.377 not-muc 8032 unknown 7940 muc 1040
800.89/800.93	c iter 1105 time 737.85 not-muc 8032 unknown 7939 muc 1041
800.89/800.93	c iter 1106 time 739.668 not-muc 8032 unknown 7938 muc 1042
800.89/800.93	c iter 1107 time 741.473 not-muc 8032 unknown 7937 muc 1043
800.89/800.93	c iter 1108 time 743.021 not-muc 8032 unknown 7936 muc 1044
800.89/800.93	c iter 1109 time 744.474 not-muc 8032 unknown 7935 muc 1045
800.89/800.93	c iter 1110 time 748.224 not-muc 8032 unknown 7934 muc 1046
800.89/800.93	c iter 1111 time 755.854 not-muc 8035 unknown 7931 muc 1046
800.89/800.93	c iter 1112 time 757.438 not-muc 8035 unknown 7930 muc 1047
800.89/800.93	c iter 1113 time 759.649 not-muc 8035 unknown 7929 muc 1048
800.89/800.93	c iter 1114 time 761.042 not-muc 8035 unknown 7928 muc 1049
800.89/800.93	c iter 1115 time 762.428 not-muc 8035 unknown 7927 muc 1050
800.89/800.93	c iter 1116 time 763.819 not-muc 8035 unknown 7926 muc 1051
800.89/800.93	c iter 1117 time 765.204 not-muc 8035 unknown 7925 muc 1052
800.89/800.93	c iter 1118 time 766.592 not-muc 8035 unknown 7924 muc 1053
800.89/800.93	c iter 1119 time 767.98 not-muc 8035 unknown 7923 muc 1054
800.89/800.93	c iter 1120 time 769.372 not-muc 8035 unknown 7922 muc 1055
800.89/800.93	c iter 1121 time 774.925 not-muc 8035 unknown 7921 muc 1056
800.89/800.93	c iter 1122 time 781.522 not-muc 8035 unknown 7920 muc 1057
800.89/800.93	c iter 1123 time 782.931 not-muc 8035 unknown 7919 muc 1058
800.89/800.93	c iter 1124 time 784.316 not-muc 8035 unknown 7918 muc 1059
800.89/800.93	c iter 1125 time 786.022 not-muc 8035 unknown 7917 muc 1060
800.89/800.93	c iter 1126 time 792.185 not-muc 8035 unknown 7916 muc 1061
800.89/800.93	c iter 1127 time 793.597 not-muc 8035 unknown 7915 muc 1062
800.89/800.93	c iter 1128 time 795.005 not-muc 8035 unknown 7914 muc 1063
800.89/800.93	c iter 1129 time 797.92 not-muc 8035 unknown 7913 muc 1064
800.89/800.93	c iter 1130 time 799.348 not-muc 8035 unknown 7912 muc 1065
800.89/800.93	c iter 1131 time 800.812 not-muc 8035 unknown 7911 muc 1066
940.60/940.68	c iter 1132 time 803.129 not-muc 8035 unknown 7910 muc 1067
940.60/940.68	c iter 1133 time 804.712 not-muc 8035 unknown 7909 muc 1068
940.60/940.68	c iter 1134 time 806.871 not-muc 8035 unknown 7908 muc 1069
940.60/940.68	c iter 1135 time 808.343 not-muc 8035 unknown 7907 muc 1070
940.60/940.68	c iter 1136 time 810.175 not-muc 8035 unknown 7906 muc 1071
940.60/940.68	c iter 1137 time 811.62 not-muc 8035 unknown 7905 muc 1072
940.60/940.68	c iter 1138 time 813.062 not-muc 8035 unknown 7904 muc 1073
940.60/940.68	c iter 1139 time 814.507 not-muc 8035 unknown 7903 muc 1074
940.60/940.68	c iter 1140 time 816.251 not-muc 8035 unknown 7902 muc 1075
940.60/940.68	c iter 1141 time 818.485 not-muc 8035 unknown 7901 muc 1076
940.60/940.68	c iter 1142 time 820.409 not-muc 8035 unknown 7900 muc 1077
940.60/940.68	c iter 1143 time 821.982 not-muc 8035 unknown 7899 muc 1078
940.60/940.68	c iter 1144 time 829.299 not-muc 8039 unknown 7895 muc 1078
940.60/940.68	c iter 1145 time 830.807 not-muc 8039 unknown 7894 muc 1079
940.60/940.68	c iter 1146 time 832.631 not-muc 8039 unknown 7893 muc 1080
940.60/940.68	c iter 1147 time 838.556 not-muc 8039 unknown 7892 muc 1081
940.60/940.68	c iter 1148 time 840.066 not-muc 8039 unknown 7891 muc 1082
940.60/940.68	c iter 1149 time 841.99 not-muc 8039 unknown 7890 muc 1083
940.60/940.68	c iter 1150 time 844.505 not-muc 8039 unknown 7889 muc 1084
940.60/940.68	c iter 1151 time 845.902 not-muc 8039 unknown 7888 muc 1085
940.60/940.68	c iter 1152 time 847.298 not-muc 8039 unknown 7887 muc 1086
940.60/940.68	c iter 1153 time 849.279 not-muc 8039 unknown 7886 muc 1087
940.60/940.68	c iter 1154 time 852.826 not-muc 8039 unknown 7885 muc 1088
940.60/940.68	c iter 1155 time 854.823 not-muc 8039 unknown 7884 muc 1089
940.60/940.68	c iter 1156 time 856.285 not-muc 8039 unknown 7883 muc 1090
940.60/940.68	c iter 1157 time 857.738 not-muc 8039 unknown 7882 muc 1091
940.60/940.68	c iter 1158 time 862.22 not-muc 8039 unknown 7881 muc 1092
940.60/940.68	c iter 1159 time 863.645 not-muc 8039 unknown 7880 muc 1093
940.60/940.68	c iter 1160 time 865.072 not-muc 8039 unknown 7879 muc 1094
940.60/940.68	c iter 1161 time 866.493 not-muc 8039 unknown 7878 muc 1095
940.60/940.68	c iter 1162 time 870.698 not-muc 8039 unknown 7877 muc 1096
940.60/940.68	c iter 1163 time 872.141 not-muc 8039 unknown 7876 muc 1097
940.60/940.68	c iter 1164 time 873.584 not-muc 8039 unknown 7875 muc 1098
940.60/940.68	c iter 1165 time 875.025 not-muc 8039 unknown 7874 muc 1099
940.60/940.68	c iter 1166 time 876.465 not-muc 8039 unknown 7873 muc 1100
940.60/940.68	c iter 1167 time 877.907 not-muc 8039 unknown 7872 muc 1101
940.60/940.68	c iter 1168 time 879.567 not-muc 8039 unknown 7871 muc 1102
940.60/940.68	c iter 1169 time 881.051 not-muc 8039 unknown 7870 muc 1103
940.60/940.68	c iter 1170 time 882.5 not-muc 8039 unknown 7869 muc 1104
940.60/940.68	c iter 1171 time 890.845 not-muc 8044 unknown 7864 muc 1104
940.60/940.68	c iter 1172 time 892.324 not-muc 8044 unknown 7863 muc 1105
940.60/940.68	c iter 1173 time 894.392 not-muc 8044 unknown 7862 muc 1106
940.60/940.68	c iter 1174 time 896.051 not-muc 8044 unknown 7861 muc 1107
940.60/940.68	c iter 1175 time 897.764 not-muc 8044 unknown 7860 muc 1108
940.60/940.68	c iter 1176 time 900.092 not-muc 8044 unknown 7859 muc 1109
940.60/940.68	c iter 1177 time 901.545 not-muc 8044 unknown 7858 muc 1110
940.60/940.68	c iter 1178 time 902.998 not-muc 8044 unknown 7857 muc 1111
940.60/940.68	c iter 1179 time 904.456 not-muc 8044 unknown 7856 muc 1112
940.60/940.68	c iter 1180 time 906.085 not-muc 8044 unknown 7855 muc 1113
940.60/940.68	c iter 1181 time 907.8 not-muc 8044 unknown 7854 muc 1114
940.60/940.68	c iter 1182 time 909.274 not-muc 8044 unknown 7853 muc 1115
940.60/940.68	c iter 1183 time 910.75 not-muc 8044 unknown 7852 muc 1116
940.60/940.68	c iter 1184 time 913.162 not-muc 8044 unknown 7851 muc 1117
940.60/940.68	c iter 1185 time 914.643 not-muc 8044 unknown 7850 muc 1118
940.60/940.68	c iter 1186 time 916.12 not-muc 8044 unknown 7849 muc 1119
940.60/940.68	c iter 1187 time 917.604 not-muc 8044 unknown 7848 muc 1120
940.60/940.68	c iter 1188 time 919.782 not-muc 8044 unknown 7847 muc 1121
940.60/940.68	c iter 1189 time 922.341 not-muc 8044 unknown 7846 muc 1122
940.60/940.68	c iter 1190 time 925.159 not-muc 8044 unknown 7845 muc 1123
940.60/940.68	c iter 1191 time 926.616 not-muc 8044 unknown 7844 muc 1124
940.60/940.68	c iter 1192 time 928.067 not-muc 8044 unknown 7843 muc 1125
940.60/940.68	c iter 1193 time 929.521 not-muc 8044 unknown 7842 muc 1126
940.60/940.68	c iter 1194 time 931.761 not-muc 8044 unknown 7841 muc 1127
940.60/940.68	c iter 1195 time 933.21 not-muc 8044 unknown 7840 muc 1128
940.60/940.68	c iter 1196 time 934.656 not-muc 8044 unknown 7839 muc 1129
940.60/940.68	c iter 1197 time 936.105 not-muc 8044 unknown 7838 muc 1130
940.60/940.68	c iter 1198 time 937.552 not-muc 8044 unknown 7837 muc 1131
940.60/940.68	c iter 1199 time 938.999 not-muc 8044 unknown 7836 muc 1132
940.60/940.68	c iter 1200 time 940.556 not-muc 8044 unknown 7835 muc 1133
1122.10/1122.14	c iter 1201 time 942.08 not-muc 8044 unknown 7834 muc 1134
1122.10/1122.14	c iter 1202 time 943.559 not-muc 8044 unknown 7833 muc 1135
1122.10/1122.14	c iter 1203 time 945.033 not-muc 8044 unknown 7832 muc 1136
1122.10/1122.14	c iter 1204 time 954.436 not-muc 8052 unknown 7824 muc 1136
1122.10/1122.14	c iter 1205 time 956.36 not-muc 8052 unknown 7823 muc 1137
1122.10/1122.14	c iter 1206 time 958.653 not-muc 8052 unknown 7822 muc 1138
1122.10/1122.14	c iter 1207 time 960.151 not-muc 8052 unknown 7821 muc 1139
1122.10/1122.14	c iter 1208 time 962.566 not-muc 8052 unknown 7820 muc 1140
1122.10/1122.14	c iter 1209 time 964.059 not-muc 8052 unknown 7819 muc 1141
1122.10/1122.14	c iter 1210 time 965.608 not-muc 8052 unknown 7818 muc 1142
1122.10/1122.14	c iter 1211 time 967.311 not-muc 8052 unknown 7817 muc 1143
1122.10/1122.14	c iter 1212 time 968.817 not-muc 8052 unknown 7816 muc 1144
1122.10/1122.14	c iter 1213 time 977.75 not-muc 8059 unknown 7809 muc 1144
1122.10/1122.14	c iter 1214 time 979.295 not-muc 8059 unknown 7808 muc 1145
1122.10/1122.14	c iter 1215 time 981.882 not-muc 8059 unknown 7807 muc 1146
1122.10/1122.14	c iter 1216 time 983.359 not-muc 8059 unknown 7806 muc 1147
1122.10/1122.14	c iter 1217 time 984.847 not-muc 8059 unknown 7805 muc 1148
1122.10/1122.14	c iter 1218 time 986.797 not-muc 8059 unknown 7804 muc 1149
1122.10/1122.14	c iter 1219 time 997.5 not-muc 8070 unknown 7793 muc 1149
1122.10/1122.14	c iter 1220 time 1008.79 not-muc 8073 unknown 7790 muc 1149
1122.10/1122.14	c iter 1221 time 1010.71 not-muc 8073 unknown 7789 muc 1150
1122.10/1122.14	c iter 1222 time 1012.39 not-muc 8073 unknown 7788 muc 1151
1122.10/1122.14	c iter 1223 time 1023.29 not-muc 8075 unknown 7786 muc 1151
1122.10/1122.14	c iter 1224 time 1029.19 not-muc 8075 unknown 7785 muc 1152
1122.10/1122.14	c iter 1225 time 1034.17 not-muc 8075 unknown 7784 muc 1153
1122.10/1122.14	c iter 1226 time 1036.25 not-muc 8075 unknown 7783 muc 1154
1122.10/1122.14	c iter 1227 time 1037.77 not-muc 8075 unknown 7782 muc 1155
1122.10/1122.14	c iter 1228 time 1039.7 not-muc 8075 unknown 7781 muc 1156
1122.10/1122.14	c iter 1229 time 1042.78 not-muc 8075 unknown 7780 muc 1157
1122.10/1122.14	c iter 1230 time 1044.31 not-muc 8075 unknown 7779 muc 1158
1122.10/1122.14	c iter 1231 time 1045.94 not-muc 8075 unknown 7778 muc 1159
1122.10/1122.14	c iter 1232 time 1048.71 not-muc 8075 unknown 7777 muc 1160
1122.10/1122.14	c iter 1233 time 1050.24 not-muc 8075 unknown 7776 muc 1161
1122.10/1122.14	c iter 1234 time 1051.76 not-muc 8075 unknown 7775 muc 1162
1122.10/1122.14	c iter 1235 time 1053.28 not-muc 8075 unknown 7774 muc 1163
1122.10/1122.14	c iter 1236 time 1054.81 not-muc 8075 unknown 7773 muc 1164
1122.10/1122.14	c iter 1237 time 1056.33 not-muc 8075 unknown 7772 muc 1165
1122.10/1122.14	c iter 1238 time 1057.86 not-muc 8075 unknown 7771 muc 1166
1122.10/1122.14	c iter 1239 time 1060.52 not-muc 8075 unknown 7770 muc 1167
1122.10/1122.14	c iter 1240 time 1062.81 not-muc 8075 unknown 7769 muc 1168
1122.10/1122.14	c iter 1241 time 1064.34 not-muc 8075 unknown 7768 muc 1169
1122.10/1122.14	c iter 1242 time 1065.88 not-muc 8075 unknown 7767 muc 1170
1122.10/1122.14	c iter 1243 time 1068.46 not-muc 8075 unknown 7766 muc 1171
1122.10/1122.14	c iter 1244 time 1070.12 not-muc 8075 unknown 7765 muc 1172
1122.10/1122.14	c iter 1245 time 1071.95 not-muc 8075 unknown 7764 muc 1173
1122.10/1122.14	c iter 1246 time 1073.65 not-muc 8075 unknown 7763 muc 1174
1122.10/1122.14	c iter 1247 time 1075.67 not-muc 8075 unknown 7762 muc 1175
1122.10/1122.14	c iter 1248 time 1078.07 not-muc 8075 unknown 7761 muc 1176
1122.10/1122.14	c iter 1249 time 1079.58 not-muc 8075 unknown 7760 muc 1177
1122.10/1122.14	c iter 1250 time 1081.09 not-muc 8075 unknown 7759 muc 1178
1122.10/1122.14	c iter 1251 time 1084.81 not-muc 8075 unknown 7758 muc 1179
1122.10/1122.14	c iter 1252 time 1087.06 not-muc 8075 unknown 7757 muc 1180
1122.10/1122.14	c iter 1253 time 1092.62 not-muc 8075 unknown 7756 muc 1181
1122.10/1122.14	c iter 1254 time 1094.23 not-muc 8075 unknown 7755 muc 1182
1122.10/1122.14	c iter 1255 time 1095.78 not-muc 8075 unknown 7754 muc 1183
1122.10/1122.14	c iter 1256 time 1097.47 not-muc 8075 unknown 7753 muc 1184
1122.10/1122.14	c iter 1257 time 1099.2 not-muc 8075 unknown 7752 muc 1185
1122.10/1122.14	c iter 1258 time 1101.95 not-muc 8075 unknown 7751 muc 1186
1122.10/1122.14	c iter 1259 time 1105.08 not-muc 8075 unknown 7750 muc 1187
1122.10/1122.14	c iter 1260 time 1106.7 not-muc 8075 unknown 7749 muc 1188
1122.10/1122.14	c iter 1261 time 1109.61 not-muc 8075 unknown 7748 muc 1189
1122.10/1122.14	c iter 1262 time 1111.71 not-muc 8075 unknown 7747 muc 1190
1122.10/1122.14	c iter 1263 time 1113.36 not-muc 8075 unknown 7746 muc 1191
1122.10/1122.14	c iter 1264 time 1115.29 not-muc 8075 unknown 7745 muc 1192
1122.10/1122.14	c iter 1265 time 1117.17 not-muc 8075 unknown 7744 muc 1193
1122.10/1122.14	c iter 1266 time 1118.71 not-muc 8075 unknown 7743 muc 1194
1122.10/1122.14	c iter 1267 time 1120.24 not-muc 8075 unknown 7742 muc 1195
1122.10/1122.14	c iter 1268 time 1122.01 not-muc 8075 unknown 7741 muc 1196
1299.40/1299.45	c iter 1269 time 1123.89 not-muc 8075 unknown 7740 muc 1197
1299.40/1299.45	c iter 1270 time 1126.02 not-muc 8075 unknown 7739 muc 1198
1299.40/1299.45	c iter 1271 time 1128.19 not-muc 8075 unknown 7738 muc 1199
1299.40/1299.45	c iter 1272 time 1129.78 not-muc 8075 unknown 7737 muc 1200
1299.40/1299.45	c iter 1273 time 1132.22 not-muc 8075 unknown 7736 muc 1201
1299.40/1299.45	c iter 1274 time 1133.77 not-muc 8075 unknown 7735 muc 1202
1299.40/1299.45	c iter 1275 time 1135.32 not-muc 8075 unknown 7734 muc 1203
1299.40/1299.45	c iter 1276 time 1136.87 not-muc 8075 unknown 7733 muc 1204
1299.40/1299.45	c iter 1277 time 1138.87 not-muc 8075 unknown 7732 muc 1205
1299.40/1299.45	c iter 1278 time 1140.78 not-muc 8075 unknown 7731 muc 1206
1299.40/1299.45	c iter 1279 time 1142.33 not-muc 8075 unknown 7730 muc 1207
1299.40/1299.45	c iter 1280 time 1144.87 not-muc 8075 unknown 7729 muc 1208
1299.40/1299.45	c iter 1281 time 1148.05 not-muc 8075 unknown 7728 muc 1209
1299.40/1299.45	c iter 1282 time 1149.56 not-muc 8075 unknown 7727 muc 1210
1299.40/1299.45	c iter 1283 time 1151.07 not-muc 8075 unknown 7726 muc 1211
1299.40/1299.45	c iter 1284 time 1152.57 not-muc 8075 unknown 7725 muc 1212
1299.40/1299.45	c iter 1285 time 1163.69 not-muc 8078 unknown 7722 muc 1212
1299.40/1299.45	c iter 1286 time 1167 not-muc 8078 unknown 7721 muc 1213
1299.40/1299.45	c iter 1287 time 1168.55 not-muc 8078 unknown 7720 muc 1214
1299.40/1299.45	c iter 1288 time 1170.74 not-muc 8078 unknown 7719 muc 1215
1299.40/1299.45	c iter 1289 time 1172.27 not-muc 8078 unknown 7718 muc 1216
1299.40/1299.45	c iter 1290 time 1173.79 not-muc 8078 unknown 7717 muc 1217
1299.40/1299.45	c iter 1291 time 1175.32 not-muc 8078 unknown 7716 muc 1218
1299.40/1299.45	c iter 1292 time 1176.85 not-muc 8078 unknown 7715 muc 1219
1299.40/1299.45	c iter 1293 time 1179.07 not-muc 8078 unknown 7714 muc 1220
1299.40/1299.45	c iter 1294 time 1180.64 not-muc 8078 unknown 7713 muc 1221
1299.40/1299.45	c iter 1295 time 1182.22 not-muc 8078 unknown 7712 muc 1222
1299.40/1299.45	c iter 1296 time 1184.52 not-muc 8078 unknown 7711 muc 1223
1299.40/1299.45	c iter 1297 time 1186.12 not-muc 8078 unknown 7710 muc 1224
1299.40/1299.45	c iter 1298 time 1187.72 not-muc 8078 unknown 7709 muc 1225
1299.40/1299.45	c iter 1299 time 1189.5 not-muc 8078 unknown 7708 muc 1226
1299.40/1299.45	c iter 1300 time 1191.08 not-muc 8078 unknown 7707 muc 1227
1299.40/1299.45	c iter 1301 time 1192.65 not-muc 8078 unknown 7706 muc 1228
1299.40/1299.45	c iter 1302 time 1194.23 not-muc 8078 unknown 7705 muc 1229
1299.40/1299.45	c iter 1303 time 1195.8 not-muc 8078 unknown 7704 muc 1230
1299.40/1299.45	c iter 1304 time 1197.38 not-muc 8078 unknown 7703 muc 1231
1299.40/1299.45	c iter 1305 time 1201.71 not-muc 8078 unknown 7702 muc 1232
1299.40/1299.45	c iter 1306 time 1203.27 not-muc 8078 unknown 7701 muc 1233
1299.40/1299.45	c iter 1307 time 1204.82 not-muc 8078 unknown 7700 muc 1234
1299.40/1299.45	c iter 1308 time 1206.39 not-muc 8078 unknown 7699 muc 1235
1299.40/1299.45	c iter 1309 time 1207.95 not-muc 8078 unknown 7698 muc 1236
1299.40/1299.45	c iter 1310 time 1209.51 not-muc 8078 unknown 7697 muc 1237
1299.40/1299.45	c iter 1311 time 1211.07 not-muc 8078 unknown 7696 muc 1238
1299.40/1299.45	c iter 1312 time 1212.7 not-muc 8078 unknown 7695 muc 1239
1299.40/1299.45	c iter 1313 time 1214.47 not-muc 8078 unknown 7694 muc 1240
1299.40/1299.45	c iter 1314 time 1216.06 not-muc 8078 unknown 7693 muc 1241
1299.40/1299.45	c iter 1315 time 1217.64 not-muc 8078 unknown 7692 muc 1242
1299.40/1299.45	c iter 1316 time 1219.24 not-muc 8078 unknown 7691 muc 1243
1299.40/1299.45	c iter 1317 time 1220.82 not-muc 8078 unknown 7690 muc 1244
1299.40/1299.45	c iter 1318 time 1222.41 not-muc 8078 unknown 7689 muc 1245
1299.40/1299.45	c iter 1319 time 1225.01 not-muc 8078 unknown 7688 muc 1246
1299.40/1299.45	c iter 1320 time 1227.63 not-muc 8078 unknown 7687 muc 1247
1299.40/1299.45	c iter 1321 time 1230.35 not-muc 8078 unknown 7686 muc 1248
1299.40/1299.45	c iter 1322 time 1232.97 not-muc 8078 unknown 7685 muc 1249
1299.40/1299.45	c iter 1323 time 1234.57 not-muc 8078 unknown 7684 muc 1250
1299.40/1299.45	c iter 1324 time 1236.25 not-muc 8078 unknown 7683 muc 1251
1299.40/1299.45	c iter 1325 time 1238.34 not-muc 8078 unknown 7682 muc 1252
1299.40/1299.45	c iter 1326 time 1239.92 not-muc 8078 unknown 7681 muc 1253
1299.40/1299.45	c iter 1327 time 1242.33 not-muc 8078 unknown 7680 muc 1254
1299.40/1299.45	c iter 1328 time 1254.33 not-muc 8079 unknown 7679 muc 1254
1299.40/1299.45	c iter 1329 time 1266.08 not-muc 8094 unknown 7664 muc 1254
1299.40/1299.45	c iter 1330 time 1275.14 not-muc 8094 unknown 7663 muc 1255
1299.40/1299.45	c iter 1331 time 1277.27 not-muc 8094 unknown 7662 muc 1256
1299.40/1299.45	c iter 1332 time 1278.83 not-muc 8094 unknown 7661 muc 1257
1299.40/1299.45	c iter 1333 time 1280.91 not-muc 8094 unknown 7660 muc 1258
1299.40/1299.45	c iter 1334 time 1283.49 not-muc 8094 unknown 7659 muc 1259
1299.40/1299.45	c iter 1335 time 1285.21 not-muc 8094 unknown 7658 muc 1260
1299.40/1299.45	c iter 1336 time 1296.93 not-muc 8096 unknown 7656 muc 1260
1299.40/1299.45	c iter 1337 time 1299.31 not-muc 8096 unknown 7655 muc 1261
1476.90/1476.91	c iter 1338 time 1301.19 not-muc 8096 unknown 7654 muc 1262
1476.90/1476.91	c iter 1339 time 1303.51 not-muc 8096 unknown 7653 muc 1263
1476.90/1476.91	c iter 1340 time 1305.13 not-muc 8096 unknown 7652 muc 1264
1476.90/1476.91	c iter 1341 time 1306.73 not-muc 8096 unknown 7651 muc 1265
1476.90/1476.91	c iter 1342 time 1317.66 not-muc 8099 unknown 7648 muc 1265
1476.90/1476.91	c iter 1343 time 1321.38 not-muc 8099 unknown 7647 muc 1266
1476.90/1476.91	c iter 1344 time 1322.98 not-muc 8099 unknown 7646 muc 1267
1476.90/1476.91	c iter 1345 time 1324.91 not-muc 8099 unknown 7645 muc 1268
1476.90/1476.91	c iter 1346 time 1326.53 not-muc 8099 unknown 7644 muc 1269
1476.90/1476.91	c iter 1347 time 1328.29 not-muc 8099 unknown 7643 muc 1270
1476.90/1476.91	c iter 1348 time 1329.87 not-muc 8099 unknown 7642 muc 1271
1476.90/1476.91	c iter 1349 time 1331.75 not-muc 8099 unknown 7641 muc 1272
1476.90/1476.91	c iter 1350 time 1333.31 not-muc 8099 unknown 7640 muc 1273
1476.90/1476.91	c iter 1351 time 1334.88 not-muc 8099 unknown 7639 muc 1274
1476.90/1476.91	c iter 1352 time 1336.44 not-muc 8099 unknown 7638 muc 1275
1476.90/1476.91	c iter 1353 time 1338.39 not-muc 8099 unknown 7637 muc 1276
1476.90/1476.91	c iter 1354 time 1339.97 not-muc 8099 unknown 7636 muc 1277
1476.90/1476.91	c iter 1355 time 1342.38 not-muc 8099 unknown 7635 muc 1278
1476.90/1476.91	c iter 1356 time 1343.98 not-muc 8099 unknown 7634 muc 1279
1476.90/1476.91	c iter 1357 time 1345.57 not-muc 8099 unknown 7633 muc 1280
1476.90/1476.91	c iter 1358 time 1347.16 not-muc 8099 unknown 7632 muc 1281
1476.90/1476.91	c iter 1359 time 1348.76 not-muc 8099 unknown 7631 muc 1282
1476.90/1476.91	c iter 1360 time 1350.37 not-muc 8099 unknown 7630 muc 1283
1476.90/1476.91	c iter 1361 time 1352.13 not-muc 8099 unknown 7629 muc 1284
1476.90/1476.91	c iter 1362 time 1353.73 not-muc 8099 unknown 7628 muc 1285
1476.90/1476.91	c iter 1363 time 1355.33 not-muc 8099 unknown 7627 muc 1286
1476.90/1476.91	c iter 1364 time 1357.2 not-muc 8099 unknown 7626 muc 1287
1476.90/1476.91	c iter 1365 time 1358.8 not-muc 8099 unknown 7625 muc 1288
1476.90/1476.91	c iter 1366 time 1363.09 not-muc 8099 unknown 7624 muc 1289
1476.90/1476.91	c iter 1367 time 1364.85 not-muc 8099 unknown 7623 muc 1290
1476.90/1476.91	c iter 1368 time 1367.2 not-muc 8099 unknown 7622 muc 1291
1476.90/1476.91	c iter 1369 time 1369.28 not-muc 8099 unknown 7621 muc 1292
1476.90/1476.91	c iter 1370 time 1371.34 not-muc 8099 unknown 7620 muc 1293
1476.90/1476.91	c iter 1371 time 1372.95 not-muc 8099 unknown 7619 muc 1294
1476.90/1476.91	c iter 1372 time 1375.11 not-muc 8099 unknown 7618 muc 1295
1476.90/1476.91	c iter 1373 time 1377.66 not-muc 8099 unknown 7617 muc 1296
1476.90/1476.91	c iter 1374 time 1379.38 not-muc 8099 unknown 7616 muc 1297
1476.90/1476.91	c iter 1375 time 1380.98 not-muc 8099 unknown 7615 muc 1298
1476.90/1476.91	c iter 1376 time 1382.58 not-muc 8099 unknown 7614 muc 1299
1476.90/1476.91	c iter 1377 time 1384.19 not-muc 8099 unknown 7613 muc 1300
1476.90/1476.91	c iter 1378 time 1385.8 not-muc 8099 unknown 7612 muc 1301
1476.90/1476.91	c iter 1379 time 1387.4 not-muc 8099 unknown 7611 muc 1302
1476.90/1476.91	c iter 1380 time 1388.96 not-muc 8099 unknown 7610 muc 1303
1476.90/1476.91	c iter 1381 time 1390.81 not-muc 8099 unknown 7609 muc 1304
1476.90/1476.91	c iter 1382 time 1392.34 not-muc 8099 unknown 7608 muc 1305
1476.90/1476.91	c iter 1383 time 1393.87 not-muc 8099 unknown 7607 muc 1306
1476.90/1476.91	c iter 1384 time 1397.26 not-muc 8099 unknown 7606 muc 1307
1476.90/1476.91	c iter 1385 time 1398.85 not-muc 8099 unknown 7605 muc 1308
1476.90/1476.91	c iter 1386 time 1400.44 not-muc 8099 unknown 7604 muc 1309
1476.90/1476.91	c iter 1387 time 1402.03 not-muc 8099 unknown 7603 muc 1310
1476.90/1476.91	c iter 1388 time 1403.63 not-muc 8099 unknown 7602 muc 1311
1476.90/1476.91	c iter 1389 time 1405.22 not-muc 8099 unknown 7601 muc 1312
1476.90/1476.91	c iter 1390 time 1407.01 not-muc 8099 unknown 7600 muc 1313
1476.90/1476.91	c iter 1391 time 1408.77 not-muc 8099 unknown 7599 muc 1314
1476.90/1476.91	c iter 1392 time 1411.42 not-muc 8099 unknown 7598 muc 1315
1476.90/1476.91	c iter 1393 time 1412.99 not-muc 8099 unknown 7597 muc 1316
1476.90/1476.91	c iter 1394 time 1424.83 not-muc 8100 unknown 7596 muc 1316
1476.90/1476.91	c iter 1395 time 1428.85 not-muc 8100 unknown 7595 muc 1317
1476.90/1476.91	c iter 1396 time 1433.05 not-muc 8100 unknown 7594 muc 1318
1476.90/1476.91	c iter 1397 time 1441.58 not-muc 8100 unknown 7593 muc 1319
1476.90/1476.91	c iter 1398 time 1451.53 not-muc 8100 unknown 7592 muc 1320
1476.90/1476.91	c iter 1399 time 1454.21 not-muc 8100 unknown 7591 muc 1321
1476.90/1476.91	c iter 1400 time 1455.86 not-muc 8100 unknown 7590 muc 1322
1476.90/1476.91	c iter 1401 time 1457.71 not-muc 8100 unknown 7589 muc 1323
1476.90/1476.91	c iter 1402 time 1459.42 not-muc 8100 unknown 7588 muc 1324
1476.90/1476.91	c iter 1403 time 1473.26 not-muc 8101 unknown 7587 muc 1324
1476.90/1476.91	c iter 1404 time 1474.9 not-muc 8101 unknown 7586 muc 1325
1476.90/1476.91	c iter 1405 time 1476.76 not-muc 8101 unknown 7585 muc 1326
1673.40/1673.49	c iter 1406 time 1478.97 not-muc 8101 unknown 7584 muc 1327
1673.40/1673.49	c iter 1407 time 1480.56 not-muc 8101 unknown 7583 muc 1328
1673.40/1673.49	c iter 1408 time 1494.02 not-muc 8109 unknown 7575 muc 1328
1673.40/1673.49	c iter 1409 time 1506.37 not-muc 8109 unknown 7574 muc 1329
1673.40/1673.49	c iter 1410 time 1508.21 not-muc 8109 unknown 7573 muc 1330
1673.40/1673.49	c iter 1411 time 1509.81 not-muc 8109 unknown 7572 muc 1331
1673.40/1673.49	c iter 1412 time 1511.42 not-muc 8109 unknown 7571 muc 1332
1673.40/1673.49	c iter 1413 time 1524.39 not-muc 8111 unknown 7569 muc 1332
1673.40/1673.49	c iter 1414 time 1526.05 not-muc 8111 unknown 7568 muc 1333
1673.40/1673.49	c iter 1415 time 1527.94 not-muc 8111 unknown 7567 muc 1334
1673.40/1673.49	c iter 1416 time 1532.59 not-muc 8111 unknown 7566 muc 1335
1673.40/1673.49	c iter 1417 time 1537.42 not-muc 8111 unknown 7565 muc 1336
1673.40/1673.49	c iter 1418 time 1539.44 not-muc 8111 unknown 7564 muc 1337
1673.40/1673.49	c iter 1419 time 1541.07 not-muc 8111 unknown 7563 muc 1338
1673.40/1673.49	c iter 1420 time 1542.72 not-muc 8111 unknown 7562 muc 1339
1673.40/1673.49	c iter 1421 time 1544.47 not-muc 8111 unknown 7561 muc 1340
1673.40/1673.49	c iter 1422 time 1546.3 not-muc 8111 unknown 7560 muc 1341
1673.40/1673.49	c iter 1423 time 1547.93 not-muc 8111 unknown 7559 muc 1342
1673.40/1673.49	c iter 1424 time 1549.56 not-muc 8111 unknown 7558 muc 1343
1673.40/1673.49	c iter 1425 time 1551.43 not-muc 8111 unknown 7557 muc 1344
1673.40/1673.49	c iter 1426 time 1553.08 not-muc 8111 unknown 7556 muc 1345
1673.40/1673.49	c iter 1427 time 1554.74 not-muc 8111 unknown 7555 muc 1346
1673.40/1673.49	c iter 1428 time 1556.41 not-muc 8111 unknown 7554 muc 1347
1673.40/1673.49	c iter 1429 time 1558.08 not-muc 8111 unknown 7553 muc 1348
1673.40/1673.49	c iter 1430 time 1560.19 not-muc 8111 unknown 7552 muc 1349
1673.40/1673.49	c iter 1431 time 1561.85 not-muc 8111 unknown 7551 muc 1350
1673.40/1673.49	c iter 1432 time 1563.49 not-muc 8111 unknown 7550 muc 1351
1673.40/1673.49	c iter 1433 time 1565.52 not-muc 8111 unknown 7549 muc 1352
1673.40/1673.49	c iter 1434 time 1567.4 not-muc 8111 unknown 7548 muc 1353
1673.40/1673.49	c iter 1435 time 1573.64 not-muc 8111 unknown 7547 muc 1354
1673.40/1673.49	c iter 1436 time 1575.35 not-muc 8111 unknown 7546 muc 1355
1673.40/1673.49	c iter 1437 time 1577.06 not-muc 8111 unknown 7545 muc 1356
1673.40/1673.49	c iter 1438 time 1578.76 not-muc 8111 unknown 7544 muc 1357
1673.40/1673.49	c iter 1439 time 1580.47 not-muc 8111 unknown 7543 muc 1358
1673.40/1673.49	c iter 1440 time 1582.19 not-muc 8111 unknown 7542 muc 1359
1673.40/1673.49	c iter 1441 time 1583.9 not-muc 8111 unknown 7541 muc 1360
1673.40/1673.49	c iter 1442 time 1586.88 not-muc 8111 unknown 7540 muc 1361
1673.40/1673.49	c iter 1443 time 1588.74 not-muc 8111 unknown 7539 muc 1362
1673.40/1673.49	c iter 1444 time 1590.43 not-muc 8111 unknown 7538 muc 1363
1673.40/1673.49	c iter 1445 time 1603.63 not-muc 8113 unknown 7536 muc 1363
1673.40/1673.49	c iter 1446 time 1605.31 not-muc 8113 unknown 7535 muc 1364
1673.40/1673.49	c iter 1447 time 1606.94 not-muc 8113 unknown 7534 muc 1365
1673.40/1673.49	c iter 1448 time 1611.35 not-muc 8113 unknown 7533 muc 1366
1673.40/1673.49	c iter 1449 time 1614.07 not-muc 8113 unknown 7532 muc 1367
1673.40/1673.49	c iter 1450 time 1615.73 not-muc 8113 unknown 7531 muc 1368
1673.40/1673.49	c iter 1451 time 1617.4 not-muc 8113 unknown 7530 muc 1369
1673.40/1673.49	c iter 1452 time 1619.06 not-muc 8113 unknown 7529 muc 1370
1673.40/1673.49	c iter 1453 time 1620.83 not-muc 8113 unknown 7528 muc 1371
1673.40/1673.49	c iter 1454 time 1627.2 not-muc 8113 unknown 7527 muc 1372
1673.40/1673.49	c iter 1455 time 1628.88 not-muc 8113 unknown 7526 muc 1373
1673.40/1673.49	c iter 1456 time 1630.55 not-muc 8113 unknown 7525 muc 1374
1673.40/1673.49	c iter 1457 time 1632.23 not-muc 8113 unknown 7524 muc 1375
1673.40/1673.49	c iter 1458 time 1633.92 not-muc 8113 unknown 7523 muc 1376
1673.40/1673.49	c iter 1459 time 1636.73 not-muc 8113 unknown 7522 muc 1377
1673.40/1673.49	c iter 1460 time 1638.53 not-muc 8113 unknown 7521 muc 1378
1673.40/1673.49	c iter 1461 time 1640.2 not-muc 8113 unknown 7520 muc 1379
1673.40/1673.49	c iter 1462 time 1642.17 not-muc 8113 unknown 7519 muc 1380
1673.40/1673.49	c iter 1463 time 1644.96 not-muc 8113 unknown 7518 muc 1381
1673.40/1673.49	c iter 1464 time 1658.05 not-muc 8113 unknown 7517 muc 1382
1673.40/1673.49	c iter 1465 time 1659.72 not-muc 8113 unknown 7516 muc 1383
1673.40/1673.49	c iter 1466 time 1661.39 not-muc 8113 unknown 7515 muc 1384
1673.40/1673.49	c iter 1467 time 1663.07 not-muc 8113 unknown 7514 muc 1385
1673.40/1673.49	c iter 1468 time 1664.74 not-muc 8113 unknown 7513 muc 1386
1673.40/1673.49	c iter 1469 time 1666.42 not-muc 8113 unknown 7512 muc 1387
1673.40/1673.49	c iter 1470 time 1668.1 not-muc 8113 unknown 7511 muc 1388
1673.40/1673.49	c iter 1471 time 1669.95 not-muc 8113 unknown 7510 muc 1389
1673.40/1673.49	c iter 1472 time 1671.65 not-muc 8113 unknown 7509 muc 1390
1673.40/1673.49	c iter 1473 time 1673.34 not-muc 8113 unknown 7508 m

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: 989)

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-3501664-1308043854/watcher-3501664-1308043854 -o /tmp/evaluation-result-3501664-1308043854/solver-3501664-1308043854 -C 1800 -W 1850 -M 7680 HOME/hhlmuc HOME/instance-3501664-1308043854.gcnf 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 3.63 2.04 1.83 4/189 23303
/proc/meminfo: memFree=31485716/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=24600 CPUtime=0 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 631 0 0 0 0 0 0 0 25 0 1 0 994616067 25190400 574 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320353 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 6150 574 222 36 0 2772 0

[startup+0.00633393 s]
/proc/loadavg: 3.63 2.04 1.83 4/189 23303
/proc/meminfo: memFree=31485716/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=24600 CPUtime=0 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 659 0 0 0 0 0 0 0 25 0 1 0 994616067 25190400 602 33554432000 4194304 4338123 140733935328352 18446744073709551615 4200832 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 6150 603 222 36 0 2772 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24600

[startup+0.100377 s]
/proc/loadavg: 3.63 2.04 1.83 4/189 23303
/proc/meminfo: memFree=31485716/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=31088 CPUtime=0.09 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 4391 0 0 0 9 0 0 0 25 0 1 0 994616067 31834112 3849 33554432000 4194304 4338123 140733935328352 18446744073709551615 4322009 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 7772 3850 229 36 0 4394 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31088

[startup+0.300343 s]
/proc/loadavg: 3.63 2.04 1.83 4/189 23303
/proc/meminfo: memFree=31485716/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=30564 CPUtime=0.29 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 4653 0 0 0 29 0 0 0 25 0 1 0 994616067 31297536 4006 33554432000 4194304 4338123 140733935328352 18446744073709551615 4292234 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 7641 4006 245 36 0 4263 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30564

[startup+0.700266 s]
/proc/loadavg: 3.63 2.04 1.83 4/189 23303
/proc/meminfo: memFree=31485716/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=36212 CPUtime=0.69 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 5350 0 0 0 69 0 0 0 25 0 1 0 994616067 37081088 4698 33554432000 4194304 4338123 140733935328352 18446744073709551615 4260249 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 9053 4698 245 36 0 5675 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36212

[startup+1.50111 s]
/proc/loadavg: 3.63 2.04 1.83 5/190 23304
/proc/meminfo: memFree=31462772/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=43060 CPUtime=1.49 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 7484 0 0 0 149 0 0 0 25 0 1 0 994616067 44093440 6827 33554432000 4194304 4338123 140733935328352 18446744073709551615 4292811 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 10765 6827 265 36 0 7387 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43060

[startup+3.10081 s]
/proc/loadavg: 3.63 2.04 1.83 5/190 23304
/proc/meminfo: memFree=31455456/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=46192 CPUtime=3.09 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 8044 0 0 0 309 0 0 0 25 0 1 0 994616067 47300608 7381 33554432000 4194304 4338123 140733935328352 18446744073709551615 4292272 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 11548 7381 265 36 0 8170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46192

[startup+6.30022 s]
/proc/loadavg: 3.66 2.07 1.84 5/190 23304
/proc/meminfo: memFree=31444532/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=53308 CPUtime=6.29 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 10166 0 0 0 628 1 0 0 25 0 1 0 994616067 54587392 9495 33554432000 4194304 4338123 140733935328352 18446744073709551615 4290094 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 13327 9495 265 36 0 9949 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53308

[startup+12.701 s]
/proc/loadavg: 3.69 2.10 1.85 5/190 23304
/proc/meminfo: memFree=31416672/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=74532 CPUtime=12.69 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 15182 0 0 0 1268 1 0 0 25 0 1 0 994616067 76320768 14401 33554432000 4194304 4338123 140733935328352 18446744073709551615 4292347 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 18633 14401 268 36 0 15255 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 74532

[startup+25.5006 s]
/proc/loadavg: 3.76 2.20 1.89 5/190 23304
/proc/meminfo: memFree=31356828/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=114976 CPUtime=25.49 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 24914 0 0 0 2547 2 0 0 25 0 1 0 994616067 117735424 23949 33554432000 4194304 4338123 140733935328352 18446744073709551615 4290686 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 28744 23949 268 36 0 25366 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 114976

[startup+51.1008 s]
/proc/loadavg: 3.92 2.36 1.95 5/190 23305
/proc/meminfo: memFree=31263612/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=169300 CPUtime=51.09 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 38681 0 0 0 5105 4 0 0 25 0 1 0 994616067 173363200 37492 33554432000 4194304 4338123 140733935328352 18446744073709551615 4293439 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 42325 37492 268 36 0 38947 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 169300

[startup+102.307 s]
/proc/loadavg: 4.04 2.65 2.07 5/190 23381
/proc/meminfo: memFree=31482084/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=212476 CPUtime=102.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 50455 0 0 0 10223 7 0 0 25 0 1 0 994616067 217575424 48977 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320865 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 53119 48977 268 36 0 49741 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 212476

[startup+162.301 s]
/proc/loadavg: 4.01 2.87 2.18 5/190 23456
/proc/meminfo: memFree=31427948/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=227444 CPUtime=162.29 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 54584 0 0 0 16222 7 0 0 25 0 1 0 994616067 232902656 51993 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320919 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 56861 51993 268 36 0 53483 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 227444

[startup+222.301 s]
/proc/loadavg: 4.00 3.07 2.29 5/190 23495
/proc/meminfo: memFree=31345480/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=246388 CPUtime=222.28 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 59846 0 0 0 22221 7 0 0 25 0 1 0 994616067 252301312 57014 33554432000 4194304 4338123 140733935328352 18446744073709551615 4279470 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 61597 57014 268 36 0 58219 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 246388

[startup+282.3 s]
/proc/loadavg: 3.96 3.23 2.39 5/190 23607
/proc/meminfo: memFree=31221268/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=269840 CPUtime=282.29 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 65524 0 0 0 28220 9 0 0 25 0 1 0 994616067 276316160 62405 33554432000 4194304 4338123 140733935328352 18446744073709551615 4321164 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 67460 62405 268 36 0 64082 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 269840

[startup+342.301 s]
/proc/loadavg: 4.06 3.38 2.49 5/190 23646
/proc/meminfo: memFree=31165256/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=274744 CPUtime=342.29 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 67552 0 0 0 34220 9 0 0 25 0 1 0 994616067 281337856 64339 33554432000 4194304 4338123 140733935328352 18446744073709551615 4321556 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 68686 64339 268 36 0 65308 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 274744

[startup+402.301 s]
/proc/loadavg: 4.10 3.51 2.59 5/190 23758
/proc/meminfo: memFree=31003420/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=287760 CPUtime=402.29 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 71001 0 0 0 40219 10 0 0 25 0 1 0 994616067 294666240 67612 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320872 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 71940 67612 268 36 0 68562 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 287760

[startup+462.3 s]
/proc/loadavg: 4.04 3.59 2.67 5/190 23797
/proc/meminfo: memFree=30701100/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=301688 CPUtime=462.29 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 74874 0 0 0 46219 10 0 0 25 0 1 0 994616067 308928512 71375 33554432000 4194304 4338123 140733935328352 18446744073709551615 4279727 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 75422 71375 268 36 0 72044 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 301688

[startup+522.301 s]
/proc/loadavg: 4.01 3.67 2.75 5/190 23802
/proc/meminfo: memFree=30646400/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=318156 CPUtime=522.29 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 77814 0 0 0 52219 10 0 0 25 0 1 0 994616067 325791744 74168 33554432000 4194304 4338123 140733935328352 18446744073709551615 4279727 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 79539 74168 268 36 0 76161 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 318156

[startup+582.301 s]
/proc/loadavg: 4.00 3.72 2.83 5/190 23840
/proc/meminfo: memFree=30724100/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=324856 CPUtime=582.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 79701 0 0 0 58219 11 0 0 25 0 1 0 994616067 332652544 75991 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320811 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 81214 75991 268 36 0 77836 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 324856

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 3.02 3.33 2.86 4/184 23871
/proc/meminfo: memFree=30694428/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=370960 CPUtime=822.29 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 92179 0 0 0 82217 12 0 0 25 0 1 0 994616067 379863040 88024 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320848 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 92740 88024 268 36 0 89362 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 370960

[startup+882.3 s]
/proc/loadavg: 3.01 3.27 2.87 4/184 23872
/proc/meminfo: memFree=30644272/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=377216 CPUtime=882.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 93907 0 0 0 88217 13 0 0 25 0 1 0 994616067 386269184 89684 33554432000 4194304 4338123 140733935328352 18446744073709551615 4321534 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 94304 89684 268 36 0 90926 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 377216

[startup+942.301 s]
/proc/loadavg: 3.00 3.22 2.87 4/184 23874
/proc/meminfo: memFree=30607120/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=384352 CPUtime=942.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 95816 0 0 0 94217 13 0 0 25 0 1 0 994616067 393576448 91533 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320862 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 96088 91533 268 36 0 92710 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 384352

[startup+1002.3 s]
/proc/loadavg: 3.00 3.18 2.88 4/184 23875
/proc/meminfo: memFree=30541480/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=408232 CPUtime=1002.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 102228 0 0 0 100216 14 0 0 25 0 1 0 994616067 418029568 97751 33554432000 4194304 4338123 140733935328352 18446744073709551615 4279694 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 102058 97751 268 36 0 98680 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 408232

[startup+1062.3 s]
/proc/loadavg: 3.00 3.14 2.89 4/184 23877
/proc/meminfo: memFree=30508696/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=422340 CPUtime=1062.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 105991 0 0 0 106216 14 0 0 25 0 1 0 994616067 432476160 101406 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320811 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 105585 101406 268 36 0 102207 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 422340

[startup+1122.3 s]
/proc/loadavg: 3.07 3.13 2.90 4/184 23879
/proc/meminfo: memFree=30470944/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=423088 CPUtime=1122.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 106204 0 0 0 112216 14 0 0 25 0 1 0 994616067 433242112 101605 33554432000 4194304 4338123 140733935328352 18446744073709551615 4321619 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 105772 101605 268 36 0 102394 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 423088

[startup+1182.3 s]
/proc/loadavg: 3.02 3.10 2.90 4/184 23880
/proc/meminfo: memFree=30440504/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=439168 CPUtime=1182.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 108387 0 0 0 118216 14 0 0 25 0 1 0 994616067 449708032 103699 33554432000 4194304 4338123 140733935328352 18446744073709551615 4321632 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 109792 103699 268 36 0 106414 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 439168

[startup+1242.3 s]
/proc/loadavg: 3.01 3.08 2.91 4/184 23882
/proc/meminfo: memFree=30399148/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=439168 CPUtime=1242.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 108398 0 0 0 124216 14 0 0 25 0 1 0 994616067 449708032 103710 33554432000 4194304 4338123 140733935328352 18446744073709551615 4321172 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 109792 103710 268 36 0 106414 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 439168

[startup+1302.3 s]
/proc/loadavg: 3.00 3.06 2.91 4/184 23884
/proc/meminfo: memFree=30341172/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=464264 CPUtime=1302.31 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 114882 0 0 0 130216 15 0 0 25 0 1 0 994616067 475406336 109982 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320919 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 116066 109982 268 36 0 112688 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 464264

[startup+1362.3 s]
/proc/loadavg: 3.00 3.05 2.91 4/184 23885
/proc/meminfo: memFree=30313708/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=466896 CPUtime=1362.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 115695 0 0 0 136215 15 0 0 25 0 1 0 994616067 478101504 110763 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320848 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 116724 110763 268 36 0 113346 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 466896

[startup+1422.31 s]
/proc/loadavg: 3.00 3.04 2.91 4/184 23887
/proc/meminfo: memFree=30293672/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=466896 CPUtime=1422.31 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 115886 0 0 0 142216 15 0 0 25 0 1 0 994616067 478101504 110940 33554432000 4194304 4338123 140733935328352 18446744073709551615 4321572 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 116724 110940 268 36 0 113346 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 466896

[startup+1482.3 s]
/proc/loadavg: 3.06 3.04 2.91 4/184 23888
/proc/meminfo: memFree=30246980/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=482784 CPUtime=1482.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 120117 0 0 0 148214 16 0 0 25 0 1 0 994616067 494370816 114985 33554432000 4194304 4338123 140733935328352 18446744073709551615 4321144 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 120696 114985 268 36 0 117318 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 482784

[startup+1542.3 s]
/proc/loadavg: 3.02 3.03 2.91 4/184 23890
/proc/meminfo: memFree=30202900/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=496144 CPUtime=1542.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 123716 0 0 0 154214 16 0 0 25 0 1 0 994616067 508051456 118473 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320827 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 124036 118473 268 36 0 120658 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 496144

[startup+1602.3 s]
/proc/loadavg: 3.01 3.02 2.91 4/184 23891
/proc/meminfo: memFree=30197012/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=496492 CPUtime=1602.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 123842 0 0 0 160214 16 0 0 25 0 1 0 994616067 508407808 118593 33554432000 4194304 4338123 140733935328352 18446744073709551615 4292811 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 124123 118593 268 36 0 120745 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 496492

[startup+1662.3 s]
/proc/loadavg: 3.00 3.02 2.91 4/184 23893
/proc/meminfo: memFree=30172296/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=501580 CPUtime=1662.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 125213 0 0 0 166214 16 0 0 25 0 1 0 994616067 513617920 119897 33554432000 4194304 4338123 140733935328352 18446744073709551615 4279470 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 125395 119897 268 36 0 122017 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 501580

[startup+1722.3 s]
/proc/loadavg: 3.00 3.01 2.91 4/184 23895
/proc/meminfo: memFree=30147052/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=514124 CPUtime=1722.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 128551 0 0 0 172213 17 0 0 25 0 1 0 994616067 526462976 123143 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320852 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 128531 123143 268 36 0 125153 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 514124

[startup+1782.3 s]
/proc/loadavg: 3.04 3.02 2.92 4/184 23896
/proc/meminfo: memFree=30119104/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=530716 CPUtime=1782.3 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 132907 0 0 0 178213 17 0 0 25 0 1 0 994616067 543453184 127390 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320827 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 132679 127390 268 36 0 129301 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 530716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 3.03 3.02 2.92 4/184 23897
/proc/meminfo: memFree=30117232/32950928 swapFree=67054844/67111528
[pid=23303] ppid=23301 vsize=530716 CPUtime=1800.01 cores=5,7
/proc/23303/stat : 23303 (hhlmuc) R 23301 23303 22538 0 -1 4202496 132936 0 0 0 179984 17 0 0 25 0 1 0 994616067 543453184 127418 33554432000 4194304 4338123 140733935328352 18446744073709551615 4320875 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/23303/statm: 132679 127418 268 36 0 129301 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 530716

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.03
CPU time (s): 1800.04
CPU user time (s): 1799.84
CPU system time (s): 0.19697
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 530716

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

runsolver used 2.83257 second user time and 6.71698 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-14 11:30:54
IDJOB=3501664
IDBENCH=90012
IDSOLVER=2001
FILE ID=node114/3501664-1308043854
RUNJOBID= node114-1308043735-23064
PBS_JOBID= 13564714
Free space on /tmp= 74076 MiB

SOLVER NAME= Haifa-HLMUC 2011-04-07
BENCH NAME= SAT11/gmus/belov/pdtvisvending07.aig.k25.gcnf
COMMAND LINE= HOME/hhlmuc BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501664-1308043854/watcher-3501664-1308043854 -o /tmp/evaluation-result-3501664-1308043854/solver-3501664-1308043854 -C 1800 -W 1850 -M 7680  HOME/hhlmuc HOME/instance-3501664-1308043854.gcnf

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

MD5SUM BENCH= 4f08a465adfe8bfd52a0d5212d433aa1
RANDOM SEED=2121061920

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31486384 kB
Buffers:        153924 kB
Cached:         541256 kB
SwapCached:      10332 kB
Active:         806176 kB
Inactive:       478572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31486384 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           13548 kB
Writeback:         108 kB
AnonPages:      587696 kB
Mapped:          13208 kB
Slab:           113156 kB
PageTables:       6420 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   869184 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74100 MiB
End job on node114 at 2011-06-14 12:00:56