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 | 3496 3502 10350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18229 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 3496 3503 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18219 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s c =============================================================================== c | 0 | 3496 3504 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18218 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 3496 3505 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18210 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 0 | 3496 3506 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18209 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 3496 3507 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18205 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 3496 3508 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18204 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s c =============================================================================== c | 0 | 3496 3509 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18203 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 0 | 3496 3510 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18202 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 0 | 3496 3511 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18198 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 0 | 3496 3512 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18197 c Elapsed CPU time: 0.506922 s Remaining CPU time: 179.493 s c =============================================================================== c | 0 | 3496 3513 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18192 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 0 | 3496 3514 50550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18189 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s c =============================================================================== c | 0 | 3496 3515 53900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18188 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 0 | 3496 3516 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18185 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s c =============================================================================== c | 0 | 3496 3517 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18184 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 0 | 3496 3518 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18183 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 0 | 3496 3519 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18182 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s c =============================================================================== c | 0 | 3496 3520 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18179 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s c =============================================================================== c | 0 | 3496 3521 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18178 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 0 | 3496 3522 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18177 c Elapsed CPU time: 1.01984 s Remaining CPU time: 178.98 s c =============================================================================== c | 0 | 3496 3523 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18176 c Elapsed CPU time: 1.08083 s Remaining CPU time: 178.919 s c =============================================================================== c | 0 | 3496 3524 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18175 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s c =============================================================================== c | 0 | 3496 3525 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18174 c Elapsed CPU time: 1.19882 s Remaining CPU time: 178.801 s c =============================================================================== c | 0 | 3496 3526 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18173 c Elapsed CPU time: 1.26081 s Remaining CPU time: 178.739 s c =============================================================================== c | 0 | 3496 3527 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18172 c Elapsed CPU time: 1.3238 s Remaining CPU time: 178.676 s c =============================================================================== c | 0 | 3496 3528 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18171 c Elapsed CPU time: 1.38579 s Remaining CPU time: 178.614 s c =============================================================================== c | 0 | 3496 3529 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18170 c Elapsed CPU time: 1.45278 s Remaining CPU time: 178.547 s c =============================================================================== c | 0 | 3496 3530 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18167 c Elapsed CPU time: 1.52677 s Remaining CPU time: 178.473 s c =============================================================================== c | 0 | 3496 3531 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18166 c Elapsed CPU time: 1.60076 s Remaining CPU time: 178.399 s c =============================================================================== c | 0 | 3496 3532 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18165 c Elapsed CPU time: 1.67974 s Remaining CPU time: 178.32 s c =============================================================================== c | 0 | 3496 3533 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18163 c Elapsed CPU time: 1.75973 s Remaining CPU time: 178.24 s c =============================================================================== c | 0 | 3496 3534 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18161 c Elapsed CPU time: 1.84672 s Remaining CPU time: 178.153 s c =============================================================================== c | 0 | 3496 3535 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18159 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 0 | 3496 3536 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18155 c Elapsed CPU time: 2.01669 s Remaining CPU time: 177.983 s c =============================================================================== c | 0 | 3496 3537 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18154 c Elapsed CPU time: 2.10668 s Remaining CPU time: 177.893 s c =============================================================================== c | 0 | 3496 3538 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18153 c Elapsed CPU time: 2.19267 s Remaining CPU time: 177.807 s c =============================================================================== c | 0 | 3496 3539 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18149 c Elapsed CPU time: 2.28165 s Remaining CPU time: 177.718 s c =============================================================================== c | 0 | 3496 3540 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18147 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 0 | 3496 3541 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18144 c Elapsed CPU time: 2.46663 s Remaining CPU time: 177.533 s c =============================================================================== c | 0 | 3496 3542 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18143 c Elapsed CPU time: 2.55961 s Remaining CPU time: 177.44 s c =============================================================================== c | 0 | 3496 3543 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18142 c Elapsed CPU time: 2.6536 s Remaining CPU time: 177.346 s c =============================================================================== c | 0 | 3496 3544 151050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18140 c Elapsed CPU time: 2.75158 s Remaining CPU time: 177.248 s c =============================================================================== c | 0 | 3496 3545 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18139 c Elapsed CPU time: 2.84957 s Remaining CPU time: 177.15 s c =============================================================================== c | 0 | 3496 3546 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18138 c Elapsed CPU time: 2.94855 s Remaining CPU time: 177.051 s c =============================================================================== c | 0 | 3496 3547 161100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18135 c Elapsed CPU time: 3.05553 s Remaining CPU time: 176.944 s c =============================================================================== c | 0 | 3496 3548 164450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18134 c Elapsed CPU time: 3.16052 s Remaining CPU time: 176.839 s c =============================================================================== c | 0 | 3496 3549 167800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18133 c Elapsed CPU time: 3.2655 s Remaining CPU time: 176.734 s c =============================================================================== c | 0 | 3496 3550 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18130 c Elapsed CPU time: 3.37549 s Remaining CPU time: 176.625 s c =============================================================================== c | 0 | 3496 3551 174500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18129 c Elapsed CPU time: 3.48447 s Remaining CPU time: 176.516 s c =============================================================================== c | 0 | 3496 3552 177850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18128 c Elapsed CPU time: 3.59645 s Remaining CPU time: 176.404 s c =============================================================================== c | 0 | 3496 3553 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18127 c Elapsed CPU time: 3.71143 s Remaining CPU time: 176.289 s c =============================================================================== c | 0 | 3496 3554 184550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18126 c Elapsed CPU time: 3.82342 s Remaining CPU time: 176.177 s c =============================================================================== c | 0 | 3496 3555 187900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18125 c Elapsed CPU time: 3.9374 s Remaining CPU time: 176.063 s c =============================================================================== c | 0 | 3496 3556 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18122 c Elapsed CPU time: 4.05238 s Remaining CPU time: 175.948 s c =============================================================================== c | 0 | 3496 3557 194600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18121 c Elapsed CPU time: 4.17237 s Remaining CPU time: 175.828 s c =============================================================================== c | 0 | 3496 3558 197950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18120 c Elapsed CPU time: 4.29535 s Remaining CPU time: 175.705 s c =============================================================================== c | 0 | 3496 3559 201300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18118 c Elapsed CPU time: 4.41733 s Remaining CPU time: 175.583 s c =============================================================================== c | 0 | 3496 3560 204650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18117 c Elapsed CPU time: 4.53931 s Remaining CPU time: 175.461 s c =============================================================================== c | 0 | 3496 3561 208000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18116 c Elapsed CPU time: 4.66029 s Remaining CPU time: 175.34 s c =============================================================================== c | 0 | 3496 3562 211350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18115 c Elapsed CPU time: 4.79627 s Remaining CPU time: 175.204 s c =============================================================================== c | 0 | 3496 3563 214700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18114 c Elapsed CPU time: 4.93625 s Remaining CPU time: 175.064 s c =============================================================================== c | 0 | 3496 3564 218050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18113 c Elapsed CPU time: 5.07723 s Remaining CPU time: 174.923 s c =============================================================================== c | 0 | 3496 3565 221400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18112 c Elapsed CPU time: 5.22221 s Remaining CPU time: 174.778 s c =============================================================================== c | 0 | 3496 3566 224750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18111 c Elapsed CPU time: 5.36518 s Remaining CPU time: 174.635 s c =============================================================================== c | 0 | 3496 3567 228100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18110 c Elapsed CPU time: 5.50616 s Remaining CPU time: 174.494 s c =============================================================================== c | 0 | 3496 3568 231450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18108 c Elapsed CPU time: 5.65414 s Remaining CPU time: 174.346 s c =============================================================================== c | 0 | 3496 3569 234800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18107 c Elapsed CPU time: 5.80712 s Remaining CPU time: 174.193 s c =============================================================================== c | 0 | 3496 3570 238150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18105 c Elapsed CPU time: 5.96009 s Remaining CPU time: 174.04 s c =============================================================================== c | 0 | 3496 3571 241500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18104 c Elapsed CPU time: 6.11407 s Remaining CPU time: 173.886 s c =============================================================================== c | 0 | 3496 3572 244850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18103 c Elapsed CPU time: 6.26705 s Remaining CPU time: 173.733 s c =============================================================================== c | 0 | 3496 3573 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18102 c Elapsed CPU time: 6.42202 s Remaining CPU time: 173.578 s c =============================================================================== c | 0 | 3496 3574 251550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18100 c Elapsed CPU time: 6.577 s Remaining CPU time: 173.423 s c =============================================================================== c | 0 | 3496 3575 254900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18099 c Elapsed CPU time: 6.73798 s Remaining CPU time: 173.262 s c =============================================================================== c | 0 | 3496 3576 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18097 c Elapsed CPU time: 6.89895 s Remaining CPU time: 173.101 s c =============================================================================== c | 0 | 3496 3577 261600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18096 c Elapsed CPU time: 7.05993 s Remaining CPU time: 172.94 s c =============================================================================== c | 0 | 3496 3578 264950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18095 c Elapsed CPU time: 7.2209 s Remaining CPU time: 172.779 s c =============================================================================== c | 0 | 3496 3579 268300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18094 c Elapsed CPU time: 7.38588 s Remaining CPU time: 172.614 s c =============================================================================== c | 0 | 3496 3580 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18093 c Elapsed CPU time: 7.55685 s Remaining CPU time: 172.443 s c =============================================================================== c | 0 | 3496 3581 275000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18091 c Elapsed CPU time: 7.72483 s Remaining CPU time: 172.275 s c =============================================================================== c | 0 | 3496 3582 278350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18088 c Elapsed CPU time: 7.8898 s Remaining CPU time: 172.11 s c =============================================================================== c | 0 | 3496 3583 281700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18087 c Elapsed CPU time: 8.05777 s Remaining CPU time: 171.942 s c =============================================================================== c | 0 | 3496 3584 285050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18086 c Elapsed CPU time: 8.24475 s Remaining CPU time: 171.755 s c =============================================================================== c | 0 | 3496 3585 288400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18084 c Elapsed CPU time: 8.42772 s Remaining CPU time: 171.572 s c =============================================================================== c | 0 | 3496 3586 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18083 c Elapsed CPU time: 8.60969 s Remaining CPU time: 171.39 s c =============================================================================== c | 0 | 3496 3587 295100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18082 c Elapsed CPU time: 8.78966 s Remaining CPU time: 171.21 s c =============================================================================== c | 0 | 3496 3588 298450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18080 c Elapsed CPU time: 8.96964 s Remaining CPU time: 171.03 s c =============================================================================== c | 0 | 3496 3589 301800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18079 c Elapsed CPU time: 9.15861 s Remaining CPU time: 170.841 s c =============================================================================== c | 0 | 3496 3590 305150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18078 c Elapsed CPU time: 9.34558 s Remaining CPU time: 170.654 s c =============================================================================== c | 0 | 3496 3591 308500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18077 c Elapsed CPU time: 9.53955 s Remaining CPU time: 170.46 s c =============================================================================== c | 0 | 3496 3592 311850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18076 c Elapsed CPU time: 9.73352 s Remaining CPU time: 170.266 s c =============================================================================== c | 0 | 3496 3593 315200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18075 c Elapsed CPU time: 9.93049 s Remaining CPU time: 170.07 s c =============================================================================== c | 0 | 3496 3594 318550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18074 c Elapsed CPU time: 10.1255 s Remaining CPU time: 169.875 s c =============================================================================== c | 0 | 3496 3595 321900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18073 c Elapsed CPU time: 10.3234 s Remaining CPU time: 169.677 s c =============================================================================== c | 0 | 3496 3596 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18072 c Elapsed CPU time: 10.5314 s Remaining CPU time: 169.469 s c =============================================================================== c | 0 | 3496 3597 328600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18071 c Elapsed CPU time: 10.7384 s Remaining CPU time: 169.262 s c =============================================================================== c | 0 | 3496 3598 331950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18068 c Elapsed CPU time: 10.9383 s Remaining CPU time: 169.062 s c =============================================================================== c | 0 | 3496 3599 335300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18067 c Elapsed CPU time: 11.1473 s Remaining CPU time: 168.853 s c =============================================================================== c | 0 | 3496 3600 338650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18066 c Elapsed CPU time: 11.3553 s Remaining CPU time: 168.645 s c =============================================================================== c | 0 | 3496 3601 342000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18065 c Elapsed CPU time: 11.5562 s Remaining CPU time: 168.444 s c =============================================================================== c | 0 | 3496 3602 345350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18061 c Elapsed CPU time: 11.7622 s Remaining CPU time: 168.238 s c =============================================================================== c | 0 | 3496 3603 348700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18060 c Elapsed CPU time: 11.9692 s Remaining CPU time: 168.031 s c =============================================================================== c | 0 | 3496 3604 352050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18058 c Elapsed CPU time: 12.1801 s Remaining CPU time: 167.82 s c =============================================================================== c | 0 | 3496 3605 355400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18057 c Elapsed CPU time: 12.4101 s Remaining CPU time: 167.59 s c =============================================================================== c | 0 | 3496 3606 358750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18055 c Elapsed CPU time: 12.6341 s Remaining CPU time: 167.366 s c =============================================================================== c | 0 | 3496 3607 362100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18053 c Elapsed CPU time: 12.864 s Remaining CPU time: 167.136 s c =============================================================================== c | 0 | 3496 3608 365450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18052 c Elapsed CPU time: 13.097 s Remaining CPU time: 166.903 s c =============================================================================== c | 0 | 3496 3609 368800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18050 c Elapsed CPU time: 13.341 s Remaining CPU time: 166.659 s c =============================================================================== c | 0 | 3496 3610 372150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18049 c Elapsed CPU time: 13.5729 s Remaining CPU time: 166.427 s c =============================================================================== c | 0 | 3496 3611 375500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18047 c Elapsed CPU time: 13.8089 s Remaining CPU time: 166.191 s c =============================================================================== c | 0 | 3496 3612 378850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18046 c Elapsed CPU time: 14.0499 s Remaining CPU time: 165.95 s c =============================================================================== c | 0 | 3496 3613 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18045 c Elapsed CPU time: 14.2858 s Remaining CPU time: 165.714 s c =============================================================================== c | 0 | 3496 3614 385550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18042 c Elapsed CPU time: 14.5458 s Remaining CPU time: 165.454 s c =============================================================================== c | 0 | 3496 3615 388900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18041 c Elapsed CPU time: 14.8207 s Remaining CPU time: 165.179 s c =============================================================================== c | 0 | 3496 3616 392250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18040 c Elapsed CPU time: 15.0797 s Remaining CPU time: 164.92 s c =============================================================================== c | 0 | 3496 3617 395600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18039 c Elapsed CPU time: 15.3457 s Remaining CPU time: 164.654 s c =============================================================================== c | 0 | 3496 3618 398950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18038 c Elapsed CPU time: 15.6166 s Remaining CPU time: 164.383 s c =============================================================================== c | 0 | 3496 3619 402300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18037 c Elapsed CPU time: 15.8746 s Remaining CPU time: 164.125 s c =============================================================================== c | 0 | 3496 3620 405650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18036 c Elapsed CPU time: 16.1425 s Remaining CPU time: 163.857 s c =============================================================================== c | 0 | 3496 3621 409000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18033 c Elapsed CPU time: 16.3985 s Remaining CPU time: 163.601 s c =============================================================================== c | 0 | 3496 3622 412350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18032 c Elapsed CPU time: 16.6675 s Remaining CPU time: 163.333 s c =============================================================================== c | 0 | 3496 3623 415700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18031 c Elapsed CPU time: 16.9334 s Remaining CPU time: 163.067 s c =============================================================================== c | 0 | 3496 3624 419050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18028 c Elapsed CPU time: 17.1974 s Remaining CPU time: 162.803 s c =============================================================================== c | 0 | 3496 3625 422400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18025 c Elapsed CPU time: 17.4603 s Remaining CPU time: 162.54 s c =============================================================================== c | 0 | 3496 3626 425750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18023 c Elapsed CPU time: 17.7333 s Remaining CPU time: 162.267 s c =============================================================================== c | 0 | 3496 3627 429100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18022 c Elapsed CPU time: 17.9923 s Remaining CPU time: 162.008 s c =============================================================================== c | 0 | 3496 3628 432450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18021 c Elapsed CPU time: 18.2562 s Remaining CPU time: 161.744 s c =============================================================================== c | 0 | 3496 3629 435800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18020 c Elapsed CPU time: 18.5242 s Remaining CPU time: 161.476 s c =============================================================================== c | 0 | 3496 3630 439150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18018 c Elapsed CPU time: 18.7961 s Remaining CPU time: 161.204 s c =============================================================================== c | 0 | 3496 3631 442500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18014 c Elapsed CPU time: 19.0611 s Remaining CPU time: 160.939 s c =============================================================================== c | 0 | 3496 3632 445850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18010 c Elapsed CPU time: 19.3271 s Remaining CPU time: 160.673 s c =============================================================================== c | 0 | 3496 3633 449200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18009 c Elapsed CPU time: 19.609 s Remaining CPU time: 160.391 s c =============================================================================== c | 0 | 3496 3634 452550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18007 c Elapsed CPU time: 19.889 s Remaining CPU time: 160.111 s c =============================================================================== c | 0 | 3496 3635 455900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18006 c Elapsed CPU time: 20.1679 s Remaining CPU time: 159.832 s c =============================================================================== c | 0 | 3496 3636 459250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18005 c Elapsed CPU time: 20.4429 s Remaining CPU time: 159.557 s c =============================================================================== c | 0 | 3496 3637 462600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18004 c Elapsed CPU time: 20.7079 s Remaining CPU time: 159.292 s c =============================================================================== c | 0 | 3496 3638 465950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18002 c Elapsed CPU time: 20.9928 s Remaining CPU time: 159.007 s c =============================================================================== c | 0 | 3496 3639 469300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18001 c Elapsed CPU time: 21.2678 s Remaining CPU time: 158.732 s c =============================================================================== c | 0 | 3496 3640 472650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18000 c Elapsed CPU time: 21.5517 s Remaining CPU time: 158.448 s c =============================================================================== c | 0 | 3496 3641 476000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17998 c Elapsed CPU time: 21.8407 s Remaining CPU time: 158.159 s c =============================================================================== c | 0 | 3496 3642 479350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17996 c Elapsed CPU time: 22.1316 s Remaining CPU time: 157.868 s c =============================================================================== c | 0 | 3496 3643 482700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17992 c Elapsed CPU time: 22.4226 s Remaining CPU time: 157.577 s c =============================================================================== c | 0 | 3496 3644 486050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17989 c Elapsed CPU time: 22.7165 s Remaining CPU time: 157.283 s c =============================================================================== c | 0 | 3496 3645 489400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17986 c Elapsed CPU time: 23.0065 s Remaining CPU time: 156.993 s c =============================================================================== c | 0 | 3496 3646 492750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17983 c Elapsed CPU time: 23.3025 s Remaining CPU time: 156.698 s c =============================================================================== c | 0 | 3496 3647 496100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17982 c Elapsed CPU time: 23.6004 s Remaining CPU time: 156.4 s c =============================================================================== c | 0 | 3496 3648 499450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17981 c Elapsed CPU time: 23.8924 s Remaining CPU time: 156.108 s c =============================================================================== c | 0 | 3496 3649 502800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17980 c Elapsed CPU time: 24.1933 s Remaining CPU time: 155.807 s c =============================================================================== c | 0 | 3496 3650 506150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17978 c Elapsed CPU time: 24.4923 s Remaining CPU time: 155.508 s c =============================================================================== c | 0 | 3496 3651 509500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17977 c Elapsed CPU time: 24.7942 s Remaining CPU time: 155.206 s c =============================================================================== c | 0 | 3496 3652 512850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17975 c Elapsed CPU time: 25.1012 s Remaining CPU time: 154.899 s c =============================================================================== c | 0 | 3496 3653 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17974 c Elapsed CPU time: 25.4081 s Remaining CPU time: 154.592 s c =============================================================================== c | 0 | 3496 3654 519550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17972 c Elapsed CPU time: 25.7201 s Remaining CPU time: 154.28 s c =============================================================================== c | 0 | 3496 3655 522900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17971 c Elapsed CPU time: 26.047 s Remaining CPU time: 153.953 s c =============================================================================== c | 0 | 3496 3656 526250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17970 c Elapsed CPU time: 26.354 s Remaining CPU time: 153.646 s c =============================================================================== c | 0 | 3496 3657 529600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17965 c Elapsed CPU time: 26.6599 s Remaining CPU time: 153.34 s c =============================================================================== c | 0 | 3496 3658 532950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17963 c Elapsed CPU time: 26.9769 s Remaining CPU time: 153.023 s c =============================================================================== c | 0 | 3496 3659 536300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17962 c Elapsed CPU time: 27.2889 s Remaining CPU time: 152.711 s c =============================================================================== c | 0 | 3496 3660 539650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17961 c Elapsed CPU time: 27.6078 s Remaining CPU time: 152.392 s c =============================================================================== c | 0 | 3496 3661 543000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17960 c Elapsed CPU time: 27.9298 s Remaining CPU time: 152.07 s c =============================================================================== c | 0 | 3496 3662 546350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17958 c Elapsed CPU time: 28.2517 s Remaining CPU time: 151.748 s c =============================================================================== c | 0 | 3496 3663 549700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17955 c Elapsed CPU time: 28.5797 s Remaining CPU time: 151.42 s c =============================================================================== c | 0 | 3496 3664 553050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17950 c Elapsed CPU time: 28.9046 s Remaining CPU time: 151.095 s c =============================================================================== c | 0 | 3496 3665 556400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17949 c Elapsed CPU time: 29.2416 s Remaining CPU time: 150.758 s c =============================================================================== c | 0 | 3496 3666 559750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17948 c Elapsed CPU time: 29.5715 s Remaining CPU time: 150.428 s c =============================================================================== c | 0 | 3496 3667 563100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17947 c Elapsed CPU time: 29.9035 s Remaining CPU time: 150.097 s c =============================================================================== c | 0 | 3496 3668 566450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17946 c Elapsed CPU time: 30.2414 s Remaining CPU time: 149.759 s c =============================================================================== c | 0 | 3496 3669 569800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17945 c Elapsed CPU time: 30.5754 s Remaining CPU time: 149.425 s c =============================================================================== c | 0 | 3496 3670 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17944 c Elapsed CPU time: 30.9063 s Remaining CPU time: 149.094 s c =============================================================================== c | 0 | 3496 3671 576500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17943 c Elapsed CPU time: 31.2462 s Remaining CPU time: 148.754 s c =============================================================================== c | 0 | 3496 3672 579850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17941 c Elapsed CPU time: 31.5802 s Remaining CPU time: 148.42 s c =============================================================================== c | 0 | 3496 3673 583200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17939 c Elapsed CPU time: 31.9141 s Remaining CPU time: 148.086 s c =============================================================================== c | 0 | 3496 3674 586550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17937 c Elapsed CPU time: 32.2451 s Remaining CPU time: 147.755 s c =============================================================================== c | 0 | 3496 3675 589900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17935 c Elapsed CPU time: 32.587 s Remaining CPU time: 147.413 s c =============================================================================== c | 0 | 3496 3676 593250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17933 c Elapsed CPU time: 32.942 s Remaining CPU time: 147.058 s c =============================================================================== c | 1 | 3496 3677 596600 | 5000 1 3310 | 0.000 % | c =============================================================================== c New solution: 17930 c Elapsed CPU time: 33.2709 s Remaining CPU time: 146.729 s c =============================================================================== c | 1 | 3496 3678 599950 | 5000 1 3310 | 0.000 % | c =============================================================================== c New solution: 17928 c Elapsed CPU time: 33.6069 s Remaining CPU time: 146.393 s c =============================================================================== c | 1 | 3496 3679 603300 | 5000 1 3310 | 0.000 % | c =============================================================================== c New solution: 17926 c Elapsed CPU time: 33.9508 s Remaining CPU time: 146.049 s c =============================================================================== c | 1 | 3496 3680 606650 | 5000 1 3310 | 0.000 % | c =============================================================================== c New solution: 17925 c Elapsed CPU time: 34.3028 s Remaining CPU time: 145.697 s c =============================================================================== c | 2 | 3496 3681 610000 | 5000 2 3309 | 0.000 % | c =============================================================================== c New solution: 17922 c Elapsed CPU time: 34.6337 s Remaining CPU time: 145.366 s c =============================================================================== c | 2 | 3496 3682 613350 | 5000 2 3309 | 0.000 % | c =============================================================================== c New solution: 17921 c Elapsed CPU time: 34.9647 s Remaining CPU time: 145.035 s c =============================================================================== c | 2 | 3496 3683 616700 | 5000 2 3309 | 0.000 % | c =============================================================================== c New solution: 17919 c Elapsed CPU time: 35.2886 s Remaining CPU time: 144.711 s c =============================================================================== c | 2 | 3496 3684 620050 | 5000 2 3309 | 0.000 % | c =============================================================================== c New solution: 17918 c Elapsed CPU time: 35.6306 s Remaining CPU time: 144.369 s c =============================================================================== c | 2 | 3496 3685 623400 | 5000 2 3309 | 0.000 % | c =============================================================================== c New solution: 17917 c Elapsed CPU time: 35.9795 s Remaining CPU time: 144.02 s c =============================================================================== c | 2 | 3496 3686 626750 | 5000 2 3309 | 0.000 % | c =============================================================================== c New solution: 17914 c Elapsed CPU time: 36.3275 s Remaining CPU time: 143.673 s c =============================================================================== c | 2 | 3496 3687 630100 | 5000 2 3309 | 0.000 % | c =============================================================================== c New solution: 17913 c Elapsed CPU time: 36.6914 s Remaining CPU time: 143.309 s c =============================================================================== c | 3 | 3496 3688 633450 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17912 c Elapsed CPU time: 37.0454 s Remaining CPU time: 142.955 s c =============================================================================== c | 3 | 3496 3689 636800 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17911 c Elapsed CPU time: 37.4053 s Remaining CPU time: 142.595 s c =============================================================================== c | 3 | 3496 3690 640150 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17909 c Elapsed CPU time: 37.7543 s Remaining CPU time: 142.246 s c =============================================================================== c | 3 | 3496 3691 643500 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17907 c Elapsed CPU time: 38.1042 s Remaining CPU time: 141.896 s c =============================================================================== c | 3 | 3496 3692 646850 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17906 c Elapsed CPU time: 38.4672 s Remaining CPU time: 141.533 s c =============================================================================== c | 3 | 3496 3693 650200 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17905 c Elapsed CPU time: 38.8111 s Remaining CPU time: 141.189 s c =============================================================================== c | 3 | 3496 3694 653550 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17904 c Elapsed CPU time: 39.167 s Remaining CPU time: 140.833 s c =============================================================================== c | 3 | 3496 3695 656900 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17903 c Elapsed CPU time: 39.541 s Remaining CPU time: 140.459 s c =============================================================================== c | 3 | 3496 3696 660250 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17902 c Elapsed CPU time: 39.9399 s Remaining CPU time: 140.06 s c =============================================================================== c | 3 | 3496 3697 663600 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17899 c Elapsed CPU time: 40.3719 s Remaining CPU time: 139.628 s c =============================================================================== c | 3 | 3496 3698 666950 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17898 c Elapsed CPU time: 40.7838 s Remaining CPU time: 139.216 s c =============================================================================== c | 3 | 3496 3699 670300 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17897 c Elapsed CPU time: 41.1937 s Remaining CPU time: 138.806 s c =============================================================================== c | 3 | 3496 3700 673650 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17896 c Elapsed CPU time: 41.5847 s Remaining CPU time: 138.415 s c =============================================================================== c | 3 | 3496 3701 677000 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17895 c Elapsed CPU time: 42.0016 s Remaining CPU time: 137.998 s c =============================================================================== c | 3 | 3496 3702 680350 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17894 c Elapsed CPU time: 42.4076 s Remaining CPU time: 137.592 s c =============================================================================== c | 3 | 3496 3703 683700 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17893 c Elapsed CPU time: 42.8155 s Remaining CPU time: 137.185 s c =============================================================================== c | 3 | 3496 3704 687050 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17891 c Elapsed CPU time: 43.2114 s Remaining CPU time: 136.789 s c =============================================================================== c | 3 | 3496 3705 690400 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17890 c Elapsed CPU time: 43.6494 s Remaining CPU time: 136.351 s c =============================================================================== c | 3 | 3496 3706 693750 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17889 c Elapsed CPU time: 44.0653 s Remaining CPU time: 135.935 s c =============================================================================== c | 3 | 3496 3707 697100 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17888 c Elapsed CPU time: 44.4802 s Remaining CPU time: 135.52 s c =============================================================================== c | 3 | 3496 3708 700450 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17887 c Elapsed CPU time: 44.8792 s Remaining CPU time: 135.121 s c =============================================================================== c | 3 | 3496 3709 703800 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17886 c Elapsed CPU time: 45.3331 s Remaining CPU time: 134.667 s c =============================================================================== c | 3 | 3496 3710 707150 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17885 c Elapsed CPU time: 45.796 s Remaining CPU time: 134.204 s c =============================================================================== c | 3 | 3496 3711 710500 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17882 c Elapsed CPU time: 46.22 s Remaining CPU time: 133.78 s c =============================================================================== c | 3 | 3496 3712 713850 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17879 c Elapsed CPU time: 46.6449 s Remaining CPU time: 133.355 s c =============================================================================== c | 3 | 3496 3713 717200 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17877 c Elapsed CPU time: 47.0618 s Remaining CPU time: 132.938 s c =============================================================================== c | 3 | 3496 3714 720550 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17876 c Elapsed CPU time: 47.4988 s Remaining CPU time: 132.501 s c =============================================================================== c | 3 | 3496 3715 723900 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17875 c Elapsed CPU time: 47.9597 s Remaining CPU time: 132.04 s c =============================================================================== c | 3 | 3496 3716 727250 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17873 c Elapsed CPU time: 48.3986 s Remaining CPU time: 131.601 s c =============================================================================== c | 3 | 3496 3717 730600 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17872 c Elapsed CPU time: 48.8336 s Remaining CPU time: 131.166 s c =============================================================================== c | 3 | 3496 3718 733950 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17871 c Elapsed CPU time: 49.2645 s Remaining CPU time: 130.735 s c =============================================================================== c | 3 | 3496 3719 737300 | 5000 3 2207 | 0.000 % | c =============================================================================== c New solution: 17869 c Elapsed CPU time: 49.6954 s Remaining CPU time: 130.305 s c =============================================================================== c | 4 | 3496 3720 740650 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17868 c Elapsed CPU time: 50.1244 s Remaining CPU time: 129.876 s c =============================================================================== c | 4 | 3496 3721 744000 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17867 c Elapsed CPU time: 50.5623 s Remaining CPU time: 129.438 s c =============================================================================== c | 4 | 3496 3722 747350 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17866 c Elapsed CPU time: 51.0392 s Remaining CPU time: 128.961 s c =============================================================================== c | 4 | 3496 3723 750700 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17865 c Elapsed CPU time: 51.5282 s Remaining CPU time: 128.472 s c =============================================================================== c | 4 | 3496 3724 754050 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17864 c Elapsed CPU time: 51.9881 s Remaining CPU time: 128.012 s c =============================================================================== c | 4 | 3496 3725 757400 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17863 c Elapsed CPU time: 52.439 s Remaining CPU time: 127.561 s c =============================================================================== c | 4 | 3496 3726 760750 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17862 c Elapsed CPU time: 52.885 s Remaining CPU time: 127.115 s c =============================================================================== c | 4 | 3496 3727 764100 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17861 c Elapsed CPU time: 53.3479 s Remaining CPU time: 126.652 s c =============================================================================== c | 4 | 3496 3728 767450 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17860 c Elapsed CPU time: 53.8098 s Remaining CPU time: 126.19 s c =============================================================================== c | 4 | 3496 3729 770800 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17859 c Elapsed CPU time: 54.2478 s Remaining CPU time: 125.752 s c =============================================================================== c | 4 | 3496 3730 774150 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17858 c Elapsed CPU time: 54.7037 s Remaining CPU time: 125.296 s c =============================================================================== c | 4 | 3496 3731 777500 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17857 c Elapsed CPU time: 55.1276 s Remaining CPU time: 124.872 s c =============================================================================== c | 4 | 3496 3732 780850 | 5000 4 2480 | 0.000 % | c =============================================================================== c New solution: 17856 c Elapsed CPU time: 55.5756 s Remaining CPU time: 124.424 s c =============================================================================== c | 5 | 3496 3733 784200 | 5000 5 2643 | 0.000 % | c =============================================================================== c New solution: 17854 c Elapsed CPU time: 56.0325 s Remaining CPU time: 123.968 s c =============================================================================== c | 5 | 3496 3734 787550 | 5000 5 2643 | 0.000 % | c =============================================================================== c New solution: 17852 c Elapsed CPU time: 56.4984 s Remaining CPU time: 123.502 s c =============================================================================== c | 5 | 3496 3735 790900 | 5000 5 2643 | 0.000 % | c =============================================================================== c New solution: 17850 c Elapsed CPU time: 56.9903 s Remaining CPU time: 123.01 s c =============================================================================== c | 5 | 3496 3736 794250 | 5000 5 2643 | 0.000 % | c =============================================================================== c New solution: 17849 c Elapsed CPU time: 57.4753 s Remaining CPU time: 122.525 s c =============================================================================== c | 6 | 3496 3737 797600 | 5000 6 2752 | 0.000 % | c =============================================================================== c New solution: 17848 c Elapsed CPU time: 57.9452 s Remaining CPU time: 122.055 s c =============================================================================== c | 6 | 3496 3738 800950 | 5000 6 2752 | 0.000 % | c =============================================================================== c New solution: 17846 c Elapsed CPU time: 58.4031 s Remaining CPU time: 121.597 s c =============================================================================== c | 9 | 3496 3739 804300 | 5000 9 2933 | 0.000 % | c =============================================================================== c New solution: 17845 c Elapsed CPU time: 58.956 s Remaining CPU time: 121.044 s c =============================================================================== c | 9 | 3496 3740 807650 | 5000 9 2933 | 0.000 % | c =============================================================================== c New solution: 17844 c Elapsed CPU time: 59.456 s Remaining CPU time: 120.544 s c =============================================================================== c | 14 | 3496 3741 811000 | 5000 14 3063 | 0.000 % | c =============================================================================== c New solution: 17843 c Elapsed CPU time: 59.9029 s Remaining CPU time: 120.097 s c =============================================================================== c | 14 | 3496 3742 814350 | 5000 14 3063 | 0.000 % | c =============================================================================== c New solution: 17842 c Elapsed CPU time: 60.3858 s Remaining CPU time: 119.614 s c =============================================================================== c | 14 | 3496 3743 817700 | 5000 14 3063 | 0.000 % | c =============================================================================== c New solution: 17840 c Elapsed CPU time: 60.8887 s Remaining CPU time: 119.111 s c =============================================================================== c | 14 | 3496 3744 821050 | 5000 14 3063 | 0.000 % | c =============================================================================== c New solution: 17839 c Elapsed CPU time: 61.3677 s Remaining CPU time: 118.632 s c =============================================================================== c | 14 | 3496 3745 824400 | 5000 14 3063 | 0.000 % | c =============================================================================== c New solution: 17838 c Elapsed CPU time: 61.8376 s Remaining CPU time: 118.162 s c =============================================================================== c | 14 | 3496 3746 827750 | 5000 14 3063 | 0.000 % | c =============================================================================== c New solution: 17837 c Elapsed CPU time: 62.3495 s Remaining CPU time: 117.65 s c =============================================================================== c | 14 | 3496 3747 831100 | 5000 14 3063 | 0.000 % | c =============================================================================== c New solution: 17836 c Elapsed CPU time: 62.8334 s Remaining CPU time: 117.167 s c =============================================================================== c | 16 | 3496 3748 834450 | 5000 16 3091 | 0.000 % | c =============================================================================== c New solution: 17835 c Elapsed CPU time: 63.3104 s Remaining CPU time: 116.69 s c =============================================================================== c | 16 | 3496 3749 837800 | 5000 16 3091 | 0.000 % | c =============================================================================== c New solution: 17834 c Elapsed CPU time: 63.8473 s Remaining CPU time: 116.153 s c =============================================================================== c | 16 | 3496 3750 841150 | 5000 16 3091 | 0.000 % | c =============================================================================== c New solution: 17833 c Elapsed CPU time: 64.4122 s Remaining CPU time: 115.588 s c =============================================================================== c | 17 | 3496 3751 844500 | 5000 17 3103 | 0.000 % | c =============================================================================== c New solution: 17832 c Elapsed CPU time: 64.9261 s Remaining CPU time: 115.074 s c =============================================================================== c | 18 | 3496 3752 847850 | 5000 18 3114 | 0.000 % | c =============================================================================== c New solution: 17831 c Elapsed CPU time: 65.4331 s Remaining CPU time: 114.567 s c =============================================================================== c | 18 | 3496 3753 851200 | 5000 18 3114 | 0.000 % | c =============================================================================== c New solution: 17830 c Elapsed CPU time: 65.963 s Remaining CPU time: 114.037 s c =============================================================================== c | 18 | 3496 3754 854550 | 5000 18 3114 | 0.000 % | c =============================================================================== c New solution: 17829 c Elapsed CPU time: 66.4779 s Remaining CPU time: 113.522 s c =============================================================================== c | 18 | 3496 3755 857900 | 5000 18 3114 | 0.000 % | c =============================================================================== c New solution: 17828 c Elapsed CPU time: 67.0228 s Remaining CPU time: 112.977 s c =============================================================================== c | 18 | 3496 3756 861250 | 5000 18 3114 | 0.000 % | c =============================================================================== c New solution: 17827 c Elapsed CPU time: 67.5397 s Remaining CPU time: 112.46 s c =============================================================================== c | 20 | 3496 3757 864600 | 5000 20 3131 | 0.000 % | c =============================================================================== c New solution: 17826 c Elapsed CPU time: 68.0657 s Remaining CPU time: 111.934 s c =============================================================================== c | 20 | 3496 3758 867950 | 5000 20 3131 | 0.000 % | c =============================================================================== c New solution: 17825 c Elapsed CPU time: 68.5356 s Remaining CPU time: 111.464 s c =============================================================================== c | 21 | 3496 3759 871300 | 5000 21 3138 | 0.000 % | c =============================================================================== c New solution: 17824 c Elapsed CPU time: 69.0385 s Remaining CPU time: 110.961 s c =============================================================================== c | 21 | 3496 3760 874650 | 5000 21 3138 | 0.000 % | c =============================================================================== c New solution: 17823 c Elapsed CPU time: 69.5924 s Remaining CPU time: 110.408 s c =============================================================================== c | 21 | 3496 3761 878000 | 5000 21 3138 | 0.000 % | c =============================================================================== c New solution: 17822 c Elapsed CPU time: 70.1103 s Remaining CPU time: 109.89 s c =============================================================================== c | 26 | 3496 3762 881350 | 5000 26 3167 | 0.000 % | c =============================================================================== c New solution: 17821 c Elapsed CPU time: 70.5903 s Remaining CPU time: 109.41 s c =============================================================================== c | 26 | 3496 3763 884700 | 5000 26 3167 | 0.000 % | c =============================================================================== c New solution: 17820 c Elapsed CPU time: 71.1192 s Remaining CPU time: 108.881 s c =============================================================================== c | 26 | 3496 3764 888050 | 5000 26 3167 | 0.000 % | c =============================================================================== c New solution: 17819 c Elapsed CPU time: 71.6281 s Remaining CPU time: 108.372 s c =============================================================================== c | 26 | 3496 3765 891400 | 5000 26 3167 | 0.000 % | c =============================================================================== c New solution: 17818 c Elapsed CPU time: 72.161 s Remaining CPU time: 107.839 s c =============================================================================== c | 26 | 3496 3766 894750 | 5000 26 3167 | 0.000 % | c =============================================================================== c New solution: 17817 c Elapsed CPU time: 72.649 s Remaining CPU time: 107.351 s c =============================================================================== c | 26 | 3496 3767 898100 | 5000 26 3167 | 0.000 % | c =============================================================================== c New solution: 17816 c Elapsed CPU time: 73.1429 s Remaining CPU time: 106.857 s c =============================================================================== c | 28 | 3496 3768 901450 | 5000 28 3176 | 0.000 % | c =============================================================================== c New solution: 17815 c Elapsed CPU time: 73.6668 s Remaining CPU time: 106.333 s c =============================================================================== c | 28 | 3496 3769 904800 | 5000 28 3176 | 0.000 % | c =============================================================================== c New solution: 17814 c Elapsed CPU time: 74.1687 s Remaining CPU time: 105.831 s c =============================================================================== c | 29 | 3496 3770 908150 | 5000 29 3179 | 0.000 % | c =============================================================================== c New solution: 17813 c Elapsed CPU time: 74.7056 s Remaining CPU time: 105.294 s c =============================================================================== c | 29 | 3496 3771 911500 | 5000 29 3179 | 0.000 % | c =============================================================================== c New solution: 17812 c Elapsed CPU time: 75.2146 s Remaining CPU time: 104.785 s c =============================================================================== c | 29 | 3496 3772 914850 | 5000 29 3179 | 0.000 % | c =============================================================================== c New solution: 17811 c Elapsed CPU time: 75.7655 s Remaining CPU time: 104.235 s c =============================================================================== c | 29 | 3496 3773 918200 | 5000 29 3179 | 0.000 % | c =============================================================================== c New solution: 17810 c Elapsed CPU time: 76.2924 s Remaining CPU time: 103.708 s c =============================================================================== c | 29 | 3496 3774 921550 | 5000 29 3179 | 0.000 % | c =============================================================================== c New solution: 17809 c Elapsed CPU time: 76.8663 s Remaining CPU time: 103.134 s c =============================================================================== c | 30 | 3496 3775 924900 | 5000 30 3183 | 0.000 % | c =============================================================================== c New solution: 17808 c Elapsed CPU time: 77.4072 s Remaining CPU time: 102.593 s c =============================================================================== c | 30 | 3496 3776 928250 | 5000 30 3183 | 0.000 % | c =============================================================================== c New solution: 17807 c Elapsed CPU time: 77.9511 s Remaining CPU time: 102.049 s c =============================================================================== c | 31 | 3496 3777 931600 | 5000 31 3186 | 0.000 % | c =============================================================================== c New solution: 17806 c Elapsed CPU time: 78.4731 s Remaining CPU time: 101.527 s c =============================================================================== c | 33 | 3496 3778 934950 | 5000 33 3192 | 0.000 % | c =============================================================================== c New solution: 17805 c Elapsed CPU time: 79.017 s Remaining CPU time: 100.983 s c =============================================================================== c | 33 | 3496 3779 938300 | 5000 33 3192 | 0.000 % | c =============================================================================== c New solution: 17804 c Elapsed CPU time: 79.5549 s Remaining CPU time: 100.445 s c =============================================================================== c | 33 | 3496 3780 941650 | 5000 33 3192 | 0.000 % | c =============================================================================== c New solution: 17803 c Elapsed CPU time: 80.0868 s Remaining CPU time: 99.9132 s c =============================================================================== c | 33 | 3496 3781 945000 | 5000 33 3192 | 0.000 % | c =============================================================================== c New solution: 17802 c Elapsed CPU time: 80.6417 s Remaining CPU time: 99.3583 s c =============================================================================== c | 33 | 3496 3782 948350 | 5000 33 3192 | 0.000 % | c =============================================================================== c New solution: 17801 c Elapsed CPU time: 81.2496 s Remaining CPU time: 98.7504 s c =============================================================================== c | 33 | 3496 3783 951700 | 5000 33 3192 | 0.000 % | c =============================================================================== c New solution: 17800 c Elapsed CPU time: 81.8666 s Remaining CPU time: 98.1334 s c =============================================================================== c | 33 | 3496 3784 955050 | 5000 33 3192 | 0.000 % | c =============================================================================== c New solution: 17799 c Elapsed CPU time: 82.4905 s Remaining CPU time: 97.5095 s c =============================================================================== c | 59 | 3496 3785 958400 | 5000 59 3233 | 0.000 % | c =============================================================================== c New solution: 17798 c Elapsed CPU time: 83.0844 s Remaining CPU time: 96.9156 s c =============================================================================== c | 78 | 3496 3786 961750 | 5000 78 3245 | 0.000 % | c =============================================================================== c New solution: 17797 c Elapsed CPU time: 83.6723 s Remaining CPU time: 96.3277 s c =============================================================================== c | 82 | 3496 3787 965100 | 5000 82 3247 | 0.000 % | c =============================================================================== c New solution: 17796 c Elapsed CPU time: 84.2562 s Remaining CPU time: 95.7438 s c =============================================================================== c | 87 | 3496 3788 968450 | 5000 87 3249 | 0.000 % | c =============================================================================== c New solution: 17795 c Elapsed CPU time: 84.8421 s Remaining CPU time: 95.1579 s c =============================================================================== c | 92 | 3496 3789 971800 | 5000 92 3251 | 0.000 % | c =============================================================================== c New solution: 17794 c Elapsed CPU time: 85.401 s Remaining CPU time: 94.599 s c =============================================================================== c | 106 | 3496 3790 975150 | 5000 106 3255 | 0.000 % | c =============================================================================== c New solution: 17793 c Elapsed CPU time: 86.0309 s Remaining CPU time: 93.9691 s c =============================================================================== c | 119 | 3496 3791 978500 | 5000 119 3258 | 0.000 % | c =============================================================================== c New solution: 17792 c Elapsed CPU time: 86.5938 s Remaining CPU time: 93.4062 s c =============================================================================== c | 124 | 3496 3792 981850 | 5000 124 3259 | 0.000 % | c =============================================================================== c New solution: 17791 c Elapsed CPU time: 87.1258 s Remaining CPU time: 92.8742 s c =============================================================================== c | 124 | 3496 3793 985200 | 5000 124 3259 | 0.000 % | c =============================================================================== c New solution: 17790 c Elapsed CPU time: 87.7427 s Remaining CPU time: 92.2573 s c =============================================================================== c | 128 | 3496 3794 988550 | 5000 128 3260 | 0.000 % | c =============================================================================== c New solution: 17789 c Elapsed CPU time: 88.3566 s Remaining CPU time: 91.6434 s c =============================================================================== c | 129 | 3496 3795 991900 | 5000 129 3260 | 0.000 % | c =============================================================================== c New solution: 17788 c Elapsed CPU time: 89.0105 s Remaining CPU time: 90.9895 s c =============================================================================== c | 135 | 3496 3796 995250 | 5000 135 3261 | 0.000 % | c =============================================================================== c New solution: 17787 c Elapsed CPU time: 89.6594 s Remaining CPU time: 90.3406 s c =============================================================================== c | 144 | 3496 3797 998600 | 5000 144 3262 | 0.000 % | c =============================================================================== c New solution: 17786 c Elapsed CPU time: 90.2543 s Remaining CPU time: 89.7457 s c =============================================================================== c | 145 | 3496 3798 1001950 | 5000 145 3262 | 0.000 % | c =============================================================================== c New solution: 17785 c Elapsed CPU time: 90.8352 s Remaining CPU time: 89.1648 s c =============================================================================== c | 145 | 3496 3799 1005300 | 5000 145 3262 | 0.000 % | c =============================================================================== c New solution: 17784 c Elapsed CPU time: 91.4621 s Remaining CPU time: 88.5379 s c =============================================================================== c | 146 | 3496 3800 1008650 | 5000 146 3262 | 0.000 % | c =============================================================================== c New solution: 17783 c Elapsed CPU time: 92.056 s Remaining CPU time: 87.944 s c =============================================================================== c | 146 | 3496 3801 1012000 | 5000 146 3262 | 0.000 % | c =============================================================================== c New solution: 17782 c Elapsed CPU time: 92.6179 s Remaining CPU time: 87.3821 s c =============================================================================== c | 146 | 3496 3802 1015350 | 5000 146 3262 | 0.000 % | c =============================================================================== c New solution: 17781 c Elapsed CPU time: 93.1708 s Remaining CPU time: 86.8292 s c =============================================================================== c | 146 | 3496 3803 1018700 | 5000 146 3262 | 0.000 % | c =============================================================================== c New solution: 17780 c Elapsed CPU time: 93.7737 s Remaining CPU time: 86.2263 s c =============================================================================== c | 147 | 3496 3804 1022050 | 5000 147 3262 | 0.000 % | c =============================================================================== c New solution: 17779 c Elapsed CPU time: 94.3857 s Remaining CPU time: 85.6143 s c =============================================================================== c | 149 | 3496 3805 1025400 | 5000 149 3263 | 0.000 % | c =============================================================================== c New solution: 17778 c Elapsed CPU time: 95.0875 s Remaining CPU time: 84.9125 s c =============================================================================== c | 160 | 3496 3806 1028750 | 5000 160 3264 | 0.000 % | c =============================================================================== c New solution: 17777 c Elapsed CPU time: 95.7294 s Remaining CPU time: 84.2706 s c =============================================================================== c | 162 | 3496 3807 1032100 | 5000 162 3264 | 0.000 % | c =============================================================================== c New solution: 17776 c Elapsed CPU time: 96.5283 s Remaining CPU time: 83.4717 s c =============================================================================== c | 175 | 3496 3808 1035450 | 5000 175 3265 | 0.000 % | c =============================================================================== c New solution: 17775 c Elapsed CPU time: 97.2332 s Remaining CPU time: 82.7668 s c =============================================================================== c | 190 | 3496 3809 1038800 | 5000 190 3267 | 0.000 % | c =============================================================================== c New solution: 17774 c Elapsed CPU time: 97.8521 s Remaining CPU time: 82.1479 s c =============================================================================== c | 191 | 3496 3810 1042150 | 5000 191 3267 | 0.000 % | c =============================================================================== c New solution: 17773 c Elapsed CPU time: 98.461 s Remaining CPU time: 81.539 s c =============================================================================== c | 191 | 3496 3811 1045500 | 5000 191 3267 | 0.000 % | c =============================================================================== c New solution: 17772 c Elapsed CPU time: 99.1149 s Remaining CPU time: 80.8851 s c =============================================================================== c | 192 | 3496 3812 1048850 | 5000 192 3267 | 0.000 % | c =============================================================================== c New solution: 17771 c Elapsed CPU time: 99.8068 s Remaining CPU time: 80.1932 s c =============================================================================== c | 213 | 3496 3813 1052200 | 5000 213 3268 | 0.000 % | c =============================================================================== c New solution: 17770 c Elapsed CPU time: 100.453 s Remaining CPU time: 79.5473 s c =============================================================================== c | 214 | 3496 3814 1055550 | 5000 214 3268 | 0.000 % | c =============================================================================== c New solution: 17769 c Elapsed CPU time: 101.048 s Remaining CPU time: 78.9524 s c =============================================================================== c | 215 | 3496 3815 1058900 | 5000 215 3268 | 0.000 % | c =============================================================================== c New solution: 17768 c Elapsed CPU time: 101.701 s Remaining CPU time: 78.2995 s c =============================================================================== c | 217 | 3496 3816 1062250 | 5000 217 3253 | 0.000 % | c =============================================================================== c New solution: 17767 c Elapsed CPU time: 102.343 s Remaining CPU time: 77.6566 s c =============================================================================== c | 219 | 3496 3817 1065600 | 5000 219 3254 | 0.000 % | c =============================================================================== c New solution: 17766 c Elapsed CPU time: 102.987 s Remaining CPU time: 77.0127 s c =============================================================================== c | 219 | 3496 3818 1068950 | 5000 219 3254 | 0.000 % | c =============================================================================== c New solution: 17765 c Elapsed CPU time: 103.678 s Remaining CPU time: 76.3218 s c =============================================================================== c | 236 | 3496 3819 1072300 | 5000 236 3255 | 0.000 % | c =============================================================================== c New solution: 17764 c Elapsed CPU time: 104.305 s Remaining CPU time: 75.6949 s c =============================================================================== c | 236 | 3496 3820 1075650 | 5000 236 3255 | 0.000 % | c =============================================================================== c New solution: 17763 c Elapsed CPU time: 104.944 s Remaining CPU time: 75.056 s c =============================================================================== c | 237 | 3496 3821 1079000 | 5000 237 3256 | 0.000 % | c =============================================================================== c New solution: 17762 c Elapsed CPU time: 105.532 s Remaining CPU time: 74.468 s c =============================================================================== c | 237 | 3496 3822 1082350 | 5000 237 3256 | 0.000 % | c =============================================================================== c New solution: 17761 c Elapsed CPU time: 106.197 s Remaining CPU time: 73.8031 s c =============================================================================== c | 239 | 3496 3823 1085700 | 5000 239 3256 | 0.000 % | c =============================================================================== c New solution: 17760 c Elapsed CPU time: 106.819 s Remaining CPU time: 73.1812 s c =============================================================================== c | 239 | 3496 3824 1089050 | 5000 239 3256 | 0.000 % | c =============================================================================== c New solution: 17759 c Elapsed CPU time: 107.48 s Remaining CPU time: 72.5203 s c =============================================================================== c | 262 | 3496 3825 1092400 | 5000 262 3258 | 0.000 % | c =============================================================================== c New solution: 17758 c Elapsed CPU time: 108.127 s Remaining CPU time: 71.8734 s c =============================================================================== c | 276 | 3496 3826 1095750 | 5000 276 3259 | 0.000 % | c =============================================================================== c New solution: 17757 c Elapsed CPU time: 108.794 s Remaining CPU time: 71.2055 s c =============================================================================== c | 276 | 3496 3827 1099100 | 5000 276 3259 | 0.000 % | c =============================================================================== c New solution: 17756 c Elapsed CPU time: 109.576 s Remaining CPU time: 70.4237 s c =============================================================================== c | 285 | 3496 3828 1102450 | 5000 285 3259 | 0.000 % | c =============================================================================== c New solution: 17755 c Elapsed CPU time: 110.237 s Remaining CPU time: 69.7628 s c =============================================================================== c | 286 | 3496 3829 1105800 | 5000 286 3259 | 0.000 % | c =============================================================================== c New solution: 17754 c Elapsed CPU time: 110.876 s Remaining CPU time: 69.1239 s c =============================================================================== c | 286 | 3496 3830 1109150 | 5000 286 3259 | 0.000 % | c =============================================================================== c New solution: 17753 c Elapsed CPU time: 111.516 s Remaining CPU time: 68.484 s c =============================================================================== c | 286 | 3496 3831 1112500 | 5000 286 3259 | 0.000 % | c =============================================================================== c New solution: 17752 c Elapsed CPU time: 112.155 s Remaining CPU time: 67.8451 s c =============================================================================== c | 286 | 3496 3832 1115850 | 5000 286 3259 | 0.000 % | c =============================================================================== c New solution: 17751 c Elapsed CPU time: 112.809 s Remaining CPU time: 67.1911 s c =============================================================================== c | 286 | 3496 3833 1119200 | 5000 286 3259 | 0.000 % | c =============================================================================== c New solution: 17750 c Elapsed CPU time: 113.447 s Remaining CPU time: 66.5532 s c =============================================================================== c | 286 | 3496 3834 1122550 | 5000 286 3259 | 0.000 % | c =============================================================================== c New solution: 17749 c Elapsed CPU time: 114.039 s Remaining CPU time: 65.9613 s c =============================================================================== c | 292 | 3496 3835 1125900 | 5000 292 3260 | 0.000 % | c =============================================================================== c New solution: 17748 c Elapsed CPU time: 114.663 s Remaining CPU time: 65.3374 s c =============================================================================== c | 292 | 3496 3836 1129250 | 5000 292 3260 | 0.000 % | c =============================================================================== c New solution: 17747 c Elapsed CPU time: 115.337 s Remaining CPU time: 64.6625 s c =============================================================================== c | 293 | 3496 3837 1132600 | 5000 293 3260 | 0.000 % | c =============================================================================== c New solution: 17746 c Elapsed CPU time: 116.06 s Remaining CPU time: 63.9396 s c =============================================================================== c | 296 | 3496 3838 1135950 | 5000 296 3260 | 0.000 % | c =============================================================================== c New solution: 17745 c Elapsed CPU time: 116.742 s Remaining CPU time: 63.2577 s c =============================================================================== c | 296 | 3496 3839 1139300 | 5000 296 3260 | 0.000 % | c =============================================================================== c New solution: 17744 c Elapsed CPU time: 117.402 s Remaining CPU time: 62.5978 s c =============================================================================== c | 296 | 3496 3840 1142650 | 5000 296 3260 | 0.000 % | c =============================================================================== c New solution: 17743 c Elapsed CPU time: 118.117 s Remaining CPU time: 61.883 s c =============================================================================== c | 298 | 3496 3841 1146000 | 5000 298 3260 | 0.000 % | c =============================================================================== c New solution: 17742 c Elapsed CPU time: 118.875 s Remaining CPU time: 61.1251 s c =============================================================================== c | 309 | 3496 3842 1149350 | 5000 309 3261 | 0.000 % | c =============================================================================== c New solution: 17741 c Elapsed CPU time: 119.526 s Remaining CPU time: 60.4742 s c =============================================================================== c | 316 | 3496 3843 1152700 | 5000 316 3261 | 0.000 % | c =============================================================================== c New solution: 17740 c Elapsed CPU time: 120.231 s Remaining CPU time: 59.7693 s c =============================================================================== c | 316 | 3496 3844 1156050 | 5000 316 3261 | 0.000 % | c =============================================================================== c New solution: 17739 c Elapsed CPU time: 120.93 s Remaining CPU time: 59.0704 s c =============================================================================== c | 319 | 3496 3845 1159400 | 5000 319 3251 | 0.000 % | c =============================================================================== c New solution: 17738 c Elapsed CPU time: 121.607 s Remaining CPU time: 58.3935 s c =============================================================================== c | 319 | 3496 3846 1162750 | 5000 319 3251 | 0.000 % | c =============================================================================== c New solution: 17737 c Elapsed CPU time: 122.294 s Remaining CPU time: 57.7056 s c =============================================================================== c | 320 | 3496 3847 1166100 | 5000 320 3251 | 0.000 % | c =============================================================================== c New solution: 17736 c Elapsed CPU time: 123.059 s Remaining CPU time: 56.9407 s c =============================================================================== c | 321 | 3496 3848 1169450 | 5000 321 3251 | 0.000 % | c =============================================================================== c New solution: 17735 c Elapsed CPU time: 123.746 s Remaining CPU time: 56.2538 s c =============================================================================== c | 323 | 3496 3849 1172800 | 5000 323 3251 | 0.000 % | c =============================================================================== c New solution: 17734 c Elapsed CPU time: 124.396 s Remaining CPU time: 55.6039 s c =============================================================================== c | 323 | 3496 3850 1176150 | 5000 323 3251 | 0.000 % | c =============================================================================== c New solution: 17733 c Elapsed CPU time: 125.068 s Remaining CPU time: 54.932 s c =============================================================================== c | 323 | 3496 3851 1179500 | 5000 323 3251 | 0.000 % | c =============================================================================== c New solution: 17732 c Elapsed CPU time: 125.784 s Remaining CPU time: 54.2161 s c =============================================================================== c | 324 | 3496 3852 1182850 | 5000 324 3251 | 0.000 % | c =============================================================================== c New solution: 17731 c Elapsed CPU time: 126.524 s Remaining CPU time: 53.4762 s c =============================================================================== c | 333 | 3496 3853 1186200 | 5000 333 3252 | 0.000 % | c =============================================================================== c New solution: 17730 c Elapsed CPU time: 127.258 s Remaining CPU time: 52.7423 s c =============================================================================== c | 333 | 3496 3854 1189550 | 5000 333 3252 | 0.000 % | c =============================================================================== c New solution: 17729 c Elapsed CPU time: 128.008 s Remaining CPU time: 51.9925 s c =============================================================================== c | 335 | 3496 3855 1192900 | 5000 335 3252 | 0.000 % | c =============================================================================== c New solution: 17728 c Elapsed CPU time: 128.732 s Remaining CPU time: 51.2676 s c =============================================================================== c | 335 | 3496 3856 1196250 | 5000 335 3252 | 0.000 % | c =============================================================================== c New solution: 17727 c Elapsed CPU time: 129.564 s Remaining CPU time: 50.4357 s c =============================================================================== c | 346 | 3496 3857 1199600 | 5000 346 3252 | 0.000 % | c =============================================================================== c New solution: 17726 c Elapsed CPU time: 130.255 s Remaining CPU time: 49.7448 s c =============================================================================== c | 346 | 3496 3858 1202950 | 5000 346 3252 | 0.000 % | c =============================================================================== c New solution: 17725 c Elapsed CPU time: 130.933 s Remaining CPU time: 49.0669 s c =============================================================================== c | 346 | 3496 3859 1206300 | 5000 346 3252 | 0.000 % | c =============================================================================== c New solution: 17724 c Elapsed CPU time: 131.64 s Remaining CPU time: 48.36 s c =============================================================================== c | 351 | 3496 3860 1209650 | 5000 351 3253 | 0.000 % | c =============================================================================== c New solution: 17723 c Elapsed CPU time: 132.41 s Remaining CPU time: 47.5901 s c =============================================================================== c | 368 | 3496 3861 1213000 | 5000 368 3253 | 0.000 % | c =============================================================================== c New solution: 17722 c Elapsed CPU time: 133.22 s Remaining CPU time: 46.7803 s c =============================================================================== c | 370 | 3496 3862 1216350 | 5000 370 3254 | 0.000 % | c =============================================================================== c New solution: 17721 c Elapsed CPU time: 134.036 s Remaining CPU time: 45.9644 s c =============================================================================== c | 371 | 3496 3863 1219700 | 5000 371 3254 | 0.000 % | c =============================================================================== c New solution: 17720 c Elapsed CPU time: 134.79 s Remaining CPU time: 45.2105 s c =============================================================================== c | 375 | 3496 3864 1223050 | 5000 375 3254 | 0.000 % | c =============================================================================== c New solution: 17719 c Elapsed CPU time: 135.526 s Remaining CPU time: 44.4736 s c =============================================================================== c | 375 | 3496 3865 1226400 | 5000 375 3254 | 0.000 % | c =============================================================================== c New solution: 17718 c Elapsed CPU time: 136.324 s Remaining CPU time: 43.6757 s c =============================================================================== c | 379 | 3496 3866 1229750 | 5000 379 3254 | 0.000 % | c =============================================================================== c New solution: 17717 c Elapsed CPU time: 137.208 s Remaining CPU time: 42.7919 s c =============================================================================== c | 400 | 3496 3867 1233100 | 5000 400 3255 | 0.000 % | c =============================================================================== c New solution: 17716 c Elapsed CPU time: 138.153 s Remaining CPU time: 41.847 s c =============================================================================== c | 443 | 3496 3868 1236450 | 5000 443 3256 | 0.000 % | c =============================================================================== c New solution: 17715 c Elapsed CPU time: 138.976 s Remaining CPU time: 41.0241 s c =============================================================================== c | 450 | 3496 3869 1239800 | 5000 450 3256 | 0.000 % | c =============================================================================== c New solution: 17714 c Elapsed CPU time: 139.73 s Remaining CPU time: 40.2702 s c =============================================================================== c | 474 | 3496 3870 1243150 | 5000 474 3257 | 0.000 % | c =============================================================================== c New solution: 17713 c Elapsed CPU time: 140.557 s Remaining CPU time: 39.4434 s c =============================================================================== c | 500 | 3496 3871 1246500 | 5000 500 3257 | 0.000 % | c =============================================================================== c New solution: 17712 c Elapsed CPU time: 141.428 s Remaining CPU time: 38.5715 s c =============================================================================== c | 508 | 3496 3872 1249850 | 5000 508 3258 | 0.000 % | c =============================================================================== c New solution: 17711 c Elapsed CPU time: 142.18 s Remaining CPU time: 37.8196 s c =============================================================================== c | 511 | 3496 3873 1253200 | 5000 511 3258 | 0.000 % | c =============================================================================== c New solution: 17710 c Elapsed CPU time: 143.01 s Remaining CPU time: 36.9897 s c =============================================================================== c | 513 | 3496 3874 1256550 | 5000 513 3258 | 0.000 % | c =============================================================================== c New solution: 17709 c Elapsed CPU time: 143.81 s Remaining CPU time: 36.1899 s c =============================================================================== c | 516 | 3496 3875 1259900 | 5000 516 3258 | 0.000 % | c =============================================================================== c New solution: 17708 c Elapsed CPU time: 144.702 s Remaining CPU time: 35.298 s c =============================================================================== c | 520 | 3496 3876 1263250 | 5000 520 3258 | 0.000 % | c =============================================================================== c New solution: 17707 c Elapsed CPU time: 145.594 s Remaining CPU time: 34.4061 s c =============================================================================== c | 548 | 3496 3877 1266600 | 5000 548 3258 | 0.000 % | c =============================================================================== c New solution: 17706 c Elapsed CPU time: 146.383 s Remaining CPU time: 33.6173 s c =============================================================================== c | 548 | 3496 3878 1269950 | 5000 548 3258 | 0.000 % | c =============================================================================== c New solution: 17705 c Elapsed CPU time: 147.349 s Remaining CPU time: 32.6514 s c =============================================================================== c | 555 | 3496 3879 1273300 | 5000 555 3259 | 0.000 % | c =============================================================================== c New solution: 17704 c Elapsed CPU time: 148.176 s Remaining CPU time: 31.8235 s c =============================================================================== c | 557 | 3496 3880 1276650 | 5000 557 3259 | 0.000 % | c =============================================================================== c New solution: 17703 c Elapsed CPU time: 149.013 s Remaining CPU time: 30.9867 s c =============================================================================== c | 564 | 3496 3881 1280000 | 5000 564 3259 | 0.000 % | c =============================================================================== c New solution: 17702 c Elapsed CPU time: 149.769 s Remaining CPU time: 30.2308 s c =============================================================================== c | 567 | 3496 3882 1283350 | 5000 567 3259 | 0.000 % | c =============================================================================== c New solution: 17701 c Elapsed CPU time: 150.539 s Remaining CPU time: 29.4609 s c =============================================================================== c | 567 | 3496 3883 1286700 | 5000 567 3259 | 0.000 % | c =============================================================================== c New solution: 17700 c Elapsed CPU time: 151.298 s Remaining CPU time: 28.702 s c =============================================================================== c | 567 | 3496 3884 1290050 | 5000 567 3259 | 0.000 % | c =============================================================================== c New solution: 17699 c Elapsed CPU time: 152.028 s Remaining CPU time: 27.9721 s c =============================================================================== c | 570 | 3496 3885 1293400 | 5000 570 3259 | 0.000 % | c =============================================================================== c New solution: 17698 c Elapsed CPU time: 152.85 s Remaining CPU time: 27.1502 s c =============================================================================== c | 574 | 3496 3886 1296750 | 5000 574 3259 | 0.000 % | c =============================================================================== c New solution: 17697 c Elapsed CPU time: 153.624 s Remaining CPU time: 26.3764 s c =============================================================================== c | 574 | 3496 3887 1300100 | 5000 574 3259 | 0.000 % | c =============================================================================== c New solution: 17696 c Elapsed CPU time: 154.453 s Remaining CPU time: 25.5475 s c =============================================================================== c | 575 | 3496 3888 1303450 | 5000 575 3259 | 0.000 % | c =============================================================================== c New solution: 17695 c Elapsed CPU time: 155.383 s Remaining CPU time: 24.6166 s c =============================================================================== c | 581 | 3496 3889 1306800 | 5000 581 3259 | 0.000 % | c =============================================================================== c New solution: 17694 c Elapsed CPU time: 156.202 s Remaining CPU time: 23.7977 s c =============================================================================== c | 582 | 3496 3890 1310150 | 5000 582 3259 | 0.000 % | c =============================================================================== c New solution: 17693 c Elapsed CPU time: 156.96 s Remaining CPU time: 23.0399 s c =============================================================================== c | 582 | 3496 3891 1313500 | 5000 582 3259 | 0.000 % | c =============================================================================== c New solution: 17692 c Elapsed CPU time: 157.868 s Remaining CPU time: 22.132 s c =============================================================================== c | 599 | 3496 3892 1316850 | 5000 599 3259 | 0.000 % | c =============================================================================== c New solution: 17691 c Elapsed CPU time: 158.734 s Remaining CPU time: 21.2661 s c =============================================================================== c | 610 | 3496 3893 1320200 | 5000 610 3259 | 0.000 % | c =============================================================================== c New solution: 17690 c Elapsed CPU time: 159.572 s Remaining CPU time: 20.4283 s c =============================================================================== c | 610 | 3496 3894 1323550 | 5000 610 3259 | 0.000 % | c =============================================================================== c New solution: 17689 c Elapsed CPU time: 160.38 s Remaining CPU time: 19.6204 s c =============================================================================== c | 617 | 3496 3895 1326900 | 5000 617 3259 | 0.000 % | c =============================================================================== c New solution: 17688 c Elapsed CPU time: 161.182 s Remaining CPU time: 18.8175 s c =============================================================================== c | 619 | 3496 3896 1330250 | 5000 619 3259 | 0.000 % | c =============================================================================== c New solution: 17687 c Elapsed CPU time: 161.933 s Remaining CPU time: 18.0666 s c =============================================================================== c | 619 | 3496 3897 1333600 | 5000 619 3259 | 0.000 % | c =============================================================================== c New solution: 17686 c Elapsed CPU time: 162.732 s Remaining CPU time: 17.2677 s c =============================================================================== c | 620 | 3496 3898 1336950 | 5000 620 3259 | 0.000 % | c =============================================================================== c New solution: 17685 c Elapsed CPU time: 163.581 s Remaining CPU time: 16.4189 s c =============================================================================== c | 623 | 3496 3899 1340300 | 5000 623 3259 | 0.000 % | c =============================================================================== c New solution: 17684 c Elapsed CPU time: 164.587 s Remaining CPU time: 15.413 s c =============================================================================== c | 635 | 3496 3900 1343650 | 5000 635 3259 | 0.000 % | c =============================================================================== c New solution: 17683 c Elapsed CPU time: 165.447 s Remaining CPU time: 14.5532 s c =============================================================================== c | 641 | 3496 3901 1347000 | 5000 641 3259 | 0.000 % | c =============================================================================== c New solution: 17682 c Elapsed CPU time: 166.444 s Remaining CPU time: 13.5563 s c =============================================================================== c | 643 | 3496 3902 1350350 | 5000 643 3259 | 0.000 % | c =============================================================================== c New solution: 17681 c Elapsed CPU time: 167.385 s Remaining CPU time: 12.6154 s c =============================================================================== c | 659 | 3496 3903 1353700 | 5000 659 3260 | 0.000 % | c =============================================================================== c New solution: 17680 c Elapsed CPU time: 168.308 s Remaining CPU time: 11.6916 s c =============================================================================== c | 660 | 3496 3904 1357050 | 5000 660 3260 | 0.000 % | c =============================================================================== c New solution: 17679 c Elapsed CPU time: 169.378 s Remaining CPU time: 10.6217 s c =============================================================================== c | 686 | 3496 3905 1360400 | 5000 686 3260 | 0.000 % | c =============================================================================== c New solution: 17678 c Elapsed CPU time: 170.241 s Remaining CPU time: 9.75888 s c =============================================================================== c | 686 | 3496 3906 1363750 | 5000 686 3260 | 0.000 % | c =============================================================================== c New solution: 17677 c Elapsed CPU time: 171.132 s Remaining CPU time: 8.86802 s c =============================================================================== c | 696 | 3496 3907 1367100 | 5000 696 3260 | 0.000 % | c =============================================================================== c New solution: 17676 c Elapsed CPU time: 171.984 s Remaining CPU time: 8.01615 s c =============================================================================== c | 700 | 3496 3908 1370450 | 5000 700 3260 | 0.000 % | c =============================================================================== c New solution: 17675 c Elapsed CPU time: 172.812 s Remaining CPU time: 7.18827 s c =============================================================================== c | 703 | 3496 3909 1373800 | 5000 703 3260 | 0.000 % | c =============================================================================== c New solution: 17674 c Elapsed CPU time: 173.61 s Remaining CPU time: 6.39039 s c =============================================================================== c | 706 | 3496 3910 1377150 | 5000 706 3260 | 0.000 % | c =============================================================================== c New solution: 17673 c Elapsed CPU time: 174.532 s Remaining CPU time: 5.46753 s c =============================================================================== c | 711 | 3496 3911 1380500 | 5000 711 3260 | 0.000 % | c =============================================================================== c New solution: 17672 c Elapsed CPU time: 175.364 s Remaining CPU time: 4.63566 s c =============================================================================== c | 712 | 3496 3912 1383850 | 5000 712 3260 | 0.000 % | c =============================================================================== c New solution: 17671 c Elapsed CPU time: 176.183 s Remaining CPU time: 3.81678 s c =============================================================================== c | 724 | 3496 3913 1387200 | 5000 724 3260 | 0.000 % | c =============================================================================== c New solution: 17670 c Elapsed CPU time: 176.98 s Remaining CPU time: 3.01991 s c =============================================================================== c | 724 | 3496 3914 1390550 | 5000 724 3260 | 0.000 % | c =============================================================================== c New solution: 17669 c Elapsed CPU time: 177.887 s Remaining CPU time: 2.11304 s c =============================================================================== c | 729 | 3496 3915 1393900 | 5000 729 3260 | 0.000 % | c =============================================================================== c New solution: 17668 c Elapsed CPU time: 178.708 s Remaining CPU time: 1.29217 s c =============================================================================== c | 732 | 3496 3916 1397250 | 5000 732 3260 | 0.000 % | c =============================================================================== c New solution: 17667 c Elapsed CPU time: 179.628 s Remaining CPU time: 0.372308 s c =============================================================================== c | 745 | 3496 3917 1400600 | 5000 745 3260 | 0.000 % | c There are 4 assigned variables. 0 in cost function.