c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3500 | c | Number Clauses: 3500 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3499 3501 10350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18579 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 3499 3502 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18574 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 3499 3503 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18573 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 3499 3504 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18568 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 3499 3505 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18564 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 3499 3506 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18563 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 0 | 3499 3507 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18559 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 0 | 3499 3508 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18558 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 0 | 3499 3509 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18557 c Elapsed CPU time: 0.418936 s Remaining CPU time: 179.581 s c =============================================================================== c | 0 | 3499 3510 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18556 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 0 | 3499 3511 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18552 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 0 | 3499 3512 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18548 c Elapsed CPU time: 0.568913 s Remaining CPU time: 179.431 s c =============================================================================== c | 0 | 3499 3513 50550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18547 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 0 | 3499 3514 53900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18546 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 0 | 3499 3515 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18545 c Elapsed CPU time: 0.741887 s Remaining CPU time: 179.258 s c =============================================================================== c | 0 | 3499 3516 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18544 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 0 | 3499 3517 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18543 c Elapsed CPU time: 0.862868 s Remaining CPU time: 179.137 s c =============================================================================== c | 0 | 3499 3518 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18539 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 0 | 3499 3519 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18538 c Elapsed CPU time: 0.98585 s Remaining CPU time: 179.014 s c =============================================================================== c | 0 | 3499 3520 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18537 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 0 | 3499 3521 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18536 c Elapsed CPU time: 1.11583 s Remaining CPU time: 178.884 s c =============================================================================== c | 0 | 3499 3522 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18535 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 0 | 3499 3523 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18534 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 0 | 3499 3524 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18532 c Elapsed CPU time: 1.3298 s Remaining CPU time: 178.67 s c =============================================================================== c | 0 | 3499 3525 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18531 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 0 | 3499 3526 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18530 c Elapsed CPU time: 1.48377 s Remaining CPU time: 178.516 s c =============================================================================== c | 0 | 3499 3527 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18528 c Elapsed CPU time: 1.56476 s Remaining CPU time: 178.435 s c =============================================================================== c | 0 | 3499 3528 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18527 c Elapsed CPU time: 1.64875 s Remaining CPU time: 178.351 s c =============================================================================== c | 0 | 3499 3529 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18523 c Elapsed CPU time: 1.73274 s Remaining CPU time: 178.267 s c =============================================================================== c | 0 | 3499 3530 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18522 c Elapsed CPU time: 1.82172 s Remaining CPU time: 178.178 s c =============================================================================== c | 0 | 3499 3531 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18521 c Elapsed CPU time: 1.90771 s Remaining CPU time: 178.092 s c =============================================================================== c | 0 | 3499 3532 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18519 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 0 | 3499 3533 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18518 c Elapsed CPU time: 2.08568 s Remaining CPU time: 177.914 s c =============================================================================== c | 0 | 3499 3534 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18515 c Elapsed CPU time: 2.17167 s Remaining CPU time: 177.828 s c =============================================================================== c | 0 | 3499 3535 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18514 c Elapsed CPU time: 2.26266 s Remaining CPU time: 177.737 s c =============================================================================== c | 0 | 3499 3536 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18511 c Elapsed CPU time: 2.35364 s Remaining CPU time: 177.646 s c =============================================================================== c | 0 | 3499 3537 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18505 c Elapsed CPU time: 2.44963 s Remaining CPU time: 177.55 s c =============================================================================== c | 0 | 3499 3538 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18504 c Elapsed CPU time: 2.55061 s Remaining CPU time: 177.449 s c =============================================================================== c | 0 | 3499 3539 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18503 c Elapsed CPU time: 2.6526 s Remaining CPU time: 177.347 s c =============================================================================== c | 0 | 3499 3540 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18500 c Elapsed CPU time: 2.75458 s Remaining CPU time: 177.245 s c =============================================================================== c | 0 | 3499 3541 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18497 c Elapsed CPU time: 2.85956 s Remaining CPU time: 177.14 s c =============================================================================== c | 0 | 3499 3542 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18495 c Elapsed CPU time: 2.96555 s Remaining CPU time: 177.034 s c =============================================================================== c | 0 | 3499 3543 151050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18494 c Elapsed CPU time: 3.07553 s Remaining CPU time: 176.924 s c =============================================================================== c | 0 | 3499 3544 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18493 c Elapsed CPU time: 3.18651 s Remaining CPU time: 176.813 s c =============================================================================== c | 0 | 3499 3545 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18492 c Elapsed CPU time: 3.2995 s Remaining CPU time: 176.701 s c =============================================================================== c | 0 | 3499 3546 161100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18491 c Elapsed CPU time: 3.41448 s Remaining CPU time: 176.586 s c =============================================================================== c | 0 | 3499 3547 164450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18490 c Elapsed CPU time: 3.53746 s Remaining CPU time: 176.463 s c =============================================================================== c | 0 | 3499 3548 167800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18488 c Elapsed CPU time: 3.64745 s Remaining CPU time: 176.353 s c =============================================================================== c | 0 | 3499 3549 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18486 c Elapsed CPU time: 3.76743 s Remaining CPU time: 176.233 s c =============================================================================== c | 0 | 3499 3550 174500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18484 c Elapsed CPU time: 3.88841 s Remaining CPU time: 176.112 s c =============================================================================== c | 0 | 3499 3551 177850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18483 c Elapsed CPU time: 4.01539 s Remaining CPU time: 175.985 s c =============================================================================== c | 0 | 3499 3552 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18480 c Elapsed CPU time: 4.14337 s Remaining CPU time: 175.857 s c =============================================================================== c | 0 | 3499 3553 184550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18478 c Elapsed CPU time: 4.27535 s Remaining CPU time: 175.725 s c =============================================================================== c | 0 | 3499 3554 187900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18477 c Elapsed CPU time: 4.40433 s Remaining CPU time: 175.596 s c =============================================================================== c | 0 | 3499 3555 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18476 c Elapsed CPU time: 4.53631 s Remaining CPU time: 175.464 s c =============================================================================== c | 0 | 3499 3556 194600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18473 c Elapsed CPU time: 4.67129 s Remaining CPU time: 175.329 s c =============================================================================== c | 0 | 3499 3557 197950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18472 c Elapsed CPU time: 4.81027 s Remaining CPU time: 175.19 s c =============================================================================== c | 0 | 3499 3558 201300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18471 c Elapsed CPU time: 4.94925 s Remaining CPU time: 175.051 s c =============================================================================== c | 0 | 3499 3559 204650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18470 c Elapsed CPU time: 5.09722 s Remaining CPU time: 174.903 s c =============================================================================== c | 0 | 3499 3560 208000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18469 c Elapsed CPU time: 5.2452 s Remaining CPU time: 174.755 s c =============================================================================== c | 0 | 3499 3561 211350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18468 c Elapsed CPU time: 5.39518 s Remaining CPU time: 174.605 s c =============================================================================== c | 0 | 3499 3562 214700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18467 c Elapsed CPU time: 5.54816 s Remaining CPU time: 174.452 s c =============================================================================== c | 0 | 3499 3563 218050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18466 c Elapsed CPU time: 5.70313 s Remaining CPU time: 174.297 s c =============================================================================== c | 0 | 3499 3564 221400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18465 c Elapsed CPU time: 5.85611 s Remaining CPU time: 174.144 s c =============================================================================== c | 0 | 3499 3565 224750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18464 c Elapsed CPU time: 6.01109 s Remaining CPU time: 173.989 s c =============================================================================== c | 0 | 3499 3566 228100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18462 c Elapsed CPU time: 6.17006 s Remaining CPU time: 173.83 s c =============================================================================== c | 0 | 3499 3567 231450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18461 c Elapsed CPU time: 6.33704 s Remaining CPU time: 173.663 s c =============================================================================== c | 0 | 3499 3568 234800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18460 c Elapsed CPU time: 6.50101 s Remaining CPU time: 173.499 s c =============================================================================== c | 0 | 3499 3569 238150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18459 c Elapsed CPU time: 6.67098 s Remaining CPU time: 173.329 s c =============================================================================== c | 0 | 3499 3570 241500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18458 c Elapsed CPU time: 6.83696 s Remaining CPU time: 173.163 s c =============================================================================== c | 0 | 3499 3571 244850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18457 c Elapsed CPU time: 7.00593 s Remaining CPU time: 172.994 s c =============================================================================== c | 0 | 3499 3572 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18456 c Elapsed CPU time: 7.18191 s Remaining CPU time: 172.818 s c =============================================================================== c | 0 | 3499 3573 251550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18455 c Elapsed CPU time: 7.36388 s Remaining CPU time: 172.636 s c =============================================================================== c | 0 | 3499 3574 254900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18454 c Elapsed CPU time: 7.54285 s Remaining CPU time: 172.457 s c =============================================================================== c | 0 | 3499 3575 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18452 c Elapsed CPU time: 7.72083 s Remaining CPU time: 172.279 s c =============================================================================== c | 0 | 3499 3576 261600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18451 c Elapsed CPU time: 7.9048 s Remaining CPU time: 172.095 s c =============================================================================== c | 0 | 3499 3577 264950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18450 c Elapsed CPU time: 8.08677 s Remaining CPU time: 171.913 s c =============================================================================== c | 0 | 3499 3578 268300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18448 c Elapsed CPU time: 8.27374 s Remaining CPU time: 171.726 s c =============================================================================== c | 0 | 3499 3579 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18447 c Elapsed CPU time: 8.45871 s Remaining CPU time: 171.541 s c =============================================================================== c | 0 | 3499 3580 275000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18446 c Elapsed CPU time: 8.65068 s Remaining CPU time: 171.349 s c =============================================================================== c | 0 | 3499 3581 278350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18444 c Elapsed CPU time: 8.84266 s Remaining CPU time: 171.157 s c =============================================================================== c | 0 | 3499 3582 281700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18441 c Elapsed CPU time: 9.03862 s Remaining CPU time: 170.961 s c =============================================================================== c | 0 | 3499 3583 285050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18439 c Elapsed CPU time: 9.2376 s Remaining CPU time: 170.762 s c =============================================================================== c | 0 | 3499 3584 288400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18438 c Elapsed CPU time: 9.43456 s Remaining CPU time: 170.565 s c =============================================================================== c | 0 | 3499 3585 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18434 c Elapsed CPU time: 9.62954 s Remaining CPU time: 170.37 s c =============================================================================== c | 0 | 3499 3586 295100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18430 c Elapsed CPU time: 9.8295 s Remaining CPU time: 170.17 s c =============================================================================== c | 0 | 3499 3587 298450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18429 c Elapsed CPU time: 10.0405 s Remaining CPU time: 169.96 s c =============================================================================== c | 0 | 3499 3588 301800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18428 c Elapsed CPU time: 10.2494 s Remaining CPU time: 169.751 s c =============================================================================== c | 0 | 3499 3589 305150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18427 c Elapsed CPU time: 10.4564 s Remaining CPU time: 169.544 s c =============================================================================== c | 0 | 3499 3590 308500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18426 c Elapsed CPU time: 10.6734 s Remaining CPU time: 169.327 s c =============================================================================== c | 0 | 3499 3591 311850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18425 c Elapsed CPU time: 10.8903 s Remaining CPU time: 169.11 s c =============================================================================== c | 0 | 3499 3592 315200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18424 c Elapsed CPU time: 11.1143 s Remaining CPU time: 168.886 s c =============================================================================== c | 0 | 3499 3593 318550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18422 c Elapsed CPU time: 11.3363 s Remaining CPU time: 168.664 s c =============================================================================== c | 0 | 3499 3594 321900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18420 c Elapsed CPU time: 11.5652 s Remaining CPU time: 168.435 s c =============================================================================== c | 0 | 3499 3595 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18418 c Elapsed CPU time: 11.7902 s Remaining CPU time: 168.21 s c =============================================================================== c | 0 | 3499 3596 328600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18417 c Elapsed CPU time: 12.0212 s Remaining CPU time: 167.979 s c =============================================================================== c | 0 | 3499 3597 331950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18415 c Elapsed CPU time: 12.2491 s Remaining CPU time: 167.751 s c =============================================================================== c | 0 | 3499 3598 335300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18412 c Elapsed CPU time: 12.4851 s Remaining CPU time: 167.515 s c =============================================================================== c | 0 | 3499 3599 338650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18411 c Elapsed CPU time: 12.7271 s Remaining CPU time: 167.273 s c =============================================================================== c | 0 | 3499 3600 342000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18410 c Elapsed CPU time: 12.966 s Remaining CPU time: 167.034 s c =============================================================================== c | 0 | 3499 3601 345350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18407 c Elapsed CPU time: 13.202 s Remaining CPU time: 166.798 s c =============================================================================== c | 0 | 3499 3602 348700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18406 c Elapsed CPU time: 13.448 s Remaining CPU time: 166.552 s c =============================================================================== c | 0 | 3499 3603 352050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18402 c Elapsed CPU time: 13.7039 s Remaining CPU time: 166.296 s c =============================================================================== c | 0 | 3499 3604 355400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18400 c Elapsed CPU time: 13.9549 s Remaining CPU time: 166.045 s c =============================================================================== c | 0 | 3499 3605 358750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18399 c Elapsed CPU time: 14.2078 s Remaining CPU time: 165.792 s c =============================================================================== c | 0 | 3499 3606 362100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18397 c Elapsed CPU time: 14.4658 s Remaining CPU time: 165.534 s c =============================================================================== c | 0 | 3499 3607 365450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18394 c Elapsed CPU time: 14.7188 s Remaining CPU time: 165.281 s c =============================================================================== c | 0 | 3499 3608 368800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18392 c Elapsed CPU time: 14.9827 s Remaining CPU time: 165.017 s c =============================================================================== c | 0 | 3499 3609 372150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18390 c Elapsed CPU time: 15.2487 s Remaining CPU time: 164.751 s c =============================================================================== c | 0 | 3499 3610 375500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18388 c Elapsed CPU time: 15.5236 s Remaining CPU time: 164.476 s c =============================================================================== c | 0 | 3499 3611 378850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18387 c Elapsed CPU time: 15.7946 s Remaining CPU time: 164.205 s c =============================================================================== c | 0 | 3499 3612 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18384 c Elapsed CPU time: 16.0596 s Remaining CPU time: 163.94 s c =============================================================================== c | 0 | 3499 3613 385550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18381 c Elapsed CPU time: 16.3295 s Remaining CPU time: 163.67 s c =============================================================================== c | 0 | 3499 3614 388900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18380 c Elapsed CPU time: 16.5995 s Remaining CPU time: 163.401 s c =============================================================================== c | 0 | 3499 3615 392250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18378 c Elapsed CPU time: 16.8764 s Remaining CPU time: 163.124 s c =============================================================================== c | 0 | 3499 3616 395600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18376 c Elapsed CPU time: 17.1564 s Remaining CPU time: 162.844 s c =============================================================================== c | 0 | 3499 3617 398950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18373 c Elapsed CPU time: 17.4263 s Remaining CPU time: 162.574 s c =============================================================================== c | 0 | 3499 3618 402300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18372 c Elapsed CPU time: 17.7173 s Remaining CPU time: 162.283 s c =============================================================================== c | 0 | 3499 3619 405650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18369 c Elapsed CPU time: 18.0023 s Remaining CPU time: 161.998 s c =============================================================================== c | 0 | 3499 3620 409000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18368 c Elapsed CPU time: 18.2942 s Remaining CPU time: 161.706 s c =============================================================================== c | 0 | 3499 3621 412350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18366 c Elapsed CPU time: 18.5862 s Remaining CPU time: 161.414 s c =============================================================================== c | 0 | 3499 3622 415700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18365 c Elapsed CPU time: 18.8871 s Remaining CPU time: 161.113 s c =============================================================================== c | 0 | 3499 3623 419050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18364 c Elapsed CPU time: 19.1871 s Remaining CPU time: 160.813 s c =============================================================================== c | 0 | 3499 3624 422400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18363 c Elapsed CPU time: 19.484 s Remaining CPU time: 160.516 s c =============================================================================== c | 0 | 3499 3625 425750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18361 c Elapsed CPU time: 19.793 s Remaining CPU time: 160.207 s c =============================================================================== c | 0 | 3499 3626 429100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18360 c Elapsed CPU time: 20.1019 s Remaining CPU time: 159.898 s c =============================================================================== c | 0 | 3499 3627 432450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18359 c Elapsed CPU time: 20.4089 s Remaining CPU time: 159.591 s c =============================================================================== c | 0 | 3499 3628 435800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18358 c Elapsed CPU time: 20.7129 s Remaining CPU time: 159.287 s c =============================================================================== c | 0 | 3499 3629 439150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18357 c Elapsed CPU time: 21.0238 s Remaining CPU time: 158.976 s c =============================================================================== c | 0 | 3499 3630 442500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18355 c Elapsed CPU time: 21.3388 s Remaining CPU time: 158.661 s c =============================================================================== c | 0 | 3499 3631 445850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18351 c Elapsed CPU time: 21.6517 s Remaining CPU time: 158.348 s c =============================================================================== c | 0 | 3499 3632 449200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18350 c Elapsed CPU time: 21.9837 s Remaining CPU time: 158.016 s c =============================================================================== c | 0 | 3499 3633 452550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18348 c Elapsed CPU time: 22.3156 s Remaining CPU time: 157.684 s c =============================================================================== c | 0 | 3499 3634 455900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18346 c Elapsed CPU time: 22.6446 s Remaining CPU time: 157.355 s c =============================================================================== c | 0 | 3499 3635 459250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18344 c Elapsed CPU time: 22.9745 s Remaining CPU time: 157.025 s c =============================================================================== c | 0 | 3499 3636 462600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18343 c Elapsed CPU time: 23.3015 s Remaining CPU time: 156.699 s c =============================================================================== c | 0 | 3499 3637 465950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18340 c Elapsed CPU time: 23.6324 s Remaining CPU time: 156.368 s c =============================================================================== c | 0 | 3499 3638 469300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18338 c Elapsed CPU time: 23.9794 s Remaining CPU time: 156.021 s c =============================================================================== c | 0 | 3499 3639 472650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18337 c Elapsed CPU time: 24.3173 s Remaining CPU time: 155.683 s c =============================================================================== c | 0 | 3499 3640 476000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18336 c Elapsed CPU time: 24.6553 s Remaining CPU time: 155.345 s c =============================================================================== c | 0 | 3499 3641 479350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18335 c Elapsed CPU time: 24.9932 s Remaining CPU time: 155.007 s c =============================================================================== c | 0 | 3499 3642 482700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18334 c Elapsed CPU time: 25.3291 s Remaining CPU time: 154.671 s c =============================================================================== c | 0 | 3499 3643 486050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18331 c Elapsed CPU time: 25.6591 s Remaining CPU time: 154.341 s c =============================================================================== c | 0 | 3499 3644 489400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18330 c Elapsed CPU time: 25.999 s Remaining CPU time: 154.001 s c =============================================================================== c | 0 | 3499 3645 492750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18327 c Elapsed CPU time: 26.367 s Remaining CPU time: 153.633 s c =============================================================================== c | 0 | 3499 3646 496100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18325 c Elapsed CPU time: 26.7349 s Remaining CPU time: 153.265 s c =============================================================================== c | 0 | 3499 3647 499450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18323 c Elapsed CPU time: 27.1009 s Remaining CPU time: 152.899 s c =============================================================================== c | 0 | 3499 3648 502800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18321 c Elapsed CPU time: 27.4648 s Remaining CPU time: 152.535 s c =============================================================================== c | 0 | 3499 3649 506150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18320 c Elapsed CPU time: 27.8458 s Remaining CPU time: 152.154 s c =============================================================================== c | 0 | 3499 3650 509500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18319 c Elapsed CPU time: 28.2237 s Remaining CPU time: 151.776 s c =============================================================================== c | 0 | 3499 3651 512850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18316 c Elapsed CPU time: 28.6017 s Remaining CPU time: 151.398 s c =============================================================================== c | 0 | 3499 3652 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18314 c Elapsed CPU time: 28.9956 s Remaining CPU time: 151.004 s c =============================================================================== c | 0 | 3499 3653 519550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18312 c Elapsed CPU time: 29.3845 s Remaining CPU time: 150.615 s c =============================================================================== c | 0 | 3499 3654 522900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18309 c Elapsed CPU time: 29.7765 s Remaining CPU time: 150.224 s c =============================================================================== c | 0 | 3499 3655 526250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18308 c Elapsed CPU time: 30.1654 s Remaining CPU time: 149.835 s c =============================================================================== c | 0 | 3499 3656 529600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18307 c Elapsed CPU time: 30.5704 s Remaining CPU time: 149.43 s c =============================================================================== c | 0 | 3499 3657 532950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18305 c Elapsed CPU time: 30.9633 s Remaining CPU time: 149.037 s c =============================================================================== c | 0 | 3499 3658 536300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18302 c Elapsed CPU time: 31.3482 s Remaining CPU time: 148.652 s c =============================================================================== c | 0 | 3499 3659 539650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18301 c Elapsed CPU time: 31.7402 s Remaining CPU time: 148.26 s c =============================================================================== c | 0 | 3499 3660 543000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18300 c Elapsed CPU time: 32.1401 s Remaining CPU time: 147.86 s c =============================================================================== c | 0 | 3499 3661 546350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18299 c Elapsed CPU time: 32.5411 s Remaining CPU time: 147.459 s c =============================================================================== c | 0 | 3499 3662 549700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18298 c Elapsed CPU time: 32.947 s Remaining CPU time: 147.053 s c =============================================================================== c | 0 | 3499 3663 553050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18297 c Elapsed CPU time: 33.3439 s Remaining CPU time: 146.656 s c =============================================================================== c | 0 | 3499 3664 556400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18295 c Elapsed CPU time: 33.7439 s Remaining CPU time: 146.256 s c =============================================================================== c | 0 | 3499 3665 559750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18294 c Elapsed CPU time: 34.1438 s Remaining CPU time: 145.856 s c =============================================================================== c | 0 | 3499 3666 563100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18293 c Elapsed CPU time: 34.5397 s Remaining CPU time: 145.46 s c =============================================================================== c | 0 | 3499 3667 566450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18289 c Elapsed CPU time: 34.9407 s Remaining CPU time: 145.059 s c =============================================================================== c | 0 | 3499 3668 569800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18287 c Elapsed CPU time: 35.3426 s Remaining CPU time: 144.657 s c =============================================================================== c | 0 | 3499 3669 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18286 c Elapsed CPU time: 35.7406 s Remaining CPU time: 144.259 s c =============================================================================== c | 0 | 3499 3670 576500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18285 c Elapsed CPU time: 36.1515 s Remaining CPU time: 143.848 s c =============================================================================== c | 0 | 3499 3671 579850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18284 c Elapsed CPU time: 36.5694 s Remaining CPU time: 143.431 s c =============================================================================== c | 0 | 3499 3672 583200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18282 c Elapsed CPU time: 36.9784 s Remaining CPU time: 143.022 s c =============================================================================== c | 0 | 3499 3673 586550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18281 c Elapsed CPU time: 37.3963 s Remaining CPU time: 142.604 s c =============================================================================== c | 0 | 3499 3674 589900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18280 c Elapsed CPU time: 37.8153 s Remaining CPU time: 142.185 s c =============================================================================== c | 0 | 3499 3675 593250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18279 c Elapsed CPU time: 38.2152 s Remaining CPU time: 141.785 s c =============================================================================== c | 0 | 3499 3676 596600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18278 c Elapsed CPU time: 38.6271 s Remaining CPU time: 141.373 s c =============================================================================== c | 0 | 3499 3677 599950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18277 c Elapsed CPU time: 39.0411 s Remaining CPU time: 140.959 s c =============================================================================== c | 0 | 3499 3678 603300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18276 c Elapsed CPU time: 39.444 s Remaining CPU time: 140.556 s c =============================================================================== c | 0 | 3499 3679 606650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18274 c Elapsed CPU time: 39.8599 s Remaining CPU time: 140.14 s c =============================================================================== c | 0 | 3499 3680 610000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18271 c Elapsed CPU time: 40.2719 s Remaining CPU time: 139.728 s c =============================================================================== c | 0 | 3499 3681 613350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18270 c Elapsed CPU time: 40.6918 s Remaining CPU time: 139.308 s c =============================================================================== c | 0 | 3499 3682 616700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18269 c Elapsed CPU time: 41.1118 s Remaining CPU time: 138.888 s c =============================================================================== c | 0 | 3499 3683 620050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18268 c Elapsed CPU time: 41.5417 s Remaining CPU time: 138.458 s c =============================================================================== c | 0 | 3499 3684 623400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18267 c Elapsed CPU time: 41.9576 s Remaining CPU time: 138.042 s c =============================================================================== c | 0 | 3499 3685 626750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18266 c Elapsed CPU time: 42.3766 s Remaining CPU time: 137.623 s c =============================================================================== c | 0 | 3499 3686 630100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18264 c Elapsed CPU time: 42.8055 s Remaining CPU time: 137.195 s c =============================================================================== c | 0 | 3499 3687 633450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18262 c Elapsed CPU time: 43.2324 s Remaining CPU time: 136.768 s c =============================================================================== c | 0 | 3499 3688 636800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18260 c Elapsed CPU time: 43.6484 s Remaining CPU time: 136.352 s c =============================================================================== c | 0 | 3499 3689 640150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18258 c Elapsed CPU time: 44.0763 s Remaining CPU time: 135.924 s c =============================================================================== c | 0 | 3499 3690 643500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18257 c Elapsed CPU time: 44.5102 s Remaining CPU time: 135.49 s c =============================================================================== c | 0 | 3499 3691 646850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18256 c Elapsed CPU time: 44.9382 s Remaining CPU time: 135.062 s c =============================================================================== c | 0 | 3499 3692 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18253 c Elapsed CPU time: 45.3621 s Remaining CPU time: 134.638 s c =============================================================================== c | 0 | 3499 3693 653550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18249 c Elapsed CPU time: 45.788 s Remaining CPU time: 134.212 s c =============================================================================== c | 0 | 3499 3694 656900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18248 c Elapsed CPU time: 46.235 s Remaining CPU time: 133.765 s c =============================================================================== c | 0 | 3499 3695 660250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18247 c Elapsed CPU time: 46.6699 s Remaining CPU time: 133.33 s c =============================================================================== c | 0 | 3499 3696 663600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18244 c Elapsed CPU time: 47.1268 s Remaining CPU time: 132.873 s c =============================================================================== c | 0 | 3499 3697 666950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18243 c Elapsed CPU time: 47.5988 s Remaining CPU time: 132.401 s c =============================================================================== c | 0 | 3499 3698 670300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18242 c Elapsed CPU time: 48.0617 s Remaining CPU time: 131.938 s c =============================================================================== c | 0 | 3499 3699 673650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18241 c Elapsed CPU time: 48.5296 s Remaining CPU time: 131.47 s c =============================================================================== c | 0 | 3499 3700 677000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18239 c Elapsed CPU time: 49.0005 s Remaining CPU time: 130.999 s c =============================================================================== c | 0 | 3499 3701 680350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18238 c Elapsed CPU time: 49.4685 s Remaining CPU time: 130.532 s c =============================================================================== c | 0 | 3499 3702 683700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18237 c Elapsed CPU time: 49.9344 s Remaining CPU time: 130.066 s c =============================================================================== c | 0 | 3499 3703 687050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18235 c Elapsed CPU time: 50.4173 s Remaining CPU time: 129.583 s c =============================================================================== c | 0 | 3499 3704 690400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18233 c Elapsed CPU time: 50.8843 s Remaining CPU time: 129.116 s c =============================================================================== c | 0 | 3499 3705 693750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18229 c Elapsed CPU time: 51.3532 s Remaining CPU time: 128.647 s c =============================================================================== c | 0 | 3499 3706 697100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18226 c Elapsed CPU time: 51.8271 s Remaining CPU time: 128.173 s c =============================================================================== c | 0 | 3499 3707 700450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18225 c Elapsed CPU time: 52.314 s Remaining CPU time: 127.686 s c =============================================================================== c | 0 | 3499 3708 703800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18223 c Elapsed CPU time: 52.781 s Remaining CPU time: 127.219 s c =============================================================================== c | 0 | 3499 3709 707150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18222 c Elapsed CPU time: 53.2659 s Remaining CPU time: 126.734 s c =============================================================================== c | 0 | 3499 3710 710500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18220 c Elapsed CPU time: 53.7548 s Remaining CPU time: 126.245 s c =============================================================================== c | 0 | 3499 3711 713850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18219 c Elapsed CPU time: 54.2368 s Remaining CPU time: 125.763 s c =============================================================================== c | 0 | 3499 3712 717200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18217 c Elapsed CPU time: 54.7247 s Remaining CPU time: 125.275 s c =============================================================================== c | 0 | 3499 3713 720550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18214 c Elapsed CPU time: 55.2156 s Remaining CPU time: 124.784 s c =============================================================================== c | 0 | 3499 3714 723900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18211 c Elapsed CPU time: 55.7035 s Remaining CPU time: 124.296 s c =============================================================================== c | 0 | 3499 3715 727250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18208 c Elapsed CPU time: 56.2005 s Remaining CPU time: 123.8 s c =============================================================================== c | 0 | 3499 3716 730600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18205 c Elapsed CPU time: 56.7124 s Remaining CPU time: 123.288 s c =============================================================================== c | 0 | 3499 3717 733950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18202 c Elapsed CPU time: 57.2053 s Remaining CPU time: 122.795 s c =============================================================================== c | 0 | 3499 3718 737300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18201 c Elapsed CPU time: 57.7192 s Remaining CPU time: 122.281 s c =============================================================================== c | 0 | 3499 3719 740650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18199 c Elapsed CPU time: 58.2521 s Remaining CPU time: 121.748 s c =============================================================================== c | 0 | 3499 3720 744000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18197 c Elapsed CPU time: 58.7741 s Remaining CPU time: 121.226 s c =============================================================================== c | 0 | 3499 3721 747350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18196 c Elapsed CPU time: 59.302 s Remaining CPU time: 120.698 s c =============================================================================== c | 0 | 3499 3722 750700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18195 c Elapsed CPU time: 59.8239 s Remaining CPU time: 120.176 s c =============================================================================== c | 0 | 3499 3723 754050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18194 c Elapsed CPU time: 60.3328 s Remaining CPU time: 119.667 s c =============================================================================== c | 0 | 3499 3724 757400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18193 c Elapsed CPU time: 60.8447 s Remaining CPU time: 119.155 s c =============================================================================== c | 0 | 3499 3725 760750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18192 c Elapsed CPU time: 61.3707 s Remaining CPU time: 118.629 s c =============================================================================== c | 0 | 3499 3726 764100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18191 c Elapsed CPU time: 61.8916 s Remaining CPU time: 118.108 s c =============================================================================== c | 0 | 3499 3727 767450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18190 c Elapsed CPU time: 62.4425 s Remaining CPU time: 117.557 s c =============================================================================== c | 0 | 3499 3728 770800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18189 c Elapsed CPU time: 62.9944 s Remaining CPU time: 117.006 s c =============================================================================== c | 0 | 3499 3729 774150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18188 c Elapsed CPU time: 63.5423 s Remaining CPU time: 116.458 s c =============================================================================== c | 0 | 3499 3730 777500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18187 c Elapsed CPU time: 64.1023 s Remaining CPU time: 115.898 s c =============================================================================== c | 0 | 3499 3731 780850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18186 c Elapsed CPU time: 64.6462 s Remaining CPU time: 115.354 s c =============================================================================== c | 0 | 3499 3732 784200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18185 c Elapsed CPU time: 65.2191 s Remaining CPU time: 114.781 s c =============================================================================== c | 0 | 3499 3733 787550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18184 c Elapsed CPU time: 65.778 s Remaining CPU time: 114.222 s c =============================================================================== c | 0 | 3499 3734 790900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18183 c Elapsed CPU time: 66.3459 s Remaining CPU time: 113.654 s c =============================================================================== c | 0 | 3499 3735 794250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18182 c Elapsed CPU time: 66.9298 s Remaining CPU time: 113.07 s c =============================================================================== c | 0 | 3499 3736 797600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18181 c Elapsed CPU time: 67.4967 s Remaining CPU time: 112.503 s c =============================================================================== c | 0 | 3499 3737 800950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18180 c Elapsed CPU time: 68.0697 s Remaining CPU time: 111.93 s c =============================================================================== c | 0 | 3499 3738 804300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18178 c Elapsed CPU time: 68.6386 s Remaining CPU time: 111.361 s c =============================================================================== c | 0 | 3499 3739 807650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18177 c Elapsed CPU time: 69.2085 s Remaining CPU time: 110.792 s c =============================================================================== c | 0 | 3499 3740 811000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18174 c Elapsed CPU time: 69.7744 s Remaining CPU time: 110.226 s c =============================================================================== c | 0 | 3499 3741 814350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18170 c Elapsed CPU time: 70.3433 s Remaining CPU time: 109.657 s c =============================================================================== c | 0 | 3499 3742 817700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18169 c Elapsed CPU time: 70.9272 s Remaining CPU time: 109.073 s c =============================================================================== c | 0 | 3499 3743 821050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18167 c Elapsed CPU time: 71.5071 s Remaining CPU time: 108.493 s c =============================================================================== c | 0 | 3499 3744 824400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18166 c Elapsed CPU time: 72.099 s Remaining CPU time: 107.901 s c =============================================================================== c | 0 | 3499 3745 827750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18164 c Elapsed CPU time: 72.6909 s Remaining CPU time: 107.309 s c =============================================================================== c | 0 | 3499 3746 831100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18162 c Elapsed CPU time: 73.2819 s Remaining CPU time: 106.718 s c =============================================================================== c | 0 | 3499 3747 834450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18161 c Elapsed CPU time: 73.9088 s Remaining CPU time: 106.091 s c =============================================================================== c | 0 | 3499 3748 837800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18160 c Elapsed CPU time: 74.5497 s Remaining CPU time: 105.45 s c =============================================================================== c | 0 | 3499 3749 841150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18159 c Elapsed CPU time: 75.1636 s Remaining CPU time: 104.836 s c =============================================================================== c | 0 | 3499 3750 844500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18158 c Elapsed CPU time: 75.7815 s Remaining CPU time: 104.219 s c =============================================================================== c | 0 | 3499 3751 847850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18157 c Elapsed CPU time: 76.4114 s Remaining CPU time: 103.589 s c =============================================================================== c | 0 | 3499 3752 851200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18156 c Elapsed CPU time: 77.0193 s Remaining CPU time: 102.981 s c =============================================================================== c | 0 | 3499 3753 854550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18155 c Elapsed CPU time: 77.6362 s Remaining CPU time: 102.364 s c =============================================================================== c | 0 | 3499 3754 857900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18153 c Elapsed CPU time: 78.2381 s Remaining CPU time: 101.762 s c =============================================================================== c | 0 | 3499 3755 861250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18151 c Elapsed CPU time: 78.841 s Remaining CPU time: 101.159 s c =============================================================================== c | 0 | 3499 3756 864600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18150 c Elapsed CPU time: 79.4379 s Remaining CPU time: 100.562 s c =============================================================================== c | 0 | 3499 3757 867950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18148 c Elapsed CPU time: 80.0378 s Remaining CPU time: 99.9622 s c =============================================================================== c | 0 | 3499 3758 871300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18147 c Elapsed CPU time: 80.6557 s Remaining CPU time: 99.3443 s c =============================================================================== c | 0 | 3499 3759 874650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18146 c Elapsed CPU time: 81.2736 s Remaining CPU time: 98.7264 s c =============================================================================== c | 0 | 3499 3760 878000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18145 c Elapsed CPU time: 81.8776 s Remaining CPU time: 98.1224 s c =============================================================================== c | 0 | 3499 3761 881350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18144 c Elapsed CPU time: 82.4895 s Remaining CPU time: 97.5105 s c =============================================================================== c | 0 | 3499 3762 884700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18143 c Elapsed CPU time: 83.1104 s Remaining CPU time: 96.8896 s c =============================================================================== c | 0 | 3499 3763 888050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18141 c Elapsed CPU time: 83.7443 s Remaining CPU time: 96.2557 s c =============================================================================== c | 0 | 3499 3764 891400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18140 c Elapsed CPU time: 84.3832 s Remaining CPU time: 95.6168 s c =============================================================================== c | 0 | 3499 3765 894750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18138 c Elapsed CPU time: 85.0111 s Remaining CPU time: 94.9889 s c =============================================================================== c | 0 | 3499 3766 898100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18137 c Elapsed CPU time: 85.638 s Remaining CPU time: 94.362 s c =============================================================================== c | 0 | 3499 3767 901450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18136 c Elapsed CPU time: 86.2719 s Remaining CPU time: 93.7281 s c =============================================================================== c | 0 | 3499 3768 904800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18135 c Elapsed CPU time: 86.9008 s Remaining CPU time: 93.0992 s c =============================================================================== c | 0 | 3499 3769 908150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18134 c Elapsed CPU time: 87.6197 s Remaining CPU time: 92.3803 s c =============================================================================== c | 0 | 3499 3770 911500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18133 c Elapsed CPU time: 88.3126 s Remaining CPU time: 91.6874 s c =============================================================================== c | 0 | 3499 3771 914850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18132 c Elapsed CPU time: 88.9805 s Remaining CPU time: 91.0195 s c =============================================================================== c | 0 | 3499 3772 918200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18131 c Elapsed CPU time: 89.6544 s Remaining CPU time: 90.3456 s c =============================================================================== c | 0 | 3499 3773 921550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18130 c Elapsed CPU time: 90.3463 s Remaining CPU time: 89.6537 s c =============================================================================== c | 0 | 3499 3774 924900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18129 c Elapsed CPU time: 91.0212 s Remaining CPU time: 88.9788 s c =============================================================================== c | 0 | 3499 3775 928250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18128 c Elapsed CPU time: 91.7031 s Remaining CPU time: 88.2969 s c =============================================================================== c | 0 | 3499 3776 931600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18127 c Elapsed CPU time: 92.395 s Remaining CPU time: 87.605 s c =============================================================================== c | 0 | 3499 3777 934950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18126 c Elapsed CPU time: 93.0838 s Remaining CPU time: 86.9162 s c =============================================================================== c | 0 | 3499 3778 938300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18125 c Elapsed CPU time: 93.7607 s Remaining CPU time: 86.2393 s c =============================================================================== c | 0 | 3499 3779 941650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18124 c Elapsed CPU time: 94.4466 s Remaining CPU time: 85.5534 s c =============================================================================== c | 0 | 3499 3780 945000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18122 c Elapsed CPU time: 95.1095 s Remaining CPU time: 84.8905 s c =============================================================================== c | 0 | 3499 3781 948350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18120 c Elapsed CPU time: 95.7894 s Remaining CPU time: 84.2106 s c =============================================================================== c | 0 | 3499 3782 951700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18119 c Elapsed CPU time: 96.4763 s Remaining CPU time: 83.5237 s c =============================================================================== c | 0 | 3499 3783 955050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18117 c Elapsed CPU time: 97.1532 s Remaining CPU time: 82.8468 s c =============================================================================== c | 0 | 3499 3784 958400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18115 c Elapsed CPU time: 97.8401 s Remaining CPU time: 82.1599 s c =============================================================================== c | 0 | 3499 3785 961750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18113 c Elapsed CPU time: 98.518 s Remaining CPU time: 81.482 s c =============================================================================== c | 0 | 3499 3786 965100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18110 c Elapsed CPU time: 99.2029 s Remaining CPU time: 80.7971 s c =============================================================================== c | 0 | 3499 3787 968450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18109 c Elapsed CPU time: 99.9118 s Remaining CPU time: 80.0882 s c =============================================================================== c | 2 | 3499 3788 971800 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18107 c Elapsed CPU time: 100.613 s Remaining CPU time: 79.3873 s c =============================================================================== c | 2 | 3499 3789 975150 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18106 c Elapsed CPU time: 101.441 s Remaining CPU time: 78.5594 s c =============================================================================== c | 2 | 3499 3790 978500 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18105 c Elapsed CPU time: 102.201 s Remaining CPU time: 77.7985 s c =============================================================================== c | 2 | 3499 3791 981850 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18104 c Elapsed CPU time: 102.943 s Remaining CPU time: 77.0567 s c =============================================================================== c | 2 | 3499 3792 985200 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18103 c Elapsed CPU time: 103.688 s Remaining CPU time: 76.3118 s c =============================================================================== c | 2 | 3499 3793 988550 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18101 c Elapsed CPU time: 104.455 s Remaining CPU time: 75.5449 s c =============================================================================== c | 2 | 3499 3794 991900 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18100 c Elapsed CPU time: 105.224 s Remaining CPU time: 74.776 s c =============================================================================== c | 2 | 3499 3795 995250 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18098 c Elapsed CPU time: 105.988 s Remaining CPU time: 74.0121 s c =============================================================================== c | 2 | 3499 3796 998600 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18097 c Elapsed CPU time: 106.784 s Remaining CPU time: 73.2162 s c =============================================================================== c | 2 | 3499 3797 1001950 | 5000 2 3285 | 0.000 % | c =============================================================================== c New solution: 18096 c Elapsed CPU time: 107.591 s Remaining CPU time: 72.4094 s c =============================================================================== c | 3 | 3499 3798 1005300 | 5000 3 3283 | 0.000 % | c =============================================================================== c New solution: 18095 c Elapsed CPU time: 108.381 s Remaining CPU time: 71.6195 s c =============================================================================== c | 3 | 3499 3799 1008650 | 5000 3 3283 | 0.000 % | c =============================================================================== c New solution: 18094 c Elapsed CPU time: 109.165 s Remaining CPU time: 70.8346 s c =============================================================================== c | 3 | 3499 3800 1012000 | 5000 3 3283 | 0.000 % | c =============================================================================== c New solution: 18093 c Elapsed CPU time: 109.939 s Remaining CPU time: 70.0607 s c =============================================================================== c | 3 | 3499 3801 1015350 | 5000 3 3283 | 0.000 % | c =============================================================================== c New solution: 18092 c Elapsed CPU time: 110.708 s Remaining CPU time: 69.2918 s c =============================================================================== c | 3 | 3499 3802 1018700 | 5000 3 3283 | 0.000 % | c =============================================================================== c New solution: 18091 c Elapsed CPU time: 111.467 s Remaining CPU time: 68.5329 s c =============================================================================== c | 3 | 3499 3803 1022050 | 5000 3 3283 | 0.000 % | c =============================================================================== c New solution: 18090 c Elapsed CPU time: 112.231 s Remaining CPU time: 67.7691 s c =============================================================================== c | 3 | 3499 3804 1025400 | 5000 3 3283 | 0.000 % | c =============================================================================== c New solution: 18089 c Elapsed CPU time: 112.963 s Remaining CPU time: 67.0372 s c =============================================================================== c | 3 | 3499 3805 1028750 | 5000 3 3283 | 0.000 % | c =============================================================================== c New solution: 18088 c Elapsed CPU time: 113.726 s Remaining CPU time: 66.2743 s c =============================================================================== c | 4 | 3499 3806 1032100 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 18087 c Elapsed CPU time: 114.508 s Remaining CPU time: 65.4924 s c =============================================================================== c | 4 | 3499 3807 1035450 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 18086 c Elapsed CPU time: 115.313 s Remaining CPU time: 64.6865 s c =============================================================================== c | 4 | 3499 3808 1038800 | 5000 4 3282 | 0.000 % | c =============================================================================== c New solution: 18085 c Elapsed CPU time: 116.045 s Remaining CPU time: 63.9546 s c =============================================================================== c | 5 | 3499 3809 1042150 | 5000 5 3281 | 0.000 % | c =============================================================================== c New solution: 18084 c Elapsed CPU time: 116.766 s Remaining CPU time: 63.2338 s c =============================================================================== c | 5 | 3499 3810 1045500 | 5000 5 3281 | 0.000 % | c =============================================================================== c New solution: 18083 c Elapsed CPU time: 117.522 s Remaining CPU time: 62.4779 s c =============================================================================== c | 5 | 3499 3811 1048850 | 5000 5 3281 | 0.000 % | c =============================================================================== c New solution: 18082 c Elapsed CPU time: 118.226 s Remaining CPU time: 61.774 s c =============================================================================== c | 5 | 3499 3812 1052200 | 5000 5 3281 | 0.000 % | c =============================================================================== c New solution: 18081 c Elapsed CPU time: 118.957 s Remaining CPU time: 61.0431 s c =============================================================================== c | 5 | 3499 3813 1055550 | 5000 5 3281 | 0.000 % | c =============================================================================== c New solution: 18080 c Elapsed CPU time: 119.757 s Remaining CPU time: 60.2432 s c =============================================================================== c | 6 | 3499 3814 1058900 | 5000 6 3280 | 0.000 % | c =============================================================================== c New solution: 18079 c Elapsed CPU time: 120.545 s Remaining CPU time: 59.4553 s c =============================================================================== c | 9 | 3499 3815 1062250 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 18078 c Elapsed CPU time: 121.363 s Remaining CPU time: 58.6375 s c =============================================================================== c | 9 | 3499 3816 1065600 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 18077 c Elapsed CPU time: 122.181 s Remaining CPU time: 57.8186 s c =============================================================================== c | 9 | 3499 3817 1068950 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 18076 c Elapsed CPU time: 122.976 s Remaining CPU time: 57.0237 s c =============================================================================== c | 9 | 3499 3818 1072300 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 18075 c Elapsed CPU time: 123.779 s Remaining CPU time: 56.2208 s c =============================================================================== c | 9 | 3499 3819 1075650 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 18074 c Elapsed CPU time: 124.555 s Remaining CPU time: 55.4449 s c =============================================================================== c | 9 | 3499 3820 1079000 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 18073 c Elapsed CPU time: 125.351 s Remaining CPU time: 54.6491 s c =============================================================================== c | 9 | 3499 3821 1082350 | 5000 9 3277 | 0.000 % | c =============================================================================== c New solution: 18072 c Elapsed CPU time: 126.158 s Remaining CPU time: 53.8422 s c =============================================================================== c | 10 | 3499 3822 1085700 | 5000 10 3277 | 0.000 % | c =============================================================================== c New solution: 18071 c Elapsed CPU time: 127.015 s Remaining CPU time: 52.9853 s c =============================================================================== c | 11 | 3499 3823 1089050 | 5000 11 3277 | 0.000 % | c =============================================================================== c New solution: 18070 c Elapsed CPU time: 127.886 s Remaining CPU time: 52.1144 s c =============================================================================== c | 11 | 3499 3824 1092400 | 5000 11 3277 | 0.000 % | c =============================================================================== c New solution: 18069 c Elapsed CPU time: 128.708 s Remaining CPU time: 51.2916 s c =============================================================================== c | 11 | 3499 3825 1095750 | 5000 11 3277 | 0.000 % | c =============================================================================== c New solution: 18068 c Elapsed CPU time: 129.554 s Remaining CPU time: 50.4457 s c =============================================================================== c | 11 | 3499 3826 1099100 | 5000 11 3277 | 0.000 % | c =============================================================================== c New solution: 18067 c Elapsed CPU time: 130.403 s Remaining CPU time: 49.5968 s c =============================================================================== c | 15 | 3499 3827 1102450 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18066 c Elapsed CPU time: 131.197 s Remaining CPU time: 48.8029 s c =============================================================================== c | 15 | 3499 3828 1105800 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18065 c Elapsed CPU time: 131.981 s Remaining CPU time: 48.0191 s c =============================================================================== c | 15 | 3499 3829 1109150 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18064 c Elapsed CPU time: 132.795 s Remaining CPU time: 47.2052 s c =============================================================================== c | 15 | 3499 3830 1112500 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18063 c Elapsed CPU time: 133.595 s Remaining CPU time: 46.4053 s c =============================================================================== c | 15 | 3499 3831 1115850 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18062 c Elapsed CPU time: 134.363 s Remaining CPU time: 45.6374 s c =============================================================================== c | 15 | 3499 3832 1119200 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18061 c Elapsed CPU time: 135.194 s Remaining CPU time: 44.8056 s c =============================================================================== c | 15 | 3499 3833 1122550 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18060 c Elapsed CPU time: 136.015 s Remaining CPU time: 43.9847 s c =============================================================================== c | 15 | 3499 3834 1125900 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18059 c Elapsed CPU time: 136.785 s Remaining CPU time: 43.2148 s c =============================================================================== c | 15 | 3499 3835 1129250 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18058 c Elapsed CPU time: 137.573 s Remaining CPU time: 42.4269 s c =============================================================================== c | 15 | 3499 3836 1132600 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18057 c Elapsed CPU time: 138.37 s Remaining CPU time: 41.63 s c =============================================================================== c | 15 | 3499 3837 1135950 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18056 c Elapsed CPU time: 139.171 s Remaining CPU time: 40.8292 s c =============================================================================== c | 15 | 3499 3838 1139300 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18055 c Elapsed CPU time: 139.995 s Remaining CPU time: 40.0053 s c =============================================================================== c | 15 | 3499 3839 1142650 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18054 c Elapsed CPU time: 140.927 s Remaining CPU time: 39.0734 s c =============================================================================== c | 15 | 3499 3840 1146000 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18053 c Elapsed CPU time: 141.879 s Remaining CPU time: 38.1206 s c =============================================================================== c | 15 | 3499 3841 1149350 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18052 c Elapsed CPU time: 142.78 s Remaining CPU time: 37.2197 s c =============================================================================== c | 15 | 3499 3842 1152700 | 5000 15 3275 | 0.000 % | c =============================================================================== c New solution: 18051 c Elapsed CPU time: 143.745 s Remaining CPU time: 36.2549 s c =============================================================================== c | 17 | 3499 3843 1156050 | 5000 17 3274 | 0.000 % | c =============================================================================== c New solution: 18050 c Elapsed CPU time: 144.537 s Remaining CPU time: 35.463 s c =============================================================================== c | 17 | 3499 3844 1159400 | 5000 17 3274 | 0.000 % | c =============================================================================== c New solution: 18049 c Elapsed CPU time: 145.343 s Remaining CPU time: 34.6571 s c =============================================================================== c | 17 | 3499 3845 1162750 | 5000 17 3274 | 0.000 % | c =============================================================================== c New solution: 18048 c Elapsed CPU time: 146.22 s Remaining CPU time: 33.7802 s c =============================================================================== c | 18 | 3499 3846 1166100 | 5000 18 3093 | 0.000 % | c =============================================================================== c New solution: 18047 c Elapsed CPU time: 147.006 s Remaining CPU time: 32.9943 s c =============================================================================== c | 18 | 3499 3847 1169450 | 5000 18 3093 | 0.000 % | c =============================================================================== c New solution: 18046 c Elapsed CPU time: 147.799 s Remaining CPU time: 32.2015 s c =============================================================================== c | 18 | 3499 3848 1172800 | 5000 18 3093 | 0.000 % | c =============================================================================== c New solution: 18045 c Elapsed CPU time: 148.563 s Remaining CPU time: 31.4366 s c =============================================================================== c | 19 | 3499 3849 1176150 | 5000 19 3102 | 0.000 % | c =============================================================================== c New solution: 18044 c Elapsed CPU time: 149.233 s Remaining CPU time: 30.7667 s c =============================================================================== c | 19 | 3499 3850 1179500 | 5000 19 3102 | 0.000 % | c =============================================================================== c New solution: 18043 c Elapsed CPU time: 149.862 s Remaining CPU time: 30.1378 s c =============================================================================== c | 19 | 3499 3851 1182850 | 5000 19 3102 | 0.000 % | c =============================================================================== c New solution: 18042 c Elapsed CPU time: 150.54 s Remaining CPU time: 29.4599 s c =============================================================================== c | 19 | 3499 3852 1186200 | 5000 19 3102 | 0.000 % | c =============================================================================== c New solution: 18041 c Elapsed CPU time: 151.288 s Remaining CPU time: 28.712 s c =============================================================================== c | 19 | 3499 3853 1189550 | 5000 19 3102 | 0.000 % | c =============================================================================== c New solution: 18040 c Elapsed CPU time: 152.029 s Remaining CPU time: 27.9711 s c =============================================================================== c | 19 | 3499 3854 1192900 | 5000 19 3102 | 0.000 % | c =============================================================================== c New solution: 18039 c Elapsed CPU time: 152.697 s Remaining CPU time: 27.3032 s c =============================================================================== c | 20 | 3499 3855 1196250 | 5000 20 3110 | 0.000 % | c =============================================================================== c New solution: 18038 c Elapsed CPU time: 153.431 s Remaining CPU time: 26.5693 s c =============================================================================== c | 20 | 3499 3856 1199600 | 5000 20 3110 | 0.000 % | c =============================================================================== c New solution: 18037 c Elapsed CPU time: 154.17 s Remaining CPU time: 25.8304 s c =============================================================================== c | 22 | 3499 3857 1202950 | 5000 22 3124 | 0.000 % | c =============================================================================== c New solution: 18036 c Elapsed CPU time: 154.828 s Remaining CPU time: 25.1715 s c =============================================================================== c | 22 | 3499 3858 1206300 | 5000 22 3124 | 0.000 % | c =============================================================================== c New solution: 18035 c Elapsed CPU time: 155.598 s Remaining CPU time: 24.4017 s c =============================================================================== c | 22 | 3499 3859 1209650 | 5000 22 3124 | 0.000 % | c =============================================================================== c New solution: 18034 c Elapsed CPU time: 156.34 s Remaining CPU time: 23.6598 s c =============================================================================== c | 22 | 3499 3860 1213000 | 5000 22 3124 | 0.000 % | c =============================================================================== c New solution: 18033 c Elapsed CPU time: 157.036 s Remaining CPU time: 22.9639 s c =============================================================================== c | 22 | 3499 3861 1216350 | 5000 22 3124 | 0.000 % | c =============================================================================== c New solution: 18032 c Elapsed CPU time: 157.736 s Remaining CPU time: 22.264 s c =============================================================================== c | 26 | 3499 3862 1219700 | 5000 26 3146 | 0.000 % | c =============================================================================== c New solution: 18031 c Elapsed CPU time: 158.485 s Remaining CPU time: 21.5151 s c =============================================================================== c | 28 | 3499 3863 1223050 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18030 c Elapsed CPU time: 159.19 s Remaining CPU time: 20.8102 s c =============================================================================== c | 28 | 3499 3864 1226400 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18029 c Elapsed CPU time: 159.85 s Remaining CPU time: 20.1503 s c =============================================================================== c | 28 | 3499 3865 1229750 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18028 c Elapsed CPU time: 160.566 s Remaining CPU time: 19.4344 s c =============================================================================== c | 28 | 3499 3866 1233100 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18027 c Elapsed CPU time: 161.375 s Remaining CPU time: 18.6245 s c =============================================================================== c | 28 | 3499 3867 1236450 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18026 c Elapsed CPU time: 162.234 s Remaining CPU time: 17.7657 s c =============================================================================== c | 28 | 3499 3868 1239800 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18025 c Elapsed CPU time: 163.061 s Remaining CPU time: 16.9388 s c =============================================================================== c | 28 | 3499 3869 1243150 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18024 c Elapsed CPU time: 163.9 s Remaining CPU time: 16.0999 s c =============================================================================== c | 28 | 3499 3870 1246500 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18023 c Elapsed CPU time: 164.765 s Remaining CPU time: 15.235 s c =============================================================================== c | 28 | 3499 3871 1249850 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18022 c Elapsed CPU time: 165.632 s Remaining CPU time: 14.3682 s c =============================================================================== c | 28 | 3499 3872 1253200 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18021 c Elapsed CPU time: 166.553 s Remaining CPU time: 13.4473 s c =============================================================================== c | 28 | 3499 3873 1256550 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18020 c Elapsed CPU time: 167.441 s Remaining CPU time: 12.5595 s c =============================================================================== c | 28 | 3499 3874 1259900 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18019 c Elapsed CPU time: 168.268 s Remaining CPU time: 11.7316 s c =============================================================================== c | 28 | 3499 3875 1263250 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18018 c Elapsed CPU time: 169.032 s Remaining CPU time: 10.9677 s c =============================================================================== c | 28 | 3499 3876 1266600 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18017 c Elapsed CPU time: 169.774 s Remaining CPU time: 10.2258 s c =============================================================================== c | 28 | 3499 3877 1269950 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18016 c Elapsed CPU time: 170.605 s Remaining CPU time: 9.39494 s c =============================================================================== c | 28 | 3499 3878 1273300 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18015 c Elapsed CPU time: 171.399 s Remaining CPU time: 8.60106 s c =============================================================================== c | 28 | 3499 3879 1276650 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18014 c Elapsed CPU time: 172.235 s Remaining CPU time: 7.76518 s c =============================================================================== c | 28 | 3499 3880 1280000 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18013 c Elapsed CPU time: 173.099 s Remaining CPU time: 6.90132 s c =============================================================================== c | 28 | 3499 3881 1283350 | 5000 28 3154 | 0.000 % | c =============================================================================== c New solution: 18012 c Elapsed CPU time: 173.875 s Remaining CPU time: 6.12543 s c =============================================================================== c | 30 | 3499 3882 1286700 | 5000 30 3162 | 0.000 % | c =============================================================================== c New solution: 18011 c Elapsed CPU time: 174.652 s Remaining CPU time: 5.34755 s c =============================================================================== c | 30 | 3499 3883 1290050 | 5000 30 3162 | 0.000 % | c =============================================================================== c New solution: 18010 c Elapsed CPU time: 175.424 s Remaining CPU time: 4.57567 s c =============================================================================== c | 30 | 3499 3884 1293400 | 5000 30 3162 | 0.000 % | c =============================================================================== c New solution: 18009 c Elapsed CPU time: 176.234 s Remaining CPU time: 3.76579 s c =============================================================================== c | 30 | 3499 3885 1296750 | 5000 30 3162 | 0.000 % | c =============================================================================== c New solution: 18008 c Elapsed CPU time: 177.308 s Remaining CPU time: 2.69196 s c =============================================================================== c | 30 | 3499 3886 1300100 | 5000 30 3162 | 0.000 % | c =============================================================================== c New solution: 18007 c Elapsed CPU time: 178.183 s Remaining CPU time: 1.81709 s c =============================================================================== c | 30 | 3499 3887 1303450 | 5000 30 3162 | 0.000 % | c =============================================================================== c New solution: 18006 c Elapsed CPU time: 179.09 s Remaining CPU time: 0.910226 s c =============================================================================== c | 32 | 3499 3888 1306800 | 5000 32 3168 | 0.000 % | c =============================================================================== c New solution: 18005 c Elapsed CPU time: 179.882 s Remaining CPU time: 0.118347 s c =============================================================================== c | 32 | 3499 3889 1310150 | 5000 32 3168 | 0.000 % | c There are 1 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 384 7386 10619 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 388 7390 10627 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 392 7394 10635 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 406 7406 10665 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 417 7414 10686 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 428 7422 10705 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 438 7431 10722 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 450 7438 10749 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 456 7443 10756 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 462 7448 10763 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 468 7453 10776 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 475 7457 10789 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 481 7462 10802 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 487 7467 10809 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 492 7472 10818 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 499 7476 10839 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 505 7481 10848 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 511 7486 10855 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 518 7492 10863 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 525 7496 10872 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 532 7502 10880 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 539 7508 10898 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 546 7514 10908 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 554 7519 10930 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 560 7525 10948 | 5000 0 nan | 0.000 % | c ===============================================================================