5.59/5.65 c WARNING: for repeatability, setting FPU to use double precision
5.59/5.65 c iter 1 time 2.71059 not-muc 1220548 unknown 472 muc 0
5.59/5.65 c iter 2 time 2.77158 not-muc 1220548 unknown 471 muc 1
5.59/5.65 c iter 3 time 2.80057 not-muc 1220548 unknown 470 muc 2
5.59/5.65 c iter 4 time 2.83257 not-muc 1220548 unknown 469 muc 3
5.59/5.65 c iter 5 time 2.86456 not-muc 1220548 unknown 468 muc 4
5.59/5.65 c iter 6 time 2.89656 not-muc 1220548 unknown 467 muc 5
5.59/5.65 c iter 7 time 2.92955 not-muc 1220548 unknown 466 muc 6
5.59/5.65 c iter 8 time 2.96455 not-muc 1220548 unknown 465 muc 7
5.59/5.65 c iter 9 time 2.99854 not-muc 1220548 unknown 464 muc 8
5.59/5.65 c iter 10 time 3.03354 not-muc 1220548 unknown 463 muc 9
5.59/5.65 c iter 11 time 3.06953 not-muc 1220548 unknown 462 muc 10
5.59/5.65 c iter 12 time 3.10553 not-muc 1220548 unknown 461 muc 11
5.59/5.65 c iter 13 time 3.14352 not-muc 1220548 unknown 460 muc 12
5.59/5.65 c iter 14 time 3.18152 not-muc 1220548 unknown 459 muc 13
5.59/5.65 c iter 15 time 3.21951 not-muc 1220548 unknown 458 muc 14
5.59/5.65 c iter 16 time 3.2575 not-muc 1220548 unknown 457 muc 15
5.59/5.65 c iter 17 time 3.2955 not-muc 1220548 unknown 456 muc 16
5.59/5.65 c iter 18 time 3.33349 not-muc 1220548 unknown 455 muc 17
5.59/5.65 c iter 19 time 3.37249 not-muc 1220548 unknown 454 muc 18
5.59/5.65 c iter 20 time 3.41148 not-muc 1220548 unknown 453 muc 19
5.59/5.65 c iter 21 time 3.45047 not-muc 1220548 unknown 452 muc 20
5.59/5.65 c iter 22 time 3.49147 not-muc 1220548 unknown 451 muc 21
5.59/5.65 c iter 23 time 3.53246 not-muc 1220548 unknown 450 muc 22
5.59/5.65 c iter 24 time 3.57346 not-muc 1220548 unknown 449 muc 23
5.59/5.65 c iter 25 time 3.61545 not-muc 1220548 unknown 448 muc 24
5.59/5.65 c iter 26 time 3.65744 not-muc 1220548 unknown 447 muc 25
5.59/5.65 c iter 27 time 3.70044 not-muc 1220548 unknown 446 muc 26
5.59/5.65 c iter 28 time 3.74243 not-muc 1220548 unknown 445 muc 27
5.59/5.65 c iter 29 time 3.78542 not-muc 1220548 unknown 444 muc 28
5.59/5.65 c iter 30 time 3.82742 not-muc 1220548 unknown 443 muc 29
5.59/5.65 c iter 31 time 3.86941 not-muc 1220548 unknown 442 muc 30
5.59/5.65 c iter 32 time 3.91241 not-muc 1220548 unknown 441 muc 31
5.59/5.65 c iter 33 time 3.9554 not-muc 1220548 unknown 440 muc 32
5.59/5.65 c iter 34 time 3.99339 not-muc 1220548 unknown 439 muc 33
5.59/5.65 c iter 35 time 4.03239 not-muc 1220548 unknown 438 muc 34
5.59/5.65 c iter 36 time 4.07138 not-muc 1220548 unknown 437 muc 35
5.59/5.65 c iter 37 time 4.11038 not-muc 1220548 unknown 436 muc 36
5.59/5.65 c iter 38 time 4.14937 not-muc 1220548 unknown 435 muc 37
5.59/5.65 c iter 39 time 4.18936 not-muc 1220548 unknown 434 muc 38
5.59/5.65 c iter 40 time 4.22936 not-muc 1220548 unknown 433 muc 39
5.59/5.65 c iter 41 time 4.26835 not-muc 1220548 unknown 432 muc 40
5.59/5.65 c iter 42 time 4.30835 not-muc 1220548 unknown 431 muc 41
5.59/5.65 c iter 43 time 4.34834 not-muc 1220548 unknown 430 muc 42
5.59/5.65 c iter 44 time 4.38833 not-muc 1220548 unknown 429 muc 43
5.59/5.65 c iter 45 time 4.42733 not-muc 1220548 unknown 428 muc 44
5.59/5.65 c iter 46 time 4.46732 not-muc 1220548 unknown 427 muc 45
5.59/5.65 c iter 47 time 4.50731 not-muc 1220548 unknown 426 muc 46
5.59/5.65 c iter 48 time 4.54731 not-muc 1220548 unknown 425 muc 47
5.59/5.65 c iter 49 time 4.5883 not-muc 1220548 unknown 424 muc 48
5.59/5.65 c iter 50 time 4.6293 not-muc 1220548 unknown 423 muc 49
5.59/5.65 c iter 51 time 4.67029 not-muc 1220548 unknown 422 muc 50
5.59/5.65 c iter 52 time 4.71228 not-muc 1220548 unknown 421 muc 51
5.59/5.65 c iter 53 time 4.75428 not-muc 1220548 unknown 420 muc 52
5.59/5.65 c iter 54 time 4.79527 not-muc 1220548 unknown 419 muc 53
5.59/5.65 c iter 55 time 4.83726 not-muc 1220548 unknown 418 muc 54
5.59/5.65 c iter 56 time 4.87926 not-muc 1220548 unknown 417 muc 55
5.59/5.65 c iter 57 time 4.92125 not-muc 1220548 unknown 416 muc 56
5.59/5.65 c iter 58 time 4.96225 not-muc 1220548 unknown 415 muc 57
5.59/5.65 c iter 59 time 5.00424 not-muc 1220548 unknown 414 muc 58
5.59/5.65 c iter 60 time 5.04723 not-muc 1220548 unknown 413 muc 59
5.59/5.65 c iter 61 time 5.08923 not-muc 1220548 unknown 412 muc 60
5.59/5.65 c iter 62 time 5.13222 not-muc 1220548 unknown 411 muc 61
5.59/5.65 c iter 63 time 5.17421 not-muc 1220548 unknown 410 muc 62
5.59/5.65 c iter 64 time 5.21721 not-muc 1220548 unknown 409 muc 63
5.59/5.65 c iter 65 time 5.2602 not-muc 1220548 unknown 408 muc 64
5.59/5.65 c iter 66 time 5.30219 not-muc 1220548 unknown 407 muc 65
5.59/5.65 c iter 67 time 5.34419 not-muc 1220548 unknown 406 muc 66
5.59/5.65 c iter 68 time 5.38718 not-muc 1220548 unknown 405 muc 67
5.59/5.65 c iter 69 time 5.46117 not-muc 1220548 unknown 404 muc 68
5.59/5.65 c iter 70 time 5.50216 not-muc 1220548 unknown 403 muc 69
8.39/8.45 c iter 71 time 5.54316 not-muc 1220548 unknown 402 muc 70
8.39/8.45 c iter 72 time 5.58515 not-muc 1220548 unknown 401 muc 71
8.39/8.45 c iter 73 time 5.62614 not-muc 1220548 unknown 400 muc 72
8.39/8.45 c iter 74 time 5.66614 not-muc 1220548 unknown 399 muc 73
8.39/8.45 c iter 75 time 5.70713 not-muc 1220548 unknown 398 muc 74
8.39/8.45 c iter 76 time 5.74513 not-muc 1220548 unknown 397 muc 75
8.39/8.45 c iter 77 time 5.78412 not-muc 1220548 unknown 396 muc 76
8.39/8.45 c iter 78 time 5.82211 not-muc 1220548 unknown 395 muc 77
8.39/8.45 c iter 79 time 5.86111 not-muc 1220548 unknown 394 muc 78
8.39/8.45 c iter 80 time 5.8991 not-muc 1220548 unknown 393 muc 79
8.39/8.45 c iter 81 time 5.9381 not-muc 1220548 unknown 392 muc 80
8.39/8.45 c iter 82 time 5.97609 not-muc 1220548 unknown 391 muc 81
8.39/8.45 c iter 83 time 6.01509 not-muc 1220548 unknown 390 muc 82
8.39/8.45 c iter 84 time 6.05308 not-muc 1220548 unknown 389 muc 83
8.39/8.45 c iter 85 time 6.09207 not-muc 1220548 unknown 388 muc 84
8.39/8.45 c iter 86 time 6.13007 not-muc 1220548 unknown 387 muc 85
8.39/8.45 c iter 87 time 6.16906 not-muc 1220548 unknown 386 muc 86
8.39/8.45 c iter 88 time 6.20806 not-muc 1220548 unknown 385 muc 87
8.39/8.45 c iter 89 time 6.24705 not-muc 1220548 unknown 384 muc 88
8.39/8.45 c iter 90 time 6.28604 not-muc 1220548 unknown 383 muc 89
8.39/8.45 c iter 91 time 6.32604 not-muc 1220548 unknown 382 muc 90
8.39/8.45 c iter 92 time 6.36503 not-muc 1220548 unknown 381 muc 91
8.39/8.45 c iter 93 time 6.40403 not-muc 1220548 unknown 380 muc 92
8.39/8.45 c iter 94 time 6.44302 not-muc 1220548 unknown 379 muc 93
8.39/8.45 c iter 95 time 6.48201 not-muc 1220548 unknown 378 muc 94
8.39/8.45 c iter 96 time 6.52201 not-muc 1220548 unknown 377 muc 95
8.39/8.45 c iter 97 time 6.561 not-muc 1220548 unknown 376 muc 96
8.39/8.45 c iter 98 time 6.6 not-muc 1220548 unknown 375 muc 97
8.39/8.45 c iter 99 time 6.63999 not-muc 1220548 unknown 374 muc 98
8.39/8.45 c iter 100 time 6.67998 not-muc 1220548 unknown 373 muc 99
8.39/8.45 c iter 101 time 6.71898 not-muc 1220548 unknown 372 muc 100
8.39/8.45 c iter 102 time 6.75897 not-muc 1220548 unknown 371 muc 101
8.39/8.45 c iter 103 time 6.79897 not-muc 1220548 unknown 370 muc 102
8.39/8.45 c iter 104 time 6.83896 not-muc 1220548 unknown 369 muc 103
8.39/8.45 c iter 105 time 6.87895 not-muc 1220548 unknown 368 muc 104
8.39/8.45 c iter 106 time 6.91895 not-muc 1220548 unknown 367 muc 105
8.39/8.45 c iter 107 time 6.95894 not-muc 1220548 unknown 366 muc 106
8.39/8.45 c iter 108 time 6.99894 not-muc 1220548 unknown 365 muc 107
8.39/8.45 c iter 109 time 7.03993 not-muc 1220548 unknown 364 muc 108
8.39/8.45 c iter 110 time 7.07992 not-muc 1220548 unknown 363 muc 109
8.39/8.45 c iter 111 time 7.12092 not-muc 1220548 unknown 362 muc 110
8.39/8.45 c iter 112 time 7.16191 not-muc 1220548 unknown 361 muc 111
8.39/8.45 c iter 113 time 7.2029 not-muc 1220548 unknown 360 muc 112
8.39/8.45 c iter 114 time 7.2439 not-muc 1220548 unknown 359 muc 113
8.39/8.45 c iter 115 time 7.28489 not-muc 1220548 unknown 358 muc 114
8.39/8.45 c iter 116 time 7.32589 not-muc 1220548 unknown 357 muc 115
8.39/8.45 c iter 117 time 7.36688 not-muc 1220548 unknown 356 muc 116
8.39/8.45 c iter 118 time 7.40787 not-muc 1220548 unknown 355 muc 117
8.39/8.45 c iter 119 time 7.44787 not-muc 1220548 unknown 354 muc 118
8.39/8.45 c iter 120 time 7.48886 not-muc 1220548 unknown 353 muc 119
8.39/8.45 c iter 121 time 7.52985 not-muc 1220548 unknown 352 muc 120
8.39/8.45 c iter 122 time 7.57085 not-muc 1220548 unknown 351 muc 121
8.39/8.45 c iter 123 time 7.61084 not-muc 1220548 unknown 350 muc 122
8.39/8.45 c iter 124 time 7.65184 not-muc 1220548 unknown 349 muc 123
8.39/8.45 c iter 125 time 7.69283 not-muc 1220548 unknown 348 muc 124
8.39/8.45 c iter 126 time 7.73382 not-muc 1220548 unknown 347 muc 125
8.39/8.45 c iter 127 time 7.77482 not-muc 1220548 unknown 346 muc 126
8.39/8.45 c iter 128 time 7.81481 not-muc 1220548 unknown 345 muc 127
8.39/8.45 c iter 129 time 7.85581 not-muc 1220548 unknown 344 muc 128
8.39/8.45 c iter 130 time 7.8958 not-muc 1220548 unknown 343 muc 129
8.39/8.45 c iter 131 time 7.93679 not-muc 1220548 unknown 342 muc 130
8.39/8.45 c iter 132 time 7.97679 not-muc 1220548 unknown 341 muc 131
8.39/8.45 c iter 133 time 8.01778 not-muc 1220548 unknown 340 muc 132
8.39/8.45 c iter 134 time 8.05777 not-muc 1220548 unknown 339 muc 133
8.39/8.45 c iter 135 time 8.09777 not-muc 1220548 unknown 338 muc 134
8.39/8.45 c iter 136 time 8.13776 not-muc 1220548 unknown 337 muc 135
8.39/8.45 c iter 137 time 8.17876 not-muc 1220548 unknown 336 muc 136
8.39/8.45 c iter 138 time 8.21975 not-muc 1220548 unknown 335 muc 137
8.39/8.45 c iter 139 time 8.26074 not-muc 1220548 unknown 334 muc 138
8.39/8.45 c iter 140 time 8.30074 not-muc 1220548 unknown 333 muc 139
10.89/10.97 c iter 141 time 8.34073 not-muc 1220548 unknown 332 muc 140
10.89/10.97 c iter 142 time 8.38172 not-muc 1220548 unknown 331 muc 141
10.89/10.97 c iter 143 time 8.42272 not-muc 1220548 unknown 330 muc 142
10.89/10.97 c iter 144 time 8.46371 not-muc 1220548 unknown 329 muc 143
10.89/10.97 c iter 145 time 8.50371 not-muc 1220548 unknown 328 muc 144
10.89/10.97 c iter 146 time 8.5447 not-muc 1220548 unknown 327 muc 145
10.89/10.97 c iter 147 time 8.58569 not-muc 1220548 unknown 326 muc 146
10.89/10.97 c iter 148 time 8.62669 not-muc 1220548 unknown 325 muc 147
10.89/10.97 c iter 149 time 8.66668 not-muc 1220548 unknown 324 muc 148
10.89/10.97 c iter 150 time 8.70768 not-muc 1220548 unknown 323 muc 149
10.89/10.97 c iter 151 time 8.74867 not-muc 1220548 unknown 322 muc 150
10.89/10.97 c iter 152 time 8.78966 not-muc 1220548 unknown 321 muc 151
10.89/10.97 c iter 153 time 8.83066 not-muc 1220548 unknown 320 muc 152
10.89/10.97 c iter 154 time 8.86565 not-muc 1220548 unknown 319 muc 153
10.89/10.97 c iter 155 time 8.90165 not-muc 1220548 unknown 318 muc 154
10.89/10.97 c iter 156 time 8.93664 not-muc 1220548 unknown 317 muc 155
10.89/10.97 c iter 157 time 8.97264 not-muc 1220548 unknown 316 muc 156
10.89/10.97 c iter 158 time 9.00763 not-muc 1220548 unknown 315 muc 157
10.89/10.97 c iter 159 time 9.04363 not-muc 1220548 unknown 314 muc 158
10.89/10.97 c iter 160 time 9.07962 not-muc 1220548 unknown 313 muc 159
10.89/10.97 c iter 161 time 9.11461 not-muc 1220548 unknown 312 muc 160
10.89/10.97 c iter 162 time 9.15061 not-muc 1220548 unknown 311 muc 161
10.89/10.97 c iter 163 time 9.1866 not-muc 1220548 unknown 310 muc 162
10.89/10.97 c iter 164 time 9.2226 not-muc 1220548 unknown 309 muc 163
10.89/10.97 c iter 165 time 9.25859 not-muc 1220548 unknown 308 muc 164
10.89/10.97 c iter 166 time 9.29459 not-muc 1220548 unknown 307 muc 165
10.89/10.97 c iter 167 time 9.32958 not-muc 1220548 unknown 306 muc 166
10.89/10.97 c iter 168 time 9.36558 not-muc 1220548 unknown 305 muc 167
10.89/10.97 c iter 169 time 9.40157 not-muc 1220548 unknown 304 muc 168
10.89/10.97 c iter 170 time 9.43756 not-muc 1220548 unknown 303 muc 169
10.89/10.97 c iter 171 time 9.47356 not-muc 1220548 unknown 302 muc 170
10.89/10.97 c iter 172 time 9.50955 not-muc 1220548 unknown 301 muc 171
10.89/10.97 c iter 173 time 9.54555 not-muc 1220548 unknown 300 muc 172
10.89/10.97 c iter 174 time 9.58154 not-muc 1220548 unknown 299 muc 173
10.89/10.97 c iter 175 time 9.61654 not-muc 1220548 unknown 298 muc 174
10.89/10.97 c iter 176 time 9.65253 not-muc 1220548 unknown 297 muc 175
10.89/10.97 c iter 177 time 9.68853 not-muc 1220548 unknown 296 muc 176
10.89/10.97 c iter 178 time 9.72452 not-muc 1220548 unknown 295 muc 177
10.89/10.97 c iter 179 time 9.76052 not-muc 1220548 unknown 294 muc 178
10.89/10.97 c iter 180 time 9.79751 not-muc 1220548 unknown 293 muc 179
10.89/10.97 c iter 181 time 9.83351 not-muc 1220548 unknown 292 muc 180
10.89/10.97 c iter 182 time 9.8695 not-muc 1220548 unknown 291 muc 181
10.89/10.97 c iter 183 time 9.90549 not-muc 1220548 unknown 290 muc 182
10.89/10.97 c iter 184 time 9.94249 not-muc 1220548 unknown 289 muc 183
10.89/10.97 c iter 185 time 9.97848 not-muc 1220548 unknown 288 muc 184
10.89/10.97 c iter 186 time 10.0145 not-muc 1220548 unknown 287 muc 185
10.89/10.97 c iter 187 time 10.0505 not-muc 1220548 unknown 286 muc 186
10.89/10.97 c iter 188 time 10.0875 not-muc 1220548 unknown 285 muc 187
10.89/10.97 c iter 189 time 10.1235 not-muc 1220548 unknown 284 muc 188
10.89/10.97 c iter 190 time 10.1605 not-muc 1220548 unknown 283 muc 189
10.89/10.97 c iter 191 time 10.1974 not-muc 1220548 unknown 282 muc 190
10.89/10.97 c iter 192 time 10.2334 not-muc 1220548 unknown 281 muc 191
10.89/10.97 c iter 193 time 10.2704 not-muc 1220548 unknown 280 muc 192
10.89/10.97 c iter 194 time 10.3074 not-muc 1220548 unknown 279 muc 193
10.89/10.97 c iter 195 time 10.3434 not-muc 1220548 unknown 278 muc 194
10.89/10.97 c iter 196 time 10.3804 not-muc 1220548 unknown 277 muc 195
10.89/10.97 c iter 197 time 10.4174 not-muc 1220548 unknown 276 muc 196
10.89/10.97 c iter 198 time 10.4544 not-muc 1220548 unknown 275 muc 197
10.89/10.97 c iter 199 time 10.4914 not-muc 1220548 unknown 274 muc 198
10.89/10.97 c iter 200 time 10.5284 not-muc 1220548 unknown 273 muc 199
10.89/10.97 c iter 201 time 10.5654 not-muc 1220548 unknown 272 muc 200
10.89/10.97 c iter 202 time 10.6024 not-muc 1220548 unknown 271 muc 201
10.89/10.97 c iter 203 time 10.6394 not-muc 1220548 unknown 270 muc 202
10.89/10.97 c iter 204 time 10.6764 not-muc 1220548 unknown 269 muc 203
10.89/10.97 c iter 205 time 10.7134 not-muc 1220548 unknown 268 muc 204
10.89/10.97 c iter 206 time 10.7504 not-muc 1220548 unknown 267 muc 205
10.89/10.97 c iter 207 time 10.7874 not-muc 1220548 unknown 266 muc 206
10.89/10.97 c iter 208 time 10.8244 not-muc 1220548 unknown 265 muc 207
13.49/13.53 c iter 209 time 10.8613 not-muc 1220548 unknown 264 muc 208
13.49/13.53 c iter 210 time 10.8983 not-muc 1220548 unknown 263 muc 209
13.49/13.53 c iter 211 time 10.9353 not-muc 1220548 unknown 262 muc 210
13.49/13.53 c iter 212 time 10.9723 not-muc 1220548 unknown 261 muc 211
13.49/13.53 c iter 213 time 11.0093 not-muc 1220548 unknown 260 muc 212
13.49/13.53 c iter 214 time 11.0473 not-muc 1220548 unknown 259 muc 213
13.49/13.53 c iter 215 time 11.0843 not-muc 1220548 unknown 258 muc 214
13.49/13.53 c iter 216 time 11.1213 not-muc 1220548 unknown 257 muc 215
13.49/13.53 c iter 217 time 11.1593 not-muc 1220548 unknown 256 muc 216
13.49/13.53 c iter 218 time 11.1963 not-muc 1220548 unknown 255 muc 217
13.49/13.53 c iter 219 time 11.2343 not-muc 1220548 unknown 254 muc 218
13.49/13.53 c iter 220 time 11.2713 not-muc 1220548 unknown 253 muc 219
13.49/13.53 c iter 221 time 11.3093 not-muc 1220548 unknown 252 muc 220
13.49/13.53 c iter 222 time 11.3463 not-muc 1220548 unknown 251 muc 221
13.49/13.53 c iter 223 time 11.3843 not-muc 1220548 unknown 250 muc 222
13.49/13.53 c iter 224 time 11.4213 not-muc 1220548 unknown 249 muc 223
13.49/13.53 c iter 225 time 11.4593 not-muc 1220548 unknown 248 muc 224
13.49/13.53 c iter 226 time 11.4973 not-muc 1220548 unknown 247 muc 225
13.49/13.53 c iter 227 time 11.5342 not-muc 1220548 unknown 246 muc 226
13.49/13.53 c iter 228 time 11.5722 not-muc 1220548 unknown 245 muc 227
13.49/13.53 c iter 229 time 11.6092 not-muc 1220548 unknown 244 muc 228
13.49/13.53 c iter 230 time 11.6472 not-muc 1220548 unknown 243 muc 229
13.49/13.53 c iter 231 time 11.6842 not-muc 1220548 unknown 242 muc 230
13.49/13.53 c iter 232 time 11.7212 not-muc 1220548 unknown 241 muc 231
13.49/13.53 c iter 233 time 11.7582 not-muc 1220548 unknown 240 muc 232
13.49/13.53 c iter 234 time 11.7962 not-muc 1220548 unknown 239 muc 233
13.49/13.53 c iter 235 time 11.8332 not-muc 1220548 unknown 238 muc 234
13.49/13.53 c iter 236 time 11.8702 not-muc 1220548 unknown 237 muc 235
13.49/13.53 c iter 237 time 11.9062 not-muc 1220548 unknown 236 muc 236
13.49/13.53 c iter 238 time 11.9432 not-muc 1220548 unknown 235 muc 237
13.49/13.53 c iter 239 time 11.9802 not-muc 1220548 unknown 234 muc 238
13.49/13.53 c iter 240 time 12.0172 not-muc 1220548 unknown 233 muc 239
13.49/13.53 c iter 241 time 12.0542 not-muc 1220548 unknown 232 muc 240
13.49/13.53 c iter 242 time 12.0912 not-muc 1220548 unknown 231 muc 241
13.49/13.53 c iter 243 time 12.1282 not-muc 1220548 unknown 230 muc 242
13.49/13.53 c iter 244 time 12.1652 not-muc 1220548 unknown 229 muc 243
13.49/13.53 c iter 245 time 12.2021 not-muc 1220548 unknown 228 muc 244
13.49/13.53 c iter 246 time 12.2391 not-muc 1220548 unknown 227 muc 245
13.49/13.53 c iter 247 time 12.2761 not-muc 1220548 unknown 226 muc 246
13.49/13.53 c iter 248 time 12.3131 not-muc 1220548 unknown 225 muc 247
13.49/13.53 c iter 249 time 12.3501 not-muc 1220548 unknown 224 muc 248
13.49/13.53 c iter 250 time 12.3881 not-muc 1220548 unknown 223 muc 249
13.49/13.53 c iter 251 time 12.4241 not-muc 1220548 unknown 222 muc 250
13.49/13.53 c iter 252 time 12.4611 not-muc 1220548 unknown 221 muc 251
13.49/13.53 c iter 253 time 12.4981 not-muc 1220548 unknown 220 muc 252
13.49/13.53 c iter 254 time 12.5351 not-muc 1220548 unknown 219 muc 253
13.49/13.53 c iter 255 time 12.5721 not-muc 1220548 unknown 218 muc 254
13.49/13.53 c iter 256 time 12.6091 not-muc 1220548 unknown 217 muc 255
13.49/13.53 c iter 257 time 12.6461 not-muc 1220548 unknown 216 muc 256
13.49/13.53 c iter 258 time 12.6831 not-muc 1220548 unknown 215 muc 257
13.49/13.53 c iter 259 time 12.7191 not-muc 1220548 unknown 214 muc 258
13.49/13.53 c iter 260 time 12.7561 not-muc 1220548 unknown 213 muc 259
13.49/13.53 c iter 261 time 12.7931 not-muc 1220548 unknown 212 muc 260
13.49/13.53 c iter 262 time 12.83 not-muc 1220548 unknown 211 muc 261
13.49/13.53 c iter 263 time 12.867 not-muc 1220548 unknown 210 muc 262
13.49/13.53 c iter 264 time 12.904 not-muc 1220548 unknown 209 muc 263
13.49/13.53 c iter 265 time 12.941 not-muc 1220548 unknown 208 muc 264
13.49/13.53 c iter 266 time 12.978 not-muc 1220548 unknown 207 muc 265
13.49/13.53 c iter 267 time 13.015 not-muc 1220548 unknown 206 muc 266
13.49/13.53 c iter 268 time 13.052 not-muc 1220548 unknown 205 muc 267
13.49/13.53 c iter 269 time 13.089 not-muc 1220548 unknown 204 muc 268
13.49/13.53 c iter 270 time 13.125 not-muc 1220548 unknown 203 muc 269
13.49/13.53 c iter 271 time 13.162 not-muc 1220548 unknown 202 muc 270
13.49/13.53 c iter 272 time 13.199 not-muc 1220548 unknown 201 muc 271
13.49/13.53 c iter 273 time 13.236 not-muc 1220548 unknown 200 muc 272
13.49/13.53 c iter 274 time 13.273 not-muc 1220548 unknown 199 muc 273
13.49/13.53 c iter 275 time 13.31 not-muc 1220548 unknown 198 muc 274
13.49/13.53 c iter 276 time 13.346 not-muc 1220548 unknown 197 muc 275
13.49/13.53 c iter 277 time 13.383 not-muc 1220548 unknown 196 muc 276
15.79/15.82 c iter 278 time 13.42 not-muc 1220548 unknown 195 muc 277
15.79/15.82 c iter 279 time 13.457 not-muc 1220548 unknown 194 muc 278
15.79/15.82 c iter 280 time 13.4939 not-muc 1220548 unknown 193 muc 279
15.79/15.82 c iter 281 time 13.5299 not-muc 1220548 unknown 192 muc 280
15.79/15.82 c iter 282 time 13.5669 not-muc 1220548 unknown 191 muc 281
15.79/15.82 c iter 283 time 13.6039 not-muc 1220548 unknown 190 muc 282
15.79/15.82 c iter 284 time 13.6409 not-muc 1220548 unknown 189 muc 283
15.79/15.82 c iter 285 time 13.6779 not-muc 1220548 unknown 188 muc 284
15.79/15.82 c iter 286 time 13.7149 not-muc 1220548 unknown 187 muc 285
15.79/15.82 c iter 287 time 13.7519 not-muc 1220548 unknown 186 muc 286
15.79/15.82 c iter 288 time 13.7879 not-muc 1220548 unknown 185 muc 287
15.79/15.82 c iter 289 time 13.8249 not-muc 1220548 unknown 184 muc 288
15.79/15.82 c iter 290 time 13.8619 not-muc 1220548 unknown 183 muc 289
15.79/15.82 c iter 291 time 13.8989 not-muc 1220548 unknown 182 muc 290
15.79/15.82 c iter 292 time 13.9349 not-muc 1220548 unknown 181 muc 291
15.79/15.82 c iter 293 time 13.9719 not-muc 1220548 unknown 180 muc 292
15.79/15.82 c iter 294 time 14.0089 not-muc 1220548 unknown 179 muc 293
15.79/15.82 c iter 295 time 14.0459 not-muc 1220548 unknown 178 muc 294
15.79/15.82 c iter 296 time 14.0829 not-muc 1220548 unknown 177 muc 295
15.79/15.82 c iter 297 time 14.1189 not-muc 1220548 unknown 176 muc 296
15.79/15.82 c iter 298 time 14.1558 not-muc 1220548 unknown 175 muc 297
15.79/15.82 c iter 299 time 14.1928 not-muc 1220548 unknown 174 muc 298
15.79/15.82 c iter 300 time 14.2298 not-muc 1220548 unknown 173 muc 299
15.79/15.82 c iter 301 time 14.2668 not-muc 1220548 unknown 172 muc 300
15.79/15.82 c iter 302 time 14.3038 not-muc 1220548 unknown 171 muc 301
15.79/15.82 c iter 303 time 14.3398 not-muc 1220548 unknown 170 muc 302
15.79/15.82 c iter 304 time 14.3768 not-muc 1220548 unknown 169 muc 303
15.79/15.82 c iter 305 time 14.4138 not-muc 1220548 unknown 168 muc 304
15.79/15.82 c iter 306 time 14.4498 not-muc 1220548 unknown 167 muc 305
15.79/15.82 c iter 307 time 14.4868 not-muc 1220548 unknown 166 muc 306
15.79/15.82 c iter 308 time 14.5238 not-muc 1220548 unknown 165 muc 307
15.79/15.82 c iter 309 time 14.5608 not-muc 1220548 unknown 164 muc 308
15.79/15.82 c iter 310 time 14.5978 not-muc 1220548 unknown 163 muc 309
15.79/15.82 c iter 311 time 14.6338 not-muc 1220548 unknown 162 muc 310
15.79/15.82 c iter 312 time 14.6708 not-muc 1220548 unknown 161 muc 311
15.79/15.82 c iter 313 time 14.7078 not-muc 1220548 unknown 160 muc 312
15.79/15.82 c iter 314 time 14.7448 not-muc 1220548 unknown 159 muc 313
15.79/15.82 c iter 315 time 14.7818 not-muc 1220548 unknown 158 muc 314
15.79/15.82 c iter 316 time 14.8117 not-muc 1220548 unknown 157 muc 315
15.79/15.82 c iter 317 time 14.8407 not-muc 1220548 unknown 156 muc 316
15.79/15.82 c iter 318 time 14.8707 not-muc 1220548 unknown 155 muc 317
15.79/15.82 c iter 319 time 14.9007 not-muc 1220548 unknown 154 muc 318
15.79/15.82 c iter 320 time 14.9307 not-muc 1220548 unknown 153 muc 319
15.79/15.82 c iter 321 time 14.9607 not-muc 1220548 unknown 152 muc 320
15.79/15.82 c iter 322 time 14.9897 not-muc 1220548 unknown 151 muc 321
15.79/15.82 c iter 323 time 15.0197 not-muc 1220548 unknown 150 muc 322
15.79/15.82 c iter 324 time 15.0497 not-muc 1220548 unknown 149 muc 323
15.79/15.82 c iter 325 time 15.0797 not-muc 1220548 unknown 148 muc 324
15.79/15.82 c iter 326 time 15.1097 not-muc 1220548 unknown 147 muc 325
15.79/15.82 c iter 327 time 15.1397 not-muc 1220548 unknown 146 muc 326
15.79/15.82 c iter 328 time 15.1697 not-muc 1220548 unknown 145 muc 327
15.79/15.82 c iter 329 time 15.1997 not-muc 1220548 unknown 144 muc 328
15.79/15.82 c iter 330 time 15.2297 not-muc 1220548 unknown 143 muc 329
15.79/15.82 c iter 331 time 15.2597 not-muc 1220548 unknown 142 muc 330
15.79/15.82 c iter 332 time 15.2897 not-muc 1220548 unknown 141 muc 331
15.79/15.82 c iter 333 time 15.3187 not-muc 1220548 unknown 140 muc 332
15.79/15.82 c iter 334 time 15.3487 not-muc 1220548 unknown 139 muc 333
15.79/15.82 c iter 335 time 15.3787 not-muc 1220548 unknown 138 muc 334
15.79/15.82 c iter 336 time 15.4087 not-muc 1220548 unknown 137 muc 335
15.79/15.82 c iter 337 time 15.4387 not-muc 1220548 unknown 136 muc 336
15.79/15.82 c iter 338 time 15.4676 not-muc 1220548 unknown 135 muc 337
15.79/15.82 c iter 339 time 15.4976 not-muc 1220548 unknown 134 muc 338
15.79/15.82 c iter 340 time 15.5276 not-muc 1220548 unknown 133 muc 339
15.79/15.82 c iter 341 time 15.5576 not-muc 1220548 unknown 132 muc 340
15.79/15.82 c iter 342 time 15.5866 not-muc 1220548 unknown 131 muc 341
15.79/15.82 c iter 343 time 15.6166 not-muc 1220548 unknown 130 muc 342
15.79/15.82 c iter 344 time 15.6466 not-muc 1220548 unknown 129 muc 343
15.79/15.82 c iter 345 time 15.6766 not-muc 1220548 unknown 128 muc 344
17.89/17.91 c iter 346 time 15.7066 not-muc 1220548 unknown 127 muc 345
17.89/17.91 c iter 347 time 15.7366 not-muc 1220548 unknown 126 muc 346
17.89/17.91 c iter 348 time 15.7666 not-muc 1220548 unknown 125 muc 347
17.89/17.91 c iter 349 time 15.7966 not-muc 1220548 unknown 124 muc 348
17.89/17.91 c iter 350 time 15.8266 not-muc 1220548 unknown 123 muc 349
17.89/17.91 c iter 351 time 15.8566 not-muc 1220548 unknown 122 muc 350
17.89/17.91 c iter 352 time 15.8866 not-muc 1220548 unknown 121 muc 351
17.89/17.91 c iter 353 time 15.9166 not-muc 1220548 unknown 120 muc 352
17.89/17.91 c iter 354 time 15.9466 not-muc 1220548 unknown 119 muc 353
17.89/17.91 c iter 355 time 15.9766 not-muc 1220548 unknown 118 muc 354
17.89/17.91 c iter 356 time 16.0066 not-muc 1220548 unknown 117 muc 355
17.89/17.91 c iter 357 time 16.0356 not-muc 1220548 unknown 116 muc 356
17.89/17.91 c iter 358 time 16.0656 not-muc 1220548 unknown 115 muc 357
17.89/17.91 c iter 359 time 16.0956 not-muc 1220548 unknown 114 muc 358
17.89/17.91 c iter 360 time 16.1245 not-muc 1220548 unknown 113 muc 359
17.89/17.91 c iter 361 time 16.1545 not-muc 1220548 unknown 112 muc 360
17.89/17.91 c iter 362 time 16.1845 not-muc 1220548 unknown 111 muc 361
17.89/17.91 c iter 363 time 16.2155 not-muc 1220548 unknown 110 muc 362
17.89/17.91 c iter 364 time 16.2455 not-muc 1220548 unknown 109 muc 363
17.89/17.91 c iter 365 time 16.2745 not-muc 1220548 unknown 108 muc 364
17.89/17.91 c iter 366 time 16.3045 not-muc 1220548 unknown 107 muc 365
17.89/17.91 c iter 367 time 16.3345 not-muc 1220548 unknown 106 muc 366
17.89/17.91 c iter 368 time 16.3655 not-muc 1220548 unknown 105 muc 367
17.89/17.91 c iter 369 time 16.3955 not-muc 1220548 unknown 104 muc 368
17.89/17.91 c iter 370 time 16.4255 not-muc 1220548 unknown 103 muc 369
17.89/17.91 c iter 371 time 16.4555 not-muc 1220548 unknown 102 muc 370
17.89/17.91 c iter 372 time 16.4855 not-muc 1220548 unknown 101 muc 371
17.89/17.91 c iter 373 time 16.5185 not-muc 1220548 unknown 100 muc 372
17.89/17.91 c iter 374 time 16.5485 not-muc 1220548 unknown 99 muc 373
17.89/17.91 c iter 375 time 16.5805 not-muc 1220548 unknown 98 muc 374
17.89/17.91 c iter 376 time 16.6135 not-muc 1220548 unknown 97 muc 375
17.89/17.91 c iter 377 time 16.6435 not-muc 1220548 unknown 96 muc 376
17.89/17.91 c iter 378 time 16.6765 not-muc 1220548 unknown 95 muc 377
17.89/17.91 c iter 379 time 16.7085 not-muc 1220548 unknown 94 muc 378
17.89/17.91 c iter 380 time 16.7395 not-muc 1220548 unknown 93 muc 379
17.89/17.91 c iter 381 time 16.7694 not-muc 1220548 unknown 92 muc 380
17.89/17.91 c iter 382 time 16.8014 not-muc 1220548 unknown 91 muc 381
17.89/17.91 c iter 383 time 16.8314 not-muc 1220548 unknown 90 muc 382
17.89/17.91 c iter 384 time 16.8614 not-muc 1220548 unknown 89 muc 383
17.89/17.91 c iter 385 time 16.8914 not-muc 1220548 unknown 88 muc 384
17.89/17.91 c iter 386 time 16.9214 not-muc 1220548 unknown 87 muc 385
17.89/17.91 c iter 387 time 16.9524 not-muc 1220548 unknown 86 muc 386
17.89/17.91 c iter 388 time 16.9824 not-muc 1220548 unknown 85 muc 387
17.89/17.91 c iter 389 time 17.0124 not-muc 1220548 unknown 84 muc 388
17.89/17.91 c iter 390 time 17.0434 not-muc 1220548 unknown 83 muc 389
17.89/17.91 c iter 391 time 17.0734 not-muc 1220548 unknown 82 muc 390
17.89/17.91 c iter 392 time 17.1044 not-muc 1220548 unknown 81 muc 391
17.89/17.91 c iter 393 time 17.1344 not-muc 1220548 unknown 80 muc 392
17.89/17.91 c iter 394 time 17.1644 not-muc 1220548 unknown 79 muc 393
17.89/17.91 c iter 395 time 17.1944 not-muc 1220548 unknown 78 muc 394
17.89/17.91 c iter 396 time 17.2254 not-muc 1220548 unknown 77 muc 395
17.89/17.91 c iter 397 time 17.2554 not-muc 1220548 unknown 76 muc 396
17.89/17.91 c iter 398 time 17.2864 not-muc 1220548 unknown 75 muc 397
17.89/17.91 c iter 399 time 17.3164 not-muc 1220548 unknown 74 muc 398
17.89/17.91 c iter 400 time 17.3464 not-muc 1220548 unknown 73 muc 399
17.89/17.91 c iter 401 time 17.3754 not-muc 1220548 unknown 72 muc 400
17.89/17.91 c iter 402 time 17.4054 not-muc 1220548 unknown 71 muc 401
17.89/17.91 c iter 403 time 17.4353 not-muc 1220548 unknown 70 muc 402
17.89/17.91 c iter 404 time 17.4653 not-muc 1220548 unknown 69 muc 403
17.89/17.91 c iter 405 time 17.4953 not-muc 1220548 unknown 68 muc 404
17.89/17.91 c iter 406 time 17.5243 not-muc 1220548 unknown 67 muc 405
17.89/17.91 c iter 407 time 17.5543 not-muc 1220548 unknown 66 muc 406
17.89/17.91 c iter 408 time 17.5843 not-muc 1220548 unknown 65 muc 407
17.89/17.91 c iter 409 time 17.6143 not-muc 1220548 unknown 64 muc 408
17.89/17.91 c iter 410 time 17.6443 not-muc 1220548 unknown 63 muc 409
17.89/17.91 c iter 411 time 17.6753 not-muc 1220548 unknown 62 muc 410
17.89/17.91 c iter 412 time 17.7053 not-muc 1220548 unknown 61 muc 411
17.89/17.91 c iter 413 time 17.7353 not-muc 1220548 unknown 60 muc 412
17.89/17.91 c iter 414 time 17.7653 not-muc 1220548 unknown 59 muc 413
19.69/19.74 c iter 415 time 17.7963 not-muc 1220548 unknown 58 muc 414
19.69/19.74 c iter 416 time 17.8263 not-muc 1220548 unknown 57 muc 415
19.69/19.74 c iter 417 time 17.8563 not-muc 1220548 unknown 56 muc 416
19.69/19.74 c iter 418 time 17.9023 not-muc 1220548 unknown 55 muc 417
19.69/19.74 c iter 419 time 17.9333 not-muc 1220548 unknown 54 muc 418
19.69/19.74 c iter 420 time 17.9633 not-muc 1220548 unknown 53 muc 419
19.69/19.74 c iter 421 time 17.9933 not-muc 1220548 unknown 52 muc 420
19.69/19.74 c iter 422 time 18.0233 not-muc 1220548 unknown 51 muc 421
19.69/19.74 c iter 423 time 18.0543 not-muc 1220548 unknown 50 muc 422
19.69/19.74 c iter 424 time 18.0843 not-muc 1220548 unknown 49 muc 423
19.69/19.74 c iter 425 time 18.1142 not-muc 1220548 unknown 48 muc 424
19.69/19.74 c iter 426 time 18.1442 not-muc 1220548 unknown 47 muc 425
19.69/19.74 c iter 427 time 18.1742 not-muc 1220548 unknown 46 muc 426
19.69/19.74 c iter 428 time 18.2042 not-muc 1220548 unknown 45 muc 427
19.69/19.74 c iter 429 time 18.2342 not-muc 1220548 unknown 44 muc 428
19.69/19.74 c iter 430 time 18.2652 not-muc 1220548 unknown 43 muc 429
19.69/19.74 c iter 431 time 18.2952 not-muc 1220548 unknown 42 muc 430
19.69/19.74 c iter 432 time 18.3252 not-muc 1220548 unknown 41 muc 431
19.69/19.74 c iter 433 time 18.3552 not-muc 1220548 unknown 40 muc 432
19.69/19.74 c iter 434 time 18.3852 not-muc 1220548 unknown 39 muc 433
19.69/19.74 c iter 435 time 18.4152 not-muc 1220548 unknown 38 muc 434
19.69/19.74 c iter 436 time 18.4452 not-muc 1220548 unknown 37 muc 435
19.69/19.74 c iter 437 time 18.4752 not-muc 1220548 unknown 36 muc 436
19.69/19.74 c iter 438 time 18.5052 not-muc 1220548 unknown 35 muc 437
19.69/19.74 c iter 439 time 18.5352 not-muc 1220548 unknown 34 muc 438
19.69/19.74 c iter 440 time 18.5652 not-muc 1220548 unknown 33 muc 439
19.69/19.74 c iter 441 time 18.5952 not-muc 1220548 unknown 32 muc 440
19.69/19.74 c iter 442 time 18.6252 not-muc 1220548 unknown 31 muc 441
19.69/19.74 c iter 443 time 18.6552 not-muc 1220548 unknown 30 muc 442
19.69/19.74 c iter 444 time 18.6852 not-muc 1220548 unknown 29 muc 443
19.69/19.74 c iter 445 time 18.7142 not-muc 1220548 unknown 28 muc 444
19.69/19.74 c iter 446 time 18.7442 not-muc 1220548 unknown 27 muc 445
19.69/19.74 c iter 447 time 18.7741 not-muc 1220548 unknown 26 muc 446
19.69/19.74 c iter 448 time 18.8041 not-muc 1220548 unknown 25 muc 447
19.69/19.74 c iter 449 time 18.8341 not-muc 1220548 unknown 24 muc 448
19.69/19.74 c iter 450 time 18.8641 not-muc 1220548 unknown 23 muc 449
19.69/19.74 c iter 451 time 18.8941 not-muc 1220548 unknown 22 muc 450
19.69/19.74 c iter 452 time 18.9241 not-muc 1220548 unknown 21 muc 451
19.69/19.74 c iter 453 time 18.9541 not-muc 1220548 unknown 20 muc 452
19.69/19.74 c iter 454 time 18.9841 not-muc 1220548 unknown 19 muc 453
19.69/19.74 c iter 455 time 19.0141 not-muc 1220548 unknown 18 muc 454
19.69/19.74 c iter 456 time 19.0431 not-muc 1220548 unknown 17 muc 455
19.69/19.74 c iter 457 time 19.0741 not-muc 1220548 unknown 16 muc 456
19.69/19.74 c iter 458 time 19.1041 not-muc 1220548 unknown 15 muc 457
19.69/19.74 c iter 459 time 19.1341 not-muc 1220548 unknown 14 muc 458
19.69/19.74 c iter 460 time 19.1641 not-muc 1220548 unknown 13 muc 459
19.69/19.74 c iter 461 time 19.1941 not-muc 1220548 unknown 12 muc 460
19.69/19.74 c iter 462 time 19.2241 not-muc 1220548 unknown 11 muc 461
19.69/19.74 c iter 463 time 19.2541 not-muc 1220548 unknown 10 muc 462
19.69/19.74 c iter 464 time 19.3001 not-muc 1220548 unknown 9 muc 463
19.69/19.74 c iter 465 time 19.3301 not-muc 1220548 unknown 8 muc 464
19.69/19.74 c iter 466 time 19.3601 not-muc 1220548 unknown 7 muc 465
19.69/19.75 c iter 467 time 19.3901 not-muc 1220548 unknown 6 muc 466
19.69/19.75 c iter 468 time 19.437 not-muc 1220548 unknown 5 muc 467
19.69/19.75 c iter 469 time 19.467 not-muc 1220548 unknown 4 muc 468
19.69/19.75 c iter 470 time 19.497 not-muc 1220548 unknown 3 muc 469
19.69/19.75 c iter 471 time 19.527 not-muc 1220548 unknown 2 muc 470
19.69/19.75 c iter 472 time 19.573 not-muc 1220548 unknown 1 muc 471
19.69/19.75 c final iter 473 time 19.599 not-muc 1220548 unknown 0 muc 472
19.69/19.75 v 705 2091 2668 3285 3287 3324 3332 3333 3335 3336 3403 3474 3545 3616 3687 3758 3829 3863 3864 3865 4046 4047 4126 4127 4130 4132 4133 4134 4135 4140 4141 4382 4544 4560 4576 4592 4608 4624 4640 4656 7963 7965 7967 8328 8330 9602 9964 9966 10164 10168 10170 10184 10186 10961 10992 11024 11056 11088 11120 11152 11184 11508 11595 11602 11608 11613 11649 11675 11681 11687 11754 11760 11766 11833 11838 11845 11856 11871 11884 11886 11911 11918 11924 11929 11965 11991 11997 12003 12070 12076 12082 12149 12155 12160 12179 12577 30836 30838 30887 31919 31934 31949 31970 31985 32006 32021 32042 32060 32069 32094 32100 32106 32108 32111 32114 32120 32123 32126 32132 32135 32138 32144 32147 32150 32156 32159 32162 32168 32171 32174 32180 32183 32186 32210 32211 32212 32213 32214 32215 32216 32356 114272 114274 114338 114479 114491 114503 114515 114526 114528 114532 114538 114544 114550 172190 172193 175113 175116 178035 178038 180957 180960 183879 183882 186801 186804 189723 189726 192645 192648 195273 195275 195291 195293 195300 195302 195363 195365 195372 195374 198340 198346 198349 198370 198399 198411 198417 198459 198465 198469 198478 201624 211387 211392 211395 211872 211876 211883 211897 215577 215579 216017 216062 216071 219771 219773 220211 220256 220265 223965 223967 224405 224450 224459 228159 228161 228599 228644 228653 232353 232355 232793 232838 232847 236547 236549 236987 237032 237041 240741 240743 241181 241226 241235 244958 244959 244960 244961 244962 244963 244964 253447 253458 253464 253465 253471 253477 253488 253489 253495 253501 253507 253518 253519 253525 253531 253559 253565 253568 253574 253580 253587 253595 253608 253610 253625 253636 253642 253648 253715 253721 253727 253794 253800 253806 253873 253878 253885 253896 253911 253924 253926 253951 253958 253964 253969 254005 254031 254037 254043 254110 254116 254122 272796 272801 272804 272805 272810 272813 272814 272819 272822 272849 272850 273006 273012 273018 273024 273030 273036 273148 273159 273165 273174 273180 273195 273201 273295 273300 273306 273312 273315 273326 273327 273338 273339 273345 273354 273360 273366 273442 273447 273453 273459 273467 273473 273474 273480 273491 273492 273503 273504 273510 273519 273525 273531 273589 273594 273600 273606 273609 273615 273626 273632 273638 273639 273645 273656 273657 273668 273669 273675 273684 273690 273696 273736 273747 273756 273767 273774 273785 273797 273798 273815 273816 273828 273834 273849 273855 273877 273882 273888 273891 273902 273908 273914 273915 273926 273927 273933 273944 273950 273956 273957 273963 273974 273975 273986 273987 273993 274002 274008 274014 274018 274026 274032 274038 274044 274055 274061 274067 274069 274072 274075 274081 274084 274087 274093 274096 274099 274105 274108 274111 274117 274120 274123 274129 274132 274135 274141 274144 274147 274156 274162 274165 274171 274172 274173 274174 274175 274176 274177 274317 356233 356235 356438 356446 356447 356452 356458 356464 356470 356476 356482 356487 356489 356493 356499 356505 356511 443585 597506 597512 598204 598210 598216 598223 598229 598253 681741 698493 732734 0
19.69/19.75 s UNSATISFIABLE
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-3494108-1307805953/watcher-3494108-1307805953 -o /tmp/evaluation-result-3494108-1307805953/solver-3494108-1307805953 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3494108-1307805953.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.98 4.02 3.80 5/193 16594
/proc/meminfo: memFree=30268364/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=21128 CPUtime=0 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 733 0 0 0 0 0 0 0 24 0 1 0 892193328 21635072 676 33554432000 4194304 4311632 140734232098640 18446744073709551615 4280096 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 5282 682 216 29 0 1911 0
[startup+0.10384 s]
/proc/loadavg: 3.98 4.02 3.80 5/193 16594
/proc/meminfo: memFree=30268364/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=117012 CPUtime=0.09 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 19138 0 0 0 7 2 0 0 24 0 1 0 892193328 119820288 18712 33554432000 4194304 4311632 140734232098640 18446744073709551615 4240641 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 29253 18718 216 29 0 25882 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 117012
[startup+0.200825 s]
/proc/loadavg: 3.98 4.02 3.80 5/193 16594
/proc/meminfo: memFree=30268364/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=207568 CPUtime=0.19 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 36780 0 0 0 15 4 0 0 25 0 1 0 892193328 212549632 36354 33554432000 4194304 4311632 140734232098640 18446744073709551615 271550198469 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 51892 36362 218 29 0 48521 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 207568
[startup+0.300804 s]
/proc/loadavg: 3.98 4.02 3.80 5/193 16594
/proc/meminfo: memFree=30268364/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=219632 CPUtime=0.29 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 40716 0 0 0 24 5 0 0 25 0 1 0 892193328 224903168 40091 33554432000 4194304 4311632 140734232098640 18446744073709551615 4222341 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 54908 40093 218 29 0 51537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 219632
[startup+0.700733 s]
/proc/loadavg: 3.98 4.02 3.80 5/193 16594
/proc/meminfo: memFree=30268364/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=277996 CPUtime=0.69 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 55739 0 0 0 62 7 0 0 25 0 1 0 892193328 284667904 53946 33554432000 4194304 4311632 140734232098640 18446744073709551615 271550198469 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 69499 53948 218 29 0 66128 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 277996
[startup+1.50059 s]
/proc/loadavg: 3.98 4.02 3.80 5/194 16595
/proc/meminfo: memFree=29817392/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=364724 CPUtime=1.49 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 77234 0 0 0 138 11 0 0 25 0 1 0 892193328 373477376 72076 33554432000 4194304 4311632 140734232098640 18446744073709551615 4296848 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 91181 72076 225 29 0 87810 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 364724
[startup+3.10029 s]
/proc/loadavg: 3.98 4.02 3.80 5/194 16595
/proc/meminfo: memFree=29734684/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=3.09 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96323 0 0 0 295 14 0 0 25 0 1 0 892193328 298274816 61027 33554432000 4194304 4311632 140734232098640 18446744073709551615 4247363 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61027 252 29 0 69450 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 291284
[startup+6.30071 s]
/proc/loadavg: 4.06 4.04 3.80 5/194 16595
/proc/meminfo: memFree=29854880/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=6.29 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96323 0 0 0 615 14 0 0 25 0 1 0 892193328 298274816 61027 33554432000 4194304 4311632 140734232098640 18446744073709551615 4247341 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61027 252 29 0 69450 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 291284
[startup+12.7005 s]
/proc/loadavg: 4.14 4.05 3.81 5/194 16595
/proc/meminfo: memFree=29963568/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=12.69 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96324 0 0 0 1255 14 0 0 25 0 1 0 892193328 298274816 61028 33554432000 4194304 4311632 140734232098640 18446744073709551615 4247435 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61028 253 29 0 69450 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 291284
Solver just ended. Dumping a history of the last processes samples
[startup+12.8005 s]
/proc/loadavg: 4.14 4.05 3.81 5/194 16595
/proc/meminfo: memFree=29963568/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=12.79 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96324 0 0 0 1265 14 0 0 25 0 1 0 892193328 298274816 61028 33554432000 4194304 4311632 140734232098640 18446744073709551615 4247341 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61028 253 29 0 69450 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 291284
[startup+16.0009 s]
/proc/loadavg: 4.13 4.05 3.81 5/194 16595
/proc/meminfo: memFree=29964080/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=15.99 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96324 0 0 0 1585 14 0 0 25 0 1 0 892193328 298274816 61028 33554432000 4194304 4311632 140734232098640 18446744073709551615 4277289 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61028 253 29 0 69450 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 291284
[startup+17.6007 s]
/proc/loadavg: 4.13 4.05 3.81 5/191 16623
/proc/meminfo: memFree=30055372/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=17.59 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96324 0 0 0 1745 14 0 0 25 0 1 0 892193328 298274816 61028 33554432000 4194304 4311632 140734232098640 18446744073709551615 4247254 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61028 253 29 0 69450 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 291284
[startup+18.4005 s]
/proc/loadavg: 4.13 4.05 3.81 5/191 16623
/proc/meminfo: memFree=30055372/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=18.39 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96324 0 0 0 1825 14 0 0 25 0 1 0 892193328 298274816 61028 33554432000 4194304 4311632 140734232098640 18446744073709551615 4247341 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61028 253 29 0 69450 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 291284
[startup+19.2004 s]
/proc/loadavg: 4.12 4.05 3.81 5/191 16623
/proc/meminfo: memFree=30100740/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=19.19 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96324 0 0 0 1905 14 0 0 25 0 1 0 892193328 298274816 61028 33554432000 4194304 4311632 140734232098640 18446744073709551615 4247403 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61028 253 29 0 69450 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 291284
[startup+19.6003 s]
/proc/loadavg: 4.12 4.05 3.81 5/191 16623
/proc/meminfo: memFree=30100740/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=19.59 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96324 0 0 0 1945 14 0 0 25 0 1 0 892193328 298274816 61028 33554432000 4194304 4311632 140734232098640 18446744073709551615 4247254 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61028 253 29 0 69450 0
Current children cumulated CPU time (s) 19.59
Current children cumulated vsize (KiB) 291284
[startup+19.7003 s]
/proc/loadavg: 4.12 4.05 3.81 5/191 16623
/proc/meminfo: memFree=30100740/32951124 swapFree=67054536/67111528
[pid=16594] ppid=16592 vsize=291284 CPUtime=19.69 cores=5,7
/proc/16594/stat : 16594 (hmuc-a) R 16592 16594 11621 0 -1 4202496 96324 0 0 0 1955 14 0 0 25 0 1 0 892193328 298274816 61028 33554432000 4194304 4311632 140734232098640 18446744073709551615 4247272 0 0 4096 8388610 0 0 0 17 5 0 0 0
/proc/16594/statm: 72821 61028 253 29 0 69450 0
Current children cumulated CPU time (s) 19.69
Current children cumulated vsize (KiB) 291284
Child status: 20
Real time (s): 19.761
CPU time (s): 19.756
CPU user time (s): 19.599
CPU system time (s): 0.156976
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 403468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.599
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 254
runsolver used 0.038994 second user time and 0.077988 second system time
The end
Begin job on node133 at 2011-06-11 17:25:54
IDJOB=3494108
IDBENCH=89442
IDSOLVER=1983
FILE ID=node133/3494108-1307805953
RUNJOBID= node133-1307804142-15791
PBS_JOBID= 13551015
Free space on /tmp= 73988 MiB
SOLVER NAME= Haifa-MUC-A 2011-04-07
BENCH NAME= SAT11/mus/marques-silva/design-debugging/wb_conmax3.dimacs.filtered.cnf
COMMAND LINE= HOME/hmuc-a BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3494108-1307805953/watcher-3494108-1307805953 -o /tmp/evaluation-result-3494108-1307805953/solver-3494108-1307805953 -C 1800 -W 1850 -M 7680 HOME/hmuc-a HOME/instance-3494108-1307805953.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 70661d58e23d97579ff78155ba3338cb
RANDOM SEED=929434400
node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 6741.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 30271016 kB
Buffers: 284628 kB
Cached: 1268328 kB
SwapCached: 10420 kB
Active: 1593068 kB
Inactive: 879920 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 30271016 kB
SwapTotal: 67111528 kB
SwapFree: 67054536 kB
Dirty: 102528 kB
Writeback: 92 kB
AnonPages: 917332 kB
Mapped: 13424 kB
Slab: 140904 kB
PageTables: 7024 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1373052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73920 MiB
End job on node133 at 2011-06-11 17:26:14