Trace number 3494140

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Haifa-MUC-A 2011-04-07? (TO) 1800.21 1800.18

General information on the benchmark

Namemus/marques-silva/
hardware-verification/f7b.cnf
MD5SUM1e9d259858c4cb5da52919540e6fc087
Bench CategoryMUS (MUS)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1589.42
Satisfiable
(Un)Satisfiability was proved
Number of variables70985
Number of clauses211126
Sum of the clauses size492626
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2140750
Number of clauses of size 370375
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

56.39/56.43	c WARNING: for repeatability, setting FPU to use double precision
56.39/56.43	c iter 1 time 42.4046 not-muc 173531 unknown 37595 muc 0
56.39/56.43	c iter 2 time 43.2214 not-muc 173531 unknown 37594 muc 1
56.39/56.43	c iter 3 time 47.3218 not-muc 173531 unknown 37593 muc 2
56.39/56.43	c iter 4 time 47.3538 not-muc 173531 unknown 37592 muc 3
56.39/56.43	c iter 5 time 47.3858 not-muc 173531 unknown 37591 muc 4
56.39/56.43	c iter 6 time 47.4208 not-muc 173531 unknown 37590 muc 5
56.39/56.43	c iter 7 time 47.4438 not-muc 173531 unknown 37589 muc 6
56.39/56.43	c iter 8 time 47.5318 not-muc 173531 unknown 37588 muc 7
56.39/56.43	c iter 9 time 47.5528 not-muc 173531 unknown 37587 muc 8
56.39/56.43	c iter 10 time 47.5818 not-muc 173531 unknown 37586 muc 9
56.39/56.43	c iter 11 time 47.6028 not-muc 173531 unknown 37585 muc 10
56.39/56.43	c iter 12 time 47.6907 not-muc 173531 unknown 37584 muc 11
56.39/56.43	c iter 13 time 47.7137 not-muc 173531 unknown 37583 muc 12
56.39/56.43	c iter 14 time 47.7437 not-muc 173531 unknown 37582 muc 13
56.39/56.43	c iter 15 time 47.7737 not-muc 173531 unknown 37581 muc 14
56.39/56.43	c iter 16 time 47.7977 not-muc 173531 unknown 37580 muc 15
56.39/56.43	c iter 17 time 47.8357 not-muc 173531 unknown 37579 muc 16
56.39/56.43	c iter 18 time 47.8637 not-muc 173531 unknown 37578 muc 17
56.39/56.43	c iter 19 time 47.8877 not-muc 173531 unknown 37577 muc 18
56.39/56.43	c iter 20 time 47.9207 not-muc 173531 unknown 37576 muc 19
56.39/56.43	c iter 21 time 47.9467 not-muc 173531 unknown 37575 muc 20
56.39/56.43	c iter 22 time 47.9807 not-muc 173531 unknown 37574 muc 21
56.39/56.43	c iter 23 time 48.0067 not-muc 173531 unknown 37573 muc 22
56.39/56.43	c iter 24 time 48.0417 not-muc 173531 unknown 37572 muc 23
56.39/56.43	c iter 25 time 48.0767 not-muc 173531 unknown 37571 muc 24
56.39/56.43	c iter 26 time 48.1087 not-muc 173531 unknown 37570 muc 25
56.39/56.43	c iter 27 time 48.1367 not-muc 173531 unknown 37569 muc 26
56.39/56.43	c iter 28 time 48.1777 not-muc 173531 unknown 37568 muc 27
56.39/56.43	c iter 29 time 48.2427 not-muc 173531 unknown 37567 muc 28
56.39/56.43	c iter 30 time 48.3117 not-muc 173531 unknown 37566 muc 29
56.39/56.43	c iter 31 time 48.3387 not-muc 173531 unknown 37565 muc 30
56.39/56.43	c iter 32 time 48.7106 not-muc 173531 unknown 37564 muc 31
56.39/56.43	c iter 33 time 48.7356 not-muc 173531 unknown 37563 muc 32
56.39/56.43	c iter 34 time 48.7736 not-muc 173531 unknown 37562 muc 33
56.39/56.43	c iter 35 time 48.9516 not-muc 173531 unknown 37561 muc 34
56.39/56.43	c iter 36 time 50.1474 not-muc 173531 unknown 37560 muc 35
56.39/56.43	c iter 37 time 50.1944 not-muc 173531 unknown 37559 muc 36
56.39/56.43	c iter 38 time 50.2764 not-muc 173531 unknown 37558 muc 37
56.39/56.43	c iter 39 time 50.3114 not-muc 173531 unknown 37557 muc 38
56.39/56.43	c iter 40 time 50.5533 not-muc 173531 unknown 37556 muc 39
56.39/56.43	c iter 41 time 50.6143 not-muc 173531 unknown 37555 muc 40
56.39/56.43	c iter 42 time 50.8983 not-muc 173531 unknown 37554 muc 41
56.39/56.43	c iter 43 time 50.9393 not-muc 173531 unknown 37553 muc 42
56.39/56.43	c iter 44 time 51.0222 not-muc 173531 unknown 37552 muc 43
56.39/56.43	c iter 45 time 51.0552 not-muc 173531 unknown 37551 muc 44
56.39/56.43	c iter 46 time 51.1262 not-muc 173531 unknown 37550 muc 45
56.39/56.43	c iter 47 time 51.1662 not-muc 173531 unknown 37549 muc 46
56.39/56.43	c iter 48 time 51.2412 not-muc 173531 unknown 37548 muc 47
56.39/56.43	c iter 49 time 51.2912 not-muc 173531 unknown 37547 muc 48
56.39/56.43	c iter 50 time 51.3762 not-muc 173531 unknown 37546 muc 49
56.39/56.43	c iter 51 time 51.4402 not-muc 173531 unknown 37545 muc 50
56.39/56.43	c iter 52 time 51.5302 not-muc 173531 unknown 37544 muc 51
56.39/56.43	c iter 53 time 51.5982 not-muc 173531 unknown 37543 muc 52
56.39/56.43	c iter 54 time 51.7961 not-muc 173531 unknown 37542 muc 53
56.39/56.43	c iter 55 time 52.2511 not-muc 173531 unknown 37541 muc 54
56.39/56.43	c iter 56 time 52.357 not-muc 173531 unknown 37540 muc 55
56.39/56.43	c iter 57 time 52.508 not-muc 173531 unknown 37539 muc 56
56.39/56.43	c iter 58 time 52.596 not-muc 173531 unknown 37538 muc 57
56.39/56.43	c iter 59 time 52.727 not-muc 173531 unknown 37537 muc 58
56.39/56.43	c iter 60 time 52.794 not-muc 173531 unknown 37536 muc 59
56.39/56.43	c iter 61 time 52.9779 not-muc 173531 unknown 37535 muc 60
56.39/56.43	c iter 62 time 53.0529 not-muc 173531 unknown 37534 muc 61
56.39/56.43	c iter 63 time 53.2079 not-muc 173531 unknown 37533 muc 62
56.39/56.43	c iter 64 time 54.9296 not-muc 173531 unknown 37532 muc 63
56.39/56.43	c iter 65 time 55.0196 not-muc 173531 unknown 37531 muc 64
56.39/56.43	c iter 66 time 55.0576 not-muc 173531 unknown 37530 muc 65
56.39/56.43	c iter 67 time 55.1266 not-muc 173531 unknown 37529 muc 66
56.39/56.43	c iter 68 time 55.1836 not-muc 173531 unknown 37528 muc 67
56.39/56.43	c iter 69 time 56.0055 not-muc 173531 unknown 37527 muc 68
83.79/83.87	c iter 70 time 56.1395 not-muc 173531 unknown 37526 muc 69
83.79/83.87	c iter 71 time 56.3454 not-muc 173531 unknown 37525 muc 70
83.79/83.87	c iter 72 time 56.5264 not-muc 173531 unknown 37524 muc 71
83.79/83.87	c iter 73 time 72.9999 not-muc 174865 unknown 36190 muc 71
83.79/83.87	c iter 74 time 73.3798 not-muc 174865 unknown 36189 muc 72
83.79/83.87	c iter 75 time 73.6448 not-muc 174865 unknown 36188 muc 73
83.79/83.87	c iter 76 time 73.7448 not-muc 174865 unknown 36187 muc 74
83.79/83.87	c iter 77 time 73.7748 not-muc 174865 unknown 36186 muc 75
83.79/83.87	c iter 78 time 73.8538 not-muc 174865 unknown 36185 muc 76
83.79/83.87	c iter 79 time 73.9008 not-muc 174865 unknown 36184 muc 77
83.79/83.87	c iter 80 time 73.9408 not-muc 174865 unknown 36183 muc 78
83.79/83.87	c iter 81 time 74.0957 not-muc 174865 unknown 36182 muc 79
83.79/83.87	c iter 82 time 74.1327 not-muc 174865 unknown 36181 muc 80
83.79/83.87	c iter 83 time 74.3237 not-muc 174865 unknown 36180 muc 81
83.79/83.87	c iter 84 time 74.8606 not-muc 174865 unknown 36179 muc 82
83.79/83.87	c iter 85 time 74.9966 not-muc 174865 unknown 36178 muc 83
83.79/83.87	c iter 86 time 75.0616 not-muc 174865 unknown 36177 muc 84
83.79/83.87	c iter 87 time 75.1576 not-muc 174865 unknown 36176 muc 85
83.79/83.87	c iter 88 time 75.2506 not-muc 174865 unknown 36175 muc 86
83.79/83.87	c iter 89 time 75.3415 not-muc 174865 unknown 36174 muc 87
83.79/83.87	c iter 90 time 75.4405 not-muc 174865 unknown 36173 muc 88
83.79/83.87	c iter 91 time 75.5385 not-muc 174865 unknown 36172 muc 89
83.79/83.87	c iter 92 time 75.6675 not-muc 174865 unknown 36171 muc 90
83.79/83.87	c iter 93 time 75.9535 not-muc 174865 unknown 36170 muc 91
83.79/83.87	c iter 94 time 76.3534 not-muc 174865 unknown 36169 muc 92
83.79/83.87	c iter 95 time 76.4524 not-muc 174865 unknown 36168 muc 93
83.79/83.87	c iter 96 time 76.9003 not-muc 174865 unknown 36167 muc 94
83.79/83.87	c iter 97 time 76.9843 not-muc 174865 unknown 36166 muc 95
83.79/83.87	c iter 98 time 77.0543 not-muc 174865 unknown 36165 muc 96
83.79/83.87	c iter 99 time 77.1293 not-muc 174865 unknown 36164 muc 97
83.79/83.87	c iter 100 time 77.1883 not-muc 174865 unknown 36163 muc 98
83.79/83.87	c iter 101 time 77.2543 not-muc 174865 unknown 36162 muc 99
83.79/83.87	c iter 102 time 77.3222 not-muc 174865 unknown 36161 muc 100
83.79/83.87	c iter 103 time 77.3922 not-muc 174865 unknown 36160 muc 101
83.79/83.87	c iter 104 time 77.4682 not-muc 174865 unknown 36159 muc 102
83.79/83.87	c iter 105 time 77.5412 not-muc 174865 unknown 36158 muc 103
83.79/83.87	c iter 106 time 77.6212 not-muc 174865 unknown 36157 muc 104
83.79/83.87	c iter 107 time 77.6992 not-muc 174865 unknown 36156 muc 105
83.79/83.87	c iter 108 time 77.7832 not-muc 174865 unknown 36155 muc 106
83.79/83.87	c iter 109 time 77.8692 not-muc 174865 unknown 36154 muc 107
83.79/83.87	c iter 110 time 77.9621 not-muc 174865 unknown 36153 muc 108
83.79/83.87	c iter 111 time 78.0551 not-muc 174865 unknown 36152 muc 109
83.79/83.87	c iter 112 time 78.1511 not-muc 174865 unknown 36151 muc 110
83.79/83.87	c iter 113 time 78.2531 not-muc 174865 unknown 36150 muc 111
83.79/83.87	c iter 114 time 78.64 not-muc 174865 unknown 36149 muc 112
83.79/83.87	c iter 115 time 78.807 not-muc 174865 unknown 36148 muc 113
83.79/83.87	c iter 116 time 78.963 not-muc 174865 unknown 36147 muc 114
83.79/83.87	c iter 117 time 79.13 not-muc 174865 unknown 36146 muc 115
83.79/83.87	c iter 118 time 79.2839 not-muc 174865 unknown 36145 muc 116
83.79/83.87	c iter 119 time 79.5059 not-muc 174865 unknown 36144 muc 117
83.79/83.87	c iter 120 time 79.8069 not-muc 174865 unknown 36143 muc 118
83.79/83.87	c iter 121 time 80.0638 not-muc 174865 unknown 36142 muc 119
83.79/83.87	c iter 122 time 80.2708 not-muc 174865 unknown 36141 muc 120
83.79/83.87	c iter 123 time 80.5238 not-muc 174865 unknown 36140 muc 121
83.79/83.87	c iter 124 time 80.6997 not-muc 174865 unknown 36139 muc 122
83.79/83.87	c iter 125 time 80.8807 not-muc 174865 unknown 36138 muc 123
83.79/83.87	c iter 126 time 81.2686 not-muc 174865 unknown 36137 muc 124
83.79/83.87	c iter 127 time 81.4996 not-muc 174865 unknown 36136 muc 125
83.79/83.87	c iter 128 time 81.6776 not-muc 174865 unknown 36135 muc 126
83.79/83.87	c iter 129 time 81.8406 not-muc 174865 unknown 36134 muc 127
83.79/83.87	c iter 130 time 82.0075 not-muc 174865 unknown 36133 muc 128
83.79/83.87	c iter 131 time 82.1885 not-muc 174865 unknown 36132 muc 129
83.79/83.87	c iter 132 time 82.3735 not-muc 174865 unknown 36131 muc 130
83.79/83.87	c iter 133 time 82.5554 not-muc 174865 unknown 36130 muc 131
83.79/83.87	c iter 134 time 82.6914 not-muc 174865 unknown 36129 muc 132
83.79/83.87	c iter 135 time 82.8944 not-muc 174865 unknown 36128 muc 133
83.79/83.87	c iter 136 time 83.0334 not-muc 174865 unknown 36127 muc 134
83.79/83.87	c iter 137 time 83.2553 not-muc 174865 unknown 36126 muc 135
108.99/109.09	c iter 138 time 83.4003 not-muc 174865 unknown 36125 muc 136
108.99/109.09	c iter 139 time 83.6153 not-muc 174865 unknown 36124 muc 137
108.99/109.09	c iter 140 time 83.8533 not-muc 174865 unknown 36123 muc 138
108.99/109.09	c iter 141 time 84.0932 not-muc 174865 unknown 36122 muc 139
108.99/109.09	c iter 142 time 84.2612 not-muc 174865 unknown 36121 muc 140
108.99/109.09	c iter 143 time 84.5042 not-muc 174865 unknown 36120 muc 141
108.99/109.09	c iter 144 time 84.7631 not-muc 174865 unknown 36119 muc 142
108.99/109.09	c iter 145 time 85.0331 not-muc 174865 unknown 36118 muc 143
108.99/109.09	c iter 146 time 85.21 not-muc 174865 unknown 36117 muc 144
108.99/109.09	c iter 147 time 85.491 not-muc 174865 unknown 36116 muc 145
108.99/109.09	c iter 148 time 85.676 not-muc 174865 unknown 36115 muc 146
108.99/109.09	c iter 149 time 86.7238 not-muc 174865 unknown 36114 muc 147
108.99/109.09	c iter 150 time 87.1877 not-muc 174865 unknown 36113 muc 148
108.99/109.09	c iter 151 time 87.5077 not-muc 174865 unknown 36112 muc 149
108.99/109.09	c iter 152 time 87.6317 not-muc 174865 unknown 36111 muc 150
108.99/109.09	c iter 153 time 87.9606 not-muc 174865 unknown 36110 muc 151
108.99/109.09	c iter 154 time 88.1506 not-muc 174865 unknown 36109 muc 152
108.99/109.09	c iter 155 time 88.4855 not-muc 174865 unknown 36108 muc 153
108.99/109.09	c iter 156 time 88.7745 not-muc 174865 unknown 36107 muc 154
108.99/109.09	c iter 157 time 89.0495 not-muc 174865 unknown 36106 muc 155
108.99/109.09	c iter 158 time 89.1934 not-muc 174865 unknown 36105 muc 156
108.99/109.09	c iter 159 time 89.4964 not-muc 174865 unknown 36104 muc 157
108.99/109.09	c iter 160 time 89.6424 not-muc 174865 unknown 36103 muc 158
108.99/109.09	c iter 161 time 89.9553 not-muc 174865 unknown 36102 muc 159
108.99/109.09	c iter 162 time 90.1523 not-muc 174865 unknown 36101 muc 160
108.99/109.09	c iter 163 time 90.5322 not-muc 174865 unknown 36100 muc 161
108.99/109.09	c iter 164 time 90.7532 not-muc 174865 unknown 36099 muc 162
108.99/109.09	c iter 165 time 91.1012 not-muc 174865 unknown 36098 muc 163
108.99/109.09	c iter 166 time 91.3201 not-muc 174865 unknown 36097 muc 164
108.99/109.09	c iter 167 time 91.7181 not-muc 174865 unknown 36096 muc 165
108.99/109.09	c iter 168 time 92.085 not-muc 174865 unknown 36095 muc 166
108.99/109.09	c iter 169 time 92.304 not-muc 174865 unknown 36094 muc 167
108.99/109.09	c iter 170 time 92.6839 not-muc 174865 unknown 36093 muc 168
108.99/109.09	c iter 171 time 92.9069 not-muc 174865 unknown 36092 muc 169
108.99/109.09	c iter 172 time 93.2978 not-muc 174865 unknown 36091 muc 170
108.99/109.09	c iter 173 time 93.5318 not-muc 174865 unknown 36090 muc 171
108.99/109.09	c iter 174 time 93.9947 not-muc 174865 unknown 36089 muc 172
108.99/109.09	c iter 175 time 94.2647 not-muc 174865 unknown 36088 muc 173
108.99/109.09	c iter 176 time 94.7056 not-muc 174865 unknown 36087 muc 174
108.99/109.09	c iter 177 time 94.9776 not-muc 174865 unknown 36086 muc 175
108.99/109.09	c iter 178 time 95.4335 not-muc 174865 unknown 36085 muc 176
108.99/109.09	c iter 179 time 97.4412 not-muc 174865 unknown 36084 muc 177
108.99/109.09	c iter 180 time 97.9481 not-muc 174865 unknown 36083 muc 178
108.99/109.09	c iter 181 time 98.1331 not-muc 174865 unknown 36082 muc 179
108.99/109.09	c iter 182 time 98.456 not-muc 174865 unknown 36081 muc 180
108.99/109.09	c iter 183 time 98.636 not-muc 174865 unknown 36080 muc 181
108.99/109.09	c iter 184 time 98.998 not-muc 174865 unknown 36079 muc 182
108.99/109.09	c iter 185 time 99.5149 not-muc 174865 unknown 36078 muc 183
108.99/109.09	c iter 186 time 100.564 not-muc 174865 unknown 36077 muc 184
108.99/109.09	c iter 187 time 101.193 not-muc 174865 unknown 36076 muc 185
108.99/109.09	c iter 188 time 101.601 not-muc 174865 unknown 36075 muc 186
108.99/109.09	c iter 189 time 101.99 not-muc 174865 unknown 36074 muc 187
108.99/109.09	c iter 190 time 102.318 not-muc 174865 unknown 36073 muc 188
108.99/109.09	c iter 191 time 102.683 not-muc 174865 unknown 36072 muc 189
108.99/109.09	c iter 192 time 103.092 not-muc 174865 unknown 36071 muc 190
108.99/109.09	c iter 193 time 103.433 not-muc 174865 unknown 36070 muc 191
108.99/109.09	c iter 194 time 103.784 not-muc 174865 unknown 36069 muc 192
108.99/109.09	c iter 195 time 104.143 not-muc 174865 unknown 36068 muc 193
108.99/109.09	c iter 196 time 104.487 not-muc 174865 unknown 36067 muc 194
108.99/109.09	c iter 197 time 105.01 not-muc 174865 unknown 36066 muc 195
108.99/109.09	c iter 198 time 105.439 not-muc 174865 unknown 36065 muc 196
108.99/109.09	c iter 199 time 105.842 not-muc 174865 unknown 36064 muc 197
108.99/109.09	c iter 200 time 106.258 not-muc 174865 unknown 36063 muc 198
108.99/109.09	c iter 201 time 106.708 not-muc 174865 unknown 36062 muc 199
108.99/109.09	c iter 202 time 107.14 not-muc 174865 unknown 36061 muc 200
108.99/109.09	c iter 203 time 107.626 not-muc 174865 unknown 36060 muc 201
108.99/109.09	c iter 204 time 107.986 not-muc 174865 unknown 36059 muc 202
108.99/109.09	c iter 205 time 108.452 not-muc 174865 unknown 36058 muc 203
153.20/153.26	c iter 206 time 108.923 not-muc 174865 unknown 36057 muc 204
153.20/153.26	c iter 207 time 109.372 not-muc 174865 unknown 36056 muc 205
153.20/153.26	c iter 208 time 109.794 not-muc 174865 unknown 36055 muc 206
153.20/153.26	c iter 209 time 110.216 not-muc 174865 unknown 36054 muc 207
153.20/153.26	c iter 210 time 110.716 not-muc 174865 unknown 36053 muc 208
153.20/153.26	c iter 211 time 111.193 not-muc 174865 unknown 36052 muc 209
153.20/153.26	c iter 212 time 111.76 not-muc 174865 unknown 36051 muc 210
153.20/153.26	c iter 213 time 112.791 not-muc 174865 unknown 36050 muc 211
153.20/153.26	c iter 214 time 113.62 not-muc 174865 unknown 36049 muc 212
153.20/153.26	c iter 215 time 114.131 not-muc 174865 unknown 36048 muc 213
153.20/153.26	c iter 216 time 114.612 not-muc 174865 unknown 36047 muc 214
153.20/153.26	c iter 217 time 115.024 not-muc 174865 unknown 36046 muc 215
153.20/153.26	c iter 218 time 115.48 not-muc 174865 unknown 36045 muc 216
153.20/153.26	c iter 219 time 116.395 not-muc 174865 unknown 36044 muc 217
153.20/153.26	c iter 220 time 117.266 not-muc 174865 unknown 36043 muc 218
153.20/153.26	c iter 221 time 117.972 not-muc 174865 unknown 36042 muc 219
153.20/153.26	c iter 222 time 118.662 not-muc 174865 unknown 36041 muc 220
153.20/153.26	c iter 223 time 119.376 not-muc 174865 unknown 36040 muc 221
153.20/153.26	c iter 224 time 120.067 not-muc 174865 unknown 36039 muc 222
153.20/153.26	c iter 225 time 120.801 not-muc 174865 unknown 36038 muc 223
153.20/153.26	c iter 226 time 121.537 not-muc 174865 unknown 36037 muc 224
153.20/153.26	c iter 227 time 122.283 not-muc 174865 unknown 36036 muc 225
153.20/153.26	c iter 228 time 123.036 not-muc 174865 unknown 36035 muc 226
153.20/153.26	c iter 229 time 123.82 not-muc 174865 unknown 36034 muc 227
153.20/153.26	c iter 230 time 124.601 not-muc 174865 unknown 36033 muc 228
153.20/153.26	c iter 231 time 125.397 not-muc 174865 unknown 36032 muc 229
153.20/153.26	c iter 232 time 126.213 not-muc 174865 unknown 36031 muc 230
153.20/153.26	c iter 233 time 127.04 not-muc 174865 unknown 36030 muc 231
153.20/153.26	c iter 234 time 127.898 not-muc 174865 unknown 36029 muc 232
153.20/153.26	c iter 235 time 128.764 not-muc 174865 unknown 36028 muc 233
153.20/153.26	c iter 236 time 129.555 not-muc 174865 unknown 36027 muc 234
153.20/153.26	c iter 237 time 130.43 not-muc 174865 unknown 36026 muc 235
153.20/153.26	c iter 238 time 131.345 not-muc 174865 unknown 36025 muc 236
153.20/153.26	c iter 239 time 132.232 not-muc 174865 unknown 36024 muc 237
153.20/153.26	c iter 240 time 133.145 not-muc 174865 unknown 36023 muc 238
153.20/153.26	c iter 241 time 134.071 not-muc 174865 unknown 36022 muc 239
153.20/153.26	c iter 242 time 135.098 not-muc 174865 unknown 36021 muc 240
153.20/153.26	c iter 243 time 136.8 not-muc 174865 unknown 36020 muc 241
153.20/153.26	c iter 244 time 138.377 not-muc 174865 unknown 36019 muc 242
153.20/153.26	c iter 245 time 139.443 not-muc 174865 unknown 36018 muc 243
153.20/153.26	c iter 246 time 140.627 not-muc 174865 unknown 36017 muc 244
153.20/153.26	c iter 247 time 141.814 not-muc 174865 unknown 36016 muc 245
153.20/153.26	c iter 248 time 142.49 not-muc 174865 unknown 36015 muc 246
153.20/153.26	c iter 249 time 143.522 not-muc 174865 unknown 36014 muc 247
153.20/153.26	c iter 250 time 148.438 not-muc 175285 unknown 35594 muc 247
153.20/153.26	c iter 251 time 148.498 not-muc 175285 unknown 35593 muc 248
153.20/153.26	c iter 252 time 148.61 not-muc 175285 unknown 35592 muc 249
153.20/153.26	c iter 253 time 148.722 not-muc 175285 unknown 35591 muc 250
153.20/153.26	c iter 254 time 149.908 not-muc 175285 unknown 35590 muc 251
153.20/153.26	c iter 255 time 150.116 not-muc 175285 unknown 35589 muc 252
153.20/153.26	c iter 256 time 150.274 not-muc 175285 unknown 35588 muc 253
153.20/153.26	c iter 257 time 150.376 not-muc 175285 unknown 35587 muc 254
153.20/153.26	c iter 258 time 150.506 not-muc 175285 unknown 35586 muc 255
153.20/153.26	c iter 259 time 150.593 not-muc 175285 unknown 35585 muc 256
153.20/153.26	c iter 260 time 150.992 not-muc 175285 unknown 35584 muc 257
153.20/153.26	c iter 261 time 151.095 not-muc 175285 unknown 35583 muc 258
153.20/153.26	c iter 262 time 151.265 not-muc 175285 unknown 35582 muc 259
153.20/153.26	c iter 263 time 151.416 not-muc 175285 unknown 35581 muc 260
153.20/153.26	c iter 264 time 151.558 not-muc 175285 unknown 35580 muc 261
153.20/153.26	c iter 265 time 151.652 not-muc 175285 unknown 35579 muc 262
153.20/153.26	c iter 266 time 151.783 not-muc 175285 unknown 35578 muc 263
153.20/153.26	c iter 267 time 151.922 not-muc 175285 unknown 35577 muc 264
153.20/153.26	c iter 268 time 152.131 not-muc 175285 unknown 35576 muc 265
153.20/153.26	c iter 269 time 152.206 not-muc 175285 unknown 35575 muc 266
153.20/153.26	c iter 270 time 152.319 not-muc 175285 unknown 35574 muc 267
153.20/153.26	c iter 271 time 152.392 not-muc 175285 unknown 35573 muc 268
153.20/153.26	c iter 272 time 152.544 not-muc 175285 unknown 35572 muc 269
169.69/169.70	c iter 273 time 152.695 not-muc 175285 unknown 35571 muc 270
169.69/169.70	c iter 274 time 152.786 not-muc 175285 unknown 35570 muc 271
169.69/169.70	c iter 275 time 152.868 not-muc 175285 unknown 35569 muc 272
169.69/169.70	c iter 276 time 153.173 not-muc 175285 unknown 35568 muc 273
169.69/169.70	c iter 277 time 153.278 not-muc 175285 unknown 35567 muc 274
169.69/169.70	c iter 278 time 153.618 not-muc 175285 unknown 35566 muc 275
169.69/169.70	c iter 279 time 153.828 not-muc 175285 unknown 35565 muc 276
169.69/169.70	c iter 280 time 154.266 not-muc 175285 unknown 35564 muc 277
169.69/169.70	c iter 281 time 154.52 not-muc 175285 unknown 35563 muc 278
169.69/169.70	c iter 282 time 154.774 not-muc 175285 unknown 35562 muc 279
169.69/169.70	c iter 283 time 154.912 not-muc 175285 unknown 35561 muc 280
169.69/169.70	c iter 284 time 155.127 not-muc 175285 unknown 35560 muc 281
169.69/169.70	c iter 285 time 155.904 not-muc 175285 unknown 35559 muc 282
169.69/169.70	c iter 286 time 156.069 not-muc 175285 unknown 35558 muc 283
169.69/169.70	c iter 287 time 156.321 not-muc 175285 unknown 35557 muc 284
169.69/169.70	c iter 288 time 156.45 not-muc 175285 unknown 35556 muc 285
169.69/169.70	c iter 289 time 156.72 not-muc 175285 unknown 35555 muc 286
169.69/169.70	c iter 290 time 156.92 not-muc 175285 unknown 35554 muc 287
169.69/169.70	c iter 291 time 157.052 not-muc 175285 unknown 35553 muc 288
169.69/169.70	c iter 292 time 157.117 not-muc 175285 unknown 35552 muc 289
169.69/169.70	c iter 293 time 157.323 not-muc 175285 unknown 35551 muc 290
169.69/169.70	c iter 294 time 157.465 not-muc 175285 unknown 35550 muc 291
169.69/169.70	c iter 295 time 157.639 not-muc 175285 unknown 35549 muc 292
169.69/169.70	c iter 296 time 157.748 not-muc 175285 unknown 35548 muc 293
169.69/169.70	c iter 297 time 157.849 not-muc 175285 unknown 35547 muc 294
169.69/169.70	c iter 298 time 157.913 not-muc 175285 unknown 35546 muc 295
169.69/169.70	c iter 299 time 158.013 not-muc 175285 unknown 35545 muc 296
169.69/169.70	c iter 300 time 158.079 not-muc 175285 unknown 35544 muc 297
169.69/169.70	c iter 301 time 158.183 not-muc 175285 unknown 35543 muc 298
169.69/169.70	c iter 302 time 158.255 not-muc 175285 unknown 35542 muc 299
169.69/169.70	c iter 303 time 158.578 not-muc 175285 unknown 35541 muc 300
169.69/169.70	c iter 304 time 158.859 not-muc 175285 unknown 35540 muc 301
169.69/169.70	c iter 305 time 159.143 not-muc 175285 unknown 35539 muc 302
169.69/169.70	c iter 306 time 159.34 not-muc 175285 unknown 35538 muc 303
169.69/169.70	c iter 307 time 159.592 not-muc 175285 unknown 35537 muc 304
169.69/169.70	c iter 308 time 159.739 not-muc 175285 unknown 35536 muc 305
169.69/169.70	c iter 309 time 159.962 not-muc 175285 unknown 35535 muc 306
169.69/169.70	c iter 310 time 160.16 not-muc 175285 unknown 35534 muc 307
169.69/169.70	c iter 311 time 160.337 not-muc 175285 unknown 35533 muc 308
169.69/169.70	c iter 312 time 160.556 not-muc 175285 unknown 35532 muc 309
169.69/169.70	c iter 313 time 160.906 not-muc 175285 unknown 35531 muc 310
169.69/169.70	c iter 314 time 161.377 not-muc 175285 unknown 35530 muc 311
169.69/169.70	c iter 315 time 161.75 not-muc 175285 unknown 35529 muc 312
169.69/169.70	c iter 316 time 161.848 not-muc 175285 unknown 35528 muc 313
169.69/169.70	c iter 317 time 162.081 not-muc 175285 unknown 35527 muc 314
169.69/169.70	c iter 318 time 162.163 not-muc 175285 unknown 35526 muc 315
169.69/169.70	c iter 319 time 162.29 not-muc 175285 unknown 35525 muc 316
169.69/169.70	c iter 320 time 162.607 not-muc 175285 unknown 35524 muc 317
169.69/169.70	c iter 321 time 162.794 not-muc 175285 unknown 35523 muc 318
169.69/169.70	c iter 322 time 163.883 not-muc 175285 unknown 35522 muc 319
169.69/169.70	c iter 323 time 164.184 not-muc 175285 unknown 35521 muc 320
169.69/169.70	c iter 324 time 164.718 not-muc 175285 unknown 35520 muc 321
169.69/169.70	c iter 325 time 165.16 not-muc 175285 unknown 35519 muc 322
169.69/169.70	c iter 326 time 165.291 not-muc 175285 unknown 35518 muc 323
169.69/169.70	c iter 327 time 165.429 not-muc 175285 unknown 35517 muc 324
169.69/169.70	c iter 328 time 165.69 not-muc 175285 unknown 35516 muc 325
169.69/169.70	c iter 329 time 165.83 not-muc 175285 unknown 35515 muc 326
169.69/169.70	c iter 330 time 166.309 not-muc 175285 unknown 35514 muc 327
169.69/169.70	c iter 331 time 166.603 not-muc 175285 unknown 35513 muc 328
169.69/169.70	c iter 332 time 166.953 not-muc 175285 unknown 35512 muc 329
169.69/169.70	c iter 333 time 167.197 not-muc 175285 unknown 35511 muc 330
169.69/169.70	c iter 334 time 167.634 not-muc 175285 unknown 35510 muc 331
169.69/169.70	c iter 335 time 167.869 not-muc 175285 unknown 35509 muc 332
169.69/169.70	c iter 336 time 168.397 not-muc 175285 unknown 35508 muc 333
169.69/169.70	c iter 337 time 168.842 not-muc 175285 unknown 35507 muc 334
169.69/169.70	c iter 338 time 168.902 not-muc 175285 unknown 35506 muc 335
169.69/169.70	c iter 339 time 168.949 not-muc 175285 unknown 35505 muc 336
192.90/192.99	c iter 340 time 169.012 not-muc 175285 unknown 35504 muc 337
192.90/192.99	c iter 341 time 169.061 not-muc 175285 unknown 35503 muc 338
192.90/192.99	c iter 342 time 169.121 not-muc 175285 unknown 35502 muc 339
192.90/192.99	c iter 343 time 169.204 not-muc 175285 unknown 35501 muc 340
192.90/192.99	c iter 344 time 169.351 not-muc 175285 unknown 35500 muc 341
192.90/192.99	c iter 345 time 169.535 not-muc 175285 unknown 35499 muc 342
192.90/192.99	c iter 346 time 170.111 not-muc 175285 unknown 35498 muc 343
192.90/192.99	c iter 347 time 170.41 not-muc 175285 unknown 35497 muc 344
192.90/192.99	c iter 348 time 170.775 not-muc 175285 unknown 35496 muc 345
192.90/192.99	c iter 349 time 170.979 not-muc 175285 unknown 35495 muc 346
192.90/192.99	c iter 350 time 171.338 not-muc 175285 unknown 35494 muc 347
192.90/192.99	c iter 351 time 171.776 not-muc 175285 unknown 35493 muc 348
192.90/192.99	c iter 352 time 172.137 not-muc 175285 unknown 35492 muc 349
192.90/192.99	c iter 353 time 172.336 not-muc 175285 unknown 35491 muc 350
192.90/192.99	c iter 354 time 172.535 not-muc 175285 unknown 35490 muc 351
192.90/192.99	c iter 355 time 172.708 not-muc 175285 unknown 35489 muc 352
192.90/192.99	c iter 356 time 172.895 not-muc 175285 unknown 35488 muc 353
192.90/192.99	c iter 357 time 173.104 not-muc 175285 unknown 35487 muc 354
192.90/192.99	c iter 358 time 173.311 not-muc 175285 unknown 35486 muc 355
192.90/192.99	c iter 359 time 173.511 not-muc 175285 unknown 35485 muc 356
192.90/192.99	c iter 360 time 173.735 not-muc 175285 unknown 35484 muc 357
192.90/192.99	c iter 361 time 173.917 not-muc 175285 unknown 35483 muc 358
192.90/192.99	c iter 362 time 174.106 not-muc 175285 unknown 35482 muc 359
192.90/192.99	c iter 363 time 174.294 not-muc 175285 unknown 35481 muc 360
192.90/192.99	c iter 364 time 174.506 not-muc 175285 unknown 35480 muc 361
192.90/192.99	c iter 365 time 174.807 not-muc 175285 unknown 35479 muc 362
192.90/192.99	c iter 366 time 175.362 not-muc 175285 unknown 35478 muc 363
192.90/192.99	c iter 367 time 175.802 not-muc 175285 unknown 35477 muc 364
192.90/192.99	c iter 368 time 176.242 not-muc 175285 unknown 35476 muc 365
192.90/192.99	c iter 369 time 176.699 not-muc 175285 unknown 35475 muc 366
192.90/192.99	c iter 370 time 177.047 not-muc 175285 unknown 35474 muc 367
192.90/192.99	c iter 371 time 177.388 not-muc 175285 unknown 35473 muc 368
192.90/192.99	c iter 372 time 177.749 not-muc 175285 unknown 35472 muc 369
192.90/192.99	c iter 373 time 178.128 not-muc 175285 unknown 35471 muc 370
192.90/192.99	c iter 374 time 178.653 not-muc 175285 unknown 35470 muc 371
192.90/192.99	c iter 375 time 179.079 not-muc 175285 unknown 35469 muc 372
192.90/192.99	c iter 376 time 179.528 not-muc 175285 unknown 35468 muc 373
192.90/192.99	c iter 377 time 180.011 not-muc 175285 unknown 35467 muc 374
192.90/192.99	c iter 378 time 180.531 not-muc 175285 unknown 35466 muc 375
192.90/192.99	c iter 379 time 180.932 not-muc 175285 unknown 35465 muc 376
192.90/192.99	c iter 380 time 181.452 not-muc 175285 unknown 35464 muc 377
192.90/192.99	c iter 381 time 181.868 not-muc 175285 unknown 35463 muc 378
192.90/192.99	c iter 382 time 182.321 not-muc 175285 unknown 35462 muc 379
192.90/192.99	c iter 383 time 182.926 not-muc 175285 unknown 35461 muc 380
192.90/192.99	c iter 384 time 183.702 not-muc 175285 unknown 35460 muc 381
192.90/192.99	c iter 385 time 184.292 not-muc 175285 unknown 35459 muc 382
192.90/192.99	c iter 386 time 185.189 not-muc 175285 unknown 35458 muc 383
192.90/192.99	c iter 387 time 185.792 not-muc 175285 unknown 35457 muc 384
192.90/192.99	c iter 388 time 186.094 not-muc 175285 unknown 35456 muc 385
192.90/192.99	c iter 389 time 186.39 not-muc 175285 unknown 35455 muc 386
192.90/192.99	c iter 390 time 186.634 not-muc 175285 unknown 35454 muc 387
192.90/192.99	c iter 391 time 186.9 not-muc 175285 unknown 35453 muc 388
192.90/192.99	c iter 392 time 187.153 not-muc 175285 unknown 35452 muc 389
192.90/192.99	c iter 393 time 187.376 not-muc 175285 unknown 35451 muc 390
192.90/192.99	c iter 394 time 187.617 not-muc 175285 unknown 35450 muc 391
192.90/192.99	c iter 395 time 187.863 not-muc 175285 unknown 35449 muc 392
192.90/192.99	c iter 396 time 188.13 not-muc 175285 unknown 35448 muc 393
192.90/192.99	c iter 397 time 188.475 not-muc 175285 unknown 35447 muc 394
192.90/192.99	c iter 398 time 188.776 not-muc 175285 unknown 35446 muc 395
192.90/192.99	c iter 399 time 189.056 not-muc 175285 unknown 35445 muc 396
192.90/192.99	c iter 400 time 189.367 not-muc 175285 unknown 35444 muc 397
192.90/192.99	c iter 401 time 189.667 not-muc 175285 unknown 35443 muc 398
192.90/192.99	c iter 402 time 189.962 not-muc 175285 unknown 35442 muc 399
192.90/192.99	c iter 403 time 190.543 not-muc 175285 unknown 35441 muc 400
192.90/192.99	c iter 404 time 191.201 not-muc 175285 unknown 35440 muc 401
192.90/192.99	c iter 405 time 191.571 not-muc 175285 unknown 35439 muc 402
192.90/192.99	c iter 406 time 191.898 not-muc 175285 unknown 35438 muc 403
192.90/192.99	c iter 407 time 192.23 not-muc 175285 unknown 35437 muc 404
227.90/227.96	c iter 408 time 192.56 not-muc 175285 unknown 35436 muc 405
227.90/227.96	c iter 409 time 192.939 not-muc 175285 unknown 35435 muc 406
227.90/227.96	c iter 410 time 193.319 not-muc 175285 unknown 35434 muc 407
227.90/227.96	c iter 411 time 193.966 not-muc 175285 unknown 35433 muc 408
227.90/227.96	c iter 412 time 194.78 not-muc 175285 unknown 35432 muc 409
227.90/227.96	c iter 413 time 195.38 not-muc 175285 unknown 35431 muc 410
227.90/227.96	c iter 414 time 195.661 not-muc 175285 unknown 35430 muc 411
227.90/227.96	c iter 415 time 196.034 not-muc 175285 unknown 35429 muc 412
227.90/227.96	c iter 416 time 196.759 not-muc 175285 unknown 35428 muc 413
227.90/227.96	c iter 417 time 197.418 not-muc 175285 unknown 35427 muc 414
227.90/227.96	c iter 418 time 198.02 not-muc 175285 unknown 35426 muc 415
227.90/227.96	c iter 419 time 198.596 not-muc 175285 unknown 35425 muc 416
227.90/227.96	c iter 420 time 199.204 not-muc 175285 unknown 35424 muc 417
227.90/227.96	c iter 421 time 199.775 not-muc 175285 unknown 35423 muc 418
227.90/227.96	c iter 422 time 200.371 not-muc 175285 unknown 35422 muc 419
227.90/227.96	c iter 423 time 201.008 not-muc 175285 unknown 35421 muc 420
227.90/227.96	c iter 424 time 202.124 not-muc 175285 unknown 35420 muc 421
227.90/227.96	c iter 425 time 202.934 not-muc 175285 unknown 35419 muc 422
227.90/227.96	c iter 426 time 203.594 not-muc 175285 unknown 35418 muc 423
227.90/227.96	c iter 427 time 204.224 not-muc 175285 unknown 35417 muc 424
227.90/227.96	c iter 428 time 204.866 not-muc 175285 unknown 35416 muc 425
227.90/227.96	c iter 429 time 205.534 not-muc 175285 unknown 35415 muc 426
227.90/227.96	c iter 430 time 206.188 not-muc 175285 unknown 35414 muc 427
227.90/227.96	c iter 431 time 206.88 not-muc 175285 unknown 35413 muc 428
227.90/227.96	c iter 432 time 207.581 not-muc 175285 unknown 35412 muc 429
227.90/227.96	c iter 433 time 208.285 not-muc 175285 unknown 35411 muc 430
227.90/227.96	c iter 434 time 208.983 not-muc 175285 unknown 35410 muc 431
227.90/227.96	c iter 435 time 209.552 not-muc 175285 unknown 35409 muc 432
227.90/227.96	c iter 436 time 210.257 not-muc 175285 unknown 35408 muc 433
227.90/227.96	c iter 437 time 210.713 not-muc 175285 unknown 35407 muc 434
227.90/227.96	c iter 438 time 211.35 not-muc 175285 unknown 35406 muc 435
227.90/227.96	c iter 439 time 211.735 not-muc 175285 unknown 35405 muc 436
227.90/227.96	c iter 440 time 212.386 not-muc 175285 unknown 35404 muc 437
227.90/227.96	c iter 441 time 213.132 not-muc 175285 unknown 35403 muc 438
227.90/227.96	c iter 442 time 213.464 not-muc 175285 unknown 35402 muc 439
227.90/227.96	c iter 443 time 213.961 not-muc 175285 unknown 35401 muc 440
227.90/227.96	c iter 444 time 214.859 not-muc 175285 unknown 35400 muc 441
227.90/227.96	c iter 445 time 215.925 not-muc 175285 unknown 35399 muc 442
227.90/227.96	c iter 446 time 217.407 not-muc 175285 unknown 35398 muc 443
227.90/227.96	c iter 447 time 218.128 not-muc 175285 unknown 35397 muc 444
227.90/227.96	c iter 448 time 219.464 not-muc 175285 unknown 35396 muc 445
227.90/227.96	c iter 449 time 220.521 not-muc 175285 unknown 35395 muc 446
227.90/227.96	c iter 450 time 221.125 not-muc 175285 unknown 35394 muc 447
227.90/227.96	c iter 451 time 221.96 not-muc 175285 unknown 35393 muc 448
227.90/227.96	c iter 452 time 222.368 not-muc 175285 unknown 35392 muc 449
227.90/227.96	c iter 453 time 223.195 not-muc 175285 unknown 35391 muc 450
227.90/227.96	c iter 454 time 223.533 not-muc 175285 unknown 35390 muc 451
227.90/227.96	c iter 455 time 223.94 not-muc 175285 unknown 35389 muc 452
227.90/227.96	c iter 456 time 224.436 not-muc 175285 unknown 35388 muc 453
227.90/227.96	c iter 457 time 225.94 not-muc 175564 unknown 35109 muc 453
227.90/227.96	c iter 458 time 226.01 not-muc 175564 unknown 35108 muc 454
227.90/227.96	c iter 459 time 226.075 not-muc 175564 unknown 35107 muc 455
227.90/227.96	c iter 460 time 226.177 not-muc 175564 unknown 35106 muc 456
227.90/227.96	c iter 461 time 226.242 not-muc 175564 unknown 35105 muc 457
227.90/227.96	c iter 462 time 226.298 not-muc 175564 unknown 35104 muc 458
227.90/227.96	c iter 463 time 226.339 not-muc 175564 unknown 35103 muc 459
227.90/227.96	c iter 464 time 226.469 not-muc 175564 unknown 35102 muc 460
227.90/227.96	c iter 465 time 226.526 not-muc 175564 unknown 35101 muc 461
227.90/227.96	c iter 466 time 226.574 not-muc 175564 unknown 35100 muc 462
227.90/227.96	c iter 467 time 226.616 not-muc 175564 unknown 35099 muc 463
227.90/227.96	c iter 468 time 226.737 not-muc 175564 unknown 35098 muc 464
227.90/227.96	c iter 469 time 226.821 not-muc 175564 unknown 35097 muc 465
227.90/227.96	c iter 470 time 226.874 not-muc 175564 unknown 35096 muc 466
227.90/227.96	c iter 471 time 226.91 not-muc 175564 unknown 35095 muc 467
227.90/227.96	c iter 472 time 226.994 not-muc 175564 unknown 35094 muc 468
227.90/227.96	c iter 473 time 227.103 not-muc 175564 unknown 35093 muc 469
227.90/227.96	c iter 474 time 227.17 not-muc 175564 unknown 35092 muc 470
234.40/234.49	c iter 475 time 227.228 not-muc 175564 unknown 35091 muc 471
234.40/234.49	c iter 476 time 227.266 not-muc 175564 unknown 35090 muc 472
234.40/234.49	c iter 477 time 227.317 not-muc 175564 unknown 35089 muc 473
234.40/234.49	c iter 478 time 227.373 not-muc 175564 unknown 35088 muc 474
234.40/234.49	c iter 479 time 227.477 not-muc 175564 unknown 35087 muc 475
234.40/234.49	c iter 480 time 227.516 not-muc 175564 unknown 35086 muc 476
234.40/234.49	c iter 481 time 227.585 not-muc 175564 unknown 35085 muc 477
234.40/234.49	c iter 482 time 227.624 not-muc 175564 unknown 35084 muc 478
234.40/234.49	c iter 483 time 227.694 not-muc 175564 unknown 35083 muc 479
234.40/234.49	c iter 484 time 227.735 not-muc 175564 unknown 35082 muc 480
234.40/234.49	c iter 485 time 227.801 not-muc 175564 unknown 35081 muc 481
234.40/234.49	c iter 486 time 227.888 not-muc 175564 unknown 35080 muc 482
234.40/234.49	c iter 487 time 227.997 not-muc 175564 unknown 35079 muc 483
234.40/234.49	c iter 488 time 228.047 not-muc 175564 unknown 35078 muc 484
234.40/234.49	c iter 489 time 228.143 not-muc 175564 unknown 35077 muc 485
234.40/234.49	c iter 490 time 228.209 not-muc 175564 unknown 35076 muc 486
234.40/234.49	c iter 491 time 228.271 not-muc 175564 unknown 35075 muc 487
234.40/234.49	c iter 492 time 228.31 not-muc 175564 unknown 35074 muc 488
234.40/234.49	c iter 493 time 228.374 not-muc 175564 unknown 35073 muc 489
234.40/234.49	c iter 494 time 228.414 not-muc 175564 unknown 35072 muc 490
234.40/234.49	c iter 495 time 228.524 not-muc 175564 unknown 35071 muc 491
234.40/234.49	c iter 496 time 228.594 not-muc 175564 unknown 35070 muc 492
234.40/234.49	c iter 497 time 228.638 not-muc 175564 unknown 35069 muc 493
234.40/234.49	c iter 498 time 228.675 not-muc 175564 unknown 35068 muc 494
234.40/234.49	c iter 499 time 228.736 not-muc 175564 unknown 35067 muc 495
234.40/234.49	c iter 500 time 228.772 not-muc 175564 unknown 35066 muc 496
234.40/234.49	c iter 501 time 228.827 not-muc 175564 unknown 35065 muc 497
234.40/234.49	c iter 502 time 228.883 not-muc 175564 unknown 35064 muc 498
234.40/234.49	c iter 503 time 228.941 not-muc 175564 unknown 35063 muc 499
234.40/234.49	c iter 504 time 228.974 not-muc 175564 unknown 35062 muc 500
234.40/234.49	c iter 505 time 229.023 not-muc 175564 unknown 35061 muc 501
234.40/234.49	c iter 506 time 229.054 not-muc 175564 unknown 35060 muc 502
234.40/234.49	c iter 507 time 229.107 not-muc 175564 unknown 35059 muc 503
234.40/234.49	c iter 508 time 229.165 not-muc 175564 unknown 35058 muc 504
234.40/234.49	c iter 509 time 229.216 not-muc 175564 unknown 35057 muc 505
234.40/234.49	c iter 510 time 229.256 not-muc 175564 unknown 35056 muc 506
234.40/234.49	c iter 511 time 229.321 not-muc 175564 unknown 35055 muc 507
234.40/234.49	c iter 512 time 229.361 not-muc 175564 unknown 35054 muc 508
234.40/234.49	c iter 513 time 229.466 not-muc 175564 unknown 35053 muc 509
234.40/234.49	c iter 514 time 229.536 not-muc 175564 unknown 35052 muc 510
234.40/234.49	c iter 515 time 229.584 not-muc 175564 unknown 35051 muc 511
234.40/234.49	c iter 516 time 229.676 not-muc 175564 unknown 35050 muc 512
234.40/234.49	c iter 517 time 229.732 not-muc 175564 unknown 35049 muc 513
234.40/234.49	c iter 518 time 229.841 not-muc 175564 unknown 35048 muc 514
234.40/234.49	c iter 519 time 229.9 not-muc 175564 unknown 35047 muc 515
234.40/234.49	c iter 520 time 229.986 not-muc 175564 unknown 35046 muc 516
234.40/234.49	c iter 521 time 230.035 not-muc 175564 unknown 35045 muc 517
234.40/234.49	c iter 522 time 230.121 not-muc 175564 unknown 35044 muc 518
234.40/234.49	c iter 523 time 230.173 not-muc 175564 unknown 35043 muc 519
234.40/234.49	c iter 524 time 230.288 not-muc 175564 unknown 35042 muc 520
234.40/234.49	c iter 525 time 230.354 not-muc 175564 unknown 35041 muc 521
234.40/234.49	c iter 526 time 230.425 not-muc 175564 unknown 35040 muc 522
234.40/234.49	c iter 527 time 230.466 not-muc 175564 unknown 35039 muc 523
234.40/234.49	c iter 528 time 230.536 not-muc 175564 unknown 35038 muc 524
234.40/234.49	c iter 529 time 230.58 not-muc 175564 unknown 35037 muc 525
234.40/234.49	c iter 530 time 230.801 not-muc 175564 unknown 35036 muc 526
234.40/234.49	c iter 531 time 230.887 not-muc 175564 unknown 35035 muc 527
234.40/234.49	c iter 532 time 231.501 not-muc 175564 unknown 35034 muc 528
234.40/234.49	c iter 533 time 231.648 not-muc 175564 unknown 35033 muc 529
234.40/234.49	c iter 534 time 231.726 not-muc 175564 unknown 35032 muc 530
234.40/234.49	c iter 535 time 231.809 not-muc 175564 unknown 35031 muc 531
234.40/234.49	c iter 536 time 231.873 not-muc 175564 unknown 35030 muc 532
234.40/234.49	c iter 537 time 232.039 not-muc 175564 unknown 35029 muc 533
234.40/234.49	c iter 538 time 232.229 not-muc 175564 unknown 35028 muc 534
234.40/234.49	c iter 539 time 232.719 not-muc 175564 unknown 35027 muc 535
234.40/234.49	c iter 540 time 232.978 not-muc 175564 unknown 35026 muc 536
234.40/234.49	c iter 541 time 233.683 not-muc 175564 unknown 35025 muc 537
247.09/247.19	c iter 542 time 233.807 not-muc 175564 unknown 35024 muc 538
247.09/247.19	c iter 543 time 233.956 not-muc 175564 unknown 35023 muc 539
247.09/247.19	c iter 544 time 234.043 not-muc 175564 unknown 35022 muc 540
247.09/247.19	c iter 545 time 234.164 not-muc 175564 unknown 35021 muc 541
247.09/247.19	c iter 546 time 234.233 not-muc 175564 unknown 35020 muc 542
247.09/247.19	c iter 547 time 234.457 not-muc 175564 unknown 35019 muc 543
247.09/247.19	c iter 548 time 234.604 not-muc 175564 unknown 35018 muc 544
247.09/247.19	c iter 549 time 234.719 not-muc 175564 unknown 35017 muc 545
247.09/247.19	c iter 550 time 234.79 not-muc 175564 unknown 35016 muc 546
247.09/247.19	c iter 551 time 234.896 not-muc 175564 unknown 35015 muc 547
247.09/247.19	c iter 552 time 234.978 not-muc 175564 unknown 35014 muc 548
247.09/247.19	c iter 553 time 235.101 not-muc 175564 unknown 35013 muc 549
247.09/247.19	c iter 554 time 235.289 not-muc 175564 unknown 35012 muc 550
247.09/247.19	c iter 555 time 235.409 not-muc 175564 unknown 35011 muc 551
247.09/247.19	c iter 556 time 235.463 not-muc 175564 unknown 35010 muc 552
247.09/247.19	c iter 557 time 235.536 not-muc 175564 unknown 35009 muc 553
247.09/247.19	c iter 558 time 235.597 not-muc 175564 unknown 35008 muc 554
247.09/247.20	c iter 559 time 235.769 not-muc 175564 unknown 35007 muc 555
247.09/247.20	c iter 560 time 235.968 not-muc 175564 unknown 35006 muc 556
247.09/247.20	c iter 561 time 236.048 not-muc 175564 unknown 35005 muc 557
247.09/247.20	c iter 562 time 236.143 not-muc 175564 unknown 35004 muc 558
247.09/247.20	c iter 563 time 236.439 not-muc 175564 unknown 35003 muc 559
247.09/247.20	c iter 564 time 236.56 not-muc 175564 unknown 35002 muc 560
247.09/247.20	c iter 565 time 236.744 not-muc 175564 unknown 35001 muc 561
247.09/247.20	c iter 566 time 236.896 not-muc 175564 unknown 35000 muc 562
247.09/247.20	c iter 567 time 236.992 not-muc 175564 unknown 34999 muc 563
247.09/247.20	c iter 568 time 237.174 not-muc 175564 unknown 34998 muc 564
247.09/247.20	c iter 569 time 237.284 not-muc 175564 unknown 34997 muc 565
247.09/247.20	c iter 570 time 237.453 not-muc 175564 unknown 34996 muc 566
247.09/247.20	c iter 571 time 237.869 not-muc 175564 unknown 34995 muc 567
247.09/247.20	c iter 572 time 238.044 not-muc 175564 unknown 34994 muc 568
247.09/247.20	c iter 573 time 238.144 not-muc 175564 unknown 34993 muc 569
247.09/247.20	c iter 574 time 238.281 not-muc 175564 unknown 34992 muc 570
247.09/247.20	c iter 575 time 238.375 not-muc 175564 unknown 34991 muc 571
247.09/247.20	c iter 576 time 238.512 not-muc 175564 unknown 34990 muc 572
247.09/247.20	c iter 577 time 238.629 not-muc 175564 unknown 34989 muc 573
247.09/247.20	c iter 578 time 238.734 not-muc 175564 unknown 34988 muc 574
247.09/247.20	c iter 579 time 238.832 not-muc 175564 unknown 34987 muc 575
247.09/247.20	c iter 580 time 239.444 not-muc 175564 unknown 34986 muc 576
247.09/247.20	c iter 581 time 239.618 not-muc 175564 unknown 34985 muc 577
247.09/247.20	c iter 582 time 239.758 not-muc 175564 unknown 34984 muc 578
247.09/247.20	c iter 583 time 239.992 not-muc 175564 unknown 34983 muc 579
247.09/247.20	c iter 584 time 240.185 not-muc 175564 unknown 34982 muc 580
247.09/247.20	c iter 585 time 240.37 not-muc 175564 unknown 34981 muc 581
247.09/247.20	c iter 586 time 240.637 not-muc 175564 unknown 34980 muc 582
247.09/247.20	c iter 587 time 240.855 not-muc 175564 unknown 34979 muc 583
247.09/247.20	c iter 588 time 240.974 not-muc 175564 unknown 34978 muc 584
247.09/247.20	c iter 589 time 241.124 not-muc 175564 unknown 34977 muc 585
247.09/247.20	c iter 590 time 241.288 not-muc 175564 unknown 34976 muc 586
247.09/247.20	c iter 591 time 241.413 not-muc 175564 unknown 34975 muc 587
247.09/247.20	c iter 592 time 241.8 not-muc 175564 unknown 34974 muc 588
247.09/247.20	c iter 593 time 242.002 not-muc 175564 unknown 34973 muc 589
247.09/247.20	c iter 594 time 242.187 not-muc 175564 unknown 34972 muc 590
247.09/247.20	c iter 595 time 242.363 not-muc 175564 unknown 34971 muc 591
247.09/247.20	c iter 596 time 242.563 not-muc 175564 unknown 34970 muc 592
247.09/247.20	c iter 597 time 242.748 not-muc 175564 unknown 34969 muc 593
247.09/247.20	c iter 598 time 243.069 not-muc 175564 unknown 34968 muc 594
247.09/247.20	c iter 599 time 243.281 not-muc 175564 unknown 34967 muc 595
247.09/247.20	c iter 600 time 243.451 not-muc 175564 unknown 34966 muc 596
247.09/247.20	c iter 601 time 243.872 not-muc 175564 unknown 34965 muc 597
247.09/247.20	c iter 602 time 244.087 not-muc 175564 unknown 34964 muc 598
247.09/247.20	c iter 603 time 244.277 not-muc 175564 unknown 34963 muc 599
247.09/247.20	c iter 604 time 244.488 not-muc 175564 unknown 34962 muc 600
247.09/247.20	c iter 605 time 244.705 not-muc 175564 unknown 34961 muc 601
247.09/247.20	c iter 606 time 244.885 not-muc 175564 unknown 34960 muc 602
247.09/247.20	c iter 607 time 245.808 not-muc 175564 unknown 34959 muc 603
247.09/247.20	c iter 608 time 246.152 not-muc 175564 unknown 34958 muc 604
268.40/268.45	c iter 609 time 246.369 not-muc 175564 unknown 34957 muc 605
268.40/268.45	c iter 610 time 246.596 not-muc 175564 unknown 34956 muc 606
268.40/268.45	c iter 611 time 246.808 not-muc 175564 unknown 34955 muc 607
268.40/268.45	c iter 612 time 247.022 not-muc 175564 unknown 34954 muc 608
268.40/268.45	c iter 613 time 247.24 not-muc 175564 unknown 34953 muc 609
268.40/268.45	c iter 614 time 247.528 not-muc 175564 unknown 34952 muc 610
268.40/268.45	c iter 615 time 247.783 not-muc 175564 unknown 34951 muc 611
268.40/268.45	c iter 616 time 247.989 not-muc 175564 unknown 34950 muc 612
268.40/268.45	c iter 617 time 248.182 not-muc 175564 unknown 34949 muc 613
268.40/268.45	c iter 618 time 248.357 not-muc 175564 unknown 34948 muc 614
268.40/268.45	c iter 619 time 248.541 not-muc 175564 unknown 34947 muc 615
268.40/268.45	c iter 620 time 248.701 not-muc 175564 unknown 34946 muc 616
268.40/268.45	c iter 621 time 248.847 not-muc 175564 unknown 34945 muc 617
268.40/268.45	c iter 622 time 249.069 not-muc 175564 unknown 34944 muc 618
268.40/268.45	c iter 623 time 249.273 not-muc 175564 unknown 34943 muc 619
268.40/268.45	c iter 624 time 249.468 not-muc 175564 unknown 34942 muc 620
268.40/268.45	c iter 625 time 249.687 not-muc 175564 unknown 34941 muc 621
268.40/268.45	c iter 626 time 249.981 not-muc 175564 unknown 34940 muc 622
268.40/268.45	c iter 627 time 250.388 not-muc 175564 unknown 34939 muc 623
268.40/268.45	c iter 628 time 250.701 not-muc 175564 unknown 34938 muc 624
268.40/268.45	c iter 629 time 250.934 not-muc 175564 unknown 34937 muc 625
268.40/268.45	c iter 630 time 251.168 not-muc 175564 unknown 34936 muc 626
268.40/268.45	c iter 631 time 251.519 not-muc 175564 unknown 34935 muc 627
268.40/268.45	c iter 632 time 251.91 not-muc 175564 unknown 34934 muc 628
268.40/268.45	c iter 633 time 252.224 not-muc 175564 unknown 34933 muc 629
268.40/268.45	c iter 634 time 252.366 not-muc 175564 unknown 34932 muc 630
268.40/268.45	c iter 635 time 252.501 not-muc 175564 unknown 34931 muc 631
268.40/268.45	c iter 636 time 252.617 not-muc 175564 unknown 34930 muc 632
268.40/268.45	c iter 637 time 252.974 not-muc 175564 unknown 34929 muc 633
268.40/268.45	c iter 638 time 253.222 not-muc 175564 unknown 34928 muc 634
268.40/268.45	c iter 639 time 253.432 not-muc 175564 unknown 34927 muc 635
268.40/268.45	c iter 640 time 253.667 not-muc 175564 unknown 34926 muc 636
268.40/268.45	c iter 641 time 253.907 not-muc 175564 unknown 34925 muc 637
268.40/268.45	c iter 642 time 254.258 not-muc 175564 unknown 34924 muc 638
268.40/268.45	c iter 643 time 255.308 not-muc 175564 unknown 34923 muc 639
268.40/268.45	c iter 644 time 255.714 not-muc 175564 unknown 34922 muc 640
268.40/268.45	c iter 645 time 255.957 not-muc 175564 unknown 34921 muc 641
268.40/268.45	c iter 646 time 256.205 not-muc 175564 unknown 34920 muc 642
268.40/268.45	c iter 647 time 256.425 not-muc 175564 unknown 34919 muc 643
268.40/268.45	c iter 648 time 256.641 not-muc 175564 unknown 34918 muc 644
268.40/268.45	c iter 649 time 256.897 not-muc 175564 unknown 34917 muc 645
268.40/268.45	c iter 650 time 257.162 not-muc 175564 unknown 34916 muc 646
268.40/268.45	c iter 651 time 257.628 not-muc 175564 unknown 34915 muc 647
268.40/268.45	c iter 652 time 257.958 not-muc 175564 unknown 34914 muc 648
268.40/268.45	c iter 653 time 258.218 not-muc 175564 unknown 34913 muc 649
268.40/268.45	c iter 654 time 258.456 not-muc 175564 unknown 34912 muc 650
268.40/268.45	c iter 655 time 258.747 not-muc 175564 unknown 34911 muc 651
268.40/268.45	c iter 656 time 259.015 not-muc 175564 unknown 34910 muc 652
268.40/268.45	c iter 657 time 259.369 not-muc 175564 unknown 34909 muc 653
268.40/268.45	c iter 658 time 259.838 not-muc 175564 unknown 34908 muc 654
268.40/268.45	c iter 659 time 260.984 not-muc 175564 unknown 34907 muc 655
268.40/268.45	c iter 660 time 261.666 not-muc 175564 unknown 34906 muc 656
268.40/268.45	c iter 661 time 262.115 not-muc 175564 unknown 34905 muc 657
268.40/268.45	c iter 662 time 262.52 not-muc 175564 unknown 34904 muc 658
268.40/268.45	c iter 663 time 262.933 not-muc 175564 unknown 34903 muc 659
268.40/268.45	c iter 664 time 263.293 not-muc 175564 unknown 34902 muc 660
268.40/268.45	c iter 665 time 263.623 not-muc 175564 unknown 34901 muc 661
268.40/268.45	c iter 666 time 263.939 not-muc 175564 unknown 34900 muc 662
268.40/268.45	c iter 667 time 264.441 not-muc 175564 unknown 34899 muc 663
268.40/268.45	c iter 668 time 264.698 not-muc 175564 unknown 34898 muc 664
268.40/268.45	c iter 669 time 265.437 not-muc 175564 unknown 34897 muc 665
268.40/268.45	c iter 670 time 265.679 not-muc 175564 unknown 34896 muc 666
268.40/268.45	c iter 671 time 266.124 not-muc 175564 unknown 34895 muc 667
268.40/268.45	c iter 672 time 266.542 not-muc 175564 unknown 34894 muc 668
268.40/268.45	c iter 673 time 266.665 not-muc 175564 unknown 34893 muc 669
268.40/268.45	c iter 674 time 267.007 not-muc 175564 unknown 34892 muc 670
268.40/268.45	c iter 675 time 267.204 not-muc 175564 unknown 34891 muc 671
268.40/268.45	c iter 676 time 267.602 not-muc 175564 unknown 34890 muc 672
285.90/285.98	c iter 677 time 267.88 not-muc 175564 unknown 34889 muc 673
285.90/285.98	c iter 678 time 268.162 not-muc 175564 unknown 34888 muc 674
285.90/285.98	c iter 679 time 268.44 not-muc 175564 unknown 34887 muc 675
285.90/285.98	c iter 680 time 268.651 not-muc 175564 unknown 34886 muc 676
285.90/285.98	c iter 681 time 268.8 not-muc 175564 unknown 34885 muc 677
285.90/285.98	c iter 682 time 268.995 not-muc 175564 unknown 34884 muc 678
285.90/285.98	c iter 683 time 269.226 not-muc 175564 unknown 34883 muc 679
285.90/285.98	c iter 684 time 269.483 not-muc 175564 unknown 34882 muc 680
285.90/285.98	c iter 685 time 269.643 not-muc 175564 unknown 34881 muc 681
285.90/285.98	c iter 686 time 269.871 not-muc 175564 unknown 34880 muc 682
285.90/285.98	c iter 687 time 270.175 not-muc 175564 unknown 34879 muc 683
285.90/285.98	c iter 688 time 270.481 not-muc 175564 unknown 34878 muc 684
285.90/285.98	c iter 689 time 270.785 not-muc 175564 unknown 34877 muc 685
285.90/285.98	c iter 690 time 271.106 not-muc 175564 unknown 34876 muc 686
285.90/285.98	c iter 691 time 271.546 not-muc 175564 unknown 34875 muc 687
285.90/285.98	c iter 692 time 271.894 not-muc 175564 unknown 34874 muc 688
285.90/285.98	c iter 693 time 272.214 not-muc 175564 unknown 34873 muc 689
285.90/285.98	c iter 694 time 272.469 not-muc 175564 unknown 34872 muc 690
285.90/285.98	c iter 695 time 272.716 not-muc 175564 unknown 34871 muc 691
285.90/285.98	c iter 696 time 272.945 not-muc 175564 unknown 34870 muc 692
285.90/285.98	c iter 697 time 273.153 not-muc 175564 unknown 34869 muc 693
285.90/285.98	c iter 698 time 273.354 not-muc 175564 unknown 34868 muc 694
285.90/285.98	c iter 699 time 273.571 not-muc 175564 unknown 34867 muc 695
285.90/285.98	c iter 700 time 273.797 not-muc 175564 unknown 34866 muc 696
285.90/285.98	c iter 701 time 273.979 not-muc 175564 unknown 34865 muc 697
285.90/285.98	c iter 702 time 274.161 not-muc 175564 unknown 34864 muc 698
285.90/285.98	c iter 703 time 274.342 not-muc 175564 unknown 34863 muc 699
285.90/285.98	c iter 704 time 274.547 not-muc 175564 unknown 34862 muc 700
285.90/285.98	c iter 705 time 274.742 not-muc 175564 unknown 34861 muc 701
285.90/285.98	c iter 706 time 274.919 not-muc 175564 unknown 34860 muc 702
285.90/285.98	c iter 707 time 275.114 not-muc 175564 unknown 34859 muc 703
285.90/285.98	c iter 708 time 275.318 not-muc 175564 unknown 34858 muc 704
285.90/285.98	c iter 709 time 275.548 not-muc 175564 unknown 34857 muc 705
285.90/285.98	c iter 710 time 275.774 not-muc 175564 unknown 34856 muc 706
285.90/285.98	c iter 711 time 275.964 not-muc 175564 unknown 34855 muc 707
285.90/285.98	c iter 712 time 276.163 not-muc 175564 unknown 34854 muc 708
285.90/285.98	c iter 713 time 276.368 not-muc 175564 unknown 34853 muc 709
285.90/285.98	c iter 714 time 276.546 not-muc 175564 unknown 34852 muc 710
285.90/285.98	c iter 715 time 276.705 not-muc 175564 unknown 34851 muc 711
285.90/285.98	c iter 716 time 276.919 not-muc 175564 unknown 34850 muc 712
285.90/285.98	c iter 717 time 277.077 not-muc 175564 unknown 34849 muc 713
285.90/285.98	c iter 718 time 277.293 not-muc 175564 unknown 34848 muc 714
285.90/285.98	c iter 719 time 277.453 not-muc 175564 unknown 34847 muc 715
285.90/285.98	c iter 720 time 277.658 not-muc 175564 unknown 34846 muc 716
285.90/285.98	c iter 721 time 277.907 not-muc 175564 unknown 34845 muc 717
285.90/285.98	c iter 722 time 278.242 not-muc 175564 unknown 34844 muc 718
285.90/285.98	c iter 723 time 278.461 not-muc 175564 unknown 34843 muc 719
285.90/285.98	c iter 724 time 278.746 not-muc 175564 unknown 34842 muc 720
285.90/285.98	c iter 725 time 279.062 not-muc 175564 unknown 34841 muc 721
285.90/285.98	c iter 726 time 279.405 not-muc 175564 unknown 34840 muc 722
285.90/285.98	c iter 727 time 279.647 not-muc 175564 unknown 34839 muc 723
285.90/285.98	c iter 728 time 280.002 not-muc 175564 unknown 34838 muc 724
285.90/285.98	c iter 729 time 280.201 not-muc 175564 unknown 34837 muc 725
285.90/285.98	c iter 730 time 280.853 not-muc 175564 unknown 34836 muc 726
285.90/285.98	c iter 731 time 281.47 not-muc 175564 unknown 34835 muc 727
285.90/285.98	c iter 732 time 281.685 not-muc 175564 unknown 34834 muc 728
285.90/285.98	c iter 733 time 281.966 not-muc 175564 unknown 34833 muc 729
285.90/285.98	c iter 734 time 282.413 not-muc 175564 unknown 34832 muc 730
285.90/285.98	c iter 735 time 282.644 not-muc 175564 unknown 34831 muc 731
285.90/285.98	c iter 736 time 282.978 not-muc 175564 unknown 34830 muc 732
285.90/285.98	c iter 737 time 283.29 not-muc 175564 unknown 34829 muc 733
285.90/285.98	c iter 738 time 283.588 not-muc 175564 unknown 34828 muc 734
285.90/285.98	c iter 739 time 283.818 not-muc 175564 unknown 34827 muc 735
285.90/285.98	c iter 740 time 284.185 not-muc 175564 unknown 34826 muc 736
285.90/285.98	c iter 741 time 284.437 not-muc 175564 unknown 34825 muc 737
285.90/285.98	c iter 742 time 284.768 not-muc 175564 unknown 34824 muc 738
285.90/285.98	c iter 743 time 285.127 not-muc 175564 unknown 34823 muc 739
304.19/304.28	c iter 744 time 285.683 not-muc 175564 unknown 34822 muc 740
304.19/304.28	c iter 745 time 286.118 not-muc 175564 unknown 34821 muc 741
304.19/304.28	c iter 746 time 286.815 not-muc 175564 unknown 34820 muc 742
304.19/304.28	c iter 747 time 286.881 not-muc 175564 unknown 34819 muc 743
304.19/304.28	c iter 748 time 287.02 not-muc 175564 unknown 34818 muc 744
304.19/304.28	c iter 749 time 287.396 not-muc 175564 unknown 34817 muc 745
304.19/304.28	c iter 750 time 287.605 not-muc 175564 unknown 34816 muc 746
304.19/304.28	c iter 751 time 287.788 not-muc 175564 unknown 34815 muc 747
304.19/304.28	c iter 752 time 288.114 not-muc 175564 unknown 34814 muc 748
304.19/304.28	c iter 753 time 288.22 not-muc 175564 unknown 34813 muc 749
304.19/304.28	c iter 754 time 288.541 not-muc 175564 unknown 34812 muc 750
304.19/304.28	c iter 755 time 288.802 not-muc 175564 unknown 34811 muc 751
304.19/304.28	c iter 756 time 289.385 not-muc 175564 unknown 34810 muc 752
304.19/304.28	c iter 757 time 289.589 not-muc 175564 unknown 34809 muc 753
304.19/304.28	c iter 758 time 289.96 not-muc 175564 unknown 34808 muc 754
304.19/304.28	c iter 759 time 290.069 not-muc 175564 unknown 34807 muc 755
304.19/304.28	c iter 760 time 290.329 not-muc 175564 unknown 34806 muc 756
304.19/304.28	c iter 761 time 290.538 not-muc 175564 unknown 34805 muc 757
304.19/304.28	c iter 762 time 290.868 not-muc 175564 unknown 34804 muc 758
304.19/304.28	c iter 763 time 291.074 not-muc 175564 unknown 34803 muc 759
304.19/304.28	c iter 764 time 291.398 not-muc 175564 unknown 34802 muc 760
304.19/304.28	c iter 765 time 291.556 not-muc 175564 unknown 34801 muc 761
304.19/304.28	c iter 766 time 291.821 not-muc 175564 unknown 34800 muc 762
304.19/304.28	c iter 767 time 291.991 not-muc 175564 unknown 34799 muc 763
304.19/304.28	c iter 768 time 292.262 not-muc 175564 unknown 34798 muc 764
304.19/304.28	c iter 769 time 292.548 not-muc 175564 unknown 34797 muc 765
304.19/304.28	c iter 770 time 292.817 not-muc 175564 unknown 34796 muc 766
304.19/304.28	c iter 771 time 293.051 not-muc 175564 unknown 34795 muc 767
304.19/304.28	c iter 772 time 293.194 not-muc 175564 unknown 34794 muc 768
304.19/304.28	c iter 773 time 293.331 not-muc 175564 unknown 34793 muc 769
304.19/304.28	c iter 774 time 293.541 not-muc 175564 unknown 34792 muc 770
304.19/304.28	c iter 775 time 293.945 not-muc 175564 unknown 34791 muc 771
304.19/304.28	c iter 776 time 294.288 not-muc 175564 unknown 34790 muc 772
304.19/304.28	c iter 777 time 294.568 not-muc 175564 unknown 34789 muc 773
304.19/304.28	c iter 778 time 294.917 not-muc 175564 unknown 34788 muc 774
304.19/304.28	c iter 779 time 295.301 not-muc 175564 unknown 34787 muc 775
304.19/304.28	c iter 780 time 295.609 not-muc 175564 unknown 34786 muc 776
304.19/304.28	c iter 781 time 295.789 not-muc 175564 unknown 34785 muc 777
304.19/304.28	c iter 782 time 296.1 not-muc 175564 unknown 34784 muc 778
304.19/304.28	c iter 783 time 296.284 not-muc 175564 unknown 34783 muc 779
304.19/304.28	c iter 784 time 296.503 not-muc 175564 unknown 34782 muc 780
304.19/304.28	c iter 785 time 296.706 not-muc 175564 unknown 34781 muc 781
304.19/304.28	c iter 786 time 296.954 not-muc 175564 unknown 34780 muc 782
304.19/304.28	c iter 787 time 297.132 not-muc 175564 unknown 34779 muc 783
304.19/304.28	c iter 788 time 297.373 not-muc 175564 unknown 34778 muc 784
304.19/304.28	c iter 789 time 297.558 not-muc 175564 unknown 34777 muc 785
304.19/304.28	c iter 790 time 297.777 not-muc 175564 unknown 34776 muc 786
304.19/304.28	c iter 791 time 298.016 not-muc 175564 unknown 34775 muc 787
304.19/304.28	c iter 792 time 298.431 not-muc 175564 unknown 34774 muc 788
304.19/304.28	c iter 793 time 298.65 not-muc 175564 unknown 34773 muc 789
304.19/304.28	c iter 794 time 298.983 not-muc 175564 unknown 34772 muc 790
304.19/304.28	c iter 795 time 299.203 not-muc 175564 unknown 34771 muc 791
304.19/304.28	c iter 796 time 299.672 not-muc 175564 unknown 34770 muc 792
304.19/304.28	c iter 797 time 300.042 not-muc 175564 unknown 34769 muc 793
304.19/304.28	c iter 798 time 300.139 not-muc 175564 unknown 34768 muc 794
304.19/304.28	c iter 799 time 300.237 not-muc 175564 unknown 34767 muc 795
304.19/304.28	c iter 800 time 300.383 not-muc 175564 unknown 34766 muc 796
304.19/304.28	c iter 801 time 300.477 not-muc 175564 unknown 34765 muc 797
304.19/304.28	c iter 802 time 300.611 not-muc 175564 unknown 34764 muc 798
304.19/304.28	c iter 803 time 300.832 not-muc 175564 unknown 34763 muc 799
304.19/304.28	c iter 804 time 300.967 not-muc 175564 unknown 34762 muc 800
304.19/304.28	c iter 805 time 301.213 not-muc 175564 unknown 34761 muc 801
304.19/304.28	c iter 806 time 301.723 not-muc 175564 unknown 34760 muc 802
304.19/304.28	c iter 807 time 301.938 not-muc 175564 unknown 34759 muc 803
304.19/304.28	c iter 808 time 302.258 not-muc 175564 unknown 34758 muc 804
304.19/304.28	c iter 809 time 302.761 not-muc 175564 unknown 34757 muc 805
304.19/304.28	c iter 810 time 303.423 not-muc 175564 unknown 34756 muc 806
332.39/332.43	c iter 811 time 303.652 not-muc 175564 unknown 34755 muc 807
332.39/332.43	c iter 812 time 304.06 not-muc 175564 unknown 34754 muc 808
332.39/332.43	c iter 813 time 304.247 not-muc 175564 unknown 34753 muc 809
332.39/332.43	c iter 814 time 304.579 not-muc 175564 unknown 34752 muc 810
332.39/332.43	c iter 815 time 304.769 not-muc 175564 unknown 34751 muc 811
332.39/332.43	c iter 816 time 305.176 not-muc 175564 unknown 34750 muc 812
332.39/332.43	c iter 817 time 305.502 not-muc 175564 unknown 34749 muc 813
332.39/332.43	c iter 818 time 305.814 not-muc 175564 unknown 34748 muc 814
332.39/332.43	c iter 819 time 306.31 not-muc 175564 unknown 34747 muc 815
332.39/332.43	c iter 820 time 306.871 not-muc 175564 unknown 34746 muc 816
332.39/332.43	c iter 821 time 307.237 not-muc 175564 unknown 34745 muc 817
332.39/332.43	c iter 822 time 307.676 not-muc 175564 unknown 34744 muc 818
332.39/332.43	c iter 823 time 308.113 not-muc 175564 unknown 34743 muc 819
332.39/332.43	c iter 824 time 308.545 not-muc 175564 unknown 34742 muc 820
332.39/332.43	c iter 825 time 308.876 not-muc 175564 unknown 34741 muc 821
332.39/332.43	c iter 826 time 309.211 not-muc 175564 unknown 34740 muc 822
332.39/332.43	c iter 827 time 309.535 not-muc 175564 unknown 34739 muc 823
332.39/332.43	c iter 828 time 310.005 not-muc 175564 unknown 34738 muc 824
332.39/332.43	c iter 829 time 310.506 not-muc 175564 unknown 34737 muc 825
332.39/332.43	c iter 830 time 310.903 not-muc 175564 unknown 34736 muc 826
332.39/332.43	c iter 831 time 311.392 not-muc 175564 unknown 34735 muc 827
332.39/332.43	c iter 832 time 311.906 not-muc 175564 unknown 34734 muc 828
332.39/332.43	c iter 833 time 312.48 not-muc 175564 unknown 34733 muc 829
332.39/332.43	c iter 834 time 312.935 not-muc 175564 unknown 34732 muc 830
332.39/332.43	c iter 835 time 313.253 not-muc 175564 unknown 34731 muc 831
332.39/332.43	c iter 836 time 313.591 not-muc 175564 unknown 34730 muc 832
332.39/332.43	c iter 837 time 314.07 not-muc 175564 unknown 34729 muc 833
332.39/332.43	c iter 838 time 314.38 not-muc 175564 unknown 34728 muc 834
332.39/332.43	c iter 839 time 314.805 not-muc 175564 unknown 34727 muc 835
332.39/332.43	c iter 840 time 315.453 not-muc 175564 unknown 34726 muc 836
332.39/332.43	c iter 841 time 315.976 not-muc 175564 unknown 34725 muc 837
332.39/332.43	c iter 842 time 316.599 not-muc 175564 unknown 34724 muc 838
332.39/332.43	c iter 843 time 317.07 not-muc 175564 unknown 34723 muc 839
332.39/332.43	c iter 844 time 317.509 not-muc 175564 unknown 34722 muc 840
332.39/332.43	c iter 845 time 317.986 not-muc 175564 unknown 34721 muc 841
332.39/332.43	c iter 846 time 318.614 not-muc 175564 unknown 34720 muc 842
332.39/332.43	c iter 847 time 319.032 not-muc 175564 unknown 34719 muc 843
332.39/332.43	c iter 848 time 319.32 not-muc 175564 unknown 34718 muc 844
332.39/332.43	c iter 849 time 319.614 not-muc 175564 unknown 34717 muc 845
332.39/332.43	c iter 850 time 319.937 not-muc 175564 unknown 34716 muc 846
332.39/332.43	c iter 851 time 320.238 not-muc 175564 unknown 34715 muc 847
332.39/332.43	c iter 852 time 320.558 not-muc 175564 unknown 34714 muc 848
332.39/332.43	c iter 853 time 320.868 not-muc 175564 unknown 34713 muc 849
332.39/332.43	c iter 854 time 321.185 not-muc 175564 unknown 34712 muc 850
332.39/332.43	c iter 855 time 321.517 not-muc 175564 unknown 34711 muc 851
332.39/332.43	c iter 856 time 321.822 not-muc 175564 unknown 34710 muc 852
332.39/332.43	c iter 857 time 322.119 not-muc 175564 unknown 34709 muc 853
332.39/332.43	c iter 858 time 322.392 not-muc 175564 unknown 34708 muc 854
332.39/332.43	c iter 859 time 322.853 not-muc 175564 unknown 34707 muc 855
332.39/332.43	c iter 860 time 323.213 not-muc 175564 unknown 34706 muc 856
332.39/332.43	c iter 861 time 323.838 not-muc 175564 unknown 34705 muc 857
332.39/332.43	c iter 862 time 324.344 not-muc 175564 unknown 34704 muc 858
332.39/332.43	c iter 863 time 324.74 not-muc 175564 unknown 34703 muc 859
332.39/332.43	c iter 864 time 325.146 not-muc 175564 unknown 34702 muc 860
332.39/332.43	c iter 865 time 325.648 not-muc 175564 unknown 34701 muc 861
332.39/332.43	c iter 866 time 325.973 not-muc 175564 unknown 34700 muc 862
332.39/332.43	c iter 867 time 326.345 not-muc 175564 unknown 34699 muc 863
332.39/332.43	c iter 868 time 326.718 not-muc 175564 unknown 34698 muc 864
332.39/332.43	c iter 869 time 327.061 not-muc 175564 unknown 34697 muc 865
332.39/332.43	c iter 870 time 327.441 not-muc 175564 unknown 34696 muc 866
332.39/332.43	c iter 871 time 327.85 not-muc 175564 unknown 34695 muc 867
332.39/332.43	c iter 872 time 328.268 not-muc 175564 unknown 34694 muc 868
332.39/332.43	c iter 873 time 328.727 not-muc 175564 unknown 34693 muc 869
332.39/332.43	c iter 874 time 329.19 not-muc 175564 unknown 34692 muc 870
332.39/332.43	c iter 875 time 329.795 not-muc 175564 unknown 34691 muc 871
332.39/332.43	c iter 876 time 330.303 not-muc 175564 unknown 34690 muc 872
332.39/332.43	c iter 877 time 331.036 not-muc 175564 unknown 34689 muc 873
380.10/380.11	c iter 878 time 331.569 not-muc 175564 unknown 34688 muc 874
380.10/380.11	c iter 879 time 332.054 not-muc 175564 unknown 34687 muc 875
380.10/380.11	c iter 880 time 332.637 not-muc 175564 unknown 34686 muc 876
380.10/380.11	c iter 881 time 333.229 not-muc 175564 unknown 34685 muc 877
380.10/380.11	c iter 882 time 333.917 not-muc 175564 unknown 34684 muc 878
380.10/380.11	c iter 883 time 334.388 not-muc 175564 unknown 34683 muc 879
380.10/380.11	c iter 884 time 334.916 not-muc 175564 unknown 34682 muc 880
380.10/380.11	c iter 885 time 335.344 not-muc 175564 unknown 34681 muc 881
380.10/380.11	c iter 886 time 335.789 not-muc 175564 unknown 34680 muc 882
380.10/380.11	c iter 887 time 336.147 not-muc 175564 unknown 34679 muc 883
380.10/380.11	c iter 888 time 336.769 not-muc 175564 unknown 34678 muc 884
380.10/380.11	c iter 889 time 337.005 not-muc 175564 unknown 34677 muc 885
380.10/380.11	c iter 890 time 337.112 not-muc 175564 unknown 34676 muc 886
380.10/380.11	c iter 891 time 337.363 not-muc 175564 unknown 34675 muc 887
380.10/380.11	c iter 892 time 337.922 not-muc 175564 unknown 34674 muc 888
380.10/380.11	c iter 893 time 338.359 not-muc 175564 unknown 34673 muc 889
380.10/380.11	c iter 894 time 338.841 not-muc 175564 unknown 34672 muc 890
380.10/380.11	c iter 895 time 339.356 not-muc 175564 unknown 34671 muc 891
380.10/380.11	c iter 896 time 339.673 not-muc 175564 unknown 34670 muc 892
380.10/380.11	c iter 897 time 340.063 not-muc 175564 unknown 34669 muc 893
380.10/380.11	c iter 898 time 340.431 not-muc 175564 unknown 34668 muc 894
380.10/380.11	c iter 899 time 340.759 not-muc 175564 unknown 34667 muc 895
380.10/380.11	c iter 900 time 341.325 not-muc 175564 unknown 34666 muc 896
380.10/380.11	c iter 901 time 341.925 not-muc 175564 unknown 34665 muc 897
380.10/380.11	c iter 902 time 342.588 not-muc 175564 unknown 34664 muc 898
380.10/380.11	c iter 903 time 343.341 not-muc 175564 unknown 34663 muc 899
380.10/380.11	c iter 904 time 343.866 not-muc 175564 unknown 34662 muc 900
380.10/380.11	c iter 905 time 344.336 not-muc 175564 unknown 34661 muc 901
380.10/380.11	c iter 906 time 345.325 not-muc 175564 unknown 34660 muc 902
380.10/380.11	c iter 907 time 345.741 not-muc 175564 unknown 34659 muc 903
380.10/380.11	c iter 908 time 347.34 not-muc 175564 unknown 34658 muc 904
380.10/380.11	c iter 909 time 348.52 not-muc 175564 unknown 34657 muc 905
380.10/380.11	c iter 910 time 349.488 not-muc 175564 unknown 34656 muc 906
380.10/380.11	c iter 911 time 350.305 not-muc 175564 unknown 34655 muc 907
380.10/380.11	c iter 912 time 350.938 not-muc 175564 unknown 34654 muc 908
380.10/380.11	c iter 913 time 351.947 not-muc 175564 unknown 34653 muc 909
380.10/380.11	c iter 914 time 352.903 not-muc 175564 unknown 34652 muc 910
380.10/380.11	c iter 915 time 354.47 not-muc 175564 unknown 34651 muc 911
380.10/380.11	c iter 916 time 355.325 not-muc 175564 unknown 34650 muc 912
380.10/380.11	c iter 917 time 356.008 not-muc 175564 unknown 34649 muc 913
380.10/380.11	c iter 918 time 356.687 not-muc 175564 unknown 34648 muc 914
380.10/380.11	c iter 919 time 357.224 not-muc 175564 unknown 34647 muc 915
380.10/380.11	c iter 920 time 358.197 not-muc 175564 unknown 34646 muc 916
380.10/380.11	c iter 921 time 359.581 not-muc 175564 unknown 34645 muc 917
380.10/380.11	c iter 922 time 361.697 not-muc 175564 unknown 34644 muc 918
380.10/380.11	c iter 923 time 362.746 not-muc 175564 unknown 34643 muc 919
380.10/380.11	c iter 924 time 363.704 not-muc 175564 unknown 34642 muc 920
380.10/380.11	c iter 925 time 364.624 not-muc 175564 unknown 34641 muc 921
380.10/380.11	c iter 926 time 365.363 not-muc 175564 unknown 34640 muc 922
380.10/380.11	c iter 927 time 366.368 not-muc 175564 unknown 34639 muc 923
380.10/380.11	c iter 928 time 366.924 not-muc 175564 unknown 34638 muc 924
380.10/380.11	c iter 929 time 367.631 not-muc 175564 unknown 34637 muc 925
380.10/380.11	c iter 930 time 368.302 not-muc 175564 unknown 34636 muc 926
380.10/380.11	c iter 931 time 368.84 not-muc 175564 unknown 34635 muc 927
380.10/380.11	c iter 932 time 369.546 not-muc 175564 unknown 34634 muc 928
380.10/380.11	c iter 933 time 370.51 not-muc 175564 unknown 34633 muc 929
380.10/380.11	c iter 934 time 371.317 not-muc 175564 unknown 34632 muc 930
380.10/380.11	c iter 935 time 371.797 not-muc 175564 unknown 34631 muc 931
380.10/380.11	c iter 936 time 372.317 not-muc 175564 unknown 34630 muc 932
380.10/380.11	c iter 937 time 373.032 not-muc 175564 unknown 34629 muc 933
380.10/380.11	c iter 938 time 374.318 not-muc 175564 unknown 34628 muc 934
380.10/380.11	c iter 939 time 374.92 not-muc 175564 unknown 34627 muc 935
380.10/380.11	c iter 940 time 375.638 not-muc 175564 unknown 34626 muc 936
380.10/380.11	c iter 941 time 376.642 not-muc 175564 unknown 34625 muc 937
380.10/380.11	c iter 942 time 377.187 not-muc 175564 unknown 34624 muc 938
380.10/380.11	c iter 943 time 377.869 not-muc 175564 unknown 34623 muc 939
380.10/380.11	c iter 944 time 378.797 not-muc 175564 unknown 34622 muc 940
380.10/380.11	c iter 945 time 379.213 not-muc 175564 unknown 34621 muc 941
456.09/456.10	c iter 946 time 379.914 not-muc 175564 unknown 34620 muc 942
456.09/456.10	c iter 947 time 380.577 not-muc 175564 unknown 34619 muc 943
456.09/456.10	c iter 948 time 381.759 not-muc 175564 unknown 34618 muc 944
456.09/456.10	c iter 949 time 382.66 not-muc 175564 unknown 34617 muc 945
456.09/456.10	c iter 950 time 383.329 not-muc 175564 unknown 34616 muc 946
456.09/456.10	c iter 951 time 384.269 not-muc 175564 unknown 34615 muc 947
456.09/456.10	c iter 952 time 385.441 not-muc 175564 unknown 34614 muc 948
456.09/456.10	c iter 953 time 386.726 not-muc 175564 unknown 34613 muc 949
456.09/456.10	c iter 954 time 388.47 not-muc 175564 unknown 34612 muc 950
456.09/456.10	c iter 955 time 389.994 not-muc 175564 unknown 34611 muc 951
456.09/456.10	c iter 956 time 391.499 not-muc 175564 unknown 34610 muc 952
456.09/456.10	c iter 957 time 391.963 not-muc 175564 unknown 34609 muc 953
456.09/456.10	c iter 958 time 393.418 not-muc 175564 unknown 34608 muc 954
456.09/456.10	c iter 959 time 394.553 not-muc 175564 unknown 34607 muc 955
456.09/456.10	c iter 960 time 395.804 not-muc 175564 unknown 34606 muc 956
456.09/456.10	c iter 961 time 397.199 not-muc 175564 unknown 34605 muc 957
456.09/456.10	c iter 962 time 398.343 not-muc 175564 unknown 34604 muc 958
456.09/456.10	c iter 963 time 399.72 not-muc 175564 unknown 34603 muc 959
456.09/456.10	c iter 964 time 401.292 not-muc 175564 unknown 34602 muc 960
456.09/456.10	c iter 965 time 403.053 not-muc 175564 unknown 34601 muc 961
456.09/456.10	c iter 966 time 403.78 not-muc 175564 unknown 34600 muc 962
456.09/456.10	c iter 967 time 404.694 not-muc 175564 unknown 34599 muc 963
456.09/456.10	c iter 968 time 406.154 not-muc 175564 unknown 34598 muc 964
456.09/456.10	c iter 969 time 407.632 not-muc 175564 unknown 34597 muc 965
456.09/456.10	c iter 970 time 409.197 not-muc 175564 unknown 34596 muc 966
456.09/456.10	c iter 971 time 410.738 not-muc 175564 unknown 34595 muc 967
456.09/456.10	c iter 972 time 411.769 not-muc 175564 unknown 34594 muc 968
456.09/456.10	c iter 973 time 412.882 not-muc 175564 unknown 34593 muc 969
456.09/456.10	c iter 974 time 413.924 not-muc 175564 unknown 34592 muc 970
456.09/456.10	c iter 975 time 415.464 not-muc 175564 unknown 34591 muc 971
456.09/456.10	c iter 976 time 416.67 not-muc 175564 unknown 34590 muc 972
456.09/456.10	c iter 977 time 417.949 not-muc 175564 unknown 34589 muc 973
456.09/456.10	c iter 978 time 419.066 not-muc 175564 unknown 34588 muc 974
456.09/456.10	c iter 979 time 420.765 not-muc 175564 unknown 34587 muc 975
456.09/456.10	c iter 980 time 421.596 not-muc 175564 unknown 34586 muc 976
456.09/456.10	c iter 981 time 422.789 not-muc 175564 unknown 34585 muc 977
456.09/456.10	c iter 982 time 423.15 not-muc 175564 unknown 34584 muc 978
456.09/456.10	c iter 983 time 423.783 not-muc 175564 unknown 34583 muc 979
456.09/456.10	c iter 984 time 424.149 not-muc 175564 unknown 34582 muc 980
456.09/456.10	c iter 985 time 424.634 not-muc 175564 unknown 34581 muc 981
456.09/456.10	c iter 986 time 425.03 not-muc 175564 unknown 34580 muc 982
456.09/456.10	c iter 987 time 425.925 not-muc 175564 unknown 34579 muc 983
456.09/456.10	c iter 988 time 426.778 not-muc 175564 unknown 34578 muc 984
456.09/456.10	c iter 989 time 427.727 not-muc 175564 unknown 34577 muc 985
456.09/456.10	c iter 990 time 428.573 not-muc 175564 unknown 34576 muc 986
456.09/456.10	c iter 991 time 429.234 not-muc 175564 unknown 34575 muc 987
456.09/456.10	c iter 992 time 430.593 not-muc 175564 unknown 34574 muc 988
456.09/456.10	c iter 993 time 432.499 not-muc 175564 unknown 34573 muc 989
456.09/456.10	c iter 994 time 433.219 not-muc 175564 unknown 34572 muc 990
456.09/456.10	c iter 995 time 434.158 not-muc 175564 unknown 34571 muc 991
456.09/456.10	c iter 996 time 434.717 not-muc 175564 unknown 34570 muc 992
456.09/456.10	c iter 997 time 435.858 not-muc 175564 unknown 34569 muc 993
456.09/456.10	c iter 998 time 436.887 not-muc 175564 unknown 34568 muc 994
456.09/456.10	c iter 999 time 437.727 not-muc 175564 unknown 34567 muc 995
456.09/456.10	c iter 1000 time 438.131 not-muc 175564 unknown 34566 muc 996
456.09/456.10	c iter 1001 time 438.772 not-muc 175564 unknown 34565 muc 997
456.09/456.10	c iter 1002 time 439.174 not-muc 175564 unknown 34564 muc 998
456.09/456.10	c iter 1003 time 440.22 not-muc 175564 unknown 34563 muc 999
456.09/456.10	c iter 1004 time 441.096 not-muc 175564 unknown 34562 muc 1000
456.09/456.10	c iter 1005 time 442.783 not-muc 175564 unknown 34561 muc 1001
456.09/456.10	c iter 1006 time 446.031 not-muc 175564 unknown 34560 muc 1002
456.09/456.10	c iter 1007 time 447.984 not-muc 175564 unknown 34559 muc 1003
456.09/456.10	c iter 1008 time 449.489 not-muc 175564 unknown 34558 muc 1004
456.09/456.10	c iter 1009 time 451.407 not-muc 175564 unknown 34557 muc 1005
456.09/456.10	c iter 1010 time 452.21 not-muc 175564 unknown 34556 muc 1006
456.09/456.10	c iter 1011 time 453.311 not-muc 175564 unknown 34555 muc 1007
456.09/456.10	c iter 1012 time 455.145 not-muc 175564 unknown 34554 muc 1008
524.89/524.91	c iter 1013 time 457.436 not-muc 175564 unknown 34553 muc 1009
524.89/524.91	c iter 1014 time 459.066 not-muc 175564 unknown 34552 muc 1010
524.89/524.91	c iter 1015 time 461.09 not-muc 175564 unknown 34551 muc 1011
524.89/524.91	c iter 1016 time 462.052 not-muc 175564 unknown 34550 muc 1012
524.89/524.91	c iter 1017 time 463.13 not-muc 175564 unknown 34549 muc 1013
524.89/524.91	c iter 1018 time 463.596 not-muc 175564 unknown 34548 muc 1014
524.89/524.91	c iter 1019 time 464.43 not-muc 175564 unknown 34547 muc 1015
524.89/524.91	c iter 1020 time 464.974 not-muc 175564 unknown 34546 muc 1016
524.89/524.91	c iter 1021 time 465.899 not-muc 175564 unknown 34545 muc 1017
524.89/524.91	c iter 1022 time 467.086 not-muc 175564 unknown 34544 muc 1018
524.89/524.91	c iter 1023 time 468.482 not-muc 175564 unknown 34543 muc 1019
524.89/524.91	c iter 1024 time 469.411 not-muc 175564 unknown 34542 muc 1020
524.89/524.91	c iter 1025 time 471.253 not-muc 175564 unknown 34541 muc 1021
524.89/524.91	c iter 1026 time 472.607 not-muc 175564 unknown 34540 muc 1022
524.89/524.91	c iter 1027 time 474.558 not-muc 175564 unknown 34539 muc 1023
524.89/524.91	c iter 1028 time 475.513 not-muc 175564 unknown 34538 muc 1024
524.89/524.91	c iter 1029 time 476.899 not-muc 175564 unknown 34537 muc 1025
524.89/524.91	c iter 1030 time 477.61 not-muc 175564 unknown 34536 muc 1026
524.89/524.91	c iter 1031 time 478.71 not-muc 175564 unknown 34535 muc 1027
524.89/524.91	c iter 1032 time 479.253 not-muc 175564 unknown 34534 muc 1028
524.89/524.91	c iter 1033 time 479.993 not-muc 175564 unknown 34533 muc 1029
524.89/524.91	c iter 1034 time 480.433 not-muc 175564 unknown 34532 muc 1030
524.89/524.91	c iter 1035 time 481.123 not-muc 175564 unknown 34531 muc 1031
524.89/524.91	c iter 1036 time 481.756 not-muc 175564 unknown 34530 muc 1032
524.89/524.91	c iter 1037 time 482.397 not-muc 175564 unknown 34529 muc 1033
524.89/524.91	c iter 1038 time 483.108 not-muc 175564 unknown 34528 muc 1034
524.89/524.91	c iter 1039 time 483.769 not-muc 175564 unknown 34527 muc 1035
524.89/524.91	c iter 1040 time 484.431 not-muc 175564 unknown 34526 muc 1036
524.89/524.91	c iter 1041 time 485.074 not-muc 175564 unknown 34525 muc 1037
524.89/524.91	c iter 1042 time 485.819 not-muc 175564 unknown 34524 muc 1038
524.89/524.91	c iter 1043 time 486.555 not-muc 175564 unknown 34523 muc 1039
524.89/524.91	c iter 1044 time 487.311 not-muc 175564 unknown 34522 muc 1040
524.89/524.91	c iter 1045 time 487.661 not-muc 175564 unknown 34521 muc 1041
524.89/524.91	c iter 1046 time 488.372 not-muc 175564 unknown 34520 muc 1042
524.89/524.91	c iter 1047 time 488.797 not-muc 175564 unknown 34519 muc 1043
524.89/524.91	c iter 1048 time 489.432 not-muc 175564 unknown 34518 muc 1044
524.89/524.91	c iter 1049 time 490.086 not-muc 175564 unknown 34517 muc 1045
524.89/524.91	c iter 1050 time 491.26 not-muc 175564 unknown 34516 muc 1046
524.89/524.91	c iter 1051 time 491.848 not-muc 175564 unknown 34515 muc 1047
524.89/524.91	c iter 1052 time 492.665 not-muc 175564 unknown 34514 muc 1048
524.89/524.91	c iter 1053 time 493.182 not-muc 175564 unknown 34513 muc 1049
524.89/524.91	c iter 1054 time 493.957 not-muc 175564 unknown 34512 muc 1050
524.89/524.91	c iter 1055 time 494.591 not-muc 175564 unknown 34511 muc 1051
524.89/524.91	c iter 1056 time 495.78 not-muc 175564 unknown 34510 muc 1052
524.89/524.91	c iter 1057 time 496.99 not-muc 175564 unknown 34509 muc 1053
524.89/524.91	c iter 1058 time 499.239 not-muc 175564 unknown 34508 muc 1054
524.89/524.91	c iter 1059 time 500.541 not-muc 175564 unknown 34507 muc 1055
524.89/524.91	c iter 1060 time 502.261 not-muc 175564 unknown 34506 muc 1056
524.89/524.91	c iter 1061 time 505.515 not-muc 175564 unknown 34505 muc 1057
524.89/524.91	c iter 1062 time 507.96 not-muc 175564 unknown 34504 muc 1058
524.89/524.91	c iter 1063 time 509.335 not-muc 175564 unknown 34503 muc 1059
524.89/524.91	c iter 1064 time 511.429 not-muc 175564 unknown 34502 muc 1060
524.89/524.91	c iter 1065 time 512.717 not-muc 175564 unknown 34501 muc 1061
524.89/524.91	c iter 1066 time 514.044 not-muc 175564 unknown 34500 muc 1062
524.89/524.91	c iter 1067 time 515.194 not-muc 175564 unknown 34499 muc 1063
524.89/524.91	c iter 1068 time 516.582 not-muc 175564 unknown 34498 muc 1064
524.89/524.91	c iter 1069 time 517.4 not-muc 175564 unknown 34497 muc 1065
524.89/524.91	c iter 1070 time 518.445 not-muc 175564 unknown 34496 muc 1066
524.89/524.91	c iter 1071 time 519.215 not-muc 175564 unknown 34495 muc 1067
524.89/524.91	c iter 1072 time 520.193 not-muc 175564 unknown 34494 muc 1068
524.89/524.91	c iter 1073 time 520.839 not-muc 175564 unknown 34493 muc 1069
524.89/524.91	c iter 1074 time 521.888 not-muc 175564 unknown 34492 muc 1070
524.89/524.91	c iter 1075 time 522.382 not-muc 175564 unknown 34491 muc 1071
524.89/524.91	c iter 1076 time 523.397 not-muc 175564 unknown 34490 muc 1072
524.89/524.91	c iter 1077 time 523.927 not-muc 175564 unknown 34489 muc 1073
617.40/617.44	c iter 1078 time 524.846 not-muc 175564 unknown 34488 muc 1074
617.40/617.44	c iter 1079 time 525.912 not-muc 175564 unknown 34487 muc 1075
617.40/617.44	c iter 1080 time 528.361 not-muc 175564 unknown 34486 muc 1076
617.40/617.44	c iter 1081 time 529.767 not-muc 175564 unknown 34485 muc 1077
617.40/617.44	c iter 1082 time 531.731 not-muc 175564 unknown 34484 muc 1078
617.40/617.44	c iter 1083 time 533.23 not-muc 175564 unknown 34483 muc 1079
617.40/617.44	c iter 1084 time 534.498 not-muc 175564 unknown 34482 muc 1080
617.40/617.44	c iter 1085 time 535.637 not-muc 175564 unknown 34481 muc 1081
617.40/617.44	c iter 1086 time 537.584 not-muc 175564 unknown 34480 muc 1082
617.40/617.44	c iter 1087 time 538.996 not-muc 175564 unknown 34479 muc 1083
617.40/617.44	c iter 1088 time 540.78 not-muc 175564 unknown 34478 muc 1084
617.40/617.44	c iter 1089 time 541.534 not-muc 175564 unknown 34477 muc 1085
617.40/617.44	c iter 1090 time 542.64 not-muc 175564 unknown 34476 muc 1086
617.40/617.44	c iter 1091 time 543.303 not-muc 175564 unknown 34475 muc 1087
617.40/617.44	c iter 1092 time 544.938 not-muc 175564 unknown 34474 muc 1088
617.40/617.44	c iter 1093 time 546.52 not-muc 175564 unknown 34473 muc 1089
617.40/617.44	c iter 1094 time 547.774 not-muc 175564 unknown 34472 muc 1090
617.40/617.44	c iter 1095 time 549.031 not-muc 175564 unknown 34471 muc 1091
617.40/617.44	c iter 1096 time 550.265 not-muc 175564 unknown 34470 muc 1092
617.40/617.44	c iter 1097 time 551.529 not-muc 175564 unknown 34469 muc 1093
617.40/617.44	c iter 1098 time 552.826 not-muc 175564 unknown 34468 muc 1094
617.40/617.44	c iter 1099 time 553.957 not-muc 175564 unknown 34467 muc 1095
617.40/617.44	c iter 1100 time 555.088 not-muc 175564 unknown 34466 muc 1096
617.40/617.44	c iter 1101 time 556.258 not-muc 175564 unknown 34465 muc 1097
617.40/617.44	c iter 1102 time 557.056 not-muc 175564 unknown 34464 muc 1098
617.40/617.44	c iter 1103 time 558.526 not-muc 175564 unknown 34463 muc 1099
617.40/617.44	c iter 1104 time 559.447 not-muc 175564 unknown 34462 muc 1100
617.40/617.44	c iter 1105 time 561.311 not-muc 175564 unknown 34461 muc 1101
617.40/617.44	c iter 1106 time 562.606 not-muc 175564 unknown 34460 muc 1102
617.40/617.44	c iter 1107 time 564.441 not-muc 175564 unknown 34459 muc 1103
617.40/617.44	c iter 1108 time 565.329 not-muc 175564 unknown 34458 muc 1104
617.40/617.44	c iter 1109 time 566.618 not-muc 175564 unknown 34457 muc 1105
617.40/617.44	c iter 1110 time 568.892 not-muc 175564 unknown 34456 muc 1106
617.40/617.44	c iter 1111 time 571.671 not-muc 175564 unknown 34455 muc 1107
617.40/617.44	c iter 1112 time 573.588 not-muc 175564 unknown 34454 muc 1108
617.40/617.44	c iter 1113 time 575.746 not-muc 175564 unknown 34453 muc 1109
617.40/617.44	c iter 1114 time 577.112 not-muc 175564 unknown 34452 muc 1110
617.40/617.44	c iter 1115 time 579.186 not-muc 175564 unknown 34451 muc 1111
617.40/617.44	c iter 1116 time 580.633 not-muc 175564 unknown 34450 muc 1112
617.40/617.44	c iter 1117 time 583.217 not-muc 175564 unknown 34449 muc 1113
617.40/617.44	c iter 1118 time 584.581 not-muc 175564 unknown 34448 muc 1114
617.40/617.44	c iter 1119 time 586.461 not-muc 175564 unknown 34447 muc 1115
617.40/617.44	c iter 1120 time 587.307 not-muc 175564 unknown 34446 muc 1116
617.40/617.44	c iter 1121 time 589.155 not-muc 175564 unknown 34445 muc 1117
617.40/617.44	c iter 1122 time 589.88 not-muc 175564 unknown 34444 muc 1118
617.40/617.44	c iter 1123 time 591.595 not-muc 175564 unknown 34443 muc 1119
617.40/617.44	c iter 1124 time 593.536 not-muc 175564 unknown 34442 muc 1120
617.40/617.44	c iter 1125 time 595.821 not-muc 175564 unknown 34441 muc 1121
617.40/617.44	c iter 1126 time 596.722 not-muc 175564 unknown 34440 muc 1122
617.40/617.44	c iter 1127 time 598.618 not-muc 175564 unknown 34439 muc 1123
617.40/617.44	c iter 1128 time 599.357 not-muc 175564 unknown 34438 muc 1124
617.40/617.44	c iter 1129 time 600.636 not-muc 175564 unknown 34437 muc 1125
617.40/617.44	c iter 1130 time 601.515 not-muc 175564 unknown 34436 muc 1126
617.40/617.44	c iter 1131 time 603.176 not-muc 175564 unknown 34435 muc 1127
617.40/617.44	c iter 1132 time 604.023 not-muc 175564 unknown 34434 muc 1128
617.40/617.44	c iter 1133 time 606.117 not-muc 175564 unknown 34433 muc 1129
617.40/617.44	c iter 1134 time 606.964 not-muc 175564 unknown 34432 muc 1130
617.40/617.44	c iter 1135 time 608.416 not-muc 175564 unknown 34431 muc 1131
617.40/617.44	c iter 1136 time 609.399 not-muc 175564 unknown 34430 muc 1132
617.40/617.44	c iter 1137 time 611.168 not-muc 175564 unknown 34429 muc 1133
617.40/617.44	c iter 1138 time 611.839 not-muc 175564 unknown 34428 muc 1134
617.40/617.44	c iter 1139 time 613.509 not-muc 175564 unknown 34427 muc 1135
617.40/617.44	c iter 1140 time 614.252 not-muc 175564 unknown 34426 muc 1136
617.40/617.44	c iter 1141 time 615.657 not-muc 175564 unknown 34425 muc 1137
617.40/617.44	c iter 1142 time 616.444 not-muc 175564 unknown 34424 muc 1138
748.80/748.86	c iter 1143 time 618.171 not-muc 175564 unknown 34423 muc 1139
748.80/748.86	c iter 1144 time 619.597 not-muc 175564 unknown 34422 muc 1140
748.80/748.86	c iter 1145 time 622.403 not-muc 175564 unknown 34421 muc 1141
748.80/748.86	c iter 1146 time 624.198 not-muc 175564 unknown 34420 muc 1142
748.80/748.86	c iter 1147 time 627.464 not-muc 175564 unknown 34419 muc 1143
748.80/748.86	c iter 1148 time 628.399 not-muc 175564 unknown 34418 muc 1144
748.80/748.86	c iter 1149 time 630.375 not-muc 175564 unknown 34417 muc 1145
748.80/748.86	c iter 1150 time 631.262 not-muc 175564 unknown 34416 muc 1146
748.80/748.86	c iter 1151 time 633.503 not-muc 175564 unknown 34415 muc 1147
748.80/748.86	c iter 1152 time 634.305 not-muc 175564 unknown 34414 muc 1148
748.80/748.86	c iter 1153 time 637.083 not-muc 175564 unknown 34413 muc 1149
748.80/748.86	c iter 1154 time 638.737 not-muc 175564 unknown 34412 muc 1150
748.80/748.86	c iter 1155 time 641.997 not-muc 175564 unknown 34411 muc 1151
748.80/748.86	c iter 1156 time 643.074 not-muc 175564 unknown 34410 muc 1152
748.80/748.86	c iter 1157 time 645.476 not-muc 175564 unknown 34409 muc 1153
748.80/748.86	c iter 1158 time 646.3 not-muc 175564 unknown 34408 muc 1154
748.80/748.86	c iter 1159 time 649.456 not-muc 175564 unknown 34407 muc 1155
748.80/748.86	c iter 1160 time 651.472 not-muc 175564 unknown 34406 muc 1156
748.80/748.86	c iter 1161 time 652.088 not-muc 175564 unknown 34405 muc 1157
748.80/748.86	c iter 1162 time 652.958 not-muc 175564 unknown 34404 muc 1158
748.80/748.86	c iter 1163 time 655.369 not-muc 175564 unknown 34403 muc 1159
748.80/748.86	c iter 1164 time 656.35 not-muc 175564 unknown 34402 muc 1160
748.80/748.86	c iter 1165 time 658.15 not-muc 175564 unknown 34401 muc 1161
748.80/748.86	c iter 1166 time 659.382 not-muc 175564 unknown 34400 muc 1162
748.80/748.86	c iter 1167 time 662.463 not-muc 175564 unknown 34399 muc 1163
748.80/748.86	c iter 1168 time 663.607 not-muc 175564 unknown 34398 muc 1164
748.80/748.86	c iter 1169 time 666.036 not-muc 175564 unknown 34397 muc 1165
748.80/748.86	c iter 1170 time 667.026 not-muc 175564 unknown 34396 muc 1166
748.80/748.86	c iter 1171 time 668.954 not-muc 175564 unknown 34395 muc 1167
748.80/748.86	c iter 1172 time 671.065 not-muc 175564 unknown 34394 muc 1168
748.80/748.86	c iter 1173 time 674.62 not-muc 175564 unknown 34393 muc 1169
748.80/748.86	c iter 1174 time 676.166 not-muc 175564 unknown 34392 muc 1170
748.80/748.86	c iter 1175 time 679.991 not-muc 175564 unknown 34391 muc 1171
748.80/748.86	c iter 1176 time 681.176 not-muc 175564 unknown 34390 muc 1172
748.80/748.86	c iter 1177 time 684.413 not-muc 175564 unknown 34389 muc 1173
748.80/748.86	c iter 1178 time 686.353 not-muc 175564 unknown 34388 muc 1174
748.80/748.86	c iter 1179 time 690.001 not-muc 175564 unknown 34387 muc 1175
748.80/748.86	c iter 1180 time 691.126 not-muc 175564 unknown 34386 muc 1176
748.80/748.86	c iter 1181 time 693.549 not-muc 175564 unknown 34385 muc 1177
748.80/748.86	c iter 1182 time 694.726 not-muc 175564 unknown 34384 muc 1178
748.80/748.86	c iter 1183 time 697.153 not-muc 175564 unknown 34383 muc 1179
748.80/748.86	c iter 1184 time 699.15 not-muc 175564 unknown 34382 muc 1180
748.80/748.86	c iter 1185 time 703.291 not-muc 175564 unknown 34381 muc 1181
748.80/748.86	c iter 1186 time 704.792 not-muc 175564 unknown 34380 muc 1182
748.80/748.86	c iter 1187 time 708.252 not-muc 175564 unknown 34379 muc 1183
748.80/748.86	c iter 1188 time 709.632 not-muc 175564 unknown 34378 muc 1184
748.80/748.86	c iter 1189 time 712.402 not-muc 175564 unknown 34377 muc 1185
748.80/748.86	c iter 1190 time 713.738 not-muc 175564 unknown 34376 muc 1186
748.80/748.86	c iter 1191 time 716.25 not-muc 175564 unknown 34375 muc 1187
748.80/748.86	c iter 1192 time 717.488 not-muc 175564 unknown 34374 muc 1188
748.80/748.86	c iter 1193 time 719.987 not-muc 175564 unknown 34373 muc 1189
748.80/748.86	c iter 1194 time 721.197 not-muc 175564 unknown 34372 muc 1190
748.80/748.86	c iter 1195 time 723.607 not-muc 175564 unknown 34371 muc 1191
748.80/748.86	c iter 1196 time 724.983 not-muc 175564 unknown 34370 muc 1192
748.80/748.86	c iter 1197 time 727.869 not-muc 175564 unknown 34369 muc 1193
748.80/748.86	c iter 1198 time 729.066 not-muc 175564 unknown 34368 muc 1194
748.80/748.86	c iter 1199 time 731.685 not-muc 175564 unknown 34367 muc 1195
748.80/748.86	c iter 1200 time 733.119 not-muc 175564 unknown 34366 muc 1196
748.80/748.86	c iter 1201 time 735.645 not-muc 175564 unknown 34365 muc 1197
748.80/748.86	c iter 1202 time 736.821 not-muc 175564 unknown 34364 muc 1198
748.80/748.86	c iter 1203 time 740.702 not-muc 175564 unknown 34363 muc 1199
748.80/748.86	c iter 1204 time 742.082 not-muc 175564 unknown 34362 muc 1200
748.80/748.86	c iter 1205 time 744.297 not-muc 175564 unknown 34361 muc 1201
748.80/748.86	c iter 1206 time 745.481 not-muc 175564 unknown 34360 muc 1202
748.80/748.86	c iter 1207 time 747.828 not-muc 175564 unknown 34359 muc 1203
863.20/863.23	c iter 1208 time 748.893 not-muc 175564 unknown 34358 muc 1204
863.20/863.23	c iter 1209 time 751.241 not-muc 175564 unknown 34357 muc 1205
863.20/863.23	c iter 1210 time 752.418 not-muc 175564 unknown 34356 muc 1206
863.20/863.23	c iter 1211 time 754.744 not-muc 175564 unknown 34355 muc 1207
863.20/863.23	c iter 1212 time 756.985 not-muc 175564 unknown 34354 muc 1208
863.20/863.23	c iter 1213 time 761.367 not-muc 175564 unknown 34353 muc 1209
863.20/863.23	c iter 1214 time 763.368 not-muc 175564 unknown 34352 muc 1210
863.20/863.23	c iter 1215 time 765.666 not-muc 175564 unknown 34351 muc 1211
863.20/863.23	c iter 1216 time 767.402 not-muc 175564 unknown 34350 muc 1212
863.20/863.23	c iter 1217 time 771.415 not-muc 175564 unknown 34349 muc 1213
863.20/863.23	c iter 1218 time 773.236 not-muc 175564 unknown 34348 muc 1214
863.20/863.23	c iter 1219 time 776.247 not-muc 175564 unknown 34347 muc 1215
863.20/863.23	c iter 1220 time 777.545 not-muc 175564 unknown 34346 muc 1216
863.20/863.23	c iter 1221 time 780.293 not-muc 175564 unknown 34345 muc 1217
863.20/863.23	c iter 1222 time 781.923 not-muc 175564 unknown 34344 muc 1218
863.20/863.23	c iter 1223 time 784.998 not-muc 175564 unknown 34343 muc 1219
863.20/863.23	c iter 1224 time 787.531 not-muc 175564 unknown 34342 muc 1220
863.20/863.23	c iter 1225 time 788.225 not-muc 175564 unknown 34341 muc 1221
863.20/863.23	c iter 1226 time 789.178 not-muc 175564 unknown 34340 muc 1222
863.20/863.23	c iter 1227 time 791.695 not-muc 175564 unknown 34339 muc 1223
863.20/863.23	c iter 1228 time 794.423 not-muc 175591 unknown 34312 muc 1223
863.20/863.23	c iter 1229 time 794.577 not-muc 175591 unknown 34311 muc 1224
863.20/863.23	c iter 1230 time 798.066 not-muc 175591 unknown 34310 muc 1225
863.20/863.23	c iter 1231 time 798.368 not-muc 175591 unknown 34309 muc 1226
863.20/863.23	c iter 1232 time 799.94 not-muc 175645 unknown 34255 muc 1226
863.20/863.23	c iter 1233 time 800.076 not-muc 175645 unknown 34254 muc 1227
863.20/863.23	c iter 1234 time 801.695 not-muc 175645 unknown 34253 muc 1228
863.20/863.23	c iter 1235 time 803.336 not-muc 175645 unknown 34252 muc 1229
863.20/863.23	c iter 1236 time 804.909 not-muc 175645 unknown 34251 muc 1230
863.20/863.23	c iter 1237 time 806.424 not-muc 175645 unknown 34250 muc 1231
863.20/863.23	c iter 1238 time 807.977 not-muc 175645 unknown 34249 muc 1232
863.20/863.23	c iter 1239 time 809.589 not-muc 175645 unknown 34248 muc 1233
863.20/863.23	c iter 1240 time 811.4 not-muc 175645 unknown 34247 muc 1234
863.20/863.23	c iter 1241 time 813.183 not-muc 175645 unknown 34246 muc 1235
863.20/863.23	c iter 1242 time 814.827 not-muc 175645 unknown 34245 muc 1236
863.20/863.23	c iter 1243 time 815.85 not-muc 175645 unknown 34244 muc 1237
863.20/863.23	c iter 1244 time 817.996 not-muc 175645 unknown 34243 muc 1238
863.20/863.23	c iter 1245 time 819.385 not-muc 175645 unknown 34242 muc 1239
863.20/863.23	c iter 1246 time 821.736 not-muc 175645 unknown 34241 muc 1240
863.20/863.23	c iter 1247 time 824.091 not-muc 175645 unknown 34240 muc 1241
863.20/863.23	c iter 1248 time 826.317 not-muc 175645 unknown 34239 muc 1242
863.20/863.23	c iter 1249 time 827.163 not-muc 175645 unknown 34238 muc 1243
863.20/863.23	c iter 1250 time 829.19 not-muc 175645 unknown 34237 muc 1244
863.20/863.23	c iter 1251 time 830.02 not-muc 175645 unknown 34236 muc 1245
863.20/863.23	c iter 1252 time 832.124 not-muc 175645 unknown 34235 muc 1246
863.20/863.23	c iter 1253 time 834.082 not-muc 175645 unknown 34234 muc 1247
863.20/863.23	c iter 1254 time 834.166 not-muc 175645 unknown 34233 muc 1248
863.20/863.23	c iter 1255 time 834.991 not-muc 175645 unknown 34232 muc 1249
863.20/863.23	c iter 1256 time 837.37 not-muc 175645 unknown 34231 muc 1250
863.20/863.23	c iter 1257 time 838.349 not-muc 175645 unknown 34230 muc 1251
863.20/863.23	c iter 1258 time 840.138 not-muc 175645 unknown 34229 muc 1252
863.20/863.23	c iter 1259 time 841.334 not-muc 175645 unknown 34228 muc 1253
863.20/863.23	c iter 1260 time 843.121 not-muc 175645 unknown 34227 muc 1254
863.20/863.23	c iter 1261 time 844.19 not-muc 175645 unknown 34226 muc 1255
863.20/863.23	c iter 1262 time 846.493 not-muc 175645 unknown 34225 muc 1256
863.20/863.23	c iter 1263 time 847.337 not-muc 175645 unknown 34224 muc 1257
863.20/863.23	c iter 1264 time 849.345 not-muc 175645 unknown 34223 muc 1258
863.20/863.23	c iter 1265 time 850.794 not-muc 175645 unknown 34222 muc 1259
863.20/863.23	c iter 1266 time 852.228 not-muc 175645 unknown 34221 muc 1260
863.20/863.23	c iter 1267 time 853.137 not-muc 175645 unknown 34220 muc 1261
863.20/863.23	c iter 1268 time 854.884 not-muc 175645 unknown 34219 muc 1262
863.20/863.23	c iter 1269 time 856.316 not-muc 175645 unknown 34218 muc 1263
863.20/863.23	c iter 1270 time 858.762 not-muc 175645 unknown 34217 muc 1264
863.20/863.23	c iter 1271 time 860.293 not-muc 175645 unknown 34216 muc 1265
863.20/863.23	c iter 1272 time 862.159 not-muc 175645 unknown 34215 muc 1266
908.30/908.38	c iter 1273 time 863.352 not-muc 175645 unknown 34214 muc 1267
908.30/908.38	c iter 1274 time 865.196 not-muc 175645 unknown 34213 muc 1268
908.30/908.38	c iter 1275 time 866.756 not-muc 175645 unknown 34212 muc 1269
908.30/908.38	c iter 1276 time 869.26 not-muc 175645 unknown 34211 muc 1270
908.30/908.38	c iter 1277 time 872.054 not-muc 175645 unknown 34210 muc 1271
908.30/908.38	c iter 1278 time 873.752 not-muc 175645 unknown 34209 muc 1272
908.30/908.38	c iter 1279 time 874.661 not-muc 175645 unknown 34208 muc 1273
908.30/908.38	c iter 1280 time 875.8 not-muc 175645 unknown 34207 muc 1274
908.30/908.38	c iter 1281 time 876.471 not-muc 175645 unknown 34206 muc 1275
908.30/908.38	c iter 1282 time 878.365 not-muc 175645 unknown 34205 muc 1276
908.30/908.38	c iter 1283 time 878.394 not-muc 175645 unknown 34204 muc 1277
908.30/908.38	c iter 1284 time 878.468 not-muc 175645 unknown 34203 muc 1278
908.30/908.38	c iter 1285 time 878.575 not-muc 175645 unknown 34202 muc 1279
908.30/908.38	c iter 1286 time 878.714 not-muc 175645 unknown 34201 muc 1280
908.30/908.38	c iter 1287 time 879.1 not-muc 175645 unknown 34200 muc 1281
908.30/908.38	c iter 1288 time 879.634 not-muc 175645 unknown 34199 muc 1282
908.30/908.38	c iter 1289 time 879.731 not-muc 175645 unknown 34198 muc 1283
908.30/908.38	c iter 1290 time 879.968 not-muc 175645 unknown 34197 muc 1284
908.30/908.38	c iter 1291 time 880.238 not-muc 175645 unknown 34196 muc 1285
908.30/908.38	c iter 1292 time 880.565 not-muc 175645 unknown 34195 muc 1286
908.30/908.38	c iter 1293 time 882.48 not-muc 175645 unknown 34194 muc 1287
908.30/908.38	c iter 1294 time 884.114 not-muc 175645 unknown 34193 muc 1288
908.30/908.38	c iter 1295 time 885.872 not-muc 175645 unknown 34192 muc 1289
908.30/908.38	c iter 1296 time 887.801 not-muc 175645 unknown 34191 muc 1290
908.30/908.38	c iter 1297 time 888.939 not-muc 175645 unknown 34190 muc 1291
908.30/908.38	c iter 1298 time 890.656 not-muc 175645 unknown 34189 muc 1292
908.30/908.38	c iter 1299 time 891.603 not-muc 175645 unknown 34188 muc 1293
908.30/908.38	c iter 1300 time 893.092 not-muc 175645 unknown 34187 muc 1294
908.30/908.38	c iter 1301 time 895.809 not-muc 175645 unknown 34186 muc 1295
908.30/908.38	c iter 1302 time 897.358 not-muc 175645 unknown 34185 muc 1296
908.30/908.38	c iter 1303 time 901.287 not-muc 176036 unknown 33794 muc 1296
908.30/908.38	c iter 1304 time 902.018 not-muc 176036 unknown 33793 muc 1297
908.30/908.38	c iter 1305 time 902.14 not-muc 176036 unknown 33792 muc 1298
908.30/908.38	c iter 1306 time 902.165 not-muc 176036 unknown 33791 muc 1299
908.30/908.38	c iter 1307 time 902.19 not-muc 176036 unknown 33790 muc 1300
908.30/908.38	c iter 1308 time 902.298 not-muc 176036 unknown 33789 muc 1301
908.30/908.38	c iter 1309 time 902.337 not-muc 176036 unknown 33788 muc 1302
908.30/908.38	c iter 1310 time 902.38 not-muc 176036 unknown 33787 muc 1303
908.30/908.38	c iter 1311 time 903.456 not-muc 176141 unknown 33682 muc 1303
908.30/908.38	c iter 1312 time 903.691 not-muc 176142 unknown 33681 muc 1303
908.30/908.38	c iter 1313 time 903.755 not-muc 176142 unknown 33680 muc 1304
908.30/908.38	c iter 1314 time 903.781 not-muc 176142 unknown 33679 muc 1305
908.30/908.38	c iter 1315 time 903.803 not-muc 176142 unknown 33678 muc 1306
908.30/908.38	c iter 1316 time 903.826 not-muc 176142 unknown 33677 muc 1307
908.30/908.38	c iter 1317 time 903.858 not-muc 176142 unknown 33676 muc 1308
908.30/908.38	c iter 1318 time 903.915 not-muc 176142 unknown 33675 muc 1309
908.30/908.38	c iter 1319 time 903.935 not-muc 176142 unknown 33674 muc 1310
908.30/908.38	c iter 1320 time 903.976 not-muc 176142 unknown 33673 muc 1311
908.30/908.38	c iter 1321 time 905.096 not-muc 176142 unknown 33672 muc 1312
908.30/908.38	c iter 1322 time 905.277 not-muc 176142 unknown 33671 muc 1313
908.30/908.38	c iter 1323 time 905.38 not-muc 176142 unknown 33670 muc 1314
908.30/908.38	c iter 1324 time 905.48 not-muc 176142 unknown 33669 muc 1315
908.30/908.38	c iter 1325 time 905.52 not-muc 176142 unknown 33668 muc 1316
908.30/908.38	c iter 1326 time 905.581 not-muc 176142 unknown 33667 muc 1317
908.30/908.38	c iter 1327 time 905.629 not-muc 176142 unknown 33666 muc 1318
908.30/908.38	c iter 1328 time 905.665 not-muc 176142 unknown 33665 muc 1319
908.30/908.38	c iter 1329 time 905.706 not-muc 176142 unknown 33664 muc 1320
908.30/908.38	c iter 1330 time 905.765 not-muc 176142 unknown 33663 muc 1321
908.30/908.38	c iter 1331 time 906.315 not-muc 176142 unknown 33662 muc 1322
908.30/908.38	c iter 1332 time 906.466 not-muc 176142 unknown 33661 muc 1323
908.30/908.38	c iter 1333 time 906.639 not-muc 176142 unknown 33660 muc 1324
908.30/908.38	c iter 1334 time 906.802 not-muc 176142 unknown 33659 muc 1325
908.30/908.38	c iter 1335 time 906.922 not-muc 176142 unknown 33658 muc 1326
908.30/908.38	c iter 1336 time 907.148 not-muc 176142 unknown 33657 muc 1327
908.30/908.38	c iter 1337 time 907.248 not-muc 176142 unknown 33656 muc 1328
915.11/915.17	c iter 1338 time 907.302 not-muc 176142 unknown 33655 muc 1329
915.11/915.17	c iter 1339 time 907.351 not-muc 176142 unknown 33654 muc 1330
915.11/915.17	c iter 1340 time 907.4 not-muc 176142 unknown 33653 muc 1331
915.11/915.17	c iter 1341 time 907.46 not-muc 176142 unknown 33652 muc 1332
915.11/915.17	c iter 1342 time 907.498 not-muc 176142 unknown 33651 muc 1333
915.11/915.17	c iter 1343 time 907.538 not-muc 176142 unknown 33650 muc 1334
915.11/915.17	c iter 1344 time 907.58 not-muc 176142 unknown 33649 muc 1335
915.11/915.17	c iter 1345 time 907.618 not-muc 176142 unknown 33648 muc 1336
915.11/915.17	c iter 1346 time 907.659 not-muc 176142 unknown 33647 muc 1337
915.11/915.17	c iter 1347 time 907.703 not-muc 176142 unknown 33646 muc 1338
915.11/915.17	c iter 1348 time 907.78 not-muc 176142 unknown 33645 muc 1339
915.11/915.17	c iter 1349 time 908.312 not-muc 176142 unknown 33644 muc 1340
915.11/915.17	c iter 1350 time 909.796 not-muc 176276 unknown 33510 muc 1340
915.11/915.17	c iter 1351 time 909.942 not-muc 176276 unknown 33509 muc 1341
915.11/915.17	c iter 1352 time 910.036 not-muc 176276 unknown 33508 muc 1342
915.11/915.17	c iter 1353 time 910.224 not-muc 176277 unknown 33507 muc 1342
915.11/915.17	c iter 1354 time 910.808 not-muc 176295 unknown 33489 muc 1342
915.11/915.17	c iter 1355 time 910.836 not-muc 176295 unknown 33488 muc 1343
915.11/915.17	c iter 1356 time 910.854 not-muc 176295 unknown 33487 muc 1344
915.11/915.17	c iter 1357 time 910.872 not-muc 176295 unknown 33486 muc 1345
915.11/915.17	c iter 1358 time 910.89 not-muc 176295 unknown 33485 muc 1346
915.11/915.17	c iter 1359 time 911.031 not-muc 176310 unknown 33470 muc 1346
915.11/915.17	c iter 1360 time 911.06 not-muc 176310 unknown 33469 muc 1347
915.11/915.17	c iter 1361 time 911.081 not-muc 176310 unknown 33468 muc 1348
915.11/915.17	c iter 1362 time 911.101 not-muc 176310 unknown 33467 muc 1349
915.11/915.17	c iter 1363 time 911.123 not-muc 176310 unknown 33466 muc 1350
915.11/915.17	c iter 1364 time 911.144 not-muc 176310 unknown 33465 muc 1351
915.11/915.17	c iter 1365 time 911.163 not-muc 176310 unknown 33464 muc 1352
915.11/915.17	c iter 1366 time 911.182 not-muc 176310 unknown 33463 muc 1353
915.11/915.17	c iter 1367 time 911.21 not-muc 176310 unknown 33462 muc 1354
915.11/915.17	c iter 1368 time 911.263 not-muc 176310 unknown 33461 muc 1355
915.11/915.17	c iter 1369 time 911.283 not-muc 176310 unknown 33460 muc 1356
915.11/915.17	c iter 1370 time 911.335 not-muc 176310 unknown 33459 muc 1357
915.11/915.17	c iter 1371 time 911.355 not-muc 176310 unknown 33458 muc 1358
915.11/915.17	c iter 1372 time 911.419 not-muc 176310 unknown 33457 muc 1359
915.11/915.17	c iter 1373 time 911.443 not-muc 176310 unknown 33456 muc 1360
915.11/915.17	c iter 1374 time 911.463 not-muc 176310 unknown 33455 muc 1361
915.11/915.17	c iter 1375 time 911.484 not-muc 176310 unknown 33454 muc 1362
915.11/915.17	c iter 1376 time 911.505 not-muc 176310 unknown 33453 muc 1363
915.11/915.17	c iter 1377 time 911.527 not-muc 176310 unknown 33452 muc 1364
915.11/915.17	c iter 1378 time 911.558 not-muc 176310 unknown 33451 muc 1365
915.11/915.17	c iter 1379 time 911.576 not-muc 176310 unknown 33450 muc 1366
915.11/915.17	c iter 1380 time 911.627 not-muc 176310 unknown 33449 muc 1367
915.11/915.17	c iter 1381 time 911.649 not-muc 176310 unknown 33448 muc 1368
915.11/915.17	c iter 1382 time 911.685 not-muc 176310 unknown 33447 muc 1369
915.11/915.17	c iter 1383 time 911.724 not-muc 176310 unknown 33446 muc 1370
915.11/915.17	c iter 1384 time 911.749 not-muc 176310 unknown 33445 muc 1371
915.11/915.17	c iter 1385 time 911.778 not-muc 176310 unknown 33444 muc 1372
915.11/915.17	c iter 1386 time 911.804 not-muc 176310 unknown 33443 muc 1373
915.11/915.17	c iter 1387 time 911.83 not-muc 176310 unknown 33442 muc 1374
915.11/915.17	c iter 1388 time 911.859 not-muc 176310 unknown 33441 muc 1375
915.11/915.17	c iter 1389 time 911.886 not-muc 176310 unknown 33440 muc 1376
915.11/915.17	c iter 1390 time 911.914 not-muc 176310 unknown 33439 muc 1377
915.11/915.17	c iter 1391 time 911.942 not-muc 176310 unknown 33438 muc 1378
915.11/915.17	c iter 1392 time 911.969 not-muc 176310 unknown 33437 muc 1379
915.11/915.17	c iter 1393 time 912.127 not-muc 176310 unknown 33436 muc 1380
915.11/915.17	c iter 1394 time 912.162 not-muc 176310 unknown 33435 muc 1381
915.11/915.17	c iter 1395 time 912.205 not-muc 176310 unknown 33434 muc 1382
915.11/915.17	c iter 1396 time 913.263 not-muc 176346 unknown 33398 muc 1382
915.11/915.17	c iter 1397 time 913.294 not-muc 176346 unknown 33397 muc 1383
915.11/915.17	c iter 1398 time 913.315 not-muc 176346 unknown 33396 muc 1384
915.11/915.17	c iter 1399 time 913.839 not-muc 176362 unknown 33380 muc 1384
915.11/915.17	c iter 1400 time 913.94 not-muc 176362 unknown 33379 muc 1385
915.11/915.17	c iter 1401 time 913.96 not-muc 176362 unknown 33378 muc 1386
915.11/915.17	c iter 1402 time 913.982 not-muc 176362 unknown 33377 muc 1387
915.11/915.17	c iter 1403 time 914.004 not-muc 176362 unknown 33376 muc 1388
918.30/918.39	c iter 1404 time 914.025 not-muc 176362 unknown 33375 muc 1389
918.30/918.39	c iter 1405 time 914.045 not-muc 176362 unknown 33374 muc 1390
918.30/918.39	c iter 1406 time 914.065 not-muc 176362 unknown 33373 muc 1391
918.30/918.39	c iter 1407 time 914.084 not-muc 176362 unknown 33372 muc 1392
918.30/918.39	c iter 1408 time 914.104 not-muc 176362 unknown 33371 muc 1393
918.30/918.39	c iter 1409 time 914.124 not-muc 176362 unknown 33370 muc 1394
918.30/918.39	c iter 1410 time 914.185 not-muc 176362 unknown 33369 muc 1395
918.30/918.39	c iter 1411 time 914.206 not-muc 176362 unknown 33368 muc 1396
918.30/918.39	c iter 1412 time 914.228 not-muc 176362 unknown 33367 muc 1397
918.30/918.39	c iter 1413 time 914.249 not-muc 176362 unknown 33366 muc 1398
918.30/918.39	c iter 1414 time 914.278 not-muc 176362 unknown 33365 muc 1399
918.30/918.39	c iter 1415 time 914.302 not-muc 176362 unknown 33364 muc 1400
918.30/918.39	c iter 1416 time 914.325 not-muc 176362 unknown 33363 muc 1401
918.30/918.39	c iter 1417 time 914.381 not-muc 176362 unknown 33362 muc 1402
918.30/918.39	c iter 1418 time 914.404 not-muc 176362 unknown 33361 muc 1403
918.30/918.39	c iter 1419 time 914.437 not-muc 176362 unknown 33360 muc 1404
918.30/918.39	c iter 1420 time 914.459 not-muc 176362 unknown 33359 muc 1405
918.30/918.39	c iter 1421 time 914.481 not-muc 176362 unknown 33358 muc 1406
918.30/918.39	c iter 1422 time 914.505 not-muc 176362 unknown 33357 muc 1407
918.30/918.39	c iter 1423 time 914.527 not-muc 176362 unknown 33356 muc 1408
918.30/918.39	c iter 1424 time 914.742 not-muc 176366 unknown 33352 muc 1408
918.30/918.39	c iter 1425 time 914.863 not-muc 176368 unknown 33350 muc 1408
918.30/918.39	c iter 1426 time 914.89 not-muc 176368 unknown 33349 muc 1409
918.30/918.39	c iter 1427 time 914.911 not-muc 176368 unknown 33348 muc 1410
918.30/918.39	c iter 1428 time 914.93 not-muc 176368 unknown 33347 muc 1411
918.30/918.39	c iter 1429 time 914.949 not-muc 176368 unknown 33346 muc 1412
918.30/918.39	c iter 1430 time 914.969 not-muc 176368 unknown 33345 muc 1413
918.30/918.39	c iter 1431 time 915.066 not-muc 176370 unknown 33343 muc 1413
918.30/918.39	c iter 1432 time 915.099 not-muc 176370 unknown 33342 muc 1414
918.30/918.39	c iter 1433 time 915.123 not-muc 176370 unknown 33341 muc 1415
918.30/918.39	c iter 1434 time 915.141 not-muc 176370 unknown 33340 muc 1416
918.30/918.39	c iter 1435 time 915.16 not-muc 176370 unknown 33339 muc 1417
918.30/918.39	c iter 1436 time 915.177 not-muc 176370 unknown 33338 muc 1418
918.30/918.39	c iter 1437 time 915.196 not-muc 176370 unknown 33337 muc 1419
918.30/918.39	c iter 1438 time 915.291 not-muc 176370 unknown 33336 muc 1420
918.30/918.39	c iter 1439 time 915.318 not-muc 176370 unknown 33335 muc 1421
918.30/918.39	c iter 1440 time 915.862 not-muc 176370 unknown 33334 muc 1422
918.30/918.39	c iter 1441 time 915.89 not-muc 176370 unknown 33333 muc 1423
918.30/918.39	c iter 1442 time 915.918 not-muc 176370 unknown 33332 muc 1424
918.30/918.39	c iter 1443 time 915.938 not-muc 176370 unknown 33331 muc 1425
918.30/918.39	c iter 1444 time 915.96 not-muc 176370 unknown 33330 muc 1426
918.30/918.39	c iter 1445 time 915.98 not-muc 176370 unknown 33329 muc 1427
918.30/918.39	c iter 1446 time 916 not-muc 176370 unknown 33328 muc 1428
918.30/918.39	c iter 1447 time 916.02 not-muc 176370 unknown 33327 muc 1429
918.30/918.39	c iter 1448 time 916.04 not-muc 176370 unknown 33326 muc 1430
918.30/918.39	c iter 1449 time 916.061 not-muc 176370 unknown 33325 muc 1431
918.30/918.39	c iter 1450 time 916.082 not-muc 176370 unknown 33324 muc 1432
918.30/918.39	c iter 1451 time 916.103 not-muc 176370 unknown 33323 muc 1433
918.30/918.39	c iter 1452 time 916.125 not-muc 176370 unknown 33322 muc 1434
918.30/918.39	c iter 1453 time 916.146 not-muc 176370 unknown 33321 muc 1435
918.30/918.39	c iter 1454 time 916.167 not-muc 176370 unknown 33320 muc 1436
918.30/918.39	c iter 1455 time 916.19 not-muc 176370 unknown 33319 muc 1437
918.30/918.39	c iter 1456 time 916.213 not-muc 176370 unknown 33318 muc 1438
918.30/918.39	c iter 1457 time 916.236 not-muc 176370 unknown 33317 muc 1439
918.30/918.39	c iter 1458 time 916.27 not-muc 176370 unknown 33316 muc 1440
918.30/918.39	c iter 1459 time 916.341 not-muc 176370 unknown 33315 muc 1441
918.30/918.39	c iter 1460 time 916.366 not-muc 176370 unknown 33314 muc 1442
918.30/918.39	c iter 1461 time 916.7 not-muc 176370 unknown 33313 muc 1443
918.30/918.39	c iter 1462 time 916.75 not-muc 176370 unknown 33312 muc 1444
918.30/918.39	c iter 1463 time 916.778 not-muc 176370 unknown 33311 muc 1445
918.30/918.39	c iter 1464 time 917.026 not-muc 176370 unknown 33310 muc 1446
918.30/918.39	c iter 1465 time 917.07 not-muc 176370 unknown 33309 muc 1447
918.30/918.39	c iter 1466 time 917.121 not-muc 176370 unknown 33308 muc 1448
918.30/918.39	c iter 1467 time 917.171 not-muc 176370 unknown 33307 muc 1449
918.30/918.39	c iter 1468 time 917.209 not-muc 176370 unknown 33306 muc 1450
929.41/929.45	c iter 1469 time 917.281 not-muc 176370 unknown 33305 muc 1451
929.41/929.45	c iter 1470 time 917.386 not-muc 176370 unknown 33304 muc 1452
929.41/929.45	c iter 1471 time 917.43 not-muc 176370 unknown 33303 muc 1453
929.41/929.45	c iter 1472 time 917.466 not-muc 176370 unknown 33302 muc 1454
929.41/929.45	c iter 1473 time 917.626 not-muc 176370 unknown 33301 muc 1455
929.41/929.45	c iter 1474 time 917.676 not-muc 176370 unknown 33300 muc 1456
929.41/929.45	c iter 1475 time 917.722 not-muc 176370 unknown 33299 muc 1457
929.41/929.45	c iter 1476 time 917.884 not-muc 176370 unknown 33298 muc 1458
929.41/929.45	c iter 1477 time 917.968 not-muc 176370 unknown 33297 muc 1459
929.41/929.45	c iter 1478 time 918.018 not-muc 176370 unknown 33296 muc 1460
929.41/929.45	c iter 1479 time 918.217 not-muc 176370 unknown 33295 muc 1461
929.41/929.45	c iter 1480 time 918.274 not-muc 176370 unknown 33294 muc 1462
929.41/929.45	c iter 1481 time 918.326 not-muc 176370 unknown 33293 muc 1463
929.41/929.45	c iter 1482 time 918.409 not-muc 176370 unknown 33292 muc 1464
929.41/929.45	c iter 1483 time 918.466 not-muc 176370 unknown 33291 muc 1465
929.41/929.45	c iter 1484 time 918.521 not-muc 176370 unknown 33290 muc 1466
929.41/929.45	c iter 1485 time 918.578 not-muc 176370 unknown 33289 muc 1467
929.41/929.45	c iter 1486 time 918.636 not-muc 176370 unknown 33288 muc 1468
929.41/929.45	c iter 1487 time 918.696 not-muc 176370 unknown 33287 muc 1469
929.41/929.45	c iter 1488 time 918.754 not-muc 176370 unknown 33286 muc 1470
929.41/929.45	c iter 1489 time 918.81 not-muc 176370 unknown 33285 muc 1471
929.41/929.45	c iter 1490 time 918.871 not-muc 176370 unknown 33284 muc 1472
929.41/929.45	c iter 1491 time 918.938 not-muc 176370 unknown 33283 muc 1473
929.41/929.45	c iter 1492 time 919.003 not-muc 176370 unknown 33282 muc 1474
929.41/929.45	c iter 1493 time 919.071 not-muc 176370 unknown 33281 muc 1475
929.41/929.45	c iter 1494 time 919.137 not-muc 176370 unknown 33280 muc 1476
929.41/929.45	c iter 1495 time 919.208 not-muc 176370 unknown 33279 muc 1477
929.41/929.45	c iter 1496 time 919.278 not-muc 176370 unknown 33278 muc 1478
929.41/929.45	c iter 1497 time 919.354 not-muc 176370 unknown 33277 muc 1479
929.41/929.45	c iter 1498 time 919.428 not-muc 176370 unknown 33276 muc 1480
929.41/929.45	c iter 1499 time 919.504 not-muc 176370 unknown 33275 muc 1481
929.41/929.45	c iter 1500 time 919.586 not-muc 176370 unknown 33274 muc 1482
929.41/929.45	c iter 1501 time 919.675 not-muc 176370 unknown 33273 muc 1483
929.41/929.45	c iter 1502 time 919.76 not-muc 176370 unknown 33272 muc 1484
929.41/929.45	c iter 1503 time 919.839 not-muc 176370 unknown 33271 muc 1485
929.41/929.45	c iter 1504 time 920.008 not-muc 176370 unknown 33270 muc 1486
929.41/929.45	c iter 1505 time 920.085 not-muc 176370 unknown 33269 muc 1487
929.41/929.45	c iter 1506 time 920.374 not-muc 176370 unknown 33268 muc 1488
929.41/929.45	c iter 1507 time 920.466 not-muc 176370 unknown 33267 muc 1489
929.41/929.45	c iter 1508 time 920.54 not-muc 176370 unknown 33266 muc 1490
929.41/929.45	c iter 1509 time 920.757 not-muc 176370 unknown 33265 muc 1491
929.41/929.45	c iter 1510 time 920.832 not-muc 176370 unknown 33264 muc 1492
929.41/929.45	c iter 1511 time 920.904 not-muc 176370 unknown 33263 muc 1493
929.41/929.45	c iter 1512 time 920.97 not-muc 176370 unknown 33262 muc 1494
929.41/929.45	c iter 1513 time 921.038 not-muc 176370 unknown 33261 muc 1495
929.41/929.45	c iter 1514 time 921.106 not-muc 176370 unknown 33260 muc 1496
929.41/929.45	c iter 1515 time 921.176 not-muc 176370 unknown 33259 muc 1497
929.41/929.45	c iter 1516 time 921.248 not-muc 176370 unknown 33258 muc 1498
929.41/929.45	c iter 1517 time 921.318 not-muc 176370 unknown 33257 muc 1499
929.41/929.45	c iter 1518 time 921.392 not-muc 176370 unknown 33256 muc 1500
929.41/929.45	c iter 1519 time 921.47 not-muc 176370 unknown 33255 muc 1501
929.41/929.45	c iter 1520 time 921.552 not-muc 176370 unknown 33254 muc 1502
929.41/929.45	c iter 1521 time 921.631 not-muc 176370 unknown 33253 muc 1503
929.41/929.45	c iter 1522 time 921.714 not-muc 176370 unknown 33252 muc 1504
929.41/929.45	c iter 1523 time 921.8 not-muc 176370 unknown 33251 muc 1505
929.41/929.45	c iter 1524 time 921.897 not-muc 176370 unknown 33250 muc 1506
929.41/929.45	c iter 1525 time 921.973 not-muc 176370 unknown 33249 muc 1507
929.41/929.45	c iter 1526 time 922.059 not-muc 176370 unknown 33248 muc 1508
929.41/929.45	c iter 1527 time 923.152 not-muc 176370 unknown 33247 muc 1509
929.41/929.45	c iter 1528 time 923.365 not-muc 176370 unknown 33246 muc 1510
929.41/929.45	c iter 1529 time 926.046 not-muc 176370 unknown 33245 muc 1511
929.41/929.45	c iter 1530 time 927.653 not-muc 176370 unknown 33244 muc 1512
929.41/929.45	c iter 1531 time 927.938 not-muc 176370 unknown 33243 muc 1513
929.41/929.45	c iter 1532 time 928.095 not-muc 176370 unknown 33242 muc 1514
929.41/929.45	c iter 1533 time 928.242 not-muc 176370 unknown 33241 muc 1515
954.61/954.62	c iter 1534 time 928.383 not-muc 176370 unknown 33240 muc 1516
954.61/954.62	c iter 1535 time 928.594 not-muc 176370 unknown 33239 muc 1517
954.61/954.62	c iter 1536 time 928.856 not-muc 176370 unknown 33238 muc 1518
954.61/954.62	c iter 1537 time 929.022 not-muc 176370 unknown 33237 muc 1519
954.61/954.62	c iter 1538 time 929.173 not-muc 176370 unknown 33236 muc 1520
954.61/954.62	c iter 1539 time 929.327 not-muc 176370 unknown 33235 muc 1521
954.61/954.62	c iter 1540 time 929.475 not-muc 176370 unknown 33234 muc 1522
954.61/954.62	c iter 1541 time 929.618 not-muc 176370 unknown 33233 muc 1523
954.61/954.62	c iter 1542 time 929.871 not-muc 176370 unknown 33232 muc 1524
954.61/954.62	c iter 1543 time 930.032 not-muc 176370 unknown 33231 muc 1525
954.61/954.62	c iter 1544 time 931.04 not-muc 176370 unknown 33230 muc 1526
954.61/954.62	c iter 1545 time 931.863 not-muc 176370 unknown 33229 muc 1527
954.61/954.62	c iter 1546 time 932.59 not-muc 176370 unknown 33228 muc 1528
954.61/954.62	c iter 1547 time 932.855 not-muc 176370 unknown 33227 muc 1529
954.61/954.62	c iter 1548 time 934.025 not-muc 176370 unknown 33226 muc 1530
954.61/954.62	c iter 1549 time 934.399 not-muc 176370 unknown 33225 muc 1531
954.61/954.62	c iter 1550 time 934.611 not-muc 176370 unknown 33224 muc 1532
954.61/954.62	c iter 1551 time 934.863 not-muc 176370 unknown 33223 muc 1533
954.61/954.62	c iter 1552 time 935.076 not-muc 176370 unknown 33222 muc 1534
954.61/954.62	c iter 1553 time 935.35 not-muc 176370 unknown 33221 muc 1535
954.61/954.62	c iter 1554 time 935.977 not-muc 176370 unknown 33220 muc 1536
954.61/954.62	c iter 1555 time 936.253 not-muc 176370 unknown 33219 muc 1537
954.61/954.62	c iter 1556 time 936.732 not-muc 176370 unknown 33218 muc 1538
954.61/954.62	c iter 1557 time 937.561 not-muc 176370 unknown 33217 muc 1539
954.61/954.62	c iter 1558 time 937.926 not-muc 176370 unknown 33216 muc 1540
954.61/954.62	c iter 1559 time 938.201 not-muc 176370 unknown 33215 muc 1541
954.61/954.62	c iter 1560 time 939.206 not-muc 176370 unknown 33214 muc 1542
954.61/954.62	c iter 1561 time 939.574 not-muc 176370 unknown 33213 muc 1543
954.61/954.62	c iter 1562 time 939.907 not-muc 176370 unknown 33212 muc 1544
954.61/954.62	c iter 1563 time 940.226 not-muc 176370 unknown 33211 muc 1545
954.61/954.62	c iter 1564 time 940.525 not-muc 176370 unknown 33210 muc 1546
954.61/954.62	c iter 1565 time 940.799 not-muc 176370 unknown 33209 muc 1547
954.61/954.62	c iter 1566 time 941.061 not-muc 176370 unknown 33208 muc 1548
954.61/954.62	c iter 1567 time 941.334 not-muc 176370 unknown 33207 muc 1549
954.61/954.62	c iter 1568 time 941.601 not-muc 176370 unknown 33206 muc 1550
954.61/954.62	c iter 1569 time 941.879 not-muc 176370 unknown 33205 muc 1551
954.61/954.62	c iter 1570 time 942.16 not-muc 176370 unknown 33204 muc 1552
954.61/954.62	c iter 1571 time 943.039 not-muc 176370 unknown 33203 muc 1553
954.61/954.62	c iter 1572 time 943.431 not-muc 176370 unknown 33202 muc 1554
954.61/954.62	c iter 1573 time 943.698 not-muc 176370 unknown 33201 muc 1555
954.61/954.62	c iter 1574 time 944.217 not-muc 176370 unknown 33200 muc 1556
954.61/954.62	c iter 1575 time 945.241 not-muc 176370 unknown 33199 muc 1557
954.61/954.62	c iter 1576 time 945.781 not-muc 176370 unknown 33198 muc 1558
954.61/954.62	c iter 1577 time 946.097 not-muc 176370 unknown 33197 muc 1559
954.61/954.62	c iter 1578 time 946.891 not-muc 176370 unknown 33196 muc 1560
954.61/954.62	c iter 1579 time 947.353 not-muc 176370 unknown 33195 muc 1561
954.61/954.62	c iter 1580 time 947.653 not-muc 176370 unknown 33194 muc 1562
954.61/954.62	c iter 1581 time 947.926 not-muc 176370 unknown 33193 muc 1563
954.61/954.62	c iter 1582 time 948.18 not-muc 176370 unknown 33192 muc 1564
954.61/954.62	c iter 1583 time 948.461 not-muc 176370 unknown 33191 muc 1565
954.61/954.62	c iter 1584 time 948.743 not-muc 176370 unknown 33190 muc 1566
954.61/954.62	c iter 1585 time 948.98 not-muc 176370 unknown 33189 muc 1567
954.61/954.62	c iter 1586 time 949.269 not-muc 176370 unknown 33188 muc 1568
954.61/954.62	c iter 1587 time 949.572 not-muc 176370 unknown 33187 muc 1569
954.61/954.62	c iter 1588 time 949.849 not-muc 176370 unknown 33186 muc 1570
954.61/954.62	c iter 1589 time 950.153 not-muc 176370 unknown 33185 muc 1571
954.61/954.62	c iter 1590 time 950.467 not-muc 176370 unknown 33184 muc 1572
954.61/954.62	c iter 1591 time 950.754 not-muc 176370 unknown 33183 muc 1573
954.61/954.62	c iter 1592 time 951.071 not-muc 176370 unknown 33182 muc 1574
954.61/954.62	c iter 1593 time 951.4 not-muc 176370 unknown 33181 muc 1575
954.61/954.62	c iter 1594 time 951.724 not-muc 176370 unknown 33180 muc 1576
954.61/954.62	c iter 1595 time 952.133 not-muc 176370 unknown 33179 muc 1577
954.61/954.62	c iter 1596 time 952.616 not-muc 176370 unknown 33178 muc 1578
954.61/954.62	c iter 1597 time 953.052 not-muc 176370 unknown 33177 muc 1579
954.61/954.62	c iter 1598 time 953.373 not-muc 176370 unknown 33176 muc 1580
992.31/992.33	c iter 1599 time 954.213 not-muc 176370 unknown 33175 muc 1581
992.31/992.33	c iter 1600 time 954.899 not-muc 176370 unknown 33174 muc 1582
992.31/992.33	c iter 1601 time 955.513 not-muc 176370 unknown 33173 muc 1583
992.31/992.33	c iter 1602 time 956.133 not-muc 176370 unknown 33172 muc 1584
992.31/992.33	c iter 1603 time 956.611 not-muc 176370 unknown 33171 muc 1585
992.31/992.33	c iter 1604 time 957.127 not-muc 176370 unknown 33170 muc 1586
992.31/992.33	c iter 1605 time 958.064 not-muc 176370 unknown 33169 muc 1587
992.31/992.33	c iter 1606 time 958.579 not-muc 176370 unknown 33168 muc 1588
992.31/992.33	c iter 1607 time 958.947 not-muc 176370 unknown 33167 muc 1589
992.31/992.33	c iter 1608 time 959.615 not-muc 176370 unknown 33166 muc 1590
992.31/992.33	c iter 1609 time 960.119 not-muc 176370 unknown 33165 muc 1591
992.31/992.33	c iter 1610 time 960.554 not-muc 176370 unknown 33164 muc 1592
992.31/992.33	c iter 1611 time 961.145 not-muc 176370 unknown 33163 muc 1593
992.31/992.33	c iter 1612 time 961.628 not-muc 176370 unknown 33162 muc 1594
992.31/992.33	c iter 1613 time 961.987 not-muc 176370 unknown 33161 muc 1595
992.31/992.33	c iter 1614 time 962.327 not-muc 176370 unknown 33160 muc 1596
992.31/992.33	c iter 1615 time 962.672 not-muc 176370 unknown 33159 muc 1597
992.31/992.33	c iter 1616 time 963.022 not-muc 176370 unknown 33158 muc 1598
992.31/992.33	c iter 1617 time 963.355 not-muc 176370 unknown 33157 muc 1599
992.31/992.33	c iter 1618 time 963.697 not-muc 176370 unknown 33156 muc 1600
992.31/992.33	c iter 1619 time 964.056 not-muc 176370 unknown 33155 muc 1601
992.31/992.33	c iter 1620 time 964.434 not-muc 176370 unknown 33154 muc 1602
992.31/992.33	c iter 1621 time 964.791 not-muc 176370 unknown 33153 muc 1603
992.31/992.33	c iter 1622 time 965.193 not-muc 176370 unknown 33152 muc 1604
992.31/992.33	c iter 1623 time 965.631 not-muc 176370 unknown 33151 muc 1605
992.31/992.33	c iter 1624 time 966.068 not-muc 176370 unknown 33150 muc 1606
992.31/992.33	c iter 1625 time 966.536 not-muc 176370 unknown 33149 muc 1607
992.31/992.33	c iter 1626 time 967.005 not-muc 176370 unknown 33148 muc 1608
992.31/992.33	c iter 1627 time 967.456 not-muc 176370 unknown 33147 muc 1609
992.31/992.33	c iter 1628 time 967.936 not-muc 176370 unknown 33146 muc 1610
992.31/992.33	c iter 1629 time 968.404 not-muc 176370 unknown 33145 muc 1611
992.31/992.33	c iter 1630 time 968.909 not-muc 176370 unknown 33144 muc 1612
992.31/992.33	c iter 1631 time 969.461 not-muc 176370 unknown 33143 muc 1613
992.31/992.33	c iter 1632 time 969.97 not-muc 176370 unknown 33142 muc 1614
992.31/992.33	c iter 1633 time 970.49 not-muc 176370 unknown 33141 muc 1615
992.31/992.33	c iter 1634 time 971.058 not-muc 176370 unknown 33140 muc 1616
992.31/992.33	c iter 1635 time 971.594 not-muc 176370 unknown 33139 muc 1617
992.31/992.33	c iter 1636 time 972.122 not-muc 176370 unknown 33138 muc 1618
992.31/992.33	c iter 1637 time 972.696 not-muc 176370 unknown 33137 muc 1619
992.31/992.33	c iter 1638 time 973.272 not-muc 176370 unknown 33136 muc 1620
992.31/992.33	c iter 1639 time 973.788 not-muc 176370 unknown 33135 muc 1621
992.31/992.33	c iter 1640 time 974.284 not-muc 176370 unknown 33134 muc 1622
992.31/992.33	c iter 1641 time 975.072 not-muc 176370 unknown 33133 muc 1623
992.31/992.33	c iter 1642 time 976.249 not-muc 176370 unknown 33132 muc 1624
992.31/992.33	c iter 1643 time 977.068 not-muc 176370 unknown 33131 muc 1625
992.31/992.33	c iter 1644 time 978.153 not-muc 176370 unknown 33130 muc 1626
992.31/992.33	c iter 1645 time 978.923 not-muc 176370 unknown 33129 muc 1627
992.31/992.33	c iter 1646 time 979.596 not-muc 176370 unknown 33128 muc 1628
992.31/992.33	c iter 1647 time 980.507 not-muc 176370 unknown 33127 muc 1629
992.31/992.33	c iter 1648 time 981.245 not-muc 176370 unknown 33126 muc 1630
992.31/992.33	c iter 1649 time 981.98 not-muc 176370 unknown 33125 muc 1631
992.31/992.33	c iter 1650 time 982.629 not-muc 176370 unknown 33124 muc 1632
992.31/992.33	c iter 1651 time 983.238 not-muc 176370 unknown 33123 muc 1633
992.31/992.33	c iter 1652 time 983.879 not-muc 176370 unknown 33122 muc 1634
992.31/992.33	c iter 1653 time 984.539 not-muc 176370 unknown 33121 muc 1635
992.31/992.33	c iter 1654 time 985.144 not-muc 176370 unknown 33120 muc 1636
992.31/992.33	c iter 1655 time 985.726 not-muc 176370 unknown 33119 muc 1637
992.31/992.33	c iter 1656 time 986.378 not-muc 176370 unknown 33118 muc 1638
992.31/992.33	c iter 1657 time 986.999 not-muc 176370 unknown 33117 muc 1639
992.31/992.33	c iter 1658 time 987.604 not-muc 176370 unknown 33116 muc 1640
992.31/992.33	c iter 1659 time 988.293 not-muc 176370 unknown 33115 muc 1641
992.31/992.33	c iter 1660 time 988.936 not-muc 176370 unknown 33114 muc 1642
992.31/992.33	c iter 1661 time 989.634 not-muc 176370 unknown 33113 muc 1643
992.31/992.33	c iter 1662 time 990.354 not-muc 176370 unknown 33112 muc 1644
992.31/992.33	c iter 1663 time 991.069 not-muc 176370 unknown 33111 muc 1645
1049.71/1049.76	c iter 1664 time 991.773 not-muc 176370 unknown 33110 muc 1646
1049.71/1049.76	c iter 1665 time 993.039 not-muc 176370 unknown 33109 muc 1647
1049.71/1049.76	c iter 1666 time 993.998 not-muc 176370 unknown 33108 muc 1648
1049.71/1049.76	c iter 1667 time 994.739 not-muc 176370 unknown 33107 muc 1649
1049.71/1049.76	c iter 1668 time 995.405 not-muc 176370 unknown 33106 muc 1650
1049.71/1049.76	c iter 1669 time 995.976 not-muc 176370 unknown 33105 muc 1651
1049.71/1049.76	c iter 1670 time 996.438 not-muc 176370 unknown 33104 muc 1652
1049.71/1049.76	c iter 1671 time 996.896 not-muc 176370 unknown 33103 muc 1653
1049.71/1049.76	c iter 1672 time 997.403 not-muc 176370 unknown 33102 muc 1654
1049.71/1049.76	c iter 1673 time 997.97 not-muc 176370 unknown 33101 muc 1655
1049.71/1049.76	c iter 1674 time 998.485 not-muc 176370 unknown 33100 muc 1656
1049.71/1049.76	c iter 1675 time 999.058 not-muc 176370 unknown 33099 muc 1657
1049.71/1049.76	c iter 1676 time 999.591 not-muc 176370 unknown 33098 muc 1658
1049.71/1049.76	c iter 1677 time 1000.18 not-muc 176370 unknown 33097 muc 1659
1049.71/1049.76	c iter 1678 time 1000.69 not-muc 176370 unknown 33096 muc 1660
1049.71/1049.76	c iter 1679 time 1001.31 not-muc 176370 unknown 33095 muc 1661
1049.71/1049.76	c iter 1680 time 1002.11 not-muc 176370 unknown 33094 muc 1662
1049.71/1049.76	c iter 1681 time 1002.93 not-muc 176370 unknown 33093 muc 1663
1049.71/1049.76	c iter 1682 time 1003.79 not-muc 176370 unknown 33092 muc 1664
1049.71/1049.76	c iter 1683 time 1004.61 not-muc 176370 unknown 33091 muc 1665
1049.71/1049.76	c iter 1684 time 1005.52 not-muc 176370 unknown 33090 muc 1666
1049.71/1049.76	c iter 1685 time 1006.54 not-muc 176370 unknown 33089 muc 1667
1049.71/1049.76	c iter 1686 time 1007.64 not-muc 176370 unknown 33088 muc 1668
1049.71/1049.76	c iter 1687 time 1008.59 not-muc 176370 unknown 33087 muc 1669
1049.71/1049.76	c iter 1688 time 1009.55 not-muc 176370 unknown 33086 muc 1670
1049.71/1049.76	c iter 1689 time 1010.48 not-muc 176370 unknown 33085 muc 1671
1049.71/1049.76	c iter 1690 time 1011.31 not-muc 176370 unknown 33084 muc 1672
1049.71/1049.76	c iter 1691 time 1012.1 not-muc 176370 unknown 33083 muc 1673
1049.71/1049.76	c iter 1692 time 1012.91 not-muc 176370 unknown 33082 muc 1674
1049.71/1049.76	c iter 1693 time 1013.71 not-muc 176370 unknown 33081 muc 1675
1049.71/1049.76	c iter 1694 time 1014.49 not-muc 176370 unknown 33080 muc 1676
1049.71/1049.76	c iter 1695 time 1015.36 not-muc 176370 unknown 33079 muc 1677
1049.71/1049.76	c iter 1696 time 1016.21 not-muc 176370 unknown 33078 muc 1678
1049.71/1049.77	c iter 1697 time 1017.11 not-muc 176370 unknown 33077 muc 1679
1049.71/1049.77	c iter 1698 time 1018.03 not-muc 176370 unknown 33076 muc 1680
1049.71/1049.77	c iter 1699 time 1018.95 not-muc 176370 unknown 33075 muc 1681
1049.71/1049.77	c iter 1700 time 1019.79 not-muc 176370 unknown 33074 muc 1682
1049.71/1049.77	c iter 1701 time 1020.64 not-muc 176370 unknown 33073 muc 1683
1049.71/1049.77	c iter 1702 time 1021.49 not-muc 176370 unknown 33072 muc 1684
1049.71/1049.77	c iter 1703 time 1022.43 not-muc 176370 unknown 33071 muc 1685
1049.71/1049.77	c iter 1704 time 1023.4 not-muc 176370 unknown 33070 muc 1686
1049.71/1049.77	c iter 1705 time 1024.28 not-muc 176370 unknown 33069 muc 1687
1049.71/1049.77	c iter 1706 time 1025.25 not-muc 176370 unknown 33068 muc 1688
1049.71/1049.77	c iter 1707 time 1026.14 not-muc 176370 unknown 33067 muc 1689
1049.71/1049.77	c iter 1708 time 1027.16 not-muc 176370 unknown 33066 muc 1690
1049.71/1049.77	c iter 1709 time 1028.48 not-muc 176370 unknown 33065 muc 1691
1049.71/1049.77	c iter 1710 time 1029.61 not-muc 176370 unknown 33064 muc 1692
1049.71/1049.77	c iter 1711 time 1030.63 not-muc 176370 unknown 33063 muc 1693
1049.71/1049.77	c iter 1712 time 1031.64 not-muc 176370 unknown 33062 muc 1694
1049.71/1049.77	c iter 1713 time 1032.77 not-muc 176370 unknown 33061 muc 1695
1049.71/1049.77	c iter 1714 time 1033.85 not-muc 176370 unknown 33060 muc 1696
1049.71/1049.77	c iter 1715 time 1035.05 not-muc 176370 unknown 33059 muc 1697
1049.71/1049.77	c iter 1716 time 1036.53 not-muc 176370 unknown 33058 muc 1698
1049.71/1049.77	c iter 1717 time 1037.68 not-muc 176370 unknown 33057 muc 1699
1049.71/1049.77	c iter 1718 time 1038.82 not-muc 176370 unknown 33056 muc 1700
1049.71/1049.77	c iter 1719 time 1039.78 not-muc 176370 unknown 33055 muc 1701
1049.71/1049.77	c iter 1720 time 1040.63 not-muc 176370 unknown 33054 muc 1702
1049.71/1049.77	c iter 1721 time 1041.6 not-muc 176370 unknown 33053 muc 1703
1049.71/1049.77	c iter 1722 time 1042.61 not-muc 176370 unknown 33052 muc 1704
1049.71/1049.77	c iter 1723 time 1043.49 not-muc 176370 unknown 33051 muc 1705
1049.71/1049.77	c iter 1724 time 1044.51 not-muc 176370 unknown 33050 muc 1706
1049.71/1049.77	c iter 1725 time 1045.52 not-muc 176370 unknown 33049 muc 1707
1049.71/1049.77	c iter 1726 time 1046.41 not-muc 176370 unknown 33048 muc 1708
1049.71/1049.77	c iter 1727 time 1047.45 not-muc 176370 unknown 33047 muc 1709
1049.71/1049.77	c iter 1728 time 1048.49 not-muc 176370 unknown 33046 muc 1710
1126.51/1126.56	c iter 1729 time 1049.4 not-muc 176370 unknown 33045 muc 1711
1126.51/1126.56	c iter 1730 time 1050.46 not-muc 176370 unknown 33044 muc 1712
1126.51/1126.56	c iter 1731 time 1051.55 not-muc 176370 unknown 33043 muc 1713
1126.51/1126.56	c iter 1732 time 1052.46 not-muc 176370 unknown 33042 muc 1714
1126.51/1126.56	c iter 1733 time 1053.54 not-muc 176370 unknown 33041 muc 1715
1126.51/1126.56	c iter 1734 time 1054.62 not-muc 176370 unknown 33040 muc 1716
1126.51/1126.56	c iter 1735 time 1055.56 not-muc 176370 unknown 33039 muc 1717
1126.51/1126.56	c iter 1736 time 1056.66 not-muc 176370 unknown 33038 muc 1718
1126.51/1126.56	c iter 1737 time 1057.79 not-muc 176370 unknown 33037 muc 1719
1126.51/1126.56	c iter 1738 time 1058.91 not-muc 176370 unknown 33036 muc 1720
1126.51/1126.56	c iter 1739 time 1059.95 not-muc 176370 unknown 33035 muc 1721
1126.51/1126.56	c iter 1740 time 1061.32 not-muc 176370 unknown 33034 muc 1722
1126.51/1126.56	c iter 1741 time 1062.22 not-muc 176370 unknown 33033 muc 1723
1126.51/1126.56	c iter 1742 time 1063.25 not-muc 176370 unknown 33032 muc 1724
1126.51/1126.56	c iter 1743 time 1064.27 not-muc 176370 unknown 33031 muc 1725
1126.51/1126.56	c iter 1744 time 1064.69 not-muc 176370 unknown 33030 muc 1726
1126.51/1126.56	c iter 1745 time 1065.14 not-muc 176370 unknown 33029 muc 1727
1126.51/1126.56	c iter 1746 time 1065.63 not-muc 176370 unknown 33028 muc 1728
1126.51/1126.56	c iter 1747 time 1066.32 not-muc 176370 unknown 33027 muc 1729
1126.51/1126.56	c iter 1748 time 1066.96 not-muc 176370 unknown 33026 muc 1730
1126.51/1126.56	c iter 1749 time 1068 not-muc 176370 unknown 33025 muc 1731
1126.51/1126.56	c iter 1750 time 1069.52 not-muc 176370 unknown 33024 muc 1732
1126.51/1126.56	c iter 1751 time 1070.75 not-muc 176370 unknown 33023 muc 1733
1126.51/1126.56	c iter 1752 time 1071.77 not-muc 176370 unknown 33022 muc 1734
1126.51/1126.56	c iter 1753 time 1072.73 not-muc 176370 unknown 33021 muc 1735
1126.51/1126.56	c iter 1754 time 1073.67 not-muc 176370 unknown 33020 muc 1736
1126.51/1126.56	c iter 1755 time 1074.77 not-muc 176370 unknown 33019 muc 1737
1126.51/1126.56	c iter 1756 time 1075.73 not-muc 176370 unknown 33018 muc 1738
1126.51/1126.56	c iter 1757 time 1076.64 not-muc 176370 unknown 33017 muc 1739
1126.51/1126.56	c iter 1758 time 1077.71 not-muc 176370 unknown 33016 muc 1740
1126.51/1126.56	c iter 1759 time 1079.07 not-muc 176370 unknown 33015 muc 1741
1126.51/1126.56	c iter 1760 time 1080.21 not-muc 176370 unknown 33014 muc 1742
1126.51/1126.56	c iter 1761 time 1081.53 not-muc 176370 unknown 33013 muc 1743
1126.51/1126.56	c iter 1762 time 1083.1 not-muc 176370 unknown 33012 muc 1744
1126.51/1126.56	c iter 1763 time 1084.57 not-muc 176370 unknown 33011 muc 1745
1126.51/1126.56	c iter 1764 time 1085.93 not-muc 176370 unknown 33010 muc 1746
1126.51/1126.56	c iter 1765 time 1087.17 not-muc 176370 unknown 33009 muc 1747
1126.51/1126.56	c iter 1766 time 1088.3 not-muc 176370 unknown 33008 muc 1748
1126.51/1126.56	c iter 1767 time 1089.44 not-muc 176370 unknown 33007 muc 1749
1126.51/1126.56	c iter 1768 time 1090.61 not-muc 176370 unknown 33006 muc 1750
1126.51/1126.56	c iter 1769 time 1091.94 not-muc 176370 unknown 33005 muc 1751
1126.51/1126.56	c iter 1770 time 1093.26 not-muc 176370 unknown 33004 muc 1752
1126.51/1126.56	c iter 1771 time 1094.38 not-muc 176370 unknown 33003 muc 1753
1126.51/1126.56	c iter 1772 time 1095.69 not-muc 176370 unknown 33002 muc 1754
1126.51/1126.56	c iter 1773 time 1096.99 not-muc 176370 unknown 33001 muc 1755
1126.51/1126.56	c iter 1774 time 1098.27 not-muc 176370 unknown 33000 muc 1756
1126.51/1126.56	c iter 1775 time 1099.42 not-muc 176370 unknown 32999 muc 1757
1126.51/1126.56	c iter 1776 time 1100.47 not-muc 176370 unknown 32998 muc 1758
1126.51/1126.56	c iter 1777 time 1101.63 not-muc 176370 unknown 32997 muc 1759
1126.51/1126.56	c iter 1778 time 1102.97 not-muc 176370 unknown 32996 muc 1760
1126.51/1126.56	c iter 1779 time 1104.34 not-muc 176370 unknown 32995 muc 1761
1126.51/1126.56	c iter 1780 time 1105.58 not-muc 176370 unknown 32994 muc 1762
1126.51/1126.56	c iter 1781 time 1107.02 not-muc 176370 unknown 32993 muc 1763
1126.51/1126.56	c iter 1782 time 1108.57 not-muc 176370 unknown 32992 muc 1764
1126.51/1126.56	c iter 1783 time 1110.14 not-muc 176370 unknown 32991 muc 1765
1126.51/1126.56	c iter 1784 time 1111.6 not-muc 176370 unknown 32990 muc 1766
1126.51/1126.56	c iter 1785 time 1113.37 not-muc 176370 unknown 32989 muc 1767
1126.51/1126.56	c iter 1786 time 1115 not-muc 176370 unknown 32988 muc 1768
1126.51/1126.56	c iter 1787 time 1116.63 not-muc 176370 unknown 32987 muc 1769
1126.51/1126.56	c iter 1788 time 1118.08 not-muc 176370 unknown 32986 muc 1770
1126.51/1126.56	c iter 1789 time 1119.31 not-muc 176370 unknown 32985 muc 1771
1126.51/1126.56	c iter 1790 time 1120.63 not-muc 176370 unknown 32984 muc 1772
1126.51/1126.56	c iter 1791 time 1121.98 not-muc 176370 unknown 32983 muc 1773
1126.51/1126.56	c iter 1792 time 1123.14 not-muc 176370 unknown 32982 muc 1774
1126.51/1126.56	c iter 1793 time 1124.29 not-muc 176370 unknown 32981 muc 1775
1126.51/1126.56	c iter 1794 time 1125.27 not-muc 176370 unknown 32980 muc 1776
1261.62/1261.65	c iter 1795 time 1126.37 not-muc 176370 unknown 32979 muc 1777
1261.62/1261.65	c iter 1796 time 1127.97 not-muc 176370 unknown 32978 muc 1778
1261.62/1261.65	c iter 1797 time 1129.52 not-muc 176370 unknown 32977 muc 1779
1261.62/1261.65	c iter 1798 time 1131.04 not-muc 176370 unknown 32976 muc 1780
1261.62/1261.65	c iter 1799 time 1132.64 not-muc 176370 unknown 32975 muc 1781
1261.62/1261.65	c iter 1800 time 1134.28 not-muc 176370 unknown 32974 muc 1782
1261.62/1261.65	c iter 1801 time 1135.84 not-muc 176370 unknown 32973 muc 1783
1261.62/1261.65	c iter 1802 time 1137.33 not-muc 176370 unknown 32972 muc 1784
1261.62/1261.65	c iter 1803 time 1138.84 not-muc 176370 unknown 32971 muc 1785
1261.62/1261.65	c iter 1804 time 1140.28 not-muc 176370 unknown 32970 muc 1786
1261.62/1261.65	c iter 1805 time 1141.96 not-muc 176370 unknown 32969 muc 1787
1261.62/1261.65	c iter 1806 time 1143.68 not-muc 176370 unknown 32968 muc 1788
1261.62/1261.65	c iter 1807 time 1145.31 not-muc 176370 unknown 32967 muc 1789
1261.62/1261.65	c iter 1808 time 1147.07 not-muc 176370 unknown 32966 muc 1790
1261.62/1261.65	c iter 1809 time 1148.8 not-muc 176370 unknown 32965 muc 1791
1261.62/1261.65	c iter 1810 time 1150.47 not-muc 176370 unknown 32964 muc 1792
1261.62/1261.65	c iter 1811 time 1152.24 not-muc 176370 unknown 32963 muc 1793
1261.62/1261.65	c iter 1812 time 1154 not-muc 176370 unknown 32962 muc 1794
1261.62/1261.65	c iter 1813 time 1155.79 not-muc 176370 unknown 32961 muc 1795
1261.62/1261.65	c iter 1814 time 1157.57 not-muc 176370 unknown 32960 muc 1796
1261.62/1261.65	c iter 1815 time 1160.03 not-muc 176370 unknown 32959 muc 1797
1261.62/1261.65	c iter 1816 time 1163.1 not-muc 176370 unknown 32958 muc 1798
1261.62/1261.65	c iter 1817 time 1165.67 not-muc 176370 unknown 32957 muc 1799
1261.62/1261.65	c iter 1818 time 1168.19 not-muc 176370 unknown 32956 muc 1800
1261.62/1261.65	c iter 1819 time 1170.27 not-muc 176370 unknown 32955 muc 1801
1261.62/1261.65	c iter 1820 time 1172.06 not-muc 176370 unknown 32954 muc 1802
1261.62/1261.65	c iter 1821 time 1174.23 not-muc 176370 unknown 32953 muc 1803
1261.62/1261.65	c iter 1822 time 1176.64 not-muc 176370 unknown 32952 muc 1804
1261.62/1261.65	c iter 1823 time 1178.63 not-muc 176370 unknown 32951 muc 1805
1261.62/1261.65	c iter 1824 time 1180.62 not-muc 176370 unknown 32950 muc 1806
1261.62/1261.65	c iter 1825 time 1182.46 not-muc 176370 unknown 32949 muc 1807
1261.62/1261.65	c iter 1826 time 1184.52 not-muc 176370 unknown 32948 muc 1808
1261.62/1261.65	c iter 1827 time 1186.61 not-muc 176370 unknown 32947 muc 1809
1261.62/1261.65	c iter 1828 time 1188.72 not-muc 176370 unknown 32946 muc 1810
1261.62/1261.65	c iter 1829 time 1190.95 not-muc 176370 unknown 32945 muc 1811
1261.62/1261.65	c iter 1830 time 1193.11 not-muc 176370 unknown 32944 muc 1812
1261.62/1261.65	c iter 1831 time 1195.17 not-muc 176370 unknown 32943 muc 1813
1261.62/1261.65	c iter 1832 time 1197.29 not-muc 176370 unknown 32942 muc 1814
1261.62/1261.65	c iter 1833 time 1199.58 not-muc 176370 unknown 32941 muc 1815
1261.62/1261.65	c iter 1834 time 1201.89 not-muc 176370 unknown 32940 muc 1816
1261.62/1261.65	c iter 1835 time 1204.27 not-muc 176370 unknown 32939 muc 1817
1261.62/1261.65	c iter 1836 time 1206.53 not-muc 176370 unknown 32938 muc 1818
1261.62/1261.65	c iter 1837 time 1208.8 not-muc 176370 unknown 32937 muc 1819
1261.62/1261.65	c iter 1838 time 1210.99 not-muc 176370 unknown 32936 muc 1820
1261.62/1261.65	c iter 1839 time 1213.27 not-muc 176370 unknown 32935 muc 1821
1261.62/1261.65	c iter 1840 time 1215.42 not-muc 176370 unknown 32934 muc 1822
1261.62/1261.65	c iter 1841 time 1218.42 not-muc 176370 unknown 32933 muc 1823
1261.62/1261.65	c iter 1842 time 1221.35 not-muc 176370 unknown 32932 muc 1824
1261.62/1261.65	c iter 1843 time 1223.62 not-muc 176370 unknown 32931 muc 1825
1261.62/1261.65	c iter 1844 time 1225.96 not-muc 176370 unknown 32930 muc 1826
1261.62/1261.65	c iter 1845 time 1228.1 not-muc 176370 unknown 32929 muc 1827
1261.62/1261.65	c iter 1846 time 1230.16 not-muc 176370 unknown 32928 muc 1828
1261.62/1261.65	c iter 1847 time 1232.31 not-muc 176370 unknown 32927 muc 1829
1261.62/1261.65	c iter 1848 time 1234.83 not-muc 176370 unknown 32926 muc 1830
1261.62/1261.65	c iter 1849 time 1237.18 not-muc 176370 unknown 32925 muc 1831
1261.62/1261.65	c iter 1850 time 1239.6 not-muc 176370 unknown 32924 muc 1832
1261.62/1261.65	c iter 1851 time 1241.91 not-muc 176370 unknown 32923 muc 1833
1261.62/1261.65	c iter 1852 time 1244.04 not-muc 176370 unknown 32922 muc 1834
1261.62/1261.65	c iter 1853 time 1246.21 not-muc 176370 unknown 32921 muc 1835
1261.62/1261.65	c iter 1854 time 1248.46 not-muc 176370 unknown 32920 muc 1836
1261.62/1261.65	c iter 1855 time 1250.67 not-muc 176370 unknown 32919 muc 1837
1261.62/1261.65	c iter 1856 time 1253.04 not-muc 176370 unknown 32918 muc 1838
1261.62/1261.65	c iter 1857 time 1255.43 not-muc 176370 unknown 32917 muc 1839
1261.62/1261.65	c iter 1858 time 1257.93 not-muc 176370 unknown 32916 muc 1840
1261.62/1261.65	c iter 1859 time 1260.34 not-muc 176370 unknown 32915 muc 1841
1446.02/1446.00	c iter 1860 time 1262.96 not-muc 176370 unknown 32914 muc 1842
1446.02/1446.00	c iter 1861 time 1266.14 not-muc 176370 unknown 32913 muc 1843
1446.02/1446.00	c iter 1862 time 1269.74 not-muc 176370 unknown 32912 muc 1844
1446.02/1446.00	c iter 1863 time 1273.17 not-muc 176370 unknown 32911 muc 1845
1446.02/1446.00	c iter 1864 time 1276.32 not-muc 176370 unknown 32910 muc 1846
1446.02/1446.00	c iter 1865 time 1279.45 not-muc 176370 unknown 32909 muc 1847
1446.02/1446.00	c iter 1866 time 1282.33 not-muc 176370 unknown 32908 muc 1848
1446.02/1446.00	c iter 1867 time 1284.49 not-muc 176370 unknown 32907 muc 1849
1446.02/1446.00	c iter 1868 time 1287.76 not-muc 176370 unknown 32906 muc 1850
1446.02/1446.00	c iter 1869 time 1290.68 not-muc 176370 unknown 32905 muc 1851
1446.02/1446.00	c iter 1870 time 1293.01 not-muc 176370 unknown 32904 muc 1852
1446.02/1446.00	c iter 1871 time 1296.35 not-muc 176370 unknown 32903 muc 1853
1446.02/1446.00	c iter 1872 time 1299.17 not-muc 176370 unknown 32902 muc 1854
1446.02/1446.00	c iter 1873 time 1301.19 not-muc 176370 unknown 32901 muc 1855
1446.02/1446.00	c iter 1874 time 1303.93 not-muc 176370 unknown 32900 muc 1856
1446.02/1446.00	c iter 1875 time 1306.81 not-muc 176370 unknown 32899 muc 1857
1446.02/1446.00	c iter 1876 time 1308.72 not-muc 176370 unknown 32898 muc 1858
1446.02/1446.00	c iter 1877 time 1311.18 not-muc 176370 unknown 32897 muc 1859
1446.02/1446.00	c iter 1878 time 1313.7 not-muc 176370 unknown 32896 muc 1860
1446.02/1446.00	c iter 1879 time 1315.52 not-muc 176370 unknown 32895 muc 1861
1446.02/1446.00	c iter 1880 time 1317.86 not-muc 176370 unknown 32894 muc 1862
1446.02/1446.00	c iter 1881 time 1320.22 not-muc 176370 unknown 32893 muc 1863
1446.02/1446.00	c iter 1882 time 1322.07 not-muc 176370 unknown 32892 muc 1864
1446.02/1446.00	c iter 1883 time 1324.49 not-muc 176370 unknown 32891 muc 1865
1446.02/1446.00	c iter 1884 time 1326.84 not-muc 176370 unknown 32890 muc 1866
1446.02/1446.00	c iter 1885 time 1328.76 not-muc 176370 unknown 32889 muc 1867
1446.02/1446.00	c iter 1886 time 1331.17 not-muc 176370 unknown 32888 muc 1868
1446.02/1446.00	c iter 1887 time 1333.32 not-muc 176370 unknown 32887 muc 1869
1446.02/1446.00	c iter 1888 time 1335.48 not-muc 176370 unknown 32886 muc 1870
1446.02/1446.00	c iter 1889 time 1337.28 not-muc 176370 unknown 32885 muc 1871
1446.02/1446.00	c iter 1890 time 1340.12 not-muc 176370 unknown 32884 muc 1872
1446.02/1446.00	c iter 1891 time 1344.02 not-muc 176370 unknown 32883 muc 1873
1446.02/1446.00	c iter 1892 time 1347.88 not-muc 176370 unknown 32882 muc 1874
1446.02/1446.00	c iter 1893 time 1351.14 not-muc 176370 unknown 32881 muc 1875
1446.02/1446.00	c iter 1894 time 1353.89 not-muc 176370 unknown 32880 muc 1876
1446.02/1446.00	c iter 1895 time 1357.06 not-muc 176370 unknown 32879 muc 1877
1446.02/1446.00	c iter 1896 time 1359.8 not-muc 176370 unknown 32878 muc 1878
1446.02/1446.00	c iter 1897 time 1363.21 not-muc 176370 unknown 32877 muc 1879
1446.02/1446.00	c iter 1898 time 1365.74 not-muc 176370 unknown 32876 muc 1880
1446.02/1446.00	c iter 1899 time 1368.59 not-muc 176370 unknown 32875 muc 1881
1446.02/1446.00	c iter 1900 time 1371.01 not-muc 176370 unknown 32874 muc 1882
1446.02/1446.00	c iter 1901 time 1374.09 not-muc 176370 unknown 32873 muc 1883
1446.02/1446.00	c iter 1902 time 1377.01 not-muc 176370 unknown 32872 muc 1884
1446.02/1446.00	c iter 1903 time 1379.4 not-muc 176370 unknown 32871 muc 1885
1446.02/1446.00	c iter 1904 time 1382.24 not-muc 176370 unknown 32870 muc 1886
1446.02/1446.00	c iter 1905 time 1384.89 not-muc 176370 unknown 32869 muc 1887
1446.02/1446.00	c iter 1906 time 1387.62 not-muc 176370 unknown 32868 muc 1888
1446.02/1446.00	c iter 1907 time 1389.94 not-muc 176370 unknown 32867 muc 1889
1446.02/1446.00	c iter 1908 time 1393.02 not-muc 176370 unknown 32866 muc 1890
1446.02/1446.00	c iter 1909 time 1397.34 not-muc 176370 unknown 32865 muc 1891
1446.02/1446.00	c iter 1910 time 1402 not-muc 176370 unknown 32864 muc 1892
1446.02/1446.00	c iter 1911 time 1405.26 not-muc 176370 unknown 32863 muc 1893
1446.02/1446.00	c iter 1912 time 1408.03 not-muc 176370 unknown 32862 muc 1894
1446.02/1446.00	c iter 1913 time 1411.53 not-muc 176370 unknown 32861 muc 1895
1446.02/1446.00	c iter 1914 time 1415.16 not-muc 176370 unknown 32860 muc 1896
1446.02/1446.00	c iter 1915 time 1417.87 not-muc 176370 unknown 32859 muc 1897
1446.02/1446.00	c iter 1916 time 1420.18 not-muc 176370 unknown 32858 muc 1898
1446.02/1446.00	c iter 1917 time 1422.52 not-muc 176370 unknown 32857 muc 1899
1446.02/1446.00	c iter 1918 time 1424.91 not-muc 176370 unknown 32856 muc 1900
1446.02/1446.00	c iter 1919 time 1427.91 not-muc 176370 unknown 32855 muc 1901
1446.02/1446.00	c iter 1920 time 1431.15 not-muc 176370 unknown 32854 muc 1902
1446.02/1446.00	c iter 1921 time 1433.83 not-muc 176370 unknown 32853 muc 1903
1446.02/1446.00	c iter 1922 time 1437.59 not-muc 176370 unknown 32852 muc 1904
1446.02/1446.00	c iter 1923 time 1441.14 not-muc 176370 unknown 32851 muc 1905
1446.02/1446.00	c iter 1924 time 1444.65 not-muc 176370 unknown 32850 muc 1906
1661.83/1661.81	c iter 1925 time 1447.22 not-muc 176370 unknown 32849 muc 1907
1661.83/1661.81	c iter 1926 time 1449.98 not-muc 176370 unknown 32848 muc 1908
1661.83/1661.81	c iter 1927 time 1452.76 not-muc 176370 unknown 32847 muc 1909
1661.83/1661.81	c iter 1928 time 1456.39 not-muc 176370 unknown 32846 muc 1910
1661.83/1661.81	c iter 1929 time 1459.81 not-muc 176370 unknown 32845 muc 1911
1661.83/1661.81	c iter 1930 time 1462.39 not-muc 176370 unknown 32844 muc 1912
1661.83/1661.81	c iter 1931 time 1465.89 not-muc 176370 unknown 32843 muc 1913
1661.83/1661.81	c iter 1932 time 1469.32 not-muc 176370 unknown 32842 muc 1914
1661.83/1661.81	c iter 1933 time 1472.62 not-muc 176370 unknown 32841 muc 1915
1661.83/1661.81	c iter 1934 time 1475.43 not-muc 176370 unknown 32840 muc 1916
1661.83/1661.81	c iter 1935 time 1478.85 not-muc 176370 unknown 32839 muc 1917
1661.83/1661.81	c iter 1936 time 1483.62 not-muc 176370 unknown 32838 muc 1918
1661.83/1661.81	c iter 1937 time 1489.11 not-muc 176370 unknown 32837 muc 1919
1661.83/1661.81	c iter 1938 time 1493.34 not-muc 176370 unknown 32836 muc 1920
1661.83/1661.81	c iter 1939 time 1496.91 not-muc 176370 unknown 32835 muc 1921
1661.83/1661.81	c iter 1940 time 1501.38 not-muc 176370 unknown 32834 muc 1922
1661.83/1661.81	c iter 1941 time 1505.34 not-muc 176370 unknown 32833 muc 1923
1661.83/1661.81	c iter 1942 time 1507.46 not-muc 176370 unknown 32832 muc 1924
1661.83/1661.81	c iter 1943 time 1510.81 not-muc 176370 unknown 32831 muc 1925
1661.83/1661.81	c iter 1944 time 1513.9 not-muc 176370 unknown 32830 muc 1926
1661.83/1661.81	c iter 1945 time 1515.9 not-muc 176370 unknown 32829 muc 1927
1661.83/1661.81	c iter 1946 time 1518.91 not-muc 176370 unknown 32828 muc 1928
1661.83/1661.81	c iter 1947 time 1521.95 not-muc 176370 unknown 32827 muc 1929
1661.83/1661.81	c iter 1948 time 1524.08 not-muc 176370 unknown 32826 muc 1930
1661.83/1661.81	c iter 1949 time 1527.25 not-muc 176370 unknown 32825 muc 1931
1661.83/1661.81	c iter 1950 time 1530.46 not-muc 176370 unknown 32824 muc 1932
1661.83/1661.81	c iter 1951 time 1533.09 not-muc 176370 unknown 32823 muc 1933
1661.83/1661.81	c iter 1952 time 1537.03 not-muc 176370 unknown 32822 muc 1934
1661.83/1661.81	c iter 1953 time 1540.56 not-muc 176370 unknown 32821 muc 1935
1661.83/1661.81	c iter 1954 time 1542.96 not-muc 176370 unknown 32820 muc 1936
1661.83/1661.81	c iter 1955 time 1545.97 not-muc 176370 unknown 32819 muc 1937
1661.83/1661.81	c iter 1956 time 1549.45 not-muc 176370 unknown 32818 muc 1938
1661.83/1661.81	c iter 1957 time 1551.83 not-muc 176370 unknown 32817 muc 1939
1661.83/1661.81	c iter 1958 time 1554.89 not-muc 176370 unknown 32816 muc 1940
1661.83/1661.81	c iter 1959 time 1558.44 not-muc 176370 unknown 32815 muc 1941
1661.83/1661.81	c iter 1960 time 1560.85 not-muc 176370 unknown 32814 muc 1942
1661.83/1661.81	c iter 1961 time 1564.35 not-muc 176370 unknown 32813 muc 1943
1661.83/1661.81	c iter 1962 time 1567.7 not-muc 176370 unknown 32812 muc 1944
1661.83/1661.81	c iter 1963 time 1570.15 not-muc 176370 unknown 32811 muc 1945
1661.83/1661.81	c iter 1964 time 1572.58 not-muc 176370 unknown 32810 muc 1946
1661.83/1661.81	c iter 1965 time 1574.96 not-muc 176370 unknown 32809 muc 1947
1661.83/1661.81	c iter 1966 time 1576.76 not-muc 176370 unknown 32808 muc 1948
1661.83/1661.81	c iter 1967 time 1579.31 not-muc 176370 unknown 32807 muc 1949
1661.83/1661.81	c iter 1968 time 1581.58 not-muc 176370 unknown 32806 muc 1950
1661.83/1661.81	c iter 1969 time 1584.23 not-muc 176370 unknown 32805 muc 1951
1661.83/1661.81	c iter 1970 time 1586.29 not-muc 176370 unknown 32804 muc 1952
1661.83/1661.81	c iter 1971 time 1589.52 not-muc 176370 unknown 32803 muc 1953
1661.83/1661.81	c iter 1972 time 1592.83 not-muc 176370 unknown 32802 muc 1954
1661.83/1661.81	c iter 1973 time 1596.74 not-muc 176370 unknown 32801 muc 1955
1661.83/1661.81	c iter 1974 time 1600.59 not-muc 176370 unknown 32800 muc 1956
1661.83/1661.81	c iter 1975 time 1604.58 not-muc 176370 unknown 32799 muc 1957
1661.83/1661.81	c iter 1976 time 1607.63 not-muc 176370 unknown 32798 muc 1958
1661.83/1661.81	c iter 1977 time 1610.89 not-muc 176370 unknown 32797 muc 1959
1661.83/1661.81	c iter 1978 time 1614.98 not-muc 176370 unknown 32796 muc 1960
1661.83/1661.81	c iter 1979 time 1618.21 not-muc 176370 unknown 32795 muc 1961
1661.83/1661.81	c iter 1980 time 1621.46 not-muc 176370 unknown 32794 muc 1962
1661.83/1661.81	c iter 1981 time 1625.83 not-muc 176370 unknown 32793 muc 1963
1661.83/1661.81	c iter 1982 time 1628.52 not-muc 176370 unknown 32792 muc 1964
1661.83/1661.81	c iter 1983 time 1633.02 not-muc 176370 unknown 32791 muc 1965
1661.83/1661.81	c iter 1984 time 1638.52 not-muc 176370 unknown 32790 muc 1966
1661.83/1661.81	c iter 1985 time 1641.65 not-muc 176370 unknown 32789 muc 1967
1661.83/1661.81	c iter 1986 time 1647.13 not-muc 176370 unknown 32788 muc 1968
1661.83/1661.81	c iter 1987 time 1652.73 not-muc 176370 unknown 32787 muc 1969
1661.83/1661.81	c iter 1988 time 1656.89 not-muc 176370 unknown 32786 muc 1970
1661.83/1661.81	c iter 1989 time 1660.43

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3494140-1307808743/watcher-3494140-1307808743 -o /tmp/evaluation-result-3494140-1307808743/solver-3494140-1307808743 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3494140-1307808743.cnf 

running on 2 cores: 1,3

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.90 3.96 3.90 4/189 26348
/proc/meminfo: memFree=29406968/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=23292 CPUtime=0 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1132 0 0 0 0 0 0 0 25 0 1 0 873289679 23851008 1051 33554432000 4194304 4311632 140734019058544 18446744073709551615 4224169 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 5823 1056 216 29 0 2452 0

[startup+0.0960691 s]
/proc/loadavg: 3.90 3.96 3.90 4/189 26348
/proc/meminfo: memFree=29406968/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=63996 CPUtime=0.09 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 9735 0 0 0 8 1 0 0 25 0 1 0 873289679 65531904 9432 33554432000 4194304 4311632 140734019058544 18446744073709551615 254261277381 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 15999 9434 218 29 0 12628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63996

[startup+0.101054 s]
/proc/loadavg: 3.90 3.96 3.90 4/189 26348
/proc/meminfo: memFree=29406968/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=64656 CPUtime=0.09 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 9932 0 0 0 8 1 0 0 25 0 1 0 873289679 66207744 9629 33554432000 4194304 4311632 140734019058544 18446744073709551615 254261277381 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 16164 9630 218 29 0 12793 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64656

[startup+0.301024 s]
/proc/loadavg: 3.90 3.96 3.90 4/189 26348
/proc/meminfo: memFree=29406968/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=82252 CPUtime=0.29 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 15631 0 0 0 27 2 0 0 25 0 1 0 873289679 84226048 14567 33554432000 4194304 4311632 140734019058544 18446744073709551615 4219232 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 20563 14567 225 29 0 17192 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82252

[startup+0.700953 s]
/proc/loadavg: 3.90 3.96 3.90 4/189 26348
/proc/meminfo: memFree=29406968/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=90360 CPUtime=0.69 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 21192 0 0 0 66 3 0 0 25 0 1 0 873289679 92528640 16085 33554432000 4194304 4311632 140734019058544 18446744073709551615 254261274828 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 22590 16085 225 29 0 19219 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90360

[startup+1.50081 s]
/proc/loadavg: 3.91 3.96 3.90 5/190 26349
/proc/meminfo: memFree=29281744/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=82140 CPUtime=1.49 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 23233 0 0 0 145 4 0 0 25 0 1 0 873289679 84111360 15680 33554432000 4194304 4311632 140734019058544 18446744073709551615 254265073440 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 20535 15680 245 29 0 17164 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82140

[startup+3.10053 s]
/proc/loadavg: 3.91 3.96 3.90 5/190 26349
/proc/meminfo: memFree=29196788/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=131460 CPUtime=3.09 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 32288 0 0 0 304 5 0 0 25 0 1 0 873289679 134615040 24728 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 32865 24728 246 29 0 29494 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131460

[startup+6.30097 s]
/proc/loadavg: 3.91 3.96 3.90 5/190 26349
/proc/meminfo: memFree=29156556/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=212368 CPUtime=6.29 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 51019 0 0 0 623 6 0 0 25 0 1 0 873289679 217464832 43452 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 53092 43452 246 29 0 49721 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 212368

[startup+12.7008 s]
/proc/loadavg: 3.92 3.96 3.90 5/190 26349
/proc/meminfo: memFree=28593348/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=426016 CPUtime=12.69 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 103403 0 0 0 1256 13 0 0 25 0 1 0 873289679 436240384 95818 33554432000 4194304 4311632 140734019058544 18446744073709551615 4282542 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 106504 95818 246 29 0 103133 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 426016

[startup+25.5006 s]
/proc/loadavg: 3.93 3.96 3.91 5/190 26349
/proc/meminfo: memFree=27677056/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=990188 CPUtime=25.49 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 189227 0 0 0 2526 23 0 0 25 0 1 0 873289679 1013952512 181624 33554432000 4194304 4311632 140734019058544 18446744073709551615 4286219 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 247547 181624 246 29 0 244176 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 990188

[startup+51.101 s]
/proc/loadavg: 3.96 3.96 3.91 5/190 26350
/proc/meminfo: memFree=26348000/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=1557716 CPUtime=51.1 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 350175 0 0 0 5069 41 0 0 25 0 1 0 873289679 1595101184 342561 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 389429 342561 264 29 0 386058 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1557716

[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.91 5/190 26351
/proc/meminfo: memFree=27574836/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=2479952 CPUtime=102.3 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 550804 0 0 0 10166 64 0 0 25 0 1 0 873289679 2539470848 543167 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 619988 543167 264 29 0 616617 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 2479952

[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/190 26391
/proc/meminfo: memFree=27036404/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=2479952 CPUtime=162.29 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 622287 0 0 0 16155 74 0 0 25 0 1 0 873289679 2539470848 614640 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 619988 614640 264 29 0 616617 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 2479952

[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/190 26430
/proc/meminfo: memFree=26239296/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=3978584 CPUtime=222.29 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 663171 0 0 0 22151 78 0 0 25 0 1 0 873289679 4074070016 655516 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 994646 655516 264 29 0 991275 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 3978584

[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/190 26470
/proc/meminfo: memFree=25831432/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=3979980 CPUtime=282.29 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 730264 0 0 0 28144 85 0 0 25 0 1 0 873289679 4075499520 722599 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 994995 722599 264 29 0 991624 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 3979980

[startup+342.301 s]
/proc/loadavg: 4.05 3.99 3.91 5/190 26472
/proc/meminfo: memFree=26132180/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=3982236 CPUtime=342.29 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 741294 0 0 0 34143 86 0 0 25 0 1 0 873289679 4077809664 733627 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 995559 733627 264 29 0 992188 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 3982236

[startup+402.301 s]
/proc/loadavg: 4.02 3.99 3.91 5/190 26473
/proc/meminfo: memFree=25914628/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=3987212 CPUtime=402.3 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 792334 0 0 0 40138 92 0 0 25 0 1 0 873289679 4082905088 784657 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264676 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 996803 784657 264 29 0 993432 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3987212

[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/190 26513
/proc/meminfo: memFree=27579216/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=3990728 CPUtime=462.29 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 828090 0 0 0 46133 96 0 0 25 0 1 0 873289679 4086505472 820406 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 997682 820406 264 29 0 994311 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 3990728

[startup+522.301 s]
/proc/loadavg: 4.07 4.00 3.92 5/190 26628
/proc/meminfo: memFree=26498956/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=3992732 CPUtime=522.29 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 844643 0 0 0 52131 98 0 0 25 0 1 0 873289679 4088557568 836957 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 998183 836957 264 29 0 994812 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 3992732

[startup+582.301 s]
/proc/loadavg: 4.02 4.00 3.92 5/190 26630
/proc/meminfo: memFree=27130184/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=3994568 CPUtime=582.3 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 856354 0 0 0 58131 99 0 0 25 0 1 0 873289679 4090437632 848666 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 998642 848666 264 29 0 995271 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 3994568

[startup+642.3 s]

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

[startup+882.301 s]
/proc/loadavg: 3.22 3.71 3.82 4/184 26665
/proc/meminfo: memFree=26650152/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=4005240 CPUtime=882.31 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 924480 0 0 0 88121 110 0 0 25 0 1 0 873289679 4101365760 916787 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1001310 916787 264 29 0 997939 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 4005240

[startup+942.3 s]
/proc/loadavg: 3.08 3.58 3.77 4/184 26667
/proc/meminfo: memFree=26021804/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6442300 CPUtime=942.31 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1076957 0 0 0 94106 125 0 0 25 0 1 0 873289679 6596915200 1069251 33554432000 4194304 4311632 140734019058544 18446744073709551615 4247334 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1610575 1069251 264 29 0 1607204 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 6442300

[startup+1002.3 s]
/proc/loadavg: 3.03 3.47 3.72 4/184 26668
/proc/meminfo: memFree=25898396/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6442936 CPUtime=1002.31 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1106590 0 0 0 100103 128 0 0 25 0 1 0 873289679 6597566464 1098882 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1610734 1098882 264 29 0 1607363 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 6442936

[startup+1062.3 s]
/proc/loadavg: 3.01 3.38 3.67 4/184 26670
/proc/meminfo: memFree=25867124/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6443188 CPUtime=1062.31 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1113265 0 0 0 106102 129 0 0 25 0 1 0 873289679 6597824512 1105557 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1610797 1105557 264 29 0 1607426 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 6443188

[startup+1122.3 s]
/proc/loadavg: 3.00 3.31 3.62 4/184 26671
/proc/meminfo: memFree=25811292/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6444012 CPUtime=1122.31 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1124296 0 0 0 112100 131 0 0 25 0 1 0 873289679 6598668288 1116588 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1611003 1116588 264 29 0 1607632 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 6444012

[startup+1182.3 s]
/proc/loadavg: 3.00 3.25 3.58 4/184 26673
/proc/meminfo: memFree=25764016/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6444556 CPUtime=1182.31 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1135052 0 0 0 118099 132 0 0 25 0 1 0 873289679 6599225344 1127344 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1611139 1127344 264 29 0 1607768 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 6444556

[startup+1242.3 s]
/proc/loadavg: 3.00 3.20 3.54 4/184 26675
/proc/meminfo: memFree=25725920/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6446284 CPUtime=1242.31 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1142069 0 0 0 124098 133 0 0 25 0 1 0 873289679 6600994816 1134360 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1611571 1134360 264 29 0 1608200 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 6446284

[startup+1302.3 s]
/proc/loadavg: 3.00 3.16 3.51 4/184 26676
/proc/meminfo: memFree=25609688/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6447400 CPUtime=1302.32 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1151779 0 0 0 130097 135 0 0 25 0 1 0 873289679 6602137600 1144070 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1611850 1144070 264 29 0 1608479 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 6447400

[startup+1362.3 s]
/proc/loadavg: 2.40 2.96 3.41 3/178 26702
/proc/meminfo: memFree=25544220/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6448220 CPUtime=1362.32 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1159600 0 0 0 136096 136 0 0 25 0 1 0 873289679 6602977280 1151891 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1612055 1151891 264 29 0 1608684 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 6448220

[startup+1422.31 s]
/proc/loadavg: 2.22 2.80 3.33 3/178 26703
/proc/meminfo: memFree=26293888/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6449440 CPUtime=1422.32 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1166365 0 0 0 142095 137 0 0 25 0 1 0 873289679 6604226560 1158655 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1612360 1158655 264 29 0 1608989 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 6449440

[startup+1482.3 s]
/proc/loadavg: 2.08 2.65 3.24 3/178 26705
/proc/meminfo: memFree=26195396/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6449828 CPUtime=1482.32 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1168526 0 0 0 148095 137 0 0 25 0 1 0 873289679 6604623872 1160816 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264447 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1612457 1160816 264 29 0 1609086 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 6449828

[startup+1542.3 s]
/proc/loadavg: 2.03 2.53 3.16 3/178 26707
/proc/meminfo: memFree=25995856/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6452348 CPUtime=1542.32 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1180023 0 0 0 154093 139 0 0 25 0 1 0 873289679 6607204352 1172311 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264427 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1613087 1172311 264 29 0 1609716 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 6452348

[startup+1602.3 s]
/proc/loadavg: 2.01 2.43 3.09 3/178 26708
/proc/meminfo: memFree=26275940/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6452840 CPUtime=1602.32 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1183959 0 0 0 160093 139 0 0 25 0 1 0 873289679 6607708160 1176244 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1613210 1176244 264 29 0 1609839 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 6452840

[startup+1662.3 s]
/proc/loadavg: 2.00 2.35 3.02 3/178 26710
/proc/meminfo: memFree=26055820/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6453652 CPUtime=1662.33 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1195704 0 0 0 166092 141 0 0 25 0 1 0 873289679 6608539648 1187988 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1613413 1187988 264 29 0 1610042 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 6453652

[startup+1722.3 s]
/proc/loadavg: 2.00 2.28 2.95 3/178 26711
/proc/meminfo: memFree=26024656/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6454168 CPUtime=1722.32 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1200891 0 0 0 172091 141 0 0 25 0 1 0 873289679 6609068032 1193175 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1613542 1193175 264 29 0 1610171 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 6454168

[startup+1782.3 s]
/proc/loadavg: 1.56 2.12 2.85 2/172 26738
/proc/meminfo: memFree=26526928/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6454724 CPUtime=1782.32 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1201699 0 0 0 178091 141 0 0 25 0 1 0 873289679 6609637376 1193983 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264416 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1613681 1193983 264 29 0 1610310 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 6454724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.43 2.06 2.82 2/172 26739
/proc/meminfo: memFree=26526788/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=6454724 CPUtime=1800.03 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4202496 1201757 0 0 0 179862 141 0 0 25 0 1 0 873289679 6609637376 1194041 33554432000 4194304 4311632 140734019058544 18446744073709551615 4264437 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/26348/statm: 1613681 1194041 264 29 0 1610310 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 6454724

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

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

[startup+1800.11 s]
/proc/loadavg: 1.43 2.06 2.82 2/172 26739
/proc/meminfo: memFree=26526788/32951124 swapFree=67057920/67111528
[pid=26348] ppid=26346 vsize=0 CPUtime=1800.13 cores=1,3
/proc/26348/stat : 26348 (hmuc-a) R 26346 26348 26933 0 -1 4203524 1201757 0 0 0 179862 151 0 0 25 0 1 0 873289679 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/26348/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.18
CPU time (s): 1800.21
CPU user time (s): 1798.62
CPU system time (s): 1.58776
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 6454724

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

runsolver used 2.85457 second user time and 6.53001 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-11 18:12:24
IDJOB=3494140
IDBENCH=89517
IDSOLVER=1983
FILE ID=node140/3494140-1307808743
RUNJOBID= node140-1307808687-26061
PBS_JOBID= 13551008
Free space on /tmp= 73796 MiB

SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/hardware-verification/f7b.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494140-1307808743/watcher-3494140-1307808743 -o /tmp/evaluation-result-3494140-1307808743/solver-3494140-1307808743 -C 1800 -W 1850 -M 7680  HOME/hmuc-a HOME/instance-3494140-1307808743.cnf

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

MD5SUM BENCH= 1e9d259858c4cb5da52919540e6fc087
RANDOM SEED=903006507

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29408628 kB
Buffers:        322176 kB
Cached:        1105028 kB
SwapCached:       7060 kB
Active:        2551780 kB
Inactive:       785368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29408628 kB
SwapTotal:    67111528 kB
SwapFree:     67057920 kB
Dirty:            6400 kB
Writeback:           0 kB
AnonPages:     1907788 kB
Mapped:          13680 kB
Slab:           136428 kB
PageTables:       8860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2215140 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= 73804 MiB
End job on node140 at 2011-06-11 18:42:26