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 | 3380 3508 10321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18542 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 3380 3509 13671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18535 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 3380 3510 17021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18533 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 3380 3511 20371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18532 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 3380 3512 23721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18527 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 0 | 3380 3513 27071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18525 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 3380 3514 30421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18521 c Elapsed CPU time: 0.321951 s Remaining CPU time: 179.678 s c =============================================================================== c | 0 | 3380 3515 33771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18517 c Elapsed CPU time: 0.366944 s Remaining CPU time: 179.633 s c =============================================================================== c | 0 | 3380 3516 37121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18514 c Elapsed CPU time: 0.412937 s Remaining CPU time: 179.587 s c =============================================================================== c | 0 | 3380 3517 40471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18511 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 0 | 3380 3518 43821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18509 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 0 | 3380 3519 47171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18505 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 0 | 3380 3520 50521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18504 c Elapsed CPU time: 0.602908 s Remaining CPU time: 179.397 s c =============================================================================== c | 0 | 3380 3521 53871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18503 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 0 | 3380 3522 57221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18502 c Elapsed CPU time: 0.707892 s Remaining CPU time: 179.292 s c =============================================================================== c | 0 | 3380 3523 60571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18501 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s c =============================================================================== c | 0 | 3380 3524 63921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18495 c Elapsed CPU time: 0.813876 s Remaining CPU time: 179.186 s c =============================================================================== c | 0 | 3380 3525 67271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18492 c Elapsed CPU time: 0.869867 s Remaining CPU time: 179.13 s c =============================================================================== c | 0 | 3380 3526 70621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18491 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 0 | 3380 3527 73971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18490 c Elapsed CPU time: 0.98585 s Remaining CPU time: 179.014 s c =============================================================================== c | 0 | 3380 3528 77321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18485 c Elapsed CPU time: 1.04684 s Remaining CPU time: 178.953 s c =============================================================================== c | 0 | 3380 3529 80671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18484 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s c =============================================================================== c | 0 | 3380 3530 84021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18483 c Elapsed CPU time: 1.16782 s Remaining CPU time: 178.832 s c =============================================================================== c | 0 | 3380 3531 87371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18482 c Elapsed CPU time: 1.23081 s Remaining CPU time: 178.769 s c =============================================================================== c | 0 | 3380 3532 90721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18481 c Elapsed CPU time: 1.2958 s Remaining CPU time: 178.704 s c =============================================================================== c | 0 | 3380 3533 94071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18480 c Elapsed CPU time: 1.35979 s Remaining CPU time: 178.64 s c =============================================================================== c | 0 | 3380 3534 97421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18479 c Elapsed CPU time: 1.43278 s Remaining CPU time: 178.567 s c =============================================================================== c | 0 | 3380 3535 100771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18478 c Elapsed CPU time: 1.50177 s Remaining CPU time: 178.498 s c =============================================================================== c | 0 | 3380 3536 104121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18475 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 0 | 3380 3537 107471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18472 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s c =============================================================================== c | 0 | 3380 3538 110821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18469 c Elapsed CPU time: 1.71674 s Remaining CPU time: 178.283 s c =============================================================================== c | 0 | 3380 3539 114171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18468 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 0 | 3380 3540 117521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18466 c Elapsed CPU time: 1.86972 s Remaining CPU time: 178.13 s c =============================================================================== c | 0 | 3380 3541 120871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18464 c Elapsed CPU time: 1.9517 s Remaining CPU time: 178.048 s c =============================================================================== c | 0 | 3380 3542 124221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18463 c Elapsed CPU time: 2.03269 s Remaining CPU time: 177.967 s c =============================================================================== c | 0 | 3380 3543 127571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18461 c Elapsed CPU time: 2.11268 s Remaining CPU time: 177.887 s c =============================================================================== c | 0 | 3380 3544 130921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18460 c Elapsed CPU time: 2.19966 s Remaining CPU time: 177.8 s c =============================================================================== c | 0 | 3380 3545 134271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18459 c Elapsed CPU time: 2.28665 s Remaining CPU time: 177.713 s c =============================================================================== c | 0 | 3380 3546 137621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18458 c Elapsed CPU time: 2.37164 s Remaining CPU time: 177.628 s c =============================================================================== c | 0 | 3380 3547 140971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18455 c Elapsed CPU time: 2.46062 s Remaining CPU time: 177.539 s c =============================================================================== c | 0 | 3380 3548 144321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18454 c Elapsed CPU time: 2.55461 s Remaining CPU time: 177.445 s c =============================================================================== c | 0 | 3380 3549 147671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18452 c Elapsed CPU time: 2.6456 s Remaining CPU time: 177.354 s c =============================================================================== c | 0 | 3380 3550 151021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18450 c Elapsed CPU time: 2.74258 s Remaining CPU time: 177.257 s c =============================================================================== c | 0 | 3380 3551 154371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18449 c Elapsed CPU time: 2.84357 s Remaining CPU time: 177.156 s c =============================================================================== c | 0 | 3380 3552 157721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18447 c Elapsed CPU time: 2.94155 s Remaining CPU time: 177.058 s c =============================================================================== c | 0 | 3380 3553 161071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18446 c Elapsed CPU time: 3.04354 s Remaining CPU time: 176.956 s c =============================================================================== c | 0 | 3380 3554 164421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18442 c Elapsed CPU time: 3.14652 s Remaining CPU time: 176.853 s c =============================================================================== c | 0 | 3380 3555 167771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18441 c Elapsed CPU time: 3.25351 s Remaining CPU time: 176.746 s c =============================================================================== c | 0 | 3380 3556 171121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18440 c Elapsed CPU time: 3.35949 s Remaining CPU time: 176.641 s c =============================================================================== c | 0 | 3380 3557 174471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18437 c Elapsed CPU time: 3.46447 s Remaining CPU time: 176.536 s c =============================================================================== c | 0 | 3380 3558 177821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18435 c Elapsed CPU time: 3.57446 s Remaining CPU time: 176.426 s c =============================================================================== c | 0 | 3380 3559 181171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18430 c Elapsed CPU time: 3.68544 s Remaining CPU time: 176.315 s c =============================================================================== c | 0 | 3380 3560 184521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18429 c Elapsed CPU time: 3.80042 s Remaining CPU time: 176.2 s c =============================================================================== c | 0 | 3380 3561 187871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18424 c Elapsed CPU time: 3.9164 s Remaining CPU time: 176.084 s c =============================================================================== c | 0 | 3380 3562 191221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18423 c Elapsed CPU time: 4.03739 s Remaining CPU time: 175.963 s c =============================================================================== c | 0 | 3380 3563 194571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18418 c Elapsed CPU time: 4.15737 s Remaining CPU time: 175.843 s c =============================================================================== c | 0 | 3380 3564 197921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18416 c Elapsed CPU time: 4.28335 s Remaining CPU time: 175.717 s c =============================================================================== c | 0 | 3380 3565 201271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18414 c Elapsed CPU time: 4.41133 s Remaining CPU time: 175.589 s c =============================================================================== c | 0 | 3380 3566 204621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18411 c Elapsed CPU time: 4.54031 s Remaining CPU time: 175.46 s c =============================================================================== c | 0 | 3380 3567 207971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18409 c Elapsed CPU time: 4.66929 s Remaining CPU time: 175.331 s c =============================================================================== c | 0 | 3380 3568 211321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18408 c Elapsed CPU time: 4.80427 s Remaining CPU time: 175.196 s c =============================================================================== c | 0 | 3380 3569 214671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18406 c Elapsed CPU time: 4.94025 s Remaining CPU time: 175.06 s c =============================================================================== c | 0 | 3380 3570 218021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18403 c Elapsed CPU time: 5.07823 s Remaining CPU time: 174.922 s c =============================================================================== c | 0 | 3380 3571 221371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18402 c Elapsed CPU time: 5.22121 s Remaining CPU time: 174.779 s c =============================================================================== c | 0 | 3380 3572 224721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18401 c Elapsed CPU time: 5.36018 s Remaining CPU time: 174.64 s c =============================================================================== c | 0 | 3380 3573 228071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18400 c Elapsed CPU time: 5.50816 s Remaining CPU time: 174.492 s c =============================================================================== c | 0 | 3380 3574 231421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18398 c Elapsed CPU time: 5.65114 s Remaining CPU time: 174.349 s c =============================================================================== c | 0 | 3380 3575 234771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18396 c Elapsed CPU time: 5.80412 s Remaining CPU time: 174.196 s c =============================================================================== c | 0 | 3380 3576 238121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18395 c Elapsed CPU time: 5.95609 s Remaining CPU time: 174.044 s c =============================================================================== c | 0 | 3380 3577 241471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18394 c Elapsed CPU time: 6.11307 s Remaining CPU time: 173.887 s c =============================================================================== c | 0 | 3380 3578 244821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18393 c Elapsed CPU time: 6.27604 s Remaining CPU time: 173.724 s c =============================================================================== c | 0 | 3380 3579 248171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18392 c Elapsed CPU time: 6.43902 s Remaining CPU time: 173.561 s c =============================================================================== c | 0 | 3380 3580 251521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18391 c Elapsed CPU time: 6.60799 s Remaining CPU time: 173.392 s c =============================================================================== c | 0 | 3380 3581 254871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18388 c Elapsed CPU time: 6.77197 s Remaining CPU time: 173.228 s c =============================================================================== c | 0 | 3380 3582 258221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18387 c Elapsed CPU time: 6.93394 s Remaining CPU time: 173.066 s c =============================================================================== c | 0 | 3380 3583 261571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18386 c Elapsed CPU time: 7.10192 s Remaining CPU time: 172.898 s c =============================================================================== c | 0 | 3380 3584 264921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18384 c Elapsed CPU time: 7.26989 s Remaining CPU time: 172.73 s c =============================================================================== c | 0 | 3380 3585 268271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18382 c Elapsed CPU time: 7.43887 s Remaining CPU time: 172.561 s c =============================================================================== c | 0 | 3380 3586 271621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18381 c Elapsed CPU time: 7.61984 s Remaining CPU time: 172.38 s c =============================================================================== c | 0 | 3380 3587 274971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18379 c Elapsed CPU time: 7.79481 s Remaining CPU time: 172.205 s c =============================================================================== c | 0 | 3380 3588 278321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18378 c Elapsed CPU time: 7.98079 s Remaining CPU time: 172.019 s c =============================================================================== c | 0 | 3380 3589 281671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18377 c Elapsed CPU time: 8.15476 s Remaining CPU time: 171.845 s c =============================================================================== c | 0 | 3380 3590 285021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18375 c Elapsed CPU time: 8.33073 s Remaining CPU time: 171.669 s c =============================================================================== c | 0 | 3380 3591 288371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18374 c Elapsed CPU time: 8.50971 s Remaining CPU time: 171.49 s c =============================================================================== c | 0 | 3380 3592 291721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18372 c Elapsed CPU time: 8.69168 s Remaining CPU time: 171.308 s c =============================================================================== c | 0 | 3380 3593 295071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18370 c Elapsed CPU time: 8.87865 s Remaining CPU time: 171.121 s c =============================================================================== c | 0 | 3380 3594 298421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18369 c Elapsed CPU time: 9.06562 s Remaining CPU time: 170.934 s c =============================================================================== c | 0 | 3380 3595 301771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18368 c Elapsed CPU time: 9.25459 s Remaining CPU time: 170.745 s c =============================================================================== c | 0 | 3380 3596 305121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18367 c Elapsed CPU time: 9.44456 s Remaining CPU time: 170.555 s c =============================================================================== c | 0 | 3380 3597 308471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18366 c Elapsed CPU time: 9.64153 s Remaining CPU time: 170.358 s c =============================================================================== c | 0 | 3380 3598 311821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18363 c Elapsed CPU time: 9.8345 s Remaining CPU time: 170.165 s c =============================================================================== c | 0 | 3380 3599 315171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18360 c Elapsed CPU time: 10.0375 s Remaining CPU time: 169.963 s c =============================================================================== c | 0 | 3380 3600 318521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18357 c Elapsed CPU time: 10.2354 s Remaining CPU time: 169.765 s c =============================================================================== c | 0 | 3380 3601 321871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18356 c Elapsed CPU time: 10.4514 s Remaining CPU time: 169.549 s c =============================================================================== c | 0 | 3380 3602 325221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18355 c Elapsed CPU time: 10.6634 s Remaining CPU time: 169.337 s c =============================================================================== c | 0 | 3380 3603 328571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18350 c Elapsed CPU time: 10.8693 s Remaining CPU time: 169.131 s c =============================================================================== c | 0 | 3380 3604 331921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18348 c Elapsed CPU time: 11.0793 s Remaining CPU time: 168.921 s c =============================================================================== c | 0 | 3380 3605 335271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18345 c Elapsed CPU time: 11.2913 s Remaining CPU time: 168.709 s c =============================================================================== c | 0 | 3380 3606 338621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18343 c Elapsed CPU time: 11.5083 s Remaining CPU time: 168.492 s c =============================================================================== c | 0 | 3380 3607 341971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18342 c Elapsed CPU time: 11.7302 s Remaining CPU time: 168.27 s c =============================================================================== c | 0 | 3380 3608 345321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18341 c Elapsed CPU time: 11.9502 s Remaining CPU time: 168.05 s c =============================================================================== c | 0 | 3380 3609 348671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18340 c Elapsed CPU time: 12.1751 s Remaining CPU time: 167.825 s c =============================================================================== c | 0 | 3380 3610 352021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18339 c Elapsed CPU time: 12.4121 s Remaining CPU time: 167.588 s c =============================================================================== c | 0 | 3380 3611 355371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18338 c Elapsed CPU time: 12.6441 s Remaining CPU time: 167.356 s c =============================================================================== c | 0 | 3380 3612 358721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18337 c Elapsed CPU time: 12.882 s Remaining CPU time: 167.118 s c =============================================================================== c | 0 | 3380 3613 362071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18336 c Elapsed CPU time: 13.117 s Remaining CPU time: 166.883 s c =============================================================================== c | 0 | 3380 3614 365421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18335 c Elapsed CPU time: 13.356 s Remaining CPU time: 166.644 s c =============================================================================== c | 0 | 3380 3615 368771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18334 c Elapsed CPU time: 13.5949 s Remaining CPU time: 166.405 s c =============================================================================== c | 0 | 3380 3616 372121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18331 c Elapsed CPU time: 13.8329 s Remaining CPU time: 166.167 s c =============================================================================== c | 0 | 3380 3617 375471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18330 c Elapsed CPU time: 14.0739 s Remaining CPU time: 165.926 s c =============================================================================== c | 0 | 3380 3618 378821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18329 c Elapsed CPU time: 14.3158 s Remaining CPU time: 165.684 s c =============================================================================== c | 0 | 3380 3619 382171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18328 c Elapsed CPU time: 14.5648 s Remaining CPU time: 165.435 s c =============================================================================== c | 0 | 3380 3620 385521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18324 c Elapsed CPU time: 14.8197 s Remaining CPU time: 165.18 s c =============================================================================== c | 0 | 3380 3621 388871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18319 c Elapsed CPU time: 15.0657 s Remaining CPU time: 164.934 s c =============================================================================== c | 0 | 3380 3622 392221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18318 c Elapsed CPU time: 15.3227 s Remaining CPU time: 164.677 s c =============================================================================== c | 0 | 3380 3623 395571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18314 c Elapsed CPU time: 15.5756 s Remaining CPU time: 164.424 s c =============================================================================== c | 0 | 3380 3624 398921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18313 c Elapsed CPU time: 15.8326 s Remaining CPU time: 164.167 s c =============================================================================== c | 0 | 3380 3625 402271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18312 c Elapsed CPU time: 16.0926 s Remaining CPU time: 163.907 s c =============================================================================== c | 0 | 3380 3626 405621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18311 c Elapsed CPU time: 16.3595 s Remaining CPU time: 163.64 s c =============================================================================== c | 0 | 3380 3627 408971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18307 c Elapsed CPU time: 16.6205 s Remaining CPU time: 163.38 s c =============================================================================== c | 0 | 3380 3628 412321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18306 c Elapsed CPU time: 16.8944 s Remaining CPU time: 163.106 s c =============================================================================== c | 0 | 3380 3629 415671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18304 c Elapsed CPU time: 17.1664 s Remaining CPU time: 162.834 s c =============================================================================== c | 0 | 3380 3630 419021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18300 c Elapsed CPU time: 17.4443 s Remaining CPU time: 162.556 s c =============================================================================== c | 0 | 3380 3631 422371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18299 c Elapsed CPU time: 17.7203 s Remaining CPU time: 162.28 s c =============================================================================== c | 0 | 3380 3632 425721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18297 c Elapsed CPU time: 17.9913 s Remaining CPU time: 162.009 s c =============================================================================== c | 0 | 3380 3633 429071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18295 c Elapsed CPU time: 18.2712 s Remaining CPU time: 161.729 s c =============================================================================== c | 0 | 3380 3634 432421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18294 c Elapsed CPU time: 18.5512 s Remaining CPU time: 161.449 s c =============================================================================== c | 0 | 3380 3635 435771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18292 c Elapsed CPU time: 18.8351 s Remaining CPU time: 161.165 s c =============================================================================== c | 0 | 3380 3636 439121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18290 c Elapsed CPU time: 19.1131 s Remaining CPU time: 160.887 s c =============================================================================== c | 0 | 3380 3637 442471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18287 c Elapsed CPU time: 19.4031 s Remaining CPU time: 160.597 s c =============================================================================== c | 0 | 3380 3638 445821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18285 c Elapsed CPU time: 19.7 s Remaining CPU time: 160.3 s c =============================================================================== c | 0 | 3380 3639 449171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18283 c Elapsed CPU time: 19.995 s Remaining CPU time: 160.005 s c =============================================================================== c | 0 | 3380 3640 452521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18280 c Elapsed CPU time: 20.2819 s Remaining CPU time: 159.718 s c =============================================================================== c | 0 | 3380 3641 455871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18279 c Elapsed CPU time: 20.5799 s Remaining CPU time: 159.42 s c =============================================================================== c | 0 | 3380 3642 459221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18276 c Elapsed CPU time: 20.8738 s Remaining CPU time: 159.126 s c =============================================================================== c | 0 | 3380 3643 462571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18275 c Elapsed CPU time: 21.1758 s Remaining CPU time: 158.824 s c =============================================================================== c | 0 | 3380 3644 465921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18274 c Elapsed CPU time: 21.4977 s Remaining CPU time: 158.502 s c =============================================================================== c | 0 | 3380 3645 469271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18272 c Elapsed CPU time: 21.8147 s Remaining CPU time: 158.185 s c =============================================================================== c | 0 | 3380 3646 472621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18270 c Elapsed CPU time: 22.1296 s Remaining CPU time: 157.87 s c =============================================================================== c | 0 | 3380 3647 475971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18268 c Elapsed CPU time: 22.4346 s Remaining CPU time: 157.565 s c =============================================================================== c | 0 | 3380 3648 479321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18266 c Elapsed CPU time: 22.7455 s Remaining CPU time: 157.254 s c =============================================================================== c | 0 | 3380 3649 482671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18265 c Elapsed CPU time: 23.0605 s Remaining CPU time: 156.94 s c =============================================================================== c | 0 | 3380 3650 486021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18264 c Elapsed CPU time: 23.3804 s Remaining CPU time: 156.62 s c =============================================================================== c | 0 | 3380 3651 489371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18262 c Elapsed CPU time: 23.7014 s Remaining CPU time: 156.299 s c =============================================================================== c | 0 | 3380 3652 492721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18260 c Elapsed CPU time: 24.0353 s Remaining CPU time: 155.965 s c =============================================================================== c | 0 | 3380 3653 496071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18259 c Elapsed CPU time: 24.3653 s Remaining CPU time: 155.635 s c =============================================================================== c | 0 | 3380 3654 499421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18258 c Elapsed CPU time: 24.6932 s Remaining CPU time: 155.307 s c =============================================================================== c | 0 | 3380 3655 502771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18257 c Elapsed CPU time: 25.0232 s Remaining CPU time: 154.977 s c =============================================================================== c | 0 | 3380 3656 506121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18254 c Elapsed CPU time: 25.3641 s Remaining CPU time: 154.636 s c =============================================================================== c | 0 | 3380 3657 509471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18253 c Elapsed CPU time: 25.7001 s Remaining CPU time: 154.3 s c =============================================================================== c | 0 | 3380 3658 512821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18252 c Elapsed CPU time: 26.047 s Remaining CPU time: 153.953 s c =============================================================================== c | 0 | 3380 3659 516171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18250 c Elapsed CPU time: 26.398 s Remaining CPU time: 153.602 s c =============================================================================== c | 0 | 3380 3660 519521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18247 c Elapsed CPU time: 26.7389 s Remaining CPU time: 153.261 s c =============================================================================== c | 0 | 3380 3661 522871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18246 c Elapsed CPU time: 27.0879 s Remaining CPU time: 152.912 s c =============================================================================== c | 0 | 3380 3662 526221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18245 c Elapsed CPU time: 27.4438 s Remaining CPU time: 152.556 s c =============================================================================== c | 0 | 3380 3663 529571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18241 c Elapsed CPU time: 27.7878 s Remaining CPU time: 152.212 s c =============================================================================== c | 0 | 3380 3664 532921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18240 c Elapsed CPU time: 28.1397 s Remaining CPU time: 151.86 s c =============================================================================== c | 0 | 3380 3665 536271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18239 c Elapsed CPU time: 28.4967 s Remaining CPU time: 151.503 s c =============================================================================== c | 0 | 3380 3666 539621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18238 c Elapsed CPU time: 28.8666 s Remaining CPU time: 151.133 s c =============================================================================== c | 0 | 3380 3667 542971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18237 c Elapsed CPU time: 29.2366 s Remaining CPU time: 150.763 s c =============================================================================== c | 0 | 3380 3668 546321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18235 c Elapsed CPU time: 29.5935 s Remaining CPU time: 150.406 s c =============================================================================== c | 0 | 3380 3669 549671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18234 c Elapsed CPU time: 29.9654 s Remaining CPU time: 150.035 s c =============================================================================== c | 0 | 3380 3670 553021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18232 c Elapsed CPU time: 30.3294 s Remaining CPU time: 149.671 s c =============================================================================== c | 0 | 3380 3671 556371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18231 c Elapsed CPU time: 30.7173 s Remaining CPU time: 149.283 s c =============================================================================== c | 0 | 3380 3672 559721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18229 c Elapsed CPU time: 31.1163 s Remaining CPU time: 148.884 s c =============================================================================== c | 0 | 3380 3673 563071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18228 c Elapsed CPU time: 31.5072 s Remaining CPU time: 148.493 s c =============================================================================== c | 0 | 3380 3674 566421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18227 c Elapsed CPU time: 31.8982 s Remaining CPU time: 148.102 s c =============================================================================== c | 0 | 3380 3675 569771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18226 c Elapsed CPU time: 32.3091 s Remaining CPU time: 147.691 s c =============================================================================== c | 0 | 3380 3676 573121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18225 c Elapsed CPU time: 32.707 s Remaining CPU time: 147.293 s c =============================================================================== c | 0 | 3380 3677 576471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18224 c Elapsed CPU time: 33.1 s Remaining CPU time: 146.9 s c =============================================================================== c | 0 | 3380 3678 579821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18223 c Elapsed CPU time: 33.4889 s Remaining CPU time: 146.511 s c =============================================================================== c | 0 | 3380 3679 583171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18222 c Elapsed CPU time: 33.8828 s Remaining CPU time: 146.117 s c =============================================================================== c | 0 | 3380 3680 586521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18221 c Elapsed CPU time: 34.2728 s Remaining CPU time: 145.727 s c =============================================================================== c | 0 | 3380 3681 589871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18220 c Elapsed CPU time: 34.6687 s Remaining CPU time: 145.331 s c =============================================================================== c | 0 | 3380 3682 593221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18219 c Elapsed CPU time: 35.0677 s Remaining CPU time: 144.932 s c =============================================================================== c | 0 | 3380 3683 596571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18217 c Elapsed CPU time: 35.4666 s Remaining CPU time: 144.533 s c =============================================================================== c | 0 | 3380 3684 599921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18215 c Elapsed CPU time: 35.8605 s Remaining CPU time: 144.139 s c =============================================================================== c | 0 | 3380 3685 603271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18212 c Elapsed CPU time: 36.2705 s Remaining CPU time: 143.73 s c =============================================================================== c | 0 | 3380 3686 606621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18211 c Elapsed CPU time: 36.6704 s Remaining CPU time: 143.33 s c =============================================================================== c | 0 | 3380 3687 609971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18209 c Elapsed CPU time: 37.0694 s Remaining CPU time: 142.931 s c =============================================================================== c | 0 | 3380 3688 613321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18207 c Elapsed CPU time: 37.4703 s Remaining CPU time: 142.53 s c =============================================================================== c | 0 | 3380 3689 616671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18206 c Elapsed CPU time: 37.8812 s Remaining CPU time: 142.119 s c =============================================================================== c | 0 | 3380 3690 620021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18205 c Elapsed CPU time: 38.2882 s Remaining CPU time: 141.712 s c =============================================================================== c | 0 | 3380 3691 623371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18204 c Elapsed CPU time: 38.7021 s Remaining CPU time: 141.298 s c =============================================================================== c | 0 | 3380 3692 626721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18203 c Elapsed CPU time: 39.1251 s Remaining CPU time: 140.875 s c =============================================================================== c | 0 | 3380 3693 630071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18202 c Elapsed CPU time: 39.553 s Remaining CPU time: 140.447 s c =============================================================================== c | 0 | 3380 3694 633421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18200 c Elapsed CPU time: 39.9709 s Remaining CPU time: 140.029 s c =============================================================================== c | 0 | 3380 3695 636771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18199 c Elapsed CPU time: 40.3869 s Remaining CPU time: 139.613 s c =============================================================================== c | 0 | 3380 3696 640121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18196 c Elapsed CPU time: 40.8158 s Remaining CPU time: 139.184 s c =============================================================================== c | 0 | 3380 3697 643471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18195 c Elapsed CPU time: 41.2357 s Remaining CPU time: 138.764 s c =============================================================================== c | 0 | 3380 3698 646821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18194 c Elapsed CPU time: 41.6517 s Remaining CPU time: 138.348 s c =============================================================================== c | 0 | 3380 3699 650171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18193 c Elapsed CPU time: 42.0796 s Remaining CPU time: 137.92 s c =============================================================================== c | 0 | 3380 3700 653521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18192 c Elapsed CPU time: 42.5085 s Remaining CPU time: 137.491 s c =============================================================================== c | 0 | 3380 3701 656871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18191 c Elapsed CPU time: 42.9435 s Remaining CPU time: 137.057 s c =============================================================================== c | 0 | 3380 3702 660221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18190 c Elapsed CPU time: 43.3874 s Remaining CPU time: 136.613 s c =============================================================================== c | 0 | 3380 3703 663571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18188 c Elapsed CPU time: 43.8113 s Remaining CPU time: 136.189 s c =============================================================================== c | 0 | 3380 3704 666921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18187 c Elapsed CPU time: 44.2453 s Remaining CPU time: 135.755 s c =============================================================================== c | 0 | 3380 3705 670271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18184 c Elapsed CPU time: 44.6742 s Remaining CPU time: 135.326 s c =============================================================================== c | 0 | 3380 3706 673621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18181 c Elapsed CPU time: 45.1111 s Remaining CPU time: 134.889 s c =============================================================================== c | 0 | 3380 3707 676971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18178 c Elapsed CPU time: 45.5451 s Remaining CPU time: 134.455 s c =============================================================================== c | 0 | 3380 3708 680321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18177 c Elapsed CPU time: 45.983 s Remaining CPU time: 134.017 s c =============================================================================== c | 0 | 3380 3709 683671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18176 c Elapsed CPU time: 46.4229 s Remaining CPU time: 133.577 s c =============================================================================== c | 0 | 3380 3710 687021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18175 c Elapsed CPU time: 46.8709 s Remaining CPU time: 133.129 s c =============================================================================== c | 0 | 3380 3711 690371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18173 c Elapsed CPU time: 47.3308 s Remaining CPU time: 132.669 s c =============================================================================== c | 0 | 3380 3712 693721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18172 c Elapsed CPU time: 47.7847 s Remaining CPU time: 132.215 s c =============================================================================== c | 0 | 3380 3713 697071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18170 c Elapsed CPU time: 48.2977 s Remaining CPU time: 131.702 s c =============================================================================== c | 0 | 3380 3714 700421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18169 c Elapsed CPU time: 48.7956 s Remaining CPU time: 131.204 s c =============================================================================== c | 0 | 3380 3715 703771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18168 c Elapsed CPU time: 49.3015 s Remaining CPU time: 130.698 s c =============================================================================== c | 0 | 3380 3716 707121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18167 c Elapsed CPU time: 49.8094 s Remaining CPU time: 130.191 s c =============================================================================== c | 0 | 3380 3717 710471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18166 c Elapsed CPU time: 50.3044 s Remaining CPU time: 129.696 s c =============================================================================== c | 0 | 3380 3718 713821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18165 c Elapsed CPU time: 50.8233 s Remaining CPU time: 129.177 s c =============================================================================== c | 0 | 3380 3719 717171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18164 c Elapsed CPU time: 51.3452 s Remaining CPU time: 128.655 s c =============================================================================== c | 0 | 3380 3720 720521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18162 c Elapsed CPU time: 51.8621 s Remaining CPU time: 128.138 s c =============================================================================== c | 0 | 3380 3721 723871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18161 c Elapsed CPU time: 52.376 s Remaining CPU time: 127.624 s c =============================================================================== c | 0 | 3380 3722 727221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18160 c Elapsed CPU time: 52.887 s Remaining CPU time: 127.113 s c =============================================================================== c | 0 | 3380 3723 730571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18157 c Elapsed CPU time: 53.3929 s Remaining CPU time: 126.607 s c =============================================================================== c | 0 | 3380 3724 733921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18153 c Elapsed CPU time: 53.9038 s Remaining CPU time: 126.096 s c =============================================================================== c | 0 | 3380 3725 737271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18152 c Elapsed CPU time: 54.4107 s Remaining CPU time: 125.589 s c =============================================================================== c | 0 | 3380 3726 740621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18151 c Elapsed CPU time: 54.9256 s Remaining CPU time: 125.074 s c =============================================================================== c | 0 | 3380 3727 743971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18150 c Elapsed CPU time: 55.4366 s Remaining CPU time: 124.563 s c =============================================================================== c | 0 | 3380 3728 747321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18149 c Elapsed CPU time: 55.9485 s Remaining CPU time: 124.052 s c =============================================================================== c | 0 | 3380 3729 750671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18148 c Elapsed CPU time: 56.4664 s Remaining CPU time: 123.534 s c =============================================================================== c | 0 | 3380 3730 754021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18147 c Elapsed CPU time: 56.9673 s Remaining CPU time: 123.033 s c =============================================================================== c | 0 | 3380 3731 757371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18146 c Elapsed CPU time: 57.4773 s Remaining CPU time: 122.523 s c =============================================================================== c | 0 | 3380 3732 760721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18145 c Elapsed CPU time: 57.9842 s Remaining CPU time: 122.016 s c =============================================================================== c | 0 | 3380 3733 764071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18144 c Elapsed CPU time: 58.4921 s Remaining CPU time: 121.508 s c =============================================================================== c | 0 | 3380 3734 767421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18143 c Elapsed CPU time: 58.997 s Remaining CPU time: 121.003 s c =============================================================================== c | 0 | 3380 3735 770771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18139 c Elapsed CPU time: 59.503 s Remaining CPU time: 120.497 s c =============================================================================== c | 0 | 3380 3736 774121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18137 c Elapsed CPU time: 60.0009 s Remaining CPU time: 119.999 s c =============================================================================== c | 0 | 3380 3737 777471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18134 c Elapsed CPU time: 60.5038 s Remaining CPU time: 119.496 s c =============================================================================== c | 0 | 3380 3738 780821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18130 c Elapsed CPU time: 61.0167 s Remaining CPU time: 118.983 s c =============================================================================== c | 0 | 3380 3739 784171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18128 c Elapsed CPU time: 61.5256 s Remaining CPU time: 118.474 s c =============================================================================== c | 0 | 3380 3740 787521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18127 c Elapsed CPU time: 62.0516 s Remaining CPU time: 117.948 s c =============================================================================== c | 0 | 3380 3741 790871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18126 c Elapsed CPU time: 62.5825 s Remaining CPU time: 117.418 s c =============================================================================== c | 0 | 3380 3742 794221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18121 c Elapsed CPU time: 63.0994 s Remaining CPU time: 116.901 s c =============================================================================== c | 0 | 3380 3743 797571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18120 c Elapsed CPU time: 63.6413 s Remaining CPU time: 116.359 s c =============================================================================== c | 0 | 3380 3744 800921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18119 c Elapsed CPU time: 64.1682 s Remaining CPU time: 115.832 s c =============================================================================== c | 0 | 3380 3745 804271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18117 c Elapsed CPU time: 64.6912 s Remaining CPU time: 115.309 s c =============================================================================== c | 0 | 3380 3746 807621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18116 c Elapsed CPU time: 65.2211 s Remaining CPU time: 114.779 s c =============================================================================== c | 0 | 3380 3747 810971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18114 c Elapsed CPU time: 65.781 s Remaining CPU time: 114.219 s c =============================================================================== c | 0 | 3380 3748 814321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18113 c Elapsed CPU time: 66.3529 s Remaining CPU time: 113.647 s c =============================================================================== c | 0 | 3380 3749 817671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18112 c Elapsed CPU time: 66.9118 s Remaining CPU time: 113.088 s c =============================================================================== c | 0 | 3380 3750 821021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18111 c Elapsed CPU time: 67.4747 s Remaining CPU time: 112.525 s c =============================================================================== c | 0 | 3380 3751 824371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18110 c Elapsed CPU time: 68.0557 s Remaining CPU time: 111.944 s c =============================================================================== c | 0 | 3380 3752 827721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18109 c Elapsed CPU time: 68.6146 s Remaining CPU time: 111.385 s c =============================================================================== c | 0 | 3380 3753 831071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18108 c Elapsed CPU time: 69.1745 s Remaining CPU time: 110.826 s c =============================================================================== c | 0 | 3380 3754 834421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18107 c Elapsed CPU time: 69.7344 s Remaining CPU time: 110.266 s c =============================================================================== c | 0 | 3380 3755 837771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18105 c Elapsed CPU time: 70.3013 s Remaining CPU time: 109.699 s c =============================================================================== c | 0 | 3380 3756 841121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18104 c Elapsed CPU time: 70.8932 s Remaining CPU time: 109.107 s c =============================================================================== c | 0 | 3380 3757 844471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18103 c Elapsed CPU time: 71.4701 s Remaining CPU time: 108.53 s c =============================================================================== c | 0 | 3380 3758 847821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18102 c Elapsed CPU time: 72.022 s Remaining CPU time: 107.978 s c =============================================================================== c | 0 | 3380 3759 851171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18101 c Elapsed CPU time: 72.596 s Remaining CPU time: 107.404 s c =============================================================================== c | 0 | 3380 3760 854521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18100 c Elapsed CPU time: 73.1609 s Remaining CPU time: 106.839 s c =============================================================================== c | 0 | 3380 3761 857871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18099 c Elapsed CPU time: 73.7378 s Remaining CPU time: 106.262 s c =============================================================================== c | 0 | 3380 3762 861221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18098 c Elapsed CPU time: 74.3057 s Remaining CPU time: 105.694 s c =============================================================================== c | 0 | 3380 3763 864571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18096 c Elapsed CPU time: 74.9346 s Remaining CPU time: 105.065 s c =============================================================================== c | 0 | 3380 3764 867921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18095 c Elapsed CPU time: 75.5655 s Remaining CPU time: 104.434 s c =============================================================================== c | 0 | 3380 3765 871271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18094 c Elapsed CPU time: 76.2064 s Remaining CPU time: 103.794 s c =============================================================================== c | 0 | 3380 3766 874621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18093 c Elapsed CPU time: 76.8423 s Remaining CPU time: 103.158 s c =============================================================================== c | 0 | 3380 3767 877971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18092 c Elapsed CPU time: 77.4892 s Remaining CPU time: 102.511 s c =============================================================================== c | 0 | 3380 3768 881321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18091 c Elapsed CPU time: 78.1271 s Remaining CPU time: 101.873 s c =============================================================================== c | 0 | 3380 3769 884671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18089 c Elapsed CPU time: 78.772 s Remaining CPU time: 101.228 s c =============================================================================== c | 0 | 3380 3770 888021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18088 c Elapsed CPU time: 79.4309 s Remaining CPU time: 100.569 s c =============================================================================== c | 0 | 3380 3771 891371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18087 c Elapsed CPU time: 80.0708 s Remaining CPU time: 99.9292 s c =============================================================================== c | 0 | 3380 3772 894721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18086 c Elapsed CPU time: 80.7177 s Remaining CPU time: 99.2823 s c =============================================================================== c | 0 | 3380 3773 898071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18085 c Elapsed CPU time: 81.3696 s Remaining CPU time: 98.6304 s c =============================================================================== c | 0 | 3380 3774 901421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18084 c Elapsed CPU time: 82.0395 s Remaining CPU time: 97.9605 s c =============================================================================== c | 0 | 3380 3775 904771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18083 c Elapsed CPU time: 82.6934 s Remaining CPU time: 97.3066 s c =============================================================================== c | 0 | 3380 3776 908121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18081 c Elapsed CPU time: 83.3313 s Remaining CPU time: 96.6687 s c =============================================================================== c | 0 | 3380 3777 911471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18080 c Elapsed CPU time: 83.9782 s Remaining CPU time: 96.0218 s c =============================================================================== c | 0 | 3380 3778 914821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18079 c Elapsed CPU time: 84.6171 s Remaining CPU time: 95.3829 s c =============================================================================== c | 0 | 3380 3779 918171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18076 c Elapsed CPU time: 85.246 s Remaining CPU time: 94.754 s c =============================================================================== c | 0 | 3380 3780 921521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18075 c Elapsed CPU time: 85.8879 s Remaining CPU time: 94.1121 s c =============================================================================== c | 0 | 3380 3781 924871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18072 c Elapsed CPU time: 86.5188 s Remaining CPU time: 93.4812 s c =============================================================================== c | 0 | 3380 3782 928221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18068 c Elapsed CPU time: 87.1468 s Remaining CPU time: 92.8532 s c =============================================================================== c | 0 | 3380 3783 931571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18067 c Elapsed CPU time: 87.7817 s Remaining CPU time: 92.2183 s c =============================================================================== c | 0 | 3380 3784 934921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18066 c Elapsed CPU time: 88.4186 s Remaining CPU time: 91.5814 s c =============================================================================== c | 0 | 3380 3785 938271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18064 c Elapsed CPU time: 89.0535 s Remaining CPU time: 90.9465 s c =============================================================================== c | 0 | 3380 3786 941621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18062 c Elapsed CPU time: 89.7134 s Remaining CPU time: 90.2866 s c =============================================================================== c | 0 | 3380 3787 944971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18061 c Elapsed CPU time: 90.3713 s Remaining CPU time: 89.6287 s c =============================================================================== c | 0 | 3380 3788 948321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18060 c Elapsed CPU time: 91.0132 s Remaining CPU time: 88.9868 s c =============================================================================== c | 0 | 3380 3789 951671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18059 c Elapsed CPU time: 91.6631 s Remaining CPU time: 88.3369 s c =============================================================================== c | 0 | 3380 3790 955021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18058 c Elapsed CPU time: 92.318 s Remaining CPU time: 87.682 s c =============================================================================== c | 0 | 3380 3791 958371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18055 c Elapsed CPU time: 92.9589 s Remaining CPU time: 87.0411 s c =============================================================================== c | 0 | 3380 3792 961721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18053 c Elapsed CPU time: 93.6028 s Remaining CPU time: 86.3972 s c =============================================================================== c | 0 | 3380 3793 965071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18051 c Elapsed CPU time: 94.2647 s Remaining CPU time: 85.7353 s c =============================================================================== c | 0 | 3380 3794 968421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18048 c Elapsed CPU time: 94.9196 s Remaining CPU time: 85.0804 s c =============================================================================== c | 0 | 3380 3795 971771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18047 c Elapsed CPU time: 95.5795 s Remaining CPU time: 84.4205 s c =============================================================================== c | 0 | 3380 3796 975121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18046 c Elapsed CPU time: 96.2294 s Remaining CPU time: 83.7706 s c =============================================================================== c | 0 | 3380 3797 978471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18045 c Elapsed CPU time: 96.9103 s Remaining CPU time: 83.0897 s c =============================================================================== c | 0 | 3380 3798 981821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18044 c Elapsed CPU time: 97.5472 s Remaining CPU time: 82.4528 s c =============================================================================== c | 0 | 3380 3799 985171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18043 c Elapsed CPU time: 98.1951 s Remaining CPU time: 81.8049 s c =============================================================================== c | 0 | 3380 3800 988521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18042 c Elapsed CPU time: 98.848 s Remaining CPU time: 81.152 s c =============================================================================== c | 0 | 3380 3801 991871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18041 c Elapsed CPU time: 99.4989 s Remaining CPU time: 80.5011 s c =============================================================================== c | 0 | 3380 3802 995221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18040 c Elapsed CPU time: 100.149 s Remaining CPU time: 79.8512 s c =============================================================================== c | 0 | 3380 3803 998571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18037 c Elapsed CPU time: 100.801 s Remaining CPU time: 79.1993 s c =============================================================================== c | 0 | 3380 3804 1001921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18036 c Elapsed CPU time: 101.461 s Remaining CPU time: 78.5394 s c =============================================================================== c | 0 | 3380 3805 1005271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18035 c Elapsed CPU time: 102.147 s Remaining CPU time: 77.8525 s c =============================================================================== c | 0 | 3380 3806 1008621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18034 c Elapsed CPU time: 102.814 s Remaining CPU time: 77.1856 s c =============================================================================== c | 0 | 3380 3807 1011971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18031 c Elapsed CPU time: 103.473 s Remaining CPU time: 76.5267 s c =============================================================================== c | 0 | 3380 3808 1015321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18028 c Elapsed CPU time: 104.149 s Remaining CPU time: 75.8508 s c =============================================================================== c | 0 | 3380 3809 1018671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18027 c Elapsed CPU time: 104.822 s Remaining CPU time: 75.1779 s c =============================================================================== c | 0 | 3380 3810 1022021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18026 c Elapsed CPU time: 105.501 s Remaining CPU time: 74.499 s c =============================================================================== c | 0 | 3380 3811 1025371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18025 c Elapsed CPU time: 106.195 s Remaining CPU time: 73.8051 s c =============================================================================== c | 0 | 3380 3812 1028721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18024 c Elapsed CPU time: 106.877 s Remaining CPU time: 73.1232 s c =============================================================================== c | 0 | 3380 3813 1032071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18023 c Elapsed CPU time: 107.575 s Remaining CPU time: 72.4254 s c =============================================================================== c | 0 | 3380 3814 1035421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18021 c Elapsed CPU time: 108.287 s Remaining CPU time: 71.7135 s c =============================================================================== c | 0 | 3380 3815 1038771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18020 c Elapsed CPU time: 109.002 s Remaining CPU time: 70.9976 s c =============================================================================== c | 0 | 3380 3816 1042121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18017 c Elapsed CPU time: 109.71 s Remaining CPU time: 70.2897 s c =============================================================================== c | 0 | 3380 3817 1045471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18016 c Elapsed CPU time: 110.444 s Remaining CPU time: 69.5558 s c =============================================================================== c | 0 | 3380 3818 1048821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18015 c Elapsed CPU time: 111.17 s Remaining CPU time: 68.8299 s c =============================================================================== c | 0 | 3380 3819 1052171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18014 c Elapsed CPU time: 111.913 s Remaining CPU time: 68.087 s c =============================================================================== c | 0 | 3380 3820 1055521 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18013 c Elapsed CPU time: 112.662 s Remaining CPU time: 67.3381 s c =============================================================================== c | 0 | 3380 3821 1058871 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18012 c Elapsed CPU time: 113.396 s Remaining CPU time: 66.6042 s c =============================================================================== c | 0 | 3380 3822 1062221 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18009 c Elapsed CPU time: 114.141 s Remaining CPU time: 65.8594 s c =============================================================================== c | 0 | 3380 3823 1065571 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18006 c Elapsed CPU time: 114.895 s Remaining CPU time: 65.1055 s c =============================================================================== c | 0 | 3380 3824 1068921 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18005 c Elapsed CPU time: 115.628 s Remaining CPU time: 64.3716 s c =============================================================================== c | 0 | 3380 3825 1072271 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18004 c Elapsed CPU time: 116.369 s Remaining CPU time: 63.6307 s c =============================================================================== c | 0 | 3380 3826 1075621 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18003 c Elapsed CPU time: 117.094 s Remaining CPU time: 62.9058 s c =============================================================================== c | 0 | 3380 3827 1078971 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18001 c Elapsed CPU time: 117.822 s Remaining CPU time: 62.1779 s c =============================================================================== c | 0 | 3380 3828 1082321 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18000 c Elapsed CPU time: 118.553 s Remaining CPU time: 61.447 s c =============================================================================== c | 0 | 3380 3829 1085671 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17998 c Elapsed CPU time: 119.205 s Remaining CPU time: 60.7951 s c =============================================================================== c | 0 | 3380 3830 1089021 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17995 c Elapsed CPU time: 119.925 s Remaining CPU time: 60.0752 s c =============================================================================== c | 0 | 3380 3831 1092371 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17994 c Elapsed CPU time: 120.652 s Remaining CPU time: 59.3483 s c =============================================================================== c | 0 | 3380 3832 1095721 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17993 c Elapsed CPU time: 121.381 s Remaining CPU time: 58.6195 s c =============================================================================== c | 0 | 3380 3833 1099071 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17990 c Elapsed CPU time: 122.113 s Remaining CPU time: 57.8866 s c =============================================================================== c | 0 | 3380 3834 1102421 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17989 c Elapsed CPU time: 122.852 s Remaining CPU time: 57.1477 s c =============================================================================== c | 0 | 3380 3835 1105771 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17988 c Elapsed CPU time: 123.604 s Remaining CPU time: 56.3958 s c =============================================================================== c | 0 | 3380 3836 1109121 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17986 c Elapsed CPU time: 124.36 s Remaining CPU time: 55.6399 s c =============================================================================== c | 0 | 3380 3837 1112471 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17982 c Elapsed CPU time: 125.101 s Remaining CPU time: 54.899 s c =============================================================================== c | 0 | 3380 3838 1115821 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17979 c Elapsed CPU time: 125.843 s Remaining CPU time: 54.1571 s c =============================================================================== c | 0 | 3380 3839 1119171 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17978 c Elapsed CPU time: 126.605 s Remaining CPU time: 53.3952 s c =============================================================================== c | 1 | 3380 3840 1122521 | 5000 1 3272 | 0.000 % | c =============================================================================== c New solution: 17977 c Elapsed CPU time: 127.383 s Remaining CPU time: 52.6174 s c =============================================================================== c | 1 | 3380 3841 1125871 | 5000 1 3272 | 0.000 % | c =============================================================================== c New solution: 17976 c Elapsed CPU time: 128.141 s Remaining CPU time: 51.8595 s c =============================================================================== c | 1 | 3380 3842 1129221 | 5000 1 3272 | 0.000 % | c =============================================================================== c New solution: 17974 c Elapsed CPU time: 128.908 s Remaining CPU time: 51.0916 s c =============================================================================== c | 1 | 3380 3843 1132571 | 5000 1 3272 | 0.000 % | c =============================================================================== c New solution: 17973 c Elapsed CPU time: 129.657 s Remaining CPU time: 50.3427 s c =============================================================================== c | 1 | 3380 3844 1135921 | 5000 1 3272 | 0.000 % | c =============================================================================== c New solution: 17972 c Elapsed CPU time: 130.437 s Remaining CPU time: 49.5628 s c =============================================================================== c | 1 | 3380 3845 1139271 | 5000 1 3272 | 0.000 % | c =============================================================================== c New solution: 17970 c Elapsed CPU time: 131.218 s Remaining CPU time: 48.7819 s c =============================================================================== c | 2 | 3380 3846 1142621 | 5000 2 3269 | 0.000 % | c =============================================================================== c New solution: 17969 c Elapsed CPU time: 132.015 s Remaining CPU time: 47.9851 s c =============================================================================== c | 2 | 3380 3847 1145971 | 5000 2 3269 | 0.000 % | c =============================================================================== c New solution: 17968 c Elapsed CPU time: 132.812 s Remaining CPU time: 47.1882 s c =============================================================================== c | 2 | 3380 3848 1149321 | 5000 2 3269 | 0.000 % | c =============================================================================== c New solution: 17967 c Elapsed CPU time: 133.584 s Remaining CPU time: 46.4163 s c =============================================================================== c | 3 | 3380 3849 1152671 | 5000 3 2181 | 0.000 % | c =============================================================================== c New solution: 17966 c Elapsed CPU time: 134.384 s Remaining CPU time: 45.6164 s c =============================================================================== c | 3 | 3380 3850 1156021 | 5000 3 2181 | 0.000 % | c =============================================================================== c New solution: 17965 c Elapsed CPU time: 135.175 s Remaining CPU time: 44.8245 s c =============================================================================== c | 4 | 3380 3851 1159371 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17964 c Elapsed CPU time: 135.945 s Remaining CPU time: 44.0547 s c =============================================================================== c | 4 | 3380 3852 1162721 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17963 c Elapsed CPU time: 136.714 s Remaining CPU time: 43.2858 s c =============================================================================== c | 4 | 3380 3853 1166071 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17962 c Elapsed CPU time: 137.486 s Remaining CPU time: 42.5139 s c =============================================================================== c | 4 | 3380 3854 1169421 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17961 c Elapsed CPU time: 138.265 s Remaining CPU time: 41.735 s c =============================================================================== c | 4 | 3380 3855 1172771 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17960 c Elapsed CPU time: 139.056 s Remaining CPU time: 40.9441 s c =============================================================================== c | 4 | 3380 3856 1176121 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17959 c Elapsed CPU time: 139.862 s Remaining CPU time: 40.1383 s c =============================================================================== c | 4 | 3380 3857 1179471 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17958 c Elapsed CPU time: 140.686 s Remaining CPU time: 39.3144 s c =============================================================================== c | 4 | 3380 3858 1182821 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17957 c Elapsed CPU time: 141.481 s Remaining CPU time: 38.5185 s c =============================================================================== c | 4 | 3380 3859 1186171 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17956 c Elapsed CPU time: 142.3 s Remaining CPU time: 37.6996 s c =============================================================================== c | 4 | 3380 3860 1189521 | 5000 4 2452 | 0.000 % | c =============================================================================== c New solution: 17955 c Elapsed CPU time: 143.107 s Remaining CPU time: 36.8928 s c =============================================================================== c | 5 | 3380 3861 1192871 | 5000 5 2614 | 0.000 % | c =============================================================================== c New solution: 17954 c Elapsed CPU time: 143.894 s Remaining CPU time: 36.1059 s c =============================================================================== c | 6 | 3380 3862 1196221 | 5000 6 2178 | 0.000 % | c =============================================================================== c New solution: 17953 c Elapsed CPU time: 144.712 s Remaining CPU time: 35.288 s c =============================================================================== c | 6 | 3380 3863 1199571 | 5000 6 2178 | 0.000 % | c =============================================================================== c New solution: 17952 c Elapsed CPU time: 145.545 s Remaining CPU time: 34.4551 s c =============================================================================== c | 6 | 3380 3864 1202921 | 5000 6 2178 | 0.000 % | c =============================================================================== c New solution: 17951 c Elapsed CPU time: 146.377 s Remaining CPU time: 33.6233 s c =============================================================================== c | 6 | 3380 3865 1206271 | 5000 6 2178 | 0.000 % | c =============================================================================== c New solution: 17950 c Elapsed CPU time: 147.191 s Remaining CPU time: 32.8094 s c =============================================================================== c | 6 | 3380 3866 1209621 | 5000 6 2178 | 0.000 % | c =============================================================================== c New solution: 17949 c Elapsed CPU time: 147.977 s Remaining CPU time: 32.0235 s c =============================================================================== c | 6 | 3380 3867 1212971 | 5000 6 2178 | 0.000 % | c =============================================================================== c New solution: 17948 c Elapsed CPU time: 148.792 s Remaining CPU time: 31.2076 s c =============================================================================== c | 6 | 3380 3868 1216321 | 5000 6 2178 | 0.000 % | c =============================================================================== c New solution: 17947 c Elapsed CPU time: 149.625 s Remaining CPU time: 30.3747 s c =============================================================================== c | 6 | 3380 3869 1219671 | 5000 6 2178 | 0.000 % | c =============================================================================== c New solution: 17946 c Elapsed CPU time: 150.456 s Remaining CPU time: 29.5439 s c =============================================================================== c | 8 | 3380 3870 1223021 | 5000 8 2449 | 0.000 % | c =============================================================================== c New solution: 17945 c Elapsed CPU time: 151.342 s Remaining CPU time: 28.658 s c =============================================================================== c | 10 | 3380 3871 1226371 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17944 c Elapsed CPU time: 152.199 s Remaining CPU time: 27.8011 s c =============================================================================== c | 10 | 3380 3872 1229721 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17943 c Elapsed CPU time: 153.109 s Remaining CPU time: 26.8913 s c =============================================================================== c | 10 | 3380 3873 1233071 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17942 c Elapsed CPU time: 153.964 s Remaining CPU time: 26.0364 s c =============================================================================== c | 10 | 3380 3874 1236421 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17941 c Elapsed CPU time: 154.832 s Remaining CPU time: 25.1675 s c =============================================================================== c | 10 | 3380 3875 1239771 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17940 c Elapsed CPU time: 155.695 s Remaining CPU time: 24.3047 s c =============================================================================== c | 10 | 3380 3876 1243121 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17939 c Elapsed CPU time: 156.585 s Remaining CPU time: 23.4148 s c =============================================================================== c | 10 | 3380 3877 1246471 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17938 c Elapsed CPU time: 157.501 s Remaining CPU time: 22.4989 s c =============================================================================== c | 10 | 3380 3878 1249821 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17937 c Elapsed CPU time: 158.367 s Remaining CPU time: 21.6331 s c =============================================================================== c | 10 | 3380 3879 1253171 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17936 c Elapsed CPU time: 159.224 s Remaining CPU time: 20.7762 s c =============================================================================== c | 10 | 3380 3880 1256521 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17935 c Elapsed CPU time: 160.104 s Remaining CPU time: 19.8963 s c =============================================================================== c | 10 | 3380 3881 1259871 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17934 c Elapsed CPU time: 160.967 s Remaining CPU time: 19.0335 s c =============================================================================== c | 10 | 3380 3882 1263221 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17933 c Elapsed CPU time: 161.883 s Remaining CPU time: 18.1166 s c =============================================================================== c | 10 | 3380 3883 1266571 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17932 c Elapsed CPU time: 162.798 s Remaining CPU time: 17.2018 s c =============================================================================== c | 10 | 3380 3884 1269921 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17931 c Elapsed CPU time: 163.672 s Remaining CPU time: 16.3279 s c =============================================================================== c | 10 | 3380 3885 1273271 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17930 c Elapsed CPU time: 164.559 s Remaining CPU time: 15.441 s c =============================================================================== c | 10 | 3380 3886 1276621 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17929 c Elapsed CPU time: 165.402 s Remaining CPU time: 14.5981 s c =============================================================================== c | 10 | 3380 3887 1279971 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17928 c Elapsed CPU time: 166.318 s Remaining CPU time: 13.6823 s c =============================================================================== c | 10 | 3380 3888 1283321 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17927 c Elapsed CPU time: 167.202 s Remaining CPU time: 12.7984 s c =============================================================================== c | 10 | 3380 3889 1286671 | 5000 10 2611 | 0.000 % | c =============================================================================== c New solution: 17926 c Elapsed CPU time: 168.056 s Remaining CPU time: 11.9435 s c =============================================================================== c | 11 | 3380 3890 1290021 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17925 c Elapsed CPU time: 168.935 s Remaining CPU time: 11.0647 s c =============================================================================== c | 11 | 3380 3891 1293371 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17924 c Elapsed CPU time: 169.857 s Remaining CPU time: 10.1428 s c =============================================================================== c | 11 | 3380 3892 1296721 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17923 c Elapsed CPU time: 170.762 s Remaining CPU time: 9.23796 s c =============================================================================== c | 11 | 3380 3893 1300071 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17922 c Elapsed CPU time: 171.715 s Remaining CPU time: 8.2851 s c =============================================================================== c | 11 | 3380 3894 1303421 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17921 c Elapsed CPU time: 172.607 s Remaining CPU time: 7.39324 s c =============================================================================== c | 11 | 3380 3895 1306771 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17920 c Elapsed CPU time: 173.497 s Remaining CPU time: 6.50338 s c =============================================================================== c | 11 | 3380 3896 1310121 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17919 c Elapsed CPU time: 174.387 s Remaining CPU time: 5.61251 s c =============================================================================== c | 11 | 3380 3897 1313471 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17918 c Elapsed CPU time: 175.29 s Remaining CPU time: 4.70965 s c =============================================================================== c | 11 | 3380 3898 1316821 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17917 c Elapsed CPU time: 176.154 s Remaining CPU time: 3.84578 s c =============================================================================== c | 11 | 3380 3899 1320171 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17916 c Elapsed CPU time: 177.09 s Remaining CPU time: 2.90992 s c =============================================================================== c | 11 | 3380 3900 1323521 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17915 c Elapsed CPU time: 177.997 s Remaining CPU time: 2.00306 s c =============================================================================== c | 11 | 3380 3901 1326871 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17914 c Elapsed CPU time: 178.891 s Remaining CPU time: 1.1092 s c =============================================================================== c | 11 | 3380 3902 1330221 | 5000 11 2670 | 0.000 % | c =============================================================================== c New solution: 17913 c Elapsed CPU time: 179.821 s Remaining CPU time: 0.179337 s c =============================================================================== c | 11 | 3380 3903 1333571 | 5000 11 2670 | 0.000 % | c There are 120 assigned variables. 74 in cost function. c Memory used : 50.15 MB c CPU time : 180.626 s c c Total CPU time: 180.626 s