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 | 3466 3503 10350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18582 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 3466 3504 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18576 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 3466 3505 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18575 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s c =============================================================================== c | 0 | 3466 3506 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18572 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 3466 3507 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18571 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 0 | 3466 3508 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18570 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 0 | 3466 3509 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18567 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 3466 3510 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18563 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 0 | 3466 3511 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18562 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 0 | 3466 3512 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18558 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 0 | 3466 3513 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18554 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 0 | 3466 3514 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18553 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 0 | 3466 3515 50550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18551 c Elapsed CPU time: 0.607907 s Remaining CPU time: 179.392 s c =============================================================================== c | 0 | 3466 3516 53900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18547 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 0 | 3466 3517 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18545 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 0 | 3466 3518 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18544 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s c =============================================================================== c | 0 | 3466 3519 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18543 c Elapsed CPU time: 0.811876 s Remaining CPU time: 179.188 s c =============================================================================== c | 0 | 3466 3520 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18542 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 0 | 3466 3521 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18541 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 0 | 3466 3522 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18538 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s c =============================================================================== c | 0 | 3466 3523 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18537 c Elapsed CPU time: 1.03984 s Remaining CPU time: 178.96 s c =============================================================================== c | 0 | 3466 3524 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18536 c Elapsed CPU time: 1.09983 s Remaining CPU time: 178.9 s c =============================================================================== c | 0 | 3466 3525 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18534 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 0 | 3466 3526 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18533 c Elapsed CPU time: 1.22281 s Remaining CPU time: 178.777 s c =============================================================================== c | 0 | 3466 3527 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18530 c Elapsed CPU time: 1.2858 s Remaining CPU time: 178.714 s c =============================================================================== c | 0 | 3466 3528 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18529 c Elapsed CPU time: 1.34679 s Remaining CPU time: 178.653 s c =============================================================================== c | 0 | 3466 3529 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18528 c Elapsed CPU time: 1.40979 s Remaining CPU time: 178.59 s c =============================================================================== c | 0 | 3466 3530 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18525 c Elapsed CPU time: 1.47578 s Remaining CPU time: 178.524 s c =============================================================================== c | 0 | 3466 3531 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18521 c Elapsed CPU time: 1.54277 s Remaining CPU time: 178.457 s c =============================================================================== c | 0 | 3466 3532 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18519 c Elapsed CPU time: 1.60875 s Remaining CPU time: 178.391 s c =============================================================================== c | 0 | 3466 3533 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18517 c Elapsed CPU time: 1.67974 s Remaining CPU time: 178.32 s c =============================================================================== c | 0 | 3466 3534 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18515 c Elapsed CPU time: 1.74973 s Remaining CPU time: 178.25 s c =============================================================================== c | 0 | 3466 3535 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18511 c Elapsed CPU time: 1.82072 s Remaining CPU time: 178.179 s c =============================================================================== c | 0 | 3466 3536 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18510 c Elapsed CPU time: 1.89471 s Remaining CPU time: 178.105 s c =============================================================================== c | 0 | 3466 3537 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18509 c Elapsed CPU time: 1.9707 s Remaining CPU time: 178.029 s c =============================================================================== c | 0 | 3466 3538 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18508 c Elapsed CPU time: 2.04669 s Remaining CPU time: 177.953 s c =============================================================================== c | 0 | 3466 3539 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18506 c Elapsed CPU time: 2.12268 s Remaining CPU time: 177.877 s c =============================================================================== c | 0 | 3466 3540 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18505 c Elapsed CPU time: 2.20066 s Remaining CPU time: 177.799 s c =============================================================================== c | 0 | 3466 3541 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18504 c Elapsed CPU time: 2.28465 s Remaining CPU time: 177.715 s c =============================================================================== c | 0 | 3466 3542 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18502 c Elapsed CPU time: 2.36664 s Remaining CPU time: 177.633 s c =============================================================================== c | 0 | 3466 3543 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18501 c Elapsed CPU time: 2.44863 s Remaining CPU time: 177.551 s c =============================================================================== c | 0 | 3466 3544 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18500 c Elapsed CPU time: 2.53361 s Remaining CPU time: 177.466 s c =============================================================================== c | 0 | 3466 3545 151050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18497 c Elapsed CPU time: 2.6156 s Remaining CPU time: 177.384 s c =============================================================================== c | 0 | 3466 3546 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18496 c Elapsed CPU time: 2.70359 s Remaining CPU time: 177.296 s c =============================================================================== c | 0 | 3466 3547 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18493 c Elapsed CPU time: 2.79458 s Remaining CPU time: 177.205 s c =============================================================================== c | 0 | 3466 3548 161100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18492 c Elapsed CPU time: 2.88756 s Remaining CPU time: 177.112 s c =============================================================================== c | 0 | 3466 3549 164450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18491 c Elapsed CPU time: 2.98455 s Remaining CPU time: 177.015 s c =============================================================================== c | 0 | 3466 3550 167800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18488 c Elapsed CPU time: 3.07853 s Remaining CPU time: 176.921 s c =============================================================================== c | 0 | 3466 3551 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18487 c Elapsed CPU time: 3.17452 s Remaining CPU time: 176.825 s c =============================================================================== c | 0 | 3466 3552 174500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18486 c Elapsed CPU time: 3.2715 s Remaining CPU time: 176.728 s c =============================================================================== c | 0 | 3466 3553 177850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18485 c Elapsed CPU time: 3.37649 s Remaining CPU time: 176.624 s c =============================================================================== c | 0 | 3466 3554 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18484 c Elapsed CPU time: 3.47947 s Remaining CPU time: 176.521 s c =============================================================================== c | 0 | 3466 3555 184550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18483 c Elapsed CPU time: 3.58146 s Remaining CPU time: 176.419 s c =============================================================================== c | 0 | 3466 3556 187900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18482 c Elapsed CPU time: 3.68444 s Remaining CPU time: 176.316 s c =============================================================================== c | 0 | 3466 3557 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18481 c Elapsed CPU time: 3.79442 s Remaining CPU time: 176.206 s c =============================================================================== c | 0 | 3466 3558 194600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18480 c Elapsed CPU time: 3.90541 s Remaining CPU time: 176.095 s c =============================================================================== c | 0 | 3466 3559 197950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18479 c Elapsed CPU time: 4.01339 s Remaining CPU time: 175.987 s c =============================================================================== c | 0 | 3466 3560 201300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18477 c Elapsed CPU time: 4.12337 s Remaining CPU time: 175.877 s c =============================================================================== c | 0 | 3466 3561 204650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18474 c Elapsed CPU time: 4.23236 s Remaining CPU time: 175.768 s c =============================================================================== c | 0 | 3466 3562 208000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18473 c Elapsed CPU time: 4.34434 s Remaining CPU time: 175.656 s c =============================================================================== c | 0 | 3466 3563 211350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18469 c Elapsed CPU time: 4.46132 s Remaining CPU time: 175.539 s c =============================================================================== c | 0 | 3466 3564 214700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18466 c Elapsed CPU time: 4.5753 s Remaining CPU time: 175.425 s c =============================================================================== c | 0 | 3466 3565 218050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18465 c Elapsed CPU time: 4.69928 s Remaining CPU time: 175.301 s c =============================================================================== c | 0 | 3466 3566 221400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18464 c Elapsed CPU time: 4.82127 s Remaining CPU time: 175.179 s c =============================================================================== c | 0 | 3466 3567 224750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18462 c Elapsed CPU time: 4.94525 s Remaining CPU time: 175.055 s c =============================================================================== c | 0 | 3466 3568 228100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18460 c Elapsed CPU time: 5.07123 s Remaining CPU time: 174.929 s c =============================================================================== c | 0 | 3466 3569 231450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18459 c Elapsed CPU time: 5.19821 s Remaining CPU time: 174.802 s c =============================================================================== c | 0 | 3466 3570 234800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18456 c Elapsed CPU time: 5.32519 s Remaining CPU time: 174.675 s c =============================================================================== c | 0 | 3466 3571 238150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18455 c Elapsed CPU time: 5.45617 s Remaining CPU time: 174.544 s c =============================================================================== c | 0 | 3466 3572 241500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18454 c Elapsed CPU time: 5.58715 s Remaining CPU time: 174.413 s c =============================================================================== c | 0 | 3466 3573 244850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18453 c Elapsed CPU time: 5.72113 s Remaining CPU time: 174.279 s c =============================================================================== c | 0 | 3466 3574 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18452 c Elapsed CPU time: 5.85411 s Remaining CPU time: 174.146 s c =============================================================================== c | 0 | 3466 3575 251550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18451 c Elapsed CPU time: 5.99209 s Remaining CPU time: 174.008 s c =============================================================================== c | 0 | 3466 3576 254900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18447 c Elapsed CPU time: 6.13207 s Remaining CPU time: 173.868 s c =============================================================================== c | 0 | 3466 3577 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18446 c Elapsed CPU time: 6.27205 s Remaining CPU time: 173.728 s c =============================================================================== c | 0 | 3466 3578 261600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18445 c Elapsed CPU time: 6.41702 s Remaining CPU time: 173.583 s c =============================================================================== c | 0 | 3466 3579 264950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18444 c Elapsed CPU time: 6.558 s Remaining CPU time: 173.442 s c =============================================================================== c | 0 | 3466 3580 268300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18443 c Elapsed CPU time: 6.70198 s Remaining CPU time: 173.298 s c =============================================================================== c | 0 | 3466 3581 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18441 c Elapsed CPU time: 6.84596 s Remaining CPU time: 173.154 s c =============================================================================== c | 0 | 3466 3582 275000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18438 c Elapsed CPU time: 6.99594 s Remaining CPU time: 173.004 s c =============================================================================== c | 0 | 3466 3583 278350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18437 c Elapsed CPU time: 7.14891 s Remaining CPU time: 172.851 s c =============================================================================== c | 0 | 3466 3584 281700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18435 c Elapsed CPU time: 7.30189 s Remaining CPU time: 172.698 s c =============================================================================== c | 0 | 3466 3585 285050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18432 c Elapsed CPU time: 7.45487 s Remaining CPU time: 172.545 s c =============================================================================== c | 0 | 3466 3586 288400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18431 c Elapsed CPU time: 7.60884 s Remaining CPU time: 172.391 s c =============================================================================== c | 0 | 3466 3587 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18430 c Elapsed CPU time: 7.76882 s Remaining CPU time: 172.231 s c =============================================================================== c | 0 | 3466 3588 295100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18429 c Elapsed CPU time: 7.93279 s Remaining CPU time: 172.067 s c =============================================================================== c | 0 | 3466 3589 298450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18428 c Elapsed CPU time: 8.09577 s Remaining CPU time: 171.904 s c =============================================================================== c | 0 | 3466 3590 301800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18427 c Elapsed CPU time: 8.25574 s Remaining CPU time: 171.744 s c =============================================================================== c | 0 | 3466 3591 305150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18424 c Elapsed CPU time: 8.41772 s Remaining CPU time: 171.582 s c =============================================================================== c | 0 | 3466 3592 308500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18422 c Elapsed CPU time: 8.58469 s Remaining CPU time: 171.415 s c =============================================================================== c | 0 | 3466 3593 311850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18421 c Elapsed CPU time: 8.74767 s Remaining CPU time: 171.252 s c =============================================================================== c | 0 | 3466 3594 315200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18420 c Elapsed CPU time: 8.91464 s Remaining CPU time: 171.085 s c =============================================================================== c | 0 | 3466 3595 318550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18418 c Elapsed CPU time: 9.08362 s Remaining CPU time: 170.916 s c =============================================================================== c | 0 | 3466 3596 321900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18416 c Elapsed CPU time: 9.25859 s Remaining CPU time: 170.741 s c =============================================================================== c | 0 | 3466 3597 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18415 c Elapsed CPU time: 9.43356 s Remaining CPU time: 170.566 s c =============================================================================== c | 0 | 3466 3598 328600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18413 c Elapsed CPU time: 9.61254 s Remaining CPU time: 170.387 s c =============================================================================== c | 0 | 3466 3599 331950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18410 c Elapsed CPU time: 9.78951 s Remaining CPU time: 170.21 s c =============================================================================== c | 0 | 3466 3600 335300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18407 c Elapsed CPU time: 9.96448 s Remaining CPU time: 170.036 s c =============================================================================== c | 0 | 3466 3601 338650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18406 c Elapsed CPU time: 10.1455 s Remaining CPU time: 169.855 s c =============================================================================== c | 0 | 3466 3602 342000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18404 c Elapsed CPU time: 10.3244 s Remaining CPU time: 169.676 s c =============================================================================== c | 0 | 3466 3603 345350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18403 c Elapsed CPU time: 10.5134 s Remaining CPU time: 169.487 s c =============================================================================== c | 0 | 3466 3604 348700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18401 c Elapsed CPU time: 10.7004 s Remaining CPU time: 169.3 s c =============================================================================== c | 0 | 3466 3605 352050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18399 c Elapsed CPU time: 10.8873 s Remaining CPU time: 169.113 s c =============================================================================== c | 0 | 3466 3606 355400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18398 c Elapsed CPU time: 11.0783 s Remaining CPU time: 168.922 s c =============================================================================== c | 0 | 3466 3607 358750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18397 c Elapsed CPU time: 11.2663 s Remaining CPU time: 168.734 s c =============================================================================== c | 0 | 3466 3608 362100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18394 c Elapsed CPU time: 11.4553 s Remaining CPU time: 168.545 s c =============================================================================== c | 0 | 3466 3609 365450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18390 c Elapsed CPU time: 11.6502 s Remaining CPU time: 168.35 s c =============================================================================== c | 0 | 3466 3610 368800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18387 c Elapsed CPU time: 11.8512 s Remaining CPU time: 168.149 s c =============================================================================== c | 0 | 3466 3611 372150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18386 c Elapsed CPU time: 12.0492 s Remaining CPU time: 167.951 s c =============================================================================== c | 0 | 3466 3612 375500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18385 c Elapsed CPU time: 12.2471 s Remaining CPU time: 167.753 s c =============================================================================== c | 0 | 3466 3613 378850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18381 c Elapsed CPU time: 12.4441 s Remaining CPU time: 167.556 s c =============================================================================== c | 0 | 3466 3614 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18378 c Elapsed CPU time: 12.6491 s Remaining CPU time: 167.351 s c =============================================================================== c | 0 | 3466 3615 385550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18377 c Elapsed CPU time: 12.852 s Remaining CPU time: 167.148 s c =============================================================================== c | 0 | 3466 3616 388900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18374 c Elapsed CPU time: 13.058 s Remaining CPU time: 166.942 s c =============================================================================== c | 0 | 3466 3617 392250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18369 c Elapsed CPU time: 13.259 s Remaining CPU time: 166.741 s c =============================================================================== c | 0 | 3466 3618 395600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18367 c Elapsed CPU time: 13.475 s Remaining CPU time: 166.525 s c =============================================================================== c | 0 | 3466 3619 398950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18363 c Elapsed CPU time: 13.6919 s Remaining CPU time: 166.308 s c =============================================================================== c | 0 | 3466 3620 402300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18362 c Elapsed CPU time: 13.9079 s Remaining CPU time: 166.092 s c =============================================================================== c | 0 | 3466 3621 405650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18361 c Elapsed CPU time: 14.1249 s Remaining CPU time: 165.875 s c =============================================================================== c | 0 | 3466 3622 409000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18358 c Elapsed CPU time: 14.3378 s Remaining CPU time: 165.662 s c =============================================================================== c | 0 | 3466 3623 412350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18355 c Elapsed CPU time: 14.5528 s Remaining CPU time: 165.447 s c =============================================================================== c | 0 | 3466 3624 415700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18352 c Elapsed CPU time: 14.7718 s Remaining CPU time: 165.228 s c =============================================================================== c | 0 | 3466 3625 419050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18350 c Elapsed CPU time: 14.9867 s Remaining CPU time: 165.013 s c =============================================================================== c | 0 | 3466 3626 422400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18345 c Elapsed CPU time: 15.2077 s Remaining CPU time: 164.792 s c =============================================================================== c | 0 | 3466 3627 425750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18343 c Elapsed CPU time: 15.4337 s Remaining CPU time: 164.566 s c =============================================================================== c | 0 | 3466 3628 429100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18341 c Elapsed CPU time: 15.6616 s Remaining CPU time: 164.338 s c =============================================================================== c | 0 | 3466 3629 432450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18339 c Elapsed CPU time: 15.8946 s Remaining CPU time: 164.105 s c =============================================================================== c | 0 | 3466 3630 435800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18338 c Elapsed CPU time: 16.1255 s Remaining CPU time: 163.874 s c =============================================================================== c | 0 | 3466 3631 439150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18336 c Elapsed CPU time: 16.3575 s Remaining CPU time: 163.642 s c =============================================================================== c | 0 | 3466 3632 442500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18332 c Elapsed CPU time: 16.5915 s Remaining CPU time: 163.409 s c =============================================================================== c | 0 | 3466 3633 445850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18330 c Elapsed CPU time: 16.8334 s Remaining CPU time: 163.167 s c =============================================================================== c | 0 | 3466 3634 449200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18326 c Elapsed CPU time: 17.0714 s Remaining CPU time: 162.929 s c =============================================================================== c | 0 | 3466 3635 452550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18324 c Elapsed CPU time: 17.3194 s Remaining CPU time: 162.681 s c =============================================================================== c | 0 | 3466 3636 455900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18323 c Elapsed CPU time: 17.5543 s Remaining CPU time: 162.446 s c =============================================================================== c | 0 | 3466 3637 459250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18321 c Elapsed CPU time: 17.7973 s Remaining CPU time: 162.203 s c =============================================================================== c | 0 | 3466 3638 462600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18319 c Elapsed CPU time: 18.0433 s Remaining CPU time: 161.957 s c =============================================================================== c | 0 | 3466 3639 465950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18318 c Elapsed CPU time: 18.3052 s Remaining CPU time: 161.695 s c =============================================================================== c | 0 | 3466 3640 469300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18317 c Elapsed CPU time: 18.5722 s Remaining CPU time: 161.428 s c =============================================================================== c | 0 | 3466 3641 472650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18314 c Elapsed CPU time: 18.8331 s Remaining CPU time: 161.167 s c =============================================================================== c | 0 | 3466 3642 476000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18313 c Elapsed CPU time: 19.0941 s Remaining CPU time: 160.906 s c =============================================================================== c | 0 | 3466 3643 479350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18312 c Elapsed CPU time: 19.3551 s Remaining CPU time: 160.645 s c =============================================================================== c | 0 | 3466 3644 482700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18309 c Elapsed CPU time: 19.621 s Remaining CPU time: 160.379 s c =============================================================================== c | 0 | 3466 3645 486050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18308 c Elapsed CPU time: 19.885 s Remaining CPU time: 160.115 s c =============================================================================== c | 0 | 3466 3646 489400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18307 c Elapsed CPU time: 20.1559 s Remaining CPU time: 159.844 s c =============================================================================== c | 0 | 3466 3647 492750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18305 c Elapsed CPU time: 20.4249 s Remaining CPU time: 159.575 s c =============================================================================== c | 0 | 3466 3648 496100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18301 c Elapsed CPU time: 20.6889 s Remaining CPU time: 159.311 s c =============================================================================== c | 0 | 3466 3649 499450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18300 c Elapsed CPU time: 20.9688 s Remaining CPU time: 159.031 s c =============================================================================== c | 0 | 3466 3650 502800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18299 c Elapsed CPU time: 21.2558 s Remaining CPU time: 158.744 s c =============================================================================== c | 0 | 3466 3651 506150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18298 c Elapsed CPU time: 21.5417 s Remaining CPU time: 158.458 s c =============================================================================== c | 0 | 3466 3652 509500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18297 c Elapsed CPU time: 21.8307 s Remaining CPU time: 158.169 s c =============================================================================== c | 0 | 3466 3653 512850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18296 c Elapsed CPU time: 22.1216 s Remaining CPU time: 157.878 s c =============================================================================== c | 0 | 3466 3654 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18295 c Elapsed CPU time: 22.4116 s Remaining CPU time: 157.588 s c =============================================================================== c | 0 | 3466 3655 519550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18293 c Elapsed CPU time: 22.6955 s Remaining CPU time: 157.304 s c =============================================================================== c | 0 | 3466 3656 522900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18290 c Elapsed CPU time: 22.9945 s Remaining CPU time: 157.005 s c =============================================================================== c | 0 | 3466 3657 526250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18289 c Elapsed CPU time: 23.2865 s Remaining CPU time: 156.714 s c =============================================================================== c | 0 | 3466 3658 529600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18288 c Elapsed CPU time: 23.5844 s Remaining CPU time: 156.416 s c =============================================================================== c | 0 | 3466 3659 532950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18287 c Elapsed CPU time: 23.8894 s Remaining CPU time: 156.111 s c =============================================================================== c | 0 | 3466 3660 536300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18285 c Elapsed CPU time: 24.1873 s Remaining CPU time: 155.813 s c =============================================================================== c | 0 | 3466 3661 539650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18284 c Elapsed CPU time: 24.4883 s Remaining CPU time: 155.512 s c =============================================================================== c | 0 | 3466 3662 543000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18283 c Elapsed CPU time: 24.7952 s Remaining CPU time: 155.205 s c =============================================================================== c | 0 | 3466 3663 546350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18282 c Elapsed CPU time: 25.0942 s Remaining CPU time: 154.906 s c =============================================================================== c | 0 | 3466 3664 549700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18280 c Elapsed CPU time: 25.3991 s Remaining CPU time: 154.601 s c =============================================================================== c | 0 | 3466 3665 553050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18279 c Elapsed CPU time: 25.7041 s Remaining CPU time: 154.296 s c =============================================================================== c | 0 | 3466 3666 556400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18278 c Elapsed CPU time: 26.011 s Remaining CPU time: 153.989 s c =============================================================================== c | 0 | 3466 3667 559750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18274 c Elapsed CPU time: 26.315 s Remaining CPU time: 153.685 s c =============================================================================== c | 0 | 3466 3668 563100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18273 c Elapsed CPU time: 26.623 s Remaining CPU time: 153.377 s c =============================================================================== c | 0 | 3466 3669 566450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18271 c Elapsed CPU time: 26.9359 s Remaining CPU time: 153.064 s c =============================================================================== c | 0 | 3466 3670 569800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18270 c Elapsed CPU time: 27.2479 s Remaining CPU time: 152.752 s c =============================================================================== c | 0 | 3466 3671 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18269 c Elapsed CPU time: 27.5678 s Remaining CPU time: 152.432 s c =============================================================================== c | 0 | 3466 3672 576500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18267 c Elapsed CPU time: 27.8958 s Remaining CPU time: 152.104 s c =============================================================================== c | 0 | 3466 3673 579850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18266 c Elapsed CPU time: 28.2027 s Remaining CPU time: 151.797 s c =============================================================================== c | 0 | 3466 3674 583200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18265 c Elapsed CPU time: 28.5267 s Remaining CPU time: 151.473 s c =============================================================================== c | 0 | 3466 3675 586550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18264 c Elapsed CPU time: 28.8466 s Remaining CPU time: 151.153 s c =============================================================================== c | 0 | 3466 3676 589900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18263 c Elapsed CPU time: 29.1656 s Remaining CPU time: 150.834 s c =============================================================================== c | 0 | 3466 3677 593250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18262 c Elapsed CPU time: 29.4815 s Remaining CPU time: 150.518 s c =============================================================================== c | 0 | 3466 3678 596600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18261 c Elapsed CPU time: 29.8015 s Remaining CPU time: 150.199 s c =============================================================================== c | 0 | 3466 3679 599950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18260 c Elapsed CPU time: 30.1274 s Remaining CPU time: 149.873 s c =============================================================================== c | 0 | 3466 3680 603300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18259 c Elapsed CPU time: 30.4564 s Remaining CPU time: 149.544 s c =============================================================================== c | 0 | 3466 3681 606650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18257 c Elapsed CPU time: 30.7923 s Remaining CPU time: 149.208 s c =============================================================================== c | 0 | 3466 3682 610000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18254 c Elapsed CPU time: 31.1233 s Remaining CPU time: 148.877 s c =============================================================================== c | 0 | 3466 3683 613350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18253 c Elapsed CPU time: 31.4702 s Remaining CPU time: 148.53 s c =============================================================================== c | 0 | 3466 3684 616700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18251 c Elapsed CPU time: 31.8032 s Remaining CPU time: 148.197 s c =============================================================================== c | 0 | 3466 3685 620050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18250 c Elapsed CPU time: 32.1281 s Remaining CPU time: 147.872 s c =============================================================================== c | 0 | 3466 3686 623400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18248 c Elapsed CPU time: 32.4691 s Remaining CPU time: 147.531 s c =============================================================================== c | 0 | 3466 3687 626750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18247 c Elapsed CPU time: 32.802 s Remaining CPU time: 147.198 s c =============================================================================== c | 0 | 3466 3688 630100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18246 c Elapsed CPU time: 33.14 s Remaining CPU time: 146.86 s c =============================================================================== c | 0 | 3466 3689 633450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18245 c Elapsed CPU time: 33.4749 s Remaining CPU time: 146.525 s c =============================================================================== c | 0 | 3466 3690 636800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18243 c Elapsed CPU time: 33.8229 s Remaining CPU time: 146.177 s c =============================================================================== c | 0 | 3466 3691 640150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18241 c Elapsed CPU time: 34.1758 s Remaining CPU time: 145.824 s c =============================================================================== c | 0 | 3466 3692 643500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18238 c Elapsed CPU time: 34.5198 s Remaining CPU time: 145.48 s c =============================================================================== c | 0 | 3466 3693 646850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18237 c Elapsed CPU time: 34.8697 s Remaining CPU time: 145.13 s c =============================================================================== c | 0 | 3466 3694 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18236 c Elapsed CPU time: 35.2136 s Remaining CPU time: 144.786 s c =============================================================================== c | 0 | 3466 3695 653550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18235 c Elapsed CPU time: 35.5716 s Remaining CPU time: 144.428 s c =============================================================================== c | 0 | 3466 3696 656900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18234 c Elapsed CPU time: 35.9395 s Remaining CPU time: 144.06 s c =============================================================================== c | 0 | 3466 3697 660250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18233 c Elapsed CPU time: 36.2985 s Remaining CPU time: 143.702 s c =============================================================================== c | 0 | 3466 3698 663600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18232 c Elapsed CPU time: 36.6674 s Remaining CPU time: 143.333 s c =============================================================================== c | 0 | 3466 3699 666950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18231 c Elapsed CPU time: 37.0334 s Remaining CPU time: 142.967 s c =============================================================================== c | 0 | 3466 3700 670300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18230 c Elapsed CPU time: 37.4113 s Remaining CPU time: 142.589 s c =============================================================================== c | 0 | 3466 3701 673650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18228 c Elapsed CPU time: 37.7673 s Remaining CPU time: 142.233 s c =============================================================================== c | 0 | 3466 3702 677000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18227 c Elapsed CPU time: 38.1272 s Remaining CPU time: 141.873 s c =============================================================================== c | 0 | 3466 3703 680350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18225 c Elapsed CPU time: 38.4921 s Remaining CPU time: 141.508 s c =============================================================================== c | 0 | 3466 3704 683700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18223 c Elapsed CPU time: 38.8561 s Remaining CPU time: 141.144 s c =============================================================================== c | 0 | 3466 3705 687050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18220 c Elapsed CPU time: 39.218 s Remaining CPU time: 140.782 s c =============================================================================== c | 0 | 3466 3706 690400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18219 c Elapsed CPU time: 39.636 s Remaining CPU time: 140.364 s c =============================================================================== c | 0 | 3466 3707 693750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18218 c Elapsed CPU time: 40.0479 s Remaining CPU time: 139.952 s c =============================================================================== c | 0 | 3466 3708 697100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18217 c Elapsed CPU time: 40.5558 s Remaining CPU time: 139.444 s c =============================================================================== c | 0 | 3466 3709 700450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18216 c Elapsed CPU time: 41.0618 s Remaining CPU time: 138.938 s c =============================================================================== c | 0 | 3466 3710 703800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18214 c Elapsed CPU time: 41.5697 s Remaining CPU time: 138.43 s c =============================================================================== c | 0 | 3466 3711 707150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18213 c Elapsed CPU time: 42.0786 s Remaining CPU time: 137.921 s c =============================================================================== c | 0 | 3466 3712 710500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18211 c Elapsed CPU time: 42.5865 s Remaining CPU time: 137.413 s c =============================================================================== c | 0 | 3466 3713 713850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18210 c Elapsed CPU time: 43.1024 s Remaining CPU time: 136.898 s c =============================================================================== c | 0 | 3466 3714 717200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18209 c Elapsed CPU time: 43.6154 s Remaining CPU time: 136.385 s c =============================================================================== c | 0 | 3466 3715 720550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18208 c Elapsed CPU time: 44.0933 s Remaining CPU time: 135.907 s c =============================================================================== c | 0 | 3466 3716 723900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18207 c Elapsed CPU time: 44.5182 s Remaining CPU time: 135.482 s c =============================================================================== c | 0 | 3466 3717 727250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18206 c Elapsed CPU time: 44.9522 s Remaining CPU time: 135.048 s c =============================================================================== c | 0 | 3466 3718 730600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18204 c Elapsed CPU time: 45.3741 s Remaining CPU time: 134.626 s c =============================================================================== c | 0 | 3466 3719 733950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18203 c Elapsed CPU time: 45.813 s Remaining CPU time: 134.187 s c =============================================================================== c | 0 | 3466 3720 737300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18202 c Elapsed CPU time: 46.249 s Remaining CPU time: 133.751 s c =============================================================================== c | 0 | 3466 3721 740650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18198 c Elapsed CPU time: 46.7009 s Remaining CPU time: 133.299 s c =============================================================================== c | 0 | 3466 3722 744000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18195 c Elapsed CPU time: 47.1508 s Remaining CPU time: 132.849 s c =============================================================================== c | 0 | 3466 3723 747350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18193 c Elapsed CPU time: 47.5978 s Remaining CPU time: 132.402 s c =============================================================================== c | 0 | 3466 3724 750700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18192 c Elapsed CPU time: 48.0527 s Remaining CPU time: 131.947 s c =============================================================================== c | 0 | 3466 3725 754050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18191 c Elapsed CPU time: 48.5216 s Remaining CPU time: 131.478 s c =============================================================================== c | 0 | 3466 3726 757400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18190 c Elapsed CPU time: 48.9786 s Remaining CPU time: 131.021 s c =============================================================================== c | 0 | 3466 3727 760750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18188 c Elapsed CPU time: 49.4425 s Remaining CPU time: 130.558 s c =============================================================================== c | 0 | 3466 3728 764100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18187 c Elapsed CPU time: 49.8974 s Remaining CPU time: 130.103 s c =============================================================================== c | 0 | 3466 3729 767450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18184 c Elapsed CPU time: 50.3433 s Remaining CPU time: 129.657 s c =============================================================================== c | 0 | 3466 3730 770800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18183 c Elapsed CPU time: 50.7983 s Remaining CPU time: 129.202 s c =============================================================================== c | 0 | 3466 3731 774150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18179 c Elapsed CPU time: 51.2402 s Remaining CPU time: 128.76 s c =============================================================================== c | 0 | 3466 3732 777500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18178 c Elapsed CPU time: 51.6911 s Remaining CPU time: 128.309 s c =============================================================================== c | 0 | 3466 3733 780850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18177 c Elapsed CPU time: 52.1811 s Remaining CPU time: 127.819 s c =============================================================================== c | 0 | 3466 3734 784200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18175 c Elapsed CPU time: 52.657 s Remaining CPU time: 127.343 s c =============================================================================== c | 0 | 3466 3735 787550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18171 c Elapsed CPU time: 53.1379 s Remaining CPU time: 126.862 s c =============================================================================== c | 0 | 3466 3736 790900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18170 c Elapsed CPU time: 53.6258 s Remaining CPU time: 126.374 s c =============================================================================== c | 0 | 3466 3737 794250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18168 c Elapsed CPU time: 54.1208 s Remaining CPU time: 125.879 s c =============================================================================== c | 0 | 3466 3738 797600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18166 c Elapsed CPU time: 54.6207 s Remaining CPU time: 125.379 s c =============================================================================== c | 0 | 3466 3739 800950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18165 c Elapsed CPU time: 55.1306 s Remaining CPU time: 124.869 s c =============================================================================== c | 0 | 3466 3740 804300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18164 c Elapsed CPU time: 55.6305 s Remaining CPU time: 124.369 s c =============================================================================== c | 0 | 3466 3741 807650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18162 c Elapsed CPU time: 56.1205 s Remaining CPU time: 123.88 s c =============================================================================== c | 0 | 3466 3742 811000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18161 c Elapsed CPU time: 56.6174 s Remaining CPU time: 123.383 s c =============================================================================== c | 0 | 3466 3743 814350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18157 c Elapsed CPU time: 57.1033 s Remaining CPU time: 122.897 s c =============================================================================== c | 0 | 3466 3744 817700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18156 c Elapsed CPU time: 57.6002 s Remaining CPU time: 122.4 s c =============================================================================== c | 0 | 3466 3745 821050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18153 c Elapsed CPU time: 58.1052 s Remaining CPU time: 121.895 s c =============================================================================== c | 0 | 3466 3746 824400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18149 c Elapsed CPU time: 58.5951 s Remaining CPU time: 121.405 s c =============================================================================== c | 0 | 3466 3747 827750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18148 c Elapsed CPU time: 59.113 s Remaining CPU time: 120.887 s c =============================================================================== c | 0 | 3466 3748 831100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18147 c Elapsed CPU time: 59.6199 s Remaining CPU time: 120.38 s c =============================================================================== c | 0 | 3466 3749 834450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18146 c Elapsed CPU time: 60.1329 s Remaining CPU time: 119.867 s c =============================================================================== c | 0 | 3466 3750 837800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18145 c Elapsed CPU time: 60.6338 s Remaining CPU time: 119.366 s c =============================================================================== c | 0 | 3466 3751 841150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18144 c Elapsed CPU time: 61.1267 s Remaining CPU time: 118.873 s c =============================================================================== c | 0 | 3466 3752 844500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18142 c Elapsed CPU time: 61.6226 s Remaining CPU time: 118.377 s c =============================================================================== c | 0 | 3466 3753 847850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18141 c Elapsed CPU time: 62.1476 s Remaining CPU time: 117.852 s c =============================================================================== c | 0 | 3466 3754 851200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18140 c Elapsed CPU time: 62.6475 s Remaining CPU time: 117.353 s c =============================================================================== c | 0 | 3466 3755 854550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18139 c Elapsed CPU time: 63.1534 s Remaining CPU time: 116.847 s c =============================================================================== c | 0 | 3466 3756 857900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18138 c Elapsed CPU time: 63.6603 s Remaining CPU time: 116.34 s c =============================================================================== c | 0 | 3466 3757 861250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18136 c Elapsed CPU time: 64.1602 s Remaining CPU time: 115.84 s c =============================================================================== c | 0 | 3466 3758 864600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18134 c Elapsed CPU time: 64.6622 s Remaining CPU time: 115.338 s c =============================================================================== c | 0 | 3466 3759 867950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18133 c Elapsed CPU time: 65.1571 s Remaining CPU time: 114.843 s c =============================================================================== c | 0 | 3466 3760 871300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18132 c Elapsed CPU time: 65.672 s Remaining CPU time: 114.328 s c =============================================================================== c | 0 | 3466 3761 874650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18130 c Elapsed CPU time: 66.1889 s Remaining CPU time: 113.811 s c =============================================================================== c | 0 | 3466 3762 878000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18128 c Elapsed CPU time: 66.7219 s Remaining CPU time: 113.278 s c =============================================================================== c | 0 | 3466 3763 881350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18127 c Elapsed CPU time: 67.2318 s Remaining CPU time: 112.768 s c =============================================================================== c | 0 | 3466 3764 884700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18126 c Elapsed CPU time: 67.7607 s Remaining CPU time: 112.239 s c =============================================================================== c | 0 | 3466 3765 888050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18125 c Elapsed CPU time: 68.2826 s Remaining CPU time: 111.717 s c =============================================================================== c | 0 | 3466 3766 891400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18124 c Elapsed CPU time: 68.8025 s Remaining CPU time: 111.197 s c =============================================================================== c | 0 | 3466 3767 894750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18122 c Elapsed CPU time: 69.3215 s Remaining CPU time: 110.679 s c =============================================================================== c | 0 | 3466 3768 898100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18121 c Elapsed CPU time: 69.8364 s Remaining CPU time: 110.164 s c =============================================================================== c | 0 | 3466 3769 901450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18120 c Elapsed CPU time: 70.3633 s Remaining CPU time: 109.637 s c =============================================================================== c | 0 | 3466 3770 904800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18118 c Elapsed CPU time: 70.8852 s Remaining CPU time: 109.115 s c =============================================================================== c | 0 | 3466 3771 908150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18116 c Elapsed CPU time: 71.4091 s Remaining CPU time: 108.591 s c =============================================================================== c | 0 | 3466 3772 911500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18115 c Elapsed CPU time: 71.9471 s Remaining CPU time: 108.053 s c =============================================================================== c | 0 | 3466 3773 914850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18114 c Elapsed CPU time: 72.482 s Remaining CPU time: 107.518 s c =============================================================================== c | 0 | 3466 3774 918200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18113 c Elapsed CPU time: 72.9999 s Remaining CPU time: 107 s c =============================================================================== c | 0 | 3466 3775 921550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18111 c Elapsed CPU time: 73.5258 s Remaining CPU time: 106.474 s c =============================================================================== c | 0 | 3466 3776 924900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18110 c Elapsed CPU time: 74.0597 s Remaining CPU time: 105.94 s c =============================================================================== c | 0 | 3466 3777 928250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18109 c Elapsed CPU time: 74.5817 s Remaining CPU time: 105.418 s c =============================================================================== c | 0 | 3466 3778 931600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18108 c Elapsed CPU time: 75.1226 s Remaining CPU time: 104.877 s c =============================================================================== c | 0 | 3466 3779 934950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18105 c Elapsed CPU time: 75.6585 s Remaining CPU time: 104.342 s c =============================================================================== c | 0 | 3466 3780 938300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18104 c Elapsed CPU time: 76.2054 s Remaining CPU time: 103.795 s c =============================================================================== c | 0 | 3466 3781 941650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18102 c Elapsed CPU time: 76.7443 s Remaining CPU time: 103.256 s c =============================================================================== c | 0 | 3466 3782 945000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18101 c Elapsed CPU time: 77.2783 s Remaining CPU time: 102.722 s c =============================================================================== c | 0 | 3466 3783 948350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18100 c Elapsed CPU time: 77.8282 s Remaining CPU time: 102.172 s c =============================================================================== c | 0 | 3466 3784 951700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18098 c Elapsed CPU time: 78.3601 s Remaining CPU time: 101.64 s c =============================================================================== c | 0 | 3466 3785 955050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18095 c Elapsed CPU time: 78.889 s Remaining CPU time: 101.111 s c =============================================================================== c | 0 | 3466 3786 958400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18094 c Elapsed CPU time: 79.4379 s Remaining CPU time: 100.562 s c =============================================================================== c | 0 | 3466 3787 961750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18093 c Elapsed CPU time: 79.9798 s Remaining CPU time: 100.02 s c =============================================================================== c | 0 | 3466 3788 965100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18092 c Elapsed CPU time: 80.5138 s Remaining CPU time: 99.4862 s c =============================================================================== c | 0 | 3466 3789 968450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18090 c Elapsed CPU time: 81.0637 s Remaining CPU time: 98.9363 s c =============================================================================== c | 0 | 3466 3790 971800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18089 c Elapsed CPU time: 81.6196 s Remaining CPU time: 98.3804 s c =============================================================================== c | 0 | 3466 3791 975150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18087 c Elapsed CPU time: 82.1865 s Remaining CPU time: 97.8135 s c =============================================================================== c | 0 | 3466 3792 978500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18085 c Elapsed CPU time: 82.7614 s Remaining CPU time: 97.2386 s c =============================================================================== c | 0 | 3466 3793 981850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18084 c Elapsed CPU time: 83.3193 s Remaining CPU time: 96.6807 s c =============================================================================== c | 0 | 3466 3794 985200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18083 c Elapsed CPU time: 83.8842 s Remaining CPU time: 96.1158 s c =============================================================================== c | 0 | 3466 3795 988550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18080 c Elapsed CPU time: 84.4672 s Remaining CPU time: 95.5328 s c =============================================================================== c | 0 | 3466 3796 991900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18079 c Elapsed CPU time: 85.0661 s Remaining CPU time: 94.9339 s c =============================================================================== c | 0 | 3466 3797 995250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18078 c Elapsed CPU time: 85.632 s Remaining CPU time: 94.368 s c =============================================================================== c | 0 | 3466 3798 998600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18077 c Elapsed CPU time: 86.2249 s Remaining CPU time: 93.7751 s c =============================================================================== c | 0 | 3466 3799 1001950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18076 c Elapsed CPU time: 86.8038 s Remaining CPU time: 93.1962 s c =============================================================================== c | 0 | 3466 3800 1005300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18074 c Elapsed CPU time: 87.3777 s Remaining CPU time: 92.6223 s c =============================================================================== c | 0 | 3466 3801 1008650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18073 c Elapsed CPU time: 87.9646 s Remaining CPU time: 92.0354 s c =============================================================================== c | 0 | 3466 3802 1012000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18072 c Elapsed CPU time: 88.5385 s Remaining CPU time: 91.4615 s c =============================================================================== c | 0 | 3466 3803 1015350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18070 c Elapsed CPU time: 89.1285 s Remaining CPU time: 90.8715 s c =============================================================================== c | 0 | 3466 3804 1018700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18068 c Elapsed CPU time: 89.6924 s Remaining CPU time: 90.3076 s c =============================================================================== c | 0 | 3466 3805 1022050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18067 c Elapsed CPU time: 90.2713 s Remaining CPU time: 89.7287 s c =============================================================================== c | 0 | 3466 3806 1025400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18066 c Elapsed CPU time: 90.8402 s Remaining CPU time: 89.1598 s c =============================================================================== c | 0 | 3466 3807 1028750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18064 c Elapsed CPU time: 91.4091 s Remaining CPU time: 88.5909 s c =============================================================================== c | 0 | 3466 3808 1032100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18062 c Elapsed CPU time: 91.986 s Remaining CPU time: 88.014 s c =============================================================================== c | 0 | 3466 3809 1035450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18061 c Elapsed CPU time: 92.5739 s Remaining CPU time: 87.4261 s c =============================================================================== c | 0 | 3466 3810 1038800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18059 c Elapsed CPU time: 93.1718 s Remaining CPU time: 86.8282 s c =============================================================================== c | 0 | 3466 3811 1042150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18058 c Elapsed CPU time: 93.7667 s Remaining CPU time: 86.2333 s c =============================================================================== c | 0 | 3466 3812 1045500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18057 c Elapsed CPU time: 94.3587 s Remaining CPU time: 85.6413 s c =============================================================================== c | 0 | 3466 3813 1048850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18056 c Elapsed CPU time: 94.9556 s Remaining CPU time: 85.0444 s c =============================================================================== c | 0 | 3466 3814 1052200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18055 c Elapsed CPU time: 95.5415 s Remaining CPU time: 84.4585 s c =============================================================================== c | 0 | 3466 3815 1055550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18054 c Elapsed CPU time: 96.1384 s Remaining CPU time: 83.8616 s c =============================================================================== c | 0 | 3466 3816 1058900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18053 c Elapsed CPU time: 96.7723 s Remaining CPU time: 83.2277 s c =============================================================================== c | 0 | 3466 3817 1062250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18052 c Elapsed CPU time: 97.3712 s Remaining CPU time: 82.6288 s c =============================================================================== c | 0 | 3466 3818 1065600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18051 c Elapsed CPU time: 97.9641 s Remaining CPU time: 82.0359 s c =============================================================================== c | 0 | 3466 3819 1068950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18050 c Elapsed CPU time: 98.555 s Remaining CPU time: 81.445 s c =============================================================================== c | 0 | 3466 3820 1072300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18049 c Elapsed CPU time: 99.1779 s Remaining CPU time: 80.8221 s c =============================================================================== c | 0 | 3466 3821 1075650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18048 c Elapsed CPU time: 99.8088 s Remaining CPU time: 80.1912 s c =============================================================================== c | 1 | 3466 3822 1079000 | 5000 1 3270 | 0.000 % | c =============================================================================== c New solution: 18047 c Elapsed CPU time: 100.438 s Remaining CPU time: 79.5623 s c =============================================================================== c | 1 | 3466 3823 1082350 | 5000 1 3270 | 0.000 % | c =============================================================================== c New solution: 18046 c Elapsed CPU time: 101.049 s Remaining CPU time: 78.9514 s c =============================================================================== c | 1 | 3466 3824 1085700 | 5000 1 3270 | 0.000 % | c =============================================================================== c New solution: 18045 c Elapsed CPU time: 101.654 s Remaining CPU time: 78.3465 s c =============================================================================== c | 1 | 3466 3825 1089050 | 5000 1 3270 | 0.000 % | c =============================================================================== c New solution: 18044 c Elapsed CPU time: 102.288 s Remaining CPU time: 77.7116 s c =============================================================================== c | 2 | 3466 3826 1092400 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18043 c Elapsed CPU time: 102.916 s Remaining CPU time: 77.0836 s c =============================================================================== c | 2 | 3466 3827 1095750 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18042 c Elapsed CPU time: 103.555 s Remaining CPU time: 76.4447 s c =============================================================================== c | 2 | 3466 3828 1099100 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18041 c Elapsed CPU time: 104.18 s Remaining CPU time: 75.8198 s c =============================================================================== c | 2 | 3466 3829 1102450 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18040 c Elapsed CPU time: 104.781 s Remaining CPU time: 75.2189 s c =============================================================================== c | 2 | 3466 3830 1105800 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18039 c Elapsed CPU time: 105.424 s Remaining CPU time: 74.576 s c =============================================================================== c | 2 | 3466 3831 1109150 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18038 c Elapsed CPU time: 106.122 s Remaining CPU time: 73.8781 s c =============================================================================== c | 2 | 3466 3832 1112500 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18037 c Elapsed CPU time: 106.859 s Remaining CPU time: 73.1412 s c =============================================================================== c | 2 | 3466 3833 1115850 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18036 c Elapsed CPU time: 107.542 s Remaining CPU time: 72.4583 s c =============================================================================== c | 2 | 3466 3834 1119200 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18035 c Elapsed CPU time: 108.244 s Remaining CPU time: 71.7565 s c =============================================================================== c | 2 | 3466 3835 1122550 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18034 c Elapsed CPU time: 109.003 s Remaining CPU time: 70.9966 s c =============================================================================== c | 2 | 3466 3836 1125900 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18033 c Elapsed CPU time: 109.724 s Remaining CPU time: 70.2757 s c =============================================================================== c | 2 | 3466 3837 1129250 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18032 c Elapsed CPU time: 110.421 s Remaining CPU time: 69.5788 s c =============================================================================== c | 2 | 3466 3838 1132600 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18031 c Elapsed CPU time: 111.097 s Remaining CPU time: 68.9029 s c =============================================================================== c | 2 | 3466 3839 1135950 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18030 c Elapsed CPU time: 111.8 s Remaining CPU time: 68.2 s c =============================================================================== c | 2 | 3466 3840 1139300 | 5000 2 3268 | 0.000 % | c =============================================================================== c New solution: 18029 c Elapsed CPU time: 112.506 s Remaining CPU time: 67.4941 s c =============================================================================== c | 3 | 3466 3841 1142650 | 5000 3 3267 | 0.000 % | c =============================================================================== c New solution: 18028 c Elapsed CPU time: 113.17 s Remaining CPU time: 66.8302 s c =============================================================================== c | 3 | 3466 3842 1146000 | 5000 3 3267 | 0.000 % | c =============================================================================== c New solution: 18027 c Elapsed CPU time: 113.866 s Remaining CPU time: 66.1343 s c =============================================================================== c | 3 | 3466 3843 1149350 | 5000 3 3267 | 0.000 % | c =============================================================================== c New solution: 18026 c Elapsed CPU time: 114.659 s Remaining CPU time: 65.3414 s c =============================================================================== c | 5 | 3466 3844 1152700 | 5000 5 2613 | 0.000 % | c =============================================================================== c New solution: 18025 c Elapsed CPU time: 115.331 s Remaining CPU time: 64.6685 s c =============================================================================== c | 5 | 3466 3845 1156050 | 5000 5 2613 | 0.000 % | c =============================================================================== c New solution: 18024 c Elapsed CPU time: 116.011 s Remaining CPU time: 63.9886 s c =============================================================================== c | 5 | 3466 3846 1159400 | 5000 5 2613 | 0.000 % | c =============================================================================== c New solution: 18023 c Elapsed CPU time: 116.712 s Remaining CPU time: 63.2877 s c =============================================================================== c | 5 | 3466 3847 1162750 | 5000 5 2613 | 0.000 % | c =============================================================================== c New solution: 18022 c Elapsed CPU time: 117.341 s Remaining CPU time: 62.6588 s c =============================================================================== c | 5 | 3466 3848 1166100 | 5000 5 2613 | 0.000 % | c =============================================================================== c New solution: 18021 c Elapsed CPU time: 118.003 s Remaining CPU time: 61.9969 s c =============================================================================== c | 5 | 3466 3849 1169450 | 5000 5 2613 | 0.000 % | c =============================================================================== c New solution: 18020 c Elapsed CPU time: 118.658 s Remaining CPU time: 61.342 s c =============================================================================== c | 5 | 3466 3850 1172800 | 5000 5 2613 | 0.000 % | c =============================================================================== c New solution: 18019 c Elapsed CPU time: 119.442 s Remaining CPU time: 60.5582 s c =============================================================================== c | 6 | 3466 3851 1176150 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18018 c Elapsed CPU time: 120.195 s Remaining CPU time: 59.8053 s c =============================================================================== c | 6 | 3466 3852 1179500 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18017 c Elapsed CPU time: 120.9 s Remaining CPU time: 59.1004 s c =============================================================================== c | 6 | 3466 3853 1182850 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18016 c Elapsed CPU time: 121.611 s Remaining CPU time: 58.3895 s c =============================================================================== c | 6 | 3466 3854 1186200 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18015 c Elapsed CPU time: 122.27 s Remaining CPU time: 57.7296 s c =============================================================================== c | 6 | 3466 3855 1189550 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18014 c Elapsed CPU time: 122.971 s Remaining CPU time: 57.0287 s c =============================================================================== c | 6 | 3466 3856 1192900 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18013 c Elapsed CPU time: 123.681 s Remaining CPU time: 56.3188 s c =============================================================================== c | 6 | 3466 3857 1196250 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18012 c Elapsed CPU time: 124.387 s Remaining CPU time: 55.6129 s c =============================================================================== c | 6 | 3466 3858 1199600 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18011 c Elapsed CPU time: 125.062 s Remaining CPU time: 54.938 s c =============================================================================== c | 6 | 3466 3859 1202950 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18010 c Elapsed CPU time: 125.769 s Remaining CPU time: 54.2311 s c =============================================================================== c | 6 | 3466 3860 1206300 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18009 c Elapsed CPU time: 126.52 s Remaining CPU time: 53.4802 s c =============================================================================== c | 6 | 3466 3861 1209650 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18008 c Elapsed CPU time: 127.244 s Remaining CPU time: 52.7563 s c =============================================================================== c | 6 | 3466 3862 1213000 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18007 c Elapsed CPU time: 127.957 s Remaining CPU time: 52.0435 s c =============================================================================== c | 6 | 3466 3863 1216350 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18006 c Elapsed CPU time: 128.688 s Remaining CPU time: 51.3116 s c =============================================================================== c | 6 | 3466 3864 1219700 | 5000 6 2721 | 0.000 % | c =============================================================================== c New solution: 18005 c Elapsed CPU time: 129.413 s Remaining CPU time: 50.5867 s c =============================================================================== c | 7 | 3466 3865 1223050 | 5000 7 2798 | 0.000 % | c =============================================================================== c New solution: 18004 c Elapsed CPU time: 130.087 s Remaining CPU time: 49.9128 s c =============================================================================== c | 8 | 3466 3866 1226400 | 5000 8 2856 | 0.000 % | c =============================================================================== c New solution: 18003 c Elapsed CPU time: 130.787 s Remaining CPU time: 49.2129 s c =============================================================================== c | 8 | 3466 3867 1229750 | 5000 8 2856 | 0.000 % | c =============================================================================== c New solution: 18002 c Elapsed CPU time: 131.519 s Remaining CPU time: 48.481 s c =============================================================================== c | 8 | 3466 3868 1233100 | 5000 8 2856 | 0.000 % | c =============================================================================== c New solution: 18001 c Elapsed CPU time: 132.222 s Remaining CPU time: 47.7781 s c =============================================================================== c | 10 | 3466 3869 1236450 | 5000 10 2936 | 0.000 % | c =============================================================================== c New solution: 18000 c Elapsed CPU time: 132.948 s Remaining CPU time: 47.0522 s c =============================================================================== c | 10 | 3466 3870 1239800 | 5000 10 2936 | 0.000 % | c =============================================================================== c New solution: 17999 c Elapsed CPU time: 133.743 s Remaining CPU time: 46.2573 s c =============================================================================== c | 10 | 3466 3871 1243150 | 5000 10 2936 | 0.000 % | c =============================================================================== c New solution: 17998 c Elapsed CPU time: 134.481 s Remaining CPU time: 45.5194 s c =============================================================================== c | 10 | 3466 3872 1246500 | 5000 10 2936 | 0.000 % | c =============================================================================== c New solution: 17997 c Elapsed CPU time: 135.272 s Remaining CPU time: 44.7276 s c =============================================================================== c | 10 | 3466 3873 1249850 | 5000 10 2936 | 0.000 % | c =============================================================================== c New solution: 17996 c Elapsed CPU time: 136.149 s Remaining CPU time: 43.8507 s c =============================================================================== c | 10 | 3466 3874 1253200 | 5000 10 2936 | 0.000 % | c =============================================================================== c New solution: 17995 c Elapsed CPU time: 136.868 s Remaining CPU time: 43.1318 s c =============================================================================== c | 10 | 3466 3875 1256550 | 5000 10 2936 | 0.000 % | c =============================================================================== c New solution: 17994 c Elapsed CPU time: 137.589 s Remaining CPU time: 42.4109 s c =============================================================================== c | 13 | 3466 3876 1259900 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17993 c Elapsed CPU time: 138.31 s Remaining CPU time: 41.69 s c =============================================================================== c | 13 | 3466 3877 1263250 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17992 c Elapsed CPU time: 139.009 s Remaining CPU time: 40.9911 s c =============================================================================== c | 13 | 3466 3878 1266600 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17991 c Elapsed CPU time: 139.75 s Remaining CPU time: 40.2502 s c =============================================================================== c | 13 | 3466 3879 1269950 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17990 c Elapsed CPU time: 140.481 s Remaining CPU time: 39.5194 s c =============================================================================== c | 13 | 3466 3880 1273300 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17989 c Elapsed CPU time: 141.227 s Remaining CPU time: 38.7735 s c =============================================================================== c | 13 | 3466 3881 1276650 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17988 c Elapsed CPU time: 141.974 s Remaining CPU time: 38.0256 s c =============================================================================== c | 13 | 3466 3882 1280000 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17987 c Elapsed CPU time: 142.701 s Remaining CPU time: 37.2987 s c =============================================================================== c | 13 | 3466 3883 1283350 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17986 c Elapsed CPU time: 143.513 s Remaining CPU time: 36.4868 s c =============================================================================== c | 13 | 3466 3884 1286700 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17985 c Elapsed CPU time: 144.313 s Remaining CPU time: 35.6869 s c =============================================================================== c | 13 | 3466 3885 1290050 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17984 c Elapsed CPU time: 145.121 s Remaining CPU time: 34.8791 s c =============================================================================== c | 13 | 3466 3886 1293400 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17983 c Elapsed CPU time: 145.94 s Remaining CPU time: 34.0602 s c =============================================================================== c | 13 | 3466 3887 1296750 | 5000 13 3009 | 0.000 % | c =============================================================================== c New solution: 17982 c Elapsed CPU time: 146.726 s Remaining CPU time: 33.2743 s c =============================================================================== c | 17 | 3466 3888 1300100 | 5000 17 3067 | 0.000 % | c =============================================================================== c New solution: 17981 c Elapsed CPU time: 147.537 s Remaining CPU time: 32.4634 s c =============================================================================== c | 17 | 3466 3889 1303450 | 5000 17 3067 | 0.000 % | c =============================================================================== c New solution: 17980 c Elapsed CPU time: 148.358 s Remaining CPU time: 31.6416 s c =============================================================================== c | 17 | 3466 3890 1306800 | 5000 17 3067 | 0.000 % | c =============================================================================== c New solution: 17979 c Elapsed CPU time: 149.137 s Remaining CPU time: 30.8627 s c =============================================================================== c | 25 | 3466 3891 1310150 | 5000 25 3127 | 0.000 % | c =============================================================================== c New solution: 17978 c Elapsed CPU time: 149.988 s Remaining CPU time: 30.0118 s c =============================================================================== c | 28 | 3466 3892 1313500 | 5000 28 3140 | 0.000 % | c =============================================================================== c New solution: 17977 c Elapsed CPU time: 150.784 s Remaining CPU time: 29.2159 s c =============================================================================== c | 29 | 3466 3893 1316850 | 5000 29 3144 | 0.000 % | c =============================================================================== c New solution: 17976 c Elapsed CPU time: 151.597 s Remaining CPU time: 28.403 s c =============================================================================== c | 29 | 3466 3894 1320200 | 5000 29 3144 | 0.000 % | c =============================================================================== c New solution: 17975 c Elapsed CPU time: 152.376 s Remaining CPU time: 27.6242 s c =============================================================================== c | 29 | 3466 3895 1323550 | 5000 29 3144 | 0.000 % | c =============================================================================== c New solution: 17974 c Elapsed CPU time: 153.15 s Remaining CPU time: 26.8503 s c =============================================================================== c | 30 | 3466 3896 1326900 | 5000 30 3148 | 0.000 % | c =============================================================================== c New solution: 17973 c Elapsed CPU time: 153.978 s Remaining CPU time: 26.0224 s c =============================================================================== c | 31 | 3466 3897 1330250 | 5000 31 3151 | 0.000 % | c =============================================================================== c New solution: 17972 c Elapsed CPU time: 154.739 s Remaining CPU time: 25.2605 s c =============================================================================== c | 32 | 3466 3898 1333600 | 5000 32 3154 | 0.000 % | c =============================================================================== c New solution: 17971 c Elapsed CPU time: 155.544 s Remaining CPU time: 24.4556 s c =============================================================================== c | 32 | 3466 3899 1336950 | 5000 32 3154 | 0.000 % | c =============================================================================== c New solution: 17970 c Elapsed CPU time: 156.311 s Remaining CPU time: 23.6888 s c =============================================================================== c | 32 | 3466 3900 1340300 | 5000 32 3154 | 0.000 % | c =============================================================================== c New solution: 17969 c Elapsed CPU time: 157.071 s Remaining CPU time: 22.9289 s c =============================================================================== c | 32 | 3466 3901 1343650 | 5000 32 3154 | 0.000 % | c =============================================================================== c New solution: 17968 c Elapsed CPU time: 157.835 s Remaining CPU time: 22.165 s c =============================================================================== c | 33 | 3466 3902 1347000 | 5000 33 3157 | 0.000 % | c =============================================================================== c New solution: 17967 c Elapsed CPU time: 158.606 s Remaining CPU time: 21.3941 s c =============================================================================== c | 33 | 3466 3903 1350350 | 5000 33 3157 | 0.000 % | c =============================================================================== c New solution: 17966 c Elapsed CPU time: 159.455 s Remaining CPU time: 20.5452 s c =============================================================================== c | 50 | 3466 3904 1353700 | 5000 50 3189 | 0.000 % | c =============================================================================== c New solution: 17965 c Elapsed CPU time: 160.226 s Remaining CPU time: 19.7744 s c =============================================================================== c | 50 | 3466 3905 1357050 | 5000 50 3189 | 0.000 % | c =============================================================================== c New solution: 17964 c Elapsed CPU time: 160.975 s Remaining CPU time: 19.0255 s c =============================================================================== c | 50 | 3466 3906 1360400 | 5000 50 3189 | 0.000 % | c =============================================================================== c New solution: 17963 c Elapsed CPU time: 161.824 s Remaining CPU time: 18.1756 s c =============================================================================== c | 50 | 3466 3907 1363750 | 5000 50 3189 | 0.000 % | c =============================================================================== c New solution: 17962 c Elapsed CPU time: 162.61 s Remaining CPU time: 17.3897 s c =============================================================================== c | 50 | 3466 3908 1367100 | 5000 50 3189 | 0.000 % | c =============================================================================== c New solution: 17961 c Elapsed CPU time: 163.364 s Remaining CPU time: 16.6358 s c =============================================================================== c | 50 | 3466 3909 1370450 | 5000 50 3189 | 0.000 % | c =============================================================================== c New solution: 17960 c Elapsed CPU time: 164.141 s Remaining CPU time: 15.859 s c =============================================================================== c | 50 | 3466 3910 1373800 | 5000 50 3189 | 0.000 % | c =============================================================================== c New solution: 17959 c Elapsed CPU time: 164.902 s Remaining CPU time: 15.0981 s c =============================================================================== c | 50 | 3466 3911 1377150 | 5000 50 3189 | 0.000 % | c =============================================================================== c New solution: 17958 c Elapsed CPU time: 165.658 s Remaining CPU time: 14.3422 s c =============================================================================== c | 50 | 3466 3912 1380500 | 5000 50 3189 | 0.000 % | c =============================================================================== c New solution: 17957 c Elapsed CPU time: 166.432 s Remaining CPU time: 13.5683 s c =============================================================================== c | 57 | 3466 3913 1383850 | 5000 57 3197 | 0.000 % | c =============================================================================== c New solution: 17956 c Elapsed CPU time: 167.293 s Remaining CPU time: 12.7074 s c =============================================================================== c | 57 | 3466 3914 1387200 | 5000 57 3197 | 0.000 % | c =============================================================================== c New solution: 17955 c Elapsed CPU time: 168.131 s Remaining CPU time: 11.8686 s c =============================================================================== c | 58 | 3466 3915 1390550 | 5000 58 3198 | 0.000 % | c =============================================================================== c New solution: 17954 c Elapsed CPU time: 168.954 s Remaining CPU time: 11.0457 s c =============================================================================== c | 58 | 3466 3916 1393900 | 5000 58 3198 | 0.000 % | c =============================================================================== c New solution: 17953 c Elapsed CPU time: 169.793 s Remaining CPU time: 10.2068 s c =============================================================================== c | 59 | 3466 3917 1397250 | 5000 59 3198 | 0.000 % | c =============================================================================== c New solution: 17952 c Elapsed CPU time: 170.614 s Remaining CPU time: 9.38594 s c =============================================================================== c | 61 | 3466 3918 1400600 | 5000 61 3200 | 0.000 % | c =============================================================================== c New solution: 17951 c Elapsed CPU time: 171.414 s Remaining CPU time: 8.58606 s c =============================================================================== c | 61 | 3466 3919 1403950 | 5000 61 3200 | 0.000 % | c =============================================================================== c New solution: 17950 c Elapsed CPU time: 172.277 s Remaining CPU time: 7.72319 s c =============================================================================== c | 61 | 3466 3920 1407300 | 5000 61 3200 | 0.000 % | c =============================================================================== c New solution: 17949 c Elapsed CPU time: 173.102 s Remaining CPU time: 6.89832 s c =============================================================================== c | 61 | 3466 3921 1410650 | 5000 61 3200 | 0.000 % | c =============================================================================== c New solution: 17948 c Elapsed CPU time: 173.95 s Remaining CPU time: 6.05044 s c =============================================================================== c | 61 | 3466 3922 1414000 | 5000 61 3200 | 0.000 % | c =============================================================================== c New solution: 17947 c Elapsed CPU time: 174.795 s Remaining CPU time: 5.20457 s c =============================================================================== c | 61 | 3466 3923 1417350 | 5000 61 3200 | 0.000 % | c =============================================================================== c New solution: 17946 c Elapsed CPU time: 175.574 s Remaining CPU time: 4.42569 s c =============================================================================== c | 62 | 3466 3924 1420700 | 5000 62 3201 | 0.000 % | c =============================================================================== c New solution: 17945 c Elapsed CPU time: 176.346 s Remaining CPU time: 3.65381 s c =============================================================================== c | 63 | 3466 3925 1424050 | 5000 63 3202 | 0.000 % | c =============================================================================== c New solution: 17944 c Elapsed CPU time: 177.127 s Remaining CPU time: 2.87293 s c =============================================================================== c | 63 | 3466 3926 1427400 | 5000 63 3202 | 0.000 % | c =============================================================================== c New solution: 17943 c Elapsed CPU time: 177.879 s Remaining CPU time: 2.12104 s c =============================================================================== c | 63 | 3466 3927 1430750 | 5000 63 3202 | 0.000 % | c =============================================================================== c New solution: 17942 c Elapsed CPU time: 178.651 s Remaining CPU time: 1.34916 s c =============================================================================== c | 64 | 3466 3928 1434100 | 5000 64 3202 | 0.000 % | c =============================================================================== c New solution: 17941 c Elapsed CPU time: 179.419 s Remaining CPU time: 0.581276 s c =============================================================================== c | 64 | 3466 3929 1437450 | 5000 64 3202 | 0.000 % | c =============================================================================== c New solution: 17940 c Elapsed CPU time: 180.186 s Remaining CPU time: -0.185607 s c =============================================================================== c | 66 | 3466 3930 1440800 | 5000 66 3204 | 0.000 % | c There are 34 assigned variables. 15 in cost function.