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 | 3498 3502 10350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18174 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 0 | 3498 3503 13700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18169 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 3498 3504 17050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18167 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 0 | 3498 3505 20400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18165 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s c =============================================================================== c | 0 | 3498 3506 23750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18164 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 0 | 3498 3507 27100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18162 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 0 | 3498 3508 30450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18158 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 0 | 3498 3509 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18156 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 3498 3510 37150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18155 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 3498 3511 40500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18154 c Elapsed CPU time: 0.45993 s Remaining CPU time: 179.54 s c =============================================================================== c | 0 | 3498 3512 43850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18153 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 0 | 3498 3513 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18151 c Elapsed CPU time: 0.557915 s Remaining CPU time: 179.442 s c =============================================================================== c | 0 | 3498 3514 50550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18150 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 0 | 3498 3515 53900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18149 c Elapsed CPU time: 0.660899 s Remaining CPU time: 179.339 s c =============================================================================== c | 0 | 3498 3516 57250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18147 c Elapsed CPU time: 0.713891 s Remaining CPU time: 179.286 s c =============================================================================== c | 0 | 3498 3517 60600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18146 c Elapsed CPU time: 0.769882 s Remaining CPU time: 179.23 s c =============================================================================== c | 0 | 3498 3518 63950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18145 c Elapsed CPU time: 0.825874 s Remaining CPU time: 179.174 s c =============================================================================== c | 0 | 3498 3519 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18143 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s c =============================================================================== c | 0 | 3498 3520 70650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18142 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 0 | 3498 3521 74000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18141 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 0 | 3498 3522 77350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18140 c Elapsed CPU time: 1.06384 s Remaining CPU time: 178.936 s c =============================================================================== c | 0 | 3498 3523 80700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18139 c Elapsed CPU time: 1.12683 s Remaining CPU time: 178.873 s c =============================================================================== c | 0 | 3498 3524 84050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18135 c Elapsed CPU time: 1.18882 s Remaining CPU time: 178.811 s c =============================================================================== c | 0 | 3498 3525 87400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18133 c Elapsed CPU time: 1.25481 s Remaining CPU time: 178.745 s c =============================================================================== c | 0 | 3498 3526 90750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18132 c Elapsed CPU time: 1.3188 s Remaining CPU time: 178.681 s c =============================================================================== c | 0 | 3498 3527 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18131 c Elapsed CPU time: 1.38579 s Remaining CPU time: 178.614 s c =============================================================================== c | 0 | 3498 3528 97450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18129 c Elapsed CPU time: 1.45478 s Remaining CPU time: 178.545 s c =============================================================================== c | 0 | 3498 3529 100800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18128 c Elapsed CPU time: 1.52777 s Remaining CPU time: 178.472 s c =============================================================================== c | 0 | 3498 3530 104150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18122 c Elapsed CPU time: 1.60276 s Remaining CPU time: 178.397 s c =============================================================================== c | 0 | 3498 3531 107500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18118 c Elapsed CPU time: 1.67674 s Remaining CPU time: 178.323 s c =============================================================================== c | 0 | 3498 3532 110850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18117 c Elapsed CPU time: 1.75473 s Remaining CPU time: 178.245 s c =============================================================================== c | 0 | 3498 3533 114200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18114 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 0 | 3498 3534 117550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18113 c Elapsed CPU time: 1.91971 s Remaining CPU time: 178.08 s c =============================================================================== c | 0 | 3498 3535 120900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18112 c Elapsed CPU time: 2.0037 s Remaining CPU time: 177.996 s c =============================================================================== c | 0 | 3498 3536 124250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18111 c Elapsed CPU time: 2.08768 s Remaining CPU time: 177.912 s c =============================================================================== c | 0 | 3498 3537 127600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18109 c Elapsed CPU time: 2.17267 s Remaining CPU time: 177.827 s c =============================================================================== c | 0 | 3498 3538 130950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18105 c Elapsed CPU time: 2.25866 s Remaining CPU time: 177.741 s c =============================================================================== c | 0 | 3498 3539 134300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18104 c Elapsed CPU time: 2.34464 s Remaining CPU time: 177.655 s c =============================================================================== c | 0 | 3498 3540 137650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18103 c Elapsed CPU time: 2.43563 s Remaining CPU time: 177.564 s c =============================================================================== c | 0 | 3498 3541 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18101 c Elapsed CPU time: 2.52861 s Remaining CPU time: 177.471 s c =============================================================================== c | 0 | 3498 3542 144350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18100 c Elapsed CPU time: 2.6206 s Remaining CPU time: 177.379 s c =============================================================================== c | 0 | 3498 3543 147700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18099 c Elapsed CPU time: 2.72159 s Remaining CPU time: 177.278 s c =============================================================================== c | 0 | 3498 3544 151050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18096 c Elapsed CPU time: 2.82257 s Remaining CPU time: 177.177 s c =============================================================================== c | 0 | 3498 3545 154400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18095 c Elapsed CPU time: 2.92355 s Remaining CPU time: 177.076 s c =============================================================================== c | 0 | 3498 3546 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18093 c Elapsed CPU time: 3.02954 s Remaining CPU time: 176.97 s c =============================================================================== c | 0 | 3498 3547 161100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18092 c Elapsed CPU time: 3.13552 s Remaining CPU time: 176.864 s c =============================================================================== c | 0 | 3498 3548 164450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18090 c Elapsed CPU time: 3.24851 s Remaining CPU time: 176.751 s c =============================================================================== c | 0 | 3498 3549 167800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18089 c Elapsed CPU time: 3.36049 s Remaining CPU time: 176.64 s c =============================================================================== c | 0 | 3498 3550 171150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18086 c Elapsed CPU time: 3.47147 s Remaining CPU time: 176.529 s c =============================================================================== c | 0 | 3498 3551 174500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18083 c Elapsed CPU time: 3.58745 s Remaining CPU time: 176.413 s c =============================================================================== c | 0 | 3498 3552 177850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18082 c Elapsed CPU time: 3.70644 s Remaining CPU time: 176.294 s c =============================================================================== c | 0 | 3498 3553 181200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18081 c Elapsed CPU time: 3.82442 s Remaining CPU time: 176.176 s c =============================================================================== c | 0 | 3498 3554 184550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18077 c Elapsed CPU time: 3.9444 s Remaining CPU time: 176.056 s c =============================================================================== c | 0 | 3498 3555 187900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18075 c Elapsed CPU time: 4.06138 s Remaining CPU time: 175.939 s c =============================================================================== c | 0 | 3498 3556 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18074 c Elapsed CPU time: 4.18436 s Remaining CPU time: 175.816 s c =============================================================================== c | 0 | 3498 3557 194600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18071 c Elapsed CPU time: 4.30934 s Remaining CPU time: 175.691 s c =============================================================================== c | 0 | 3498 3558 197950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18070 c Elapsed CPU time: 4.43333 s Remaining CPU time: 175.567 s c =============================================================================== c | 0 | 3498 3559 201300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18066 c Elapsed CPU time: 4.56331 s Remaining CPU time: 175.437 s c =============================================================================== c | 0 | 3498 3560 204650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18064 c Elapsed CPU time: 4.69928 s Remaining CPU time: 175.301 s c =============================================================================== c | 0 | 3498 3561 208000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18059 c Elapsed CPU time: 4.83026 s Remaining CPU time: 175.17 s c =============================================================================== c | 0 | 3498 3562 211350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18056 c Elapsed CPU time: 4.96724 s Remaining CPU time: 175.033 s c =============================================================================== c | 0 | 3498 3563 214700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18054 c Elapsed CPU time: 5.10622 s Remaining CPU time: 174.894 s c =============================================================================== c | 0 | 3498 3564 218050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18053 c Elapsed CPU time: 5.2502 s Remaining CPU time: 174.75 s c =============================================================================== c | 0 | 3498 3565 221400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18050 c Elapsed CPU time: 5.38818 s Remaining CPU time: 174.612 s c =============================================================================== c | 0 | 3498 3566 224750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18049 c Elapsed CPU time: 5.53816 s Remaining CPU time: 174.462 s c =============================================================================== c | 0 | 3498 3567 228100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18048 c Elapsed CPU time: 5.68813 s Remaining CPU time: 174.312 s c =============================================================================== c | 0 | 3498 3568 231450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18046 c Elapsed CPU time: 5.83811 s Remaining CPU time: 174.162 s c =============================================================================== c | 0 | 3498 3569 234800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18045 c Elapsed CPU time: 5.99309 s Remaining CPU time: 174.007 s c =============================================================================== c | 0 | 3498 3570 238150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18043 c Elapsed CPU time: 6.14607 s Remaining CPU time: 173.854 s c =============================================================================== c | 0 | 3498 3571 241500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18040 c Elapsed CPU time: 6.29904 s Remaining CPU time: 173.701 s c =============================================================================== c | 0 | 3498 3572 244850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18039 c Elapsed CPU time: 6.46202 s Remaining CPU time: 173.538 s c =============================================================================== c | 0 | 3498 3573 248200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18035 c Elapsed CPU time: 6.61699 s Remaining CPU time: 173.383 s c =============================================================================== c | 0 | 3498 3574 251550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18031 c Elapsed CPU time: 6.77797 s Remaining CPU time: 173.222 s c =============================================================================== c | 0 | 3498 3575 254900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18028 c Elapsed CPU time: 6.94294 s Remaining CPU time: 173.057 s c =============================================================================== c | 0 | 3498 3576 258250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18025 c Elapsed CPU time: 7.11292 s Remaining CPU time: 172.887 s c =============================================================================== c | 0 | 3498 3577 261600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18024 c Elapsed CPU time: 7.28589 s Remaining CPU time: 172.714 s c =============================================================================== c | 0 | 3498 3578 264950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18019 c Elapsed CPU time: 7.45587 s Remaining CPU time: 172.544 s c =============================================================================== c | 0 | 3498 3579 268300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18016 c Elapsed CPU time: 7.62484 s Remaining CPU time: 172.375 s c =============================================================================== c | 0 | 3498 3580 271650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18015 c Elapsed CPU time: 7.80181 s Remaining CPU time: 172.198 s c =============================================================================== c | 0 | 3498 3581 275000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18013 c Elapsed CPU time: 7.98479 s Remaining CPU time: 172.015 s c =============================================================================== c | 0 | 3498 3582 278350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18012 c Elapsed CPU time: 8.16376 s Remaining CPU time: 171.836 s c =============================================================================== c | 0 | 3498 3583 281700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18007 c Elapsed CPU time: 8.34473 s Remaining CPU time: 171.655 s c =============================================================================== c | 0 | 3498 3584 285050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18002 c Elapsed CPU time: 8.5347 s Remaining CPU time: 171.465 s c =============================================================================== c | 0 | 3498 3585 288400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18001 c Elapsed CPU time: 8.72767 s Remaining CPU time: 171.272 s c =============================================================================== c | 0 | 3498 3586 291750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18000 c Elapsed CPU time: 8.92564 s Remaining CPU time: 171.074 s c =============================================================================== c | 0 | 3498 3587 295100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17999 c Elapsed CPU time: 9.12561 s Remaining CPU time: 170.874 s c =============================================================================== c | 0 | 3498 3588 298450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17998 c Elapsed CPU time: 9.31658 s Remaining CPU time: 170.683 s c =============================================================================== c | 0 | 3498 3589 301800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17997 c Elapsed CPU time: 9.51355 s Remaining CPU time: 170.486 s c =============================================================================== c | 0 | 3498 3590 305150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17996 c Elapsed CPU time: 9.71152 s Remaining CPU time: 170.288 s c =============================================================================== c | 0 | 3498 3591 308500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17995 c Elapsed CPU time: 9.91149 s Remaining CPU time: 170.089 s c =============================================================================== c | 0 | 3498 3592 311850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17990 c Elapsed CPU time: 10.1085 s Remaining CPU time: 169.892 s c =============================================================================== c | 0 | 3498 3593 315200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17985 c Elapsed CPU time: 10.3104 s Remaining CPU time: 169.69 s c =============================================================================== c | 0 | 3498 3594 318550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17983 c Elapsed CPU time: 10.5204 s Remaining CPU time: 169.48 s c =============================================================================== c | 0 | 3498 3595 321900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17982 c Elapsed CPU time: 10.7324 s Remaining CPU time: 169.268 s c =============================================================================== c | 0 | 3498 3596 325250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17981 c Elapsed CPU time: 10.9473 s Remaining CPU time: 169.053 s c =============================================================================== c | 0 | 3498 3597 328600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17980 c Elapsed CPU time: 11.1593 s Remaining CPU time: 168.841 s c =============================================================================== c | 0 | 3498 3598 331950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17976 c Elapsed CPU time: 11.3703 s Remaining CPU time: 168.63 s c =============================================================================== c | 0 | 3498 3599 335300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17975 c Elapsed CPU time: 11.5942 s Remaining CPU time: 168.406 s c =============================================================================== c | 0 | 3498 3600 338650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17973 c Elapsed CPU time: 11.8212 s Remaining CPU time: 168.179 s c =============================================================================== c | 0 | 3498 3601 342000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17968 c Elapsed CPU time: 12.0412 s Remaining CPU time: 167.959 s c =============================================================================== c | 0 | 3498 3602 345350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17964 c Elapsed CPU time: 12.2631 s Remaining CPU time: 167.737 s c =============================================================================== c | 0 | 3498 3603 348700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17959 c Elapsed CPU time: 12.4901 s Remaining CPU time: 167.51 s c =============================================================================== c | 0 | 3498 3604 352050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17958 c Elapsed CPU time: 12.7181 s Remaining CPU time: 167.282 s c =============================================================================== c | 0 | 3498 3605 355400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17957 c Elapsed CPU time: 12.957 s Remaining CPU time: 167.043 s c =============================================================================== c | 0 | 3498 3606 358750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17956 c Elapsed CPU time: 13.198 s Remaining CPU time: 166.802 s c =============================================================================== c | 0 | 3498 3607 362100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17954 c Elapsed CPU time: 13.432 s Remaining CPU time: 166.568 s c =============================================================================== c | 0 | 3498 3608 365450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17953 c Elapsed CPU time: 13.6689 s Remaining CPU time: 166.331 s c =============================================================================== c | 0 | 3498 3609 368800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17952 c Elapsed CPU time: 13.9069 s Remaining CPU time: 166.093 s c =============================================================================== c | 0 | 3498 3610 372150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17951 c Elapsed CPU time: 14.1558 s Remaining CPU time: 165.844 s c =============================================================================== c | 0 | 3498 3611 375500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17948 c Elapsed CPU time: 14.4038 s Remaining CPU time: 165.596 s c =============================================================================== c | 0 | 3498 3612 378850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17947 c Elapsed CPU time: 14.6518 s Remaining CPU time: 165.348 s c =============================================================================== c | 0 | 3498 3613 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17943 c Elapsed CPU time: 14.8977 s Remaining CPU time: 165.102 s c =============================================================================== c | 0 | 3498 3614 385550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17942 c Elapsed CPU time: 15.1527 s Remaining CPU time: 164.847 s c =============================================================================== c | 0 | 3498 3615 388900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17941 c Elapsed CPU time: 15.4117 s Remaining CPU time: 164.588 s c =============================================================================== c | 0 | 3498 3616 392250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17940 c Elapsed CPU time: 15.6746 s Remaining CPU time: 164.325 s c =============================================================================== c | 0 | 3498 3617 395600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17938 c Elapsed CPU time: 15.9286 s Remaining CPU time: 164.071 s c =============================================================================== c | 0 | 3498 3618 398950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17937 c Elapsed CPU time: 16.1945 s Remaining CPU time: 163.805 s c =============================================================================== c | 0 | 3498 3619 402300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17936 c Elapsed CPU time: 16.4575 s Remaining CPU time: 163.543 s c =============================================================================== c | 0 | 3498 3620 405650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17935 c Elapsed CPU time: 16.7265 s Remaining CPU time: 163.274 s c =============================================================================== c | 0 | 3498 3621 409000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17932 c Elapsed CPU time: 16.9854 s Remaining CPU time: 163.015 s c =============================================================================== c | 0 | 3498 3622 412350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17931 c Elapsed CPU time: 17.2624 s Remaining CPU time: 162.738 s c =============================================================================== c | 0 | 3498 3623 415700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17930 c Elapsed CPU time: 17.5293 s Remaining CPU time: 162.471 s c =============================================================================== c | 0 | 3498 3624 419050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17929 c Elapsed CPU time: 17.8113 s Remaining CPU time: 162.189 s c =============================================================================== c | 0 | 3498 3625 422400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17928 c Elapsed CPU time: 18.0962 s Remaining CPU time: 161.904 s c =============================================================================== c | 0 | 3498 3626 425750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17927 c Elapsed CPU time: 18.3852 s Remaining CPU time: 161.615 s c =============================================================================== c | 0 | 3498 3627 429100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17926 c Elapsed CPU time: 18.6732 s Remaining CPU time: 161.327 s c =============================================================================== c | 0 | 3498 3628 432450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17925 c Elapsed CPU time: 18.9621 s Remaining CPU time: 161.038 s c =============================================================================== c | 0 | 3498 3629 435800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17924 c Elapsed CPU time: 19.2451 s Remaining CPU time: 160.755 s c =============================================================================== c | 0 | 3498 3630 439150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17923 c Elapsed CPU time: 19.538 s Remaining CPU time: 160.462 s c =============================================================================== c | 0 | 3498 3631 442500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17920 c Elapsed CPU time: 19.831 s Remaining CPU time: 160.169 s c =============================================================================== c | 0 | 3498 3632 445850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17919 c Elapsed CPU time: 20.1269 s Remaining CPU time: 159.873 s c =============================================================================== c | 0 | 3498 3633 449200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17917 c Elapsed CPU time: 20.4229 s Remaining CPU time: 159.577 s c =============================================================================== c | 0 | 3498 3634 452550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17916 c Elapsed CPU time: 20.7228 s Remaining CPU time: 159.277 s c =============================================================================== c | 0 | 3498 3635 455900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17915 c Elapsed CPU time: 21.0238 s Remaining CPU time: 158.976 s c =============================================================================== c | 0 | 3498 3636 459250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17914 c Elapsed CPU time: 21.3328 s Remaining CPU time: 158.667 s c =============================================================================== c | 0 | 3498 3637 462600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17912 c Elapsed CPU time: 21.6397 s Remaining CPU time: 158.36 s c =============================================================================== c | 0 | 3498 3638 465950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17911 c Elapsed CPU time: 21.9557 s Remaining CPU time: 158.044 s c =============================================================================== c | 0 | 3498 3639 469300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17910 c Elapsed CPU time: 22.2706 s Remaining CPU time: 157.729 s c =============================================================================== c | 0 | 3498 3640 472650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17908 c Elapsed CPU time: 22.5896 s Remaining CPU time: 157.41 s c =============================================================================== c | 0 | 3498 3641 476000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17906 c Elapsed CPU time: 22.8985 s Remaining CPU time: 157.101 s c =============================================================================== c | 0 | 3498 3642 479350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17903 c Elapsed CPU time: 23.2105 s Remaining CPU time: 156.79 s c =============================================================================== c | 0 | 3498 3643 482700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17901 c Elapsed CPU time: 23.5274 s Remaining CPU time: 156.473 s c =============================================================================== c | 0 | 3498 3644 486050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17899 c Elapsed CPU time: 23.8574 s Remaining CPU time: 156.143 s c =============================================================================== c | 0 | 3498 3645 489400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17898 c Elapsed CPU time: 24.1793 s Remaining CPU time: 155.821 s c =============================================================================== c | 0 | 3498 3646 492750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17897 c Elapsed CPU time: 24.5003 s Remaining CPU time: 155.5 s c =============================================================================== c | 0 | 3498 3647 496100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17896 c Elapsed CPU time: 24.8342 s Remaining CPU time: 155.166 s c =============================================================================== c | 0 | 3498 3648 499450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17895 c Elapsed CPU time: 25.1762 s Remaining CPU time: 154.824 s c =============================================================================== c | 0 | 3498 3649 502800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17893 c Elapsed CPU time: 25.5071 s Remaining CPU time: 154.493 s c =============================================================================== c | 0 | 3498 3650 506150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17892 c Elapsed CPU time: 25.8491 s Remaining CPU time: 154.151 s c =============================================================================== c | 0 | 3498 3651 509500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17890 c Elapsed CPU time: 26.186 s Remaining CPU time: 153.814 s c =============================================================================== c | 0 | 3498 3652 512850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17889 c Elapsed CPU time: 26.529 s Remaining CPU time: 153.471 s c =============================================================================== c | 0 | 3498 3653 516200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17888 c Elapsed CPU time: 26.8729 s Remaining CPU time: 153.127 s c =============================================================================== c | 0 | 3498 3654 519550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17887 c Elapsed CPU time: 27.2329 s Remaining CPU time: 152.767 s c =============================================================================== c | 0 | 3498 3655 522900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17886 c Elapsed CPU time: 27.5898 s Remaining CPU time: 152.41 s c =============================================================================== c | 0 | 3498 3656 526250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17885 c Elapsed CPU time: 27.9408 s Remaining CPU time: 152.059 s c =============================================================================== c | 0 | 3498 3657 529600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17884 c Elapsed CPU time: 28.2997 s Remaining CPU time: 151.7 s c =============================================================================== c | 0 | 3498 3658 532950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17883 c Elapsed CPU time: 28.6516 s Remaining CPU time: 151.348 s c =============================================================================== c | 0 | 3498 3659 536300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17882 c Elapsed CPU time: 29.0106 s Remaining CPU time: 150.989 s c =============================================================================== c | 0 | 3498 3660 539650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17881 c Elapsed CPU time: 29.3775 s Remaining CPU time: 150.622 s c =============================================================================== c | 0 | 3498 3661 543000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17880 c Elapsed CPU time: 29.7425 s Remaining CPU time: 150.258 s c =============================================================================== c | 0 | 3498 3662 546350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17876 c Elapsed CPU time: 30.0934 s Remaining CPU time: 149.907 s c =============================================================================== c | 0 | 3498 3663 549700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17874 c Elapsed CPU time: 30.4644 s Remaining CPU time: 149.536 s c =============================================================================== c | 0 | 3498 3664 553050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17871 c Elapsed CPU time: 30.8233 s Remaining CPU time: 149.177 s c =============================================================================== c | 0 | 3498 3665 556400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17870 c Elapsed CPU time: 31.1983 s Remaining CPU time: 148.802 s c =============================================================================== c | 0 | 3498 3666 559750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17869 c Elapsed CPU time: 31.5902 s Remaining CPU time: 148.41 s c =============================================================================== c | 0 | 3498 3667 563100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17868 c Elapsed CPU time: 31.9711 s Remaining CPU time: 148.029 s c =============================================================================== c | 0 | 3498 3668 566450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17867 c Elapsed CPU time: 32.3591 s Remaining CPU time: 147.641 s c =============================================================================== c | 0 | 3498 3669 569800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17865 c Elapsed CPU time: 32.75 s Remaining CPU time: 147.25 s c =============================================================================== c | 0 | 3498 3670 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17864 c Elapsed CPU time: 33.151 s Remaining CPU time: 146.849 s c =============================================================================== c | 0 | 3498 3671 576500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17862 c Elapsed CPU time: 33.5449 s Remaining CPU time: 146.455 s c =============================================================================== c | 0 | 3498 3672 579850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17859 c Elapsed CPU time: 33.9708 s Remaining CPU time: 146.029 s c =============================================================================== c | 0 | 3498 3673 583200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17857 c Elapsed CPU time: 34.4028 s Remaining CPU time: 145.597 s c =============================================================================== c | 0 | 3498 3674 586550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17855 c Elapsed CPU time: 34.8197 s Remaining CPU time: 145.18 s c =============================================================================== c | 0 | 3498 3675 589900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17854 c Elapsed CPU time: 35.2476 s Remaining CPU time: 144.752 s c =============================================================================== c | 0 | 3498 3676 593250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17853 c Elapsed CPU time: 35.6736 s Remaining CPU time: 144.326 s c =============================================================================== c | 0 | 3498 3677 596600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17852 c Elapsed CPU time: 36.0925 s Remaining CPU time: 143.907 s c =============================================================================== c | 0 | 3498 3678 599950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17850 c Elapsed CPU time: 36.5184 s Remaining CPU time: 143.482 s c =============================================================================== c | 0 | 3498 3679 603300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17848 c Elapsed CPU time: 36.9474 s Remaining CPU time: 143.053 s c =============================================================================== c | 0 | 3498 3680 606650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17846 c Elapsed CPU time: 37.3753 s Remaining CPU time: 142.625 s c =============================================================================== c | 0 | 3498 3681 610000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17845 c Elapsed CPU time: 37.8163 s Remaining CPU time: 142.184 s c =============================================================================== c | 0 | 3498 3682 613350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17842 c Elapsed CPU time: 38.2602 s Remaining CPU time: 141.74 s c =============================================================================== c | 0 | 3498 3683 616700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17841 c Elapsed CPU time: 38.7281 s Remaining CPU time: 141.272 s c =============================================================================== c | 0 | 3498 3684 620050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17838 c Elapsed CPU time: 39.187 s Remaining CPU time: 140.813 s c =============================================================================== c | 0 | 3498 3685 623400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17836 c Elapsed CPU time: 39.653 s Remaining CPU time: 140.347 s c =============================================================================== c | 0 | 3498 3686 626750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17835 c Elapsed CPU time: 40.1269 s Remaining CPU time: 139.873 s c =============================================================================== c | 0 | 3498 3687 630100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17834 c Elapsed CPU time: 40.5998 s Remaining CPU time: 139.4 s c =============================================================================== c | 0 | 3498 3688 633450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17833 c Elapsed CPU time: 41.0668 s Remaining CPU time: 138.933 s c =============================================================================== c | 0 | 3498 3689 636800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17832 c Elapsed CPU time: 41.5487 s Remaining CPU time: 138.451 s c =============================================================================== c | 0 | 3498 3690 640150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17831 c Elapsed CPU time: 42.0236 s Remaining CPU time: 137.976 s c =============================================================================== c | 0 | 3498 3691 643500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17830 c Elapsed CPU time: 42.5185 s Remaining CPU time: 137.481 s c =============================================================================== c | 0 | 3498 3692 646850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17829 c Elapsed CPU time: 43.0025 s Remaining CPU time: 136.998 s c =============================================================================== c | 0 | 3498 3693 650200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17828 c Elapsed CPU time: 43.4814 s Remaining CPU time: 136.519 s c =============================================================================== c | 0 | 3498 3694 653550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17827 c Elapsed CPU time: 43.9643 s Remaining CPU time: 136.036 s c =============================================================================== c | 0 | 3498 3695 656900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17825 c Elapsed CPU time: 44.4572 s Remaining CPU time: 135.543 s c =============================================================================== c | 0 | 3498 3696 660250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17824 c Elapsed CPU time: 44.9552 s Remaining CPU time: 135.045 s c =============================================================================== c | 0 | 3498 3697 663600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17821 c Elapsed CPU time: 45.4701 s Remaining CPU time: 134.53 s c =============================================================================== c | 0 | 3498 3698 666950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17819 c Elapsed CPU time: 45.997 s Remaining CPU time: 134.003 s c =============================================================================== c | 0 | 3498 3699 670300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17818 c Elapsed CPU time: 46.5189 s Remaining CPU time: 133.481 s c =============================================================================== c | 0 | 3498 3700 673650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17817 c Elapsed CPU time: 47.0498 s Remaining CPU time: 132.95 s c =============================================================================== c | 0 | 3498 3701 677000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17816 c Elapsed CPU time: 47.5838 s Remaining CPU time: 132.416 s c =============================================================================== c | 0 | 3498 3702 680350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17813 c Elapsed CPU time: 48.1147 s Remaining CPU time: 131.885 s c =============================================================================== c | 0 | 3498 3703 683700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17812 c Elapsed CPU time: 48.6546 s Remaining CPU time: 131.345 s c =============================================================================== c | 0 | 3498 3704 687050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17811 c Elapsed CPU time: 49.1895 s Remaining CPU time: 130.81 s c =============================================================================== c | 0 | 3498 3705 690400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17810 c Elapsed CPU time: 49.7194 s Remaining CPU time: 130.281 s c =============================================================================== c | 0 | 3498 3706 693750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17809 c Elapsed CPU time: 50.2574 s Remaining CPU time: 129.743 s c =============================================================================== c | 0 | 3498 3707 697100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17808 c Elapsed CPU time: 50.8053 s Remaining CPU time: 129.195 s c =============================================================================== c | 0 | 3498 3708 700450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17807 c Elapsed CPU time: 51.3332 s Remaining CPU time: 128.667 s c =============================================================================== c | 0 | 3498 3709 703800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17804 c Elapsed CPU time: 51.8651 s Remaining CPU time: 128.135 s c =============================================================================== c | 0 | 3498 3710 707150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17803 c Elapsed CPU time: 52.396 s Remaining CPU time: 127.604 s c =============================================================================== c | 0 | 3498 3711 710500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17802 c Elapsed CPU time: 52.926 s Remaining CPU time: 127.074 s c =============================================================================== c | 0 | 3498 3712 713850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17798 c Elapsed CPU time: 53.4609 s Remaining CPU time: 126.539 s c =============================================================================== c | 0 | 3498 3713 717200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17796 c Elapsed CPU time: 54.0158 s Remaining CPU time: 125.984 s c =============================================================================== c | 0 | 3498 3714 720550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17795 c Elapsed CPU time: 54.4877 s Remaining CPU time: 125.512 s c =============================================================================== c | 0 | 3498 3715 723900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17794 c Elapsed CPU time: 54.9296 s Remaining CPU time: 125.07 s c =============================================================================== c | 0 | 3498 3716 727250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17793 c Elapsed CPU time: 55.3746 s Remaining CPU time: 124.625 s c =============================================================================== c | 0 | 3498 3717 730600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17792 c Elapsed CPU time: 55.8275 s Remaining CPU time: 124.172 s c =============================================================================== c | 0 | 3498 3718 733950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17791 c Elapsed CPU time: 56.2654 s Remaining CPU time: 123.735 s c =============================================================================== c | 0 | 3498 3719 737300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17790 c Elapsed CPU time: 56.7284 s Remaining CPU time: 123.272 s c =============================================================================== c | 0 | 3498 3720 740650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17789 c Elapsed CPU time: 57.1833 s Remaining CPU time: 122.817 s c =============================================================================== c | 0 | 3498 3721 744000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17787 c Elapsed CPU time: 57.6282 s Remaining CPU time: 122.372 s c =============================================================================== c | 0 | 3498 3722 747350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17785 c Elapsed CPU time: 58.0752 s Remaining CPU time: 121.925 s c =============================================================================== c | 0 | 3498 3723 750700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17783 c Elapsed CPU time: 58.5251 s Remaining CPU time: 121.475 s c =============================================================================== c | 0 | 3498 3724 754050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17782 c Elapsed CPU time: 59.033 s Remaining CPU time: 120.967 s c =============================================================================== c | 0 | 3498 3725 757400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17780 c Elapsed CPU time: 59.5 s Remaining CPU time: 120.5 s c =============================================================================== c | 0 | 3498 3726 760750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17779 c Elapsed CPU time: 59.9849 s Remaining CPU time: 120.015 s c =============================================================================== c | 0 | 3498 3727 764100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17778 c Elapsed CPU time: 60.4718 s Remaining CPU time: 119.528 s c =============================================================================== c | 0 | 3498 3728 767450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17777 c Elapsed CPU time: 60.9387 s Remaining CPU time: 119.061 s c =============================================================================== c | 0 | 3498 3729 770800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17776 c Elapsed CPU time: 61.4027 s Remaining CPU time: 118.597 s c =============================================================================== c | 0 | 3498 3730 774150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17775 c Elapsed CPU time: 61.8836 s Remaining CPU time: 118.116 s c =============================================================================== c | 0 | 3498 3731 777500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17773 c Elapsed CPU time: 62.3585 s Remaining CPU time: 117.641 s c =============================================================================== c | 0 | 3498 3732 780850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17772 c Elapsed CPU time: 62.8324 s Remaining CPU time: 117.168 s c =============================================================================== c | 0 | 3498 3733 784200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17771 c Elapsed CPU time: 63.3184 s Remaining CPU time: 116.682 s c =============================================================================== c | 0 | 3498 3734 787550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17770 c Elapsed CPU time: 63.8093 s Remaining CPU time: 116.191 s c =============================================================================== c | 0 | 3498 3735 790900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17769 c Elapsed CPU time: 64.2822 s Remaining CPU time: 115.718 s c =============================================================================== c | 0 | 3498 3736 794250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17768 c Elapsed CPU time: 64.7552 s Remaining CPU time: 115.245 s c =============================================================================== c | 0 | 3498 3737 797600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17767 c Elapsed CPU time: 65.2341 s Remaining CPU time: 114.766 s c =============================================================================== c | 0 | 3498 3738 800950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17764 c Elapsed CPU time: 65.706 s Remaining CPU time: 114.294 s c =============================================================================== c | 0 | 3498 3739 804300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17762 c Elapsed CPU time: 66.1779 s Remaining CPU time: 113.822 s c =============================================================================== c | 0 | 3498 3740 807650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17761 c Elapsed CPU time: 66.6489 s Remaining CPU time: 113.351 s c =============================================================================== c | 0 | 3498 3741 811000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17760 c Elapsed CPU time: 67.1378 s Remaining CPU time: 112.862 s c =============================================================================== c | 0 | 3498 3742 814350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17758 c Elapsed CPU time: 67.6257 s Remaining CPU time: 112.374 s c =============================================================================== c | 0 | 3498 3743 817700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17757 c Elapsed CPU time: 68.1156 s Remaining CPU time: 111.884 s c =============================================================================== c | 0 | 3498 3744 821050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17755 c Elapsed CPU time: 68.5996 s Remaining CPU time: 111.4 s c =============================================================================== c | 0 | 3498 3745 824400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17754 c Elapsed CPU time: 69.0915 s Remaining CPU time: 110.909 s c =============================================================================== c | 0 | 3498 3746 827750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17752 c Elapsed CPU time: 69.5744 s Remaining CPU time: 110.426 s c =============================================================================== c | 0 | 3498 3747 831100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17751 c Elapsed CPU time: 70.0803 s Remaining CPU time: 109.92 s c =============================================================================== c | 0 | 3498 3748 834450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17750 c Elapsed CPU time: 70.5713 s Remaining CPU time: 109.429 s c =============================================================================== c | 0 | 3498 3749 837800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17748 c Elapsed CPU time: 71.0812 s Remaining CPU time: 108.919 s c =============================================================================== c | 0 | 3498 3750 841150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17747 c Elapsed CPU time: 71.6031 s Remaining CPU time: 108.397 s c =============================================================================== c | 0 | 3498 3751 844500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17746 c Elapsed CPU time: 72.115 s Remaining CPU time: 107.885 s c =============================================================================== c | 0 | 3498 3752 847850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17744 c Elapsed CPU time: 72.646 s Remaining CPU time: 107.354 s c =============================================================================== c | 0 | 3498 3753 851200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17742 c Elapsed CPU time: 73.1799 s Remaining CPU time: 106.82 s c =============================================================================== c | 0 | 3498 3754 854550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17740 c Elapsed CPU time: 73.7158 s Remaining CPU time: 106.284 s c =============================================================================== c | 0 | 3498 3755 857900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17739 c Elapsed CPU time: 74.2407 s Remaining CPU time: 105.759 s c =============================================================================== c | 0 | 3498 3756 861250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17738 c Elapsed CPU time: 74.7656 s Remaining CPU time: 105.234 s c =============================================================================== c | 0 | 3498 3757 864600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17737 c Elapsed CPU time: 75.3115 s Remaining CPU time: 104.688 s c =============================================================================== c | 0 | 3498 3758 867950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17736 c Elapsed CPU time: 75.8305 s Remaining CPU time: 104.17 s c =============================================================================== c | 0 | 3498 3759 871300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17735 c Elapsed CPU time: 76.3694 s Remaining CPU time: 103.631 s c =============================================================================== c | 0 | 3498 3760 874650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17734 c Elapsed CPU time: 76.9043 s Remaining CPU time: 103.096 s c =============================================================================== c | 0 | 3498 3761 878000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17732 c Elapsed CPU time: 77.4262 s Remaining CPU time: 102.574 s c =============================================================================== c | 0 | 3498 3762 881350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17730 c Elapsed CPU time: 77.9471 s Remaining CPU time: 102.053 s c =============================================================================== c | 0 | 3498 3763 884700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17729 c Elapsed CPU time: 78.4931 s Remaining CPU time: 101.507 s c =============================================================================== c | 0 | 3498 3764 888050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17728 c Elapsed CPU time: 79.053 s Remaining CPU time: 100.947 s c =============================================================================== c | 0 | 3498 3765 891400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17726 c Elapsed CPU time: 79.5959 s Remaining CPU time: 100.404 s c =============================================================================== c | 0 | 3498 3766 894750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17725 c Elapsed CPU time: 80.1308 s Remaining CPU time: 99.8692 s c =============================================================================== c | 0 | 3498 3767 898100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17724 c Elapsed CPU time: 80.6567 s Remaining CPU time: 99.3433 s c =============================================================================== c | 0 | 3498 3768 901450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17723 c Elapsed CPU time: 81.2077 s Remaining CPU time: 98.7923 s c =============================================================================== c | 0 | 3498 3769 904800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17720 c Elapsed CPU time: 81.7496 s Remaining CPU time: 98.2504 s c =============================================================================== c | 0 | 3498 3770 908150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17719 c Elapsed CPU time: 82.2885 s Remaining CPU time: 97.7115 s c =============================================================================== c | 0 | 3498 3771 911500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17718 c Elapsed CPU time: 82.8404 s Remaining CPU time: 97.1596 s c =============================================================================== c | 0 | 3498 3772 914850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17717 c Elapsed CPU time: 83.3863 s Remaining CPU time: 96.6137 s c =============================================================================== c | 0 | 3498 3773 918200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17716 c Elapsed CPU time: 83.9232 s Remaining CPU time: 96.0768 s c =============================================================================== c | 0 | 3498 3774 921550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17715 c Elapsed CPU time: 84.4742 s Remaining CPU time: 95.5258 s c =============================================================================== c | 0 | 3498 3775 924900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17713 c Elapsed CPU time: 85.0251 s Remaining CPU time: 94.9749 s c =============================================================================== c | 0 | 3498 3776 928250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17712 c Elapsed CPU time: 85.566 s Remaining CPU time: 94.434 s c =============================================================================== c | 0 | 3498 3777 931600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17711 c Elapsed CPU time: 86.0979 s Remaining CPU time: 93.9021 s c =============================================================================== c | 0 | 3498 3778 934950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17708 c Elapsed CPU time: 86.6388 s Remaining CPU time: 93.3612 s c =============================================================================== c | 0 | 3498 3779 938300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17707 c Elapsed CPU time: 87.1797 s Remaining CPU time: 92.8203 s c =============================================================================== c | 0 | 3498 3780 941650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17705 c Elapsed CPU time: 87.7217 s Remaining CPU time: 92.2783 s c =============================================================================== c | 0 | 3498 3781 945000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17704 c Elapsed CPU time: 88.2546 s Remaining CPU time: 91.7454 s c =============================================================================== c | 0 | 3498 3782 948350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17703 c Elapsed CPU time: 88.7985 s Remaining CPU time: 91.2015 s c =============================================================================== c | 0 | 3498 3783 951700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17702 c Elapsed CPU time: 89.3374 s Remaining CPU time: 90.6626 s c =============================================================================== c | 0 | 3498 3784 955050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17701 c Elapsed CPU time: 89.9043 s Remaining CPU time: 90.0957 s c =============================================================================== c | 0 | 3498 3785 958400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17699 c Elapsed CPU time: 90.4532 s Remaining CPU time: 89.5468 s c =============================================================================== c | 0 | 3498 3786 961750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17698 c Elapsed CPU time: 91.0042 s Remaining CPU time: 88.9958 s c =============================================================================== c | 0 | 3498 3787 965100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17697 c Elapsed CPU time: 91.5531 s Remaining CPU time: 88.4469 s c =============================================================================== c | 0 | 3498 3788 968450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17694 c Elapsed CPU time: 92.105 s Remaining CPU time: 87.895 s c =============================================================================== c | 0 | 3498 3789 971800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17692 c Elapsed CPU time: 92.6669 s Remaining CPU time: 87.3331 s c =============================================================================== c | 0 | 3498 3790 975150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17689 c Elapsed CPU time: 93.2578 s Remaining CPU time: 86.7422 s c =============================================================================== c | 0 | 3498 3791 978500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17687 c Elapsed CPU time: 93.8727 s Remaining CPU time: 86.1273 s c =============================================================================== c | 0 | 3498 3792 981850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17686 c Elapsed CPU time: 94.4906 s Remaining CPU time: 85.5094 s c =============================================================================== c | 0 | 3498 3793 985200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17685 c Elapsed CPU time: 95.0785 s Remaining CPU time: 84.9215 s c =============================================================================== c | 0 | 3498 3794 988550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17682 c Elapsed CPU time: 95.6675 s Remaining CPU time: 84.3325 s c =============================================================================== c | 0 | 3498 3795 991900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17681 c Elapsed CPU time: 96.2724 s Remaining CPU time: 83.7276 s c =============================================================================== c | 0 | 3498 3796 995250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17678 c Elapsed CPU time: 96.8573 s Remaining CPU time: 83.1427 s c =============================================================================== c | 0 | 3498 3797 998600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17677 c Elapsed CPU time: 97.4432 s Remaining CPU time: 82.5568 s c =============================================================================== c | 0 | 3498 3798 1001950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17676 c Elapsed CPU time: 98.0381 s Remaining CPU time: 81.9619 s c =============================================================================== c | 0 | 3498 3799 1005300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17675 c Elapsed CPU time: 98.644 s Remaining CPU time: 81.356 s c =============================================================================== c | 0 | 3498 3800 1008650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17674 c Elapsed CPU time: 99.2399 s Remaining CPU time: 80.7601 s c =============================================================================== c | 0 | 3498 3801 1012000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17673 c Elapsed CPU time: 99.8498 s Remaining CPU time: 80.1502 s c =============================================================================== c | 0 | 3498 3802 1015350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17670 c Elapsed CPU time: 100.434 s Remaining CPU time: 79.5663 s c =============================================================================== c | 0 | 3498 3803 1018700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17669 c Elapsed CPU time: 101.029 s Remaining CPU time: 78.9714 s c =============================================================================== c | 0 | 3498 3804 1022050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17668 c Elapsed CPU time: 101.619 s Remaining CPU time: 78.3814 s c =============================================================================== c | 0 | 3498 3805 1025400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17666 c Elapsed CPU time: 102.213 s Remaining CPU time: 77.7865 s c =============================================================================== c | 0 | 3498 3806 1028750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17662 c Elapsed CPU time: 102.814 s Remaining CPU time: 77.1856 s c =============================================================================== c | 0 | 3498 3807 1032100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17661 c Elapsed CPU time: 103.427 s Remaining CPU time: 76.5727 s c =============================================================================== c | 0 | 3498 3808 1035450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17660 c Elapsed CPU time: 104.038 s Remaining CPU time: 75.9618 s c =============================================================================== c | 0 | 3498 3809 1038800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17659 c Elapsed CPU time: 104.63 s Remaining CPU time: 75.3699 s c =============================================================================== c | 0 | 3498 3810 1042150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17658 c Elapsed CPU time: 105.242 s Remaining CPU time: 74.758 s c =============================================================================== c | 0 | 3498 3811 1045500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17656 c Elapsed CPU time: 105.833 s Remaining CPU time: 74.1671 s c =============================================================================== c | 0 | 3498 3812 1048850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17655 c Elapsed CPU time: 106.437 s Remaining CPU time: 73.5632 s c =============================================================================== c | 0 | 3498 3813 1052200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17654 c Elapsed CPU time: 107.034 s Remaining CPU time: 72.9663 s c =============================================================================== c | 0 | 3498 3814 1055550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17653 c Elapsed CPU time: 107.622 s Remaining CPU time: 72.3784 s c =============================================================================== c | 0 | 3498 3815 1058900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17652 c Elapsed CPU time: 108.219 s Remaining CPU time: 71.7815 s c =============================================================================== c | 0 | 3498 3816 1062250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17651 c Elapsed CPU time: 108.827 s Remaining CPU time: 71.1725 s c =============================================================================== c | 0 | 3498 3817 1065600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17648 c Elapsed CPU time: 109.422 s Remaining CPU time: 70.5776 s c =============================================================================== c | 0 | 3498 3818 1068950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17647 c Elapsed CPU time: 110.022 s Remaining CPU time: 69.9777 s c =============================================================================== c | 0 | 3498 3819 1072300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17646 c Elapsed CPU time: 110.615 s Remaining CPU time: 69.3848 s c =============================================================================== c | 0 | 3498 3820 1075650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17645 c Elapsed CPU time: 111.234 s Remaining CPU time: 68.7659 s c =============================================================================== c | 0 | 3498 3821 1079000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17644 c Elapsed CPU time: 111.832 s Remaining CPU time: 68.168 s c =============================================================================== c | 0 | 3498 3822 1082350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17642 c Elapsed CPU time: 112.422 s Remaining CPU time: 67.5781 s c =============================================================================== c | 0 | 3498 3823 1085700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17641 c Elapsed CPU time: 113.034 s Remaining CPU time: 66.9662 s c =============================================================================== c | 0 | 3498 3824 1089050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17638 c Elapsed CPU time: 113.633 s Remaining CPU time: 66.3673 s c =============================================================================== c | 0 | 3498 3825 1092400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17637 c Elapsed CPU time: 114.252 s Remaining CPU time: 65.7484 s c =============================================================================== c | 0 | 3498 3826 1095750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17636 c Elapsed CPU time: 114.854 s Remaining CPU time: 65.1465 s c =============================================================================== c | 0 | 3498 3827 1099100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17635 c Elapsed CPU time: 115.448 s Remaining CPU time: 64.5516 s c =============================================================================== c | 0 | 3498 3828 1102450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17633 c Elapsed CPU time: 116.067 s Remaining CPU time: 63.9326 s c =============================================================================== c | 0 | 3498 3829 1105800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17632 c Elapsed CPU time: 116.702 s Remaining CPU time: 63.2977 s c =============================================================================== c | 0 | 3498 3830 1109150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17631 c Elapsed CPU time: 117.334 s Remaining CPU time: 62.6658 s c =============================================================================== c | 0 | 3498 3831 1112500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17629 c Elapsed CPU time: 117.949 s Remaining CPU time: 62.0509 s c =============================================================================== c | 0 | 3498 3832 1115850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17628 c Elapsed CPU time: 118.574 s Remaining CPU time: 61.426 s c =============================================================================== c | 0 | 3498 3833 1119200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17626 c Elapsed CPU time: 119.203 s Remaining CPU time: 60.7971 s c =============================================================================== c | 0 | 3498 3834 1122550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17625 c Elapsed CPU time: 119.829 s Remaining CPU time: 60.1712 s c =============================================================================== c | 0 | 3498 3835 1125900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17623 c Elapsed CPU time: 120.431 s Remaining CPU time: 59.5693 s c =============================================================================== c | 0 | 3498 3836 1129250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17622 c Elapsed CPU time: 121.051 s Remaining CPU time: 58.9494 s c =============================================================================== c | 0 | 3498 3837 1132600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17621 c Elapsed CPU time: 121.656 s Remaining CPU time: 58.3445 s c =============================================================================== c | 0 | 3498 3838 1135950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17620 c Elapsed CPU time: 122.28 s Remaining CPU time: 57.7196 s c =============================================================================== c | 0 | 3498 3839 1139300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17619 c Elapsed CPU time: 122.923 s Remaining CPU time: 57.0767 s c =============================================================================== c | 0 | 3498 3840 1142650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17618 c Elapsed CPU time: 123.529 s Remaining CPU time: 56.4708 s c =============================================================================== c | 0 | 3498 3841 1146000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17617 c Elapsed CPU time: 124.181 s Remaining CPU time: 55.8189 s c =============================================================================== c | 0 | 3498 3842 1149350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17616 c Elapsed CPU time: 124.81 s Remaining CPU time: 55.19 s c =============================================================================== c | 0 | 3498 3843 1152700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17615 c Elapsed CPU time: 125.473 s Remaining CPU time: 54.5271 s c =============================================================================== c | 0 | 3498 3844 1156050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17614 c Elapsed CPU time: 126.135 s Remaining CPU time: 53.8652 s c =============================================================================== c | 0 | 3498 3845 1159400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17613 c Elapsed CPU time: 126.818 s Remaining CPU time: 53.1823 s c =============================================================================== c | 0 | 3498 3846 1162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17611 c Elapsed CPU time: 127.504 s Remaining CPU time: 52.4964 s c =============================================================================== c | 0 | 3498 3847 1166100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17610 c Elapsed CPU time: 128.163 s Remaining CPU time: 51.8375 s c =============================================================================== c | 0 | 3498 3848 1169450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17609 c Elapsed CPU time: 128.843 s Remaining CPU time: 51.1566 s c =============================================================================== c | 0 | 3498 3849 1172800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17606 c Elapsed CPU time: 129.507 s Remaining CPU time: 50.4927 s c =============================================================================== c | 0 | 3498 3850 1176150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17604 c Elapsed CPU time: 130.179 s Remaining CPU time: 49.8208 s c =============================================================================== c | 0 | 3498 3851 1179500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17603 c Elapsed CPU time: 130.873 s Remaining CPU time: 49.1269 s c =============================================================================== c | 0 | 3498 3852 1182850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17602 c Elapsed CPU time: 131.569 s Remaining CPU time: 48.431 s c =============================================================================== c | 0 | 3498 3853 1186200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17600 c Elapsed CPU time: 132.232 s Remaining CPU time: 47.7681 s c =============================================================================== c | 0 | 3498 3854 1189550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17599 c Elapsed CPU time: 132.884 s Remaining CPU time: 47.1162 s c =============================================================================== c | 0 | 3498 3855 1192900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17598 c Elapsed CPU time: 133.555 s Remaining CPU time: 46.4453 s c =============================================================================== c | 0 | 3498 3856 1196250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17597 c Elapsed CPU time: 134.213 s Remaining CPU time: 45.7874 s c =============================================================================== c | 0 | 3498 3857 1199600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17595 c Elapsed CPU time: 134.865 s Remaining CPU time: 45.1345 s c =============================================================================== c | 0 | 3498 3858 1202950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17594 c Elapsed CPU time: 135.533 s Remaining CPU time: 44.4666 s c =============================================================================== c | 0 | 3498 3859 1206300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17593 c Elapsed CPU time: 136.203 s Remaining CPU time: 43.7967 s c =============================================================================== c | 0 | 3498 3860 1209650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17591 c Elapsed CPU time: 136.858 s Remaining CPU time: 43.1418 s c =============================================================================== c | 0 | 3498 3861 1213000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17589 c Elapsed CPU time: 137.513 s Remaining CPU time: 42.4869 s c =============================================================================== c | 0 | 3498 3862 1216350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17588 c Elapsed CPU time: 138.179 s Remaining CPU time: 41.821 s c =============================================================================== c | 0 | 3498 3863 1219700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17587 c Elapsed CPU time: 138.903 s Remaining CPU time: 41.0971 s c =============================================================================== c | 0 | 3498 3864 1223050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17586 c Elapsed CPU time: 139.624 s Remaining CPU time: 40.3762 s c =============================================================================== c | 0 | 3498 3865 1226400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17585 c Elapsed CPU time: 140.379 s Remaining CPU time: 39.6213 s c =============================================================================== c | 0 | 3498 3866 1229750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17584 c Elapsed CPU time: 141.12 s Remaining CPU time: 38.8805 s c =============================================================================== c | 0 | 3498 3867 1233100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17582 c Elapsed CPU time: 141.834 s Remaining CPU time: 38.1656 s c =============================================================================== c | 0 | 3498 3868 1236450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17581 c Elapsed CPU time: 142.583 s Remaining CPU time: 37.4167 s c =============================================================================== c | 0 | 3498 3869 1239800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17580 c Elapsed CPU time: 143.324 s Remaining CPU time: 36.6758 s c =============================================================================== c | 0 | 3498 3870 1243150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17579 c Elapsed CPU time: 144.054 s Remaining CPU time: 35.9459 s c =============================================================================== c | 0 | 3498 3871 1246500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17577 c Elapsed CPU time: 144.774 s Remaining CPU time: 35.226 s c =============================================================================== c | 0 | 3498 3872 1249850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17576 c Elapsed CPU time: 145.507 s Remaining CPU time: 34.4931 s c =============================================================================== c | 0 | 3498 3873 1253200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17574 c Elapsed CPU time: 146.233 s Remaining CPU time: 33.7672 s c =============================================================================== c | 0 | 3498 3874 1256550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17573 c Elapsed CPU time: 146.978 s Remaining CPU time: 33.0223 s c =============================================================================== c | 0 | 3498 3875 1259900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17570 c Elapsed CPU time: 147.716 s Remaining CPU time: 32.2845 s c =============================================================================== c | 0 | 3498 3876 1263250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17568 c Elapsed CPU time: 148.468 s Remaining CPU time: 31.5316 s c =============================================================================== c | 0 | 3498 3877 1266600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17567 c Elapsed CPU time: 149.199 s Remaining CPU time: 30.8007 s c =============================================================================== c | 0 | 3498 3878 1269950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17566 c Elapsed CPU time: 149.954 s Remaining CPU time: 30.0458 s c =============================================================================== c | 0 | 3498 3879 1273300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17565 c Elapsed CPU time: 150.715 s Remaining CPU time: 29.2849 s c =============================================================================== c | 0 | 3498 3880 1276650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17564 c Elapsed CPU time: 151.48 s Remaining CPU time: 28.52 s c =============================================================================== c | 0 | 3498 3881 1280000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17563 c Elapsed CPU time: 152.228 s Remaining CPU time: 27.7721 s c =============================================================================== c | 0 | 3498 3882 1283350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17561 c Elapsed CPU time: 152.967 s Remaining CPU time: 27.0333 s c =============================================================================== c | 0 | 3498 3883 1286700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17559 c Elapsed CPU time: 153.73 s Remaining CPU time: 26.2704 s c =============================================================================== c | 0 | 3498 3884 1290050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17556 c Elapsed CPU time: 154.486 s Remaining CPU time: 25.5145 s c =============================================================================== c | 0 | 3498 3885 1293400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17555 c Elapsed CPU time: 155.228 s Remaining CPU time: 24.7716 s c =============================================================================== c | 0 | 3498 3886 1296750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17553 c Elapsed CPU time: 155.985 s Remaining CPU time: 24.0147 s c =============================================================================== c | 0 | 3498 3887 1300100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17551 c Elapsed CPU time: 156.76 s Remaining CPU time: 23.2398 s c =============================================================================== c | 0 | 3498 3888 1303450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17550 c Elapsed CPU time: 157.525 s Remaining CPU time: 22.4749 s c =============================================================================== c | 0 | 3498 3889 1306800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17548 c Elapsed CPU time: 158.312 s Remaining CPU time: 21.6881 s c =============================================================================== c | 0 | 3498 3890 1310150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17546 c Elapsed CPU time: 159.073 s Remaining CPU time: 20.9272 s c =============================================================================== c | 0 | 3498 3891 1313500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17544 c Elapsed CPU time: 159.857 s Remaining CPU time: 20.1433 s c =============================================================================== c | 0 | 3498 3892 1316850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17543 c Elapsed CPU time: 160.626 s Remaining CPU time: 19.3744 s c =============================================================================== c | 0 | 3498 3893 1320200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17542 c Elapsed CPU time: 161.388 s Remaining CPU time: 18.6115 s c =============================================================================== c | 0 | 3498 3894 1323550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17539 c Elapsed CPU time: 162.192 s Remaining CPU time: 17.8077 s c =============================================================================== c | 0 | 3498 3895 1326900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17538 c Elapsed CPU time: 162.997 s Remaining CPU time: 17.0028 s c =============================================================================== c | 0 | 3498 3896 1330250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17537 c Elapsed CPU time: 163.812 s Remaining CPU time: 16.1879 s c =============================================================================== c | 0 | 3498 3897 1333600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17536 c Elapsed CPU time: 164.605 s Remaining CPU time: 15.395 s c =============================================================================== c | 0 | 3498 3898 1336950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17535 c Elapsed CPU time: 165.406 s Remaining CPU time: 14.5941 s c =============================================================================== c | 0 | 3498 3899 1340300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17534 c Elapsed CPU time: 166.237 s Remaining CPU time: 13.7633 s c =============================================================================== c | 0 | 3498 3900 1343650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17531 c Elapsed CPU time: 167.034 s Remaining CPU time: 12.9664 s c =============================================================================== c | 0 | 3498 3901 1347000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17530 c Elapsed CPU time: 167.859 s Remaining CPU time: 12.1405 s c =============================================================================== c | 0 | 3498 3902 1350350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17529 c Elapsed CPU time: 168.642 s Remaining CPU time: 11.3576 s c =============================================================================== c | 0 | 3498 3903 1353700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17528 c Elapsed CPU time: 169.444 s Remaining CPU time: 10.5558 s c =============================================================================== c | 0 | 3498 3904 1357050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17527 c Elapsed CPU time: 170.212 s Remaining CPU time: 9.78788 s c =============================================================================== c | 0 | 3498 3905 1360400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17525 c Elapsed CPU time: 171.004 s Remaining CPU time: 8.996 s c =============================================================================== c | 0 | 3498 3906 1363750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17524 c Elapsed CPU time: 171.78 s Remaining CPU time: 8.22011 s c =============================================================================== c | 0 | 3498 3907 1367100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17523 c Elapsed CPU time: 172.567 s Remaining CPU time: 7.43323 s c =============================================================================== c | 0 | 3498 3908 1370450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17522 c Elapsed CPU time: 173.346 s Remaining CPU time: 6.65435 s c =============================================================================== c | 0 | 3498 3909 1373800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17521 c Elapsed CPU time: 174.129 s Remaining CPU time: 5.87147 s c =============================================================================== c | 0 | 3498 3910 1377150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17519 c Elapsed CPU time: 174.897 s Remaining CPU time: 5.10259 s c =============================================================================== c | 0 | 3498 3911 1380500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17517 c Elapsed CPU time: 175.681 s Remaining CPU time: 4.31871 s c =============================================================================== c | 0 | 3498 3912 1383850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17516 c Elapsed CPU time: 176.503 s Remaining CPU time: 3.49683 s c =============================================================================== c | 0 | 3498 3913 1387200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17515 c Elapsed CPU time: 177.331 s Remaining CPU time: 2.66896 s c =============================================================================== c | 0 | 3498 3914 1390550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17514 c Elapsed CPU time: 178.134 s Remaining CPU time: 1.86608 s c =============================================================================== c | 0 | 3498 3915 1393900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17513 c Elapsed CPU time: 178.923 s Remaining CPU time: 1.0772 s c =============================================================================== c | 0 | 3498 3916 1397250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 17512 c Elapsed CPU time: 179.736 s Remaining CPU time: 0.264324 s c =============================================================================== c | 0 | 3498 3917 1400600 | 5000 0 nan | 0.000 % | c There are 2 assigned variables. 0 in cost function.