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 | 3493 3507 10325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18317 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 3493 3508 13675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18316 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 3493 3509 17025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18311 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 0 | 3493 3510 20375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18310 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 3493 3511 23725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18309 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 3493 3512 27075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18308 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 0 | 3493 3513 30425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18303 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 0 | 3493 3514 33775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18302 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 0 | 3493 3515 37125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18300 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 0 | 3493 3516 40475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18294 c Elapsed CPU time: 0.470928 s Remaining CPU time: 179.529 s c =============================================================================== c | 0 | 3493 3517 43825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18293 c Elapsed CPU time: 0.52192 s Remaining CPU time: 179.478 s c =============================================================================== c | 0 | 3493 3518 47175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18292 c Elapsed CPU time: 0.571913 s Remaining CPU time: 179.428 s c =============================================================================== c | 0 | 3493 3519 50525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18290 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 0 | 3493 3520 53875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18289 c Elapsed CPU time: 0.678896 s Remaining CPU time: 179.321 s c =============================================================================== c | 0 | 3493 3521 57225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18288 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 0 | 3493 3522 60575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18284 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 0 | 3493 3523 63925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18283 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 0 | 3493 3524 67275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18282 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s c =============================================================================== c | 0 | 3493 3525 70625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18278 c Elapsed CPU time: 0.953854 s Remaining CPU time: 179.046 s c =============================================================================== c | 0 | 3493 3526 73975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18277 c Elapsed CPU time: 1.01585 s Remaining CPU time: 178.984 s c =============================================================================== c | 0 | 3493 3527 77325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18276 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 0 | 3493 3528 80675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18275 c Elapsed CPU time: 1.13783 s Remaining CPU time: 178.862 s c =============================================================================== c | 0 | 3493 3529 84025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18274 c Elapsed CPU time: 1.20182 s Remaining CPU time: 178.798 s c =============================================================================== c | 0 | 3493 3530 87375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18271 c Elapsed CPU time: 1.26581 s Remaining CPU time: 178.734 s c =============================================================================== c | 0 | 3493 3531 90725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18269 c Elapsed CPU time: 1.3338 s Remaining CPU time: 178.666 s c =============================================================================== c | 0 | 3493 3532 94075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18268 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 0 | 3493 3533 97425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18266 c Elapsed CPU time: 1.47677 s Remaining CPU time: 178.523 s c =============================================================================== c | 0 | 3493 3534 100775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18263 c Elapsed CPU time: 1.54976 s Remaining CPU time: 178.45 s c =============================================================================== c | 0 | 3493 3535 104125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18262 c Elapsed CPU time: 1.62675 s Remaining CPU time: 178.373 s c =============================================================================== c | 0 | 3493 3536 107475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18259 c Elapsed CPU time: 1.70374 s Remaining CPU time: 178.296 s c =============================================================================== c | 0 | 3493 3537 110825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18257 c Elapsed CPU time: 1.77973 s Remaining CPU time: 178.22 s c =============================================================================== c | 0 | 3493 3538 114175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18256 c Elapsed CPU time: 1.86172 s Remaining CPU time: 178.138 s c =============================================================================== c | 0 | 3493 3539 117525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18255 c Elapsed CPU time: 1.9487 s Remaining CPU time: 178.051 s c =============================================================================== c | 0 | 3493 3540 120875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18250 c Elapsed CPU time: 2.03269 s Remaining CPU time: 177.967 s c =============================================================================== c | 0 | 3493 3541 124225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18248 c Elapsed CPU time: 2.11968 s Remaining CPU time: 177.88 s c =============================================================================== c | 0 | 3493 3542 127575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18242 c Elapsed CPU time: 2.21166 s Remaining CPU time: 177.788 s c =============================================================================== c | 0 | 3493 3543 130925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18240 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 0 | 3493 3544 134275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18239 c Elapsed CPU time: 2.39663 s Remaining CPU time: 177.603 s c =============================================================================== c | 0 | 3493 3545 137625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18237 c Elapsed CPU time: 2.49562 s Remaining CPU time: 177.504 s c =============================================================================== c | 0 | 3493 3546 140975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18236 c Elapsed CPU time: 2.6026 s Remaining CPU time: 177.397 s c =============================================================================== c | 0 | 3493 3547 144325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18235 c Elapsed CPU time: 2.71059 s Remaining CPU time: 177.289 s c =============================================================================== c | 0 | 3493 3548 147675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18233 c Elapsed CPU time: 2.82257 s Remaining CPU time: 177.177 s c =============================================================================== c | 0 | 3493 3549 151025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18231 c Elapsed CPU time: 2.93655 s Remaining CPU time: 177.063 s c =============================================================================== c | 0 | 3493 3550 154375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18230 c Elapsed CPU time: 3.04954 s Remaining CPU time: 176.95 s c =============================================================================== c | 0 | 3493 3551 157725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18229 c Elapsed CPU time: 3.16852 s Remaining CPU time: 176.831 s c =============================================================================== c | 0 | 3493 3552 161075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18228 c Elapsed CPU time: 3.2885 s Remaining CPU time: 176.712 s c =============================================================================== c | 0 | 3493 3553 164425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18227 c Elapsed CPU time: 3.41148 s Remaining CPU time: 176.589 s c =============================================================================== c | 0 | 3493 3554 167775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18225 c Elapsed CPU time: 3.53746 s Remaining CPU time: 176.463 s c =============================================================================== c | 0 | 3493 3555 171125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18223 c Elapsed CPU time: 3.66344 s Remaining CPU time: 176.337 s c =============================================================================== c | 0 | 3493 3556 174475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18222 c Elapsed CPU time: 3.79442 s Remaining CPU time: 176.206 s c =============================================================================== c | 0 | 3493 3557 177825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18221 c Elapsed CPU time: 3.9274 s Remaining CPU time: 176.073 s c =============================================================================== c | 0 | 3493 3558 181175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18220 c Elapsed CPU time: 4.05938 s Remaining CPU time: 175.941 s c =============================================================================== c | 0 | 3493 3559 184525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18219 c Elapsed CPU time: 4.19236 s Remaining CPU time: 175.808 s c =============================================================================== c | 0 | 3493 3560 187875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18215 c Elapsed CPU time: 4.32834 s Remaining CPU time: 175.672 s c =============================================================================== c | 0 | 3493 3561 191225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18210 c Elapsed CPU time: 4.47132 s Remaining CPU time: 175.529 s c =============================================================================== c | 0 | 3493 3562 194575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18209 c Elapsed CPU time: 4.6183 s Remaining CPU time: 175.382 s c =============================================================================== c | 0 | 3493 3563 197925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18208 c Elapsed CPU time: 4.76828 s Remaining CPU time: 175.232 s c =============================================================================== c | 0 | 3493 3564 201275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18205 c Elapsed CPU time: 4.91625 s Remaining CPU time: 175.084 s c =============================================================================== c | 0 | 3493 3565 204625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18204 c Elapsed CPU time: 5.06523 s Remaining CPU time: 174.935 s c =============================================================================== c | 0 | 3493 3566 207975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18201 c Elapsed CPU time: 5.21421 s Remaining CPU time: 174.786 s c =============================================================================== c | 0 | 3493 3567 211325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18197 c Elapsed CPU time: 5.37018 s Remaining CPU time: 174.63 s c =============================================================================== c | 0 | 3493 3568 214675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18196 c Elapsed CPU time: 5.52816 s Remaining CPU time: 174.472 s c =============================================================================== c | 0 | 3493 3569 218025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18194 c Elapsed CPU time: 5.68614 s Remaining CPU time: 174.314 s c =============================================================================== c | 0 | 3493 3570 221375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18193 c Elapsed CPU time: 5.84911 s Remaining CPU time: 174.151 s c =============================================================================== c | 0 | 3493 3571 224725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18191 c Elapsed CPU time: 6.01309 s Remaining CPU time: 173.987 s c =============================================================================== c | 0 | 3493 3572 228075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18189 c Elapsed CPU time: 6.17506 s Remaining CPU time: 173.825 s c =============================================================================== c | 0 | 3493 3573 231425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18188 c Elapsed CPU time: 6.34703 s Remaining CPU time: 173.653 s c =============================================================================== c | 0 | 3493 3574 234775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18185 c Elapsed CPU time: 6.51701 s Remaining CPU time: 173.483 s c =============================================================================== c | 0 | 3493 3575 238125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18182 c Elapsed CPU time: 6.69498 s Remaining CPU time: 173.305 s c =============================================================================== c | 0 | 3493 3576 241475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18181 c Elapsed CPU time: 6.87396 s Remaining CPU time: 173.126 s c =============================================================================== c | 0 | 3493 3577 244825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18180 c Elapsed CPU time: 7.05393 s Remaining CPU time: 172.946 s c =============================================================================== c | 0 | 3493 3578 248175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18177 c Elapsed CPU time: 7.2349 s Remaining CPU time: 172.765 s c =============================================================================== c | 0 | 3493 3579 251525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18175 c Elapsed CPU time: 7.41787 s Remaining CPU time: 172.582 s c =============================================================================== c | 0 | 3493 3580 254875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18174 c Elapsed CPU time: 7.60684 s Remaining CPU time: 172.393 s c =============================================================================== c | 0 | 3493 3581 258225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18172 c Elapsed CPU time: 7.78981 s Remaining CPU time: 172.21 s c =============================================================================== c | 0 | 3493 3582 261575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18169 c Elapsed CPU time: 7.97279 s Remaining CPU time: 172.027 s c =============================================================================== c | 0 | 3493 3583 264925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18166 c Elapsed CPU time: 8.16176 s Remaining CPU time: 171.838 s c =============================================================================== c | 0 | 3493 3584 268275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18165 c Elapsed CPU time: 8.35873 s Remaining CPU time: 171.641 s c =============================================================================== c | 0 | 3493 3585 271625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18163 c Elapsed CPU time: 8.5547 s Remaining CPU time: 171.445 s c =============================================================================== c | 0 | 3493 3586 274975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18162 c Elapsed CPU time: 8.75367 s Remaining CPU time: 171.246 s c =============================================================================== c | 0 | 3493 3587 278325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18160 c Elapsed CPU time: 8.95464 s Remaining CPU time: 171.045 s c =============================================================================== c | 0 | 3493 3588 281675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18158 c Elapsed CPU time: 9.15461 s Remaining CPU time: 170.845 s c =============================================================================== c | 0 | 3493 3589 285025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18157 c Elapsed CPU time: 9.36158 s Remaining CPU time: 170.638 s c =============================================================================== c | 0 | 3493 3590 288375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18156 c Elapsed CPU time: 9.56555 s Remaining CPU time: 170.434 s c =============================================================================== c | 0 | 3493 3591 291725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18155 c Elapsed CPU time: 9.77151 s Remaining CPU time: 170.228 s c =============================================================================== c | 0 | 3493 3592 295075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18152 c Elapsed CPU time: 9.97648 s Remaining CPU time: 170.024 s c =============================================================================== c | 0 | 3493 3593 298425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18151 c Elapsed CPU time: 10.1875 s Remaining CPU time: 169.813 s c =============================================================================== c | 0 | 3493 3594 301775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18150 c Elapsed CPU time: 10.4014 s Remaining CPU time: 169.599 s c =============================================================================== c | 0 | 3493 3595 305125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18149 c Elapsed CPU time: 10.5994 s Remaining CPU time: 169.401 s c =============================================================================== c | 0 | 3493 3596 308475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18144 c Elapsed CPU time: 10.7824 s Remaining CPU time: 169.218 s c =============================================================================== c | 0 | 3493 3597 311825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18139 c Elapsed CPU time: 10.9653 s Remaining CPU time: 169.035 s c =============================================================================== c | 0 | 3493 3598 315175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18137 c Elapsed CPU time: 11.1493 s Remaining CPU time: 168.851 s c =============================================================================== c | 0 | 3493 3599 318525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18136 c Elapsed CPU time: 11.3433 s Remaining CPU time: 168.657 s c =============================================================================== c | 0 | 3493 3600 321875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18135 c Elapsed CPU time: 11.5602 s Remaining CPU time: 168.44 s c =============================================================================== c | 0 | 3493 3601 325225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18133 c Elapsed CPU time: 11.7702 s Remaining CPU time: 168.23 s c =============================================================================== c | 0 | 3493 3602 328575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18132 c Elapsed CPU time: 11.9802 s Remaining CPU time: 168.02 s c =============================================================================== c | 0 | 3493 3603 331925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18131 c Elapsed CPU time: 12.1941 s Remaining CPU time: 167.806 s c =============================================================================== c | 0 | 3493 3604 335275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18130 c Elapsed CPU time: 12.4051 s Remaining CPU time: 167.595 s c =============================================================================== c | 0 | 3493 3605 338625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18129 c Elapsed CPU time: 12.6201 s Remaining CPU time: 167.38 s c =============================================================================== c | 0 | 3493 3606 341975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18127 c Elapsed CPU time: 12.829 s Remaining CPU time: 167.171 s c =============================================================================== c | 0 | 3493 3607 345325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18125 c Elapsed CPU time: 13.043 s Remaining CPU time: 166.957 s c =============================================================================== c | 0 | 3493 3608 348675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18122 c Elapsed CPU time: 13.249 s Remaining CPU time: 166.751 s c =============================================================================== c | 0 | 3493 3609 352025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18119 c Elapsed CPU time: 13.466 s Remaining CPU time: 166.534 s c =============================================================================== c | 0 | 3493 3610 355375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18118 c Elapsed CPU time: 13.6929 s Remaining CPU time: 166.307 s c =============================================================================== c | 0 | 3493 3611 358725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18117 c Elapsed CPU time: 13.9209 s Remaining CPU time: 166.079 s c =============================================================================== c | 0 | 3493 3612 362075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18115 c Elapsed CPU time: 14.1458 s Remaining CPU time: 165.854 s c =============================================================================== c | 0 | 3493 3613 365425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18114 c Elapsed CPU time: 14.3908 s Remaining CPU time: 165.609 s c =============================================================================== c | 0 | 3493 3614 368775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18113 c Elapsed CPU time: 14.6368 s Remaining CPU time: 165.363 s c =============================================================================== c | 0 | 3493 3615 372125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18111 c Elapsed CPU time: 14.9097 s Remaining CPU time: 165.09 s c =============================================================================== c | 0 | 3493 3616 375475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18110 c Elapsed CPU time: 15.1807 s Remaining CPU time: 164.819 s c =============================================================================== c | 0 | 3493 3617 378825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18108 c Elapsed CPU time: 15.4686 s Remaining CPU time: 164.531 s c =============================================================================== c | 0 | 3493 3618 382175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18106 c Elapsed CPU time: 15.7576 s Remaining CPU time: 164.242 s c =============================================================================== c | 0 | 3493 3619 385525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18104 c Elapsed CPU time: 16.0466 s Remaining CPU time: 163.953 s c =============================================================================== c | 0 | 3493 3620 388875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18100 c Elapsed CPU time: 16.3265 s Remaining CPU time: 163.673 s c =============================================================================== c | 0 | 3493 3621 392225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18098 c Elapsed CPU time: 16.6145 s Remaining CPU time: 163.386 s c =============================================================================== c | 0 | 3493 3622 395575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18097 c Elapsed CPU time: 16.9144 s Remaining CPU time: 163.086 s c =============================================================================== c | 0 | 3493 3623 398925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18094 c Elapsed CPU time: 17.2144 s Remaining CPU time: 162.786 s c =============================================================================== c | 0 | 3493 3624 402275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18093 c Elapsed CPU time: 17.5143 s Remaining CPU time: 162.486 s c =============================================================================== c | 0 | 3493 3625 405625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18092 c Elapsed CPU time: 17.8113 s Remaining CPU time: 162.189 s c =============================================================================== c | 0 | 3493 3626 408975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18091 c Elapsed CPU time: 18.1062 s Remaining CPU time: 161.894 s c =============================================================================== c | 0 | 3493 3627 412325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18090 c Elapsed CPU time: 18.4172 s Remaining CPU time: 161.583 s c =============================================================================== c | 0 | 3493 3628 415675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18089 c Elapsed CPU time: 18.7431 s Remaining CPU time: 161.257 s c =============================================================================== c | 0 | 3493 3629 419025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18088 c Elapsed CPU time: 19.0711 s Remaining CPU time: 160.929 s c =============================================================================== c | 0 | 3493 3630 422375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18085 c Elapsed CPU time: 19.4031 s Remaining CPU time: 160.597 s c =============================================================================== c | 0 | 3493 3631 425725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18084 c Elapsed CPU time: 19.725 s Remaining CPU time: 160.275 s c =============================================================================== c | 0 | 3493 3632 429075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18083 c Elapsed CPU time: 20.054 s Remaining CPU time: 159.946 s c =============================================================================== c | 0 | 3493 3633 432425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18080 c Elapsed CPU time: 20.3909 s Remaining CPU time: 159.609 s c =============================================================================== c | 0 | 3493 3634 435775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18079 c Elapsed CPU time: 20.7199 s Remaining CPU time: 159.28 s c =============================================================================== c | 0 | 3493 3635 439125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18075 c Elapsed CPU time: 21.0558 s Remaining CPU time: 158.944 s c =============================================================================== c | 0 | 3493 3636 442475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18074 c Elapsed CPU time: 21.3927 s Remaining CPU time: 158.607 s c =============================================================================== c | 0 | 3493 3637 445825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18073 c Elapsed CPU time: 21.7277 s Remaining CPU time: 158.272 s c =============================================================================== c | 0 | 3493 3638 449175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18072 c Elapsed CPU time: 22.0866 s Remaining CPU time: 157.913 s c =============================================================================== c | 0 | 3493 3639 452525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18071 c Elapsed CPU time: 22.4506 s Remaining CPU time: 157.549 s c =============================================================================== c | 0 | 3493 3640 455875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18070 c Elapsed CPU time: 22.8055 s Remaining CPU time: 157.194 s c =============================================================================== c | 0 | 3493 3641 459225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18067 c Elapsed CPU time: 23.1595 s Remaining CPU time: 156.841 s c =============================================================================== c | 0 | 3493 3642 462575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18066 c Elapsed CPU time: 23.5194 s Remaining CPU time: 156.481 s c =============================================================================== c | 0 | 3493 3643 465925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18065 c Elapsed CPU time: 23.8844 s Remaining CPU time: 156.116 s c =============================================================================== c | 0 | 3493 3644 469275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18064 c Elapsed CPU time: 24.2593 s Remaining CPU time: 155.741 s c =============================================================================== c | 0 | 3493 3645 472625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18063 c Elapsed CPU time: 24.6413 s Remaining CPU time: 155.359 s c =============================================================================== c | 0 | 3493 3646 475975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18062 c Elapsed CPU time: 25.0232 s Remaining CPU time: 154.977 s c =============================================================================== c | 0 | 3493 3647 479325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18061 c Elapsed CPU time: 25.4031 s Remaining CPU time: 154.597 s c =============================================================================== c | 0 | 3493 3648 482675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18060 c Elapsed CPU time: 25.7831 s Remaining CPU time: 154.217 s c =============================================================================== c | 0 | 3493 3649 486025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18059 c Elapsed CPU time: 26.153 s Remaining CPU time: 153.847 s c =============================================================================== c | 0 | 3493 3650 489375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18058 c Elapsed CPU time: 26.534 s Remaining CPU time: 153.466 s c =============================================================================== c | 0 | 3493 3651 492725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18057 c Elapsed CPU time: 26.9159 s Remaining CPU time: 153.084 s c =============================================================================== c | 0 | 3493 3652 496075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18056 c Elapsed CPU time: 27.2919 s Remaining CPU time: 152.708 s c =============================================================================== c | 0 | 3493 3653 499425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18055 c Elapsed CPU time: 27.6768 s Remaining CPU time: 152.323 s c =============================================================================== c | 0 | 3493 3654 502775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18053 c Elapsed CPU time: 28.0647 s Remaining CPU time: 151.935 s c =============================================================================== c | 0 | 3493 3655 506125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18050 c Elapsed CPU time: 28.4547 s Remaining CPU time: 151.545 s c =============================================================================== c | 0 | 3493 3656 509475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18049 c Elapsed CPU time: 28.8366 s Remaining CPU time: 151.163 s c =============================================================================== c | 0 | 3493 3657 512825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18047 c Elapsed CPU time: 29.2256 s Remaining CPU time: 150.774 s c =============================================================================== c | 0 | 3493 3658 516175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18046 c Elapsed CPU time: 29.6135 s Remaining CPU time: 150.387 s c =============================================================================== c | 0 | 3493 3659 519525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18045 c Elapsed CPU time: 30.0164 s Remaining CPU time: 149.984 s c =============================================================================== c | 0 | 3493 3660 522875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18043 c Elapsed CPU time: 30.4134 s Remaining CPU time: 149.587 s c =============================================================================== c | 0 | 3493 3661 526225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18042 c Elapsed CPU time: 30.8083 s Remaining CPU time: 149.192 s c =============================================================================== c | 0 | 3493 3662 529575 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18040 c Elapsed CPU time: 31.2073 s Remaining CPU time: 148.793 s c =============================================================================== c | 0 | 3493 3663 532925 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18039 c Elapsed CPU time: 31.6012 s Remaining CPU time: 148.399 s c =============================================================================== c | 0 | 3493 3664 536275 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18035 c Elapsed CPU time: 31.9971 s Remaining CPU time: 148.003 s c =============================================================================== c | 0 | 3493 3665 539625 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18034 c Elapsed CPU time: 32.4491 s Remaining CPU time: 147.551 s c =============================================================================== c | 0 | 3493 3666 542975 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18033 c Elapsed CPU time: 32.894 s Remaining CPU time: 147.106 s c =============================================================================== c | 0 | 3493 3667 546325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18032 c Elapsed CPU time: 33.3509 s Remaining CPU time: 146.649 s c =============================================================================== c | 0 | 3493 3668 549675 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18030 c Elapsed CPU time: 33.7959 s Remaining CPU time: 146.204 s c =============================================================================== c | 0 | 3493 3669 553025 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18029 c Elapsed CPU time: 34.2468 s Remaining CPU time: 145.753 s c =============================================================================== c | 0 | 3493 3670 556375 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18027 c Elapsed CPU time: 34.6887 s Remaining CPU time: 145.311 s c =============================================================================== c | 0 | 3493 3671 559725 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18026 c Elapsed CPU time: 35.1407 s Remaining CPU time: 144.859 s c =============================================================================== c | 0 | 3493 3672 563075 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18025 c Elapsed CPU time: 35.6016 s Remaining CPU time: 144.398 s c =============================================================================== c | 0 | 3493 3673 566425 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18024 c Elapsed CPU time: 36.0635 s Remaining CPU time: 143.936 s c =============================================================================== c | 0 | 3493 3674 569775 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18023 c Elapsed CPU time: 36.5254 s Remaining CPU time: 143.475 s c =============================================================================== c | 0 | 3493 3675 573125 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18022 c Elapsed CPU time: 36.9784 s Remaining CPU time: 143.022 s c =============================================================================== c | 0 | 3493 3676 576475 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18021 c Elapsed CPU time: 37.4363 s Remaining CPU time: 142.564 s c =============================================================================== c | 0 | 3493 3677 579825 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18019 c Elapsed CPU time: 37.8822 s Remaining CPU time: 142.118 s c =============================================================================== c | 0 | 3493 3678 583175 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18017 c Elapsed CPU time: 38.3392 s Remaining CPU time: 141.661 s c =============================================================================== c | 0 | 3493 3679 586525 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18016 c Elapsed CPU time: 38.7911 s Remaining CPU time: 141.209 s c =============================================================================== c | 0 | 3493 3680 589875 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18013 c Elapsed CPU time: 39.248 s Remaining CPU time: 140.752 s c =============================================================================== c | 0 | 3493 3681 593225 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18012 c Elapsed CPU time: 39.699 s Remaining CPU time: 140.301 s c =============================================================================== c | 1 | 3493 3682 596575 | 5000 1 3310 | 0.000 % | c =============================================================================== c New solution: 18011 c Elapsed CPU time: 40.1799 s Remaining CPU time: 139.82 s c =============================================================================== c | 6 | 3493 3683 599925 | 5000 6 3307 | 0.000 % | c =============================================================================== c New solution: 18010 c Elapsed CPU time: 40.6128 s Remaining CPU time: 139.387 s c =============================================================================== c | 6 | 3493 3684 603275 | 5000 6 3307 | 0.000 % | c =============================================================================== c New solution: 18009 c Elapsed CPU time: 41.0988 s Remaining CPU time: 138.901 s c =============================================================================== c | 7 | 3493 3685 606625 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 18008 c Elapsed CPU time: 41.5587 s Remaining CPU time: 138.441 s c =============================================================================== c | 7 | 3493 3686 609975 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 18007 c Elapsed CPU time: 42.0316 s Remaining CPU time: 137.968 s c =============================================================================== c | 7 | 3493 3687 613325 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 18006 c Elapsed CPU time: 42.4615 s Remaining CPU time: 137.538 s c =============================================================================== c | 7 | 3493 3688 616675 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 18005 c Elapsed CPU time: 42.8865 s Remaining CPU time: 137.114 s c =============================================================================== c | 7 | 3493 3689 620025 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 18004 c Elapsed CPU time: 43.3794 s Remaining CPU time: 136.621 s c =============================================================================== c | 7 | 3493 3690 623375 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 18003 c Elapsed CPU time: 43.8513 s Remaining CPU time: 136.149 s c =============================================================================== c | 7 | 3493 3691 626725 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 18002 c Elapsed CPU time: 44.2993 s Remaining CPU time: 135.701 s c =============================================================================== c | 7 | 3493 3692 630075 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 18001 c Elapsed CPU time: 44.7612 s Remaining CPU time: 135.239 s c =============================================================================== c | 7 | 3493 3693 633425 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 18000 c Elapsed CPU time: 45.2681 s Remaining CPU time: 134.732 s c =============================================================================== c | 7 | 3493 3694 636775 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 17999 c Elapsed CPU time: 45.748 s Remaining CPU time: 134.252 s c =============================================================================== c | 7 | 3493 3695 640125 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 17998 c Elapsed CPU time: 46.23 s Remaining CPU time: 133.77 s c =============================================================================== c | 7 | 3493 3696 643475 | 5000 7 3306 | 0.000 % | c =============================================================================== c New solution: 17997 c Elapsed CPU time: 46.7119 s Remaining CPU time: 133.288 s c =============================================================================== c | 8 | 3493 3697 646825 | 5000 8 2893 | 0.000 % | c =============================================================================== c New solution: 17996 c Elapsed CPU time: 47.1608 s Remaining CPU time: 132.839 s c =============================================================================== c | 8 | 3493 3698 650175 | 5000 8 2893 | 0.000 % | c =============================================================================== c New solution: 17995 c Elapsed CPU time: 47.6388 s Remaining CPU time: 132.361 s c =============================================================================== c | 8 | 3493 3699 653525 | 5000 8 2893 | 0.000 % | c =============================================================================== c New solution: 17994 c Elapsed CPU time: 48.1207 s Remaining CPU time: 131.879 s c =============================================================================== c | 8 | 3493 3700 656875 | 5000 8 2893 | 0.000 % | c =============================================================================== c New solution: 17993 c Elapsed CPU time: 48.6026 s Remaining CPU time: 131.397 s c =============================================================================== c | 10 | 3493 3701 660225 | 5000 10 2645 | 0.000 % | c =============================================================================== c New solution: 17992 c Elapsed CPU time: 49.0675 s Remaining CPU time: 130.932 s c =============================================================================== c | 11 | 3493 3702 663575 | 5000 11 2704 | 0.000 % | c =============================================================================== c New solution: 17991 c Elapsed CPU time: 49.5285 s Remaining CPU time: 130.472 s c =============================================================================== c | 11 | 3493 3703 666925 | 5000 11 2704 | 0.000 % | c =============================================================================== c New solution: 17990 c Elapsed CPU time: 50.0114 s Remaining CPU time: 129.989 s c =============================================================================== c | 14 | 3493 3704 670275 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17989 c Elapsed CPU time: 50.5083 s Remaining CPU time: 129.492 s c =============================================================================== c | 14 | 3493 3705 673625 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17988 c Elapsed CPU time: 51.0232 s Remaining CPU time: 128.977 s c =============================================================================== c | 14 | 3493 3706 676975 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17987 c Elapsed CPU time: 51.5292 s Remaining CPU time: 128.471 s c =============================================================================== c | 14 | 3493 3707 680325 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17986 c Elapsed CPU time: 52.0061 s Remaining CPU time: 127.994 s c =============================================================================== c | 14 | 3493 3708 683675 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17985 c Elapsed CPU time: 52.509 s Remaining CPU time: 127.491 s c =============================================================================== c | 14 | 3493 3709 687025 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17984 c Elapsed CPU time: 52.9969 s Remaining CPU time: 127.003 s c =============================================================================== c | 14 | 3493 3710 690375 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17982 c Elapsed CPU time: 53.5029 s Remaining CPU time: 126.497 s c =============================================================================== c | 14 | 3493 3711 693725 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17981 c Elapsed CPU time: 53.9908 s Remaining CPU time: 126.009 s c =============================================================================== c | 14 | 3493 3712 697075 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17980 c Elapsed CPU time: 54.5237 s Remaining CPU time: 125.476 s c =============================================================================== c | 14 | 3493 3713 700425 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17979 c Elapsed CPU time: 55.1456 s Remaining CPU time: 124.854 s c =============================================================================== c | 14 | 3493 3714 703775 | 5000 14 2832 | 0.000 % | c =============================================================================== c New solution: 17978 c Elapsed CPU time: 55.7035 s Remaining CPU time: 124.296 s c =============================================================================== c | 18 | 3493 3715 707125 | 5000 18 2936 | 0.000 % | c =============================================================================== c New solution: 17977 c Elapsed CPU time: 56.2734 s Remaining CPU time: 123.727 s c =============================================================================== c | 18 | 3493 3716 710475 | 5000 18 2936 | 0.000 % | c =============================================================================== c New solution: 17976 c Elapsed CPU time: 56.8004 s Remaining CPU time: 123.2 s c =============================================================================== c | 19 | 3493 3717 713825 | 5000 19 2955 | 0.000 % | c =============================================================================== c New solution: 17975 c Elapsed CPU time: 57.3643 s Remaining CPU time: 122.636 s c =============================================================================== c | 19 | 3493 3718 717175 | 5000 19 2955 | 0.000 % | c =============================================================================== c New solution: 17974 c Elapsed CPU time: 57.9242 s Remaining CPU time: 122.076 s c =============================================================================== c | 19 | 3493 3719 720525 | 5000 19 2955 | 0.000 % | c =============================================================================== c New solution: 17973 c Elapsed CPU time: 58.4611 s Remaining CPU time: 121.539 s c =============================================================================== c | 19 | 3493 3720 723875 | 5000 19 2955 | 0.000 % | c =============================================================================== c New solution: 17972 c Elapsed CPU time: 58.994 s Remaining CPU time: 121.006 s c =============================================================================== c | 19 | 3493 3721 727225 | 5000 19 2955 | 0.000 % | c =============================================================================== c New solution: 17971 c Elapsed CPU time: 59.5649 s Remaining CPU time: 120.435 s c =============================================================================== c | 20 | 3493 3722 730575 | 5000 20 2972 | 0.000 % | c =============================================================================== c New solution: 17970 c Elapsed CPU time: 60.1379 s Remaining CPU time: 119.862 s c =============================================================================== c | 20 | 3493 3723 733925 | 5000 20 2972 | 0.000 % | c =============================================================================== c New solution: 17969 c Elapsed CPU time: 60.6908 s Remaining CPU time: 119.309 s c =============================================================================== c | 20 | 3493 3724 737275 | 5000 20 2972 | 0.000 % | c =============================================================================== c New solution: 17968 c Elapsed CPU time: 61.2167 s Remaining CPU time: 118.783 s c =============================================================================== c | 20 | 3493 3725 740625 | 5000 20 2972 | 0.000 % | c =============================================================================== c New solution: 17967 c Elapsed CPU time: 61.8296 s Remaining CPU time: 118.17 s c =============================================================================== c | 23 | 3493 3726 743975 | 5000 23 3015 | 0.000 % | c =============================================================================== c New solution: 17966 c Elapsed CPU time: 62.3975 s Remaining CPU time: 117.602 s c =============================================================================== c | 23 | 3493 3727 747325 | 5000 23 3015 | 0.000 % | c =============================================================================== c New solution: 17965 c Elapsed CPU time: 62.9564 s Remaining CPU time: 117.044 s c =============================================================================== c | 23 | 3493 3728 750675 | 5000 23 3015 | 0.000 % | c =============================================================================== c New solution: 17964 c Elapsed CPU time: 63.4903 s Remaining CPU time: 116.51 s c =============================================================================== c | 23 | 3493 3729 754025 | 5000 23 3015 | 0.000 % | c =============================================================================== c New solution: 17963 c Elapsed CPU time: 64.0633 s Remaining CPU time: 115.937 s c =============================================================================== c | 23 | 3493 3730 757375 | 5000 23 3015 | 0.000 % | c =============================================================================== c New solution: 17962 c Elapsed CPU time: 64.6032 s Remaining CPU time: 115.397 s c =============================================================================== c | 26 | 3493 3731 760725 | 5000 26 3047 | 0.000 % | c =============================================================================== c New solution: 17961 c Elapsed CPU time: 65.1651 s Remaining CPU time: 114.835 s c =============================================================================== c | 26 | 3493 3732 764075 | 5000 26 3047 | 0.000 % | c =============================================================================== c New solution: 17960 c Elapsed CPU time: 65.714 s Remaining CPU time: 114.286 s c =============================================================================== c | 26 | 3493 3733 767425 | 5000 26 3047 | 0.000 % | c =============================================================================== c New solution: 17959 c Elapsed CPU time: 66.2619 s Remaining CPU time: 113.738 s c =============================================================================== c | 27 | 3493 3734 770775 | 5000 27 3057 | 0.000 % | c =============================================================================== c New solution: 17958 c Elapsed CPU time: 66.8398 s Remaining CPU time: 113.16 s c =============================================================================== c | 34 | 3493 3735 774125 | 5000 34 3106 | 0.000 % | c =============================================================================== c New solution: 17957 c Elapsed CPU time: 67.4777 s Remaining CPU time: 112.522 s c =============================================================================== c | 34 | 3493 3736 777475 | 5000 34 3106 | 0.000 % | c =============================================================================== c New solution: 17956 c Elapsed CPU time: 68.1706 s Remaining CPU time: 111.829 s c =============================================================================== c | 34 | 3493 3737 780825 | 5000 34 3106 | 0.000 % | c =============================================================================== c New solution: 17955 c Elapsed CPU time: 68.8665 s Remaining CPU time: 111.133 s c =============================================================================== c | 34 | 3493 3738 784175 | 5000 34 3106 | 0.000 % | c =============================================================================== c New solution: 17954 c Elapsed CPU time: 69.4884 s Remaining CPU time: 110.512 s c =============================================================================== c | 34 | 3493 3739 787525 | 5000 34 3106 | 0.000 % | c =============================================================================== c New solution: 17953 c Elapsed CPU time: 70.0933 s Remaining CPU time: 109.907 s c =============================================================================== c | 34 | 3493 3740 790875 | 5000 34 3106 | 0.000 % | c =============================================================================== c New solution: 17952 c Elapsed CPU time: 70.6913 s Remaining CPU time: 109.309 s c =============================================================================== c | 34 | 3493 3741 794225 | 5000 34 3106 | 0.000 % | c =============================================================================== c New solution: 17951 c Elapsed CPU time: 71.2942 s Remaining CPU time: 108.706 s c =============================================================================== c | 34 | 3493 3742 797575 | 5000 34 3106 | 0.000 % | c =============================================================================== c New solution: 17950 c Elapsed CPU time: 71.9331 s Remaining CPU time: 108.067 s c =============================================================================== c | 34 | 3493 3743 800925 | 5000 34 3106 | 0.000 % | c =============================================================================== c New solution: 17949 c Elapsed CPU time: 72.571 s Remaining CPU time: 107.429 s c =============================================================================== c | 35 | 3493 3744 804275 | 5000 35 3111 | 0.000 % | c =============================================================================== c New solution: 17948 c Elapsed CPU time: 73.1929 s Remaining CPU time: 106.807 s c =============================================================================== c | 35 | 3493 3745 807625 | 5000 35 3111 | 0.000 % | c =============================================================================== c New solution: 17947 c Elapsed CPU time: 73.8418 s Remaining CPU time: 106.158 s c =============================================================================== c | 38 | 3493 3746 810975 | 5000 38 3126 | 0.000 % | c =============================================================================== c New solution: 17946 c Elapsed CPU time: 74.4707 s Remaining CPU time: 105.529 s c =============================================================================== c | 38 | 3493 3747 814325 | 5000 38 3126 | 0.000 % | c =============================================================================== c New solution: 17945 c Elapsed CPU time: 75.0656 s Remaining CPU time: 104.934 s c =============================================================================== c | 38 | 3493 3748 817675 | 5000 38 3126 | 0.000 % | c =============================================================================== c New solution: 17944 c Elapsed CPU time: 75.7245 s Remaining CPU time: 104.276 s c =============================================================================== c | 38 | 3493 3749 821025 | 5000 38 3126 | 0.000 % | c =============================================================================== c New solution: 17943 c Elapsed CPU time: 76.3644 s Remaining CPU time: 103.636 s c =============================================================================== c | 45 | 3493 3750 824375 | 5000 45 3152 | 0.000 % | c =============================================================================== c New solution: 17942 c Elapsed CPU time: 77.0033 s Remaining CPU time: 102.997 s c =============================================================================== c | 45 | 3493 3751 827725 | 5000 45 3152 | 0.000 % | c =============================================================================== c New solution: 17941 c Elapsed CPU time: 77.6122 s Remaining CPU time: 102.388 s c =============================================================================== c | 45 | 3493 3752 831075 | 5000 45 3152 | 0.000 % | c =============================================================================== c New solution: 17940 c Elapsed CPU time: 78.2601 s Remaining CPU time: 101.74 s c =============================================================================== c | 45 | 3493 3753 834425 | 5000 45 3152 | 0.000 % | c =============================================================================== c New solution: 17939 c Elapsed CPU time: 78.897 s Remaining CPU time: 101.103 s c =============================================================================== c | 46 | 3493 3754 837775 | 5000 46 3155 | 0.000 % | c =============================================================================== c New solution: 17938 c Elapsed CPU time: 79.5339 s Remaining CPU time: 100.466 s c =============================================================================== c | 54 | 3493 3755 841125 | 5000 54 3176 | 0.000 % | c =============================================================================== c New solution: 17937 c Elapsed CPU time: 80.1468 s Remaining CPU time: 99.8532 s c =============================================================================== c | 54 | 3493 3756 844475 | 5000 54 3176 | 0.000 % | c =============================================================================== c New solution: 17936 c Elapsed CPU time: 80.8087 s Remaining CPU time: 99.1913 s c =============================================================================== c | 54 | 3493 3757 847825 | 5000 54 3176 | 0.000 % | c =============================================================================== c New solution: 17935 c Elapsed CPU time: 81.4096 s Remaining CPU time: 98.5904 s c =============================================================================== c | 54 | 3493 3758 851175 | 5000 54 3176 | 0.000 % | c =============================================================================== c New solution: 17934 c Elapsed CPU time: 82.0385 s Remaining CPU time: 97.9615 s c =============================================================================== c | 54 | 3493 3759 854525 | 5000 54 3176 | 0.000 % | c =============================================================================== c New solution: 17933 c Elapsed CPU time: 82.6584 s Remaining CPU time: 97.3416 s c =============================================================================== c | 54 | 3493 3760 857875 | 5000 54 3176 | 0.000 % | c =============================================================================== c New solution: 17932 c Elapsed CPU time: 83.3173 s Remaining CPU time: 96.6827 s c =============================================================================== c | 54 | 3493 3761 861225 | 5000 54 3176 | 0.000 % | c =============================================================================== c New solution: 17931 c Elapsed CPU time: 83.9772 s Remaining CPU time: 96.0228 s c =============================================================================== c | 57 | 3493 3762 864575 | 5000 57 3182 | 0.000 % | c =============================================================================== c New solution: 17930 c Elapsed CPU time: 84.6661 s Remaining CPU time: 95.3339 s c =============================================================================== c | 57 | 3493 3763 867925 | 5000 57 3182 | 0.000 % | c =============================================================================== c New solution: 17929 c Elapsed CPU time: 85.327 s Remaining CPU time: 94.673 s c =============================================================================== c | 60 | 3493 3764 871275 | 5000 60 3187 | 0.000 % | c =============================================================================== c New solution: 17928 c Elapsed CPU time: 86.0219 s Remaining CPU time: 93.9781 s c =============================================================================== c | 60 | 3493 3765 874625 | 5000 60 3187 | 0.000 % | c =============================================================================== c New solution: 17927 c Elapsed CPU time: 86.6718 s Remaining CPU time: 93.3282 s c =============================================================================== c | 60 | 3493 3766 877975 | 5000 60 3187 | 0.000 % | c =============================================================================== c New solution: 17926 c Elapsed CPU time: 87.3667 s Remaining CPU time: 92.6333 s c =============================================================================== c | 60 | 3493 3767 881325 | 5000 60 3187 | 0.000 % | c =============================================================================== c New solution: 17925 c Elapsed CPU time: 88.0626 s Remaining CPU time: 91.9374 s c =============================================================================== c | 61 | 3493 3768 884675 | 5000 61 3189 | 0.000 % | c =============================================================================== c New solution: 17924 c Elapsed CPU time: 88.7335 s Remaining CPU time: 91.2665 s c =============================================================================== c | 61 | 3493 3769 888025 | 5000 61 3189 | 0.000 % | c =============================================================================== c New solution: 17923 c Elapsed CPU time: 89.4054 s Remaining CPU time: 90.5946 s c =============================================================================== c | 61 | 3493 3770 891375 | 5000 61 3189 | 0.000 % | c =============================================================================== c New solution: 17922 c Elapsed CPU time: 90.1233 s Remaining CPU time: 89.8767 s c =============================================================================== c | 67 | 3493 3771 894725 | 5000 67 3198 | 0.000 % | c =============================================================================== c New solution: 17921 c Elapsed CPU time: 90.7612 s Remaining CPU time: 89.2388 s c =============================================================================== c | 67 | 3493 3772 898075 | 5000 67 3198 | 0.000 % | c =============================================================================== c New solution: 17920 c Elapsed CPU time: 91.4191 s Remaining CPU time: 88.5809 s c =============================================================================== c | 67 | 3493 3773 901425 | 5000 67 3198 | 0.000 % | c =============================================================================== c New solution: 17919 c Elapsed CPU time: 92.087 s Remaining CPU time: 87.913 s c =============================================================================== c | 69 | 3493 3774 904775 | 5000 69 3201 | 0.000 % | c =============================================================================== c New solution: 17918 c Elapsed CPU time: 92.7769 s Remaining CPU time: 87.2231 s c =============================================================================== c | 72 | 3493 3775 908125 | 5000 72 3205 | 0.000 % | c =============================================================================== c New solution: 17917 c Elapsed CPU time: 93.5088 s Remaining CPU time: 86.4912 s c =============================================================================== c | 72 | 3493 3776 911475 | 5000 72 3205 | 0.000 % | c =============================================================================== c New solution: 17916 c Elapsed CPU time: 94.1777 s Remaining CPU time: 85.8223 s c =============================================================================== c | 72 | 3493 3777 914825 | 5000 72 3205 | 0.000 % | c =============================================================================== c New solution: 17915 c Elapsed CPU time: 94.8456 s Remaining CPU time: 85.1544 s c =============================================================================== c | 72 | 3493 3778 918175 | 5000 72 3205 | 0.000 % | c =============================================================================== c New solution: 17914 c Elapsed CPU time: 95.5815 s Remaining CPU time: 84.4185 s c =============================================================================== c | 72 | 3493 3779 921525 | 5000 72 3205 | 0.000 % | c =============================================================================== c New solution: 17913 c Elapsed CPU time: 96.3853 s Remaining CPU time: 83.6147 s c =============================================================================== c | 98 | 3493 3780 924875 | 5000 98 3227 | 0.000 % | c =============================================================================== c New solution: 17912 c Elapsed CPU time: 97.0622 s Remaining CPU time: 82.9378 s c =============================================================================== c | 98 | 3493 3781 928225 | 5000 98 3227 | 0.000 % | c =============================================================================== c New solution: 17911 c Elapsed CPU time: 97.7751 s Remaining CPU time: 82.2249 s c =============================================================================== c | 101 | 3493 3782 931575 | 5000 101 3229 | 0.000 % | c =============================================================================== c New solution: 17910 c Elapsed CPU time: 98.453 s Remaining CPU time: 81.547 s c =============================================================================== c | 101 | 3493 3783 934925 | 5000 101 3229 | 0.000 % | c =============================================================================== c New solution: 17909 c Elapsed CPU time: 99.1209 s Remaining CPU time: 80.8791 s c =============================================================================== c | 101 | 3493 3784 938275 | 5000 101 3229 | 0.000 % | c =============================================================================== c New solution: 17908 c Elapsed CPU time: 99.8338 s Remaining CPU time: 80.1662 s c =============================================================================== c | 106 | 3493 3785 941625 | 5000 106 3231 | 0.000 % | c =============================================================================== c New solution: 17907 c Elapsed CPU time: 100.513 s Remaining CPU time: 79.4873 s c =============================================================================== c | 106 | 3493 3786 944975 | 5000 106 3231 | 0.000 % | c =============================================================================== c New solution: 17906 c Elapsed CPU time: 101.218 s Remaining CPU time: 78.7824 s c =============================================================================== c | 109 | 3493 3787 948325 | 5000 109 3233 | 0.000 % | c =============================================================================== c New solution: 17905 c Elapsed CPU time: 101.898 s Remaining CPU time: 78.1025 s c =============================================================================== c | 110 | 3493 3788 951675 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17904 c Elapsed CPU time: 102.589 s Remaining CPU time: 77.4106 s c =============================================================================== c | 110 | 3493 3789 955025 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17903 c Elapsed CPU time: 103.277 s Remaining CPU time: 76.7227 s c =============================================================================== c | 110 | 3493 3790 958375 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17902 c Elapsed CPU time: 103.934 s Remaining CPU time: 76.0658 s c =============================================================================== c | 110 | 3493 3791 961725 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17901 c Elapsed CPU time: 104.631 s Remaining CPU time: 75.3689 s c =============================================================================== c | 110 | 3493 3792 965075 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17900 c Elapsed CPU time: 105.351 s Remaining CPU time: 74.649 s c =============================================================================== c | 110 | 3493 3793 968425 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17899 c Elapsed CPU time: 106.06 s Remaining CPU time: 73.9401 s c =============================================================================== c | 110 | 3493 3794 971775 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17898 c Elapsed CPU time: 106.808 s Remaining CPU time: 73.1922 s c =============================================================================== c | 110 | 3493 3795 975125 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17897 c Elapsed CPU time: 107.574 s Remaining CPU time: 72.4264 s c =============================================================================== c | 110 | 3493 3796 978475 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17896 c Elapsed CPU time: 108.377 s Remaining CPU time: 71.6235 s c =============================================================================== c | 110 | 3493 3797 981825 | 5000 110 3234 | 0.000 % | c =============================================================================== c New solution: 17895 c Elapsed CPU time: 109.111 s Remaining CPU time: 70.8886 s c =============================================================================== c | 112 | 3493 3798 985175 | 5000 112 3234 | 0.000 % | c =============================================================================== c New solution: 17894 c Elapsed CPU time: 109.865 s Remaining CPU time: 70.1347 s c =============================================================================== c | 112 | 3493 3799 988525 | 5000 112 3234 | 0.000 % | c =============================================================================== c New solution: 17893 c Elapsed CPU time: 110.641 s Remaining CPU time: 69.3588 s c =============================================================================== c | 114 | 3493 3800 991875 | 5000 114 3235 | 0.000 % | c =============================================================================== c New solution: 17892 c Elapsed CPU time: 111.375 s Remaining CPU time: 68.6249 s c =============================================================================== c | 114 | 3493 3801 995225 | 5000 114 3235 | 0.000 % | c =============================================================================== c New solution: 17891 c Elapsed CPU time: 112.123 s Remaining CPU time: 67.877 s c =============================================================================== c | 115 | 3493 3802 998575 | 5000 115 3236 | 0.000 % | c =============================================================================== c New solution: 17890 c Elapsed CPU time: 112.961 s Remaining CPU time: 67.0392 s c =============================================================================== c | 115 | 3493 3803 1001925 | 5000 115 3236 | 0.000 % | c =============================================================================== c New solution: 17889 c Elapsed CPU time: 113.746 s Remaining CPU time: 66.2543 s c =============================================================================== c | 116 | 3493 3804 1005275 | 5000 116 3236 | 0.000 % | c =============================================================================== c New solution: 17888 c Elapsed CPU time: 114.492 s Remaining CPU time: 65.5084 s c =============================================================================== c | 122 | 3493 3805 1008625 | 5000 122 3239 | 0.000 % | c =============================================================================== c New solution: 17887 c Elapsed CPU time: 115.193 s Remaining CPU time: 64.8065 s c =============================================================================== c | 122 | 3493 3806 1011975 | 5000 122 3239 | 0.000 % | c =============================================================================== c New solution: 17886 c Elapsed CPU time: 115.881 s Remaining CPU time: 64.1186 s c =============================================================================== c | 122 | 3493 3807 1015325 | 5000 122 3239 | 0.000 % | c =============================================================================== c New solution: 17885 c Elapsed CPU time: 116.637 s Remaining CPU time: 63.3627 s c =============================================================================== c | 126 | 3493 3808 1018675 | 5000 126 3240 | 0.000 % | c =============================================================================== c New solution: 17884 c Elapsed CPU time: 117.38 s Remaining CPU time: 62.6198 s c =============================================================================== c | 126 | 3493 3809 1022025 | 5000 126 3240 | 0.000 % | c =============================================================================== c New solution: 17883 c Elapsed CPU time: 118.226 s Remaining CPU time: 61.774 s c =============================================================================== c | 126 | 3493 3810 1025375 | 5000 126 3240 | 0.000 % | c =============================================================================== c New solution: 17882 c Elapsed CPU time: 119.109 s Remaining CPU time: 60.8911 s c =============================================================================== c | 137 | 3493 3811 1028725 | 5000 137 3244 | 0.000 % | c =============================================================================== c New solution: 17881 c Elapsed CPU time: 120.032 s Remaining CPU time: 59.9682 s c =============================================================================== c | 137 | 3493 3812 1032075 | 5000 137 3244 | 0.000 % | c =============================================================================== c New solution: 17880 c Elapsed CPU time: 120.841 s Remaining CPU time: 59.1594 s c =============================================================================== c | 137 | 3493 3813 1035425 | 5000 137 3244 | 0.000 % | c =============================================================================== c New solution: 17879 c Elapsed CPU time: 121.703 s Remaining CPU time: 58.2965 s c =============================================================================== c | 176 | 3493 3814 1038775 | 5000 176 3252 | 0.000 % | c =============================================================================== c New solution: 17878 c Elapsed CPU time: 122.54 s Remaining CPU time: 57.4596 s c =============================================================================== c | 178 | 3493 3815 1042125 | 5000 178 3253 | 0.000 % | c =============================================================================== c New solution: 17877 c Elapsed CPU time: 123.35 s Remaining CPU time: 56.6498 s c =============================================================================== c | 178 | 3493 3816 1045475 | 5000 178 3253 | 0.000 % | c =============================================================================== c New solution: 17876 c Elapsed CPU time: 124.137 s Remaining CPU time: 55.8629 s c =============================================================================== c | 178 | 3493 3817 1048825 | 5000 178 3253 | 0.000 % | c =============================================================================== c New solution: 17875 c Elapsed CPU time: 124.939 s Remaining CPU time: 55.061 s c =============================================================================== c | 182 | 3493 3818 1052175 | 5000 182 3253 | 0.000 % | c =============================================================================== c New solution: 17874 c Elapsed CPU time: 125.755 s Remaining CPU time: 54.2451 s c =============================================================================== c | 183 | 3493 3819 1055525 | 5000 183 3254 | 0.000 % | c =============================================================================== c New solution: 17873 c Elapsed CPU time: 126.575 s Remaining CPU time: 53.4252 s c =============================================================================== c | 185 | 3493 3820 1058875 | 5000 185 3254 | 0.000 % | c =============================================================================== c New solution: 17872 c Elapsed CPU time: 127.395 s Remaining CPU time: 52.6054 s c =============================================================================== c | 185 | 3493 3821 1062225 | 5000 185 3254 | 0.000 % | c =============================================================================== c New solution: 17871 c Elapsed CPU time: 128.224 s Remaining CPU time: 51.7765 s c =============================================================================== c | 185 | 3493 3822 1065575 | 5000 185 3254 | 0.000 % | c =============================================================================== c New solution: 17870 c Elapsed CPU time: 129.159 s Remaining CPU time: 50.8406 s c =============================================================================== c | 201 | 3493 3823 1068925 | 5000 201 3256 | 0.000 % | c =============================================================================== c New solution: 17869 c Elapsed CPU time: 129.965 s Remaining CPU time: 50.0348 s c =============================================================================== c | 201 | 3493 3824 1072275 | 5000 201 3256 | 0.000 % | c =============================================================================== c New solution: 17868 c Elapsed CPU time: 130.829 s Remaining CPU time: 49.1709 s c =============================================================================== c | 201 | 3493 3825 1075625 | 5000 201 3256 | 0.000 % | c =============================================================================== c New solution: 17867 c Elapsed CPU time: 131.696 s Remaining CPU time: 48.304 s c =============================================================================== c | 201 | 3493 3826 1078975 | 5000 201 3256 | 0.000 % | c =============================================================================== c New solution: 17866 c Elapsed CPU time: 132.568 s Remaining CPU time: 47.4322 s c =============================================================================== c | 201 | 3493 3827 1082325 | 5000 201 3256 | 0.000 % | c =============================================================================== c New solution: 17865 c Elapsed CPU time: 133.409 s Remaining CPU time: 46.5913 s c =============================================================================== c | 204 | 3493 3828 1085675 | 5000 204 3256 | 0.000 % | c =============================================================================== c New solution: 17864 c Elapsed CPU time: 134.252 s Remaining CPU time: 45.7484 s c =============================================================================== c | 206 | 3493 3829 1089025 | 5000 206 3257 | 0.000 % | c =============================================================================== c New solution: 17863 c Elapsed CPU time: 135.046 s Remaining CPU time: 44.9535 s c =============================================================================== c | 206 | 3493 3830 1092375 | 5000 206 3257 | 0.000 % | c =============================================================================== c New solution: 17862 c Elapsed CPU time: 135.86 s Remaining CPU time: 44.1397 s c =============================================================================== c | 206 | 3493 3831 1095725 | 5000 206 3257 | 0.000 % | c =============================================================================== c New solution: 17861 c Elapsed CPU time: 136.675 s Remaining CPU time: 43.3248 s c =============================================================================== c | 206 | 3493 3832 1099075 | 5000 206 3257 | 0.000 % | c =============================================================================== c New solution: 17860 c Elapsed CPU time: 137.508 s Remaining CPU time: 42.4919 s c =============================================================================== c | 206 | 3493 3833 1102425 | 5000 206 3257 | 0.000 % | c =============================================================================== c New solution: 17859 c Elapsed CPU time: 138.354 s Remaining CPU time: 41.646 s c =============================================================================== c | 206 | 3493 3834 1105775 | 5000 206 3257 | 0.000 % | c =============================================================================== c New solution: 17858 c Elapsed CPU time: 139.167 s Remaining CPU time: 40.8332 s c =============================================================================== c | 206 | 3493 3835 1109125 | 5000 206 3257 | 0.000 % | c =============================================================================== c New solution: 17857 c Elapsed CPU time: 139.984 s Remaining CPU time: 40.0163 s c =============================================================================== c | 209 | 3493 3836 1112475 | 5000 209 3257 | 0.000 % | c =============================================================================== c New solution: 17856 c Elapsed CPU time: 140.776 s Remaining CPU time: 39.2244 s c =============================================================================== c | 209 | 3493 3837 1115825 | 5000 209 3257 | 0.000 % | c =============================================================================== c New solution: 17855 c Elapsed CPU time: 141.599 s Remaining CPU time: 38.4005 s c =============================================================================== c | 209 | 3493 3838 1119175 | 5000 209 3257 | 0.000 % | c =============================================================================== c New solution: 17854 c Elapsed CPU time: 142.478 s Remaining CPU time: 37.5217 s c =============================================================================== c | 218 | 3493 3839 1122525 | 5000 218 3243 | 0.000 % | c =============================================================================== c New solution: 17853 c Elapsed CPU time: 143.275 s Remaining CPU time: 36.7248 s c =============================================================================== c | 221 | 3493 3840 1125875 | 5000 221 3243 | 0.000 % | c =============================================================================== c New solution: 17852 c Elapsed CPU time: 144.064 s Remaining CPU time: 35.9359 s c =============================================================================== c | 221 | 3493 3841 1129225 | 5000 221 3243 | 0.000 % | c =============================================================================== c New solution: 17851 c Elapsed CPU time: 144.853 s Remaining CPU time: 35.147 s c =============================================================================== c | 224 | 3493 3842 1132575 | 5000 224 3244 | 0.000 % | c =============================================================================== c New solution: 17850 c Elapsed CPU time: 145.692 s Remaining CPU time: 34.3081 s c =============================================================================== c | 234 | 3493 3843 1135925 | 5000 234 3245 | 0.000 % | c =============================================================================== c New solution: 17849 c Elapsed CPU time: 146.513 s Remaining CPU time: 33.4873 s c =============================================================================== c | 234 | 3493 3844 1139275 | 5000 234 3245 | 0.000 % | c =============================================================================== c New solution: 17848 c Elapsed CPU time: 147.379 s Remaining CPU time: 32.6214 s c =============================================================================== c | 234 | 3493 3845 1142625 | 5000 234 3245 | 0.000 % | c =============================================================================== c New solution: 17847 c Elapsed CPU time: 148.252 s Remaining CPU time: 31.7475 s c =============================================================================== c | 234 | 3493 3846 1145975 | 5000 234 3245 | 0.000 % | c =============================================================================== c New solution: 17846 c Elapsed CPU time: 149.157 s Remaining CPU time: 30.8427 s c =============================================================================== c | 234 | 3493 3847 1149325 | 5000 234 3245 | 0.000 % | c =============================================================================== c New solution: 17845 c Elapsed CPU time: 150.099 s Remaining CPU time: 29.9008 s c =============================================================================== c | 234 | 3493 3848 1152675 | 5000 234 3245 | 0.000 % | c =============================================================================== c New solution: 17844 c Elapsed CPU time: 151.057 s Remaining CPU time: 28.943 s c =============================================================================== c | 234 | 3493 3849 1156025 | 5000 234 3245 | 0.000 % | c =============================================================================== c New solution: 17843 c Elapsed CPU time: 151.881 s Remaining CPU time: 28.1191 s c =============================================================================== c | 235 | 3493 3850 1159375 | 5000 235 3245 | 0.000 % | c =============================================================================== c New solution: 17842 c Elapsed CPU time: 152.721 s Remaining CPU time: 27.2792 s c =============================================================================== c | 237 | 3493 3851 1162725 | 5000 237 3246 | 0.000 % | c =============================================================================== c New solution: 17841 c Elapsed CPU time: 153.587 s Remaining CPU time: 26.4133 s c =============================================================================== c | 237 | 3493 3852 1166075 | 5000 237 3246 | 0.000 % | c =============================================================================== c New solution: 17840 c Elapsed CPU time: 154.426 s Remaining CPU time: 25.5745 s c =============================================================================== c | 237 | 3493 3853 1169425 | 5000 237 3246 | 0.000 % | c =============================================================================== c New solution: 17839 c Elapsed CPU time: 155.286 s Remaining CPU time: 24.7136 s c =============================================================================== c | 237 | 3493 3854 1172775 | 5000 237 3246 | 0.000 % | c =============================================================================== c New solution: 17838 c Elapsed CPU time: 156.285 s Remaining CPU time: 23.7148 s c =============================================================================== c | 242 | 3493 3855 1176125 | 5000 242 3246 | 0.000 % | c =============================================================================== c New solution: 17837 c Elapsed CPU time: 157.263 s Remaining CPU time: 22.7369 s c =============================================================================== c | 242 | 3493 3856 1179475 | 5000 242 3246 | 0.000 % | c =============================================================================== c New solution: 17836 c Elapsed CPU time: 158.218 s Remaining CPU time: 21.7821 s c =============================================================================== c | 247 | 3493 3857 1182825 | 5000 247 3247 | 0.000 % | c =============================================================================== c New solution: 17835 c Elapsed CPU time: 159.136 s Remaining CPU time: 20.8642 s c =============================================================================== c | 247 | 3493 3858 1186175 | 5000 247 3247 | 0.000 % | c =============================================================================== c New solution: 17834 c Elapsed CPU time: 160.123 s Remaining CPU time: 19.8773 s c =============================================================================== c | 256 | 3493 3859 1189525 | 5000 256 3248 | 0.000 % | c =============================================================================== c New solution: 17833 c Elapsed CPU time: 161.049 s Remaining CPU time: 18.9515 s c =============================================================================== c | 262 | 3493 3860 1192875 | 5000 262 3248 | 0.000 % | c =============================================================================== c New solution: 17832 c Elapsed CPU time: 161.934 s Remaining CPU time: 18.0656 s c =============================================================================== c | 262 | 3493 3861 1196225 | 5000 262 3248 | 0.000 % | c =============================================================================== c New solution: 17831 c Elapsed CPU time: 162.849 s Remaining CPU time: 17.1508 s c =============================================================================== c | 265 | 3493 3862 1199575 | 5000 265 3249 | 0.000 % | c =============================================================================== c New solution: 17830 c Elapsed CPU time: 163.921 s Remaining CPU time: 16.0789 s c =============================================================================== c | 291 | 3493 3863 1202925 | 5000 291 3251 | 0.000 % | c =============================================================================== c New solution: 17829 c Elapsed CPU time: 164.809 s Remaining CPU time: 15.1911 s c =============================================================================== c | 291 | 3493 3864 1206275 | 5000 291 3251 | 0.000 % | c =============================================================================== c New solution: 17828 c Elapsed CPU time: 165.66 s Remaining CPU time: 14.3402 s c =============================================================================== c | 291 | 3493 3865 1209625 | 5000 291 3251 | 0.000 % | c =============================================================================== c New solution: 17827 c Elapsed CPU time: 166.55 s Remaining CPU time: 13.4503 s c =============================================================================== c | 293 | 3493 3866 1212975 | 5000 293 3251 | 0.000 % | c =============================================================================== c New solution: 17826 c Elapsed CPU time: 167.455 s Remaining CPU time: 12.5455 s c =============================================================================== c | 309 | 3493 3867 1216325 | 5000 309 3252 | 0.000 % | c =============================================================================== c New solution: 17825 c Elapsed CPU time: 168.321 s Remaining CPU time: 11.6786 s c =============================================================================== c | 310 | 3493 3868 1219675 | 5000 310 3252 | 0.000 % | c =============================================================================== c New solution: 17824 c Elapsed CPU time: 169.201 s Remaining CPU time: 10.7987 s c =============================================================================== c | 311 | 3493 3869 1223025 | 5000 311 3252 | 0.000 % | c =============================================================================== c New solution: 17823 c Elapsed CPU time: 170.2 s Remaining CPU time: 9.79987 s c =============================================================================== c | 327 | 3493 3870 1226375 | 5000 327 3253 | 0.000 % | c =============================================================================== c New solution: 17822 c Elapsed CPU time: 171.082 s Remaining CPU time: 8.91801 s c =============================================================================== c | 327 | 3493 3871 1229725 | 5000 327 3253 | 0.000 % | c =============================================================================== c New solution: 17821 c Elapsed CPU time: 171.971 s Remaining CPU time: 8.02914 s c =============================================================================== c | 327 | 3493 3872 1233075 | 5000 327 3253 | 0.000 % | c =============================================================================== c New solution: 17820 c Elapsed CPU time: 172.892 s Remaining CPU time: 7.10828 s c =============================================================================== c | 327 | 3493 3873 1236425 | 5000 327 3253 | 0.000 % | c =============================================================================== c New solution: 17819 c Elapsed CPU time: 173.815 s Remaining CPU time: 6.18542 s c =============================================================================== c | 327 | 3493 3874 1239775 | 5000 327 3253 | 0.000 % | c =============================================================================== c New solution: 17818 c Elapsed CPU time: 174.716 s Remaining CPU time: 5.28356 s c =============================================================================== c | 327 | 3493 3875 1243125 | 5000 327 3253 | 0.000 % | c =============================================================================== c New solution: 17817 c Elapsed CPU time: 175.69 s Remaining CPU time: 4.30971 s c =============================================================================== c | 327 | 3493 3876 1246475 | 5000 327 3253 | 0.000 % | c =============================================================================== c New solution: 17816 c Elapsed CPU time: 176.705 s Remaining CPU time: 3.29486 s c =============================================================================== c | 327 | 3493 3877 1249825 | 5000 327 3253 | 0.000 % | c =============================================================================== c New solution: 17815 c Elapsed CPU time: 177.625 s Remaining CPU time: 2.375 s c =============================================================================== c | 330 | 3493 3878 1253175 | 5000 330 3253 | 0.000 % | c =============================================================================== c New solution: 17814 c Elapsed CPU time: 178.548 s Remaining CPU time: 1.45214 s c =============================================================================== c | 335 | 3493 3879 1256525 | 5000 335 3254 | 0.000 % | c =============================================================================== c New solution: 17813 c Elapsed CPU time: 179.543 s Remaining CPU time: 0.457295 s c =============================================================================== c | 335 | 3493 3880 1259875 | 5000 335 3254 | 0.000 % | c There are 7 assigned variables. 0 in cost function.