48.39/48.45	c WARNING: for repeatability, setting FPU to use double precision
48.39/48.45	c iter 1 time 2.67059 not-muc 5212 unknown 8701 muc 0
48.39/48.45	c iter 2 time 2.69859 not-muc 5212 unknown 8700 muc 1
48.39/48.45	c iter 3 time 2.70859 not-muc 5212 unknown 8699 muc 2
48.39/48.45	c iter 4 time 3.03754 not-muc 5212 unknown 8698 muc 3
48.39/48.45	c iter 5 time 3.67544 not-muc 5212 unknown 8697 muc 4
48.39/48.45	c iter 6 time 3.69144 not-muc 5212 unknown 8696 muc 5
48.39/48.45	c iter 7 time 6.70798 not-muc 5383 unknown 8525 muc 5
48.39/48.45	c iter 8 time 7.39288 not-muc 5383 unknown 8524 muc 6
48.39/48.45	c iter 9 time 7.40187 not-muc 5383 unknown 8523 muc 7
48.39/48.45	c iter 10 time 12.987 not-muc 5397 unknown 8509 muc 7
48.39/48.45	c iter 11 time 13.035 not-muc 5397 unknown 8508 muc 8
48.39/48.45	c iter 12 time 13.036 not-muc 5397 unknown 8507 muc 9
48.39/48.45	c iter 13 time 18.5112 not-muc 5401 unknown 8503 muc 9
48.39/48.45	c iter 14 time 19.0081 not-muc 5401 unknown 8502 muc 10
48.39/48.45	c iter 15 time 19.0161 not-muc 5401 unknown 8501 muc 11
48.39/48.45	c iter 16 time 19.0211 not-muc 5401 unknown 8500 muc 12
48.39/48.45	c iter 17 time 25.1072 not-muc 5409 unknown 8492 muc 12
48.39/48.45	c iter 18 time 25.2042 not-muc 5409 unknown 8491 muc 13
48.39/48.45	c iter 19 time 31.1603 not-muc 5413 unknown 8487 muc 13
48.39/48.45	c iter 20 time 36.2525 not-muc 5415 unknown 8485 muc 13
48.39/48.45	c iter 21 time 36.5694 not-muc 5415 unknown 8484 muc 14
48.39/48.45	c iter 22 time 36.5844 not-muc 5415 unknown 8483 muc 15
48.39/48.45	c iter 23 time 36.5934 not-muc 5415 unknown 8482 muc 16
48.39/48.45	c iter 24 time 36.6064 not-muc 5415 unknown 8481 muc 17
48.39/48.45	c iter 25 time 36.6144 not-muc 5415 unknown 8480 muc 18
48.39/48.45	c iter 26 time 36.6234 not-muc 5415 unknown 8479 muc 19
48.39/48.45	c iter 27 time 44.9052 not-muc 5418 unknown 8476 muc 19
48.39/48.45	c iter 28 time 46.5389 not-muc 5418 unknown 8475 muc 20
48.39/48.45	c iter 29 time 46.8419 not-muc 5418 unknown 8474 muc 21
48.39/48.45	c iter 30 time 46.8509 not-muc 5418 unknown 8473 muc 22
48.39/48.45	c iter 31 time 46.8529 not-muc 5418 unknown 8472 muc 23
48.39/48.45	c iter 32 time 46.8539 not-muc 5418 unknown 8471 muc 24
48.39/48.45	c iter 33 time 46.8549 not-muc 5418 unknown 8470 muc 25
48.39/48.45	c iter 34 time 46.8569 not-muc 5418 unknown 8469 muc 26
48.39/48.45	c iter 35 time 46.8579 not-muc 5418 unknown 8468 muc 27
48.39/48.45	c iter 36 time 46.8599 not-muc 5418 unknown 8467 muc 28
48.39/48.45	c iter 37 time 46.8609 not-muc 5418 unknown 8466 muc 29
48.39/48.45	c iter 38 time 46.8629 not-muc 5418 unknown 8465 muc 30
48.39/48.45	c iter 39 time 46.8639 not-muc 5418 unknown 8464 muc 31
48.39/48.45	c iter 40 time 46.8659 not-muc 5418 unknown 8463 muc 32
48.39/48.45	c iter 41 time 46.8669 not-muc 5418 unknown 8462 muc 33
48.39/48.45	c iter 42 time 46.8679 not-muc 5418 unknown 8461 muc 34
48.39/48.45	c iter 43 time 48.2347 not-muc 5418 unknown 8460 muc 35
48.39/48.45	c iter 44 time 48.2447 not-muc 5418 unknown 8459 muc 36
48.39/48.45	c iter 45 time 48.2467 not-muc 5418 unknown 8458 muc 37
48.39/48.45	c iter 46 time 48.2517 not-muc 5418 unknown 8457 muc 38
48.39/48.45	c iter 47 time 48.2527 not-muc 5418 unknown 8456 muc 39
48.39/48.45	c iter 48 time 48.2547 not-muc 5418 unknown 8455 muc 40
48.39/48.45	c iter 49 time 48.2557 not-muc 5418 unknown 8454 muc 41
48.39/48.45	c iter 50 time 48.2577 not-muc 5418 unknown 8453 muc 42
48.39/48.45	c iter 51 time 48.2587 not-muc 5418 unknown 8452 muc 43
48.39/48.45	c iter 52 time 48.2607 not-muc 5418 unknown 8451 muc 44
48.39/48.45	c iter 53 time 48.2617 not-muc 5418 unknown 8450 muc 45
48.39/48.45	c iter 54 time 48.2717 not-muc 5418 unknown 8449 muc 46
48.39/48.45	c iter 55 time 48.2737 not-muc 5418 unknown 8448 muc 47
48.39/48.45	c iter 56 time 48.2747 not-muc 5418 unknown 8447 muc 48
48.39/48.45	c iter 57 time 48.2767 not-muc 5418 unknown 8446 muc 49
48.39/48.45	c iter 58 time 48.2777 not-muc 5418 unknown 8445 muc 50
48.39/48.45	c iter 59 time 48.2797 not-muc 5418 unknown 8444 muc 51
48.39/48.45	c iter 60 time 48.2807 not-muc 5418 unknown 8443 muc 52
48.39/48.45	c iter 61 time 48.2827 not-muc 5418 unknown 8442 muc 53
48.39/48.45	c iter 62 time 48.2837 not-muc 5418 unknown 8441 muc 54
48.39/48.45	c iter 63 time 48.2857 not-muc 5418 unknown 8440 muc 55
48.39/48.45	c iter 64 time 48.2867 not-muc 5418 unknown 8439 muc 56
48.39/48.45	c iter 65 time 48.2887 not-muc 5418 unknown 8438 muc 57
48.39/48.45	c iter 66 time 48.2897 not-muc 5418 unknown 8437 muc 58
48.39/48.45	c iter 67 time 48.2927 not-muc 5418 unknown 8436 muc 59
48.39/48.45	c iter 68 time 48.2937 not-muc 5418 unknown 8435 muc 60
48.39/48.45	c iter 69 time 48.2967 not-muc 5418 unknown 8434 muc 61
48.39/48.45	c iter 70 time 48.2987 not-muc 5418 unknown 8433 muc 62
48.39/48.45	c iter 71 time 48.2997 not-muc 5418 unknown 8432 muc 63
48.39/48.45	c iter 72 time 48.3017 not-muc 5418 unknown 8431 muc 64
48.39/48.45	c iter 73 time 48.3027 not-muc 5418 unknown 8430 muc 65
48.49/48.56	c iter 74 time 48.3047 not-muc 5418 unknown 8429 muc 66
48.49/48.56	c iter 75 time 48.3057 not-muc 5418 unknown 8428 muc 67
48.49/48.56	c iter 76 time 48.3077 not-muc 5418 unknown 8427 muc 68
48.49/48.56	c iter 77 time 48.3087 not-muc 5418 unknown 8426 muc 69
48.49/48.56	c iter 78 time 48.3107 not-muc 5418 unknown 8425 muc 70
48.49/48.56	c iter 79 time 48.3117 not-muc 5418 unknown 8424 muc 71
48.49/48.56	c iter 80 time 48.3137 not-muc 5418 unknown 8423 muc 72
48.49/48.56	c iter 81 time 48.3147 not-muc 5418 unknown 8422 muc 73
48.49/48.56	c iter 82 time 48.3167 not-muc 5418 unknown 8421 muc 74
48.49/48.56	c iter 83 time 48.3177 not-muc 5418 unknown 8420 muc 75
48.49/48.56	c iter 84 time 48.3187 not-muc 5418 unknown 8419 muc 76
48.49/48.56	c iter 85 time 48.3207 not-muc 5418 unknown 8418 muc 77
48.49/48.56	c iter 86 time 48.3217 not-muc 5418 unknown 8417 muc 78
48.49/48.56	c iter 87 time 48.3237 not-muc 5418 unknown 8416 muc 79
48.49/48.56	c iter 88 time 48.3247 not-muc 5418 unknown 8415 muc 80
48.49/48.56	c iter 89 time 48.3267 not-muc 5418 unknown 8414 muc 81
48.49/48.56	c iter 90 time 48.3277 not-muc 5418 unknown 8413 muc 82
48.49/48.56	c iter 91 time 48.3297 not-muc 5418 unknown 8412 muc 83
48.49/48.56	c iter 92 time 48.3307 not-muc 5418 unknown 8411 muc 84
48.49/48.56	c iter 93 time 48.3327 not-muc 5418 unknown 8410 muc 85
48.49/48.56	c iter 94 time 48.3347 not-muc 5418 unknown 8409 muc 86
48.49/48.56	c iter 95 time 48.3357 not-muc 5418 unknown 8408 muc 87
48.49/48.56	c iter 96 time 48.3377 not-muc 5418 unknown 8407 muc 88
48.49/48.56	c iter 97 time 48.3387 not-muc 5418 unknown 8406 muc 89
48.49/48.56	c iter 98 time 48.3407 not-muc 5418 unknown 8405 muc 90
48.49/48.56	c iter 99 time 48.3417 not-muc 5418 unknown 8404 muc 91
48.49/48.56	c iter 100 time 48.3436 not-muc 5418 unknown 8403 muc 92
48.49/48.56	c iter 101 time 48.3447 not-muc 5418 unknown 8402 muc 93
48.49/48.56	c iter 102 time 48.3466 not-muc 5418 unknown 8401 muc 94
48.49/48.56	c iter 103 time 48.3477 not-muc 5418 unknown 8400 muc 95
48.49/48.56	c iter 104 time 48.3496 not-muc 5418 unknown 8399 muc 96
48.49/48.56	c iter 105 time 48.3506 not-muc 5418 unknown 8398 muc 97
48.49/48.56	c iter 106 time 48.3526 not-muc 5418 unknown 8397 muc 98
48.49/48.56	c iter 107 time 48.3536 not-muc 5418 unknown 8396 muc 99
48.49/48.56	c iter 108 time 48.3556 not-muc 5418 unknown 8395 muc 100
48.49/48.56	c iter 109 time 48.3566 not-muc 5418 unknown 8394 muc 101
48.49/48.56	c iter 110 time 48.3586 not-muc 5418 unknown 8393 muc 102
48.49/48.56	c iter 111 time 48.3606 not-muc 5418 unknown 8392 muc 103
48.49/48.56	c iter 112 time 48.3626 not-muc 5418 unknown 8391 muc 104
48.49/48.56	c iter 113 time 48.3636 not-muc 5418 unknown 8390 muc 105
48.49/48.56	c iter 114 time 48.3656 not-muc 5418 unknown 8389 muc 106
48.49/48.56	c iter 115 time 48.3666 not-muc 5418 unknown 8388 muc 107
48.49/48.56	c iter 116 time 48.3686 not-muc 5418 unknown 8387 muc 108
48.49/48.56	c iter 117 time 48.3696 not-muc 5418 unknown 8386 muc 109
48.49/48.56	c iter 118 time 48.3716 not-muc 5418 unknown 8385 muc 110
48.49/48.56	c iter 119 time 48.3726 not-muc 5418 unknown 8384 muc 111
48.49/48.56	c iter 120 time 48.3746 not-muc 5418 unknown 8383 muc 112
48.49/48.56	c iter 121 time 48.3756 not-muc 5418 unknown 8382 muc 113
48.49/48.56	c iter 122 time 48.3776 not-muc 5418 unknown 8381 muc 114
48.49/48.56	c iter 123 time 48.3786 not-muc 5418 unknown 8380 muc 115
48.49/48.56	c iter 124 time 48.3806 not-muc 5418 unknown 8379 muc 116
48.49/48.56	c iter 125 time 48.3826 not-muc 5418 unknown 8378 muc 117
48.49/48.56	c iter 126 time 48.3846 not-muc 5418 unknown 8377 muc 118
48.49/48.56	c iter 127 time 48.3856 not-muc 5418 unknown 8376 muc 119
48.49/48.56	c iter 128 time 48.3876 not-muc 5418 unknown 8375 muc 120
48.49/48.56	c iter 129 time 48.3886 not-muc 5418 unknown 8374 muc 121
48.49/48.56	c iter 130 time 48.3906 not-muc 5418 unknown 8373 muc 122
48.49/48.56	c iter 131 time 48.3916 not-muc 5418 unknown 8372 muc 123
48.49/48.56	c iter 132 time 48.3936 not-muc 5418 unknown 8371 muc 124
48.49/48.56	c iter 133 time 48.3946 not-muc 5418 unknown 8370 muc 125
48.49/48.56	c iter 134 time 48.3966 not-muc 5418 unknown 8369 muc 126
48.49/48.56	c iter 135 time 48.3976 not-muc 5418 unknown 8368 muc 127
48.49/48.56	c iter 136 time 48.3996 not-muc 5418 unknown 8367 muc 128
48.49/48.56	c iter 137 time 48.4006 not-muc 5418 unknown 8366 muc 129
48.49/48.56	c iter 138 time 48.4026 not-muc 5418 unknown 8365 muc 130
48.49/48.56	c iter 139 time 48.4036 not-muc 5418 unknown 8364 muc 131
48.49/48.56	c iter 140 time 48.4056 not-muc 5418 unknown 8363 muc 132
48.49/48.56	c iter 141 time 48.4066 not-muc 5418 unknown 8362 muc 133
48.49/48.56	c iter 142 time 48.4086 not-muc 5418 unknown 8361 muc 134
48.49/48.56	c iter 143 time 48.4096 not-muc 5418 unknown 8360 muc 135
48.49/48.56	c iter 144 time 48.4116 not-muc 5418 unknown 8359 muc 136
48.49/48.56	c iter 145 time 48.4126 not-muc 5418 unknown 8358 muc 137
73.79/73.89	c iter 146 time 48.4146 not-muc 5418 unknown 8357 muc 138
73.79/73.89	c iter 147 time 48.4156 not-muc 5418 unknown 8356 muc 139
73.79/73.89	c iter 148 time 48.4176 not-muc 5418 unknown 8355 muc 140
73.79/73.89	c iter 149 time 48.4186 not-muc 5418 unknown 8354 muc 141
73.79/73.89	c iter 150 time 48.4206 not-muc 5418 unknown 8353 muc 142
73.79/73.89	c iter 151 time 48.4216 not-muc 5418 unknown 8352 muc 143
73.79/73.89	c iter 152 time 48.4236 not-muc 5418 unknown 8351 muc 144
73.79/73.89	c iter 153 time 48.4246 not-muc 5418 unknown 8350 muc 145
73.79/73.89	c iter 154 time 48.4266 not-muc 5418 unknown 8349 muc 146
73.79/73.89	c iter 155 time 48.4286 not-muc 5418 unknown 8348 muc 147
73.79/73.89	c iter 156 time 48.4296 not-muc 5418 unknown 8347 muc 148
73.79/73.89	c iter 157 time 48.4316 not-muc 5418 unknown 8346 muc 149
73.79/73.89	c iter 158 time 48.4326 not-muc 5418 unknown 8345 muc 150
73.79/73.89	c iter 159 time 48.4346 not-muc 5418 unknown 8344 muc 151
73.79/73.89	c iter 160 time 48.4356 not-muc 5418 unknown 8343 muc 152
73.79/73.89	c iter 161 time 48.4376 not-muc 5418 unknown 8342 muc 153
73.79/73.89	c iter 162 time 48.4386 not-muc 5418 unknown 8341 muc 154
73.79/73.89	c iter 163 time 48.4406 not-muc 5418 unknown 8340 muc 155
73.79/73.89	c iter 164 time 48.4416 not-muc 5418 unknown 8339 muc 156
73.79/73.89	c iter 165 time 48.4436 not-muc 5418 unknown 8338 muc 157
73.79/73.89	c iter 166 time 48.4446 not-muc 5418 unknown 8337 muc 158
73.79/73.89	c iter 167 time 48.4466 not-muc 5418 unknown 8336 muc 159
73.79/73.89	c iter 168 time 48.4476 not-muc 5418 unknown 8335 muc 160
73.79/73.89	c iter 169 time 48.4496 not-muc 5418 unknown 8334 muc 161
73.79/73.89	c iter 170 time 48.4506 not-muc 5418 unknown 8333 muc 162
73.79/73.89	c iter 171 time 48.4526 not-muc 5418 unknown 8332 muc 163
73.79/73.89	c iter 172 time 48.4536 not-muc 5418 unknown 8331 muc 164
73.79/73.89	c iter 173 time 48.4556 not-muc 5418 unknown 8330 muc 165
73.79/73.89	c iter 174 time 48.4566 not-muc 5418 unknown 8329 muc 166
73.79/73.89	c iter 175 time 48.4586 not-muc 5418 unknown 8328 muc 167
73.79/73.89	c iter 176 time 48.4596 not-muc 5418 unknown 8327 muc 168
73.79/73.89	c iter 177 time 48.4616 not-muc 5418 unknown 8326 muc 169
73.79/73.89	c iter 178 time 48.4626 not-muc 5418 unknown 8325 muc 170
73.79/73.89	c iter 179 time 48.4646 not-muc 5418 unknown 8324 muc 171
73.79/73.89	c iter 180 time 48.4666 not-muc 5418 unknown 8323 muc 172
73.79/73.89	c iter 181 time 48.7476 not-muc 5418 unknown 8322 muc 173
73.79/73.89	c iter 182 time 48.7536 not-muc 5418 unknown 8321 muc 174
73.79/73.89	c iter 183 time 49.7854 not-muc 5418 unknown 8320 muc 175
73.79/73.89	c iter 184 time 49.8514 not-muc 5418 unknown 8319 muc 176
73.79/73.89	c iter 185 time 49.9834 not-muc 5418 unknown 8318 muc 177
73.79/73.89	c iter 186 time 49.9914 not-muc 5418 unknown 8317 muc 178
73.79/73.89	c iter 187 time 49.9994 not-muc 5418 unknown 8316 muc 179
73.79/73.89	c iter 188 time 50.0334 not-muc 5418 unknown 8315 muc 180
73.79/73.89	c iter 189 time 50.0384 not-muc 5418 unknown 8314 muc 181
73.79/73.89	c iter 190 time 50.1244 not-muc 5418 unknown 8313 muc 182
73.79/73.89	c iter 191 time 50.1294 not-muc 5418 unknown 8312 muc 183
73.79/73.89	c iter 192 time 50.1314 not-muc 5418 unknown 8311 muc 184
73.79/73.89	c iter 193 time 50.1324 not-muc 5418 unknown 8310 muc 185
73.79/73.89	c iter 194 time 50.1344 not-muc 5418 unknown 8309 muc 186
73.79/73.89	c iter 195 time 50.1364 not-muc 5418 unknown 8308 muc 187
73.79/73.89	c iter 196 time 50.1384 not-muc 5418 unknown 8307 muc 188
73.79/73.89	c iter 197 time 50.1394 not-muc 5418 unknown 8306 muc 189
73.79/73.89	c iter 198 time 50.1414 not-muc 5418 unknown 8305 muc 190
73.79/73.89	c iter 199 time 50.1424 not-muc 5418 unknown 8304 muc 191
73.79/73.89	c iter 200 time 50.1464 not-muc 5418 unknown 8303 muc 192
73.79/73.89	c iter 201 time 50.1504 not-muc 5418 unknown 8302 muc 193
73.79/73.89	c iter 202 time 50.1554 not-muc 5418 unknown 8301 muc 194
73.79/73.89	c iter 203 time 50.1564 not-muc 5418 unknown 8300 muc 195
73.79/73.89	c iter 204 time 54.6477 not-muc 5420 unknown 8298 muc 195
73.79/73.89	c iter 205 time 54.7307 not-muc 5420 unknown 8297 muc 196
73.79/73.89	c iter 206 time 63.6473 not-muc 5429 unknown 8288 muc 196
73.79/73.89	c iter 207 time 63.6773 not-muc 5429 unknown 8287 muc 197
73.79/73.89	c iter 208 time 71.2272 not-muc 5432 unknown 8284 muc 197
73.79/73.89	c iter 209 time 71.2972 not-muc 5432 unknown 8283 muc 198
73.79/73.89	c iter 210 time 71.3022 not-muc 5432 unknown 8282 muc 199
73.79/73.89	c iter 211 time 71.3042 not-muc 5432 unknown 8281 muc 200
73.79/73.89	c iter 212 time 73.0339 not-muc 5433 unknown 8280 muc 200
73.79/73.89	c iter 213 time 73.1149 not-muc 5433 unknown 8279 muc 201
73.79/73.89	c iter 214 time 73.1229 not-muc 5433 unknown 8278 muc 202
73.79/73.89	c iter 215 time 73.6678 not-muc 5434 unknown 8277 muc 202
129.59/129.68	c iter 216 time 73.6968 not-muc 5434 unknown 8276 muc 203
129.59/129.68	c iter 217 time 73.7038 not-muc 5434 unknown 8275 muc 204
129.59/129.68	c iter 218 time 76.8523 not-muc 5435 unknown 8274 muc 204
129.59/129.68	c iter 219 time 76.9173 not-muc 5435 unknown 8273 muc 205
129.59/129.68	c iter 220 time 76.9333 not-muc 5435 unknown 8272 muc 206
129.59/129.68	c iter 221 time 76.9493 not-muc 5435 unknown 8271 muc 207
129.59/129.68	c iter 222 time 76.9663 not-muc 5435 unknown 8270 muc 208
129.59/129.68	c iter 223 time 83.7143 not-muc 5436 unknown 8269 muc 208
129.59/129.68	c iter 224 time 83.7873 not-muc 5436 unknown 8268 muc 209
129.59/129.68	c iter 225 time 83.7923 not-muc 5436 unknown 8267 muc 210
129.59/129.68	c iter 226 time 83.7933 not-muc 5436 unknown 8266 muc 211
129.59/129.68	c iter 227 time 83.7953 not-muc 5436 unknown 8265 muc 212
129.59/129.68	c iter 228 time 83.7963 not-muc 5436 unknown 8264 muc 213
129.59/129.68	c iter 229 time 83.7973 not-muc 5436 unknown 8263 muc 214
129.59/129.68	c iter 230 time 83.7983 not-muc 5436 unknown 8262 muc 215
129.59/129.68	c iter 231 time 83.8003 not-muc 5436 unknown 8261 muc 216
129.59/129.68	c iter 232 time 88.9745 not-muc 5437 unknown 8260 muc 216
129.59/129.68	c iter 233 time 89.0045 not-muc 5437 unknown 8259 muc 217
129.59/129.68	c iter 234 time 93.0329 not-muc 5438 unknown 8258 muc 217
129.59/129.68	c iter 235 time 93.1198 not-muc 5438 unknown 8257 muc 218
129.59/129.68	c iter 236 time 95.1155 not-muc 5439 unknown 8256 muc 218
129.59/129.68	c iter 237 time 95.2025 not-muc 5439 unknown 8255 muc 219
129.59/129.68	c iter 238 time 97.1292 not-muc 5440 unknown 8254 muc 219
129.59/129.68	c iter 239 time 97.1592 not-muc 5440 unknown 8253 muc 220
129.59/129.68	c iter 240 time 98.773 not-muc 5441 unknown 8252 muc 220
129.59/129.68	c iter 241 time 98.801 not-muc 5441 unknown 8251 muc 221
129.59/129.68	c iter 242 time 106.643 not-muc 5442 unknown 8250 muc 221
129.59/129.68	c iter 243 time 106.715 not-muc 5442 unknown 8249 muc 222
129.59/129.68	c iter 244 time 111.58 not-muc 5443 unknown 8248 muc 222
129.59/129.68	c iter 245 time 111.622 not-muc 5443 unknown 8247 muc 223
129.59/129.68	c iter 246 time 113.534 not-muc 5444 unknown 8246 muc 223
129.59/129.68	c iter 247 time 113.587 not-muc 5444 unknown 8245 muc 224
129.59/129.68	c iter 248 time 113.589 not-muc 5444 unknown 8244 muc 225
129.59/129.68	c iter 249 time 113.658 not-muc 5444 unknown 8243 muc 226
129.59/129.68	c iter 250 time 113.695 not-muc 5444 unknown 8242 muc 227
129.59/129.68	c iter 251 time 113.757 not-muc 5444 unknown 8241 muc 228
129.59/129.68	c iter 252 time 113.796 not-muc 5444 unknown 8240 muc 229
129.59/129.68	c iter 253 time 113.832 not-muc 5444 unknown 8239 muc 230
129.59/129.68	c iter 254 time 113.868 not-muc 5444 unknown 8238 muc 231
129.59/129.68	c iter 255 time 113.903 not-muc 5444 unknown 8237 muc 232
129.59/129.68	c iter 256 time 113.939 not-muc 5444 unknown 8236 muc 233
129.59/129.68	c iter 257 time 113.975 not-muc 5444 unknown 8235 muc 234
129.59/129.68	c iter 258 time 114.01 not-muc 5444 unknown 8234 muc 235
129.59/129.68	c iter 259 time 114.045 not-muc 5444 unknown 8233 muc 236
129.59/129.68	c iter 260 time 114.081 not-muc 5444 unknown 8232 muc 237
129.59/129.68	c iter 261 time 114.116 not-muc 5444 unknown 8231 muc 238
129.59/129.68	c iter 262 time 114.152 not-muc 5444 unknown 8230 muc 239
129.59/129.68	c iter 263 time 114.188 not-muc 5444 unknown 8229 muc 240
129.59/129.68	c iter 264 time 114.227 not-muc 5444 unknown 8228 muc 241
129.59/129.68	c iter 265 time 114.263 not-muc 5444 unknown 8227 muc 242
129.59/129.68	c iter 266 time 114.3 not-muc 5444 unknown 8226 muc 243
129.59/129.68	c iter 267 time 114.337 not-muc 5444 unknown 8225 muc 244
129.59/129.68	c iter 268 time 114.376 not-muc 5444 unknown 8224 muc 245
129.59/129.68	c iter 269 time 119.293 not-muc 5710 unknown 7958 muc 245
129.59/129.68	c iter 270 time 119.434 not-muc 5710 unknown 7957 muc 246
129.59/129.68	c iter 271 time 119.449 not-muc 5710 unknown 7956 muc 247
129.59/129.68	c iter 272 time 119.468 not-muc 5710 unknown 7955 muc 248
129.59/129.68	c iter 273 time 119.489 not-muc 5710 unknown 7954 muc 249
129.59/129.68	c iter 274 time 119.501 not-muc 5710 unknown 7953 muc 250
129.59/129.68	c iter 275 time 129.167 not-muc 5720 unknown 7943 muc 250
129.59/129.68	c iter 276 time 129.204 not-muc 5720 unknown 7942 muc 251
129.59/129.68	c iter 277 time 129.21 not-muc 5720 unknown 7941 muc 252
129.59/129.68	c iter 278 time 129.215 not-muc 5720 unknown 7940 muc 253
129.59/129.68	c iter 279 time 129.233 not-muc 5720 unknown 7939 muc 254
129.59/129.68	c iter 280 time 129.238 not-muc 5720 unknown 7938 muc 255
129.59/129.68	c iter 281 time 129.244 not-muc 5720 unknown 7937 muc 256
129.59/129.68	c iter 282 time 129.249 not-muc 5720 unknown 7936 muc 257
129.59/129.68	c iter 283 time 129.254 not-muc 5720 unknown 7935 muc 258
129.59/129.68	c iter 284 time 129.26 not-muc 5720 unknown 7934 muc 259
129.59/129.68	c iter 285 time 129.265 not-muc 5720 unknown 7933 muc 260
129.59/129.68	c iter 286 time 129.27 not-muc 5720 unknown 7932 muc 261
136.30/136.37	c iter 287 time 129.275 not-muc 5720 unknown 7931 muc 262
136.30/136.37	c iter 288 time 129.279 not-muc 5720 unknown 7930 muc 263
136.30/136.37	c iter 289 time 129.285 not-muc 5720 unknown 7929 muc 264
136.30/136.37	c iter 290 time 129.292 not-muc 5720 unknown 7928 muc 265
136.30/136.37	c iter 291 time 129.31 not-muc 5720 unknown 7927 muc 266
136.30/136.37	c iter 292 time 129.318 not-muc 5720 unknown 7926 muc 267
136.30/136.37	c iter 293 time 129.323 not-muc 5720 unknown 7925 muc 268
136.30/136.37	c iter 294 time 129.329 not-muc 5720 unknown 7924 muc 269
136.30/136.37	c iter 295 time 129.34 not-muc 5720 unknown 7923 muc 270
136.30/136.37	c iter 296 time 129.345 not-muc 5720 unknown 7922 muc 271
136.30/136.37	c iter 297 time 129.35 not-muc 5720 unknown 7921 muc 272
136.30/136.37	c iter 298 time 129.361 not-muc 5720 unknown 7920 muc 273
136.30/136.37	c iter 299 time 129.366 not-muc 5720 unknown 7919 muc 274
136.30/136.37	c iter 300 time 129.375 not-muc 5720 unknown 7918 muc 275
136.30/136.37	c iter 301 time 129.381 not-muc 5720 unknown 7917 muc 276
136.30/136.37	c iter 302 time 129.386 not-muc 5720 unknown 7916 muc 277
136.30/136.37	c iter 303 time 129.391 not-muc 5720 unknown 7915 muc 278
136.30/136.37	c iter 304 time 129.397 not-muc 5720 unknown 7914 muc 279
136.30/136.37	c iter 305 time 129.402 not-muc 5720 unknown 7913 muc 280
136.30/136.37	c iter 306 time 135.718 not-muc 5725 unknown 7908 muc 280
136.30/136.37	c iter 307 time 135.765 not-muc 5725 unknown 7907 muc 281
136.30/136.37	c iter 308 time 135.772 not-muc 5725 unknown 7906 muc 282
136.30/136.37	c iter 309 time 135.774 not-muc 5725 unknown 7905 muc 283
136.30/136.37	c iter 310 time 135.78 not-muc 5725 unknown 7904 muc 284
136.30/136.37	c iter 311 time 135.786 not-muc 5725 unknown 7903 muc 285
136.30/136.37	c iter 312 time 135.788 not-muc 5725 unknown 7902 muc 286
136.30/136.37	c iter 313 time 135.791 not-muc 5725 unknown 7901 muc 287
136.30/136.37	c iter 314 time 135.793 not-muc 5725 unknown 7900 muc 288
136.30/136.37	c iter 315 time 135.796 not-muc 5725 unknown 7899 muc 289
136.30/136.37	c iter 316 time 135.798 not-muc 5725 unknown 7898 muc 290
136.30/136.37	c iter 317 time 135.8 not-muc 5725 unknown 7897 muc 291
136.30/136.37	c iter 318 time 135.803 not-muc 5725 unknown 7896 muc 292
136.30/136.37	c iter 319 time 135.805 not-muc 5725 unknown 7895 muc 293
136.30/136.37	c iter 320 time 135.807 not-muc 5725 unknown 7894 muc 294
136.30/136.37	c iter 321 time 135.81 not-muc 5725 unknown 7893 muc 295
136.30/136.37	c iter 322 time 135.812 not-muc 5725 unknown 7892 muc 296
136.30/136.37	c iter 323 time 135.814 not-muc 5725 unknown 7891 muc 297
136.30/136.37	c iter 324 time 135.817 not-muc 5725 unknown 7890 muc 298
136.30/136.37	c iter 325 time 135.819 not-muc 5725 unknown 7889 muc 299
136.30/136.37	c iter 326 time 135.821 not-muc 5725 unknown 7888 muc 300
136.30/136.37	c iter 327 time 135.824 not-muc 5725 unknown 7887 muc 301
136.30/136.37	c iter 328 time 135.826 not-muc 5725 unknown 7886 muc 302
136.30/136.37	c iter 329 time 135.829 not-muc 5725 unknown 7885 muc 303
136.30/136.37	c iter 330 time 135.831 not-muc 5725 unknown 7884 muc 304
136.30/136.37	c iter 331 time 135.833 not-muc 5725 unknown 7883 muc 305
136.30/136.37	c iter 332 time 135.836 not-muc 5725 unknown 7882 muc 306
136.30/136.37	c iter 333 time 135.838 not-muc 5725 unknown 7881 muc 307
136.30/136.37	c iter 334 time 135.841 not-muc 5725 unknown 7880 muc 308
136.30/136.37	c iter 335 time 135.844 not-muc 5725 unknown 7879 muc 309
136.30/136.37	c iter 336 time 135.846 not-muc 5725 unknown 7878 muc 310
136.30/136.37	c iter 337 time 135.848 not-muc 5725 unknown 7877 muc 311
136.30/136.37	c iter 338 time 135.851 not-muc 5725 unknown 7876 muc 312
136.30/136.37	c iter 339 time 135.853 not-muc 5725 unknown 7875 muc 313
136.30/136.37	c iter 340 time 135.856 not-muc 5725 unknown 7874 muc 314
136.30/136.37	c iter 341 time 135.866 not-muc 5725 unknown 7873 muc 315
136.30/136.37	c iter 342 time 135.869 not-muc 5725 unknown 7872 muc 316
136.30/136.37	c iter 343 time 135.875 not-muc 5725 unknown 7871 muc 317
136.30/136.37	c iter 344 time 135.877 not-muc 5725 unknown 7870 muc 318
136.30/136.37	c iter 345 time 135.88 not-muc 5725 unknown 7869 muc 319
136.30/136.37	c iter 346 time 135.882 not-muc 5725 unknown 7868 muc 320
136.30/136.37	c iter 347 time 135.884 not-muc 5725 unknown 7867 muc 321
136.30/136.37	c iter 348 time 135.887 not-muc 5725 unknown 7866 muc 322
136.30/136.37	c iter 349 time 135.889 not-muc 5725 unknown 7865 muc 323
136.30/136.37	c iter 350 time 135.891 not-muc 5725 unknown 7864 muc 324
136.30/136.37	c iter 351 time 135.906 not-muc 5725 unknown 7863 muc 325
136.30/136.37	c iter 352 time 135.913 not-muc 5725 unknown 7862 muc 326
136.30/136.37	c iter 353 time 135.916 not-muc 5725 unknown 7861 muc 327
136.30/136.37	c iter 354 time 135.918 not-muc 5725 unknown 7860 muc 328
136.30/136.37	c iter 355 time 135.921 not-muc 5725 unknown 7859 muc 329
136.30/136.37	c iter 356 time 135.925 not-muc 5725 unknown 7858 muc 330
136.30/136.37	c iter 357 time 135.928 not-muc 5725 unknown 7857 muc 331
136.49/136.58	c iter 358 time 135.93 not-muc 5725 unknown 7856 muc 332
136.49/136.58	c iter 359 time 135.933 not-muc 5725 unknown 7855 muc 333
136.49/136.58	c iter 360 time 135.936 not-muc 5725 unknown 7854 muc 334
136.49/136.58	c iter 361 time 135.938 not-muc 5725 unknown 7853 muc 335
136.49/136.58	c iter 362 time 135.941 not-muc 5725 unknown 7852 muc 336
136.49/136.58	c iter 363 time 135.944 not-muc 5725 unknown 7851 muc 337
136.49/136.58	c iter 364 time 135.946 not-muc 5725 unknown 7850 muc 338
136.49/136.58	c iter 365 time 135.948 not-muc 5725 unknown 7849 muc 339
136.49/136.58	c iter 366 time 135.951 not-muc 5725 unknown 7848 muc 340
136.49/136.58	c iter 367 time 135.953 not-muc 5725 unknown 7847 muc 341
136.49/136.58	c iter 368 time 135.956 not-muc 5725 unknown 7846 muc 342
136.49/136.58	c iter 369 time 135.958 not-muc 5725 unknown 7845 muc 343
136.49/136.58	c iter 370 time 135.96 not-muc 5725 unknown 7844 muc 344
136.49/136.58	c iter 371 time 135.979 not-muc 5725 unknown 7843 muc 345
136.49/136.58	c iter 372 time 135.983 not-muc 5725 unknown 7842 muc 346
136.49/136.58	c iter 373 time 135.985 not-muc 5725 unknown 7841 muc 347
136.49/136.58	c iter 374 time 135.988 not-muc 5725 unknown 7840 muc 348
136.49/136.58	c iter 375 time 135.991 not-muc 5725 unknown 7839 muc 349
136.49/136.58	c iter 376 time 135.993 not-muc 5725 unknown 7838 muc 350
136.49/136.58	c iter 377 time 135.997 not-muc 5725 unknown 7837 muc 351
136.49/136.58	c iter 378 time 136 not-muc 5725 unknown 7836 muc 352
136.49/136.58	c iter 379 time 136.002 not-muc 5725 unknown 7835 muc 353
136.49/136.58	c iter 380 time 136.004 not-muc 5725 unknown 7834 muc 354
136.49/136.58	c iter 381 time 136.007 not-muc 5725 unknown 7833 muc 355
136.49/136.58	c iter 382 time 136.009 not-muc 5725 unknown 7832 muc 356
136.49/136.58	c iter 383 time 136.011 not-muc 5725 unknown 7831 muc 357
136.49/136.58	c iter 384 time 136.014 not-muc 5725 unknown 7830 muc 358
136.49/136.58	c iter 385 time 136.016 not-muc 5725 unknown 7829 muc 359
136.49/136.58	c iter 386 time 136.018 not-muc 5725 unknown 7828 muc 360
136.49/136.58	c iter 387 time 136.021 not-muc 5725 unknown 7827 muc 361
136.49/136.58	c iter 388 time 136.023 not-muc 5725 unknown 7826 muc 362
136.49/136.58	c iter 389 time 136.025 not-muc 5725 unknown 7825 muc 363
136.49/136.58	c iter 390 time 136.027 not-muc 5725 unknown 7824 muc 364
136.49/136.58	c iter 391 time 136.03 not-muc 5725 unknown 7823 muc 365
136.49/136.58	c iter 392 time 136.032 not-muc 5725 unknown 7822 muc 366
136.49/136.58	c iter 393 time 136.034 not-muc 5725 unknown 7821 muc 367
136.49/136.58	c iter 394 time 136.037 not-muc 5725 unknown 7820 muc 368
136.49/136.58	c iter 395 time 136.039 not-muc 5725 unknown 7819 muc 369
136.49/136.58	c iter 396 time 136.041 not-muc 5725 unknown 7818 muc 370
136.49/136.58	c iter 397 time 136.043 not-muc 5725 unknown 7817 muc 371
136.49/136.58	c iter 398 time 136.046 not-muc 5725 unknown 7816 muc 372
136.49/136.58	c iter 399 time 136.048 not-muc 5725 unknown 7815 muc 373
136.49/136.58	c iter 400 time 136.051 not-muc 5725 unknown 7814 muc 374
136.49/136.58	c iter 401 time 136.053 not-muc 5725 unknown 7813 muc 375
136.49/136.58	c iter 402 time 136.055 not-muc 5725 unknown 7812 muc 376
136.49/136.58	c iter 403 time 136.058 not-muc 5725 unknown 7811 muc 377
136.49/136.58	c iter 404 time 136.06 not-muc 5725 unknown 7810 muc 378
136.49/136.58	c iter 405 time 136.063 not-muc 5725 unknown 7809 muc 379
136.49/136.58	c iter 406 time 136.065 not-muc 5725 unknown 7808 muc 380
136.49/136.58	c iter 407 time 136.067 not-muc 5725 unknown 7807 muc 381
136.49/136.58	c iter 408 time 136.069 not-muc 5725 unknown 7806 muc 382
136.49/136.58	c iter 409 time 136.072 not-muc 5725 unknown 7805 muc 383
136.49/136.58	c iter 410 time 136.074 not-muc 5725 unknown 7804 muc 384
136.49/136.58	c iter 411 time 136.076 not-muc 5725 unknown 7803 muc 385
136.49/136.58	c iter 412 time 136.079 not-muc 5725 unknown 7802 muc 386
136.49/136.58	c iter 413 time 136.081 not-muc 5725 unknown 7801 muc 387
136.49/136.58	c iter 414 time 136.083 not-muc 5725 unknown 7800 muc 388
136.49/136.58	c iter 415 time 136.091 not-muc 5725 unknown 7799 muc 389
136.49/136.58	c iter 416 time 136.094 not-muc 5725 unknown 7798 muc 390
136.49/136.58	c iter 417 time 136.099 not-muc 5725 unknown 7797 muc 391
136.49/136.58	c iter 418 time 136.105 not-muc 5725 unknown 7796 muc 392
136.49/136.58	c iter 419 time 136.11 not-muc 5725 unknown 7795 muc 393
136.49/136.58	c iter 420 time 136.113 not-muc 5725 unknown 7794 muc 394
136.49/136.58	c iter 421 time 136.121 not-muc 5725 unknown 7793 muc 395
136.49/136.58	c iter 422 time 136.123 not-muc 5725 unknown 7792 muc 396
136.49/136.58	c iter 423 time 136.126 not-muc 5725 unknown 7791 muc 397
136.49/136.58	c iter 424 time 136.128 not-muc 5725 unknown 7790 muc 398
136.49/136.58	c iter 425 time 136.13 not-muc 5725 unknown 7789 muc 399
136.49/136.58	c iter 426 time 136.133 not-muc 5725 unknown 7788 muc 400
136.49/136.58	c iter 427 time 136.135 not-muc 5725 unknown 7787 muc 401
136.49/136.58	c iter 428 time 136.137 not-muc 5725 unknown 7786 muc 402
140.89/140.95	c iter 429 time 136.14 not-muc 5725 unknown 7785 muc 403
140.89/140.95	c iter 430 time 136.142 not-muc 5725 unknown 7784 muc 404
140.89/140.95	c iter 431 time 136.144 not-muc 5725 unknown 7783 muc 405
140.89/140.95	c iter 432 time 136.147 not-muc 5725 unknown 7782 muc 406
140.89/140.95	c iter 433 time 136.149 not-muc 5725 unknown 7781 muc 407
140.89/140.95	c iter 434 time 136.156 not-muc 5725 unknown 7780 muc 408
140.89/140.95	c iter 435 time 136.158 not-muc 5725 unknown 7779 muc 409
140.89/140.95	c iter 436 time 136.161 not-muc 5725 unknown 7778 muc 410
140.89/140.95	c iter 437 time 136.163 not-muc 5725 unknown 7777 muc 411
140.89/140.95	c iter 438 time 136.165 not-muc 5725 unknown 7776 muc 412
140.89/140.95	c iter 439 time 136.168 not-muc 5725 unknown 7775 muc 413
140.89/140.95	c iter 440 time 136.17 not-muc 5725 unknown 7774 muc 414
140.89/140.95	c iter 441 time 136.172 not-muc 5725 unknown 7773 muc 415
140.89/140.95	c iter 442 time 136.175 not-muc 5725 unknown 7772 muc 416
140.89/140.95	c iter 443 time 136.177 not-muc 5725 unknown 7771 muc 417
140.89/140.95	c iter 444 time 136.179 not-muc 5725 unknown 7770 muc 418
140.89/140.95	c iter 445 time 136.181 not-muc 5725 unknown 7769 muc 419
140.89/140.95	c iter 446 time 136.184 not-muc 5725 unknown 7768 muc 420
140.89/140.95	c iter 447 time 136.186 not-muc 5725 unknown 7767 muc 421
140.89/140.95	c iter 448 time 136.188 not-muc 5725 unknown 7766 muc 422
140.89/140.95	c iter 449 time 136.19 not-muc 5725 unknown 7765 muc 423
140.89/140.95	c iter 450 time 136.193 not-muc 5725 unknown 7764 muc 424
140.89/140.95	c iter 451 time 136.196 not-muc 5725 unknown 7763 muc 425
140.89/140.95	c iter 452 time 136.198 not-muc 5725 unknown 7762 muc 426
140.89/140.95	c iter 453 time 136.201 not-muc 5725 unknown 7761 muc 427
140.89/140.95	c iter 454 time 136.203 not-muc 5725 unknown 7760 muc 428
140.89/140.95	c iter 455 time 136.206 not-muc 5725 unknown 7759 muc 429
140.89/140.95	c iter 456 time 136.208 not-muc 5725 unknown 7758 muc 430
140.89/140.95	c iter 457 time 136.211 not-muc 5725 unknown 7757 muc 431
140.89/140.95	c iter 458 time 136.213 not-muc 5725 unknown 7756 muc 432
140.89/140.95	c iter 459 time 136.215 not-muc 5725 unknown 7755 muc 433
140.89/140.95	c iter 460 time 136.218 not-muc 5725 unknown 7754 muc 434
140.89/140.95	c iter 461 time 136.22 not-muc 5725 unknown 7753 muc 435
140.89/140.95	c iter 462 time 136.223 not-muc 5725 unknown 7752 muc 436
140.89/140.95	c iter 463 time 136.225 not-muc 5725 unknown 7751 muc 437
140.89/140.95	c iter 464 time 136.227 not-muc 5725 unknown 7750 muc 438
140.89/140.95	c iter 465 time 136.23 not-muc 5725 unknown 7749 muc 439
140.89/140.95	c iter 466 time 136.232 not-muc 5725 unknown 7748 muc 440
140.89/140.95	c iter 467 time 136.235 not-muc 5725 unknown 7747 muc 441
140.89/140.95	c iter 468 time 136.237 not-muc 5725 unknown 7746 muc 442
140.89/140.95	c iter 469 time 136.239 not-muc 5725 unknown 7745 muc 443
140.89/140.95	c iter 470 time 136.242 not-muc 5725 unknown 7744 muc 444
140.89/140.95	c iter 471 time 136.244 not-muc 5725 unknown 7743 muc 445
140.89/140.95	c iter 472 time 136.247 not-muc 5725 unknown 7742 muc 446
140.89/140.95	c iter 473 time 136.249 not-muc 5725 unknown 7741 muc 447
140.89/140.95	c iter 474 time 136.252 not-muc 5725 unknown 7740 muc 448
140.89/140.95	c iter 475 time 136.254 not-muc 5725 unknown 7739 muc 449
140.89/140.95	c iter 476 time 136.256 not-muc 5725 unknown 7738 muc 450
140.89/140.95	c iter 477 time 136.259 not-muc 5725 unknown 7737 muc 451
140.89/140.95	c iter 478 time 136.261 not-muc 5725 unknown 7736 muc 452
140.89/140.95	c iter 479 time 136.263 not-muc 5725 unknown 7735 muc 453
140.89/140.95	c iter 480 time 136.266 not-muc 5725 unknown 7734 muc 454
140.89/140.95	c iter 481 time 136.269 not-muc 5725 unknown 7733 muc 455
140.89/140.95	c iter 482 time 136.272 not-muc 5725 unknown 7732 muc 456
140.89/140.95	c iter 483 time 136.274 not-muc 5725 unknown 7731 muc 457
140.89/140.95	c iter 484 time 136.277 not-muc 5725 unknown 7730 muc 458
140.89/140.95	c iter 485 time 136.279 not-muc 5725 unknown 7729 muc 459
140.89/140.95	c iter 486 time 136.282 not-muc 5725 unknown 7728 muc 460
140.89/140.95	c iter 487 time 140.294 not-muc 5726 unknown 7727 muc 460
140.89/140.95	c iter 488 time 140.331 not-muc 5726 unknown 7726 muc 461
140.89/140.95	c iter 489 time 140.347 not-muc 5726 unknown 7725 muc 462
140.89/140.95	c iter 490 time 140.364 not-muc 5726 unknown 7724 muc 463
140.89/140.95	c iter 491 time 140.38 not-muc 5726 unknown 7723 muc 464
140.89/140.95	c iter 492 time 140.397 not-muc 5726 unknown 7722 muc 465
140.89/140.95	c iter 493 time 140.413 not-muc 5726 unknown 7721 muc 466
140.89/140.95	c iter 494 time 140.429 not-muc 5726 unknown 7720 muc 467
140.89/140.95	c iter 495 time 140.445 not-muc 5726 unknown 7719 muc 468
140.89/140.95	c iter 496 time 140.461 not-muc 5726 unknown 7718 muc 469
140.89/140.95	c iter 497 time 140.478 not-muc 5726 unknown 7717 muc 470
140.89/140.95	c iter 498 time 140.495 not-muc 5726 unknown 7716 muc 471
483.50/483.58	c iter 499 time 140.513 not-muc 5726 unknown 7715 muc 472
483.50/483.58	c iter 500 time 140.531 not-muc 5726 unknown 7714 muc 473
483.50/483.58	c iter 501 time 140.551 not-muc 5726 unknown 7713 muc 474
483.50/483.58	c iter 502 time 140.567 not-muc 5726 unknown 7712 muc 475
483.50/483.58	c iter 503 time 140.583 not-muc 5726 unknown 7711 muc 476
483.50/483.58	c iter 504 time 140.599 not-muc 5726 unknown 7710 muc 477
483.50/483.58	c iter 505 time 140.615 not-muc 5726 unknown 7709 muc 478
483.50/483.58	c iter 506 time 140.632 not-muc 5726 unknown 7708 muc 479
483.50/483.58	c iter 507 time 140.648 not-muc 5726 unknown 7707 muc 480
483.50/483.58	c iter 508 time 140.665 not-muc 5726 unknown 7706 muc 481
483.50/483.58	c iter 509 time 140.682 not-muc 5726 unknown 7705 muc 482
483.50/483.58	c iter 510 time 140.7 not-muc 5726 unknown 7704 muc 483
483.50/483.58	c iter 511 time 140.716 not-muc 5726 unknown 7703 muc 484
483.50/483.58	c iter 512 time 140.733 not-muc 5726 unknown 7702 muc 485
483.50/483.58	c iter 513 time 140.783 not-muc 5726 unknown 7701 muc 486
483.50/483.58	c iter 514 time 140.826 not-muc 5726 unknown 7700 muc 487
483.50/483.58	c iter 515 time 140.875 not-muc 5726 unknown 7699 muc 488
483.50/483.58	c iter 516 time 148.402 not-muc 5753 unknown 7672 muc 488
483.50/483.58	c iter 517 time 148.515 not-muc 5753 unknown 7671 muc 489
483.50/483.58	c iter 518 time 148.548 not-muc 5753 unknown 7670 muc 490
483.50/483.58	c iter 519 time 148.581 not-muc 5753 unknown 7669 muc 491
483.50/483.58	c iter 520 time 148.591 not-muc 5753 unknown 7668 muc 492
483.50/483.58	c iter 521 time 148.623 not-muc 5753 unknown 7667 muc 493
483.50/483.58	c iter 522 time 150.431 not-muc 5753 unknown 7666 muc 494
483.50/483.58	c iter 523 time 158.081 not-muc 5754 unknown 7665 muc 494
483.50/483.58	c iter 524 time 159.564 not-muc 5754 unknown 7664 muc 495
483.50/483.58	c iter 525 time 159.577 not-muc 5754 unknown 7663 muc 496
483.50/483.58	c iter 526 time 166.724 not-muc 5756 unknown 7661 muc 496
483.50/483.58	c iter 527 time 168.396 not-muc 5756 unknown 7660 muc 497
483.50/483.58	c iter 528 time 168.418 not-muc 5756 unknown 7659 muc 498
483.50/483.58	c iter 529 time 196.87 not-muc 5765 unknown 7650 muc 498
483.50/483.58	c iter 530 time 237.428 not-muc 5769 unknown 7646 muc 498
483.50/483.58	c iter 531 time 259.13 not-muc 5773 unknown 7642 muc 498
483.50/483.58	c iter 532 time 302.068 not-muc 5780 unknown 7635 muc 498
483.50/483.58	c iter 533 time 324.798 not-muc 5781 unknown 7634 muc 498
483.50/483.58	c iter 534 time 417.534 not-muc 5785 unknown 7630 muc 498
483.50/483.58	c iter 535 time 417.914 not-muc 5785 unknown 7629 muc 499
483.50/483.58	c iter 536 time 418.115 not-muc 5785 unknown 7628 muc 500
483.50/483.58	c iter 537 time 418.313 not-muc 5785 unknown 7627 muc 501
483.50/483.58	c iter 538 time 418.517 not-muc 5785 unknown 7626 muc 502
483.50/483.58	c iter 539 time 418.727 not-muc 5785 unknown 7625 muc 503
483.50/483.58	c iter 540 time 418.928 not-muc 5785 unknown 7624 muc 504
483.50/483.58	c iter 541 time 419.134 not-muc 5785 unknown 7623 muc 505
483.50/483.58	c iter 542 time 419.331 not-muc 5785 unknown 7622 muc 506
483.50/483.58	c iter 543 time 426.557 not-muc 5788 unknown 7619 muc 506
483.50/483.58	c iter 544 time 433.731 not-muc 5794 unknown 7613 muc 506
483.50/483.58	c iter 545 time 434.078 not-muc 5794 unknown 7612 muc 507
483.50/483.58	c iter 546 time 434.088 not-muc 5794 unknown 7611 muc 508
483.50/483.58	c iter 547 time 434.091 not-muc 5794 unknown 7610 muc 509
483.50/483.58	c iter 548 time 434.093 not-muc 5794 unknown 7609 muc 510
483.50/483.58	c iter 549 time 434.095 not-muc 5794 unknown 7608 muc 511
483.50/483.58	c iter 550 time 434.097 not-muc 5794 unknown 7607 muc 512
483.50/483.58	c iter 551 time 434.099 not-muc 5794 unknown 7606 muc 513
483.50/483.58	c iter 552 time 434.101 not-muc 5794 unknown 7605 muc 514
483.50/483.58	c iter 553 time 434.104 not-muc 5794 unknown 7604 muc 515
483.50/483.58	c iter 554 time 434.106 not-muc 5794 unknown 7603 muc 516
483.50/483.58	c iter 555 time 434.108 not-muc 5794 unknown 7602 muc 517
483.50/483.58	c iter 556 time 434.11 not-muc 5794 unknown 7601 muc 518
483.50/483.58	c iter 557 time 434.113 not-muc 5794 unknown 7600 muc 519
483.50/483.58	c iter 558 time 434.115 not-muc 5794 unknown 7599 muc 520
483.50/483.58	c iter 559 time 434.117 not-muc 5794 unknown 7598 muc 521
483.50/483.58	c iter 560 time 434.12 not-muc 5794 unknown 7597 muc 522
483.50/483.58	c iter 561 time 441.395 not-muc 5829 unknown 7562 muc 522
483.50/483.58	c iter 562 time 441.529 not-muc 5829 unknown 7561 muc 523
483.50/483.58	c iter 563 time 441.533 not-muc 5829 unknown 7560 muc 524
483.50/483.58	c iter 564 time 441.535 not-muc 5829 unknown 7559 muc 525
483.50/483.58	c iter 565 time 441.536 not-muc 5829 unknown 7558 muc 526
483.50/483.58	c iter 566 time 447.719 not-muc 5831 unknown 7556 muc 526
483.50/483.58	c iter 567 time 451.695 not-muc 5831 unknown 7555 muc 527
483.50/483.58	c iter 568 time 463.727 not-muc 5847 unknown 7539 muc 527
483.50/483.58	c iter 569 time 482.596 not-muc 5865 unknown 7521 muc 527
885.51/885.54	c iter 570 time 482.815 not-muc 5865 unknown 7520 muc 528
885.51/885.54	c iter 571 time 487.624 not-muc 5868 unknown 7517 muc 528
885.51/885.54	c iter 572 time 492.977 not-muc 5872 unknown 7513 muc 528
885.51/885.54	c iter 573 time 493.157 not-muc 5872 unknown 7512 muc 529
885.51/885.54	c iter 574 time 551.655 not-muc 5874 unknown 7510 muc 529
885.51/885.54	c iter 575 time 569.494 not-muc 5877 unknown 7507 muc 529
885.51/885.54	c iter 576 time 571.612 not-muc 5877 unknown 7506 muc 530
885.51/885.54	c iter 577 time 593.029 not-muc 5885 unknown 7498 muc 530
885.51/885.54	c iter 578 time 599.962 not-muc 5964 unknown 7419 muc 530
885.51/885.54	c iter 579 time 600.165 not-muc 5964 unknown 7418 muc 531
885.51/885.54	c iter 580 time 680.631 not-muc 5986 unknown 7396 muc 531
885.51/885.54	c iter 581 time 687.404 not-muc 5988 unknown 7394 muc 531
885.51/885.54	c iter 582 time 687.534 not-muc 5988 unknown 7393 muc 532
885.51/885.54	c iter 583 time 687.622 not-muc 5988 unknown 7392 muc 533
885.51/885.54	c iter 584 time 693.876 not-muc 6003 unknown 7377 muc 533
885.51/885.54	c iter 585 time 695.701 not-muc 6003 unknown 7376 muc 534
885.51/885.54	c iter 586 time 695.711 not-muc 6003 unknown 7375 muc 535
885.51/885.54	c iter 587 time 702.299 not-muc 6008 unknown 7370 muc 535
885.51/885.54	c iter 588 time 707.928 not-muc 6009 unknown 7369 muc 535
885.51/885.54	c iter 589 time 708.602 not-muc 6009 unknown 7368 muc 536
885.51/885.54	c iter 590 time 708.62 not-muc 6009 unknown 7367 muc 537
885.51/885.54	c iter 591 time 708.628 not-muc 6009 unknown 7366 muc 538
885.51/885.54	c iter 592 time 708.637 not-muc 6009 unknown 7365 muc 539
885.51/885.54	c iter 593 time 708.645 not-muc 6009 unknown 7364 muc 540
885.51/885.54	c iter 594 time 708.654 not-muc 6009 unknown 7363 muc 541
885.51/885.54	c iter 595 time 708.662 not-muc 6009 unknown 7362 muc 542
885.51/885.54	c iter 596 time 708.671 not-muc 6009 unknown 7361 muc 543
885.51/885.54	c iter 597 time 708.68 not-muc 6009 unknown 7360 muc 544
885.51/885.54	c iter 598 time 717.925 not-muc 6011 unknown 7358 muc 544
885.51/885.54	c iter 599 time 718.128 not-muc 6011 unknown 7357 muc 545
885.51/885.54	c iter 600 time 718.135 not-muc 6011 unknown 7356 muc 546
885.51/885.54	c iter 601 time 721.587 not-muc 6012 unknown 7355 muc 546
885.51/885.54	c iter 602 time 721.628 not-muc 6012 unknown 7354 muc 547
885.51/885.54	c iter 603 time 721.644 not-muc 6012 unknown 7353 muc 548
885.51/885.54	c iter 604 time 726.877 not-muc 6014 unknown 7351 muc 548
885.51/885.54	c iter 605 time 732.155 not-muc 6016 unknown 7349 muc 548
885.51/885.54	c iter 606 time 732.51 not-muc 6016 unknown 7348 muc 549
885.51/885.54	c iter 607 time 732.524 not-muc 6016 unknown 7347 muc 550
885.51/885.54	c iter 608 time 739.097 not-muc 6017 unknown 7346 muc 550
885.51/885.54	c iter 609 time 742.642 not-muc 6018 unknown 7345 muc 550
885.51/885.54	c iter 610 time 744.133 not-muc 6018 unknown 7344 muc 551
885.51/885.54	c iter 611 time 744.214 not-muc 6018 unknown 7343 muc 552
885.51/885.54	c iter 612 time 753.345 not-muc 6019 unknown 7342 muc 552
885.51/885.54	c iter 613 time 758.269 not-muc 6023 unknown 7338 muc 552
885.51/885.54	c iter 614 time 758.502 not-muc 6023 unknown 7337 muc 553
885.51/885.54	c iter 615 time 758.513 not-muc 6023 unknown 7336 muc 554
885.51/885.54	c iter 616 time 758.517 not-muc 6023 unknown 7335 muc 555
885.51/885.54	c iter 617 time 758.524 not-muc 6023 unknown 7334 muc 556
885.51/885.54	c iter 618 time 766.783 not-muc 6024 unknown 7333 muc 556
885.51/885.54	c iter 619 time 775.461 not-muc 6026 unknown 7331 muc 556
885.51/885.54	c iter 620 time 775.59 not-muc 6026 unknown 7330 muc 557
885.51/885.54	c iter 621 time 775.601 not-muc 6026 unknown 7329 muc 558
885.51/885.54	c iter 622 time 782.367 not-muc 6027 unknown 7328 muc 558
885.51/885.54	c iter 623 time 782.53 not-muc 6027 unknown 7327 muc 559
885.51/885.54	c iter 624 time 782.546 not-muc 6027 unknown 7326 muc 560
885.51/885.54	c iter 625 time 782.561 not-muc 6027 unknown 7325 muc 561
885.51/885.54	c iter 626 time 782.576 not-muc 6027 unknown 7324 muc 562
885.51/885.54	c iter 627 time 782.591 not-muc 6027 unknown 7323 muc 563
885.51/885.54	c iter 628 time 782.606 not-muc 6027 unknown 7322 muc 564
885.51/885.54	c iter 629 time 797.943 not-muc 6028 unknown 7321 muc 564
885.51/885.54	c iter 630 time 812.115 not-muc 6034 unknown 7315 muc 564
885.51/885.54	c iter 631 time 815.755 not-muc 6034 unknown 7314 muc 565
885.51/885.54	c iter 632 time 815.858 not-muc 6034 unknown 7313 muc 566
885.51/885.54	c iter 633 time 824.645 not-muc 6035 unknown 7312 muc 566
885.51/885.54	c iter 634 time 839.58 not-muc 6037 unknown 7310 muc 566
885.51/885.54	c iter 635 time 841.366 not-muc 6037 unknown 7309 muc 567
885.51/885.54	c iter 636 time 841.388 not-muc 6037 unknown 7308 muc 568
885.51/885.54	c iter 637 time 854.073 not-muc 6038 unknown 7307 muc 568
885.51/885.54	c iter 638 time 856.776 not-muc 6038 unknown 7306 muc 569
885.51/885.54	c iter 639 time 856.793 not-muc 6038 unknown 7305 muc 570
885.51/885.54	c iter 640 time 883.949 not-muc 6041 unknown 7302 muc 570
1510.93/1510.90	c iter 641 time 904.79 not-muc 6043 unknown 7300 muc 570
1510.93/1510.90	c iter 642 time 907.125 not-muc 6043 unknown 7299 muc 571
1510.93/1510.90	c iter 643 time 907.173 not-muc 6043 unknown 7298 muc 572
1510.93/1510.90	c iter 644 time 924.055 not-muc 6044 unknown 7297 muc 572
1510.93/1510.90	c iter 645 time 924.412 not-muc 6044 unknown 7296 muc 573
1510.93/1510.90	c iter 646 time 924.422 not-muc 6044 unknown 7295 muc 574
1510.93/1510.90	c iter 647 time 946.766 not-muc 6046 unknown 7293 muc 574
1510.93/1510.90	c iter 648 time 947.337 not-muc 6046 unknown 7292 muc 575
1510.93/1510.90	c iter 649 time 947.715 not-muc 6046 unknown 7291 muc 576
1510.93/1510.90	c iter 650 time 947.909 not-muc 6046 unknown 7290 muc 577
1510.93/1510.90	c iter 651 time 948.007 not-muc 6046 unknown 7289 muc 578
1510.93/1510.90	c iter 652 time 977.99 not-muc 6065 unknown 7270 muc 578
1510.93/1510.90	c iter 653 time 1002.63 not-muc 6068 unknown 7267 muc 578
1510.93/1510.90	c iter 654 time 1003.64 not-muc 6068 unknown 7266 muc 579
1510.93/1510.90	c iter 655 time 1003.71 not-muc 6068 unknown 7265 muc 580
1510.93/1510.90	c iter 656 time 1037.07 not-muc 6070 unknown 7263 muc 580
1510.93/1510.90	c iter 657 time 1037.26 not-muc 6070 unknown 7262 muc 581
1510.93/1510.90	c iter 658 time 1037.31 not-muc 6070 unknown 7261 muc 582
1510.93/1510.90	c iter 659 time 1037.34 not-muc 6070 unknown 7260 muc 583
1510.93/1510.90	c iter 660 time 1037.38 not-muc 6070 unknown 7259 muc 584
1510.93/1510.90	c iter 661 time 1117.63 not-muc 6071 unknown 7258 muc 584
1510.93/1510.90	c iter 662 time 1118.11 not-muc 6071 unknown 7257 muc 585
1510.93/1510.90	c iter 663 time 1118.28 not-muc 6071 unknown 7256 muc 586
1510.93/1510.90	c iter 664 time 1177.16 not-muc 6075 unknown 7252 muc 586
1510.93/1510.90	c iter 665 time 1216.28 not-muc 6076 unknown 7251 muc 586
1510.93/1510.90	c iter 666 time 1216.58 not-muc 6076 unknown 7250 muc 587
1510.93/1510.90	c iter 667 time 1216.65 not-muc 6076 unknown 7249 muc 588
1510.93/1510.90	c iter 668 time 1306.29 not-muc 6077 unknown 7248 muc 588
1510.93/1510.90	c iter 669 time 1363.24 not-muc 6081 unknown 7244 muc 588
1510.93/1510.90	c iter 670 time 1363.59 not-muc 6081 unknown 7243 muc 589
1510.93/1510.90	c iter 671 time 1363.6 not-muc 6081 unknown 7242 muc 590
1510.93/1510.90	c iter 672 time 1363.6 not-muc 6081 unknown 7241 muc 591
1510.93/1510.90	c iter 673 time 1363.6 not-muc 6081 unknown 7240 muc 592
1510.93/1510.90	c iter 674 time 1406.33 not-muc 6082 unknown 7239 muc 592
1510.93/1510.90	c iter 675 time 1406.6 not-muc 6082 unknown 7238 muc 593
1510.93/1510.90	c iter 676 time 1406.61 not-muc 6082 unknown 7237 muc 594
1510.93/1510.90	c iter 677 time 1498.41 not-muc 6085 unknown 7234 muc 594
1510.93/1510.90	c iter 678 time 1500.43 not-muc 6085 unknown 7233 muc 595
1510.93/1510.90	c iter 679 time 1501.46 not-muc 6085 unknown 7232 muc 596
1510.93/1510.90	c iter 680 time 1501.76 not-muc 6085 unknown 7231 muc 597
1510.93/1510.90	c iter 681 time 1502.06 not-muc 6085 unknown 7230 muc 598
1510.93/1510.90	c iter 682 time 1502.36 not-muc 6085 unknown 7229 muc 599
1510.93/1510.90	c iter 683 time 1502.68 not-muc 6085 unknown 7228 muc 600
1510.93/1510.90	c iter 684 time 1502.98 not-muc 6085 unknown 7227 muc 601
1510.93/1510.90	c iter 685 time 1503.28 not-muc 6085 unknown 7226 muc 602
1510.93/1510.90	c iter 686 time 1503.59 not-muc 6085 unknown 7225 muc 603
1510.93/1510.90	c iter 687 time 1503.89 not-muc 6085 unknown 7224 muc 604
1510.93/1510.90	c iter 688 time 1504.19 not-muc 6085 unknown 7223 muc 605
1510.93/1510.90	c iter 689 time 1504.49 not-muc 6085 unknown 7222 muc 606
1510.93/1510.90	c iter 690 time 1508.04 not-muc 6150 unknown 7157 muc 606
1510.93/1510.90	c iter 691 time 1508.43 not-muc 6150 unknown 7156 muc 607
1510.93/1510.90	c iter 692 time 1508.43 not-muc 6150 unknown 7155 muc 608
1510.93/1510.90	c iter 693 time 1508.43 not-muc 6150 unknown 7154 muc 609
1510.93/1510.90	c iter 694 time 1508.43 not-muc 6150 unknown 7153 muc 610
1510.93/1510.90	c iter 695 time 1508.44 not-muc 6150 unknown 7152 muc 611
1510.93/1510.90	c iter 696 time 1508.44 not-muc 6150 unknown 7151 muc 612
1510.93/1510.90	c iter 697 time 1508.45 not-muc 6150 unknown 7150 muc 613
1510.93/1510.90	c iter 698 time 1508.45 not-muc 6150 unknown 7149 muc 614
1510.93/1510.90	c iter 699 time 1508.46 not-muc 6150 unknown 7148 muc 615
1510.93/1510.90	c iter 700 time 1508.52 not-muc 6180 unknown 7118 muc 615
1510.93/1510.90	c iter 701 time 1508.53 not-muc 6180 unknown 7117 muc 616
1510.93/1510.90	c iter 702 time 1508.53 not-muc 6180 unknown 7116 muc 617
1510.93/1510.90	c iter 703 time 1508.53 not-muc 6180 unknown 7115 muc 618
1510.93/1510.90	c iter 704 time 1508.53 not-muc 6180 unknown 7114 muc 619
1510.93/1510.90	c iter 705 time 1508.54 not-muc 6180 unknown 7113 muc 620
1510.93/1510.90	c iter 706 time 1508.54 not-muc 6180 unknown 7112 muc 621
1510.93/1510.90	c iter 707 time 1508.54 not-muc 6180 unknown 7111 muc 622
1510.93/1510.90	c iter 708 time 1508.55 not-muc 6180 unknown 7110 muc 623
1510.93/1510.90	c iter 709 time 1508.55 not-muc 6180 unknown 7109 muc 624
1510.93/1510.90	c iter 710 time 1508.55 not-muc 6180 unknown 7108 muc 625
1526.73/1526.74	c iter 711 time 1508.55 not-muc 6180 unknown 7107 muc 626
1526.73/1526.74	c iter 712 time 1508.55 not-muc 6180 unknown 7106 muc 627
1526.73/1526.74	c iter 713 time 1508.56 not-muc 6180 unknown 7105 muc 628
1526.73/1526.74	c iter 714 time 1508.56 not-muc 6180 unknown 7104 muc 629
1526.73/1526.74	c iter 715 time 1508.56 not-muc 6180 unknown 7103 muc 630
1526.73/1526.74	c iter 716 time 1508.56 not-muc 6180 unknown 7102 muc 631
1526.73/1526.74	c iter 717 time 1508.57 not-muc 6180 unknown 7101 muc 632
1526.73/1526.74	c iter 718 time 1508.57 not-muc 6180 unknown 7100 muc 633
1526.73/1526.74	c iter 719 time 1508.57 not-muc 6180 unknown 7099 muc 634
1526.73/1526.74	c iter 720 time 1508.57 not-muc 6180 unknown 7098 muc 635
1526.73/1526.74	c iter 721 time 1508.57 not-muc 6180 unknown 7097 muc 636
1526.73/1526.74	c iter 722 time 1508.58 not-muc 6180 unknown 7096 muc 637
1526.73/1526.74	c iter 723 time 1508.58 not-muc 6180 unknown 7095 muc 638
1526.73/1526.74	c iter 724 time 1508.58 not-muc 6180 unknown 7094 muc 639
1526.73/1526.74	c iter 725 time 1508.59 not-muc 6180 unknown 7093 muc 640
1526.73/1526.74	c iter 726 time 1508.59 not-muc 6180 unknown 7092 muc 641
1526.73/1526.74	c iter 727 time 1508.59 not-muc 6180 unknown 7091 muc 642
1526.73/1526.74	c iter 728 time 1508.59 not-muc 6180 unknown 7090 muc 643
1526.73/1526.74	c iter 729 time 1508.6 not-muc 6180 unknown 7089 muc 644
1526.73/1526.74	c iter 730 time 1508.6 not-muc 6180 unknown 7088 muc 645
1526.73/1526.74	c iter 731 time 1508.6 not-muc 6180 unknown 7087 muc 646
1526.73/1526.74	c iter 732 time 1508.6 not-muc 6180 unknown 7086 muc 647
1526.73/1526.74	c iter 733 time 1508.6 not-muc 6180 unknown 7085 muc 648
1526.73/1526.74	c iter 734 time 1508.61 not-muc 6180 unknown 7084 muc 649
1526.73/1526.74	c iter 735 time 1508.61 not-muc 6180 unknown 7083 muc 650
1526.73/1526.74	c iter 736 time 1508.61 not-muc 6180 unknown 7082 muc 651
1526.73/1526.74	c iter 737 time 1508.61 not-muc 6180 unknown 7081 muc 652
1526.73/1526.74	c iter 738 time 1508.62 not-muc 6180 unknown 7080 muc 653
1526.73/1526.74	c iter 739 time 1508.62 not-muc 6180 unknown 7079 muc 654
1526.73/1526.74	c iter 740 time 1508.62 not-muc 6180 unknown 7078 muc 655
1526.73/1526.74	c iter 741 time 1508.62 not-muc 6180 unknown 7077 muc 656
1526.73/1526.74	c iter 742 time 1508.62 not-muc 6180 unknown 7076 muc 657
1526.73/1526.74	c iter 743 time 1508.63 not-muc 6180 unknown 7075 muc 658
1526.73/1526.74	c iter 744 time 1508.63 not-muc 6180 unknown 7074 muc 659
1526.73/1526.74	c iter 745 time 1508.63 not-muc 6180 unknown 7073 muc 660
1526.73/1526.74	c iter 746 time 1508.63 not-muc 6180 unknown 7072 muc 661
1526.73/1526.74	c iter 747 time 1508.64 not-muc 6180 unknown 7071 muc 662
1526.73/1526.74	c iter 748 time 1517.45 not-muc 6230 unknown 7021 muc 662
1526.73/1526.74	c iter 749 time 1524.2 not-muc 6234 unknown 7017 muc 662
1526.73/1526.74	c iter 750 time 1524.34 not-muc 6234 unknown 7016 muc 663
1526.73/1526.74	c iter 751 time 1524.34 not-muc 6234 unknown 7015 muc 664
1526.73/1526.74	c iter 752 time 1524.34 not-muc 6234 unknown 7014 muc 665
1526.73/1526.74	c iter 753 time 1524.34 not-muc 6234 unknown 7013 muc 666
1526.73/1526.74	c iter 754 time 1524.34 not-muc 6234 unknown 7012 muc 667
1526.73/1526.74	c iter 755 time 1524.34 not-muc 6234 unknown 7011 muc 668
1526.73/1526.74	c iter 756 time 1524.34 not-muc 6234 unknown 7010 muc 669
1526.73/1526.74	c iter 757 time 1524.34 not-muc 6234 unknown 7009 muc 670
1526.73/1526.74	c iter 758 time 1524.35 not-muc 6234 unknown 7008 muc 671
1526.73/1526.74	c iter 759 time 1524.35 not-muc 6234 unknown 7007 muc 672
1526.73/1526.74	c iter 760 time 1524.35 not-muc 6234 unknown 7006 muc 673
1526.73/1526.74	c iter 761 time 1524.35 not-muc 6234 unknown 7005 muc 674
1526.73/1526.74	c iter 762 time 1524.35 not-muc 6234 unknown 7004 muc 675
1526.73/1526.74	c iter 763 time 1524.35 not-muc 6234 unknown 7003 muc 676
1526.73/1526.74	c iter 764 time 1524.35 not-muc 6234 unknown 7002 muc 677
1526.73/1526.74	c iter 765 time 1524.35 not-muc 6234 unknown 7001 muc 678
1526.73/1526.74	c iter 766 time 1524.35 not-muc 6234 unknown 7000 muc 679
1526.73/1526.74	c iter 767 time 1524.35 not-muc 6234 unknown 6999 muc 680
1526.73/1526.74	c iter 768 time 1524.35 not-muc 6234 unknown 6998 muc 681
1526.73/1526.74	c iter 769 time 1524.36 not-muc 6234 unknown 6997 muc 682
1526.73/1526.74	c iter 770 time 1524.36 not-muc 6234 unknown 6996 muc 683
1526.73/1526.74	c iter 771 time 1524.36 not-muc 6234 unknown 6995 muc 684
1526.73/1526.74	c iter 772 time 1524.36 not-muc 6234 unknown 6994 muc 685
1526.73/1526.74	c iter 773 time 1524.36 not-muc 6234 unknown 6993 muc 686
1526.73/1526.74	c iter 774 time 1524.36 not-muc 6234 unknown 6992 muc 687
1526.73/1526.74	c iter 775 time 1524.36 not-muc 6234 unknown 6991 muc 688
1526.73/1526.74	c iter 776 time 1524.36 not-muc 6234 unknown 6990 muc 689
1526.73/1526.74	c iter 777 time 1524.36 not-muc 6234 unknown 6989 muc 690
1526.73/1526.74	c iter 778 time 1524.36 not-muc 6234 unknown 6988 muc 691
1526.73/1526.74	c iter 779 time 1524.37 not-muc 6234 unknown 6987 muc 692
1526.73/1526.74	c iter 780 time 1524.37 not-muc 6234 unknown 6986 muc 693
1526.73/1526.74	c iter 781 time 1524.37 not-muc 6234 unknown 6985 muc 694
1526.84/1526.81	c iter 782 time 1524.37 not-muc 6234 unknown 6984 muc 695
1526.84/1526.81	c iter 783 time 1524.37 not-muc 6234 unknown 6983 muc 696
1526.84/1526.81	c iter 784 time 1524.37 not-muc 6234 unknown 6982 muc 697
1526.84/1526.81	c iter 785 time 1524.37 not-muc 6234 unknown 6981 muc 698
1526.84/1526.81	c iter 786 time 1524.37 not-muc 6234 unknown 6980 muc 699
1526.84/1526.81	c iter 787 time 1524.37 not-muc 6234 unknown 6979 muc 700
1526.84/1526.81	c iter 788 time 1524.37 not-muc 6234 unknown 6978 muc 701
1526.84/1526.81	c iter 789 time 1524.37 not-muc 6234 unknown 6977 muc 702
1526.84/1526.81	c iter 790 time 1524.38 not-muc 6234 unknown 6976 muc 703
1526.84/1526.81	c iter 791 time 1524.38 not-muc 6234 unknown 6975 muc 704
1526.84/1526.81	c iter 792 time 1524.38 not-muc 6234 unknown 6974 muc 705
1526.84/1526.81	c iter 793 time 1524.38 not-muc 6234 unknown 6973 muc 706
1526.84/1526.81	c iter 794 time 1524.38 not-muc 6234 unknown 6972 muc 707
1526.84/1526.81	c iter 795 time 1524.38 not-muc 6234 unknown 6971 muc 708
1526.84/1526.81	c iter 796 time 1524.38 not-muc 6234 unknown 6970 muc 709
1526.84/1526.81	c iter 797 time 1524.38 not-muc 6234 unknown 6969 muc 710
1526.84/1526.81	c iter 798 time 1524.38 not-muc 6234 unknown 6968 muc 711
1526.84/1526.81	c iter 799 time 1524.38 not-muc 6234 unknown 6967 muc 712
1526.84/1526.81	c iter 800 time 1524.38 not-muc 6234 unknown 6966 muc 713
1526.84/1526.81	c iter 801 time 1524.39 not-muc 6234 unknown 6965 muc 714
1526.84/1526.81	c iter 802 time 1524.39 not-muc 6234 unknown 6964 muc 715
1526.84/1526.81	c iter 803 time 1524.39 not-muc 6234 unknown 6963 muc 716
1526.84/1526.81	c iter 804 time 1524.39 not-muc 6234 unknown 6962 muc 717
1526.84/1526.81	c iter 805 time 1524.39 not-muc 6234 unknown 6961 muc 718
1526.84/1526.81	c iter 806 time 1524.39 not-muc 6234 unknown 6960 muc 719
1526.84/1526.81	c iter 807 time 1524.39 not-muc 6234 unknown 6959 muc 720
1526.84/1526.81	c iter 808 time 1524.39 not-muc 6234 unknown 6958 muc 721
1526.84/1526.81	c iter 809 time 1524.39 not-muc 6234 unknown 6957 muc 722
1526.84/1526.81	c iter 810 time 1524.39 not-muc 6234 unknown 6956 muc 723
1526.84/1526.81	c iter 811 time 1524.4 not-muc 6234 unknown 6955 muc 724
1526.84/1526.81	c iter 812 time 1524.4 not-muc 6234 unknown 6954 muc 725
1526.84/1526.81	c iter 813 time 1524.4 not-muc 6234 unknown 6953 muc 726
1526.84/1526.81	c iter 814 time 1524.4 not-muc 6234 unknown 6952 muc 727
1526.84/1526.81	c iter 815 time 1524.4 not-muc 6234 unknown 6951 muc 728
1526.84/1526.81	c iter 816 time 1524.4 not-muc 6234 unknown 6950 muc 729
1526.84/1526.81	c iter 817 time 1524.4 not-muc 6234 unknown 6949 muc 730
1526.84/1526.81	c iter 818 time 1524.4 not-muc 6234 unknown 6948 muc 731
1526.84/1526.81	c iter 819 time 1524.4 not-muc 6234 unknown 6947 muc 732
1526.84/1526.81	c iter 820 time 1524.4 not-muc 6234 unknown 6946 muc 733
1526.84/1526.81	c iter 821 time 1524.4 not-muc 6234 unknown 6945 muc 734
1526.84/1526.81	c iter 822 time 1524.41 not-muc 6234 unknown 6944 muc 735
1526.84/1526.81	c iter 823 time 1524.41 not-muc 6234 unknown 6943 muc 736
1526.84/1526.81	c iter 824 time 1524.41 not-muc 6234 unknown 6942 muc 737
1526.84/1526.81	c iter 825 time 1524.41 not-muc 6234 unknown 6941 muc 738
1526.84/1526.81	c iter 826 time 1524.41 not-muc 6234 unknown 6940 muc 739
1526.84/1526.81	c iter 827 time 1524.41 not-muc 6234 unknown 6939 muc 740
1526.84/1526.81	c iter 828 time 1524.41 not-muc 6234 unknown 6938 muc 741
1526.84/1526.81	c iter 829 time 1524.41 not-muc 6234 unknown 6937 muc 742
1526.84/1526.81	c iter 830 time 1524.41 not-muc 6234 unknown 6936 muc 743
1526.84/1526.81	c iter 831 time 1524.41 not-muc 6234 unknown 6935 muc 744
1526.84/1526.81	c iter 832 time 1524.41 not-muc 6234 unknown 6934 muc 745
1526.84/1526.81	c iter 833 time 1524.42 not-muc 6234 unknown 6933 muc 746
1526.84/1526.81	c iter 834 time 1524.42 not-muc 6234 unknown 6932 muc 747
1526.84/1526.81	c iter 835 time 1524.42 not-muc 6234 unknown 6931 muc 748
1526.84/1526.81	c iter 836 time 1524.42 not-muc 6234 unknown 6930 muc 749
1526.84/1526.81	c iter 837 time 1524.42 not-muc 6234 unknown 6929 muc 750
1526.84/1526.81	c iter 838 time 1524.42 not-muc 6234 unknown 6928 muc 751
1526.84/1526.81	c iter 839 time 1524.42 not-muc 6234 unknown 6927 muc 752
1526.84/1526.81	c iter 840 time 1524.42 not-muc 6234 unknown 6926 muc 753
1526.84/1526.81	c iter 841 time 1524.42 not-muc 6234 unknown 6925 muc 754
1526.84/1526.81	c iter 842 time 1524.42 not-muc 6234 unknown 6924 muc 755
1526.84/1526.81	c iter 843 time 1524.42 not-muc 6234 unknown 6923 muc 756
1526.84/1526.81	c iter 844 time 1524.43 not-muc 6234 unknown 6922 muc 757
1526.84/1526.81	c iter 845 time 1524.43 not-muc 6234 unknown 6921 muc 758
1526.84/1526.81	c iter 846 time 1524.43 not-muc 6234 unknown 6920 muc 759
1526.84/1526.81	c iter 847 time 1524.43 not-muc 6234 unknown 6919 muc 760
1526.84/1526.81	c iter 848 time 1524.43 not-muc 6234 unknown 6918 muc 761
1526.84/1526.81	c iter 849 time 1524.43 not-muc 6234 unknown 6917 muc 762
1526.84/1526.81	c iter 850 time 1524.43 not-muc 6234 unknown 6916 muc 763
1526.84/1526.81	c iter 851 time 1524.43 not-muc 6234 unknown 6915 muc 764
1526.84/1526.81	c iter 852 time 1524.43 not-muc 6234 unknown 6914 muc 765
1535.03/1535.08	c iter 853 time 1524.43 not-muc 6234 unknown 6913 muc 766
1535.03/1535.08	c iter 854 time 1524.44 not-muc 6234 unknown 6912 muc 767
1535.03/1535.08	c iter 855 time 1524.44 not-muc 6234 unknown 6911 muc 768
1535.03/1535.08	c iter 856 time 1524.44 not-muc 6234 unknown 6910 muc 769
1535.03/1535.08	c iter 857 time 1524.44 not-muc 6234 unknown 6909 muc 770
1535.03/1535.08	c iter 858 time 1524.44 not-muc 6234 unknown 6908 muc 771
1535.03/1535.08	c iter 859 time 1524.44 not-muc 6234 unknown 6907 muc 772
1535.03/1535.08	c iter 860 time 1524.44 not-muc 6234 unknown 6906 muc 773
1535.03/1535.08	c iter 861 time 1524.44 not-muc 6234 unknown 6905 muc 774
1535.03/1535.08	c iter 862 time 1524.44 not-muc 6234 unknown 6904 muc 775
1535.03/1535.08	c iter 863 time 1524.44 not-muc 6234 unknown 6903 muc 776
1535.03/1535.08	c iter 864 time 1524.44 not-muc 6234 unknown 6902 muc 777
1535.03/1535.08	c iter 865 time 1524.45 not-muc 6234 unknown 6901 muc 778
1535.03/1535.08	c iter 866 time 1524.45 not-muc 6234 unknown 6900 muc 779
1535.03/1535.08	c iter 867 time 1524.45 not-muc 6234 unknown 6899 muc 780
1535.03/1535.08	c iter 868 time 1524.45 not-muc 6234 unknown 6898 muc 781
1535.03/1535.08	c iter 869 time 1524.45 not-muc 6234 unknown 6897 muc 782
1535.03/1535.08	c iter 870 time 1524.45 not-muc 6234 unknown 6896 muc 783
1535.03/1535.08	c iter 871 time 1524.45 not-muc 6234 unknown 6895 muc 784
1535.03/1535.08	c iter 872 time 1524.45 not-muc 6234 unknown 6894 muc 785
1535.03/1535.08	c iter 873 time 1524.45 not-muc 6234 unknown 6893 muc 786
1535.03/1535.08	c iter 874 time 1524.45 not-muc 6234 unknown 6892 muc 787
1535.03/1535.08	c iter 875 time 1524.45 not-muc 6234 unknown 6891 muc 788
1535.03/1535.08	c iter 876 time 1524.46 not-muc 6234 unknown 6890 muc 789
1535.03/1535.08	c iter 877 time 1524.46 not-muc 6234 unknown 6889 muc 790
1535.03/1535.08	c iter 878 time 1524.46 not-muc 6234 unknown 6888 muc 791
1535.03/1535.08	c iter 879 time 1524.46 not-muc 6234 unknown 6887 muc 792
1535.03/1535.08	c iter 880 time 1524.46 not-muc 6234 unknown 6886 muc 793
1535.03/1535.08	c iter 881 time 1524.46 not-muc 6234 unknown 6885 muc 794
1535.03/1535.08	c iter 882 time 1524.46 not-muc 6234 unknown 6884 muc 795
1535.03/1535.08	c iter 883 time 1524.46 not-muc 6234 unknown 6883 muc 796
1535.03/1535.08	c iter 884 time 1524.46 not-muc 6234 unknown 6882 muc 797
1535.03/1535.08	c iter 885 time 1524.47 not-muc 6234 unknown 6881 muc 798
1535.03/1535.08	c iter 886 time 1524.47 not-muc 6234 unknown 6880 muc 799
1535.03/1535.08	c iter 887 time 1524.47 not-muc 6234 unknown 6879 muc 800
1535.03/1535.08	c iter 888 time 1524.47 not-muc 6234 unknown 6878 muc 801
1535.03/1535.08	c iter 889 time 1524.47 not-muc 6234 unknown 6877 muc 802
1535.03/1535.08	c iter 890 time 1524.47 not-muc 6234 unknown 6876 muc 803
1535.03/1535.08	c iter 891 time 1532.63 not-muc 6241 unknown 6869 muc 803
1535.03/1535.08	c iter 892 time 1532.66 not-muc 6241 unknown 6868 muc 804
1535.03/1535.08	c iter 893 time 1532.66 not-muc 6241 unknown 6867 muc 805
1535.03/1535.08	c iter 894 time 1532.66 not-muc 6241 unknown 6866 muc 806
1535.03/1535.08	c iter 895 time 1532.66 not-muc 6241 unknown 6865 muc 807
1535.03/1535.08	c iter 896 time 1532.66 not-muc 6241 unknown 6864 muc 808
1535.03/1535.08	c iter 897 time 1532.66 not-muc 6241 unknown 6863 muc 809
1535.03/1535.08	c iter 898 time 1532.66 not-muc 6241 unknown 6862 muc 810
1535.03/1535.08	c iter 899 time 1532.66 not-muc 6241 unknown 6861 muc 811
1535.03/1535.08	c iter 900 time 1532.66 not-muc 6241 unknown 6860 muc 812
1535.03/1535.08	c iter 901 time 1532.67 not-muc 6241 unknown 6859 muc 813
1535.03/1535.08	c iter 902 time 1532.67 not-muc 6241 unknown 6858 muc 814
1535.03/1535.08	c iter 903 time 1532.67 not-muc 6241 unknown 6857 muc 815
1535.03/1535.08	c iter 904 time 1532.67 not-muc 6241 unknown 6856 muc 816
1535.03/1535.08	c iter 905 time 1532.67 not-muc 6241 unknown 6855 muc 817
1535.03/1535.08	c iter 906 time 1532.67 not-muc 6241 unknown 6854 muc 818
1535.03/1535.08	c iter 907 time 1532.67 not-muc 6241 unknown 6853 muc 819
1535.03/1535.08	c iter 908 time 1532.67 not-muc 6241 unknown 6852 muc 820
1535.03/1535.08	c iter 909 time 1532.67 not-muc 6241 unknown 6851 muc 821
1535.03/1535.08	c iter 910 time 1532.68 not-muc 6241 unknown 6850 muc 822
1535.03/1535.08	c iter 911 time 1532.68 not-muc 6241 unknown 6849 muc 823
1535.03/1535.08	c iter 912 time 1532.68 not-muc 6241 unknown 6848 muc 824
1535.03/1535.08	c iter 913 time 1532.68 not-muc 6241 unknown 6847 muc 825
1535.03/1535.08	c iter 914 time 1532.68 not-muc 6241 unknown 6846 muc 826
1535.03/1535.08	c iter 915 time 1532.68 not-muc 6241 unknown 6845 muc 827
1535.03/1535.08	c iter 916 time 1532.68 not-muc 6241 unknown 6844 muc 828
1535.03/1535.08	c iter 917 time 1532.68 not-muc 6241 unknown 6843 muc 829
1535.03/1535.08	c iter 918 time 1532.69 not-muc 6241 unknown 6842 muc 830
1535.03/1535.08	c iter 919 time 1532.69 not-muc 6241 unknown 6841 muc 831
1535.03/1535.08	c iter 920 time 1532.69 not-muc 6241 unknown 6840 muc 832
1535.03/1535.08	c iter 921 time 1532.69 not-muc 6241 unknown 6839 muc 833
1535.03/1535.08	c iter 922 time 1532.69 not-muc 6241 unknown 6838 muc 834
1535.03/1535.08	c iter 923 time 1532.7 not-muc 6241 unknown 6837 muc 835
1535.33/1535.35	c iter 924 time 1532.7 not-muc 6241 unknown 6836 muc 836
1535.33/1535.35	c iter 925 time 1532.7 not-muc 6241 unknown 6835 muc 837
1535.33/1535.35	c iter 926 time 1532.7 not-muc 6241 unknown 6834 muc 838
1535.33/1535.35	c iter 927 time 1532.7 not-muc 6241 unknown 6833 muc 839
1535.33/1535.35	c iter 928 time 1532.71 not-muc 6241 unknown 6832 muc 840
1535.33/1535.35	c iter 929 time 1532.71 not-muc 6241 unknown 6831 muc 841
1535.33/1535.35	c iter 930 time 1532.71 not-muc 6241 unknown 6830 muc 842
1535.33/1535.35	c iter 931 time 1532.71 not-muc 6241 unknown 6829 muc 843
1535.33/1535.35	c iter 932 time 1532.71 not-muc 6241 unknown 6828 muc 844
1535.33/1535.35	c iter 933 time 1532.71 not-muc 6241 unknown 6827 muc 845
1535.33/1535.35	c iter 934 time 1532.72 not-muc 6241 unknown 6826 muc 846
1535.33/1535.35	c iter 935 time 1532.72 not-muc 6241 unknown 6825 muc 847
1535.33/1535.35	c iter 936 time 1532.72 not-muc 6241 unknown 6824 muc 848
1535.33/1535.35	c iter 937 time 1532.72 not-muc 6241 unknown 6823 muc 849
1535.33/1535.35	c iter 938 time 1532.72 not-muc 6241 unknown 6822 muc 850
1535.33/1535.35	c iter 939 time 1532.72 not-muc 6241 unknown 6821 muc 851
1535.33/1535.35	c iter 940 time 1532.72 not-muc 6241 unknown 6820 muc 852
1535.33/1535.35	c iter 941 time 1532.72 not-muc 6241 unknown 6819 muc 853
1535.33/1535.35	c iter 942 time 1532.72 not-muc 6241 unknown 6818 muc 854
1535.33/1535.35	c iter 943 time 1532.73 not-muc 6241 unknown 6817 muc 855
1535.33/1535.35	c iter 944 time 1532.73 not-muc 6241 unknown 6816 muc 856
1535.33/1535.35	c iter 945 time 1532.73 not-muc 6241 unknown 6815 muc 857
1535.33/1535.35	c iter 946 time 1532.73 not-muc 6241 unknown 6814 muc 858
1535.33/1535.35	c iter 947 time 1532.73 not-muc 6241 unknown 6813 muc 859
1535.33/1535.35	c iter 948 time 1532.73 not-muc 6241 unknown 6812 muc 860
1535.33/1535.35	c iter 949 time 1532.73 not-muc 6241 unknown 6811 muc 861
1535.33/1535.35	c iter 950 time 1532.73 not-muc 6241 unknown 6810 muc 862
1535.33/1535.35	c iter 951 time 1532.74 not-muc 6241 unknown 6809 muc 863
1535.33/1535.35	c iter 952 time 1532.74 not-muc 6241 unknown 6808 muc 864
1535.33/1535.35	c iter 953 time 1532.74 not-muc 6241 unknown 6807 muc 865
1535.33/1535.35	c iter 954 time 1532.74 not-muc 6241 unknown 6806 muc 866
1535.33/1535.35	c iter 955 time 1532.74 not-muc 6241 unknown 6805 muc 867
1535.33/1535.35	c iter 956 time 1532.74 not-muc 6241 unknown 6804 muc 868
1535.33/1535.35	c iter 957 time 1532.74 not-muc 6241 unknown 6803 muc 869
1535.33/1535.35	c iter 958 time 1532.75 not-muc 6241 unknown 6802 muc 870
1535.33/1535.35	c iter 959 time 1532.75 not-muc 6241 unknown 6801 muc 871
1535.33/1535.35	c iter 960 time 1532.75 not-muc 6241 unknown 6800 muc 872
1535.33/1535.35	c iter 961 time 1532.75 not-muc 6241 unknown 6799 muc 873
1535.33/1535.35	c iter 962 time 1532.75 not-muc 6241 unknown 6798 muc 874
1535.33/1535.35	c iter 963 time 1532.75 not-muc 6241 unknown 6797 muc 875
1535.33/1535.35	c iter 964 time 1532.75 not-muc 6241 unknown 6796 muc 876
1535.33/1535.35	c iter 965 time 1532.75 not-muc 6241 unknown 6795 muc 877
1535.33/1535.35	c iter 966 time 1532.75 not-muc 6241 unknown 6794 muc 878
1535.33/1535.35	c iter 967 time 1532.75 not-muc 6241 unknown 6793 muc 879
1535.33/1535.35	c iter 968 time 1532.76 not-muc 6241 unknown 6792 muc 880
1535.33/1535.35	c iter 969 time 1532.76 not-muc 6241 unknown 6791 muc 881
1535.33/1535.35	c iter 970 time 1532.76 not-muc 6241 unknown 6790 muc 882
1535.33/1535.35	c iter 971 time 1532.76 not-muc 6241 unknown 6789 muc 883
1535.33/1535.35	c iter 972 time 1532.76 not-muc 6241 unknown 6788 muc 884
1535.33/1535.35	c iter 973 time 1532.76 not-muc 6241 unknown 6787 muc 885
1535.33/1535.35	c iter 974 time 1532.76 not-muc 6241 unknown 6786 muc 886
1535.33/1535.35	c iter 975 time 1532.76 not-muc 6241 unknown 6785 muc 887
1535.33/1535.35	c iter 976 time 1532.76 not-muc 6241 unknown 6784 muc 888
1535.33/1535.35	c iter 977 time 1532.77 not-muc 6241 unknown 6783 muc 889
1535.33/1535.35	c iter 978 time 1532.77 not-muc 6241 unknown 6782 muc 890
1535.33/1535.35	c iter 979 time 1532.77 not-muc 6241 unknown 6781 muc 891
1535.33/1535.35	c iter 980 time 1532.77 not-muc 6241 unknown 6780 muc 892
1535.33/1535.35	c iter 981 time 1532.77 not-muc 6241 unknown 6779 muc 893
1535.33/1535.35	c iter 982 time 1532.78 not-muc 6241 unknown 6778 muc 894
1535.33/1535.35	c iter 983 time 1532.78 not-muc 6241 unknown 6777 muc 895
1535.33/1535.35	c iter 984 time 1532.79 not-muc 6241 unknown 6776 muc 896
1535.33/1535.35	c iter 985 time 1532.82 not-muc 6241 unknown 6775 muc 897
1535.33/1535.35	c iter 986 time 1532.83 not-muc 6241 unknown 6774 muc 898
1535.33/1535.35	c iter 987 time 1532.84 not-muc 6241 unknown 6773 muc 899
1535.33/1535.35	c iter 988 time 1532.93 not-muc 6241 unknown 6772 muc 900
1535.33/1535.35	c iter 989 time 1532.95 not-muc 6241 unknown 6771 muc 901
1535.33/1535.35	c iter 990 time 1532.95 not-muc 6241 unknown 6770 muc 902
1535.33/1535.35	c iter 991 time 1532.95 not-muc 6241 unknown 6769 muc 903
1535.33/1535.35	c iter 992 time 1532.96 not-muc 6241 unknown 6768 muc 904
1535.33/1535.35	c iter 993 time 1532.97 not-muc 6241 unknown 6767 muc 905
1545.53/1545.51	c iter 994 time 1532.98 not-muc 6241 unknown 6766 muc 906
1545.53/1545.51	c iter 995 time 1532.99 not-muc 6241 unknown 6765 muc 907
1545.53/1545.51	c iter 996 time 1533 not-muc 6241 unknown 6764 muc 908
1545.53/1545.51	c iter 997 time 1533 not-muc 6241 unknown 6763 muc 909
1545.53/1545.51	c iter 998 time 1533.12 not-muc 6241 unknown 6762 muc 910
1545.53/1545.51	c iter 999 time 1533.12 not-muc 6241 unknown 6761 muc 911
1545.53/1545.51	c iter 1000 time 1533.15 not-muc 6241 unknown 6760 muc 912
1545.53/1545.51	c iter 1001 time 1533.15 not-muc 6241 unknown 6759 muc 913
1545.53/1545.51	c iter 1002 time 1533.16 not-muc 6241 unknown 6758 muc 914
1545.53/1545.51	c iter 1003 time 1533.17 not-muc 6241 unknown 6757 muc 915
1545.53/1545.51	c iter 1004 time 1533.18 not-muc 6241 unknown 6756 muc 916
1545.53/1545.51	c iter 1005 time 1533.23 not-muc 6241 unknown 6755 muc 917
1545.53/1545.51	c iter 1006 time 1533.43 not-muc 6241 unknown 6754 muc 918
1545.53/1545.51	c iter 1007 time 1533.44 not-muc 6241 unknown 6753 muc 919
1545.53/1545.51	c iter 1008 time 1533.54 not-muc 6241 unknown 6752 muc 920
1545.53/1545.51	c iter 1009 time 1533.68 not-muc 6241 unknown 6751 muc 921
1545.53/1545.51	c iter 1010 time 1533.75 not-muc 6241 unknown 6750 muc 922
1545.53/1545.51	c iter 1011 time 1533.76 not-muc 6241 unknown 6749 muc 923
1545.53/1545.51	c iter 1012 time 1533.83 not-muc 6241 unknown 6748 muc 924
1545.53/1545.51	c iter 1013 time 1533.88 not-muc 6241 unknown 6747 muc 925
1545.53/1545.51	c iter 1014 time 1533.9 not-muc 6241 unknown 6746 muc 926
1545.53/1545.51	c iter 1015 time 1533.94 not-muc 6241 unknown 6745 muc 927
1545.53/1545.51	c iter 1016 time 1533.95 not-muc 6241 unknown 6744 muc 928
1545.53/1545.51	c iter 1017 time 1538.14 not-muc 6242 unknown 6743 muc 928
1545.53/1545.51	c iter 1018 time 1538.2 not-muc 6242 unknown 6742 muc 929
1545.53/1545.51	c iter 1019 time 1538.24 not-muc 6242 unknown 6741 muc 930
1545.53/1545.51	c iter 1020 time 1538.35 not-muc 6242 unknown 6740 muc 931
1545.53/1545.51	c iter 1021 time 1538.57 not-muc 6242 unknown 6739 muc 932
1545.53/1545.51	c iter 1022 time 1538.65 not-muc 6242 unknown 6738 muc 933
1545.53/1545.51	c iter 1023 time 1538.7 not-muc 6242 unknown 6737 muc 934
1545.53/1545.51	c iter 1024 time 1538.77 not-muc 6242 unknown 6736 muc 935
1545.53/1545.51	c iter 1025 time 1538.84 not-muc 6242 unknown 6735 muc 936
1545.53/1545.51	c iter 1026 time 1538.96 not-muc 6242 unknown 6734 muc 937
1545.53/1545.51	c iter 1027 time 1539.03 not-muc 6242 unknown 6733 muc 938
1545.53/1545.51	c iter 1028 time 1539.06 not-muc 6242 unknown 6732 muc 939
1545.53/1545.51	c iter 1029 time 1539.23 not-muc 6242 unknown 6731 muc 940
1545.53/1545.51	c iter 1030 time 1539.27 not-muc 6242 unknown 6730 muc 941
1545.53/1545.51	c iter 1031 time 1539.44 not-muc 6242 unknown 6729 muc 942
1545.53/1545.51	c iter 1032 time 1539.71 not-muc 6242 unknown 6728 muc 943
1545.53/1545.51	c iter 1033 time 1539.77 not-muc 6242 unknown 6727 muc 944
1545.53/1545.51	c iter 1034 time 1539.83 not-muc 6242 unknown 6726 muc 945
1545.53/1545.51	c iter 1035 time 1539.92 not-muc 6242 unknown 6725 muc 946
1545.53/1545.51	c iter 1036 time 1540 not-muc 6242 unknown 6724 muc 947
1545.53/1545.51	c iter 1037 time 1540.03 not-muc 6242 unknown 6723 muc 948
1545.53/1545.51	c iter 1038 time 1540.08 not-muc 6242 unknown 6722 muc 949
1545.53/1545.51	c iter 1039 time 1540.11 not-muc 6242 unknown 6721 muc 950
1545.53/1545.51	c iter 1040 time 1540.13 not-muc 6242 unknown 6720 muc 951
1545.53/1545.51	c iter 1041 time 1540.16 not-muc 6242 unknown 6719 muc 952
1545.53/1545.51	c iter 1042 time 1540.29 not-muc 6242 unknown 6718 muc 953
1545.53/1545.51	c iter 1043 time 1540.42 not-muc 6242 unknown 6717 muc 954
1545.53/1545.51	c iter 1044 time 1540.48 not-muc 6242 unknown 6716 muc 955
1545.53/1545.51	c iter 1045 time 1540.52 not-muc 6242 unknown 6715 muc 956
1545.53/1545.51	c iter 1046 time 1540.58 not-muc 6242 unknown 6714 muc 957
1545.53/1545.51	c iter 1047 time 1540.64 not-muc 6242 unknown 6713 muc 958
1545.53/1545.51	c iter 1048 time 1540.69 not-muc 6242 unknown 6712 muc 959
1545.53/1545.51	c iter 1049 time 1540.73 not-muc 6242 unknown 6711 muc 960
1545.53/1545.51	c iter 1050 time 1541.61 not-muc 6242 unknown 6710 muc 961
1545.53/1545.51	c iter 1051 time 1541.64 not-muc 6242 unknown 6709 muc 962
1545.53/1545.51	c iter 1052 time 1541.74 not-muc 6242 unknown 6708 muc 963
1545.53/1545.51	c iter 1053 time 1541.84 not-muc 6242 unknown 6707 muc 964
1545.53/1545.51	c iter 1054 time 1541.96 not-muc 6242 unknown 6706 muc 965
1545.53/1545.51	c iter 1055 time 1542.01 not-muc 6242 unknown 6705 muc 966
1545.53/1545.51	c iter 1056 time 1542.49 not-muc 6242 unknown 6704 muc 967
1545.53/1545.51	c iter 1057 time 1542.56 not-muc 6242 unknown 6703 muc 968
1545.53/1545.51	c iter 1058 time 1542.64 not-muc 6242 unknown 6702 muc 969
1545.53/1545.51	c iter 1059 time 1542.99 not-muc 6242 unknown 6701 muc 970
1545.53/1545.51	c iter 1060 time 1543.04 not-muc 6242 unknown 6700 muc 971
1545.53/1545.51	c iter 1061 time 1543.06 not-muc 6242 unknown 6699 muc 972
1545.53/1545.51	c iter 1062 time 1543.09 not-muc 6242 unknown 6698 muc 973
1545.53/1545.51	c iter 1063 time 1543.12 not-muc 6242 unknown 6697 muc 974
1584.82/1584.82	c iter 1064 time 1543.24 not-muc 6242 unknown 6696 muc 975
1584.82/1584.82	c iter 1065 time 1543.35 not-muc 6242 unknown 6695 muc 976
1584.82/1584.82	c iter 1066 time 1543.4 not-muc 6242 unknown 6694 muc 977
1584.82/1584.82	c iter 1067 time 1543.81 not-muc 6242 unknown 6693 muc 978
1584.82/1584.82	c iter 1068 time 1543.95 not-muc 6242 unknown 6692 muc 979
1584.82/1584.82	c iter 1069 time 1544.02 not-muc 6242 unknown 6691 muc 980
1584.82/1584.82	c iter 1070 time 1544.18 not-muc 6242 unknown 6690 muc 981
1584.82/1584.82	c iter 1071 time 1544.22 not-muc 6242 unknown 6689 muc 982
1584.82/1584.82	c iter 1072 time 1544.27 not-muc 6242 unknown 6688 muc 983
1584.82/1584.82	c iter 1073 time 1552.06 not-muc 6245 unknown 6685 muc 983
1584.82/1584.82	c iter 1074 time 1552.15 not-muc 6245 unknown 6684 muc 984
1584.82/1584.82	c iter 1075 time 1552.18 not-muc 6245 unknown 6683 muc 985
1584.82/1584.82	c iter 1076 time 1552.3 not-muc 6245 unknown 6682 muc 986
1584.82/1584.82	c iter 1077 time 1552.41 not-muc 6245 unknown 6681 muc 987
1584.82/1584.82	c iter 1078 time 1552.45 not-muc 6245 unknown 6680 muc 988
1584.82/1584.82	c iter 1079 time 1552.49 not-muc 6245 unknown 6679 muc 989
1584.82/1584.82	c iter 1080 time 1552.54 not-muc 6245 unknown 6678 muc 990
1584.82/1584.82	c iter 1081 time 1552.61 not-muc 6245 unknown 6677 muc 991
1584.82/1584.82	c iter 1082 time 1552.64 not-muc 6245 unknown 6676 muc 992
1584.82/1584.82	c iter 1083 time 1552.68 not-muc 6245 unknown 6675 muc 993
1584.82/1584.82	c iter 1084 time 1552.72 not-muc 6245 unknown 6674 muc 994
1584.82/1584.82	c iter 1085 time 1552.74 not-muc 6245 unknown 6673 muc 995
1584.82/1584.82	c iter 1086 time 1552.76 not-muc 6245 unknown 6672 muc 996
1584.82/1584.82	c iter 1087 time 1552.85 not-muc 6245 unknown 6671 muc 997
1584.82/1584.82	c iter 1088 time 1552.94 not-muc 6245 unknown 6670 muc 998
1584.82/1584.82	c iter 1089 time 1552.99 not-muc 6245 unknown 6669 muc 999
1584.82/1584.82	c iter 1090 time 1553 not-muc 6245 unknown 6668 muc 1000
1584.82/1584.82	c iter 1091 time 1553.06 not-muc 6245 unknown 6667 muc 1001
1584.82/1584.82	c iter 1092 time 1553.11 not-muc 6245 unknown 6666 muc 1002
1584.82/1584.82	c iter 1093 time 1553.24 not-muc 6245 unknown 6665 muc 1003
1584.82/1584.82	c iter 1094 time 1553.29 not-muc 6245 unknown 6664 muc 1004
1584.82/1584.82	c iter 1095 time 1553.43 not-muc 6245 unknown 6663 muc 1005
1584.82/1584.82	c iter 1096 time 1558.45 not-muc 6246 unknown 6662 muc 1005
1584.82/1584.82	c iter 1097 time 1558.73 not-muc 6246 unknown 6661 muc 1006
1584.82/1584.82	c iter 1098 time 1558.77 not-muc 6246 unknown 6660 muc 1007
1584.82/1584.82	c iter 1099 time 1558.95 not-muc 6246 unknown 6659 muc 1008
1584.82/1584.82	c iter 1100 time 1559.06 not-muc 6246 unknown 6658 muc 1009
1584.82/1584.82	c iter 1101 time 1559.12 not-muc 6246 unknown 6657 muc 1010
1584.82/1584.82	c iter 1102 time 1559.16 not-muc 6246 unknown 6656 muc 1011
1584.82/1584.82	c iter 1103 time 1559.23 not-muc 6246 unknown 6655 muc 1012
1584.82/1584.82	c iter 1104 time 1559.31 not-muc 6246 unknown 6654 muc 1013
1584.82/1584.82	c iter 1105 time 1559.4 not-muc 6246 unknown 6653 muc 1014
1584.82/1584.82	c iter 1106 time 1559.46 not-muc 6246 unknown 6652 muc 1015
1584.82/1584.82	c iter 1107 time 1559.53 not-muc 6246 unknown 6651 muc 1016
1584.82/1584.82	c iter 1108 time 1566.21 not-muc 6247 unknown 6650 muc 1016
1584.82/1584.82	c iter 1109 time 1566.66 not-muc 6247 unknown 6649 muc 1017
1584.82/1584.82	c iter 1110 time 1566.72 not-muc 6247 unknown 6648 muc 1018
1584.82/1584.82	c iter 1111 time 1566.84 not-muc 6247 unknown 6647 muc 1019
1584.82/1584.82	c iter 1112 time 1566.95 not-muc 6247 unknown 6646 muc 1020
1584.82/1584.82	c iter 1113 time 1567.02 not-muc 6247 unknown 6645 muc 1021
1584.82/1584.82	c iter 1114 time 1567.08 not-muc 6247 unknown 6644 muc 1022
1584.82/1584.82	c iter 1115 time 1567.17 not-muc 6247 unknown 6643 muc 1023
1584.82/1584.82	c iter 1116 time 1567.26 not-muc 6247 unknown 6642 muc 1024
1584.82/1584.82	c iter 1117 time 1567.35 not-muc 6247 unknown 6641 muc 1025
1584.82/1584.82	c iter 1118 time 1567.44 not-muc 6247 unknown 6640 muc 1026
1584.82/1584.82	c iter 1119 time 1567.62 not-muc 6247 unknown 6639 muc 1027
1584.82/1584.82	c iter 1120 time 1576.14 not-muc 6248 unknown 6638 muc 1027
1584.82/1584.82	c iter 1121 time 1576.4 not-muc 6248 unknown 6637 muc 1028
1584.82/1584.82	c iter 1122 time 1576.45 not-muc 6248 unknown 6636 muc 1029
1584.82/1584.82	c iter 1123 time 1576.57 not-muc 6248 unknown 6635 muc 1030
1584.82/1584.82	c iter 1124 time 1576.7 not-muc 6248 unknown 6634 muc 1031
1584.82/1584.82	c iter 1125 time 1576.78 not-muc 6248 unknown 6633 muc 1032
1584.82/1584.82	c iter 1126 time 1577.1 not-muc 6248 unknown 6632 muc 1033
1584.82/1584.82	c iter 1127 time 1577.21 not-muc 6248 unknown 6631 muc 1034
1584.82/1584.82	c iter 1128 time 1577.31 not-muc 6248 unknown 6630 muc 1035
1584.82/1584.82	c iter 1129 time 1577.42 not-muc 6248 unknown 6629 muc 1036
1584.82/1584.82	c iter 1130 time 1582.08 not-muc 6250 unknown 6627 muc 1036
1584.82/1584.82	c iter 1131 time 1582.32 not-muc 6250 unknown 6626 muc 1037
1584.82/1584.82	c iter 1132 time 1582.39 not-muc 6250 unknown 6625 muc 1038
1668.82/1668.89	c iter 1133 time 1588.71 not-muc 6252 unknown 6623 muc 1038
1668.82/1668.89	c iter 1134 time 1589.04 not-muc 6252 unknown 6622 muc 1039
1668.82/1668.89	c iter 1135 time 1589.08 not-muc 6252 unknown 6621 muc 1040
1668.82/1668.89	c iter 1136 time 1589.22 not-muc 6252 unknown 6620 muc 1041
1668.82/1668.89	c iter 1137 time 1589.32 not-muc 6252 unknown 6619 muc 1042
1668.82/1668.89	c iter 1138 time 1589.39 not-muc 6252 unknown 6618 muc 1043
1668.82/1668.89	c iter 1139 time 1589.53 not-muc 6252 unknown 6617 muc 1044
1668.82/1668.89	c iter 1140 time 1589.61 not-muc 6252 unknown 6616 muc 1045
1668.82/1668.89	c iter 1141 time 1589.68 not-muc 6252 unknown 6615 muc 1046
1668.82/1668.89	c iter 1142 time 1589.83 not-muc 6252 unknown 6614 muc 1047
1668.82/1668.89	c iter 1143 time 1589.88 not-muc 6252 unknown 6613 muc 1048
1668.82/1668.89	c iter 1144 time 1589.92 not-muc 6252 unknown 6612 muc 1049
1668.82/1668.89	c iter 1145 time 1599.62 not-muc 6253 unknown 6611 muc 1049
1668.82/1668.89	c iter 1146 time 1599.9 not-muc 6253 unknown 6610 muc 1050
1668.82/1668.89	c iter 1147 time 1599.97 not-muc 6253 unknown 6609 muc 1051
1668.82/1668.89	c iter 1148 time 1600.12 not-muc 6253 unknown 6608 muc 1052
1668.82/1668.89	c iter 1149 time 1600.25 not-muc 6253 unknown 6607 muc 1053
1668.82/1668.89	c iter 1150 time 1600.33 not-muc 6253 unknown 6606 muc 1054
1668.82/1668.89	c iter 1151 time 1600.62 not-muc 6253 unknown 6605 muc 1055
1668.82/1668.89	c iter 1152 time 1600.7 not-muc 6253 unknown 6604 muc 1056
1668.82/1668.89	c iter 1153 time 1600.77 not-muc 6253 unknown 6603 muc 1057
1668.82/1668.89	c iter 1154 time 1600.86 not-muc 6253 unknown 6602 muc 1058
1668.82/1668.89	c iter 1155 time 1605.33 not-muc 6254 unknown 6601 muc 1058
1668.82/1668.89	c iter 1156 time 1605.47 not-muc 6254 unknown 6600 muc 1059
1668.82/1668.89	c iter 1157 time 1605.56 not-muc 6254 unknown 6599 muc 1060
1668.82/1668.89	c iter 1158 time 1613 not-muc 6255 unknown 6598 muc 1060
1668.82/1668.89	c iter 1159 time 1613.94 not-muc 6255 unknown 6597 muc 1061
1668.82/1668.89	c iter 1160 time 1614.01 not-muc 6255 unknown 6596 muc 1062
1668.82/1668.89	c iter 1161 time 1614.16 not-muc 6255 unknown 6595 muc 1063
1668.82/1668.89	c iter 1162 time 1614.3 not-muc 6255 unknown 6594 muc 1064
1668.82/1668.89	c iter 1163 time 1614.4 not-muc 6255 unknown 6593 muc 1065
1668.82/1668.89	c iter 1164 time 1614.47 not-muc 6255 unknown 6592 muc 1066
1668.82/1668.89	c iter 1165 time 1614.58 not-muc 6255 unknown 6591 muc 1067
1668.82/1668.89	c iter 1166 time 1614.68 not-muc 6255 unknown 6590 muc 1068
1668.82/1668.89	c iter 1167 time 1616.13 not-muc 6255 unknown 6589 muc 1069
1668.82/1668.89	c iter 1168 time 1622.66 not-muc 6256 unknown 6588 muc 1069
1668.82/1668.89	c iter 1169 time 1622.88 not-muc 6256 unknown 6587 muc 1070
1668.82/1668.89	c iter 1170 time 1622.95 not-muc 6256 unknown 6586 muc 1071
1668.82/1668.89	c iter 1171 time 1633.69 not-muc 6257 unknown 6585 muc 1071
1668.82/1668.89	c iter 1172 time 1633.98 not-muc 6257 unknown 6584 muc 1072
1668.82/1668.89	c iter 1173 time 1634.07 not-muc 6257 unknown 6583 muc 1073
1668.82/1668.89	c iter 1174 time 1634.21 not-muc 6257 unknown 6582 muc 1074
1668.82/1668.89	c iter 1175 time 1634.35 not-muc 6257 unknown 6581 muc 1075
1668.82/1668.89	c iter 1176 time 1634.45 not-muc 6257 unknown 6580 muc 1076
1668.82/1668.89	c iter 1177 time 1635.21 not-muc 6257 unknown 6579 muc 1077
1668.82/1668.89	c iter 1178 time 1635.33 not-muc 6257 unknown 6578 muc 1078
1668.82/1668.89	c iter 1179 time 1635.44 not-muc 6257 unknown 6577 muc 1079
1668.82/1668.89	c iter 1180 time 1635.56 not-muc 6257 unknown 6576 muc 1080
1668.82/1668.89	c iter 1181 time 1645.08 not-muc 6258 unknown 6575 muc 1080
1668.82/1668.89	c iter 1182 time 1645.22 not-muc 6258 unknown 6574 muc 1081
1668.82/1668.89	c iter 1183 time 1645.42 not-muc 6258 unknown 6573 muc 1082
1668.82/1668.89	c iter 1184 time 1653.22 not-muc 6259 unknown 6572 muc 1082
1668.82/1668.89	c iter 1185 time 1653.85 not-muc 6259 unknown 6571 muc 1083
1668.82/1668.89	c iter 1186 time 1653.99 not-muc 6259 unknown 6570 muc 1084
1668.82/1668.89	c iter 1187 time 1654.17 not-muc 6259 unknown 6569 muc 1085
1668.82/1668.89	c iter 1188 time 1654.35 not-muc 6259 unknown 6568 muc 1086
1668.82/1668.89	c iter 1189 time 1654.51 not-muc 6259 unknown 6567 muc 1087
1668.82/1668.89	c iter 1190 time 1654.87 not-muc 6259 unknown 6566 muc 1088
1668.82/1668.89	c iter 1191 time 1655.05 not-muc 6259 unknown 6565 muc 1089
1668.82/1668.89	c iter 1192 time 1655.2 not-muc 6259 unknown 6564 muc 1090
1668.82/1668.89	c iter 1193 time 1655.5 not-muc 6259 unknown 6563 muc 1091
1668.82/1668.89	c iter 1194 time 1655.7 not-muc 6259 unknown 6562 muc 1092
1668.82/1668.89	c iter 1195 time 1656.02 not-muc 6259 unknown 6561 muc 1093
1668.82/1668.89	c iter 1196 time 1665.68 not-muc 6261 unknown 6559 muc 1093
1668.82/1668.89	c iter 1197 time 1666.03 not-muc 6261 unknown 6558 muc 1094
1668.82/1668.89	c iter 1198 time 1666.09 not-muc 6261 unknown 6557 muc 1095
1668.82/1668.89	c iter 1199 time 1666.2 not-muc 6261 unknown 6556 muc 1096
1668.82/1668.89	c iter 1200 time 1666.33 not-muc 6261 unknown 6555

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3494455-1307805152/watcher-3494455-1307805152 -o /tmp/evaluation-result-3494455-1307805152/solver-3494455-1307805152 -C 1800 -W 1850 -M 7680 HOME/hmuc HOME/instance-3494455-1307805152.cnf -no-pre 

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: 4.00 3.56 2.97 5/189 17193
/proc/meminfo: memFree=26340140/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=19984 CPUtime=0 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 524 0 0 0 0 0 0 0 25 0 1 0 892113124 20463616 465 33554432000 4194304 4337479 140734043322656 18446744073709551615 4271953 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 4996 465 223 35 0 1619 0

[startup+0.019943 s]
/proc/loadavg: 4.00 3.56 2.97 5/189 17193
/proc/meminfo: memFree=26340140/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=20980 CPUtime=0.01 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 841 0 0 0 1 0 0 0 25 0 1 0 892113124 21483520 773 33554432000 4194304 4337479 140734043322656 18446744073709551615 4258600 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 5245 773 242 35 0 1868 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20980

[startup+0.100919 s]
/proc/loadavg: 4.00 3.56 2.97 5/189 17193
/proc/meminfo: memFree=26340140/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=21604 CPUtime=0.09 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1206 0 0 0 9 0 0 0 25 0 1 0 892113124 22122496 1133 33554432000 4194304 4337479 140734043322656 18446744073709551615 228244009281 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 5401 1133 242 35 0 2024 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21604

[startup+0.300886 s]
/proc/loadavg: 4.00 3.56 2.97 5/189 17193
/proc/meminfo: memFree=26340140/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=23360 CPUtime=0.29 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 2139 0 0 0 29 0 0 0 25 0 1 0 892113124 23920640 2058 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 5840 2058 243 35 0 2463 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23360

[startup+0.700826 s]
/proc/loadavg: 4.00 3.56 2.97 5/189 17193
/proc/meminfo: memFree=26340140/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=26456 CPUtime=0.69 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 2930 0 0 0 69 0 0 0 25 0 1 0 892113124 27090944 2793 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303184 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 6614 2793 243 35 0 3237 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26456

[startup+1.50067 s]
/proc/loadavg: 4.00 3.56 2.97 5/190 17194
/proc/meminfo: memFree=26324532/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=34456 CPUtime=1.49 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 4817 0 0 0 149 0 0 0 25 0 1 0 892113124 35282944 4643 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303088 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 8614 4643 244 35 0 5237 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34456

[startup+3.10039 s]
/proc/loadavg: 4.00 3.56 2.97 5/190 17194
/proc/meminfo: memFree=26314364/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=48032 CPUtime=3.09 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 8141 0 0 0 309 0 0 0 25 0 1 0 892113124 49184768 7863 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303259 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 12008 7863 264 35 0 8631 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 48032

[startup+6.30083 s]
/proc/loadavg: 4.00 3.57 2.98 5/190 17194
/proc/meminfo: memFree=26279396/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=77072 CPUtime=6.29 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 14860 0 0 0 628 1 0 0 25 0 1 0 892113124 78921728 14282 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303349 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 19268 14282 264 35 0 15891 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77072

[startup+12.7007 s]
/proc/loadavg: 4.00 3.58 2.98 5/190 17194
/proc/meminfo: memFree=26166340/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=131628 CPUtime=12.69 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 28194 0 0 0 1266 3 0 0 25 0 1 0 892113124 134787072 27114 33554432000 4194304 4337479 140734043322656 18446744073709551615 4258686 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 32907 27114 264 35 0 29530 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 131628

[startup+25.5005 s]
/proc/loadavg: 4.00 3.60 3.00 5/190 17195
/proc/meminfo: memFree=25938176/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=236644 CPUtime=25.49 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 63279 0 0 0 2541 8 0 0 25 0 1 0 892113124 242323456 53079 33554432000 4194304 4337479 140734043322656 18446744073709551615 4318753 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 59161 53079 266 35 0 55784 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 236644

[startup+51.101 s]
/proc/loadavg: 4.00 3.63 3.02 5/190 17233
/proc/meminfo: memFree=25518464/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=426880 CPUtime=51.09 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 118954 0 0 0 5095 14 0 0 25 0 1 0 892113124 437125120 95639 33554432000 4194304 4337479 140734043322656 18446744073709551615 4282003 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 106720 95639 266 35 0 103343 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 426880

[startup+102.307 s]
/proc/loadavg: 4.00 3.68 3.07 5/190 17235
/proc/meminfo: memFree=23935244/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=771020 CPUtime=102.29 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 281022 0 0 0 10196 33 0 0 25 0 1 0 892113124 789524480 180053 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303195 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 192755 180053 266 35 0 189378 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 771020

[startup+162.3 s]
/proc/loadavg: 4.00 3.74 3.13 5/190 17236
/proc/meminfo: memFree=22275852/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=1086600 CPUtime=162.29 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 399804 0 0 0 16179 50 0 0 25 0 1 0 892113124 1112678400 263373 33554432000 4194304 4337479 140734043322656 18446744073709551615 4256913 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 271650 263373 266 35 0 268273 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1086600

[startup+222.301 s]
/proc/loadavg: 4.00 3.78 3.18 5/190 17238
/proc/meminfo: memFree=20409264/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=1467848 CPUtime=222.29 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 479940 0 0 0 22168 61 0 0 25 0 1 0 892113124 1503076352 336502 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303199 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 366962 336502 266 35 0 363585 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1467848

[startup+282.3 s]
/proc/loadavg: 4.07 3.84 3.23 5/190 17239
/proc/meminfo: memFree=18799856/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=1750060 CPUtime=282.29 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 542141 0 0 0 28158 71 0 0 25 0 1 0 892113124 1792061440 397679 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303218 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 437515 397679 266 35 0 434138 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1750060

[startup+342.301 s]
/proc/loadavg: 3.42 3.69 3.22 4/184 17265
/proc/meminfo: memFree=19175452/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=2000444 CPUtime=342.3 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 607150 0 0 0 34149 81 0 0 25 0 1 0 892113124 2048454656 461711 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303235 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 500111 461711 266 35 0 496734 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 2000444

[startup+402.3 s]
/proc/loadavg: 3.15 3.56 3.20 4/184 17267
/proc/meminfo: memFree=17621668/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=2283476 CPUtime=402.3 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 665939 0 0 0 40141 89 0 0 25 0 1 0 892113124 2338279424 519858 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303662 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 570869 519858 266 35 0 567492 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2283476

[startup+462.301 s]
/proc/loadavg: 3.13 3.48 3.19 4/184 17268
/proc/meminfo: memFree=16160144/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=2513588 CPUtime=462.3 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 725357 0 0 0 46134 96 0 0 25 0 1 0 892113124 2573914112 578811 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 628397 578811 266 35 0 625020 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2513588

[startup+522.3 s]
/proc/loadavg: 2.70 3.31 3.15 3/178 17295
/proc/meminfo: memFree=22192728/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=2784156 CPUtime=522.3 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 791051 0 0 0 52125 105 0 0 25 0 1 0 892113124 2850975744 644329 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303656 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 696039 644329 266 35 0 692662 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2784156

[startup+582.301 s]
/proc/loadavg: 2.26 3.07 3.07 3/178 17296
/proc/meminfo: memFree=21542536/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=3032192 CPUtime=582.3 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 852496 0 0 0 58115 115 0 0 25 0 1 0 892113124 3104964608 705548 33554432000 4194304 4337479 140734043322656 18446744073709551615 4292286 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 758048 705548 266 35 0 754671 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 3032192

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 1.02 1.92 2.60 2/172 17328
/proc/meminfo: memFree=27788444/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=4151812 CPUtime=822.31 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1120938 0 0 0 82081 150 0 0 25 0 1 0 892113124 4251455488 973455 33554432000 4194304 4337479 140734043322656 18446744073709551615 4257124 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1037953 973455 266 35 0 1034576 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 4151812

[startup+882.301 s]
/proc/loadavg: 1.01 1.75 2.49 2/172 17329
/proc/meminfo: memFree=27502836/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=4566160 CPUtime=882.31 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1191596 0 0 0 88071 160 0 0 25 0 1 0 892113124 4675747840 1044095 33554432000 4194304 4337479 140734043322656 18446744073709551615 4282073 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1141540 1044095 266 35 0 1138163 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 4566160

[startup+942.3 s]
/proc/loadavg: 1.00 1.61 2.40 2/172 17331
/proc/meminfo: memFree=27226520/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=4843668 CPUtime=942.31 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1261536 0 0 0 94062 169 0 0 25 0 1 0 892113124 4959916032 1114013 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303426 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1210917 1114013 266 35 0 1207540 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 4843668

[startup+1002.3 s]
/proc/loadavg: 1.00 1.50 2.31 2/172 17333
/proc/meminfo: memFree=26995224/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=5063268 CPUtime=1002.31 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1318938 0 0 0 100056 175 0 0 25 0 1 0 892113124 5184786432 1171409 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303698 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1265817 1171409 266 35 0 1262440 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 5063268

[startup+1062.3 s]
/proc/loadavg: 1.00 1.41 2.22 2/172 17334
/proc/meminfo: memFree=26745452/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=5311220 CPUtime=1062.31 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1381492 0 0 0 106047 184 0 0 25 0 1 0 892113124 5438689280 1233902 33554432000 4194304 4337479 140734043322656 18446744073709551615 4288960 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1327805 1233902 266 35 0 1324428 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 5311220

[startup+1122.3 s]
/proc/loadavg: 1.00 1.33 2.14 2/172 17336
/proc/meminfo: memFree=26530260/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=5519816 CPUtime=1122.31 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1434501 0 0 0 112040 191 0 0 25 0 1 0 892113124 5652291584 1286864 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303256 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1379954 1286864 266 35 0 1376577 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 5519816

[startup+1182.3 s]
/proc/loadavg: 1.00 1.27 2.07 2/172 17337
/proc/meminfo: memFree=26292780/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=5763668 CPUtime=1182.32 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1494009 0 0 0 118033 199 0 0 25 0 1 0 892113124 5901996032 1346330 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303131 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1440917 1346330 266 35 0 1437540 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 5763668

[startup+1242.3 s]
/proc/loadavg: 1.00 1.22 2.00 2/172 17339
/proc/meminfo: memFree=26055788/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=6000088 CPUtime=1242.31 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1553283 0 0 0 124025 206 0 0 25 0 1 0 892113124 6144090112 1405562 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303211 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1500022 1405562 266 35 0 1496645 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 6000088

[startup+1302.3 s]
/proc/loadavg: 1.00 1.17 1.93 2/172 17341
/proc/meminfo: memFree=25846684/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=6416872 CPUtime=1302.32 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1604961 0 0 0 130020 212 0 0 25 0 1 0 892113124 6570876928 1457232 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303143 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1604218 1457232 266 35 0 1600841 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 6416872

[startup+1362.3 s]
/proc/loadavg: 1.00 1.14 1.87 2/172 17342
/proc/meminfo: memFree=25616756/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=6647748 CPUtime=1362.33 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1662423 0 0 0 136012 221 0 0 25 0 1 0 892113124 6807293952 1514694 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303723 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1661937 1514694 266 35 0 1658560 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 6647748

[startup+1422.31 s]
/proc/loadavg: 1.00 1.11 1.81 2/172 17344
/proc/meminfo: memFree=25371712/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=6893028 CPUtime=1422.32 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1723488 0 0 0 142005 227 0 0 25 0 1 0 892113124 7058460672 1575756 33554432000 4194304 4337479 140734043322656 18446744073709551615 4288187 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1723257 1575756 266 35 0 1719880 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 6893028

[startup+1482.3 s]
/proc/loadavg: 1.05 1.10 1.77 2/172 17345
/proc/meminfo: memFree=25153936/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=7120260 CPUtime=1482.32 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1777921 0 0 0 147997 235 0 0 25 0 1 0 892113124 7291146240 1630174 33554432000 4194304 4337479 140734043322656 18446744073709551615 4256421 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1780065 1630174 266 35 0 1776688 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 7120260

[startup+1542.3 s]
/proc/loadavg: 1.02 1.08 1.71 2/172 17347
/proc/meminfo: memFree=24941596/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=7310528 CPUtime=1542.33 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1830820 0 0 0 153990 243 0 0 25 0 1 0 892113124 7485980672 1683073 33554432000 4194304 4337479 140734043322656 18446744073709551615 4260525 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1827632 1683073 266 35 0 1824255 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 7310528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.06 1.67 2/172 17349
/proc/meminfo: memFree=24712912/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=7526468 CPUtime=1602.33 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1889355 0 0 0 159983 250 0 0 25 0 1 0 892113124 7707103232 1741607 33554432000 4194304 4337479 140734043322656 18446744073709551615 4304539 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1881617 1741607 266 35 0 1878240 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 7526468

[startup+1662.3 s]
/proc/loadavg: 1.00 1.05 1.62 2/172 17350
/proc/meminfo: memFree=24441060/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=7778164 CPUtime=1662.33 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1955848 0 0 0 165973 260 0 0 25 0 1 0 892113124 7964839936 1808100 33554432000 4194304 4337479 140734043322656 18446744073709551615 4303187 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1944541 1808100 266 35 0 1941164 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 7778164



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1684.9 s]
/proc/loadavg: 1.00 1.05 1.61 2/172 17351
/proc/meminfo: memFree=24349524/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=7867464 CPUtime=1684.93 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4202496 1978539 0 0 0 168230 263 0 0 25 0 1 0 892113124 8056283136 1830791 33554432000 4194304 4337479 140734043322656 18446744073709551615 4258654 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/17193/statm: 1966866 1830791 266 35 0 1963489 0
Current children cumulated CPU time (s) 1684.93
Current children cumulated vsize (KiB) 7867464

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

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

[startup+1685.01 s]
/proc/loadavg: 1.00 1.05 1.61 2/172 17351
/proc/meminfo: memFree=24349524/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=0 CPUtime=1685.03 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4203524 1978539 0 0 0 168230 273 0 0 25 0 1 0 892113124 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/17193/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1685.03
Current children cumulated vsize (KiB) 0

[startup+1685.1 s]
/proc/loadavg: 1.00 1.05 1.61 2/173 17352
/proc/meminfo: memFree=29376600/32951124 swapFree=67056676/67111528
[pid=17193] ppid=17191 vsize=0 CPUtime=1685.13 cores=1,3
/proc/17193/stat : 17193 (hmuc) R 17191 17193 15558 0 -1 4203524 1978539 0 0 0 168230 283 0 0 25 0 1 0 892113124 0 0 33554432000 0 0 0 0 0 0 0 4096 8388610 18446744073709551615 0 0 17 1 0 0 0
/proc/17193/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1685.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1685.21
CPU time (s): 1685.24
CPU user time (s): 1682.31
CPU system time (s): 2.93255
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 7867464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1682.31
system time used= 2.93255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1978539
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 2607

runsolver used 2.30765 second user time and 5.8931 second system time

The end

Begin job on node136 at 2011-06-11 17:12:32
IDJOB=3494455
IDBENCH=89566
IDSOLVER=1984
FILE ID=node136/3494455-1307805152
RUNJOBID= node136-1307804617-16169
PBS_JOBID= 13551050
Free space on /tmp= 73768 MiB

SOLVER NAME= Haifa-MUC 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/software-verification/cvs_vc81760.cnf
COMMAND LINE= HOME/hmuc BENCHNAME -no-pre
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494455-1307805152/watcher-3494455-1307805152 -o /tmp/evaluation-result-3494455-1307805152/solver-3494455-1307805152 -C 1800 -W 1850 -M 7680  HOME/hmuc HOME/instance-3494455-1307805152.cnf -no-pre

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

MD5SUM BENCH= a7958f48fc247e796f2a5d0e92979db1
RANDOM SEED=217509106

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26340684 kB
Buffers:        254956 kB
Cached:        1160992 kB
SwapCached:       8764 kB
Active:        5811500 kB
Inactive:       588832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26340684 kB
SwapTotal:    67111528 kB
SwapFree:     67056676 kB
Dirty:          317300 kB
Writeback:          60 kB
AnonPages:     4981848 kB
Mapped:          13592 kB
Slab:           135260 kB
PageTables:      15232 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  5821068 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= 74128 MiB
End job on node136 at 2011-06-11 17:40:39