9.89/9.97	c WARNING: for repeatability, setting FPU to use double precision
9.89/9.97	c iter 1 time 1.10683 not-muc 5180 unknown 11657 muc 0
9.89/9.97	c iter 2 time 1.36279 not-muc 5180 unknown 11656 muc 1
9.89/9.97	c iter 3 time 1.40179 not-muc 5180 unknown 11655 muc 2
9.89/9.97	c iter 4 time 1.9667 not-muc 6482 unknown 10353 muc 2
9.89/9.97	c iter 5 time 2.22366 not-muc 6720 unknown 10115 muc 2
9.89/9.97	c iter 6 time 2.36264 not-muc 6720 unknown 10114 muc 3
9.89/9.97	c iter 7 time 2.37264 not-muc 6720 unknown 10113 muc 4
9.89/9.97	c iter 8 time 2.37364 not-muc 6720 unknown 10112 muc 5
9.89/9.97	c iter 9 time 2.37464 not-muc 6720 unknown 10111 muc 6
9.89/9.97	c iter 10 time 2.37664 not-muc 6720 unknown 10110 muc 7
9.89/9.97	c iter 11 time 2.50762 not-muc 6720 unknown 10109 muc 8
9.89/9.97	c iter 12 time 2.51462 not-muc 6720 unknown 10108 muc 9
9.89/9.97	c iter 13 time 2.52662 not-muc 6720 unknown 10107 muc 10
9.89/9.97	c iter 14 time 2.52761 not-muc 6720 unknown 10106 muc 11
9.89/9.97	c iter 15 time 2.85857 not-muc 6818 unknown 10008 muc 11
9.89/9.97	c iter 16 time 2.90056 not-muc 6818 unknown 10007 muc 12
9.89/9.97	c iter 17 time 2.92156 not-muc 6818 unknown 10006 muc 13
9.89/9.97	c iter 18 time 3.20751 not-muc 6818 unknown 10005 muc 14
9.89/9.97	c iter 19 time 3.2805 not-muc 6818 unknown 10004 muc 15
9.89/9.97	c iter 20 time 3.59745 not-muc 6877 unknown 9945 muc 15
9.89/9.97	c iter 21 time 3.61845 not-muc 6877 unknown 9944 muc 16
9.89/9.97	c iter 22 time 3.73743 not-muc 6877 unknown 9943 muc 17
9.89/9.97	c iter 23 time 3.75943 not-muc 6877 unknown 9942 muc 18
9.89/9.97	c iter 24 time 4.00339 not-muc 6877 unknown 9941 muc 19
9.89/9.97	c iter 25 time 4.09938 not-muc 6877 unknown 9940 muc 20
9.89/9.97	c iter 26 time 4.10837 not-muc 6877 unknown 9939 muc 21
9.89/9.97	c iter 27 time 4.20536 not-muc 6877 unknown 9938 muc 22
9.89/9.97	c iter 28 time 4.22336 not-muc 6877 unknown 9937 muc 23
9.89/9.97	c iter 29 time 4.25335 not-muc 6877 unknown 9936 muc 24
9.89/9.97	c iter 30 time 4.32534 not-muc 6877 unknown 9935 muc 25
9.89/9.97	c iter 31 time 4.38033 not-muc 6877 unknown 9934 muc 26
9.89/9.97	c iter 32 time 4.38733 not-muc 6877 unknown 9933 muc 27
9.89/9.97	c iter 33 time 4.38933 not-muc 6877 unknown 9932 muc 28
9.89/9.97	c iter 34 time 4.39233 not-muc 6877 unknown 9931 muc 29
9.89/9.97	c iter 35 time 4.39433 not-muc 6877 unknown 9930 muc 30
9.89/9.97	c iter 36 time 4.39633 not-muc 6877 unknown 9929 muc 31
9.89/9.97	c iter 37 time 5.07923 not-muc 6934 unknown 9872 muc 31
9.89/9.97	c iter 38 time 5.32219 not-muc 6934 unknown 9871 muc 32
9.89/9.97	c iter 39 time 5.33119 not-muc 6934 unknown 9870 muc 33
9.89/9.97	c iter 40 time 5.33319 not-muc 6934 unknown 9869 muc 34
9.89/9.97	c iter 41 time 5.33719 not-muc 6934 unknown 9868 muc 35
9.89/9.97	c iter 42 time 5.33919 not-muc 6934 unknown 9867 muc 36
9.89/9.97	c iter 43 time 5.95209 not-muc 6950 unknown 9851 muc 36
9.89/9.97	c iter 44 time 6.41202 not-muc 6964 unknown 9837 muc 36
9.89/9.97	c iter 45 time 6.69598 not-muc 6968 unknown 9833 muc 36
9.89/9.97	c iter 46 time 7.02793 not-muc 6985 unknown 9816 muc 36
9.89/9.97	c iter 47 time 7.2399 not-muc 6989 unknown 9812 muc 36
9.89/9.97	c iter 48 time 7.55785 not-muc 7040 unknown 9761 muc 36
9.89/9.97	c iter 49 time 7.57385 not-muc 7040 unknown 9760 muc 37
9.89/9.97	c iter 50 time 7.57785 not-muc 7040 unknown 9759 muc 38
9.89/9.97	c iter 51 time 7.58685 not-muc 7040 unknown 9758 muc 39
9.89/9.97	c iter 52 time 8.26474 not-muc 7085 unknown 9713 muc 39
9.89/9.97	c iter 53 time 8.80066 not-muc 7163 unknown 9635 muc 39
9.89/9.97	c iter 54 time 8.82466 not-muc 7163 unknown 9634 muc 40
9.89/9.98	c iter 55 time 8.82866 not-muc 7163 unknown 9633 muc 41
9.89/9.98	c iter 56 time 8.90964 not-muc 7163 unknown 9632 muc 42
9.89/9.98	c iter 57 time 8.91364 not-muc 7163 unknown 9631 muc 43
9.89/9.98	c iter 58 time 8.92364 not-muc 7163 unknown 9630 muc 44
9.89/9.98	c iter 59 time 8.92764 not-muc 7163 unknown 9629 muc 45
9.89/9.98	c iter 60 time 8.93064 not-muc 7163 unknown 9628 muc 46
9.89/9.98	c iter 61 time 8.93964 not-muc 7163 unknown 9627 muc 47
9.89/9.98	c iter 62 time 8.94364 not-muc 7163 unknown 9626 muc 48
9.89/9.98	c iter 63 time 8.94764 not-muc 7163 unknown 9625 muc 49
9.89/9.98	c iter 64 time 8.98363 not-muc 7163 unknown 9624 muc 50
9.89/9.98	c iter 65 time 8.99963 not-muc 7163 unknown 9623 muc 51
9.89/9.98	c iter 66 time 9.01363 not-muc 7163 unknown 9622 muc 52
9.89/9.98	c iter 67 time 9.01763 not-muc 7163 unknown 9621 muc 53
9.89/9.98	c iter 68 time 9.02063 not-muc 7163 unknown 9620 muc 54
9.89/9.98	c iter 69 time 9.38057 not-muc 7163 unknown 9619 muc 55
9.89/9.98	c iter 70 time 9.39257 not-muc 7163 unknown 9618 muc 56
9.89/9.98	c iter 71 time 9.8655 not-muc 7267 unknown 9514 muc 56
9.89/9.98	c iter 72 time 9.90749 not-muc 7267 unknown 9513 muc 57
9.89/9.98	c iter 73 time 9.94049 not-muc 7267 unknown 9512 muc 58
23.49/23.53	c iter 74 time 10.6674 not-muc 7273 unknown 9506 muc 58
23.49/23.53	c iter 75 time 11.1363 not-muc 7291 unknown 9488 muc 58
23.49/23.53	c iter 76 time 11.2363 not-muc 7291 unknown 9487 muc 59
23.49/23.53	c iter 77 time 11.2433 not-muc 7291 unknown 9486 muc 60
23.49/23.53	c iter 78 time 11.2453 not-muc 7291 unknown 9485 muc 61
23.49/23.53	c iter 79 time 11.2473 not-muc 7291 unknown 9484 muc 62
23.49/23.53	c iter 80 time 11.2843 not-muc 7291 unknown 9483 muc 63
23.49/23.53	c iter 81 time 11.7202 not-muc 7300 unknown 9474 muc 63
23.49/23.53	c iter 82 time 12.7371 not-muc 7308 unknown 9466 muc 63
23.49/23.53	c iter 83 time 13.328 not-muc 7312 unknown 9462 muc 63
23.49/23.53	c iter 84 time 13.8479 not-muc 7318 unknown 9456 muc 63
23.49/23.53	c iter 85 time 14.7378 not-muc 7330 unknown 9444 muc 63
23.49/23.53	c iter 86 time 15.2837 not-muc 7330 unknown 9443 muc 64
23.49/23.53	c iter 87 time 15.3217 not-muc 7330 unknown 9442 muc 65
23.49/23.53	c iter 88 time 15.3937 not-muc 7330 unknown 9441 muc 66
23.49/23.53	c iter 89 time 16.2065 not-muc 7331 unknown 9440 muc 66
23.49/23.53	c iter 90 time 17.3764 not-muc 7332 unknown 9439 muc 66
23.49/23.53	c iter 91 time 18.6362 not-muc 7346 unknown 9425 muc 66
23.49/23.53	c iter 92 time 19.3031 not-muc 7362 unknown 9409 muc 66
23.49/23.53	c iter 93 time 19.3381 not-muc 7362 unknown 9408 muc 67
23.49/23.53	c iter 94 time 20.1739 not-muc 7362 unknown 9407 muc 68
23.49/23.53	c iter 95 time 20.2739 not-muc 7362 unknown 9406 muc 69
23.49/23.53	c iter 96 time 20.2819 not-muc 7362 unknown 9405 muc 70
23.49/23.53	c iter 97 time 20.2849 not-muc 7362 unknown 9404 muc 71
23.49/23.53	c iter 98 time 20.2889 not-muc 7362 unknown 9403 muc 72
23.49/23.53	c iter 99 time 20.2909 not-muc 7362 unknown 9402 muc 73
23.49/23.53	c iter 100 time 20.2939 not-muc 7362 unknown 9401 muc 74
23.49/23.53	c iter 101 time 20.2969 not-muc 7362 unknown 9400 muc 75
23.49/23.53	c iter 102 time 20.2989 not-muc 7362 unknown 9399 muc 76
23.49/23.53	c iter 103 time 20.3019 not-muc 7362 unknown 9398 muc 77
23.49/23.53	c iter 104 time 20.3049 not-muc 7362 unknown 9397 muc 78
23.49/23.53	c iter 105 time 20.4739 not-muc 7362 unknown 9396 muc 79
23.49/23.53	c iter 106 time 20.4859 not-muc 7362 unknown 9395 muc 80
23.49/23.53	c iter 107 time 20.4899 not-muc 7362 unknown 9394 muc 81
23.49/23.53	c iter 108 time 20.4949 not-muc 7362 unknown 9393 muc 82
23.49/23.53	c iter 109 time 20.5019 not-muc 7362 unknown 9392 muc 83
23.49/23.53	c iter 110 time 20.5039 not-muc 7362 unknown 9391 muc 84
23.49/23.53	c iter 111 time 20.5079 not-muc 7362 unknown 9390 muc 85
23.49/23.53	c iter 112 time 20.5099 not-muc 7362 unknown 9389 muc 86
23.49/23.53	c iter 113 time 20.5519 not-muc 7362 unknown 9388 muc 87
23.49/23.53	c iter 114 time 21.0358 not-muc 7362 unknown 9387 muc 88
23.49/23.53	c iter 115 time 21.0458 not-muc 7362 unknown 9386 muc 89
23.49/23.53	c iter 116 time 21.0488 not-muc 7362 unknown 9385 muc 90
23.49/23.53	c iter 117 time 21.0538 not-muc 7362 unknown 9384 muc 91
23.49/23.53	c iter 118 time 21.0568 not-muc 7362 unknown 9383 muc 92
23.49/23.53	c iter 119 time 21.0588 not-muc 7362 unknown 9382 muc 93
23.49/23.53	c iter 120 time 21.1868 not-muc 7362 unknown 9381 muc 94
23.49/23.53	c iter 121 time 21.1998 not-muc 7362 unknown 9380 muc 95
23.49/23.53	c iter 122 time 21.2028 not-muc 7362 unknown 9379 muc 96
23.49/23.53	c iter 123 time 21.2058 not-muc 7362 unknown 9378 muc 97
23.49/23.53	c iter 124 time 21.2078 not-muc 7362 unknown 9377 muc 98
23.49/23.53	c iter 125 time 21.2928 not-muc 7362 unknown 9376 muc 99
23.49/23.53	c iter 126 time 21.3008 not-muc 7362 unknown 9375 muc 100
23.49/23.53	c iter 127 time 21.3458 not-muc 7362 unknown 9374 muc 101
23.49/23.53	c iter 128 time 21.3947 not-muc 7362 unknown 9373 muc 102
23.49/23.53	c iter 129 time 21.4017 not-muc 7362 unknown 9372 muc 103
23.49/23.53	c iter 130 time 21.4047 not-muc 7362 unknown 9371 muc 104
23.49/23.53	c iter 131 time 21.4077 not-muc 7362 unknown 9370 muc 105
23.49/23.53	c iter 132 time 21.4127 not-muc 7362 unknown 9369 muc 106
23.49/23.53	c iter 133 time 21.4187 not-muc 7362 unknown 9368 muc 107
23.49/23.53	c iter 134 time 21.4237 not-muc 7362 unknown 9367 muc 108
23.49/23.53	c iter 135 time 22.6036 not-muc 7384 unknown 9345 muc 108
23.49/23.53	c iter 136 time 23.4054 not-muc 7384 unknown 9344 muc 109
23.49/23.53	c iter 137 time 23.4244 not-muc 7384 unknown 9343 muc 110
23.49/23.53	c iter 138 time 23.4274 not-muc 7384 unknown 9342 muc 111
23.49/23.53	c iter 139 time 23.4304 not-muc 7384 unknown 9341 muc 112
23.49/23.53	c iter 140 time 23.4344 not-muc 7384 unknown 9340 muc 113
23.49/23.53	c iter 141 time 23.4374 not-muc 7384 unknown 9339 muc 114
23.49/23.53	c iter 142 time 23.4404 not-muc 7384 unknown 9338 muc 115
23.49/23.53	c iter 143 time 23.4444 not-muc 7384 unknown 9337 muc 116
23.49/23.53	c iter 144 time 23.4474 not-muc 7384 unknown 9336 muc 117
23.49/23.53	c iter 145 time 23.4804 not-muc 7384 unknown 9335 muc 118
29.29/29.31	c iter 146 time 23.6054 not-muc 7384 unknown 9334 muc 119
29.29/29.31	c iter 147 time 23.6364 not-muc 7384 unknown 9333 muc 120
29.29/29.31	c iter 148 time 23.6524 not-muc 7384 unknown 9332 muc 121
29.29/29.31	c iter 149 time 23.8734 not-muc 7384 unknown 9331 muc 122
29.29/29.31	c iter 150 time 23.8854 not-muc 7384 unknown 9330 muc 123
29.29/29.31	c iter 151 time 23.9524 not-muc 7384 unknown 9329 muc 124
29.29/29.31	c iter 152 time 23.9974 not-muc 7384 unknown 9328 muc 125
29.29/29.31	c iter 153 time 24.3043 not-muc 7384 unknown 9327 muc 126
29.29/29.31	c iter 154 time 24.4603 not-muc 7384 unknown 9326 muc 127
29.29/29.31	c iter 155 time 24.4843 not-muc 7384 unknown 9325 muc 128
29.29/29.31	c iter 156 time 24.9572 not-muc 7384 unknown 9324 muc 129
29.29/29.31	c iter 157 time 24.9992 not-muc 7384 unknown 9323 muc 130
29.29/29.31	c iter 158 time 25.7741 not-muc 7384 unknown 9322 muc 131
29.29/29.31	c iter 159 time 25.9181 not-muc 7384 unknown 9321 muc 132
29.29/29.31	c iter 160 time 25.9381 not-muc 7384 unknown 9320 muc 133
29.29/29.31	c iter 161 time 26.053 not-muc 7384 unknown 9319 muc 134
29.29/29.31	c iter 162 time 26.071 not-muc 7384 unknown 9318 muc 135
29.29/29.31	c iter 163 time 26.085 not-muc 7384 unknown 9317 muc 136
29.29/29.31	c iter 164 time 26.097 not-muc 7384 unknown 9316 muc 137
29.29/29.31	c iter 165 time 26.104 not-muc 7384 unknown 9315 muc 138
29.29/29.31	c iter 166 time 26.133 not-muc 7384 unknown 9314 muc 139
29.29/29.31	c iter 167 time 26.152 not-muc 7384 unknown 9313 muc 140
29.29/29.31	c iter 168 time 26.159 not-muc 7384 unknown 9312 muc 141
29.29/29.31	c iter 169 time 26.166 not-muc 7384 unknown 9311 muc 142
29.29/29.31	c iter 170 time 26.187 not-muc 7384 unknown 9310 muc 143
29.29/29.31	c iter 171 time 26.202 not-muc 7384 unknown 9309 muc 144
29.29/29.31	c iter 172 time 27.5688 not-muc 7385 unknown 9308 muc 144
29.29/29.31	c iter 173 time 27.6198 not-muc 7385 unknown 9307 muc 145
29.29/29.31	c iter 174 time 27.6318 not-muc 7385 unknown 9306 muc 146
29.29/29.31	c iter 175 time 27.6668 not-muc 7385 unknown 9305 muc 147
29.29/29.31	c iter 176 time 27.6808 not-muc 7385 unknown 9304 muc 148
29.29/29.31	c iter 177 time 27.7568 not-muc 7385 unknown 9303 muc 149
29.29/29.31	c iter 178 time 27.7708 not-muc 7385 unknown 9302 muc 150
29.29/29.31	c iter 179 time 27.7818 not-muc 7385 unknown 9301 muc 151
29.29/29.31	c iter 180 time 27.7928 not-muc 7385 unknown 9300 muc 152
29.29/29.31	c iter 181 time 27.9058 not-muc 7385 unknown 9299 muc 153
29.29/29.31	c iter 182 time 27.9288 not-muc 7385 unknown 9298 muc 154
29.29/29.31	c iter 183 time 27.9368 not-muc 7385 unknown 9297 muc 155
29.29/29.31	c iter 184 time 27.9448 not-muc 7385 unknown 9296 muc 156
29.29/29.31	c iter 185 time 27.9667 not-muc 7385 unknown 9295 muc 157
29.29/29.31	c iter 186 time 28.0267 not-muc 7385 unknown 9294 muc 158
29.29/29.31	c iter 187 time 28.0637 not-muc 7385 unknown 9293 muc 159
29.29/29.31	c iter 188 time 28.1457 not-muc 7385 unknown 9292 muc 160
29.29/29.31	c iter 189 time 28.1847 not-muc 7385 unknown 9291 muc 161
29.29/29.31	c iter 190 time 28.3727 not-muc 7385 unknown 9290 muc 162
29.29/29.31	c iter 191 time 28.4117 not-muc 7385 unknown 9289 muc 163
29.29/29.31	c iter 192 time 28.5017 not-muc 7385 unknown 9288 muc 164
29.29/29.31	c iter 193 time 28.5357 not-muc 7385 unknown 9287 muc 165
29.29/29.31	c iter 194 time 28.5477 not-muc 7385 unknown 9286 muc 166
29.29/29.31	c iter 195 time 28.5867 not-muc 7385 unknown 9285 muc 167
29.29/29.31	c iter 196 time 28.6276 not-muc 7385 unknown 9284 muc 168
29.29/29.31	c iter 197 time 28.6426 not-muc 7385 unknown 9283 muc 169
29.29/29.31	c iter 198 time 28.6566 not-muc 7385 unknown 9282 muc 170
29.29/29.31	c iter 199 time 28.6746 not-muc 7385 unknown 9281 muc 171
29.29/29.31	c iter 200 time 28.6816 not-muc 7385 unknown 9280 muc 172
29.29/29.31	c iter 201 time 28.6886 not-muc 7385 unknown 9279 muc 173
29.29/29.31	c iter 202 time 28.8266 not-muc 7385 unknown 9278 muc 174
29.29/29.31	c iter 203 time 28.8816 not-muc 7385 unknown 9277 muc 175
29.29/29.31	c iter 204 time 28.8956 not-muc 7385 unknown 9276 muc 176
29.29/29.31	c iter 205 time 29.0006 not-muc 7385 unknown 9275 muc 177
29.29/29.31	c iter 206 time 29.0256 not-muc 7385 unknown 9274 muc 178
29.29/29.31	c iter 207 time 29.0766 not-muc 7385 unknown 9273 muc 179
29.29/29.31	c iter 208 time 29.0896 not-muc 7385 unknown 9272 muc 180
29.29/29.31	c iter 209 time 29.1036 not-muc 7385 unknown 9271 muc 181
29.29/29.31	c iter 210 time 29.1186 not-muc 7385 unknown 9270 muc 182
29.29/29.31	c iter 211 time 29.1336 not-muc 7385 unknown 9269 muc 183
29.29/29.31	c iter 212 time 29.2076 not-muc 7385 unknown 9268 muc 184
29.29/29.31	c iter 213 time 29.2246 not-muc 7385 unknown 9267 muc 185
29.29/29.31	c iter 214 time 29.2376 not-muc 7385 unknown 9266 muc 186
29.29/29.31	c iter 215 time 29.2506 not-muc 7385 unknown 9265 muc 187
36.19/36.24	c iter 216 time 29.3135 not-muc 7385 unknown 9264 muc 188
36.19/36.24	c iter 217 time 29.3915 not-muc 7385 unknown 9263 muc 189
36.19/36.24	c iter 218 time 29.4355 not-muc 7385 unknown 9262 muc 190
36.19/36.24	c iter 219 time 29.5435 not-muc 7385 unknown 9261 muc 191
36.19/36.24	c iter 220 time 29.5605 not-muc 7385 unknown 9260 muc 192
36.19/36.24	c iter 221 time 29.5725 not-muc 7385 unknown 9259 muc 193
36.19/36.24	c iter 222 time 29.6035 not-muc 7385 unknown 9258 muc 194
36.19/36.24	c iter 223 time 29.6175 not-muc 7385 unknown 9257 muc 195
36.19/36.24	c iter 224 time 29.6445 not-muc 7385 unknown 9256 muc 196
36.19/36.24	c iter 225 time 29.7125 not-muc 7385 unknown 9255 muc 197
36.19/36.24	c iter 226 time 29.7285 not-muc 7385 unknown 9254 muc 198
36.19/36.24	c iter 227 time 29.7405 not-muc 7385 unknown 9253 muc 199
36.19/36.24	c iter 228 time 29.7535 not-muc 7385 unknown 9252 muc 200
36.19/36.24	c iter 229 time 29.8025 not-muc 7385 unknown 9251 muc 201
36.19/36.24	c iter 230 time 29.8145 not-muc 7385 unknown 9250 muc 202
36.19/36.24	c iter 231 time 29.8465 not-muc 7385 unknown 9249 muc 203
36.19/36.24	c iter 232 time 29.9035 not-muc 7385 unknown 9248 muc 204
36.19/36.24	c iter 233 time 29.9424 not-muc 7385 unknown 9247 muc 205
36.19/36.24	c iter 234 time 31.2203 not-muc 7385 unknown 9246 muc 206
36.19/36.24	c iter 235 time 31.2692 not-muc 7385 unknown 9245 muc 207
36.19/36.24	c iter 236 time 31.3022 not-muc 7385 unknown 9244 muc 208
36.19/36.24	c iter 237 time 31.3882 not-muc 7385 unknown 9243 muc 209
36.19/36.24	c iter 238 time 31.4172 not-muc 7385 unknown 9242 muc 210
36.19/36.24	c iter 239 time 31.4472 not-muc 7385 unknown 9241 muc 211
36.19/36.24	c iter 240 time 31.5942 not-muc 7385 unknown 9240 muc 212
36.19/36.24	c iter 241 time 32.3641 not-muc 7407 unknown 9218 muc 212
36.19/36.24	c iter 242 time 32.3981 not-muc 7407 unknown 9217 muc 213
36.19/36.24	c iter 243 time 32.4131 not-muc 7407 unknown 9216 muc 214
36.19/36.24	c iter 244 time 32.4251 not-muc 7407 unknown 9215 muc 215
36.19/36.24	c iter 245 time 32.4411 not-muc 7407 unknown 9214 muc 216
36.19/36.24	c iter 246 time 32.4561 not-muc 7407 unknown 9213 muc 217
36.19/36.24	c iter 247 time 32.4791 not-muc 7407 unknown 9212 muc 218
36.19/36.24	c iter 248 time 32.589 not-muc 7407 unknown 9211 muc 219
36.19/36.24	c iter 249 time 32.713 not-muc 7407 unknown 9210 muc 220
36.19/36.24	c iter 250 time 32.732 not-muc 7407 unknown 9209 muc 221
36.19/36.24	c iter 251 time 32.751 not-muc 7407 unknown 9208 muc 222
36.19/36.24	c iter 252 time 32.77 not-muc 7407 unknown 9207 muc 223
36.19/36.24	c iter 253 time 32.791 not-muc 7407 unknown 9206 muc 224
36.19/36.24	c iter 254 time 32.812 not-muc 7407 unknown 9205 muc 225
36.19/36.24	c iter 255 time 32.922 not-muc 7407 unknown 9204 muc 226
36.19/36.24	c iter 256 time 32.939 not-muc 7407 unknown 9203 muc 227
36.19/36.24	c iter 257 time 32.987 not-muc 7407 unknown 9202 muc 228
36.19/36.24	c iter 258 time 33.091 not-muc 7407 unknown 9201 muc 229
36.19/36.24	c iter 259 time 33.109 not-muc 7407 unknown 9200 muc 230
36.19/36.24	c iter 260 time 33.123 not-muc 7407 unknown 9199 muc 231
36.19/36.24	c iter 261 time 33.138 not-muc 7407 unknown 9198 muc 232
36.19/36.24	c iter 262 time 33.8259 not-muc 7407 unknown 9197 muc 233
36.19/36.24	c iter 263 time 33.8499 not-muc 7407 unknown 9196 muc 234
36.19/36.24	c iter 264 time 34.4128 not-muc 7407 unknown 9195 muc 235
36.19/36.24	c iter 265 time 34.4558 not-muc 7407 unknown 9194 muc 236
36.19/36.24	c iter 266 time 34.5857 not-muc 7407 unknown 9193 muc 237
36.19/36.24	c iter 267 time 34.6677 not-muc 7407 unknown 9192 muc 238
36.19/36.24	c iter 268 time 34.8067 not-muc 7407 unknown 9191 muc 239
36.19/36.24	c iter 269 time 34.8307 not-muc 7407 unknown 9190 muc 240
36.19/36.24	c iter 270 time 34.8537 not-muc 7407 unknown 9189 muc 241
36.19/36.24	c iter 271 time 34.8817 not-muc 7407 unknown 9188 muc 242
36.19/36.24	c iter 272 time 34.9057 not-muc 7407 unknown 9187 muc 243
36.19/36.24	c iter 273 time 34.9297 not-muc 7407 unknown 9186 muc 244
36.19/36.24	c iter 274 time 34.9527 not-muc 7407 unknown 9185 muc 245
36.19/36.24	c iter 275 time 34.9797 not-muc 7407 unknown 9184 muc 246
36.19/36.24	c iter 276 time 34.9977 not-muc 7407 unknown 9183 muc 247
36.19/36.24	c iter 277 time 35.0327 not-muc 7407 unknown 9182 muc 248
36.19/36.24	c iter 278 time 35.1087 not-muc 7407 unknown 9181 muc 249
36.19/36.24	c iter 279 time 35.1427 not-muc 7407 unknown 9180 muc 250
36.19/36.24	c iter 280 time 35.2266 not-muc 7407 unknown 9179 muc 251
36.19/36.24	c iter 281 time 35.3346 not-muc 7407 unknown 9178 muc 252
36.19/36.24	c iter 282 time 35.3846 not-muc 7407 unknown 9177 muc 253
36.19/36.24	c iter 283 time 35.4446 not-muc 7407 unknown 9176 muc 254
36.19/36.24	c iter 284 time 35.4696 not-muc 7407 unknown 9175 muc 255
36.19/36.24	c iter 285 time 35.4936 not-muc 7407 unknown 9174 muc 256
36.19/36.24	c iter 286 time 36.1825 not-muc 7407 unknown 9173 muc 257
45.78/45.83	c iter 287 time 36.2425 not-muc 7407 unknown 9172 muc 258
45.78/45.83	c iter 288 time 36.2625 not-muc 7407 unknown 9171 muc 259
45.78/45.83	c iter 289 time 36.3785 not-muc 7407 unknown 9170 muc 260
45.78/45.83	c iter 290 time 36.3995 not-muc 7407 unknown 9169 muc 261
45.78/45.83	c iter 291 time 36.4205 not-muc 7407 unknown 9168 muc 262
45.78/45.83	c iter 292 time 36.4405 not-muc 7407 unknown 9167 muc 263
45.78/45.83	c iter 293 time 36.4605 not-muc 7407 unknown 9166 muc 264
45.78/45.83	c iter 294 time 36.4815 not-muc 7407 unknown 9165 muc 265
45.78/45.83	c iter 295 time 36.5524 not-muc 7407 unknown 9164 muc 266
45.78/45.83	c iter 296 time 36.7234 not-muc 7407 unknown 9163 muc 267
45.78/45.83	c iter 297 time 36.7394 not-muc 7407 unknown 9162 muc 268
45.78/45.83	c iter 298 time 36.7514 not-muc 7407 unknown 9161 muc 269
45.78/45.83	c iter 299 time 36.7644 not-muc 7407 unknown 9160 muc 270
45.78/45.83	c iter 300 time 36.8154 not-muc 7407 unknown 9159 muc 271
45.78/45.83	c iter 301 time 36.8404 not-muc 7407 unknown 9158 muc 272
45.78/45.83	c iter 302 time 36.8584 not-muc 7407 unknown 9157 muc 273
45.78/45.83	c iter 303 time 36.9354 not-muc 7407 unknown 9156 muc 274
45.78/45.83	c iter 304 time 36.9544 not-muc 7407 unknown 9155 muc 275
45.78/45.83	c iter 305 time 37.0204 not-muc 7407 unknown 9154 muc 276
45.78/45.83	c iter 306 time 37.1034 not-muc 7407 unknown 9153 muc 277
45.78/45.83	c iter 307 time 37.1833 not-muc 7407 unknown 9152 muc 278
45.78/45.83	c iter 308 time 37.3583 not-muc 7407 unknown 9151 muc 279
45.78/45.83	c iter 309 time 37.3843 not-muc 7407 unknown 9150 muc 280
45.78/45.83	c iter 310 time 37.4923 not-muc 7407 unknown 9149 muc 281
45.78/45.83	c iter 311 time 37.5613 not-muc 7407 unknown 9148 muc 282
45.78/45.83	c iter 312 time 37.6913 not-muc 7407 unknown 9147 muc 283
45.78/45.83	c iter 313 time 37.7043 not-muc 7407 unknown 9146 muc 284
45.78/45.83	c iter 314 time 37.7163 not-muc 7407 unknown 9145 muc 285
45.78/45.83	c iter 315 time 37.7513 not-muc 7407 unknown 9144 muc 286
45.78/45.83	c iter 316 time 37.9162 not-muc 7407 unknown 9143 muc 287
45.78/45.83	c iter 317 time 38.1882 not-muc 7407 unknown 9142 muc 288
45.78/45.83	c iter 318 time 38.3012 not-muc 7407 unknown 9141 muc 289
45.78/45.83	c iter 319 time 38.3912 not-muc 7407 unknown 9140 muc 290
45.78/45.83	c iter 320 time 38.4162 not-muc 7407 unknown 9139 muc 291
45.78/45.83	c iter 321 time 38.4392 not-muc 7407 unknown 9138 muc 292
45.78/45.83	c iter 322 time 38.4622 not-muc 7407 unknown 9137 muc 293
45.78/45.83	c iter 323 time 38.4861 not-muc 7407 unknown 9136 muc 294
45.78/45.83	c iter 324 time 38.5111 not-muc 7407 unknown 9135 muc 295
45.78/45.83	c iter 325 time 38.6631 not-muc 7407 unknown 9134 muc 296
45.78/45.83	c iter 326 time 38.7121 not-muc 7407 unknown 9133 muc 297
45.78/45.83	c iter 327 time 40.3189 not-muc 7411 unknown 9129 muc 297
45.78/45.83	c iter 328 time 40.4199 not-muc 7411 unknown 9128 muc 298
45.78/45.83	c iter 329 time 40.4409 not-muc 7411 unknown 9127 muc 299
45.78/45.83	c iter 330 time 40.4618 not-muc 7411 unknown 9126 muc 300
45.78/45.83	c iter 331 time 41.4927 not-muc 7414 unknown 9123 muc 300
45.78/45.83	c iter 332 time 41.5267 not-muc 7414 unknown 9122 muc 301
45.78/45.83	c iter 333 time 41.8066 not-muc 7414 unknown 9121 muc 302
45.78/45.83	c iter 334 time 42.6125 not-muc 7414 unknown 9120 muc 303
45.78/45.83	c iter 335 time 42.6425 not-muc 7414 unknown 9119 muc 304
45.78/45.83	c iter 336 time 42.9955 not-muc 7414 unknown 9118 muc 305
45.78/45.83	c iter 337 time 43.0165 not-muc 7414 unknown 9117 muc 306
45.78/45.83	c iter 338 time 44.1823 not-muc 7434 unknown 9097 muc 306
45.78/45.83	c iter 339 time 44.4602 not-muc 7434 unknown 9096 muc 307
45.78/45.83	c iter 340 time 44.7212 not-muc 7434 unknown 9095 muc 308
45.78/45.83	c iter 341 time 44.7442 not-muc 7434 unknown 9094 muc 309
45.78/45.83	c iter 342 time 44.7672 not-muc 7434 unknown 9093 muc 310
45.78/45.83	c iter 343 time 44.7902 not-muc 7434 unknown 9092 muc 311
45.78/45.83	c iter 344 time 45.0562 not-muc 7434 unknown 9091 muc 312
45.78/45.83	c iter 345 time 45.0811 not-muc 7434 unknown 9090 muc 313
45.78/45.83	c iter 346 time 45.1061 not-muc 7434 unknown 9089 muc 314
45.78/45.83	c iter 347 time 45.1311 not-muc 7434 unknown 9088 muc 315
45.78/45.83	c iter 348 time 45.1571 not-muc 7434 unknown 9087 muc 316
45.78/45.83	c iter 349 time 45.3861 not-muc 7434 unknown 9086 muc 317
45.78/45.83	c iter 350 time 45.5301 not-muc 7434 unknown 9085 muc 318
45.78/45.83	c iter 351 time 45.5601 not-muc 7434 unknown 9084 muc 319
45.78/45.83	c iter 352 time 45.6131 not-muc 7434 unknown 9083 muc 320
45.78/45.83	c iter 353 time 45.6521 not-muc 7434 unknown 9082 muc 321
45.78/45.83	c iter 354 time 45.6781 not-muc 7434 unknown 9081 muc 322
45.78/45.83	c iter 355 time 45.7051 not-muc 7434 unknown 9080 muc 323
45.78/45.83	c iter 356 time 45.732 not-muc 7434 unknown 9079 muc 324
45.78/45.83	c iter 357 time 45.759 not-muc 7434 unknown 9078 muc 325
73.28/73.36	c iter 358 time 45.788 not-muc 7434 unknown 9077 muc 326
73.28/73.36	c iter 359 time 46.021 not-muc 7434 unknown 9076 muc 327
73.28/73.36	c iter 360 time 46.262 not-muc 7434 unknown 9075 muc 328
73.28/73.36	c iter 361 time 46.29 not-muc 7434 unknown 9074 muc 329
73.28/73.36	c iter 362 time 46.342 not-muc 7434 unknown 9073 muc 330
73.28/73.36	c iter 363 time 47.5028 not-muc 7441 unknown 9066 muc 330
73.28/73.36	c iter 364 time 47.7647 not-muc 7441 unknown 9065 muc 331
73.28/73.36	c iter 365 time 47.9137 not-muc 7441 unknown 9064 muc 332
73.28/73.36	c iter 366 time 47.9877 not-muc 7441 unknown 9063 muc 333
73.28/73.36	c iter 367 time 48.0137 not-muc 7441 unknown 9062 muc 334
73.28/73.36	c iter 368 time 48.0457 not-muc 7441 unknown 9061 muc 335
73.28/73.36	c iter 369 time 49.6505 not-muc 7441 unknown 9060 muc 336
73.28/73.36	c iter 370 time 49.6824 not-muc 7441 unknown 9059 muc 337
73.28/73.36	c iter 371 time 49.7034 not-muc 7441 unknown 9058 muc 338
73.28/73.36	c iter 372 time 49.7244 not-muc 7441 unknown 9057 muc 339
73.28/73.36	c iter 373 time 49.7464 not-muc 7441 unknown 9056 muc 340
73.28/73.36	c iter 374 time 49.7684 not-muc 7441 unknown 9055 muc 341
73.28/73.36	c iter 375 time 49.7884 not-muc 7441 unknown 9054 muc 342
73.28/73.36	c iter 376 time 49.8884 not-muc 7441 unknown 9053 muc 343
73.28/73.36	c iter 377 time 49.9054 not-muc 7441 unknown 9052 muc 344
73.28/73.36	c iter 378 time 49.9264 not-muc 7441 unknown 9051 muc 345
73.28/73.36	c iter 379 time 49.9464 not-muc 7441 unknown 9050 muc 346
73.28/73.36	c iter 380 time 49.9674 not-muc 7441 unknown 9049 muc 347
73.28/73.36	c iter 381 time 50.1234 not-muc 7441 unknown 9048 muc 348
73.28/73.36	c iter 382 time 50.1504 not-muc 7441 unknown 9047 muc 349
73.28/73.36	c iter 383 time 51.7211 not-muc 7441 unknown 9046 muc 350
73.28/73.36	c iter 384 time 51.7541 not-muc 7441 unknown 9045 muc 351
73.28/73.36	c iter 385 time 53.5189 not-muc 7449 unknown 9037 muc 351
73.28/73.36	c iter 386 time 53.5709 not-muc 7449 unknown 9036 muc 352
73.28/73.36	c iter 387 time 53.8808 not-muc 7449 unknown 9035 muc 353
73.28/73.36	c iter 388 time 53.9108 not-muc 7449 unknown 9034 muc 354
73.28/73.36	c iter 389 time 53.9388 not-muc 7449 unknown 9033 muc 355
73.28/73.36	c iter 390 time 53.9658 not-muc 7449 unknown 9032 muc 356
73.28/73.36	c iter 391 time 53.9938 not-muc 7449 unknown 9031 muc 357
73.28/73.36	c iter 392 time 54.0218 not-muc 7449 unknown 9030 muc 358
73.28/73.36	c iter 393 time 54.9216 not-muc 7449 unknown 9029 muc 359
73.28/73.36	c iter 394 time 54.9506 not-muc 7449 unknown 9028 muc 360
73.28/73.36	c iter 395 time 55.0256 not-muc 7449 unknown 9027 muc 361
73.28/73.36	c iter 396 time 55.0536 not-muc 7449 unknown 9026 muc 362
73.28/73.36	c iter 397 time 56.7814 not-muc 7461 unknown 9014 muc 362
73.28/73.36	c iter 398 time 58.5431 not-muc 7463 unknown 9012 muc 362
73.28/73.36	c iter 399 time 59.055 not-muc 7463 unknown 9011 muc 363
73.28/73.36	c iter 400 time 59.5309 not-muc 7463 unknown 9010 muc 364
73.28/73.36	c iter 401 time 59.6269 not-muc 7463 unknown 9009 muc 365
73.28/73.36	c iter 402 time 60.0749 not-muc 7463 unknown 9008 muc 366
73.28/73.36	c iter 403 time 60.1029 not-muc 7463 unknown 9007 muc 367
73.28/73.36	c iter 404 time 60.1299 not-muc 7463 unknown 9006 muc 368
73.28/73.36	c iter 405 time 60.1579 not-muc 7463 unknown 9005 muc 369
73.28/73.36	c iter 406 time 60.2068 not-muc 7463 unknown 9004 muc 370
73.28/73.36	c iter 407 time 60.2298 not-muc 7463 unknown 9003 muc 371
73.28/73.36	c iter 408 time 60.2518 not-muc 7463 unknown 9002 muc 372
73.28/73.36	c iter 409 time 61.2317 not-muc 7463 unknown 9001 muc 373
73.28/73.36	c iter 410 time 61.4497 not-muc 7463 unknown 9000 muc 374
73.28/73.36	c iter 411 time 62.1336 not-muc 7463 unknown 8999 muc 375
73.28/73.36	c iter 412 time 62.4635 not-muc 7463 unknown 8998 muc 376
73.28/73.36	c iter 413 time 63.0734 not-muc 7463 unknown 8997 muc 377
73.28/73.36	c iter 414 time 63.4514 not-muc 7463 unknown 8996 muc 378
73.28/73.36	c iter 415 time 64.3132 not-muc 7463 unknown 8995 muc 379
73.28/73.36	c iter 416 time 64.3442 not-muc 7463 unknown 8994 muc 380
73.28/73.36	c iter 417 time 64.3692 not-muc 7463 unknown 8993 muc 381
73.28/73.36	c iter 418 time 64.7482 not-muc 7463 unknown 8992 muc 382
73.28/73.36	c iter 419 time 65.889 not-muc 7463 unknown 8991 muc 383
73.28/73.36	c iter 420 time 66.1779 not-muc 7463 unknown 8990 muc 384
73.28/73.36	c iter 421 time 67.8667 not-muc 7463 unknown 8989 muc 385
73.28/73.36	c iter 422 time 67.9397 not-muc 7463 unknown 8988 muc 386
73.28/73.36	c iter 423 time 69.1775 not-muc 7463 unknown 8987 muc 387
73.28/73.36	c iter 424 time 69.2965 not-muc 7463 unknown 8986 muc 388
73.28/73.36	c iter 425 time 71.2942 not-muc 7463 unknown 8985 muc 389
73.28/73.36	c iter 426 time 71.4301 not-muc 7463 unknown 8984 muc 390
73.28/73.36	c iter 427 time 72.259 not-muc 7463 unknown 8983 muc 391
73.28/73.36	c iter 428 time 73.2759 not-muc 7463 unknown 8982 muc 392
124.68/124.79	c iter 429 time 73.3448 not-muc 7463 unknown 8981 muc 393
124.68/124.79	c iter 430 time 74.8506 not-muc 7463 unknown 8980 muc 394
124.68/124.79	c iter 431 time 74.9376 not-muc 7463 unknown 8979 muc 395
124.68/124.79	c iter 432 time 75.0166 not-muc 7463 unknown 8978 muc 396
124.68/124.79	c iter 433 time 75.1006 not-muc 7463 unknown 8977 muc 397
124.68/124.79	c iter 434 time 75.9005 not-muc 7463 unknown 8976 muc 398
124.68/124.79	c iter 435 time 77.3152 not-muc 7463 unknown 8975 muc 399
124.68/124.79	c iter 436 time 77.9771 not-muc 7463 unknown 8974 muc 400
124.68/124.79	c iter 437 time 78.1011 not-muc 7463 unknown 8973 muc 401
124.68/124.79	c iter 438 time 79.6099 not-muc 7463 unknown 8972 muc 402
124.68/124.79	c iter 439 time 79.7689 not-muc 7463 unknown 8971 muc 403
124.68/124.79	c iter 440 time 80.7627 not-muc 7463 unknown 8970 muc 404
124.68/124.79	c iter 441 time 81.0217 not-muc 7463 unknown 8969 muc 405
124.68/124.79	c iter 442 time 82.0025 not-muc 7463 unknown 8968 muc 406
124.68/124.79	c iter 443 time 82.1715 not-muc 7463 unknown 8967 muc 407
124.68/124.79	c iter 444 time 82.3595 not-muc 7463 unknown 8966 muc 408
124.68/124.79	c iter 445 time 83.2044 not-muc 7463 unknown 8965 muc 409
124.68/124.79	c iter 446 time 83.4183 not-muc 7463 unknown 8964 muc 410
124.68/124.79	c iter 447 time 83.8123 not-muc 7463 unknown 8963 muc 411
124.68/124.79	c iter 448 time 84.5841 not-muc 7463 unknown 8962 muc 412
124.68/124.79	c iter 449 time 85.597 not-muc 7463 unknown 8961 muc 413
124.68/124.79	c iter 450 time 85.825 not-muc 7463 unknown 8960 muc 414
124.68/124.79	c iter 451 time 86.0549 not-muc 7463 unknown 8959 muc 415
124.68/124.79	c iter 452 time 88.8445 not-muc 7465 unknown 8957 muc 415
124.68/124.79	c iter 453 time 91.3141 not-muc 7466 unknown 8956 muc 415
124.68/124.79	c iter 454 time 92.299 not-muc 7466 unknown 8955 muc 416
124.68/124.79	c iter 455 time 93.4998 not-muc 7466 unknown 8954 muc 417
124.68/124.79	c iter 456 time 93.8307 not-muc 7466 unknown 8953 muc 418
124.68/124.79	c iter 457 time 94.1647 not-muc 7466 unknown 8952 muc 419
124.68/124.79	c iter 458 time 94.4956 not-muc 7466 unknown 8951 muc 420
124.68/124.79	c iter 459 time 95.5685 not-muc 7466 unknown 8950 muc 421
124.68/124.79	c iter 460 time 95.8884 not-muc 7466 unknown 8949 muc 422
124.68/124.79	c iter 461 time 96.2364 not-muc 7466 unknown 8948 muc 423
124.68/124.79	c iter 462 time 96.5603 not-muc 7466 unknown 8947 muc 424
124.68/124.79	c iter 463 time 97.9741 not-muc 7466 unknown 8946 muc 425
124.68/124.79	c iter 464 time 98.3211 not-muc 7466 unknown 8945 muc 426
124.68/124.79	c iter 465 time 98.661 not-muc 7466 unknown 8944 muc 427
124.68/124.79	c iter 466 time 99.4999 not-muc 7466 unknown 8943 muc 428
124.68/124.79	c iter 467 time 99.8718 not-muc 7466 unknown 8942 muc 429
124.68/124.79	c iter 468 time 100.212 not-muc 7466 unknown 8941 muc 430
124.68/124.79	c iter 469 time 100.806 not-muc 7466 unknown 8940 muc 431
124.68/124.79	c iter 470 time 101.338 not-muc 7466 unknown 8939 muc 432
124.68/124.79	c iter 471 time 102.588 not-muc 7466 unknown 8938 muc 433
124.68/124.79	c iter 472 time 102.984 not-muc 7466 unknown 8937 muc 434
124.68/124.79	c iter 473 time 103.382 not-muc 7466 unknown 8936 muc 435
124.68/124.79	c iter 474 time 103.708 not-muc 7466 unknown 8935 muc 436
124.68/124.79	c iter 475 time 104.814 not-muc 7466 unknown 8934 muc 437
124.68/124.79	c iter 476 time 105.206 not-muc 7466 unknown 8933 muc 438
124.68/124.79	c iter 477 time 105.582 not-muc 7466 unknown 8932 muc 439
124.68/124.79	c iter 478 time 105.967 not-muc 7466 unknown 8931 muc 440
124.68/124.79	c iter 479 time 106.242 not-muc 7466 unknown 8930 muc 441
124.68/124.79	c iter 480 time 106.565 not-muc 7466 unknown 8929 muc 442
124.68/124.79	c iter 481 time 107.331 not-muc 7466 unknown 8928 muc 443
124.68/124.79	c iter 482 time 107.694 not-muc 7466 unknown 8927 muc 444
124.68/124.79	c iter 483 time 108.056 not-muc 7466 unknown 8926 muc 445
124.68/124.79	c iter 484 time 108.42 not-muc 7466 unknown 8925 muc 446
124.68/124.79	c iter 485 time 108.786 not-muc 7466 unknown 8924 muc 447
124.68/124.79	c iter 486 time 109.099 not-muc 7466 unknown 8923 muc 448
124.68/124.79	c iter 487 time 109.472 not-muc 7466 unknown 8922 muc 449
124.68/124.79	c iter 488 time 109.844 not-muc 7466 unknown 8921 muc 450
124.68/124.79	c iter 489 time 110.212 not-muc 7466 unknown 8920 muc 451
124.68/124.79	c iter 490 time 112.967 not-muc 7467 unknown 8919 muc 451
124.68/124.79	c iter 491 time 116.062 not-muc 7468 unknown 8918 muc 451
124.68/124.79	c iter 492 time 117.524 not-muc 7468 unknown 8917 muc 452
124.68/124.79	c iter 493 time 117.998 not-muc 7468 unknown 8916 muc 453
124.68/124.79	c iter 494 time 119.191 not-muc 7468 unknown 8915 muc 454
124.68/124.79	c iter 495 time 119.668 not-muc 7468 unknown 8914 muc 455
124.68/124.79	c iter 496 time 120.794 not-muc 7468 unknown 8913 muc 456
124.68/124.79	c iter 497 time 123.202 not-muc 7475 unknown 8906 muc 456
124.68/124.79	c iter 498 time 124.687 not-muc 7475 unknown 8905 muc 457
233.68/233.78	c iter 499 time 125.745 not-muc 7475 unknown 8904 muc 458
233.68/233.78	c iter 500 time 126.174 not-muc 7475 unknown 8903 muc 459
233.68/233.78	c iter 501 time 128.999 not-muc 7487 unknown 8891 muc 459
233.68/233.78	c iter 502 time 132.897 not-muc 7491 unknown 8887 muc 459
233.68/233.78	c iter 503 time 136.293 not-muc 7514 unknown 8864 muc 459
233.68/233.78	c iter 504 time 138.195 not-muc 7514 unknown 8863 muc 460
233.68/233.78	c iter 505 time 139.53 not-muc 7514 unknown 8862 muc 461
233.68/233.78	c iter 506 time 143.304 not-muc 7516 unknown 8860 muc 461
233.68/233.78	c iter 507 time 144.119 not-muc 7516 unknown 8859 muc 462
233.68/233.78	c iter 508 time 144.876 not-muc 7516 unknown 8858 muc 463
233.68/233.78	c iter 509 time 146.503 not-muc 7516 unknown 8857 muc 464
233.68/233.78	c iter 510 time 147.259 not-muc 7516 unknown 8856 muc 465
233.68/233.78	c iter 511 time 148.008 not-muc 7516 unknown 8855 muc 466
233.68/233.78	c iter 512 time 148.765 not-muc 7516 unknown 8854 muc 467
233.68/233.78	c iter 513 time 149.523 not-muc 7516 unknown 8853 muc 468
233.68/233.78	c iter 514 time 150.275 not-muc 7516 unknown 8852 muc 469
233.68/233.78	c iter 515 time 151.829 not-muc 7516 unknown 8851 muc 470
233.68/233.78	c iter 516 time 152.618 not-muc 7516 unknown 8850 muc 471
233.68/233.78	c iter 517 time 153.408 not-muc 7516 unknown 8849 muc 472
233.68/233.78	c iter 518 time 154.431 not-muc 7516 unknown 8848 muc 473
233.68/233.78	c iter 519 time 155.226 not-muc 7516 unknown 8847 muc 474
233.68/233.78	c iter 520 time 157.528 not-muc 7516 unknown 8846 muc 475
233.68/233.78	c iter 521 time 158.34 not-muc 7516 unknown 8845 muc 476
233.68/233.78	c iter 522 time 159.149 not-muc 7516 unknown 8844 muc 477
233.68/233.78	c iter 523 time 160.005 not-muc 7516 unknown 8843 muc 478
233.68/233.78	c iter 524 time 160.817 not-muc 7516 unknown 8842 muc 479
233.68/233.78	c iter 525 time 161.628 not-muc 7516 unknown 8841 muc 480
233.68/233.78	c iter 526 time 162.436 not-muc 7516 unknown 8840 muc 481
233.68/233.78	c iter 527 time 163.245 not-muc 7516 unknown 8839 muc 482
233.68/233.78	c iter 528 time 164.08 not-muc 7516 unknown 8838 muc 483
233.68/233.78	c iter 529 time 166.1 not-muc 7516 unknown 8837 muc 484
233.68/233.78	c iter 530 time 169.925 not-muc 7527 unknown 8826 muc 484
233.68/233.78	c iter 531 time 171.263 not-muc 7527 unknown 8825 muc 485
233.68/233.78	c iter 532 time 172.133 not-muc 7527 unknown 8824 muc 486
233.68/233.78	c iter 533 time 173.002 not-muc 7527 unknown 8823 muc 487
233.68/233.78	c iter 534 time 176.308 not-muc 7527 unknown 8822 muc 488
233.68/233.78	c iter 535 time 178.121 not-muc 7527 unknown 8821 muc 489
233.68/233.78	c iter 536 time 179.075 not-muc 7527 unknown 8820 muc 490
233.68/233.78	c iter 537 time 181.337 not-muc 7527 unknown 8819 muc 491
233.68/233.78	c iter 538 time 183.08 not-muc 7527 unknown 8818 muc 492
233.68/233.78	c iter 539 time 184.051 not-muc 7527 unknown 8817 muc 493
233.68/233.78	c iter 540 time 185.014 not-muc 7527 unknown 8816 muc 494
233.68/233.78	c iter 541 time 187.416 not-muc 7527 unknown 8815 muc 495
233.68/233.78	c iter 542 time 188.421 not-muc 7527 unknown 8814 muc 496
233.68/233.78	c iter 543 time 189.468 not-muc 7527 unknown 8813 muc 497
233.68/233.78	c iter 544 time 191.751 not-muc 7527 unknown 8812 muc 498
233.68/233.78	c iter 545 time 193.336 not-muc 7527 unknown 8811 muc 499
233.68/233.78	c iter 546 time 195.936 not-muc 7527 unknown 8810 muc 500
233.68/233.78	c iter 547 time 196.684 not-muc 7527 unknown 8809 muc 501
233.68/233.78	c iter 548 time 199.95 not-muc 7527 unknown 8808 muc 502
233.68/233.78	c iter 549 time 201.507 not-muc 7527 unknown 8807 muc 503
233.68/233.78	c iter 550 time 202.324 not-muc 7527 unknown 8806 muc 504
233.68/233.78	c iter 551 time 203.451 not-muc 7527 unknown 8805 muc 505
233.68/233.78	c iter 552 time 204.575 not-muc 7527 unknown 8804 muc 506
233.68/233.78	c iter 553 time 205.705 not-muc 7527 unknown 8803 muc 507
233.68/233.78	c iter 554 time 206.844 not-muc 7527 unknown 8802 muc 508
233.68/233.78	c iter 555 time 208.897 not-muc 7527 unknown 8801 muc 509
233.68/233.78	c iter 556 time 209.851 not-muc 7527 unknown 8800 muc 510
233.68/233.78	c iter 557 time 210.835 not-muc 7527 unknown 8799 muc 511
233.68/233.78	c iter 558 time 211.951 not-muc 7527 unknown 8798 muc 512
233.68/233.78	c iter 559 time 214.123 not-muc 7527 unknown 8797 muc 513
233.68/233.78	c iter 560 time 215.449 not-muc 7527 unknown 8796 muc 514
233.68/233.78	c iter 561 time 216.86 not-muc 7527 unknown 8795 muc 515
233.68/233.78	c iter 562 time 218.093 not-muc 7527 unknown 8794 muc 516
233.68/233.78	c iter 563 time 219.469 not-muc 7527 unknown 8793 muc 517
233.68/233.78	c iter 564 time 220.598 not-muc 7527 unknown 8792 muc 518
233.68/233.78	c iter 565 time 221.816 not-muc 7527 unknown 8791 muc 519
233.68/233.78	c iter 566 time 222.991 not-muc 7527 unknown 8790 muc 520
233.68/233.78	c iter 567 time 227.147 not-muc 7536 unknown 8781 muc 520
233.68/233.78	c iter 568 time 232.684 not-muc 7557 unknown 8760 muc 520
233.68/233.78	c iter 569 time 233.649 not-muc 7557 unknown 8759 muc 521
347.98/348.02	c iter 570 time 236.37 not-muc 7557 unknown 8758 muc 522
347.98/348.02	c iter 571 time 237.447 not-muc 7557 unknown 8757 muc 523
347.98/348.02	c iter 572 time 238.686 not-muc 7557 unknown 8756 muc 524
347.98/348.02	c iter 573 time 239.927 not-muc 7557 unknown 8755 muc 525
347.98/348.02	c iter 574 time 241.168 not-muc 7557 unknown 8754 muc 526
347.98/348.02	c iter 575 time 242.407 not-muc 7557 unknown 8753 muc 527
347.98/348.02	c iter 576 time 243.621 not-muc 7557 unknown 8752 muc 528
347.98/348.02	c iter 577 time 244.802 not-muc 7557 unknown 8751 muc 529
347.98/348.02	c iter 578 time 245.923 not-muc 7557 unknown 8750 muc 530
347.98/348.02	c iter 579 time 248.156 not-muc 7557 unknown 8749 muc 531
347.98/348.02	c iter 580 time 249.368 not-muc 7557 unknown 8748 muc 532
347.98/348.02	c iter 581 time 250.582 not-muc 7557 unknown 8747 muc 533
347.98/348.02	c iter 582 time 255.69 not-muc 7564 unknown 8740 muc 533
347.98/348.02	c iter 583 time 256.702 not-muc 7564 unknown 8739 muc 534
347.98/348.02	c iter 584 time 257.934 not-muc 7564 unknown 8738 muc 535
347.98/348.02	c iter 585 time 259.35 not-muc 7564 unknown 8737 muc 536
347.98/348.02	c iter 586 time 260.593 not-muc 7564 unknown 8736 muc 537
347.98/348.02	c iter 587 time 261.836 not-muc 7564 unknown 8735 muc 538
347.98/348.02	c iter 588 time 263.122 not-muc 7564 unknown 8734 muc 539
347.98/348.02	c iter 589 time 264.359 not-muc 7564 unknown 8733 muc 540
347.98/348.02	c iter 590 time 265.599 not-muc 7564 unknown 8732 muc 541
347.98/348.02	c iter 591 time 266.84 not-muc 7564 unknown 8731 muc 542
347.98/348.02	c iter 592 time 268.08 not-muc 7564 unknown 8730 muc 543
347.98/348.02	c iter 593 time 270.767 not-muc 7564 unknown 8729 muc 544
347.98/348.02	c iter 594 time 273.23 not-muc 7564 unknown 8728 muc 545
347.98/348.02	c iter 595 time 274.732 not-muc 7564 unknown 8727 muc 546
347.98/348.02	c iter 596 time 276.063 not-muc 7564 unknown 8726 muc 547
347.98/348.02	c iter 597 time 277.366 not-muc 7564 unknown 8725 muc 548
347.98/348.02	c iter 598 time 278.6 not-muc 7564 unknown 8724 muc 549
347.98/348.02	c iter 599 time 279.907 not-muc 7564 unknown 8723 muc 550
347.98/348.02	c iter 600 time 281.214 not-muc 7564 unknown 8722 muc 551
347.98/348.02	c iter 601 time 283.475 not-muc 7564 unknown 8721 muc 552
347.98/348.02	c iter 602 time 284.732 not-muc 7564 unknown 8720 muc 553
347.98/348.02	c iter 603 time 286.148 not-muc 7564 unknown 8719 muc 554
347.98/348.02	c iter 604 time 287.517 not-muc 7564 unknown 8718 muc 555
347.98/348.02	c iter 605 time 288.877 not-muc 7564 unknown 8717 muc 556
347.98/348.02	c iter 606 time 290.164 not-muc 7564 unknown 8716 muc 557
347.98/348.02	c iter 607 time 291.425 not-muc 7564 unknown 8715 muc 558
347.98/348.02	c iter 608 time 294.133 not-muc 7564 unknown 8714 muc 559
347.98/348.02	c iter 609 time 295.391 not-muc 7564 unknown 8713 muc 560
347.98/348.02	c iter 610 time 296.653 not-muc 7564 unknown 8712 muc 561
347.98/348.02	c iter 611 time 297.976 not-muc 7564 unknown 8711 muc 562
347.98/348.02	c iter 612 time 299.493 not-muc 7564 unknown 8710 muc 563
347.98/348.02	c iter 613 time 300.741 not-muc 7564 unknown 8709 muc 564
347.98/348.02	c iter 614 time 302.031 not-muc 7564 unknown 8708 muc 565
347.98/348.02	c iter 615 time 303.392 not-muc 7564 unknown 8707 muc 566
347.98/348.02	c iter 616 time 304.838 not-muc 7564 unknown 8706 muc 567
347.98/348.02	c iter 617 time 306.079 not-muc 7564 unknown 8705 muc 568
347.98/348.02	c iter 618 time 307.324 not-muc 7564 unknown 8704 muc 569
347.98/348.02	c iter 619 time 309.573 not-muc 7564 unknown 8703 muc 570
347.98/348.02	c iter 620 time 311.013 not-muc 7564 unknown 8702 muc 571
347.98/348.02	c iter 621 time 312.284 not-muc 7564 unknown 8701 muc 572
347.98/348.02	c iter 622 time 313.555 not-muc 7564 unknown 8700 muc 573
347.98/348.02	c iter 623 time 319.508 not-muc 7567 unknown 8697 muc 573
347.98/348.02	c iter 624 time 325.585 not-muc 7581 unknown 8683 muc 573
347.98/348.02	c iter 625 time 326.916 not-muc 7581 unknown 8682 muc 574
347.98/348.02	c iter 626 time 328.317 not-muc 7581 unknown 8681 muc 575
347.98/348.02	c iter 627 time 329.604 not-muc 7581 unknown 8680 muc 576
347.98/348.02	c iter 628 time 330.812 not-muc 7581 unknown 8679 muc 577
347.98/348.02	c iter 629 time 332.115 not-muc 7581 unknown 8678 muc 578
347.98/348.02	c iter 630 time 333.367 not-muc 7581 unknown 8677 muc 579
347.98/348.02	c iter 631 time 334.62 not-muc 7581 unknown 8676 muc 580
347.98/348.02	c iter 632 time 335.875 not-muc 7581 unknown 8675 muc 581
347.98/348.02	c iter 633 time 338.937 not-muc 7581 unknown 8674 muc 582
347.98/348.02	c iter 634 time 340.211 not-muc 7581 unknown 8673 muc 583
347.98/348.02	c iter 635 time 341.484 not-muc 7581 unknown 8672 muc 584
347.98/348.02	c iter 636 time 342.76 not-muc 7581 unknown 8671 muc 585
347.98/348.02	c iter 637 time 344.033 not-muc 7581 unknown 8670 muc 586
347.98/348.02	c iter 638 time 345.308 not-muc 7581 unknown 8669 muc 587
347.98/348.02	c iter 639 time 346.586 not-muc 7581 unknown 8668 muc 588
347.98/348.02	c iter 640 time 347.875 not-muc 7581 unknown 8667 muc 589
493.87/493.94	c iter 641 time 349.19 not-muc 7581 unknown 8666 muc 590
493.87/493.94	c iter 642 time 350.444 not-muc 7581 unknown 8665 muc 591
493.87/493.94	c iter 643 time 353.588 not-muc 7581 unknown 8664 muc 592
493.87/493.94	c iter 644 time 354.862 not-muc 7581 unknown 8663 muc 593
493.87/493.94	c iter 645 time 356.136 not-muc 7581 unknown 8662 muc 594
493.87/493.94	c iter 646 time 357.482 not-muc 7581 unknown 8661 muc 595
493.87/493.94	c iter 647 time 358.725 not-muc 7581 unknown 8660 muc 596
493.87/493.94	c iter 648 time 359.967 not-muc 7581 unknown 8659 muc 597
493.87/493.94	c iter 649 time 361.209 not-muc 7581 unknown 8658 muc 598
493.87/493.94	c iter 650 time 362.347 not-muc 7581 unknown 8657 muc 599
493.87/493.94	c iter 651 time 363.633 not-muc 7581 unknown 8656 muc 600
493.87/493.94	c iter 652 time 364.916 not-muc 7581 unknown 8655 muc 601
493.87/493.94	c iter 653 time 366.203 not-muc 7581 unknown 8654 muc 602
493.87/493.94	c iter 654 time 367.487 not-muc 7581 unknown 8653 muc 603
493.87/493.94	c iter 655 time 368.783 not-muc 7581 unknown 8652 muc 604
493.87/493.94	c iter 656 time 370.242 not-muc 7581 unknown 8651 muc 605
493.87/493.94	c iter 657 time 376 not-muc 7583 unknown 8649 muc 605
493.87/493.94	c iter 658 time 382.857 not-muc 7587 unknown 8645 muc 605
493.87/493.94	c iter 659 time 384.199 not-muc 7587 unknown 8644 muc 606
493.87/493.94	c iter 660 time 385.472 not-muc 7587 unknown 8643 muc 607
493.87/493.94	c iter 661 time 386.821 not-muc 7587 unknown 8642 muc 608
493.87/493.94	c iter 662 time 388.106 not-muc 7587 unknown 8641 muc 609
493.87/493.94	c iter 663 time 393.948 not-muc 7588 unknown 8640 muc 609
493.87/493.94	c iter 664 time 399.8 not-muc 7591 unknown 8637 muc 609
493.87/493.94	c iter 665 time 401.248 not-muc 7591 unknown 8636 muc 610
493.87/493.94	c iter 666 time 407.741 not-muc 7596 unknown 8631 muc 610
493.87/493.94	c iter 667 time 409.205 not-muc 7596 unknown 8630 muc 611
493.87/493.94	c iter 668 time 410.972 not-muc 7596 unknown 8629 muc 612
493.87/493.94	c iter 669 time 417.919 not-muc 7597 unknown 8628 muc 612
493.87/493.94	c iter 670 time 421.579 not-muc 7597 unknown 8627 muc 613
493.87/493.94	c iter 671 time 422.909 not-muc 7597 unknown 8626 muc 614
493.87/493.94	c iter 672 time 424.629 not-muc 7597 unknown 8625 muc 615
493.87/493.94	c iter 673 time 426.264 not-muc 7597 unknown 8624 muc 616
493.87/493.94	c iter 674 time 428.295 not-muc 7597 unknown 8623 muc 617
493.87/493.94	c iter 675 time 431.678 not-muc 7597 unknown 8622 muc 618
493.87/493.94	c iter 676 time 433.042 not-muc 7597 unknown 8621 muc 619
493.87/493.94	c iter 677 time 434.361 not-muc 7597 unknown 8620 muc 620
493.87/493.94	c iter 678 time 435.649 not-muc 7597 unknown 8619 muc 621
493.87/493.94	c iter 679 time 436.942 not-muc 7597 unknown 8618 muc 622
493.87/493.94	c iter 680 time 438.24 not-muc 7597 unknown 8617 muc 623
493.87/493.94	c iter 681 time 440.572 not-muc 7597 unknown 8616 muc 624
493.87/493.94	c iter 682 time 441.949 not-muc 7597 unknown 8615 muc 625
493.87/493.94	c iter 683 time 443.61 not-muc 7597 unknown 8614 muc 626
493.87/493.94	c iter 684 time 444.922 not-muc 7597 unknown 8613 muc 627
493.87/493.94	c iter 685 time 446.431 not-muc 7597 unknown 8612 muc 628
493.87/493.94	c iter 686 time 447.971 not-muc 7597 unknown 8611 muc 629
493.87/493.94	c iter 687 time 449.283 not-muc 7597 unknown 8610 muc 630
493.87/493.94	c iter 688 time 450.944 not-muc 7597 unknown 8609 muc 631
493.87/493.94	c iter 689 time 452.292 not-muc 7597 unknown 8608 muc 632
493.87/493.94	c iter 690 time 453.611 not-muc 7597 unknown 8607 muc 633
493.87/493.94	c iter 691 time 454.911 not-muc 7597 unknown 8606 muc 634
493.87/493.94	c iter 692 time 456.203 not-muc 7597 unknown 8605 muc 635
493.87/493.94	c iter 693 time 457.49 not-muc 7597 unknown 8604 muc 636
493.87/493.94	c iter 694 time 458.784 not-muc 7597 unknown 8603 muc 637
493.87/493.94	c iter 695 time 460.074 not-muc 7597 unknown 8602 muc 638
493.87/493.94	c iter 696 time 464.196 not-muc 7597 unknown 8601 muc 639
493.87/493.94	c iter 697 time 465.547 not-muc 7597 unknown 8600 muc 640
493.87/493.94	c iter 698 time 466.893 not-muc 7597 unknown 8599 muc 641
493.87/493.94	c iter 699 time 468.245 not-muc 7597 unknown 8598 muc 642
493.87/493.94	c iter 700 time 469.904 not-muc 7597 unknown 8597 muc 643
493.87/493.94	c iter 701 time 474.32 not-muc 7597 unknown 8596 muc 644
493.87/493.94	c iter 702 time 475.634 not-muc 7597 unknown 8595 muc 645
493.87/493.94	c iter 703 time 482.557 not-muc 7597 unknown 8594 muc 646
493.87/493.94	c iter 704 time 483.918 not-muc 7597 unknown 8593 muc 647
493.87/493.94	c iter 705 time 485.273 not-muc 7597 unknown 8592 muc 648
493.87/493.94	c iter 706 time 486.68 not-muc 7597 unknown 8591 muc 649
493.87/493.94	c iter 707 time 488.188 not-muc 7597 unknown 8590 muc 650
493.87/493.94	c iter 708 time 489.569 not-muc 7597 unknown 8589 muc 651
493.87/493.94	c iter 709 time 491.003 not-muc 7597 unknown 8588 muc 652
493.87/493.94	c iter 710 time 492.407 not-muc 7597 unknown 8587 muc 653
493.87/493.94	c iter 711 time 493.762 not-muc 7597 unknown 8586 muc 654
656.87/656.95	c iter 712 time 495.124 not-muc 7597 unknown 8585 muc 655
656.87/656.95	c iter 713 time 496.61 not-muc 7597 unknown 8584 muc 656
656.87/656.95	c iter 714 time 497.962 not-muc 7597 unknown 8583 muc 657
656.87/656.95	c iter 715 time 499.346 not-muc 7597 unknown 8582 muc 658
656.87/656.95	c iter 716 time 500.69 not-muc 7597 unknown 8581 muc 659
656.87/656.95	c iter 717 time 502.038 not-muc 7597 unknown 8580 muc 660
656.87/656.95	c iter 718 time 503.384 not-muc 7597 unknown 8579 muc 661
656.87/656.95	c iter 719 time 504.732 not-muc 7597 unknown 8578 muc 662
656.87/656.95	c iter 720 time 506.079 not-muc 7597 unknown 8577 muc 663
656.87/656.95	c iter 721 time 507.424 not-muc 7597 unknown 8576 muc 664
656.87/656.95	c iter 722 time 508.771 not-muc 7597 unknown 8575 muc 665
656.87/656.95	c iter 723 time 510.125 not-muc 7597 unknown 8574 muc 666
656.87/656.95	c iter 724 time 511.558 not-muc 7597 unknown 8573 muc 667
656.87/656.95	c iter 725 time 512.911 not-muc 7597 unknown 8572 muc 668
656.87/656.95	c iter 726 time 514.272 not-muc 7597 unknown 8571 muc 669
656.87/656.95	c iter 727 time 515.732 not-muc 7597 unknown 8570 muc 670
656.87/656.95	c iter 728 time 517.092 not-muc 7597 unknown 8569 muc 671
656.87/656.95	c iter 729 time 518.469 not-muc 7597 unknown 8568 muc 672
656.87/656.95	c iter 730 time 519.835 not-muc 7597 unknown 8567 muc 673
656.87/656.95	c iter 731 time 523.564 not-muc 7597 unknown 8566 muc 674
656.87/656.95	c iter 732 time 524.901 not-muc 7597 unknown 8565 muc 675
656.87/656.95	c iter 733 time 526.241 not-muc 7597 unknown 8564 muc 676
656.87/656.95	c iter 734 time 535.597 not-muc 7604 unknown 8557 muc 676
656.87/656.95	c iter 735 time 537.086 not-muc 7604 unknown 8556 muc 677
656.87/656.95	c iter 736 time 539.425 not-muc 7604 unknown 8555 muc 678
656.87/656.95	c iter 737 time 541.448 not-muc 7604 unknown 8554 muc 679
656.87/656.95	c iter 738 time 543.397 not-muc 7604 unknown 8553 muc 680
656.87/656.95	c iter 739 time 544.813 not-muc 7604 unknown 8552 muc 681
656.87/656.95	c iter 740 time 547.007 not-muc 7604 unknown 8551 muc 682
656.87/656.95	c iter 741 time 548.988 not-muc 7604 unknown 8550 muc 683
656.87/656.95	c iter 742 time 550.363 not-muc 7604 unknown 8549 muc 684
656.87/656.95	c iter 743 time 551.736 not-muc 7604 unknown 8548 muc 685
656.87/656.95	c iter 744 time 553.111 not-muc 7604 unknown 8547 muc 686
656.87/656.95	c iter 745 time 554.489 not-muc 7604 unknown 8546 muc 687
656.87/656.95	c iter 746 time 555.878 not-muc 7604 unknown 8545 muc 688
656.87/656.95	c iter 747 time 558.001 not-muc 7604 unknown 8544 muc 689
656.87/656.95	c iter 748 time 559.849 not-muc 7604 unknown 8543 muc 690
656.87/656.95	c iter 749 time 567.753 not-muc 7605 unknown 8542 muc 690
656.87/656.95	c iter 750 time 569.889 not-muc 7605 unknown 8541 muc 691
656.87/656.95	c iter 751 time 577.463 not-muc 7606 unknown 8540 muc 691
656.87/656.95	c iter 752 time 585.751 not-muc 7607 unknown 8539 muc 691
656.87/656.95	c iter 753 time 587.918 not-muc 7607 unknown 8538 muc 692
656.87/656.95	c iter 754 time 589.34 not-muc 7607 unknown 8537 muc 693
656.87/656.95	c iter 755 time 590.767 not-muc 7607 unknown 8536 muc 694
656.87/656.95	c iter 756 time 597.156 not-muc 7607 unknown 8535 muc 695
656.87/656.95	c iter 757 time 598.568 not-muc 7607 unknown 8534 muc 696
656.87/656.95	c iter 758 time 599.985 not-muc 7607 unknown 8533 muc 697
656.87/656.95	c iter 759 time 601.399 not-muc 7607 unknown 8532 muc 698
656.87/656.95	c iter 760 time 602.815 not-muc 7607 unknown 8531 muc 699
656.87/656.95	c iter 761 time 604.23 not-muc 7607 unknown 8530 muc 700
656.87/656.95	c iter 762 time 605.648 not-muc 7607 unknown 8529 muc 701
656.87/656.95	c iter 763 time 607.067 not-muc 7607 unknown 8528 muc 702
656.87/656.95	c iter 764 time 608.49 not-muc 7607 unknown 8527 muc 703
656.87/656.95	c iter 765 time 609.913 not-muc 7607 unknown 8526 muc 704
656.87/656.95	c iter 766 time 611.34 not-muc 7607 unknown 8525 muc 705
656.87/656.95	c iter 767 time 612.753 not-muc 7607 unknown 8524 muc 706
656.87/656.95	c iter 768 time 615.124 not-muc 7607 unknown 8523 muc 707
656.87/656.95	c iter 769 time 624.757 not-muc 7623 unknown 8507 muc 707
656.87/656.95	c iter 770 time 627.836 not-muc 7623 unknown 8506 muc 708
656.87/656.95	c iter 771 time 633.122 not-muc 7623 unknown 8505 muc 709
656.87/656.95	c iter 772 time 635.456 not-muc 7623 unknown 8504 muc 710
656.87/656.95	c iter 773 time 636.931 not-muc 7623 unknown 8503 muc 711
656.87/656.95	c iter 774 time 639.241 not-muc 7623 unknown 8502 muc 712
656.87/656.95	c iter 775 time 641.324 not-muc 7623 unknown 8501 muc 713
656.87/656.95	c iter 776 time 648.144 not-muc 7623 unknown 8500 muc 714
656.87/656.95	c iter 777 time 649.581 not-muc 7623 unknown 8499 muc 715
656.87/656.95	c iter 778 time 651.02 not-muc 7623 unknown 8498 muc 716
656.87/656.95	c iter 779 time 652.457 not-muc 7623 unknown 8497 muc 717
656.87/656.95	c iter 780 time 653.889 not-muc 7623 unknown 8496 muc 718
656.87/656.95	c iter 781 time 655.323 not-muc 7623 unknown 8495 muc 719
656.87/656.95	c iter 782 time 656.758 not-muc 7623 unknown 8494 muc 720
919.06/919.15	c iter 783 time 658.19 not-muc 7623 unknown 8493 muc 721
919.06/919.15	c iter 784 time 659.62 not-muc 7623 unknown 8492 muc 722
919.06/919.15	c iter 785 time 661.532 not-muc 7623 unknown 8491 muc 723
919.06/919.15	c iter 786 time 663.551 not-muc 7623 unknown 8490 muc 724
919.06/919.15	c iter 787 time 666.461 not-muc 7623 unknown 8489 muc 725
919.06/919.15	c iter 788 time 668.724 not-muc 7623 unknown 8488 muc 726
919.06/919.15	c iter 789 time 676.18 not-muc 7623 unknown 8487 muc 727
919.06/919.15	c iter 790 time 677.658 not-muc 7623 unknown 8486 muc 728
919.06/919.15	c iter 791 time 679.156 not-muc 7623 unknown 8485 muc 729
919.06/919.15	c iter 792 time 680.626 not-muc 7623 unknown 8484 muc 730
919.06/919.15	c iter 793 time 687.003 not-muc 7623 unknown 8483 muc 731
919.06/919.15	c iter 794 time 688.471 not-muc 7623 unknown 8482 muc 732
919.06/919.15	c iter 795 time 689.936 not-muc 7623 unknown 8481 muc 733
919.06/919.15	c iter 796 time 691.405 not-muc 7623 unknown 8480 muc 734
919.06/919.15	c iter 797 time 700.795 not-muc 7629 unknown 8474 muc 734
919.06/919.15	c iter 798 time 702.719 not-muc 7629 unknown 8473 muc 735
919.06/919.15	c iter 799 time 704.195 not-muc 7629 unknown 8472 muc 736
919.06/919.15	c iter 800 time 710.956 not-muc 7629 unknown 8471 muc 737
919.06/919.15	c iter 801 time 721.039 not-muc 7654 unknown 8446 muc 737
919.06/919.15	c iter 802 time 729.511 not-muc 7654 unknown 8445 muc 738
919.06/919.15	c iter 803 time 738.385 not-muc 7654 unknown 8444 muc 739
919.06/919.15	c iter 804 time 747.137 not-muc 7654 unknown 8443 muc 740
919.06/919.15	c iter 805 time 757.754 not-muc 7654 unknown 8442 muc 741
919.06/919.15	c iter 806 time 759.275 not-muc 7654 unknown 8441 muc 742
919.06/919.15	c iter 807 time 760.792 not-muc 7654 unknown 8440 muc 743
919.06/919.15	c iter 808 time 763.314 not-muc 7654 unknown 8439 muc 744
919.06/919.15	c iter 809 time 766.135 not-muc 7654 unknown 8438 muc 745
919.06/919.15	c iter 810 time 768.107 not-muc 7654 unknown 8437 muc 746
919.06/919.15	c iter 811 time 771.631 not-muc 7654 unknown 8436 muc 747
919.06/919.15	c iter 812 time 777.116 not-muc 7654 unknown 8435 muc 748
919.06/919.15	c iter 813 time 778.673 not-muc 7654 unknown 8434 muc 749
919.06/919.15	c iter 814 time 783.151 not-muc 7654 unknown 8433 muc 750
919.06/919.15	c iter 815 time 785.147 not-muc 7654 unknown 8432 muc 751
919.06/919.15	c iter 816 time 786.877 not-muc 7654 unknown 8431 muc 752
919.06/919.15	c iter 817 time 788.595 not-muc 7654 unknown 8430 muc 753
919.06/919.15	c iter 818 time 791.444 not-muc 7654 unknown 8429 muc 754
919.06/919.15	c iter 819 time 792.945 not-muc 7654 unknown 8428 muc 755
919.06/919.15	c iter 820 time 794.693 not-muc 7654 unknown 8427 muc 756
919.06/919.15	c iter 821 time 800.403 not-muc 7654 unknown 8426 muc 757
919.06/919.15	c iter 822 time 802.31 not-muc 7654 unknown 8425 muc 758
919.06/919.15	c iter 823 time 807.822 not-muc 7654 unknown 8424 muc 759
919.06/919.15	c iter 824 time 809.791 not-muc 7654 unknown 8423 muc 760
919.06/919.15	c iter 825 time 818.761 not-muc 7654 unknown 8422 muc 761
919.06/919.15	c iter 826 time 820.945 not-muc 7654 unknown 8421 muc 762
919.06/919.15	c iter 827 time 826.924 not-muc 7654 unknown 8420 muc 763
919.06/919.15	c iter 828 time 828.469 not-muc 7654 unknown 8419 muc 764
919.06/919.15	c iter 829 time 837.715 not-muc 7654 unknown 8418 muc 765
919.06/919.15	c iter 830 time 839.507 not-muc 7654 unknown 8417 muc 766
919.06/919.15	c iter 831 time 843.236 not-muc 7654 unknown 8416 muc 767
919.06/919.15	c iter 832 time 845.134 not-muc 7654 unknown 8415 muc 768
919.06/919.15	c iter 833 time 853.646 not-muc 7654 unknown 8414 muc 769
919.06/919.15	c iter 834 time 857.033 not-muc 7654 unknown 8413 muc 770
919.06/919.15	c iter 835 time 858.714 not-muc 7654 unknown 8412 muc 771
919.06/919.15	c iter 836 time 860.483 not-muc 7654 unknown 8411 muc 772
919.06/919.15	c iter 837 time 862.141 not-muc 7654 unknown 8410 muc 773
919.06/919.15	c iter 838 time 866.096 not-muc 7654 unknown 8409 muc 774
919.06/919.15	c iter 839 time 879.996 not-muc 7656 unknown 8407 muc 774
919.06/919.15	c iter 840 time 882.434 not-muc 7656 unknown 8406 muc 775
919.06/919.15	c iter 841 time 884.074 not-muc 7656 unknown 8405 muc 776
919.06/919.15	c iter 842 time 895.889 not-muc 7656 unknown 8404 muc 777
919.06/919.15	c iter 843 time 897.444 not-muc 7656 unknown 8403 muc 778
919.06/919.15	c iter 844 time 899.286 not-muc 7656 unknown 8402 muc 779
919.06/919.15	c iter 845 time 902.51 not-muc 7656 unknown 8401 muc 780
919.06/919.15	c iter 846 time 904.98 not-muc 7656 unknown 8400 muc 781
919.06/919.15	c iter 847 time 907.491 not-muc 7656 unknown 8399 muc 782
919.06/919.15	c iter 848 time 909.072 not-muc 7656 unknown 8398 muc 783
919.06/919.15	c iter 849 time 910.639 not-muc 7656 unknown 8397 muc 784
919.06/919.15	c iter 850 time 912.205 not-muc 7656 unknown 8396 muc 785
919.06/919.15	c iter 851 time 916.594 not-muc 7656 unknown 8395 muc 786
919.06/919.15	c iter 852 time 918.929 not-muc 7656 unknown 8394 muc 787
1143.37/1143.42	c iter 853 time 920.515 not-muc 7656 unknown 8393 muc 788
1143.37/1143.42	c iter 854 time 925.085 not-muc 7656 unknown 8392 muc 789
1143.37/1143.42	c iter 855 time 927.096 not-muc 7656 unknown 8391 muc 790
1143.37/1143.42	c iter 856 time 929.899 not-muc 7656 unknown 8390 muc 791
1143.37/1143.42	c iter 857 time 931.637 not-muc 7656 unknown 8389 muc 792
1143.37/1143.42	c iter 858 time 933.243 not-muc 7656 unknown 8388 muc 793
1143.37/1143.42	c iter 859 time 935.062 not-muc 7656 unknown 8387 muc 794
1143.37/1143.42	c iter 860 time 936.678 not-muc 7656 unknown 8386 muc 795
1143.37/1143.42	c iter 861 time 949.517 not-muc 7659 unknown 8383 muc 795
1143.37/1143.42	c iter 862 time 954.199 not-muc 7659 unknown 8382 muc 796
1143.37/1143.42	c iter 863 time 956.396 not-muc 7659 unknown 8381 muc 797
1143.37/1143.42	c iter 864 time 958.193 not-muc 7659 unknown 8380 muc 798
1143.37/1143.42	c iter 865 time 972.171 not-muc 7660 unknown 8379 muc 798
1143.37/1143.42	c iter 866 time 973.772 not-muc 7660 unknown 8378 muc 799
1143.37/1143.42	c iter 867 time 975.351 not-muc 7660 unknown 8377 muc 800
1143.37/1143.42	c iter 868 time 977.208 not-muc 7660 unknown 8376 muc 801
1143.37/1143.42	c iter 869 time 978.812 not-muc 7660 unknown 8375 muc 802
1143.37/1143.42	c iter 870 time 980.452 not-muc 7660 unknown 8374 muc 803
1143.37/1143.42	c iter 871 time 982.266 not-muc 7660 unknown 8373 muc 804
1143.37/1143.42	c iter 872 time 983.854 not-muc 7660 unknown 8372 muc 805
1143.37/1143.42	c iter 873 time 985.431 not-muc 7660 unknown 8371 muc 806
1143.37/1143.42	c iter 874 time 987.008 not-muc 7660 unknown 8370 muc 807
1143.37/1143.42	c iter 875 time 997.268 not-muc 7660 unknown 8369 muc 808
1143.37/1143.42	c iter 876 time 998.849 not-muc 7660 unknown 8368 muc 809
1143.37/1143.42	c iter 877 time 1000.43 not-muc 7660 unknown 8367 muc 810
1143.37/1143.42	c iter 878 time 1002.01 not-muc 7660 unknown 8366 muc 811
1143.37/1143.42	c iter 879 time 1003.59 not-muc 7660 unknown 8365 muc 812
1143.37/1143.42	c iter 880 time 1005.18 not-muc 7660 unknown 8364 muc 813
1143.37/1143.42	c iter 881 time 1006.76 not-muc 7660 unknown 8363 muc 814
1143.37/1143.42	c iter 882 time 1008.36 not-muc 7660 unknown 8362 muc 815
1143.37/1143.42	c iter 883 time 1010.67 not-muc 7660 unknown 8361 muc 816
1143.37/1143.42	c iter 884 time 1012.25 not-muc 7660 unknown 8360 muc 817
1143.37/1143.42	c iter 885 time 1013.82 not-muc 7660 unknown 8359 muc 818
1143.37/1143.42	c iter 886 time 1015.4 not-muc 7660 unknown 8358 muc 819
1143.37/1143.42	c iter 887 time 1016.99 not-muc 7660 unknown 8357 muc 820
1143.37/1143.42	c iter 888 time 1018.57 not-muc 7660 unknown 8356 muc 821
1143.37/1143.42	c iter 889 time 1020.85 not-muc 7660 unknown 8355 muc 822
1143.37/1143.42	c iter 890 time 1022.45 not-muc 7660 unknown 8354 muc 823
1143.37/1143.42	c iter 891 time 1024.05 not-muc 7660 unknown 8353 muc 824
1143.37/1143.42	c iter 892 time 1025.66 not-muc 7660 unknown 8352 muc 825
1143.37/1143.42	c iter 893 time 1040.41 not-muc 7668 unknown 8344 muc 825
1143.37/1143.42	c iter 894 time 1042.35 not-muc 7668 unknown 8343 muc 826
1143.37/1143.42	c iter 895 time 1050.32 not-muc 7668 unknown 8342 muc 827
1143.37/1143.42	c iter 896 time 1051.92 not-muc 7668 unknown 8341 muc 828
1143.37/1143.42	c iter 897 time 1053.52 not-muc 7668 unknown 8340 muc 829
1143.37/1143.42	c iter 898 time 1055.12 not-muc 7668 unknown 8339 muc 830
1143.37/1143.42	c iter 899 time 1057.28 not-muc 7668 unknown 8338 muc 831
1143.37/1143.42	c iter 900 time 1060.46 not-muc 7668 unknown 8337 muc 832
1143.37/1143.42	c iter 901 time 1062.98 not-muc 7668 unknown 8336 muc 833
1143.37/1143.42	c iter 902 time 1074.27 not-muc 7668 unknown 8335 muc 834
1143.37/1143.42	c iter 903 time 1075.84 not-muc 7668 unknown 8334 muc 835
1143.37/1143.42	c iter 904 time 1077.42 not-muc 7668 unknown 8333 muc 836
1143.37/1143.42	c iter 905 time 1078.99 not-muc 7668 unknown 8332 muc 837
1143.37/1143.42	c iter 906 time 1080.57 not-muc 7668 unknown 8331 muc 838
1143.37/1143.42	c iter 907 time 1082.54 not-muc 7668 unknown 8330 muc 839
1143.37/1143.42	c iter 908 time 1086.27 not-muc 7668 unknown 8329 muc 840
1143.37/1143.42	c iter 909 time 1087.91 not-muc 7668 unknown 8328 muc 841
1143.37/1143.42	c iter 910 time 1089.54 not-muc 7668 unknown 8327 muc 842
1143.37/1143.42	c iter 911 time 1091.18 not-muc 7668 unknown 8326 muc 843
1143.37/1143.42	c iter 912 time 1106.78 not-muc 7669 unknown 8325 muc 843
1143.37/1143.42	c iter 913 time 1110.76 not-muc 7669 unknown 8324 muc 844
1143.37/1143.42	c iter 914 time 1127 not-muc 7681 unknown 8312 muc 844
1143.37/1143.42	c iter 915 time 1129.88 not-muc 7681 unknown 8311 muc 845
1143.37/1143.42	c iter 916 time 1131.51 not-muc 7681 unknown 8310 muc 846
1143.37/1143.42	c iter 917 time 1133.14 not-muc 7681 unknown 8309 muc 847
1143.37/1143.42	c iter 918 time 1134.78 not-muc 7681 unknown 8308 muc 848
1143.37/1143.42	c iter 919 time 1136.42 not-muc 7681 unknown 8307 muc 849
1143.37/1143.42	c iter 920 time 1138.05 not-muc 7681 unknown 8306 muc 850
1143.37/1143.42	c iter 921 time 1139.69 not-muc 7681 unknown 8305 muc 851
1143.37/1143.42	c iter 922 time 1141.33 not-muc 7681 unknown 8304 muc 852
1143.37/1143.42	c iter 923 time 1143.19 not-muc 7681 unknown 8303 muc 853
1448.88/1448.95	c iter 924 time 1160.27 not-muc 7692 unknown 8292 muc 853
1448.88/1448.95	c iter 925 time 1162 not-muc 7692 unknown 8291 muc 854
1448.88/1448.95	c iter 926 time 1163.72 not-muc 7692 unknown 8290 muc 855
1448.88/1448.95	c iter 927 time 1165.35 not-muc 7692 unknown 8289 muc 856
1448.88/1448.95	c iter 928 time 1166.99 not-muc 7692 unknown 8288 muc 857
1448.88/1448.95	c iter 929 time 1168.63 not-muc 7692 unknown 8287 muc 858
1448.88/1448.95	c iter 930 time 1182.29 not-muc 7692 unknown 8286 muc 859
1448.88/1448.95	c iter 931 time 1183.9 not-muc 7692 unknown 8285 muc 860
1448.88/1448.95	c iter 932 time 1198.02 not-muc 7692 unknown 8284 muc 861
1448.88/1448.95	c iter 933 time 1204.41 not-muc 7692 unknown 8283 muc 862
1448.88/1448.95	c iter 934 time 1211.35 not-muc 7692 unknown 8282 muc 863
1448.88/1448.95	c iter 935 time 1212.96 not-muc 7692 unknown 8281 muc 864
1448.88/1448.95	c iter 936 time 1227.16 not-muc 7692 unknown 8280 muc 865
1448.88/1448.95	c iter 937 time 1229.78 not-muc 7692 unknown 8279 muc 866
1448.88/1448.95	c iter 938 time 1246.46 not-muc 7705 unknown 8266 muc 866
1448.88/1448.95	c iter 939 time 1249.56 not-muc 7705 unknown 8265 muc 867
1448.88/1448.95	c iter 940 time 1251.86 not-muc 7705 unknown 8264 muc 868
1448.88/1448.95	c iter 941 time 1257.89 not-muc 7705 unknown 8263 muc 869
1448.88/1448.95	c iter 942 time 1259.58 not-muc 7705 unknown 8262 muc 870
1448.88/1448.95	c iter 943 time 1261.25 not-muc 7705 unknown 8261 muc 871
1448.88/1448.95	c iter 944 time 1262.92 not-muc 7705 unknown 8260 muc 872
1448.88/1448.95	c iter 945 time 1264.58 not-muc 7705 unknown 8259 muc 873
1448.88/1448.95	c iter 946 time 1266.25 not-muc 7705 unknown 8258 muc 874
1448.88/1448.95	c iter 947 time 1268.16 not-muc 7705 unknown 8257 muc 875
1448.88/1448.95	c iter 948 time 1287.8 not-muc 7709 unknown 8253 muc 875
1448.88/1448.95	c iter 949 time 1310.05 not-muc 7731 unknown 8231 muc 875
1448.88/1448.95	c iter 950 time 1311.75 not-muc 7731 unknown 8230 muc 876
1448.88/1448.95	c iter 951 time 1328.92 not-muc 7731 unknown 8229 muc 877
1448.88/1448.95	c iter 952 time 1330.62 not-muc 7731 unknown 8228 muc 878
1448.88/1448.95	c iter 953 time 1332.31 not-muc 7731 unknown 8227 muc 879
1448.88/1448.95	c iter 954 time 1334.01 not-muc 7731 unknown 8226 muc 880
1448.88/1448.95	c iter 955 time 1335.7 not-muc 7731 unknown 8225 muc 881
1448.88/1448.95	c iter 956 time 1338.75 not-muc 7731 unknown 8224 muc 882
1448.88/1448.95	c iter 957 time 1341.02 not-muc 7731 unknown 8223 muc 883
1448.88/1448.95	c iter 958 time 1344.36 not-muc 7731 unknown 8222 muc 884
1448.88/1448.95	c iter 959 time 1346.1 not-muc 7731 unknown 8221 muc 885
1448.88/1448.95	c iter 960 time 1347.84 not-muc 7731 unknown 8220 muc 886
1448.88/1448.95	c iter 961 time 1350.44 not-muc 7731 unknown 8219 muc 887
1448.88/1448.95	c iter 962 time 1352.7 not-muc 7731 unknown 8218 muc 888
1448.88/1448.95	c iter 963 time 1355.69 not-muc 7731 unknown 8217 muc 889
1448.88/1448.95	c iter 964 time 1357.91 not-muc 7731 unknown 8216 muc 890
1448.88/1448.95	c iter 965 time 1360.31 not-muc 7731 unknown 8215 muc 891
1448.88/1448.95	c iter 966 time 1362.15 not-muc 7731 unknown 8214 muc 892
1448.88/1448.95	c iter 967 time 1363.95 not-muc 7731 unknown 8213 muc 893
1448.88/1448.95	c iter 968 time 1365.77 not-muc 7731 unknown 8212 muc 894
1448.88/1448.95	c iter 969 time 1368.12 not-muc 7731 unknown 8211 muc 895
1448.88/1448.95	c iter 970 time 1371.36 not-muc 7731 unknown 8210 muc 896
1448.88/1448.95	c iter 971 time 1373.06 not-muc 7731 unknown 8209 muc 897
1448.88/1448.95	c iter 972 time 1374.76 not-muc 7731 unknown 8208 muc 898
1448.88/1448.95	c iter 973 time 1376.91 not-muc 7731 unknown 8207 muc 899
1448.88/1448.95	c iter 974 time 1379.34 not-muc 7731 unknown 8206 muc 900
1448.88/1448.95	c iter 975 time 1381.02 not-muc 7731 unknown 8205 muc 901
1448.88/1448.95	c iter 976 time 1382.71 not-muc 7731 unknown 8204 muc 902
1448.88/1448.95	c iter 977 time 1384.39 not-muc 7731 unknown 8203 muc 903
1448.88/1448.95	c iter 978 time 1386.06 not-muc 7731 unknown 8202 muc 904
1448.88/1448.95	c iter 979 time 1387.74 not-muc 7731 unknown 8201 muc 905
1448.88/1448.95	c iter 980 time 1389.41 not-muc 7731 unknown 8200 muc 906
1448.88/1448.95	c iter 981 time 1410.58 not-muc 7758 unknown 8173 muc 906
1448.88/1448.95	c iter 982 time 1413.08 not-muc 7758 unknown 8172 muc 907
1448.88/1448.95	c iter 983 time 1414.84 not-muc 7758 unknown 8171 muc 908
1448.88/1448.95	c iter 984 time 1416.51 not-muc 7758 unknown 8170 muc 909
1448.88/1448.95	c iter 985 time 1418.18 not-muc 7758 unknown 8169 muc 910
1448.88/1448.95	c iter 986 time 1419.85 not-muc 7758 unknown 8168 muc 911
1448.88/1448.95	c iter 987 time 1421.52 not-muc 7758 unknown 8167 muc 912
1448.88/1448.95	c iter 988 time 1424.55 not-muc 7758 unknown 8166 muc 913
1448.88/1448.95	c iter 989 time 1426.43 not-muc 7758 unknown 8165 muc 914
1448.88/1448.95	c iter 990 time 1428.09 not-muc 7758 unknown 8164 muc 915
1448.88/1448.95	c iter 991 time 1429.76 not-muc 7758 unknown 8163 muc 916
1448.88/1448.95	c iter 992 time 1445.37 not-muc 7758 unknown 8162 muc 917
1448.88/1448.95	c iter 993 time 1447.03 not-muc 7758 unknown 8161 muc 918
1448.88/1448.95	c iter 994 time 1448.69 not-muc 7758 unknown 8160 muc 919
1709.08/1709.13	c iter 995 time 1450.99 not-muc 7758 unknown 8159 muc 920
1709.08/1709.13	c iter 996 time 1452.69 not-muc 7758 unknown 8158 muc 921
1709.08/1709.13	c iter 997 time 1454.38 not-muc 7758 unknown 8157 muc 922
1709.08/1709.13	c iter 998 time 1457.03 not-muc 7758 unknown 8156 muc 923
1709.08/1709.13	c iter 999 time 1459.01 not-muc 7758 unknown 8155 muc 924
1709.08/1709.13	c iter 1000 time 1460.73 not-muc 7758 unknown 8154 muc 925
1709.08/1709.13	c iter 1001 time 1462.44 not-muc 7758 unknown 8153 muc 926
1709.08/1709.13	c iter 1002 time 1467.93 not-muc 7758 unknown 8152 muc 927
1709.08/1709.13	c iter 1003 time 1469.55 not-muc 7758 unknown 8151 muc 928
1709.08/1709.13	c iter 1004 time 1471.18 not-muc 7758 unknown 8150 muc 929
1709.08/1709.13	c iter 1005 time 1473.34 not-muc 7758 unknown 8149 muc 930
1709.08/1709.13	c iter 1006 time 1475.29 not-muc 7758 unknown 8148 muc 931
1709.08/1709.13	c iter 1007 time 1476.98 not-muc 7758 unknown 8147 muc 932
1709.08/1709.13	c iter 1008 time 1478.71 not-muc 7758 unknown 8146 muc 933
1709.08/1709.13	c iter 1009 time 1481.5 not-muc 7758 unknown 8145 muc 934
1709.08/1709.13	c iter 1010 time 1483.66 not-muc 7758 unknown 8144 muc 935
1709.08/1709.13	c iter 1011 time 1485.33 not-muc 7758 unknown 8143 muc 936
1709.08/1709.14	c iter 1012 time 1487 not-muc 7758 unknown 8142 muc 937
1709.08/1709.14	c iter 1013 time 1489.93 not-muc 7758 unknown 8141 muc 938
1709.08/1709.14	c iter 1014 time 1491.61 not-muc 7758 unknown 8140 muc 939
1709.08/1709.14	c iter 1015 time 1493.3 not-muc 7758 unknown 8139 muc 940
1709.08/1709.14	c iter 1016 time 1494.99 not-muc 7758 unknown 8138 muc 941
1709.08/1709.14	c iter 1017 time 1515.67 not-muc 7760 unknown 8136 muc 941
1709.08/1709.14	c iter 1018 time 1517.54 not-muc 7760 unknown 8135 muc 942
1709.08/1709.14	c iter 1019 time 1519.23 not-muc 7760 unknown 8134 muc 943
1709.08/1709.14	c iter 1020 time 1535.58 not-muc 7762 unknown 8132 muc 943
1709.08/1709.14	c iter 1021 time 1540.78 not-muc 7762 unknown 8131 muc 944
1709.08/1709.14	c iter 1022 time 1543.1 not-muc 7762 unknown 8130 muc 945
1709.08/1709.14	c iter 1023 time 1558.87 not-muc 7762 unknown 8129 muc 946
1709.08/1709.14	c iter 1024 time 1560.56 not-muc 7762 unknown 8128 muc 947
1709.08/1709.14	c iter 1025 time 1562.26 not-muc 7762 unknown 8127 muc 948
1709.08/1709.14	c iter 1026 time 1575.11 not-muc 7762 unknown 8126 muc 949
1709.08/1709.14	c iter 1027 time 1577.03 not-muc 7762 unknown 8125 muc 950
1709.08/1709.14	c iter 1028 time 1578.86 not-muc 7762 unknown 8124 muc 951
1709.08/1709.14	c iter 1029 time 1580.55 not-muc 7762 unknown 8123 muc 952
1709.08/1709.14	c iter 1030 time 1582.22 not-muc 7762 unknown 8122 muc 953
1709.08/1709.14	c iter 1031 time 1583.9 not-muc 7762 unknown 8121 muc 954
1709.08/1709.14	c iter 1032 time 1585.54 not-muc 7762 unknown 8120 muc 955
1709.08/1709.14	c iter 1033 time 1587.21 not-muc 7762 unknown 8119 muc 956
1709.08/1709.14	c iter 1034 time 1588.86 not-muc 7762 unknown 8118 muc 957
1709.08/1709.14	c iter 1035 time 1590.54 not-muc 7762 unknown 8117 muc 958
1709.08/1709.14	c iter 1036 time 1592.21 not-muc 7762 unknown 8116 muc 959
1709.08/1709.14	c iter 1037 time 1593.87 not-muc 7762 unknown 8115 muc 960
1709.08/1709.14	c iter 1038 time 1596.12 not-muc 7762 unknown 8114 muc 961
1709.08/1709.14	c iter 1039 time 1619.58 not-muc 7769 unknown 8107 muc 961
1709.08/1709.14	c iter 1040 time 1621.5 not-muc 7769 unknown 8106 muc 962
1709.08/1709.14	c iter 1041 time 1623.16 not-muc 7769 unknown 8105 muc 963
1709.08/1709.14	c iter 1042 time 1625.22 not-muc 7769 unknown 8104 muc 964
1709.08/1709.14	c iter 1043 time 1626.9 not-muc 7769 unknown 8103 muc 965
1709.08/1709.14	c iter 1044 time 1630.33 not-muc 7769 unknown 8102 muc 966
1709.08/1709.14	c iter 1045 time 1632.06 not-muc 7769 unknown 8101 muc 967
1709.08/1709.14	c iter 1046 time 1633.92 not-muc 7769 unknown 8100 muc 968
1709.08/1709.14	c iter 1047 time 1635.62 not-muc 7769 unknown 8099 muc 969
1709.08/1709.14	c iter 1048 time 1638.59 not-muc 7769 unknown 8098 muc 970
1709.08/1709.14	c iter 1049 time 1640.32 not-muc 7769 unknown 8097 muc 971
1709.08/1709.14	c iter 1050 time 1643.32 not-muc 7769 unknown 8096 muc 972
1709.08/1709.14	c iter 1051 time 1645.08 not-muc 7769 unknown 8095 muc 973
1709.08/1709.14	c iter 1052 time 1646.85 not-muc 7769 unknown 8094 muc 974
1709.08/1709.14	c iter 1053 time 1648.6 not-muc 7769 unknown 8093 muc 975
1709.08/1709.14	c iter 1054 time 1651.63 not-muc 7769 unknown 8092 muc 976
1709.08/1709.14	c iter 1055 time 1653.64 not-muc 7769 unknown 8091 muc 977
1709.08/1709.14	c iter 1056 time 1677.2 not-muc 7777 unknown 8083 muc 977
1709.08/1709.14	c iter 1057 time 1679.16 not-muc 7777 unknown 8082 muc 978
1709.08/1709.14	c iter 1058 time 1680.9 not-muc 7777 unknown 8081 muc 979
1709.08/1709.14	c iter 1059 time 1701.21 not-muc 7777 unknown 8080 muc 980
1709.08/1709.14	c iter 1060 time 1702.91 not-muc 7777 unknown 8079 muc 981
1709.08/1709.14	c iter 1061 time 1704.66 not-muc 7777 unknown 8078 muc 982
1709.08/1709.14	c iter 1062 time 1706.55 not-muc 7777 unknown 8077 muc 983
1709.08/1709.14	c iter 1063 time 1708.87 not-muc 7777 unknown 8076 muc 

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

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3501657-1308043818/watcher-3501657-1308043818 -o /tmp/evaluation-result-3501657-1308043818/solver-3501657-1308043818 -C 1800 -W 1850 -M 7680 HOME/hhlmuc HOME/instance-3501657-1308043818.gcnf 

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.82 2.98 3.04 4/189 16576
/proc/meminfo: memFree=31548912/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=24596 CPUtime=0 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 628 0 0 0 0 0 0 0 25 0 1 0 994612551 25186304 570 33554432000 4194304 4338123 140734320667760 18446744073709551615 215988182209 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 6149 570 222 36 0 2771 0

[startup+0.010196 s]
/proc/loadavg: 3.82 2.98 3.04 4/189 16576
/proc/meminfo: memFree=31548912/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=25500 CPUtime=0 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 894 0 0 0 0 0 0 0 25 0 1 0 994612551 26112000 836 33554432000 4194304 4338123 140734320667760 18446744073709551615 4322150 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 6375 836 222 36 0 2997 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25500

[startup+0.103181 s]
/proc/loadavg: 3.82 2.98 3.04 4/189 16576
/proc/meminfo: memFree=31548912/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=31048 CPUtime=0.1 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 4385 0 0 0 9 1 0 0 25 0 1 0 994612551 31793152 3827 33554432000 4194304 4338123 140734320667760 18446744073709551615 4235097 0 0 4096 8388610 0 0 0 17 3 0 0 0
/proc/16576/statm: 7762 3827 229 36 0 4384 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 31048

[startup+0.300149 s]
/proc/loadavg: 3.82 2.98 3.04 4/189 16576
/proc/meminfo: memFree=31548912/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=30524 CPUtime=0.29 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 4634 0 0 0 28 1 0 0 25 0 1 0 994612551 31256576 3974 33554432000 4194304 4338123 140734320667760 18446744073709551615 4292817 0 0 4096 8388610 0 0 0 17 3 0 0 0
/proc/16576/statm: 7631 3974 245 36 0 4253 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30524

[startup+0.701076 s]
/proc/loadavg: 3.82 2.98 3.04 4/189 16576
/proc/meminfo: memFree=31548912/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=36160 CPUtime=0.69 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 5347 0 0 0 68 1 0 0 25 0 1 0 994612551 37027840 4679 33554432000 4194304 4338123 140734320667760 18446744073709551615 4292786 0 0 4096 8388610 0 0 0 17 3 0 0 0
/proc/16576/statm: 9040 4679 245 36 0 5662 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36160

[startup+1.50094 s]
/proc/loadavg: 3.82 2.98 3.04 5/190 16577
/proc/meminfo: memFree=31525500/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=42132 CPUtime=1.48 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 7364 0 0 0 147 1 0 0 25 0 1 0 994612551 43143168 6693 33554432000 4194304 4338123 140734320667760 18446744073709551615 4292503 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 10533 6693 265 36 0 7155 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42132

[startup+3.10066 s]
/proc/loadavg: 3.83 3.00 3.04 5/190 16577
/proc/meminfo: memFree=31519300/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=43936 CPUtime=3.09 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 8047 0 0 0 307 2 0 0 25 0 1 0 994612551 44990464 7372 33554432000 4194304 4338123 140734320667760 18446744073709551615 4292318 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 10984 7372 265 36 0 7606 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43936

[startup+6.3011 s]
/proc/loadavg: 3.83 3.00 3.04 5/190 16577
/proc/meminfo: memFree=31504792/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=53928 CPUtime=6.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 10510 0 0 0 626 2 0 0 25 0 1 0 994612551 55222272 9811 33554432000 4194304 4338123 140734320667760 18446744073709551615 4292746 0 0 4096 8388610 0 0 0 17 3 0 0 0
/proc/16576/statm: 13482 9811 265 36 0 10104 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 53928

[startup+12.701 s]
/proc/loadavg: 3.86 3.03 3.05 4/186 16604
/proc/meminfo: memFree=31541172/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=70480 CPUtime=12.69 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 14851 0 0 0 1266 3 0 0 25 0 1 0 994612551 72171520 14127 33554432000 4194304 4338123 140734320667760 18446744073709551615 4292295 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 17620 14127 266 36 0 14242 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 70480

[startup+25.5007 s]
/proc/loadavg: 3.88 3.06 3.06 5/190 16615
/proc/meminfo: memFree=31452004/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=115072 CPUtime=25.49 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 24385 0 0 0 2544 5 0 0 25 0 1 0 994612551 117833728 23469 33554432000 4194304 4338123 140734320667760 18446744073709551615 4292299 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 28768 23469 266 36 0 25390 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 115072

[startup+51.1002 s]
/proc/loadavg: 3.92 3.14 3.09 5/190 16689
/proc/meminfo: memFree=31222584/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=163908 CPUtime=51.08 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 36911 0 0 0 5102 6 0 0 25 0 1 0 994612551 167841792 35719 33554432000 4194304 4338123 140734320667760 18446744073709551615 4292467 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 40977 35719 266 36 0 37599 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 163908

[startup+102.306 s]
/proc/loadavg: 4.02 3.29 3.14 5/190 16728
/proc/meminfo: memFree=31219348/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=211824 CPUtime=102.29 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 50550 0 0 0 10221 8 0 0 25 0 1 0 994612551 216907776 48825 33554432000 4194304 4338123 140734320667760 18446744073709551615 4279456 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 52956 48825 268 36 0 49578 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 211824

[startup+162.301 s]
/proc/loadavg: 4.01 3.41 3.19 5/190 16803
/proc/meminfo: memFree=31179028/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=257504 CPUtime=162.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 61345 0 0 0 16218 10 0 0 25 0 1 0 994612551 263684096 59352 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321164 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 64376 59352 268 36 0 60998 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 257504

[startup+222.3 s]
/proc/loadavg: 4.04 3.54 3.24 5/190 16879
/proc/meminfo: memFree=30849780/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=273000 CPUtime=222.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 65783 0 0 0 22217 11 0 0 25 0 1 0 994612551 279552000 63599 33554432000 4194304 4338123 140734320667760 18446744073709551615 4279668 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 68250 63599 268 36 0 64872 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 273000

[startup+282.301 s]
/proc/loadavg: 4.07 3.63 3.29 5/190 16918
/proc/meminfo: memFree=31039220/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=293860 CPUtime=282.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 72177 0 0 0 28215 13 0 0 25 0 1 0 994612551 300912640 69022 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321534 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 73465 69022 268 36 0 70087 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 293860

[startup+342.3 s]
/proc/loadavg: 4.07 3.71 3.34 5/190 16956
/proc/meminfo: memFree=31030904/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=310684 CPUtime=342.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 76674 0 0 0 34214 14 0 0 25 0 1 0 994612551 318140416 73471 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321304 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 77671 73471 268 36 0 74293 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 310684

[startup+402.301 s]
/proc/loadavg: 4.02 3.76 3.38 5/190 17032
/proc/meminfo: memFree=30903112/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=344812 CPUtime=402.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 83875 0 0 0 40213 14 0 0 25 0 1 0 994612551 353087488 80472 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321210 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 86203 80472 268 36 0 82825 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 344812

[startup+462.3 s]
/proc/loadavg: 4.01 3.80 3.41 5/190 17070
/proc/meminfo: memFree=30869180/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=359500 CPUtime=462.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 88242 0 0 0 46212 15 0 0 25 0 1 0 994612551 368128000 84652 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321331 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 89875 84652 268 36 0 86497 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 359500

[startup+522.301 s]
/proc/loadavg: 4.00 3.83 3.45 6/191 17075
/proc/meminfo: memFree=30788648/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=363804 CPUtime=522.26 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 89751 0 0 0 52211 15 0 0 25 0 1 0 994612551 372535296 86060 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321207 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 90951 86060 268 36 0 87573 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 363804

[startup+582.3 s]
/proc/loadavg: 4.03 3.87 3.48 5/190 17077
/proc/meminfo: memFree=30737660/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=386744 CPUtime=582.26 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 95990 0 0 0 58210 16 0 0 25 0 1 0 994612551 396025856 92121 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321632 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 96686 92121 268 36 0 93308 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 386744

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 3.06 3.39 3.38 4/184 17109
/proc/meminfo: memFree=30745400/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=464688 CPUtime=882.26 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 114917 0 0 0 88207 19 0 0 25 0 1 0 994612551 475840512 110327 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321207 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 116172 110327 268 36 0 112794 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 464688

[startup+942.3 s]
/proc/loadavg: 3.02 3.32 3.35 4/184 17110
/proc/meminfo: memFree=30727620/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=467176 CPUtime=942.26 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 115505 0 0 0 94207 19 0 0 25 0 1 0 994612551 478388224 110872 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321632 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 116794 110872 268 36 0 113416 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 467176

[startup+1002.3 s]
/proc/loadavg: 3.01 3.26 3.33 4/184 17112
/proc/meminfo: memFree=30701892/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=482364 CPUtime=1002.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 119761 0 0 0 100207 20 0 0 25 0 1 0 994612551 493940736 114992 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321534 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 120591 114992 268 36 0 117213 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 482364

[startup+1062.3 s]
/proc/loadavg: 3.00 3.21 3.31 4/184 17113
/proc/meminfo: memFree=30686712/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=492356 CPUtime=1062.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 122391 0 0 0 106207 20 0 0 25 0 1 0 994612551 504172544 117520 33554432000 4194304 4338123 140734320667760 18446744073709551615 4279533 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 123089 117520 268 36 0 119711 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 492356

[startup+1122.3 s]
/proc/loadavg: 3.00 3.17 3.28 4/184 17115
/proc/meminfo: memFree=30662228/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=505208 CPUtime=1122.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 125623 0 0 0 112206 21 0 0 25 0 1 0 994612551 517332992 120621 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321182 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 126302 120621 268 36 0 122924 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 505208

[startup+1182.3 s]
/proc/loadavg: 3.00 3.14 3.26 4/184 17116
/proc/meminfo: memFree=30638608/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=522304 CPUtime=1182.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 130118 0 0 0 118206 21 0 0 25 0 1 0 994612551 534839296 124950 33554432000 4194304 4338123 140734320667760 18446744073709551615 4280113 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 130576 124950 268 36 0 127198 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 522304

[startup+1242.3 s]
/proc/loadavg: 3.04 3.12 3.25 4/184 17118
/proc/meminfo: memFree=30632712/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=525284 CPUtime=1242.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 131268 0 0 0 124206 21 0 0 25 0 1 0 994612551 537890816 126035 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321619 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 131321 126035 268 36 0 127943 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 525284

[startup+1302.3 s]
/proc/loadavg: 3.01 3.10 3.23 4/184 17120
/proc/meminfo: memFree=30607728/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=547820 CPUtime=1302.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 137164 0 0 0 130205 22 0 0 25 0 1 0 994612551 560967680 131710 33554432000 4194304 4338123 140734320667760 18446744073709551615 4292753 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 136955 131710 268 36 0 133577 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 547820

[startup+1362.3 s]
/proc/loadavg: 3.00 3.08 3.21 4/184 17121
/proc/meminfo: memFree=30585480/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=559884 CPUtime=1362.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 142640 0 0 0 136204 23 0 0 25 0 1 0 994612551 573321216 134794 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321144 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 139971 134794 268 36 0 136593 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 559884

[startup+1422.31 s]
/proc/loadavg: 3.03 3.08 3.20 4/184 17123
/proc/meminfo: memFree=30567932/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=572244 CPUtime=1422.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 146059 0 0 0 142204 24 0 0 25 0 1 0 994612551 585977856 138136 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321210 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 143061 138136 268 36 0 139683 0
Current children cumulated CPU time (s) 1422.28
Current children cumulated vsize (KiB) 572244

[startup+1482.3 s]
/proc/loadavg: 3.01 3.06 3.19 4/184 17125
/proc/meminfo: memFree=30564296/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=573824 CPUtime=1482.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 146267 0 0 0 148204 24 0 0 25 0 1 0 994612551 587595776 138331 33554432000 4194304 4338123 140734320667760 18446744073709551615 4279456 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 143456 138331 268 36 0 140078 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 573824

[startup+1542.3 s]
/proc/loadavg: 3.00 3.05 3.17 4/184 17126
/proc/meminfo: memFree=30538716/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=591316 CPUtime=1542.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 151396 0 0 0 154203 24 0 0 25 0 1 0 994612551 605507584 143256 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321632 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 147829 143256 268 36 0 144451 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 591316

[startup+1602.3 s]
/proc/loadavg: 3.00 3.04 3.16 4/184 17128
/proc/meminfo: memFree=30528244/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=594896 CPUtime=1602.27 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 152132 0 0 0 160203 24 0 0 25 0 1 0 994612551 609173504 143936 33554432000 4194304 4338123 140734320667760 18446744073709551615 4320827 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 148724 143936 268 36 0 145346 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 594896

[startup+1662.3 s]
/proc/loadavg: 3.00 3.03 3.15 4/184 17129
/proc/meminfo: memFree=30505368/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=610840 CPUtime=1662.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 156529 0 0 0 166203 25 0 0 25 0 1 0 994612551 625500160 148154 33554432000 4194304 4338123 140734320667760 18446744073709551615 4320811 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 152710 148154 268 36 0 149332 0
Current children cumulated CPU time (s) 1662.28
Current children cumulated vsize (KiB) 610840

[startup+1722.3 s]
/proc/loadavg: 3.00 3.02 3.14 4/184 17131
/proc/meminfo: memFree=30479644/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=624588 CPUtime=1722.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 160137 0 0 0 172203 25 0 0 25 0 1 0 994612551 639578112 151628 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321569 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 156147 151628 268 36 0 152769 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 624588

[startup+1782.3 s]
/proc/loadavg: 2.40 2.85 3.07 3/178 17158
/proc/meminfo: memFree=30723036/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=637164 CPUtime=1782.28 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 163020 0 0 0 178202 26 0 0 25 0 1 0 994612551 652455936 154364 33554432000 4194304 4338123 140734320667760 18446744073709551615 4321621 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 159291 154364 268 36 0 155913 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 637164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.31 2.80 3.05 3/178 17158
/proc/meminfo: memFree=30721780/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=649468 CPUtime=1800.09 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 163023 0 0 0 179983 26 0 0 25 0 1 0 994612551 665055232 154367 33554432000 4194304 4338123 140734320667760 18446744073709551615 4279727 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 162367 154367 268 36 0 158989 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 649468

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

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

[startup+1800.1 s]
/proc/loadavg: 2.31 2.80 3.05 3/178 17158
/proc/meminfo: memFree=30721780/32950940 swapFree=67053420/67111528
[pid=16576] ppid=16574 vsize=649468 CPUtime=1800.09 cores=1,3
/proc/16576/stat : 16576 (hhlmuc) R 16574 16576 15701 0 -1 4202496 163023 0 0 0 179983 26 0 0 25 0 1 0 994612551 665055232 154367 33554432000 4194304 4338123 140734320667760 18446744073709551615 4279727 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/16576/statm: 162367 154367 268 36 0 158989 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 649468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.12
CPU user time (s): 1799.83
CPU system time (s): 0.284956
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 649468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.284956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9
involuntary context switches= 3945

runsolver used 2.73958 second user time and 6.39503 second system time

The end

Begin job on node117 at 2011-06-14 11:30:18
IDJOB=3501657
IDBENCH=90004
IDSOLVER=2001
FILE ID=node117/3501657-1308043818
RUNJOBID= node117-1308043680-16150
PBS_JOBID= 13564712
Free space on /tmp= 74012 MiB

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

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

MD5SUM BENCH= e0c26485363ea0f117d4a2cba450b381
RANDOM SEED=255290292

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      31549208 kB
Buffers:        191424 kB
Cached:         713220 kB
SwapCached:      11340 kB
Active:         543064 kB
Inactive:       652956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      31549208 kB
SwapTotal:    67111528 kB
SwapFree:     67053420 kB
Dirty:            2380 kB
Writeback:           0 kB
AnonPages:      288348 kB
Mapped:          13512 kB
Slab:           139260 kB
PageTables:       5756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   533736 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= 74016 MiB
End job on node117 at 2011-06-14 12:00:20