c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3500 | c | Number Clauses: 3500 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3499 3501 10350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18360 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 3499 3502 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18351 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 3499 3503 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18344 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 0 | 3499 3504 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18343 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 0 | 3499 3505 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18341 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 3499 3506 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18340 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 3499 3507 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18336 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 3499 3508 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18333 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 0 | 3499 3509 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18332 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 0 | 3499 3510 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18331 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 0 | 3499 3511 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18330 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 0 | 3499 3512 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18328 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 0 | 3499 3513 50550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18326 c Elapsed CPU time: 0.616906 s Remaining CPU time: 179.383 s c =============================================================================== c | 0 | 3499 3514 53900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18325 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 0 | 3499 3515 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18324 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s c =============================================================================== c | 0 | 3499 3516 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18323 c Elapsed CPU time: 0.771882 s Remaining CPU time: 179.228 s c =============================================================================== c | 0 | 3499 3517 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18322 c Elapsed CPU time: 0.828873 s Remaining CPU time: 179.171 s c =============================================================================== c | 0 | 3499 3518 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18321 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 0 | 3499 3519 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18320 c Elapsed CPU time: 0.943856 s Remaining CPU time: 179.056 s c =============================================================================== c | 0 | 3499 3520 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18319 c Elapsed CPU time: 1.00285 s Remaining CPU time: 178.997 s c =============================================================================== c | 0 | 3499 3521 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18317 c Elapsed CPU time: 1.06084 s Remaining CPU time: 178.939 s c =============================================================================== c | 0 | 3499 3522 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18315 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 0 | 3499 3523 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18313 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 0 | 3499 3524 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18309 c Elapsed CPU time: 1.24981 s Remaining CPU time: 178.75 s c =============================================================================== c | 0 | 3499 3525 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18308 c Elapsed CPU time: 1.3148 s Remaining CPU time: 178.685 s c =============================================================================== c | 0 | 3499 3526 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18306 c Elapsed CPU time: 1.37779 s Remaining CPU time: 178.622 s c =============================================================================== c | 0 | 3499 3527 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18304 c Elapsed CPU time: 1.44978 s Remaining CPU time: 178.55 s c =============================================================================== c | 0 | 3499 3528 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18300 c Elapsed CPU time: 1.51977 s Remaining CPU time: 178.48 s c =============================================================================== c | 0 | 3499 3529 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18299 c Elapsed CPU time: 1.59376 s Remaining CPU time: 178.406 s c =============================================================================== c | 0 | 3499 3530 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18296 c Elapsed CPU time: 1.66575 s Remaining CPU time: 178.334 s c =============================================================================== c | 0 | 3499 3531 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18295 c Elapsed CPU time: 1.74373 s Remaining CPU time: 178.256 s c =============================================================================== c | 0 | 3499 3532 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18293 c Elapsed CPU time: 1.82272 s Remaining CPU time: 178.177 s c =============================================================================== c | 0 | 3499 3533 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18291 c Elapsed CPU time: 1.90071 s Remaining CPU time: 178.099 s c =============================================================================== c | 0 | 3499 3534 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18287 c Elapsed CPU time: 1.9807 s Remaining CPU time: 178.019 s c =============================================================================== c | 0 | 3499 3535 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18284 c Elapsed CPU time: 2.06269 s Remaining CPU time: 177.937 s c =============================================================================== c | 0 | 3499 3536 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18281 c Elapsed CPU time: 2.14367 s Remaining CPU time: 177.856 s c =============================================================================== c | 0 | 3499 3537 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18279 c Elapsed CPU time: 2.23066 s Remaining CPU time: 177.769 s c =============================================================================== c | 0 | 3499 3538 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18275 c Elapsed CPU time: 2.31965 s Remaining CPU time: 177.68 s c =============================================================================== c | 0 | 3499 3539 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18274 c Elapsed CPU time: 2.40963 s Remaining CPU time: 177.59 s c =============================================================================== c | 0 | 3499 3540 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18273 c Elapsed CPU time: 2.50462 s Remaining CPU time: 177.495 s c =============================================================================== c | 0 | 3499 3541 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18272 c Elapsed CPU time: 2.6036 s Remaining CPU time: 177.396 s c =============================================================================== c | 0 | 3499 3542 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18271 c Elapsed CPU time: 2.70059 s Remaining CPU time: 177.299 s c =============================================================================== c | 0 | 3499 3543 151050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18270 c Elapsed CPU time: 2.80357 s Remaining CPU time: 177.196 s c =============================================================================== c | 0 | 3499 3544 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18269 c Elapsed CPU time: 2.90556 s Remaining CPU time: 177.094 s c =============================================================================== c | 0 | 3499 3545 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18268 c Elapsed CPU time: 3.00854 s Remaining CPU time: 176.991 s c =============================================================================== c | 0 | 3499 3546 161100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18267 c Elapsed CPU time: 3.11353 s Remaining CPU time: 176.886 s c =============================================================================== c | 0 | 3499 3547 164450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18266 c Elapsed CPU time: 3.22151 s Remaining CPU time: 176.778 s c =============================================================================== c | 0 | 3499 3548 167800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18262 c Elapsed CPU time: 3.32749 s Remaining CPU time: 176.673 s c =============================================================================== c | 0 | 3499 3549 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18261 c Elapsed CPU time: 3.44448 s Remaining CPU time: 176.556 s c =============================================================================== c | 0 | 3499 3550 174500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18258 c Elapsed CPU time: 3.56046 s Remaining CPU time: 176.44 s c =============================================================================== c | 0 | 3499 3551 177850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18256 c Elapsed CPU time: 3.68144 s Remaining CPU time: 176.319 s c =============================================================================== c | 0 | 3499 3552 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18255 c Elapsed CPU time: 3.80242 s Remaining CPU time: 176.198 s c =============================================================================== c | 0 | 3499 3553 184550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18254 c Elapsed CPU time: 3.9294 s Remaining CPU time: 176.071 s c =============================================================================== c | 0 | 3499 3554 187900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18253 c Elapsed CPU time: 4.05438 s Remaining CPU time: 175.946 s c =============================================================================== c | 0 | 3499 3555 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18252 c Elapsed CPU time: 4.18436 s Remaining CPU time: 175.816 s c =============================================================================== c | 0 | 3499 3556 194600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18251 c Elapsed CPU time: 4.31434 s Remaining CPU time: 175.686 s c =============================================================================== c | 0 | 3499 3557 197950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18250 c Elapsed CPU time: 4.44532 s Remaining CPU time: 175.555 s c =============================================================================== c | 0 | 3499 3558 201300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18248 c Elapsed CPU time: 4.5783 s Remaining CPU time: 175.422 s c =============================================================================== c | 0 | 3499 3559 204650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18247 c Elapsed CPU time: 4.71628 s Remaining CPU time: 175.284 s c =============================================================================== c | 0 | 3499 3560 208000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18246 c Elapsed CPU time: 4.85726 s Remaining CPU time: 175.143 s c =============================================================================== c | 0 | 3499 3561 211350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18245 c Elapsed CPU time: 5.00124 s Remaining CPU time: 174.999 s c =============================================================================== c | 0 | 3499 3562 214700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18243 c Elapsed CPU time: 5.14522 s Remaining CPU time: 174.855 s c =============================================================================== c | 0 | 3499 3563 218050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18242 c Elapsed CPU time: 5.29019 s Remaining CPU time: 174.71 s c =============================================================================== c | 0 | 3499 3564 221400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18239 c Elapsed CPU time: 5.43617 s Remaining CPU time: 174.564 s c =============================================================================== c | 0 | 3499 3565 224750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18235 c Elapsed CPU time: 5.58415 s Remaining CPU time: 174.416 s c =============================================================================== c | 0 | 3499 3566 228100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18232 c Elapsed CPU time: 5.73613 s Remaining CPU time: 174.264 s c =============================================================================== c | 0 | 3499 3567 231450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18231 c Elapsed CPU time: 5.8901 s Remaining CPU time: 174.11 s c =============================================================================== c | 0 | 3499 3568 234800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18228 c Elapsed CPU time: 6.04508 s Remaining CPU time: 173.955 s c =============================================================================== c | 0 | 3499 3569 238150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18224 c Elapsed CPU time: 6.20106 s Remaining CPU time: 173.799 s c =============================================================================== c | 0 | 3499 3570 241500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18223 c Elapsed CPU time: 6.36503 s Remaining CPU time: 173.635 s c =============================================================================== c | 0 | 3499 3571 244850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18220 c Elapsed CPU time: 6.53501 s Remaining CPU time: 173.465 s c =============================================================================== c | 0 | 3499 3572 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18219 c Elapsed CPU time: 6.70498 s Remaining CPU time: 173.295 s c =============================================================================== c | 0 | 3499 3573 251550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18217 c Elapsed CPU time: 6.87495 s Remaining CPU time: 173.125 s c =============================================================================== c | 0 | 3499 3574 254900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18215 c Elapsed CPU time: 7.05193 s Remaining CPU time: 172.948 s c =============================================================================== c | 0 | 3499 3575 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18213 c Elapsed CPU time: 7.2319 s Remaining CPU time: 172.768 s c =============================================================================== c | 0 | 3499 3576 261600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18212 c Elapsed CPU time: 7.41787 s Remaining CPU time: 172.582 s c =============================================================================== c | 0 | 3499 3577 264950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18211 c Elapsed CPU time: 7.59984 s Remaining CPU time: 172.4 s c =============================================================================== c | 0 | 3499 3578 268300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18210 c Elapsed CPU time: 7.78282 s Remaining CPU time: 172.217 s c =============================================================================== c | 0 | 3499 3579 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18209 c Elapsed CPU time: 7.96779 s Remaining CPU time: 172.032 s c =============================================================================== c | 0 | 3499 3580 275000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18208 c Elapsed CPU time: 8.15176 s Remaining CPU time: 171.848 s c =============================================================================== c | 0 | 3499 3581 278350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18206 c Elapsed CPU time: 8.33873 s Remaining CPU time: 171.661 s c =============================================================================== c | 0 | 3499 3582 281700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18203 c Elapsed CPU time: 8.5277 s Remaining CPU time: 171.472 s c =============================================================================== c | 0 | 3499 3583 285050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18202 c Elapsed CPU time: 8.71867 s Remaining CPU time: 171.281 s c =============================================================================== c | 0 | 3499 3584 288400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18201 c Elapsed CPU time: 8.92164 s Remaining CPU time: 171.078 s c =============================================================================== c | 0 | 3499 3585 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18200 c Elapsed CPU time: 9.11861 s Remaining CPU time: 170.881 s c =============================================================================== c | 0 | 3499 3586 295100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18199 c Elapsed CPU time: 9.31858 s Remaining CPU time: 170.681 s c =============================================================================== c | 0 | 3499 3587 298450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18198 c Elapsed CPU time: 9.51755 s Remaining CPU time: 170.482 s c =============================================================================== c | 0 | 3499 3588 301800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18197 c Elapsed CPU time: 9.71652 s Remaining CPU time: 170.283 s c =============================================================================== c | 0 | 3499 3589 305150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18195 c Elapsed CPU time: 9.92249 s Remaining CPU time: 170.078 s c =============================================================================== c | 0 | 3499 3590 308500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18193 c Elapsed CPU time: 10.1305 s Remaining CPU time: 169.87 s c =============================================================================== c | 0 | 3499 3591 311850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18192 c Elapsed CPU time: 10.3444 s Remaining CPU time: 169.656 s c =============================================================================== c | 0 | 3499 3592 315200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18191 c Elapsed CPU time: 10.5564 s Remaining CPU time: 169.444 s c =============================================================================== c | 0 | 3499 3593 318550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18189 c Elapsed CPU time: 10.7854 s Remaining CPU time: 169.215 s c =============================================================================== c | 0 | 3499 3594 321900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18188 c Elapsed CPU time: 11.0323 s Remaining CPU time: 168.968 s c =============================================================================== c | 0 | 3499 3595 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18185 c Elapsed CPU time: 11.2723 s Remaining CPU time: 168.728 s c =============================================================================== c | 0 | 3499 3596 328600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18182 c Elapsed CPU time: 11.5132 s Remaining CPU time: 168.487 s c =============================================================================== c | 0 | 3499 3597 331950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18181 c Elapsed CPU time: 11.7492 s Remaining CPU time: 168.251 s c =============================================================================== c | 0 | 3499 3598 335300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18180 c Elapsed CPU time: 11.9912 s Remaining CPU time: 168.009 s c =============================================================================== c | 0 | 3499 3599 338650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18179 c Elapsed CPU time: 12.2491 s Remaining CPU time: 167.751 s c =============================================================================== c | 0 | 3499 3600 342000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18178 c Elapsed CPU time: 12.5141 s Remaining CPU time: 167.486 s c =============================================================================== c | 0 | 3499 3601 345350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18176 c Elapsed CPU time: 12.7731 s Remaining CPU time: 167.227 s c =============================================================================== c | 0 | 3499 3602 348700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18174 c Elapsed CPU time: 13.027 s Remaining CPU time: 166.973 s c =============================================================================== c | 0 | 3499 3603 352050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18173 c Elapsed CPU time: 13.288 s Remaining CPU time: 166.712 s c =============================================================================== c | 0 | 3499 3604 355400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18172 c Elapsed CPU time: 13.5479 s Remaining CPU time: 166.452 s c =============================================================================== c | 0 | 3499 3605 358750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18170 c Elapsed CPU time: 13.8069 s Remaining CPU time: 166.193 s c =============================================================================== c | 0 | 3499 3606 362100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18168 c Elapsed CPU time: 14.0739 s Remaining CPU time: 165.926 s c =============================================================================== c | 0 | 3499 3607 365450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18165 c Elapsed CPU time: 14.3388 s Remaining CPU time: 165.661 s c =============================================================================== c | 0 | 3499 3608 368800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18164 c Elapsed CPU time: 14.6028 s Remaining CPU time: 165.397 s c =============================================================================== c | 0 | 3499 3609 372150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18163 c Elapsed CPU time: 14.8717 s Remaining CPU time: 165.128 s c =============================================================================== c | 0 | 3499 3610 375500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18161 c Elapsed CPU time: 15.1487 s Remaining CPU time: 164.851 s c =============================================================================== c | 0 | 3499 3611 378850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18160 c Elapsed CPU time: 15.4337 s Remaining CPU time: 164.566 s c =============================================================================== c | 0 | 3499 3612 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18159 c Elapsed CPU time: 15.7206 s Remaining CPU time: 164.279 s c =============================================================================== c | 0 | 3499 3613 385550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18158 c Elapsed CPU time: 16.0026 s Remaining CPU time: 163.997 s c =============================================================================== c | 0 | 3499 3614 388900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18157 c Elapsed CPU time: 16.2925 s Remaining CPU time: 163.707 s c =============================================================================== c | 0 | 3499 3615 392250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18156 c Elapsed CPU time: 16.5765 s Remaining CPU time: 163.424 s c =============================================================================== c | 0 | 3499 3616 395600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18154 c Elapsed CPU time: 16.8654 s Remaining CPU time: 163.135 s c =============================================================================== c | 0 | 3499 3617 398950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18152 c Elapsed CPU time: 17.1594 s Remaining CPU time: 162.841 s c =============================================================================== c | 0 | 3499 3618 402300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18150 c Elapsed CPU time: 17.4503 s Remaining CPU time: 162.55 s c =============================================================================== c | 0 | 3499 3619 405650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18149 c Elapsed CPU time: 17.7383 s Remaining CPU time: 162.262 s c =============================================================================== c | 0 | 3499 3620 409000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18148 c Elapsed CPU time: 18.0253 s Remaining CPU time: 161.975 s c =============================================================================== c | 0 | 3499 3621 412350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18146 c Elapsed CPU time: 18.3242 s Remaining CPU time: 161.676 s c =============================================================================== c | 0 | 3499 3622 415700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18145 c Elapsed CPU time: 18.6292 s Remaining CPU time: 161.371 s c =============================================================================== c | 0 | 3499 3623 419050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18144 c Elapsed CPU time: 18.9251 s Remaining CPU time: 161.075 s c =============================================================================== c | 0 | 3499 3624 422400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18142 c Elapsed CPU time: 19.2231 s Remaining CPU time: 160.777 s c =============================================================================== c | 0 | 3499 3625 425750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18141 c Elapsed CPU time: 19.529 s Remaining CPU time: 160.471 s c =============================================================================== c | 0 | 3499 3626 429100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18139 c Elapsed CPU time: 19.83 s Remaining CPU time: 160.17 s c =============================================================================== c | 0 | 3499 3627 432450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18136 c Elapsed CPU time: 20.1349 s Remaining CPU time: 159.865 s c =============================================================================== c | 0 | 3499 3628 435800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18134 c Elapsed CPU time: 20.4459 s Remaining CPU time: 159.554 s c =============================================================================== c | 0 | 3499 3629 439150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18133 c Elapsed CPU time: 20.7658 s Remaining CPU time: 159.234 s c =============================================================================== c | 0 | 3499 3630 442500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18131 c Elapsed CPU time: 21.0838 s Remaining CPU time: 158.916 s c =============================================================================== c | 0 | 3499 3631 445850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18129 c Elapsed CPU time: 21.3937 s Remaining CPU time: 158.606 s c =============================================================================== c | 0 | 3499 3632 449200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18128 c Elapsed CPU time: 21.7057 s Remaining CPU time: 158.294 s c =============================================================================== c | 0 | 3499 3633 452550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18126 c Elapsed CPU time: 22.0247 s Remaining CPU time: 157.975 s c =============================================================================== c | 0 | 3499 3634 455900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18125 c Elapsed CPU time: 22.3446 s Remaining CPU time: 157.655 s c =============================================================================== c | 0 | 3499 3635 459250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18123 c Elapsed CPU time: 22.6656 s Remaining CPU time: 157.334 s c =============================================================================== c | 0 | 3499 3636 462600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18121 c Elapsed CPU time: 23.0045 s Remaining CPU time: 156.995 s c =============================================================================== c | 0 | 3499 3637 465950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18120 c Elapsed CPU time: 23.3484 s Remaining CPU time: 156.652 s c =============================================================================== c | 0 | 3499 3638 469300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18119 c Elapsed CPU time: 23.6854 s Remaining CPU time: 156.315 s c =============================================================================== c | 0 | 3499 3639 472650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18118 c Elapsed CPU time: 24.0173 s Remaining CPU time: 155.983 s c =============================================================================== c | 0 | 3499 3640 476000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18117 c Elapsed CPU time: 24.3543 s Remaining CPU time: 155.646 s c =============================================================================== c | 0 | 3499 3641 479350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18115 c Elapsed CPU time: 24.6922 s Remaining CPU time: 155.308 s c =============================================================================== c | 0 | 3499 3642 482700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18113 c Elapsed CPU time: 25.0332 s Remaining CPU time: 154.967 s c =============================================================================== c | 0 | 3499 3643 486050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18110 c Elapsed CPU time: 25.3961 s Remaining CPU time: 154.604 s c =============================================================================== c | 0 | 3499 3644 489400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18109 c Elapsed CPU time: 25.7741 s Remaining CPU time: 154.226 s c =============================================================================== c | 0 | 3499 3645 492750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18108 c Elapsed CPU time: 26.132 s Remaining CPU time: 153.868 s c =============================================================================== c | 0 | 3499 3646 496100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18107 c Elapsed CPU time: 26.492 s Remaining CPU time: 153.508 s c =============================================================================== c | 0 | 3499 3647 499450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18106 c Elapsed CPU time: 26.8599 s Remaining CPU time: 153.14 s c =============================================================================== c | 0 | 3499 3648 502800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18105 c Elapsed CPU time: 27.2369 s Remaining CPU time: 152.763 s c =============================================================================== c | 0 | 3499 3649 506150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18104 c Elapsed CPU time: 27.6038 s Remaining CPU time: 152.396 s c =============================================================================== c | 0 | 3499 3650 509500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18103 c Elapsed CPU time: 27.9707 s Remaining CPU time: 152.029 s c =============================================================================== c | 0 | 3499 3651 512850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18102 c Elapsed CPU time: 28.3337 s Remaining CPU time: 151.666 s c =============================================================================== c | 0 | 3499 3652 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18101 c Elapsed CPU time: 28.6966 s Remaining CPU time: 151.303 s c =============================================================================== c | 0 | 3499 3653 519550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18099 c Elapsed CPU time: 29.0646 s Remaining CPU time: 150.935 s c =============================================================================== c | 0 | 3499 3654 522900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18098 c Elapsed CPU time: 29.4585 s Remaining CPU time: 150.541 s c =============================================================================== c | 0 | 3499 3655 526250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18097 c Elapsed CPU time: 29.8415 s Remaining CPU time: 150.159 s c =============================================================================== c | 0 | 3499 3656 529600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18096 c Elapsed CPU time: 30.2224 s Remaining CPU time: 149.778 s c =============================================================================== c | 0 | 3499 3657 532950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18095 c Elapsed CPU time: 30.6133 s Remaining CPU time: 149.387 s c =============================================================================== c | 0 | 3499 3658 536300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18094 c Elapsed CPU time: 30.9913 s Remaining CPU time: 149.009 s c =============================================================================== c | 0 | 3499 3659 539650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18093 c Elapsed CPU time: 31.3762 s Remaining CPU time: 148.624 s c =============================================================================== c | 0 | 3499 3660 543000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18091 c Elapsed CPU time: 31.7572 s Remaining CPU time: 148.243 s c =============================================================================== c | 0 | 3499 3661 546350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18089 c Elapsed CPU time: 32.1441 s Remaining CPU time: 147.856 s c =============================================================================== c | 0 | 3499 3662 549700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18086 c Elapsed CPU time: 32.5241 s Remaining CPU time: 147.476 s c =============================================================================== c | 0 | 3499 3663 553050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18085 c Elapsed CPU time: 32.924 s Remaining CPU time: 147.076 s c =============================================================================== c | 0 | 3499 3664 556400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18084 c Elapsed CPU time: 33.3119 s Remaining CPU time: 146.688 s c =============================================================================== c | 0 | 3499 3665 559750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18083 c Elapsed CPU time: 33.7099 s Remaining CPU time: 146.29 s c =============================================================================== c | 0 | 3499 3666 563100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18081 c Elapsed CPU time: 34.1168 s Remaining CPU time: 145.883 s c =============================================================================== c | 0 | 3499 3667 566450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18078 c Elapsed CPU time: 34.5158 s Remaining CPU time: 145.484 s c =============================================================================== c | 0 | 3499 3668 569800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18076 c Elapsed CPU time: 34.9397 s Remaining CPU time: 145.06 s c =============================================================================== c | 0 | 3499 3669 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18075 c Elapsed CPU time: 35.3646 s Remaining CPU time: 144.635 s c =============================================================================== c | 0 | 3499 3670 576500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18073 c Elapsed CPU time: 35.7696 s Remaining CPU time: 144.23 s c =============================================================================== c | 0 | 3499 3671 579850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18071 c Elapsed CPU time: 36.1855 s Remaining CPU time: 143.815 s c =============================================================================== c | 0 | 3499 3672 583200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18070 c Elapsed CPU time: 36.6104 s Remaining CPU time: 143.39 s c =============================================================================== c | 0 | 3499 3673 586550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18069 c Elapsed CPU time: 37.0284 s Remaining CPU time: 142.972 s c =============================================================================== c | 0 | 3499 3674 589900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18068 c Elapsed CPU time: 37.4453 s Remaining CPU time: 142.555 s c =============================================================================== c | 0 | 3499 3675 593250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18067 c Elapsed CPU time: 37.8622 s Remaining CPU time: 142.138 s c =============================================================================== c | 0 | 3499 3676 596600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18066 c Elapsed CPU time: 38.2952 s Remaining CPU time: 141.705 s c =============================================================================== c | 0 | 3499 3677 599950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18065 c Elapsed CPU time: 38.7171 s Remaining CPU time: 141.283 s c =============================================================================== c | 0 | 3499 3678 603300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18064 c Elapsed CPU time: 39.142 s Remaining CPU time: 140.858 s c =============================================================================== c | 0 | 3499 3679 606650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18062 c Elapsed CPU time: 39.566 s Remaining CPU time: 140.434 s c =============================================================================== c | 0 | 3499 3680 610000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18060 c Elapsed CPU time: 39.9859 s Remaining CPU time: 140.014 s c =============================================================================== c | 0 | 3499 3681 613350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18059 c Elapsed CPU time: 40.3759 s Remaining CPU time: 139.624 s c =============================================================================== c | 0 | 3499 3682 616700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18058 c Elapsed CPU time: 40.7178 s Remaining CPU time: 139.282 s c =============================================================================== c | 0 | 3499 3683 620050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18055 c Elapsed CPU time: 41.0828 s Remaining CPU time: 138.917 s c =============================================================================== c | 0 | 3499 3684 623400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18054 c Elapsed CPU time: 41.4547 s Remaining CPU time: 138.545 s c =============================================================================== c | 0 | 3499 3685 626750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18050 c Elapsed CPU time: 41.8046 s Remaining CPU time: 138.195 s c =============================================================================== c | 0 | 3499 3686 630100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18048 c Elapsed CPU time: 42.1486 s Remaining CPU time: 137.851 s c =============================================================================== c | 0 | 3499 3687 633450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18046 c Elapsed CPU time: 42.5005 s Remaining CPU time: 137.499 s c =============================================================================== c | 0 | 3499 3688 636800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18044 c Elapsed CPU time: 42.8625 s Remaining CPU time: 137.138 s c =============================================================================== c | 0 | 3499 3689 640150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18043 c Elapsed CPU time: 43.2154 s Remaining CPU time: 136.785 s c =============================================================================== c | 0 | 3499 3690 643500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18040 c Elapsed CPU time: 43.5714 s Remaining CPU time: 136.429 s c =============================================================================== c | 0 | 3499 3691 646850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18038 c Elapsed CPU time: 43.9473 s Remaining CPU time: 136.053 s c =============================================================================== c | 0 | 3499 3692 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18037 c Elapsed CPU time: 44.3563 s Remaining CPU time: 135.644 s c =============================================================================== c | 0 | 3499 3693 653550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18035 c Elapsed CPU time: 44.7182 s Remaining CPU time: 135.282 s c =============================================================================== c | 0 | 3499 3694 656900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18031 c Elapsed CPU time: 45.0861 s Remaining CPU time: 134.914 s c =============================================================================== c | 0 | 3499 3695 660250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18029 c Elapsed CPU time: 45.4701 s Remaining CPU time: 134.53 s c =============================================================================== c | 0 | 3499 3696 663600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18028 c Elapsed CPU time: 45.873 s Remaining CPU time: 134.127 s c =============================================================================== c | 0 | 3499 3697 666950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18027 c Elapsed CPU time: 46.266 s Remaining CPU time: 133.734 s c =============================================================================== c | 0 | 3499 3698 670300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18024 c Elapsed CPU time: 46.6569 s Remaining CPU time: 133.343 s c =============================================================================== c | 0 | 3499 3699 673650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18023 c Elapsed CPU time: 47.1148 s Remaining CPU time: 132.885 s c =============================================================================== c | 0 | 3499 3700 677000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18021 c Elapsed CPU time: 47.5488 s Remaining CPU time: 132.451 s c =============================================================================== c | 0 | 3499 3701 680350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18020 c Elapsed CPU time: 47.9887 s Remaining CPU time: 132.011 s c =============================================================================== c | 0 | 3499 3702 683700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18019 c Elapsed CPU time: 48.4116 s Remaining CPU time: 131.588 s c =============================================================================== c | 0 | 3499 3703 687050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18018 c Elapsed CPU time: 48.8536 s Remaining CPU time: 131.146 s c =============================================================================== c | 0 | 3499 3704 690400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18017 c Elapsed CPU time: 49.2785 s Remaining CPU time: 130.721 s c =============================================================================== c | 0 | 3499 3705 693750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18015 c Elapsed CPU time: 49.7054 s Remaining CPU time: 130.295 s c =============================================================================== c | 0 | 3499 3706 697100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18013 c Elapsed CPU time: 50.1344 s Remaining CPU time: 129.866 s c =============================================================================== c | 0 | 3499 3707 700450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18012 c Elapsed CPU time: 50.5543 s Remaining CPU time: 129.446 s c =============================================================================== c | 0 | 3499 3708 703800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18011 c Elapsed CPU time: 50.9842 s Remaining CPU time: 129.016 s c =============================================================================== c | 0 | 3499 3709 707150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18010 c Elapsed CPU time: 51.4122 s Remaining CPU time: 128.588 s c =============================================================================== c | 0 | 3499 3710 710500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18008 c Elapsed CPU time: 51.8381 s Remaining CPU time: 128.162 s c =============================================================================== c | 0 | 3499 3711 713850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18006 c Elapsed CPU time: 52.31 s Remaining CPU time: 127.69 s c =============================================================================== c | 0 | 3499 3712 717200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18003 c Elapsed CPU time: 52.764 s Remaining CPU time: 127.236 s c =============================================================================== c | 0 | 3499 3713 720550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18002 c Elapsed CPU time: 53.2259 s Remaining CPU time: 126.774 s c =============================================================================== c | 0 | 3499 3714 723900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18000 c Elapsed CPU time: 53.6888 s Remaining CPU time: 126.311 s c =============================================================================== c | 0 | 3499 3715 727250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17998 c Elapsed CPU time: 54.1598 s Remaining CPU time: 125.84 s c =============================================================================== c | 0 | 3499 3716 730600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17997 c Elapsed CPU time: 54.6137 s Remaining CPU time: 125.386 s c =============================================================================== c | 0 | 3499 3717 733950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17995 c Elapsed CPU time: 55.0646 s Remaining CPU time: 124.935 s c =============================================================================== c | 0 | 3499 3718 737300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17992 c Elapsed CPU time: 55.5256 s Remaining CPU time: 124.474 s c =============================================================================== c | 0 | 3499 3719 740650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17991 c Elapsed CPU time: 55.9965 s Remaining CPU time: 124.004 s c =============================================================================== c | 0 | 3499 3720 744000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17990 c Elapsed CPU time: 56.4684 s Remaining CPU time: 123.532 s c =============================================================================== c | 0 | 3499 3721 747350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17987 c Elapsed CPU time: 56.9363 s Remaining CPU time: 123.064 s c =============================================================================== c | 0 | 3499 3722 750700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17986 c Elapsed CPU time: 57.4013 s Remaining CPU time: 122.599 s c =============================================================================== c | 0 | 3499 3723 754050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17983 c Elapsed CPU time: 57.8552 s Remaining CPU time: 122.145 s c =============================================================================== c | 0 | 3499 3724 757400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17981 c Elapsed CPU time: 58.3161 s Remaining CPU time: 121.684 s c =============================================================================== c | 0 | 3499 3725 760750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17979 c Elapsed CPU time: 58.7731 s Remaining CPU time: 121.227 s c =============================================================================== c | 0 | 3499 3726 764100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17976 c Elapsed CPU time: 59.223 s Remaining CPU time: 120.777 s c =============================================================================== c | 0 | 3499 3727 767450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17974 c Elapsed CPU time: 59.6629 s Remaining CPU time: 120.337 s c =============================================================================== c | 0 | 3499 3728 770800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17973 c Elapsed CPU time: 60.0969 s Remaining CPU time: 119.903 s c =============================================================================== c | 0 | 3499 3729 774150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17972 c Elapsed CPU time: 60.5528 s Remaining CPU time: 119.447 s c =============================================================================== c | 0 | 3499 3730 777500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17969 c Elapsed CPU time: 61.0037 s Remaining CPU time: 118.996 s c =============================================================================== c | 0 | 3499 3731 780850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17966 c Elapsed CPU time: 61.4527 s Remaining CPU time: 118.547 s c =============================================================================== c | 0 | 3499 3732 784200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17963 c Elapsed CPU time: 61.9146 s Remaining CPU time: 118.085 s c =============================================================================== c | 0 | 3499 3733 787550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17962 c Elapsed CPU time: 62.3635 s Remaining CPU time: 117.636 s c =============================================================================== c | 0 | 3499 3734 790900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17960 c Elapsed CPU time: 62.8165 s Remaining CPU time: 117.184 s c =============================================================================== c | 0 | 3499 3735 794250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17958 c Elapsed CPU time: 63.2624 s Remaining CPU time: 116.738 s c =============================================================================== c | 0 | 3499 3736 797600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17954 c Elapsed CPU time: 63.7083 s Remaining CPU time: 116.292 s c =============================================================================== c | 0 | 3499 3737 800950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17951 c Elapsed CPU time: 64.1542 s Remaining CPU time: 115.846 s c =============================================================================== c | 0 | 3499 3738 804300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17949 c Elapsed CPU time: 64.6112 s Remaining CPU time: 115.389 s c =============================================================================== c | 0 | 3499 3739 807650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17947 c Elapsed CPU time: 65.0651 s Remaining CPU time: 114.935 s c =============================================================================== c | 0 | 3499 3740 811000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17945 c Elapsed CPU time: 65.523 s Remaining CPU time: 114.477 s c =============================================================================== c | 0 | 3499 3741 814350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17944 c Elapsed CPU time: 65.984 s Remaining CPU time: 114.016 s c =============================================================================== c | 0 | 3499 3742 817700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17943 c Elapsed CPU time: 66.4349 s Remaining CPU time: 113.565 s c =============================================================================== c | 0 | 3499 3743 821050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17942 c Elapsed CPU time: 66.8858 s Remaining CPU time: 113.114 s c =============================================================================== c | 1 | 3499 3744 824400 | 5000 1 3291 | 0.000 % | c =============================================================================== c New solution: 17941 c Elapsed CPU time: 67.3518 s Remaining CPU time: 112.648 s c =============================================================================== c | 1 | 3499 3745 827750 | 5000 1 3291 | 0.000 % | c =============================================================================== c New solution: 17939 c Elapsed CPU time: 67.8327 s Remaining CPU time: 112.167 s c =============================================================================== c | 1 | 3499 3746 831100 | 5000 1 3291 | 0.000 % | c =============================================================================== c New solution: 17938 c Elapsed CPU time: 68.3306 s Remaining CPU time: 111.669 s c =============================================================================== c | 1 | 3499 3747 834450 | 5000 1 3291 | 0.000 % | c =============================================================================== c New solution: 17937 c Elapsed CPU time: 68.8205 s Remaining CPU time: 111.179 s c =============================================================================== c | 3 | 3499 3748 837800 | 5000 3 3288 | 0.000 % | c =============================================================================== c New solution: 17936 c Elapsed CPU time: 69.3195 s Remaining CPU time: 110.681 s c =============================================================================== c | 3 | 3499 3749 841150 | 5000 3 3288 | 0.000 % | c =============================================================================== c New solution: 17935 c Elapsed CPU time: 69.8104 s Remaining CPU time: 110.19 s c =============================================================================== c | 3 | 3499 3750 844500 | 5000 3 3288 | 0.000 % | c =============================================================================== c New solution: 17934 c Elapsed CPU time: 70.2723 s Remaining CPU time: 109.728 s c =============================================================================== c | 4 | 3499 3751 847850 | 5000 4 2466 | 0.000 % | c =============================================================================== c New solution: 17933 c Elapsed CPU time: 70.7502 s Remaining CPU time: 109.25 s c =============================================================================== c | 4 | 3499 3752 851200 | 5000 4 2466 | 0.000 % | c =============================================================================== c New solution: 17932 c Elapsed CPU time: 71.2212 s Remaining CPU time: 108.779 s c =============================================================================== c | 4 | 3499 3753 854550 | 5000 4 2466 | 0.000 % | c =============================================================================== c New solution: 17931 c Elapsed CPU time: 71.6901 s Remaining CPU time: 108.31 s c =============================================================================== c | 4 | 3499 3754 857900 | 5000 4 2466 | 0.000 % | c =============================================================================== c New solution: 17930 c Elapsed CPU time: 72.188 s Remaining CPU time: 107.812 s c =============================================================================== c | 4 | 3499 3755 861250 | 5000 4 2466 | 0.000 % | c =============================================================================== c New solution: 17929 c Elapsed CPU time: 72.67 s Remaining CPU time: 107.33 s c =============================================================================== c | 4 | 3499 3756 864600 | 5000 4 2466 | 0.000 % | c =============================================================================== c New solution: 17927 c Elapsed CPU time: 73.1749 s Remaining CPU time: 106.825 s c =============================================================================== c | 4 | 3499 3757 867950 | 5000 4 2466 | 0.000 % | c =============================================================================== c New solution: 17926 c Elapsed CPU time: 73.6958 s Remaining CPU time: 106.304 s c =============================================================================== c | 5 | 3499 3758 871300 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17925 c Elapsed CPU time: 74.2387 s Remaining CPU time: 105.761 s c =============================================================================== c | 5 | 3499 3759 874650 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17924 c Elapsed CPU time: 74.7286 s Remaining CPU time: 105.271 s c =============================================================================== c | 5 | 3499 3760 878000 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17923 c Elapsed CPU time: 75.2376 s Remaining CPU time: 104.762 s c =============================================================================== c | 5 | 3499 3761 881350 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17922 c Elapsed CPU time: 75.7295 s Remaining CPU time: 104.271 s c =============================================================================== c | 5 | 3499 3762 884700 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17921 c Elapsed CPU time: 76.2584 s Remaining CPU time: 103.742 s c =============================================================================== c | 5 | 3499 3763 888050 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17920 c Elapsed CPU time: 76.7773 s Remaining CPU time: 103.223 s c =============================================================================== c | 5 | 3499 3764 891400 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17919 c Elapsed CPU time: 77.2813 s Remaining CPU time: 102.719 s c =============================================================================== c | 5 | 3499 3765 894750 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17918 c Elapsed CPU time: 77.8222 s Remaining CPU time: 102.178 s c =============================================================================== c | 5 | 3499 3766 898100 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17917 c Elapsed CPU time: 78.3051 s Remaining CPU time: 101.695 s c =============================================================================== c | 5 | 3499 3767 901450 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17916 c Elapsed CPU time: 78.803 s Remaining CPU time: 101.197 s c =============================================================================== c | 5 | 3499 3768 904800 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17915 c Elapsed CPU time: 79.3099 s Remaining CPU time: 100.69 s c =============================================================================== c | 5 | 3499 3769 908150 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17914 c Elapsed CPU time: 79.8069 s Remaining CPU time: 100.193 s c =============================================================================== c | 5 | 3499 3770 911500 | 5000 5 1974 | 0.000 % | c =============================================================================== c New solution: 17913 c Elapsed CPU time: 80.3578 s Remaining CPU time: 99.6422 s c =============================================================================== c | 6 | 3499 3771 914850 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17912 c Elapsed CPU time: 80.8627 s Remaining CPU time: 99.1373 s c =============================================================================== c | 6 | 3499 3772 918200 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17911 c Elapsed CPU time: 81.3636 s Remaining CPU time: 98.6364 s c =============================================================================== c | 6 | 3499 3773 921550 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17910 c Elapsed CPU time: 81.8995 s Remaining CPU time: 98.1005 s c =============================================================================== c | 6 | 3499 3774 924900 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17909 c Elapsed CPU time: 82.4315 s Remaining CPU time: 97.5685 s c =============================================================================== c | 6 | 3499 3775 928250 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17908 c Elapsed CPU time: 82.9724 s Remaining CPU time: 97.0276 s c =============================================================================== c | 6 | 3499 3776 931600 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17907 c Elapsed CPU time: 83.5183 s Remaining CPU time: 96.4817 s c =============================================================================== c | 6 | 3499 3777 934950 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17906 c Elapsed CPU time: 84.0712 s Remaining CPU time: 95.9288 s c =============================================================================== c | 6 | 3499 3778 938300 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17905 c Elapsed CPU time: 84.5981 s Remaining CPU time: 95.4019 s c =============================================================================== c | 6 | 3499 3779 941650 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17904 c Elapsed CPU time: 85.1391 s Remaining CPU time: 94.8609 s c =============================================================================== c | 6 | 3499 3780 945000 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17903 c Elapsed CPU time: 85.678 s Remaining CPU time: 94.322 s c =============================================================================== c | 6 | 3499 3781 948350 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17902 c Elapsed CPU time: 86.2119 s Remaining CPU time: 93.7881 s c =============================================================================== c | 6 | 3499 3782 951700 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17901 c Elapsed CPU time: 86.7388 s Remaining CPU time: 93.2612 s c =============================================================================== c | 6 | 3499 3783 955050 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17900 c Elapsed CPU time: 87.2747 s Remaining CPU time: 92.7253 s c =============================================================================== c | 6 | 3499 3784 958400 | 5000 6 2192 | 0.000 % | c =============================================================================== c New solution: 17899 c Elapsed CPU time: 87.8266 s Remaining CPU time: 92.1734 s c =============================================================================== c | 7 | 3499 3785 961750 | 5000 7 2347 | 0.000 % | c =============================================================================== c New solution: 17898 c Elapsed CPU time: 88.3556 s Remaining CPU time: 91.6444 s c =============================================================================== c | 7 | 3499 3786 965100 | 5000 7 2347 | 0.000 % | c =============================================================================== c New solution: 17897 c Elapsed CPU time: 88.9035 s Remaining CPU time: 91.0965 s c =============================================================================== c | 7 | 3499 3787 968450 | 5000 7 2347 | 0.000 % | c =============================================================================== c New solution: 17896 c Elapsed CPU time: 89.4364 s Remaining CPU time: 90.5636 s c =============================================================================== c | 7 | 3499 3788 971800 | 5000 7 2347 | 0.000 % | c =============================================================================== c New solution: 17895 c Elapsed CPU time: 89.9903 s Remaining CPU time: 90.0097 s c =============================================================================== c | 7 | 3499 3789 975150 | 5000 7 2347 | 0.000 % | c =============================================================================== c New solution: 17894 c Elapsed CPU time: 90.5532 s Remaining CPU time: 89.4468 s c =============================================================================== c | 7 | 3499 3790 978500 | 5000 7 2347 | 0.000 % | c =============================================================================== c New solution: 17893 c Elapsed CPU time: 91.1021 s Remaining CPU time: 88.8979 s c =============================================================================== c | 7 | 3499 3791 981850 | 5000 7 2347 | 0.000 % | c =============================================================================== c New solution: 17892 c Elapsed CPU time: 91.6531 s Remaining CPU time: 88.3469 s c =============================================================================== c | 7 | 3499 3792 985200 | 5000 7 2347 | 0.000 % | c =============================================================================== c New solution: 17891 c Elapsed CPU time: 92.236 s Remaining CPU time: 87.764 s c =============================================================================== c | 7 | 3499 3793 988550 | 5000 7 2347 | 0.000 % | c =============================================================================== c New solution: 17890 c Elapsed CPU time: 92.8289 s Remaining CPU time: 87.1711 s c =============================================================================== c | 8 | 3499 3794 991900 | 5000 8 2463 | 0.000 % | c =============================================================================== c New solution: 17889 c Elapsed CPU time: 93.3868 s Remaining CPU time: 86.6132 s c =============================================================================== c | 8 | 3499 3795 995250 | 5000 8 2463 | 0.000 % | c =============================================================================== c New solution: 17888 c Elapsed CPU time: 93.9897 s Remaining CPU time: 86.0103 s c =============================================================================== c | 9 | 3499 3796 998600 | 5000 9 2190 | 0.000 % | c =============================================================================== c New solution: 17887 c Elapsed CPU time: 94.5686 s Remaining CPU time: 85.4314 s c =============================================================================== c | 9 | 3499 3797 1001950 | 5000 9 2190 | 0.000 % | c =============================================================================== c New solution: 17886 c Elapsed CPU time: 95.1455 s Remaining CPU time: 84.8545 s c =============================================================================== c | 9 | 3499 3798 1005300 | 5000 9 2190 | 0.000 % | c =============================================================================== c New solution: 17885 c Elapsed CPU time: 95.6885 s Remaining CPU time: 84.3115 s c =============================================================================== c | 9 | 3499 3799 1008650 | 5000 9 2190 | 0.000 % | c =============================================================================== c New solution: 17884 c Elapsed CPU time: 96.2624 s Remaining CPU time: 83.7376 s c =============================================================================== c | 9 | 3499 3800 1012000 | 5000 9 2190 | 0.000 % | c =============================================================================== c New solution: 17883 c Elapsed CPU time: 96.8303 s Remaining CPU time: 83.1697 s c =============================================================================== c | 9 | 3499 3801 1015350 | 5000 9 2190 | 0.000 % | c =============================================================================== c New solution: 17882 c Elapsed CPU time: 97.5402 s Remaining CPU time: 82.4598 s c =============================================================================== c | 18 | 3499 3802 1018700 | 5000 18 2732 | 0.000 % | c =============================================================================== c New solution: 17881 c Elapsed CPU time: 98.1311 s Remaining CPU time: 81.8689 s c =============================================================================== c | 20 | 3499 3803 1022050 | 5000 20 2786 | 0.000 % | c =============================================================================== c New solution: 17880 c Elapsed CPU time: 98.693 s Remaining CPU time: 81.307 s c =============================================================================== c | 20 | 3499 3804 1025400 | 5000 20 2786 | 0.000 % | c =============================================================================== c New solution: 17879 c Elapsed CPU time: 99.2619 s Remaining CPU time: 80.7381 s c =============================================================================== c | 20 | 3499 3805 1028750 | 5000 20 2786 | 0.000 % | c =============================================================================== c New solution: 17878 c Elapsed CPU time: 99.8548 s Remaining CPU time: 80.1452 s c =============================================================================== c | 22 | 3499 3806 1032100 | 5000 22 2831 | 0.000 % | c =============================================================================== c New solution: 17877 c Elapsed CPU time: 100.429 s Remaining CPU time: 79.5713 s c =============================================================================== c | 23 | 3499 3807 1035450 | 5000 23 2850 | 0.000 % | c =============================================================================== c New solution: 17876 c Elapsed CPU time: 100.993 s Remaining CPU time: 79.0074 s c =============================================================================== c | 24 | 3499 3808 1038800 | 5000 24 2868 | 0.000 % | c =============================================================================== c New solution: 17875 c Elapsed CPU time: 101.558 s Remaining CPU time: 78.4424 s c =============================================================================== c | 24 | 3499 3809 1042150 | 5000 24 2868 | 0.000 % | c =============================================================================== c New solution: 17874 c Elapsed CPU time: 102.122 s Remaining CPU time: 77.8775 s c =============================================================================== c | 24 | 3499 3810 1045500 | 5000 24 2868 | 0.000 % | c =============================================================================== c New solution: 17873 c Elapsed CPU time: 102.729 s Remaining CPU time: 77.2706 s c =============================================================================== c | 24 | 3499 3811 1048850 | 5000 24 2868 | 0.000 % | c =============================================================================== c New solution: 17872 c Elapsed CPU time: 103.339 s Remaining CPU time: 76.6607 s c =============================================================================== c | 26 | 3499 3812 1052200 | 5000 26 2899 | 0.000 % | c =============================================================================== c New solution: 17871 c Elapsed CPU time: 103.944 s Remaining CPU time: 76.0558 s c =============================================================================== c | 26 | 3499 3813 1055550 | 5000 26 2899 | 0.000 % | c =============================================================================== c New solution: 17870 c Elapsed CPU time: 104.575 s Remaining CPU time: 75.4249 s c =============================================================================== c | 27 | 3499 3814 1058900 | 5000 27 2913 | 0.000 % | c =============================================================================== c New solution: 17869 c Elapsed CPU time: 105.171 s Remaining CPU time: 74.829 s c =============================================================================== c | 27 | 3499 3815 1062250 | 5000 27 2913 | 0.000 % | c =============================================================================== c New solution: 17868 c Elapsed CPU time: 105.777 s Remaining CPU time: 74.2231 s c =============================================================================== c | 27 | 3499 3816 1065600 | 5000 27 2913 | 0.000 % | c =============================================================================== c New solution: 17867 c Elapsed CPU time: 106.377 s Remaining CPU time: 73.6232 s c =============================================================================== c | 27 | 3499 3817 1068950 | 5000 27 2913 | 0.000 % | c =============================================================================== c New solution: 17866 c Elapsed CPU time: 106.998 s Remaining CPU time: 73.0023 s c =============================================================================== c | 27 | 3499 3818 1072300 | 5000 27 2913 | 0.000 % | c =============================================================================== c New solution: 17865 c Elapsed CPU time: 107.609 s Remaining CPU time: 72.3914 s c =============================================================================== c | 27 | 3499 3819 1075650 | 5000 27 2913 | 0.000 % | c =============================================================================== c New solution: 17864 c Elapsed CPU time: 108.218 s Remaining CPU time: 71.7825 s c =============================================================================== c | 28 | 3499 3820 1079000 | 5000 28 2926 | 0.000 % | c =============================================================================== c New solution: 17863 c Elapsed CPU time: 108.825 s Remaining CPU time: 71.1745 s c =============================================================================== c | 28 | 3499 3821 1082350 | 5000 28 2926 | 0.000 % | c =============================================================================== c New solution: 17862 c Elapsed CPU time: 109.435 s Remaining CPU time: 70.5646 s c =============================================================================== c | 28 | 3499 3822 1085700 | 5000 28 2926 | 0.000 % | c =============================================================================== c New solution: 17861 c Elapsed CPU time: 110.037 s Remaining CPU time: 69.9627 s c =============================================================================== c | 28 | 3499 3823 1089050 | 5000 28 2926 | 0.000 % | c =============================================================================== c New solution: 17860 c Elapsed CPU time: 110.672 s Remaining CPU time: 69.3278 s c =============================================================================== c | 33 | 3499 3824 1092400 | 5000 33 2879 | 0.000 % | c =============================================================================== c New solution: 17859 c Elapsed CPU time: 111.324 s Remaining CPU time: 68.6759 s c =============================================================================== c | 33 | 3499 3825 1095750 | 5000 33 2879 | 0.000 % | c =============================================================================== c New solution: 17858 c Elapsed CPU time: 112.026 s Remaining CPU time: 67.974 s c =============================================================================== c | 38 | 3499 3826 1099100 | 5000 38 2931 | 0.000 % | c =============================================================================== c New solution: 17857 c Elapsed CPU time: 112.659 s Remaining CPU time: 67.3411 s c =============================================================================== c | 38 | 3499 3827 1102450 | 5000 38 2931 | 0.000 % | c =============================================================================== c New solution: 17856 c Elapsed CPU time: 113.328 s Remaining CPU time: 66.6722 s c =============================================================================== c | 42 | 3499 3828 1105800 | 5000 42 2963 | 0.000 % | c =============================================================================== c New solution: 17855 c Elapsed CPU time: 113.986 s Remaining CPU time: 66.0143 s c =============================================================================== c | 42 | 3499 3829 1109150 | 5000 42 2963 | 0.000 % | c =============================================================================== c New solution: 17854 c Elapsed CPU time: 114.616 s Remaining CPU time: 65.3844 s c =============================================================================== c | 42 | 3499 3830 1112500 | 5000 42 2963 | 0.000 % | c =============================================================================== c New solution: 17853 c Elapsed CPU time: 115.273 s Remaining CPU time: 64.7265 s c =============================================================================== c | 42 | 3499 3831 1115850 | 5000 42 2963 | 0.000 % | c =============================================================================== c New solution: 17852 c Elapsed CPU time: 115.983 s Remaining CPU time: 64.0166 s c =============================================================================== c | 45 | 3499 3832 1119200 | 5000 45 2984 | 0.000 % | c =============================================================================== c New solution: 17851 c Elapsed CPU time: 116.619 s Remaining CPU time: 63.3807 s c =============================================================================== c | 45 | 3499 3833 1122550 | 5000 45 2984 | 0.000 % | c =============================================================================== c New solution: 17850 c Elapsed CPU time: 117.258 s Remaining CPU time: 62.7418 s c =============================================================================== c | 45 | 3499 3834 1125900 | 5000 45 2984 | 0.000 % | c =============================================================================== c New solution: 17849 c Elapsed CPU time: 117.962 s Remaining CPU time: 62.0379 s c =============================================================================== c | 46 | 3499 3835 1129250 | 5000 46 2990 | 0.000 % | c =============================================================================== c New solution: 17848 c Elapsed CPU time: 118.65 s Remaining CPU time: 61.35 s c =============================================================================== c | 46 | 3499 3836 1132600 | 5000 46 2990 | 0.000 % | c =============================================================================== c New solution: 17847 c Elapsed CPU time: 119.281 s Remaining CPU time: 60.7191 s c =============================================================================== c | 51 | 3499 3837 1135950 | 5000 51 3017 | 0.000 % | c =============================================================================== c New solution: 17846 c Elapsed CPU time: 119.939 s Remaining CPU time: 60.0612 s c =============================================================================== c | 51 | 3499 3838 1139300 | 5000 51 3017 | 0.000 % | c =============================================================================== c New solution: 17845 c Elapsed CPU time: 120.581 s Remaining CPU time: 59.4193 s c =============================================================================== c | 51 | 3499 3839 1142650 | 5000 51 3017 | 0.000 % | c =============================================================================== c New solution: 17844 c Elapsed CPU time: 121.215 s Remaining CPU time: 58.7854 s c =============================================================================== c | 53 | 3499 3840 1146000 | 5000 53 3027 | 0.000 % | c =============================================================================== c New solution: 17843 c Elapsed CPU time: 121.875 s Remaining CPU time: 58.1245 s c =============================================================================== c | 55 | 3499 3841 1149350 | 5000 55 3036 | 0.000 % | c =============================================================================== c New solution: 17842 c Elapsed CPU time: 122.547 s Remaining CPU time: 57.4526 s c =============================================================================== c | 55 | 3499 3842 1152700 | 5000 55 3036 | 0.000 % | c =============================================================================== c New solution: 17841 c Elapsed CPU time: 123.245 s Remaining CPU time: 56.7547 s c =============================================================================== c | 55 | 3499 3843 1156050 | 5000 55 3036 | 0.000 % | c =============================================================================== c New solution: 17840 c Elapsed CPU time: 123.947 s Remaining CPU time: 56.0528 s c =============================================================================== c | 58 | 3499 3844 1159400 | 5000 58 3048 | 0.000 % | c =============================================================================== c New solution: 17839 c Elapsed CPU time: 124.642 s Remaining CPU time: 55.3579 s c =============================================================================== c | 59 | 3499 3845 1162750 | 5000 59 3052 | 0.000 % | c =============================================================================== c New solution: 17838 c Elapsed CPU time: 125.386 s Remaining CPU time: 54.6141 s c =============================================================================== c | 61 | 3499 3846 1166100 | 5000 61 3059 | 0.000 % | c =============================================================================== c New solution: 17837 c Elapsed CPU time: 126.061 s Remaining CPU time: 53.9392 s c =============================================================================== c | 61 | 3499 3847 1169450 | 5000 61 3059 | 0.000 % | c =============================================================================== c New solution: 17836 c Elapsed CPU time: 126.758 s Remaining CPU time: 53.2423 s c =============================================================================== c | 61 | 3499 3848 1172800 | 5000 61 3059 | 0.000 % | c =============================================================================== c New solution: 17835 c Elapsed CPU time: 127.492 s Remaining CPU time: 52.5084 s c =============================================================================== c | 64 | 3499 3849 1176150 | 5000 64 3069 | 0.000 % | c =============================================================================== c New solution: 17834 c Elapsed CPU time: 128.178 s Remaining CPU time: 51.8225 s c =============================================================================== c | 65 | 3499 3850 1179500 | 5000 65 3072 | 0.000 % | c =============================================================================== c New solution: 17833 c Elapsed CPU time: 128.872 s Remaining CPU time: 51.1276 s c =============================================================================== c | 70 | 3499 3851 1182850 | 5000 70 3086 | 0.000 % | c =============================================================================== c New solution: 17832 c Elapsed CPU time: 129.58 s Remaining CPU time: 50.4197 s c =============================================================================== c | 73 | 3499 3852 1186200 | 5000 73 3093 | 0.000 % | c =============================================================================== c New solution: 17831 c Elapsed CPU time: 130.244 s Remaining CPU time: 49.7558 s c =============================================================================== c | 74 | 3499 3853 1189550 | 5000 74 3051 | 0.000 % | c =============================================================================== c New solution: 17830 c Elapsed CPU time: 131.007 s Remaining CPU time: 48.9929 s c =============================================================================== c | 76 | 3499 3854 1192900 | 5000 76 3057 | 0.000 % | c =============================================================================== c New solution: 17829 c Elapsed CPU time: 131.715 s Remaining CPU time: 48.285 s c =============================================================================== c | 76 | 3499 3855 1196250 | 5000 76 3057 | 0.000 % | c =============================================================================== c New solution: 17828 c Elapsed CPU time: 132.401 s Remaining CPU time: 47.5991 s c =============================================================================== c | 77 | 3499 3856 1199600 | 5000 77 3017 | 0.000 % | c =============================================================================== c New solution: 17827 c Elapsed CPU time: 133.088 s Remaining CPU time: 46.9122 s c =============================================================================== c | 77 | 3499 3857 1202950 | 5000 77 3017 | 0.000 % | c =============================================================================== c New solution: 17826 c Elapsed CPU time: 133.892 s Remaining CPU time: 46.1084 s c =============================================================================== c | 86 | 3499 3858 1206300 | 5000 86 3043 | 0.000 % | c =============================================================================== c New solution: 17825 c Elapsed CPU time: 134.613 s Remaining CPU time: 45.3875 s c =============================================================================== c | 87 | 3499 3859 1209650 | 5000 87 3046 | 0.000 % | c =============================================================================== c New solution: 17824 c Elapsed CPU time: 135.378 s Remaining CPU time: 44.6216 s c =============================================================================== c | 98 | 3499 3860 1213000 | 5000 98 3071 | 0.000 % | c =============================================================================== c New solution: 17823 c Elapsed CPU time: 136.092 s Remaining CPU time: 43.9077 s c =============================================================================== c | 100 | 3499 3861 1216350 | 5000 100 3075 | 0.000 % | c =============================================================================== c New solution: 17822 c Elapsed CPU time: 136.785 s Remaining CPU time: 43.2148 s c =============================================================================== c | 100 | 3499 3862 1219700 | 5000 100 3075 | 0.000 % | c =============================================================================== c New solution: 17821 c Elapsed CPU time: 137.467 s Remaining CPU time: 42.5329 s c =============================================================================== c | 102 | 3499 3863 1223050 | 5000 102 3078 | 0.000 % | c =============================================================================== c New solution: 17820 c Elapsed CPU time: 138.151 s Remaining CPU time: 41.849 s c =============================================================================== c | 102 | 3499 3864 1226400 | 5000 102 3078 | 0.000 % | c =============================================================================== c New solution: 17819 c Elapsed CPU time: 138.853 s Remaining CPU time: 41.1471 s c =============================================================================== c | 103 | 3499 3865 1229750 | 5000 103 3080 | 0.000 % | c =============================================================================== c New solution: 17818 c Elapsed CPU time: 139.595 s Remaining CPU time: 40.4052 s c =============================================================================== c | 105 | 3499 3866 1233100 | 5000 105 3084 | 0.000 % | c =============================================================================== c New solution: 17817 c Elapsed CPU time: 140.334 s Remaining CPU time: 39.6663 s c =============================================================================== c | 106 | 3499 3867 1236450 | 5000 106 3054 | 0.000 % | c =============================================================================== c New solution: 17816 c Elapsed CPU time: 141.047 s Remaining CPU time: 38.9534 s c =============================================================================== c | 107 | 3499 3868 1239800 | 5000 107 3056 | 0.000 % | c =============================================================================== c New solution: 17815 c Elapsed CPU time: 141.757 s Remaining CPU time: 38.2426 s c =============================================================================== c | 107 | 3499 3869 1243150 | 5000 107 3056 | 0.000 % | c =============================================================================== c New solution: 17814 c Elapsed CPU time: 142.505 s Remaining CPU time: 37.4947 s c =============================================================================== c | 108 | 3499 3870 1246500 | 5000 108 3058 | 0.000 % | c =============================================================================== c New solution: 17813 c Elapsed CPU time: 143.219 s Remaining CPU time: 36.7808 s c =============================================================================== c | 108 | 3499 3871 1249850 | 5000 108 3058 | 0.000 % | c =============================================================================== c New solution: 17812 c Elapsed CPU time: 143.981 s Remaining CPU time: 36.0189 s c =============================================================================== c | 114 | 3499 3872 1253200 | 5000 114 3069 | 0.000 % | c =============================================================================== c New solution: 17811 c Elapsed CPU time: 144.714 s Remaining CPU time: 35.286 s c =============================================================================== c | 115 | 3499 3873 1256550 | 5000 115 3071 | 0.000 % | c =============================================================================== c New solution: 17810 c Elapsed CPU time: 145.433 s Remaining CPU time: 34.5671 s c =============================================================================== c | 115 | 3499 3874 1259900 | 5000 115 3071 | 0.000 % | c =============================================================================== c New solution: 17809 c Elapsed CPU time: 146.141 s Remaining CPU time: 33.8592 s c =============================================================================== c | 117 | 3499 3875 1263250 | 5000 117 3046 | 0.000 % | c =============================================================================== c New solution: 17808 c Elapsed CPU time: 146.887 s Remaining CPU time: 33.1133 s c =============================================================================== c | 118 | 3499 3876 1266600 | 5000 118 3048 | 0.000 % | c =============================================================================== c New solution: 17807 c Elapsed CPU time: 147.651 s Remaining CPU time: 32.3494 s c =============================================================================== c | 120 | 3499 3877 1269950 | 5000 120 3052 | 0.000 % | c =============================================================================== c New solution: 17806 c Elapsed CPU time: 148.398 s Remaining CPU time: 31.6016 s c =============================================================================== c | 122 | 3499 3878 1273300 | 5000 122 3055 | 0.000 % | c =============================================================================== c New solution: 17805 c Elapsed CPU time: 149.18 s Remaining CPU time: 30.8197 s c =============================================================================== c | 124 | 3499 3879 1276650 | 5000 124 3059 | 0.000 % | c =============================================================================== c New solution: 17804 c Elapsed CPU time: 149.933 s Remaining CPU time: 30.0668 s c =============================================================================== c | 124 | 3499 3880 1280000 | 5000 124 3059 | 0.000 % | c =============================================================================== c New solution: 17803 c Elapsed CPU time: 150.699 s Remaining CPU time: 29.3009 s c =============================================================================== c | 128 | 3499 3881 1283350 | 5000 128 3065 | 0.000 % | c =============================================================================== c New solution: 17802 c Elapsed CPU time: 151.51 s Remaining CPU time: 28.49 s c =============================================================================== c | 136 | 3499 3882 1286700 | 5000 136 3077 | 0.000 % | c =============================================================================== c New solution: 17801 c Elapsed CPU time: 152.327 s Remaining CPU time: 27.6732 s c =============================================================================== c | 152 | 3499 3883 1290050 | 5000 152 3096 | 0.000 % | c =============================================================================== c New solution: 17800 c Elapsed CPU time: 153.116 s Remaining CPU time: 26.8843 s c =============================================================================== c | 156 | 3499 3884 1293400 | 5000 156 3100 | 0.000 % | c =============================================================================== c New solution: 17799 c Elapsed CPU time: 153.983 s Remaining CPU time: 26.0174 s c =============================================================================== c | 161 | 3499 3885 1296750 | 5000 161 3106 | 0.000 % | c =============================================================================== c New solution: 17798 c Elapsed CPU time: 154.755 s Remaining CPU time: 25.2445 s c =============================================================================== c | 166 | 3499 3886 1300100 | 5000 166 3110 | 0.000 % | c =============================================================================== c New solution: 17797 c Elapsed CPU time: 155.465 s Remaining CPU time: 24.5346 s c =============================================================================== c | 166 | 3499 3887 1303450 | 5000 166 3110 | 0.000 % | c =============================================================================== c New solution: 17796 c Elapsed CPU time: 156.327 s Remaining CPU time: 23.6728 s c =============================================================================== c | 169 | 3499 3888 1306800 | 5000 169 3113 | 0.000 % | c =============================================================================== c New solution: 17795 c Elapsed CPU time: 157.056 s Remaining CPU time: 22.9439 s c =============================================================================== c | 169 | 3499 3889 1310150 | 5000 169 3113 | 0.000 % | c =============================================================================== c New solution: 17794 c Elapsed CPU time: 157.843 s Remaining CPU time: 22.157 s c =============================================================================== c | 170 | 3499 3890 1313500 | 5000 170 3114 | 0.000 % | c =============================================================================== c New solution: 17793 c Elapsed CPU time: 158.597 s Remaining CPU time: 21.4031 s c =============================================================================== c | 170 | 3499 3891 1316850 | 5000 170 3114 | 0.000 % | c =============================================================================== c New solution: 17792 c Elapsed CPU time: 159.351 s Remaining CPU time: 20.6492 s c =============================================================================== c | 170 | 3499 3892 1320200 | 5000 170 3114 | 0.000 % | c =============================================================================== c New solution: 17791 c Elapsed CPU time: 160.087 s Remaining CPU time: 19.9133 s c =============================================================================== c | 170 | 3499 3893 1323550 | 5000 170 3114 | 0.000 % | c =============================================================================== c New solution: 17790 c Elapsed CPU time: 160.82 s Remaining CPU time: 19.1804 s c =============================================================================== c | 174 | 3499 3894 1326900 | 5000 174 3117 | 0.000 % | c =============================================================================== c New solution: 17789 c Elapsed CPU time: 161.52 s Remaining CPU time: 18.4796 s c =============================================================================== c | 180 | 3499 3895 1330250 | 5000 180 3122 | 0.000 % | c =============================================================================== c New solution: 17788 c Elapsed CPU time: 162.258 s Remaining CPU time: 17.7417 s c =============================================================================== c | 180 | 3499 3896 1333600 | 5000 180 3122 | 0.000 % | c =============================================================================== c New solution: 17787 c Elapsed CPU time: 162.989 s Remaining CPU time: 17.0108 s c =============================================================================== c | 180 | 3499 3897 1336950 | 5000 180 3122 | 0.000 % | c =============================================================================== c New solution: 17786 c Elapsed CPU time: 163.745 s Remaining CPU time: 16.2549 s c =============================================================================== c | 183 | 3499 3898 1340300 | 5000 183 3124 | 0.000 % | c =============================================================================== c New solution: 17785 c Elapsed CPU time: 164.585 s Remaining CPU time: 15.415 s c =============================================================================== c | 193 | 3499 3899 1343650 | 5000 193 3131 | 0.000 % | c =============================================================================== c New solution: 17784 c Elapsed CPU time: 165.323 s Remaining CPU time: 14.6771 s c =============================================================================== c | 193 | 3499 3900 1347000 | 5000 193 3131 | 0.000 % | c =============================================================================== c New solution: 17783 c Elapsed CPU time: 166.11 s Remaining CPU time: 13.8903 s c =============================================================================== c | 195 | 3499 3901 1350350 | 5000 195 3133 | 0.000 % | c =============================================================================== c New solution: 17782 c Elapsed CPU time: 166.95 s Remaining CPU time: 13.0504 s c =============================================================================== c | 198 | 3499 3902 1353700 | 5000 198 3135 | 0.000 % | c =============================================================================== c New solution: 17781 c Elapsed CPU time: 167.69 s Remaining CPU time: 12.3105 s c =============================================================================== c | 198 | 3499 3903 1357050 | 5000 198 3135 | 0.000 % | c =============================================================================== c New solution: 17780 c Elapsed CPU time: 168.469 s Remaining CPU time: 11.5306 s c =============================================================================== c | 200 | 3499 3904 1360400 | 5000 200 3136 | 0.000 % | c =============================================================================== c New solution: 17779 c Elapsed CPU time: 169.251 s Remaining CPU time: 10.7487 s c =============================================================================== c | 201 | 3499 3905 1363750 | 5000 201 3136 | 0.000 % | c =============================================================================== c New solution: 17778 c Elapsed CPU time: 170.084 s Remaining CPU time: 9.91586 s c =============================================================================== c | 204 | 3499 3906 1367100 | 5000 204 3138 | 0.000 % | c =============================================================================== c New solution: 17777 c Elapsed CPU time: 170.873 s Remaining CPU time: 9.12698 s c =============================================================================== c | 204 | 3499 3907 1370450 | 5000 204 3138 | 0.000 % | c =============================================================================== c New solution: 17776 c Elapsed CPU time: 171.696 s Remaining CPU time: 8.3041 s c =============================================================================== c | 205 | 3499 3908 1373800 | 5000 205 3139 | 0.000 % | c =============================================================================== c New solution: 17775 c Elapsed CPU time: 172.515 s Remaining CPU time: 7.48523 s c =============================================================================== c | 206 | 3499 3909 1377150 | 5000 206 3124 | 0.000 % | c =============================================================================== c New solution: 17774 c Elapsed CPU time: 173.316 s Remaining CPU time: 6.68435 s c =============================================================================== c | 206 | 3499 3910 1380500 | 5000 206 3124 | 0.000 % | c =============================================================================== c New solution: 17773 c Elapsed CPU time: 174.103 s Remaining CPU time: 5.89747 s c =============================================================================== c | 206 | 3499 3911 1383850 | 5000 206 3124 | 0.000 % | c =============================================================================== c New solution: 17772 c Elapsed CPU time: 175.071 s Remaining CPU time: 4.92862 s c =============================================================================== c | 219 | 3499 3912 1387200 | 5000 219 3132 | 0.000 % | c =============================================================================== c New solution: 17771 c Elapsed CPU time: 175.972 s Remaining CPU time: 4.02775 s c =============================================================================== c | 225 | 3499 3913 1390550 | 5000 225 3135 | 0.000 % | c =============================================================================== c New solution: 17770 c Elapsed CPU time: 176.786 s Remaining CPU time: 3.21388 s c =============================================================================== c | 226 | 3499 3914 1393900 | 5000 226 3136 | 0.000 % | c =============================================================================== c New solution: 17769 c Elapsed CPU time: 177.589 s Remaining CPU time: 2.411 s c =============================================================================== c | 230 | 3499 3915 1397250 | 5000 230 3138 | 0.000 % | c =============================================================================== c New solution: 17768 c Elapsed CPU time: 178.592 s Remaining CPU time: 1.40815 s c =============================================================================== c | 241 | 3499 3916 1400600 | 5000 241 3143 | 0.000 % | c =============================================================================== c New solution: 17767 c Elapsed CPU time: 179.425 s Remaining CPU time: 0.575277 s c =============================================================================== c | 242 | 3499 3917 1403950 | 5000 242 3144 | 0.000 % | c There are 1 assigned variables. 0 in cost function.