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 | 3489 3504 10346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18415 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 3489 3505 13696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18411 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 3489 3506 17046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18407 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s c =============================================================================== c | 0 | 3489 3507 20396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18403 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s c =============================================================================== c | 0 | 3489 3508 23746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18402 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s c =============================================================================== c | 0 | 3489 3509 27096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18401 c Elapsed CPU time: 0.278957 s Remaining CPU time: 179.721 s c =============================================================================== c | 0 | 3489 3510 30446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18398 c Elapsed CPU time: 0.32495 s Remaining CPU time: 179.675 s c =============================================================================== c | 0 | 3489 3511 33796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18397 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 0 | 3489 3512 37146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18395 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 0 | 3489 3513 40496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18394 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 3489 3514 43846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18391 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 3489 3515 47196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18390 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 0 | 3489 3516 50546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18388 c Elapsed CPU time: 0.611906 s Remaining CPU time: 179.388 s c =============================================================================== c | 0 | 3489 3517 53896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18387 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 0 | 3489 3518 57246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18385 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s c =============================================================================== c | 0 | 3489 3519 60596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18384 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 0 | 3489 3520 63946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18382 c Elapsed CPU time: 0.829873 s Remaining CPU time: 179.17 s c =============================================================================== c | 0 | 3489 3521 67296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18381 c Elapsed CPU time: 0.885865 s Remaining CPU time: 179.114 s c =============================================================================== c | 0 | 3489 3522 70646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18379 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 0 | 3489 3523 73996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18378 c Elapsed CPU time: 1.01385 s Remaining CPU time: 178.986 s c =============================================================================== c | 0 | 3489 3524 77346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18377 c Elapsed CPU time: 1.07984 s Remaining CPU time: 178.92 s c =============================================================================== c | 0 | 3489 3525 80696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18376 c Elapsed CPU time: 1.14882 s Remaining CPU time: 178.851 s c =============================================================================== c | 0 | 3489 3526 84046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18374 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 0 | 3489 3527 87396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18373 c Elapsed CPU time: 1.2908 s Remaining CPU time: 178.709 s c =============================================================================== c | 0 | 3489 3528 90746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18372 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 0 | 3489 3529 94096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18371 c Elapsed CPU time: 1.43678 s Remaining CPU time: 178.563 s c =============================================================================== c | 0 | 3489 3530 97446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18370 c Elapsed CPU time: 1.51277 s Remaining CPU time: 178.487 s c =============================================================================== c | 0 | 3489 3531 100796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18369 c Elapsed CPU time: 1.58476 s Remaining CPU time: 178.415 s c =============================================================================== c | 0 | 3489 3532 104146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18368 c Elapsed CPU time: 1.66275 s Remaining CPU time: 178.337 s c =============================================================================== c | 0 | 3489 3533 107496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18367 c Elapsed CPU time: 1.73574 s Remaining CPU time: 178.264 s c =============================================================================== c | 0 | 3489 3534 110846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18366 c Elapsed CPU time: 1.81372 s Remaining CPU time: 178.186 s c =============================================================================== c | 0 | 3489 3535 114196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18364 c Elapsed CPU time: 1.89271 s Remaining CPU time: 178.107 s c =============================================================================== c | 0 | 3489 3536 117546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18363 c Elapsed CPU time: 1.9727 s Remaining CPU time: 178.027 s c =============================================================================== c | 0 | 3489 3537 120896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18362 c Elapsed CPU time: 2.05469 s Remaining CPU time: 177.945 s c =============================================================================== c | 0 | 3489 3538 124246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18361 c Elapsed CPU time: 2.13767 s Remaining CPU time: 177.862 s c =============================================================================== c | 0 | 3489 3539 127596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18357 c Elapsed CPU time: 2.22666 s Remaining CPU time: 177.773 s c =============================================================================== c | 0 | 3489 3540 130946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18353 c Elapsed CPU time: 2.31665 s Remaining CPU time: 177.683 s c =============================================================================== c | 0 | 3489 3541 134296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18351 c Elapsed CPU time: 2.40563 s Remaining CPU time: 177.594 s c =============================================================================== c | 0 | 3489 3542 137646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18350 c Elapsed CPU time: 2.49862 s Remaining CPU time: 177.501 s c =============================================================================== c | 0 | 3489 3543 140996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18349 c Elapsed CPU time: 2.5956 s Remaining CPU time: 177.404 s c =============================================================================== c | 0 | 3489 3544 144346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18348 c Elapsed CPU time: 2.68859 s Remaining CPU time: 177.311 s c =============================================================================== c | 0 | 3489 3545 147696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18347 c Elapsed CPU time: 2.79058 s Remaining CPU time: 177.209 s c =============================================================================== c | 0 | 3489 3546 151046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18344 c Elapsed CPU time: 2.89056 s Remaining CPU time: 177.109 s c =============================================================================== c | 0 | 3489 3547 154396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18340 c Elapsed CPU time: 2.98955 s Remaining CPU time: 177.01 s c =============================================================================== c | 0 | 3489 3548 157746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18338 c Elapsed CPU time: 3.09953 s Remaining CPU time: 176.9 s c =============================================================================== c | 0 | 3489 3549 161096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18337 c Elapsed CPU time: 3.21451 s Remaining CPU time: 176.785 s c =============================================================================== c | 0 | 3489 3550 164446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18336 c Elapsed CPU time: 3.32749 s Remaining CPU time: 176.673 s c =============================================================================== c | 0 | 3489 3551 167796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18333 c Elapsed CPU time: 3.44148 s Remaining CPU time: 176.559 s c =============================================================================== c | 0 | 3489 3552 171146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18332 c Elapsed CPU time: 3.56046 s Remaining CPU time: 176.44 s c =============================================================================== c | 0 | 3489 3553 174496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18331 c Elapsed CPU time: 3.68144 s Remaining CPU time: 176.319 s c =============================================================================== c | 0 | 3489 3554 177846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18330 c Elapsed CPU time: 3.80742 s Remaining CPU time: 176.193 s c =============================================================================== c | 0 | 3489 3555 181196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18329 c Elapsed CPU time: 3.9284 s Remaining CPU time: 176.072 s c =============================================================================== c | 0 | 3489 3556 184546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18328 c Elapsed CPU time: 4.05638 s Remaining CPU time: 175.944 s c =============================================================================== c | 0 | 3489 3557 187896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18327 c Elapsed CPU time: 4.19136 s Remaining CPU time: 175.809 s c =============================================================================== c | 0 | 3489 3558 191246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18326 c Elapsed CPU time: 4.32734 s Remaining CPU time: 175.673 s c =============================================================================== c | 0 | 3489 3559 194596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18325 c Elapsed CPU time: 4.45632 s Remaining CPU time: 175.544 s c =============================================================================== c | 0 | 3489 3560 197946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18324 c Elapsed CPU time: 4.5863 s Remaining CPU time: 175.414 s c =============================================================================== c | 0 | 3489 3561 201296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18323 c Elapsed CPU time: 4.71928 s Remaining CPU time: 175.281 s c =============================================================================== c | 0 | 3489 3562 204646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18322 c Elapsed CPU time: 4.85826 s Remaining CPU time: 175.142 s c =============================================================================== c | 0 | 3489 3563 207996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18321 c Elapsed CPU time: 4.99624 s Remaining CPU time: 175.004 s c =============================================================================== c | 0 | 3489 3564 211346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18320 c Elapsed CPU time: 5.13722 s Remaining CPU time: 174.863 s c =============================================================================== c | 0 | 3489 3565 214696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18319 c Elapsed CPU time: 5.2812 s Remaining CPU time: 174.719 s c =============================================================================== c | 0 | 3489 3566 218046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18317 c Elapsed CPU time: 5.42617 s Remaining CPU time: 174.574 s c =============================================================================== c | 0 | 3489 3567 221396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18316 c Elapsed CPU time: 5.57215 s Remaining CPU time: 174.428 s c =============================================================================== c | 0 | 3489 3568 224746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18315 c Elapsed CPU time: 5.72513 s Remaining CPU time: 174.275 s c =============================================================================== c | 0 | 3489 3569 228096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18311 c Elapsed CPU time: 5.87711 s Remaining CPU time: 174.123 s c =============================================================================== c | 0 | 3489 3570 231446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18308 c Elapsed CPU time: 6.03008 s Remaining CPU time: 173.97 s c =============================================================================== c | 0 | 3489 3571 234796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18305 c Elapsed CPU time: 6.18406 s Remaining CPU time: 173.816 s c =============================================================================== c | 0 | 3489 3572 238146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18303 c Elapsed CPU time: 6.33804 s Remaining CPU time: 173.662 s c =============================================================================== c | 0 | 3489 3573 241496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18302 c Elapsed CPU time: 6.49701 s Remaining CPU time: 173.503 s c =============================================================================== c | 0 | 3489 3574 244846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18300 c Elapsed CPU time: 6.66199 s Remaining CPU time: 173.338 s c =============================================================================== c | 0 | 3489 3575 248196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18299 c Elapsed CPU time: 6.82296 s Remaining CPU time: 173.177 s c =============================================================================== c | 0 | 3489 3576 251546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18296 c Elapsed CPU time: 6.98894 s Remaining CPU time: 173.011 s c =============================================================================== c | 0 | 3489 3577 254896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18294 c Elapsed CPU time: 7.15591 s Remaining CPU time: 172.844 s c =============================================================================== c | 0 | 3489 3578 258246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18290 c Elapsed CPU time: 7.32789 s Remaining CPU time: 172.672 s c =============================================================================== c | 0 | 3489 3579 261596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18288 c Elapsed CPU time: 7.50386 s Remaining CPU time: 172.496 s c =============================================================================== c | 0 | 3489 3580 264946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18286 c Elapsed CPU time: 7.67983 s Remaining CPU time: 172.32 s c =============================================================================== c | 0 | 3489 3581 268296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18285 c Elapsed CPU time: 7.8618 s Remaining CPU time: 172.138 s c =============================================================================== c | 0 | 3489 3582 271646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18284 c Elapsed CPU time: 8.04078 s Remaining CPU time: 171.959 s c =============================================================================== c | 0 | 3489 3583 274996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18283 c Elapsed CPU time: 8.21975 s Remaining CPU time: 171.78 s c =============================================================================== c | 0 | 3489 3584 278346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18281 c Elapsed CPU time: 8.40772 s Remaining CPU time: 171.592 s c =============================================================================== c | 0 | 3489 3585 281696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18278 c Elapsed CPU time: 8.60069 s Remaining CPU time: 171.399 s c =============================================================================== c | 0 | 3489 3586 285046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18277 c Elapsed CPU time: 8.80766 s Remaining CPU time: 171.192 s c =============================================================================== c | 0 | 3489 3587 288396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18276 c Elapsed CPU time: 9.01363 s Remaining CPU time: 170.986 s c =============================================================================== c | 0 | 3489 3588 291746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18274 c Elapsed CPU time: 9.2186 s Remaining CPU time: 170.781 s c =============================================================================== c | 0 | 3489 3589 295096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18272 c Elapsed CPU time: 9.42257 s Remaining CPU time: 170.577 s c =============================================================================== c | 0 | 3489 3590 298446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18270 c Elapsed CPU time: 9.62854 s Remaining CPU time: 170.371 s c =============================================================================== c | 0 | 3489 3591 301796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18268 c Elapsed CPU time: 9.8315 s Remaining CPU time: 170.168 s c =============================================================================== c | 0 | 3489 3592 305146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 18267 c Elapsed CPU time: 10.0475 s Remaining CPU time: 169.953 s c =============================================================================== c | 1 | 3489 3593 308496 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18264 c Elapsed CPU time: 10.2584 s Remaining CPU time: 169.742 s c =============================================================================== c | 1 | 3489 3594 311846 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18263 c Elapsed CPU time: 10.4704 s Remaining CPU time: 169.53 s c =============================================================================== c | 1 | 3489 3595 315196 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18262 c Elapsed CPU time: 10.6834 s Remaining CPU time: 169.317 s c =============================================================================== c | 1 | 3489 3596 318546 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18261 c Elapsed CPU time: 10.8983 s Remaining CPU time: 169.102 s c =============================================================================== c | 1 | 3489 3597 321896 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18258 c Elapsed CPU time: 11.1113 s Remaining CPU time: 168.889 s c =============================================================================== c | 1 | 3489 3598 325246 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18255 c Elapsed CPU time: 11.3463 s Remaining CPU time: 168.654 s c =============================================================================== c | 1 | 3489 3599 328596 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18254 c Elapsed CPU time: 11.5782 s Remaining CPU time: 168.422 s c =============================================================================== c | 1 | 3489 3600 331946 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18253 c Elapsed CPU time: 11.8242 s Remaining CPU time: 168.176 s c =============================================================================== c | 1 | 3489 3601 335296 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18251 c Elapsed CPU time: 12.0622 s Remaining CPU time: 167.938 s c =============================================================================== c | 1 | 3489 3602 338646 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18250 c Elapsed CPU time: 12.3251 s Remaining CPU time: 167.675 s c =============================================================================== c | 1 | 3489 3603 341996 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18249 c Elapsed CPU time: 12.5801 s Remaining CPU time: 167.42 s c =============================================================================== c | 1 | 3489 3604 345346 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18248 c Elapsed CPU time: 12.875 s Remaining CPU time: 167.125 s c =============================================================================== c | 1 | 3489 3605 348696 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18247 c Elapsed CPU time: 13.153 s Remaining CPU time: 166.847 s c =============================================================================== c | 1 | 3489 3606 352046 | 5000 1 3329 | 0.000 % | c =============================================================================== c New solution: 18246 c Elapsed CPU time: 13.428 s Remaining CPU time: 166.572 s c =============================================================================== c | 2 | 3489 3607 355396 | 5000 2 3326 | 0.000 % | c =============================================================================== c New solution: 18243 c Elapsed CPU time: 13.6839 s Remaining CPU time: 166.316 s c =============================================================================== c | 2 | 3489 3608 358746 | 5000 2 3326 | 0.000 % | c =============================================================================== c New solution: 18242 c Elapsed CPU time: 13.9399 s Remaining CPU time: 166.06 s c =============================================================================== c | 2 | 3489 3609 362096 | 5000 2 3326 | 0.000 % | c =============================================================================== c New solution: 18241 c Elapsed CPU time: 14.1948 s Remaining CPU time: 165.805 s c =============================================================================== c | 2 | 3489 3610 365446 | 5000 2 3326 | 0.000 % | c =============================================================================== c New solution: 18240 c Elapsed CPU time: 14.4548 s Remaining CPU time: 165.545 s c =============================================================================== c | 2 | 3489 3611 368796 | 5000 2 3326 | 0.000 % | c =============================================================================== c New solution: 18239 c Elapsed CPU time: 14.7228 s Remaining CPU time: 165.277 s c =============================================================================== c | 2 | 3489 3612 372146 | 5000 2 3326 | 0.000 % | c =============================================================================== c New solution: 18237 c Elapsed CPU time: 14.9777 s Remaining CPU time: 165.022 s c =============================================================================== c | 2 | 3489 3613 375496 | 5000 2 3326 | 0.000 % | c =============================================================================== c New solution: 18235 c Elapsed CPU time: 15.2347 s Remaining CPU time: 164.765 s c =============================================================================== c | 2 | 3489 3614 378846 | 5000 2 3326 | 0.000 % | c =============================================================================== c New solution: 18233 c Elapsed CPU time: 15.4876 s Remaining CPU time: 164.512 s c =============================================================================== c | 3 | 3489 3615 382196 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18232 c Elapsed CPU time: 15.7416 s Remaining CPU time: 164.258 s c =============================================================================== c | 3 | 3489 3616 385546 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18230 c Elapsed CPU time: 16.0246 s Remaining CPU time: 163.975 s c =============================================================================== c | 3 | 3489 3617 388896 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18229 c Elapsed CPU time: 16.3105 s Remaining CPU time: 163.689 s c =============================================================================== c | 3 | 3489 3618 392246 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18228 c Elapsed CPU time: 16.5845 s Remaining CPU time: 163.416 s c =============================================================================== c | 3 | 3489 3619 395596 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18227 c Elapsed CPU time: 16.8634 s Remaining CPU time: 163.137 s c =============================================================================== c | 3 | 3489 3620 398946 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18226 c Elapsed CPU time: 17.1524 s Remaining CPU time: 162.848 s c =============================================================================== c | 3 | 3489 3621 402296 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18225 c Elapsed CPU time: 17.4323 s Remaining CPU time: 162.568 s c =============================================================================== c | 3 | 3489 3622 405646 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18223 c Elapsed CPU time: 17.7233 s Remaining CPU time: 162.277 s c =============================================================================== c | 3 | 3489 3623 408996 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18222 c Elapsed CPU time: 18.0153 s Remaining CPU time: 161.985 s c =============================================================================== c | 3 | 3489 3624 412346 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18221 c Elapsed CPU time: 18.3092 s Remaining CPU time: 161.691 s c =============================================================================== c | 3 | 3489 3625 415696 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18219 c Elapsed CPU time: 18.6032 s Remaining CPU time: 161.397 s c =============================================================================== c | 3 | 3489 3626 419046 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18217 c Elapsed CPU time: 18.9121 s Remaining CPU time: 161.088 s c =============================================================================== c | 3 | 3489 3627 422396 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18216 c Elapsed CPU time: 19.2231 s Remaining CPU time: 160.777 s c =============================================================================== c | 3 | 3489 3628 425746 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18215 c Elapsed CPU time: 19.522 s Remaining CPU time: 160.478 s c =============================================================================== c | 3 | 3489 3629 429096 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18214 c Elapsed CPU time: 19.807 s Remaining CPU time: 160.193 s c =============================================================================== c | 3 | 3489 3630 432446 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18213 c Elapsed CPU time: 20.1119 s Remaining CPU time: 159.888 s c =============================================================================== c | 3 | 3489 3631 435796 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18212 c Elapsed CPU time: 20.4269 s Remaining CPU time: 159.573 s c =============================================================================== c | 3 | 3489 3632 439146 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18210 c Elapsed CPU time: 20.7288 s Remaining CPU time: 159.271 s c =============================================================================== c | 3 | 3489 3633 442496 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18209 c Elapsed CPU time: 21.0418 s Remaining CPU time: 158.958 s c =============================================================================== c | 3 | 3489 3634 445846 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18208 c Elapsed CPU time: 21.3518 s Remaining CPU time: 158.648 s c =============================================================================== c | 3 | 3489 3635 449196 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18207 c Elapsed CPU time: 21.6977 s Remaining CPU time: 158.302 s c =============================================================================== c | 3 | 3489 3636 452546 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18206 c Elapsed CPU time: 22.0207 s Remaining CPU time: 157.979 s c =============================================================================== c | 3 | 3489 3637 455896 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18205 c Elapsed CPU time: 22.3326 s Remaining CPU time: 157.667 s c =============================================================================== c | 3 | 3489 3638 459246 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18203 c Elapsed CPU time: 22.6446 s Remaining CPU time: 157.355 s c =============================================================================== c | 3 | 3489 3639 462596 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18202 c Elapsed CPU time: 22.9785 s Remaining CPU time: 157.021 s c =============================================================================== c | 3 | 3489 3640 465946 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18201 c Elapsed CPU time: 23.3205 s Remaining CPU time: 156.68 s c =============================================================================== c | 3 | 3489 3641 469296 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18200 c Elapsed CPU time: 23.6584 s Remaining CPU time: 156.342 s c =============================================================================== c | 3 | 3489 3642 472646 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18199 c Elapsed CPU time: 23.9844 s Remaining CPU time: 156.016 s c =============================================================================== c | 3 | 3489 3643 475996 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18198 c Elapsed CPU time: 24.3173 s Remaining CPU time: 155.683 s c =============================================================================== c | 3 | 3489 3644 479346 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18197 c Elapsed CPU time: 24.6892 s Remaining CPU time: 155.311 s c =============================================================================== c | 3 | 3489 3645 482696 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18195 c Elapsed CPU time: 25.0402 s Remaining CPU time: 154.96 s c =============================================================================== c | 3 | 3489 3646 486046 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18194 c Elapsed CPU time: 25.3861 s Remaining CPU time: 154.614 s c =============================================================================== c | 3 | 3489 3647 489396 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18192 c Elapsed CPU time: 25.7211 s Remaining CPU time: 154.279 s c =============================================================================== c | 3 | 3489 3648 492746 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18191 c Elapsed CPU time: 26.082 s Remaining CPU time: 153.918 s c =============================================================================== c | 3 | 3489 3649 496096 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18189 c Elapsed CPU time: 26.445 s Remaining CPU time: 153.555 s c =============================================================================== c | 3 | 3489 3650 499446 | 5000 3 3325 | 0.000 % | c =============================================================================== c New solution: 18187 c Elapsed CPU time: 26.8379 s Remaining CPU time: 153.162 s c =============================================================================== c | 6 | 3489 3651 502796 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18186 c Elapsed CPU time: 27.2089 s Remaining CPU time: 152.791 s c =============================================================================== c | 6 | 3489 3652 506146 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18185 c Elapsed CPU time: 27.5848 s Remaining CPU time: 152.415 s c =============================================================================== c | 6 | 3489 3653 509496 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18184 c Elapsed CPU time: 27.9488 s Remaining CPU time: 152.051 s c =============================================================================== c | 6 | 3489 3654 512846 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18183 c Elapsed CPU time: 28.3137 s Remaining CPU time: 151.686 s c =============================================================================== c | 6 | 3489 3655 516196 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18182 c Elapsed CPU time: 28.6626 s Remaining CPU time: 151.337 s c =============================================================================== c | 6 | 3489 3656 519546 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18181 c Elapsed CPU time: 29.0106 s Remaining CPU time: 150.989 s c =============================================================================== c | 6 | 3489 3657 522896 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18180 c Elapsed CPU time: 29.3485 s Remaining CPU time: 150.651 s c =============================================================================== c | 6 | 3489 3658 526246 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18179 c Elapsed CPU time: 29.6825 s Remaining CPU time: 150.318 s c =============================================================================== c | 6 | 3489 3659 529596 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18178 c Elapsed CPU time: 30.0584 s Remaining CPU time: 149.942 s c =============================================================================== c | 6 | 3489 3660 532946 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18177 c Elapsed CPU time: 30.4334 s Remaining CPU time: 149.567 s c =============================================================================== c | 6 | 3489 3661 536296 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18176 c Elapsed CPU time: 30.8123 s Remaining CPU time: 149.188 s c =============================================================================== c | 6 | 3489 3662 539646 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18175 c Elapsed CPU time: 31.1953 s Remaining CPU time: 148.805 s c =============================================================================== c | 6 | 3489 3663 542996 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18174 c Elapsed CPU time: 31.5892 s Remaining CPU time: 148.411 s c =============================================================================== c | 6 | 3489 3664 546346 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18173 c Elapsed CPU time: 31.9701 s Remaining CPU time: 148.03 s c =============================================================================== c | 6 | 3489 3665 549696 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18172 c Elapsed CPU time: 32.3531 s Remaining CPU time: 147.647 s c =============================================================================== c | 6 | 3489 3666 553046 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18171 c Elapsed CPU time: 32.745 s Remaining CPU time: 147.255 s c =============================================================================== c | 6 | 3489 3667 556396 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18170 c Elapsed CPU time: 33.122 s Remaining CPU time: 146.878 s c =============================================================================== c | 6 | 3489 3668 559746 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18169 c Elapsed CPU time: 33.4949 s Remaining CPU time: 146.505 s c =============================================================================== c | 6 | 3489 3669 563096 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18168 c Elapsed CPU time: 33.9108 s Remaining CPU time: 146.089 s c =============================================================================== c | 6 | 3489 3670 566446 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18167 c Elapsed CPU time: 34.3648 s Remaining CPU time: 145.635 s c =============================================================================== c | 6 | 3489 3671 569796 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18165 c Elapsed CPU time: 34.8357 s Remaining CPU time: 145.164 s c =============================================================================== c | 6 | 3489 3672 573146 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18164 c Elapsed CPU time: 35.2776 s Remaining CPU time: 144.722 s c =============================================================================== c | 6 | 3489 3673 576496 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18163 c Elapsed CPU time: 35.7696 s Remaining CPU time: 144.23 s c =============================================================================== c | 6 | 3489 3674 579846 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18162 c Elapsed CPU time: 36.2085 s Remaining CPU time: 143.792 s c =============================================================================== c | 6 | 3489 3675 583196 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18161 c Elapsed CPU time: 36.6334 s Remaining CPU time: 143.367 s c =============================================================================== c | 6 | 3489 3676 586546 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18160 c Elapsed CPU time: 37.0744 s Remaining CPU time: 142.926 s c =============================================================================== c | 6 | 3489 3677 589896 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18159 c Elapsed CPU time: 37.5333 s Remaining CPU time: 142.467 s c =============================================================================== c | 6 | 3489 3678 593246 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18158 c Elapsed CPU time: 38.0092 s Remaining CPU time: 141.991 s c =============================================================================== c | 6 | 3489 3679 596596 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18157 c Elapsed CPU time: 38.4791 s Remaining CPU time: 141.521 s c =============================================================================== c | 6 | 3489 3680 599946 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18156 c Elapsed CPU time: 38.9511 s Remaining CPU time: 141.049 s c =============================================================================== c | 6 | 3489 3681 603296 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18155 c Elapsed CPU time: 39.368 s Remaining CPU time: 140.632 s c =============================================================================== c | 6 | 3489 3682 606646 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18154 c Elapsed CPU time: 39.791 s Remaining CPU time: 140.209 s c =============================================================================== c | 6 | 3489 3683 609996 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18153 c Elapsed CPU time: 40.2189 s Remaining CPU time: 139.781 s c =============================================================================== c | 6 | 3489 3684 613346 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18152 c Elapsed CPU time: 40.6508 s Remaining CPU time: 139.349 s c =============================================================================== c | 6 | 3489 3685 616696 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18151 c Elapsed CPU time: 41.0918 s Remaining CPU time: 138.908 s c =============================================================================== c | 6 | 3489 3686 620046 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18150 c Elapsed CPU time: 41.5237 s Remaining CPU time: 138.476 s c =============================================================================== c | 6 | 3489 3687 623396 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18149 c Elapsed CPU time: 41.9586 s Remaining CPU time: 138.041 s c =============================================================================== c | 6 | 3489 3688 626746 | 5000 6 2768 | 0.000 % | c =============================================================================== c New solution: 18148 c Elapsed CPU time: 42.4166 s Remaining CPU time: 137.583 s c =============================================================================== c | 8 | 3489 3689 630096 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18147 c Elapsed CPU time: 42.8715 s Remaining CPU time: 137.129 s c =============================================================================== c | 8 | 3489 3690 633446 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18146 c Elapsed CPU time: 43.2984 s Remaining CPU time: 136.702 s c =============================================================================== c | 8 | 3489 3691 636796 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18145 c Elapsed CPU time: 43.7403 s Remaining CPU time: 136.26 s c =============================================================================== c | 8 | 3489 3692 640146 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18144 c Elapsed CPU time: 44.1913 s Remaining CPU time: 135.809 s c =============================================================================== c | 8 | 3489 3693 643496 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18143 c Elapsed CPU time: 44.7032 s Remaining CPU time: 135.297 s c =============================================================================== c | 8 | 3489 3694 646846 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18142 c Elapsed CPU time: 45.1871 s Remaining CPU time: 134.813 s c =============================================================================== c | 8 | 3489 3695 650196 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18141 c Elapsed CPU time: 45.6951 s Remaining CPU time: 134.305 s c =============================================================================== c | 8 | 3489 3696 653546 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18140 c Elapsed CPU time: 46.178 s Remaining CPU time: 133.822 s c =============================================================================== c | 8 | 3489 3697 656896 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18139 c Elapsed CPU time: 46.6619 s Remaining CPU time: 133.338 s c =============================================================================== c | 8 | 3489 3698 660246 | 5000 8 2903 | 0.000 % | c =============================================================================== c New solution: 18138 c Elapsed CPU time: 47.1908 s Remaining CPU time: 132.809 s c =============================================================================== c | 9 | 3489 3699 663596 | 5000 9 2948 | 0.000 % | c =============================================================================== c New solution: 18137 c Elapsed CPU time: 47.7027 s Remaining CPU time: 132.297 s c =============================================================================== c | 9 | 3489 3700 666946 | 5000 9 2948 | 0.000 % | c =============================================================================== c New solution: 18136 c Elapsed CPU time: 48.1997 s Remaining CPU time: 131.8 s c =============================================================================== c | 9 | 3489 3701 670296 | 5000 9 2948 | 0.000 % | c =============================================================================== c New solution: 18135 c Elapsed CPU time: 48.7206 s Remaining CPU time: 131.279 s c =============================================================================== c | 9 | 3489 3702 673646 | 5000 9 2948 | 0.000 % | c =============================================================================== c New solution: 18134 c Elapsed CPU time: 49.2075 s Remaining CPU time: 130.792 s c =============================================================================== c | 9 | 3489 3703 676996 | 5000 9 2948 | 0.000 % | c =============================================================================== c New solution: 18133 c Elapsed CPU time: 49.7054 s Remaining CPU time: 130.295 s c =============================================================================== c | 14 | 3489 3704 680346 | 5000 14 3075 | 0.000 % | c =============================================================================== c New solution: 18132 c Elapsed CPU time: 50.1924 s Remaining CPU time: 129.808 s c =============================================================================== c | 14 | 3489 3705 683696 | 5000 14 3075 | 0.000 % | c =============================================================================== c New solution: 18131 c Elapsed CPU time: 50.6693 s Remaining CPU time: 129.331 s c =============================================================================== c | 14 | 3489 3706 687046 | 5000 14 3075 | 0.000 % | c =============================================================================== c New solution: 18130 c Elapsed CPU time: 51.1492 s Remaining CPU time: 128.851 s c =============================================================================== c | 14 | 3489 3707 690396 | 5000 14 3075 | 0.000 % | c =============================================================================== c New solution: 18129 c Elapsed CPU time: 51.6352 s Remaining CPU time: 128.365 s c =============================================================================== c | 14 | 3489 3708 693746 | 5000 14 3075 | 0.000 % | c =============================================================================== c New solution: 18128 c Elapsed CPU time: 52.1061 s Remaining CPU time: 127.894 s c =============================================================================== c | 14 | 3489 3709 697096 | 5000 14 3075 | 0.000 % | c =============================================================================== c New solution: 18127 c Elapsed CPU time: 52.602 s Remaining CPU time: 127.398 s c =============================================================================== c | 14 | 3489 3710 700446 | 5000 14 3075 | 0.000 % | c =============================================================================== c New solution: 18126 c Elapsed CPU time: 53.1269 s Remaining CPU time: 126.873 s c =============================================================================== c | 14 | 3489 3711 703796 | 5000 14 3075 | 0.000 % | c =============================================================================== c New solution: 18125 c Elapsed CPU time: 53.6178 s Remaining CPU time: 126.382 s c =============================================================================== c | 14 | 3489 3712 707146 | 5000 14 3075 | 0.000 % | c =============================================================================== c New solution: 18124 c Elapsed CPU time: 54.1508 s Remaining CPU time: 125.849 s c =============================================================================== c | 15 | 3489 3713 710496 | 5000 15 3090 | 0.000 % | c =============================================================================== c New solution: 18123 c Elapsed CPU time: 54.6797 s Remaining CPU time: 125.32 s c =============================================================================== c | 15 | 3489 3714 713846 | 5000 15 3090 | 0.000 % | c =============================================================================== c New solution: 18122 c Elapsed CPU time: 55.2536 s Remaining CPU time: 124.746 s c =============================================================================== c | 15 | 3489 3715 717196 | 5000 15 3090 | 0.000 % | c =============================================================================== c New solution: 18121 c Elapsed CPU time: 55.8205 s Remaining CPU time: 124.179 s c =============================================================================== c | 15 | 3489 3716 720546 | 5000 15 3090 | 0.000 % | c =============================================================================== c New solution: 18120 c Elapsed CPU time: 56.3724 s Remaining CPU time: 123.628 s c =============================================================================== c | 15 | 3489 3717 723896 | 5000 15 3090 | 0.000 % | c =============================================================================== c New solution: 18119 c Elapsed CPU time: 56.9743 s Remaining CPU time: 123.026 s c =============================================================================== c | 15 | 3489 3718 727246 | 5000 15 3090 | 0.000 % | c =============================================================================== c New solution: 18118 c Elapsed CPU time: 57.5293 s Remaining CPU time: 122.471 s c =============================================================================== c | 18 | 3489 3719 730596 | 5000 18 3125 | 0.000 % | c =============================================================================== c New solution: 18117 c Elapsed CPU time: 58.0642 s Remaining CPU time: 121.936 s c =============================================================================== c | 18 | 3489 3720 733946 | 5000 18 3125 | 0.000 % | c =============================================================================== c New solution: 18116 c Elapsed CPU time: 58.5921 s Remaining CPU time: 121.408 s c =============================================================================== c | 18 | 3489 3721 737296 | 5000 18 3125 | 0.000 % | c =============================================================================== c New solution: 18115 c Elapsed CPU time: 59.144 s Remaining CPU time: 120.856 s c =============================================================================== c | 18 | 3489 3722 740646 | 5000 18 3125 | 0.000 % | c =============================================================================== c New solution: 18114 c Elapsed CPU time: 59.7189 s Remaining CPU time: 120.281 s c =============================================================================== c | 18 | 3489 3723 743996 | 5000 18 3125 | 0.000 % | c =============================================================================== c New solution: 18113 c Elapsed CPU time: 60.2888 s Remaining CPU time: 119.711 s c =============================================================================== c | 19 | 3489 3724 747346 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18112 c Elapsed CPU time: 60.8727 s Remaining CPU time: 119.127 s c =============================================================================== c | 19 | 3489 3725 750696 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18111 c Elapsed CPU time: 61.4377 s Remaining CPU time: 118.562 s c =============================================================================== c | 19 | 3489 3726 754046 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18110 c Elapsed CPU time: 61.9776 s Remaining CPU time: 118.022 s c =============================================================================== c | 19 | 3489 3727 757396 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18109 c Elapsed CPU time: 62.5245 s Remaining CPU time: 117.476 s c =============================================================================== c | 19 | 3489 3728 760746 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18108 c Elapsed CPU time: 63.0614 s Remaining CPU time: 116.939 s c =============================================================================== c | 19 | 3489 3729 764096 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18107 c Elapsed CPU time: 63.6263 s Remaining CPU time: 116.374 s c =============================================================================== c | 19 | 3489 3730 767446 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18106 c Elapsed CPU time: 64.2022 s Remaining CPU time: 115.798 s c =============================================================================== c | 19 | 3489 3731 770796 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18105 c Elapsed CPU time: 64.7502 s Remaining CPU time: 115.25 s c =============================================================================== c | 19 | 3489 3732 774146 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18104 c Elapsed CPU time: 65.3161 s Remaining CPU time: 114.684 s c =============================================================================== c | 19 | 3489 3733 777496 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18103 c Elapsed CPU time: 65.855 s Remaining CPU time: 114.145 s c =============================================================================== c | 19 | 3489 3734 780846 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18102 c Elapsed CPU time: 66.4399 s Remaining CPU time: 113.56 s c =============================================================================== c | 19 | 3489 3735 784196 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18101 c Elapsed CPU time: 67.0318 s Remaining CPU time: 112.968 s c =============================================================================== c | 19 | 3489 3736 787546 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18100 c Elapsed CPU time: 67.5747 s Remaining CPU time: 112.425 s c =============================================================================== c | 19 | 3489 3737 790896 | 5000 19 3134 | 0.000 % | c =============================================================================== c New solution: 18099 c Elapsed CPU time: 68.1666 s Remaining CPU time: 111.833 s c =============================================================================== c | 22 | 3489 3738 794246 | 5000 22 3157 | 0.000 % | c =============================================================================== c New solution: 18098 c Elapsed CPU time: 68.7625 s Remaining CPU time: 111.237 s c =============================================================================== c | 22 | 3489 3739 797596 | 5000 22 3157 | 0.000 % | c =============================================================================== c New solution: 18097 c Elapsed CPU time: 69.3435 s Remaining CPU time: 110.657 s c =============================================================================== c | 22 | 3489 3740 800946 | 5000 22 3157 | 0.000 % | c =============================================================================== c New solution: 18096 c Elapsed CPU time: 69.9194 s Remaining CPU time: 110.081 s c =============================================================================== c | 23 | 3489 3741 804296 | 5000 23 3163 | 0.000 % | c =============================================================================== c New solution: 18095 c Elapsed CPU time: 70.5443 s Remaining CPU time: 109.456 s c =============================================================================== c | 23 | 3489 3742 807646 | 5000 23 3163 | 0.000 % | c =============================================================================== c New solution: 18094 c Elapsed CPU time: 71.1212 s Remaining CPU time: 108.879 s c =============================================================================== c | 23 | 3489 3743 810996 | 5000 23 3163 | 0.000 % | c =============================================================================== c New solution: 18093 c Elapsed CPU time: 71.7211 s Remaining CPU time: 108.279 s c =============================================================================== c | 23 | 3489 3744 814346 | 5000 23 3163 | 0.000 % | c =============================================================================== c New solution: 18092 c Elapsed CPU time: 72.34 s Remaining CPU time: 107.66 s c =============================================================================== c | 23 | 3489 3745 817696 | 5000 23 3163 | 0.000 % | c =============================================================================== c New solution: 18091 c Elapsed CPU time: 72.9369 s Remaining CPU time: 107.063 s c =============================================================================== c | 27 | 3489 3746 821046 | 5000 27 3183 | 0.000 % | c =============================================================================== c New solution: 18090 c Elapsed CPU time: 73.5228 s Remaining CPU time: 106.477 s c =============================================================================== c | 27 | 3489 3747 824396 | 5000 27 3183 | 0.000 % | c =============================================================================== c New solution: 18089 c Elapsed CPU time: 74.1227 s Remaining CPU time: 105.877 s c =============================================================================== c | 27 | 3489 3748 827746 | 5000 27 3183 | 0.000 % | c =============================================================================== c New solution: 18088 c Elapsed CPU time: 74.7896 s Remaining CPU time: 105.21 s c =============================================================================== c | 30 | 3489 3749 831096 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18087 c Elapsed CPU time: 75.4295 s Remaining CPU time: 104.57 s c =============================================================================== c | 30 | 3489 3750 834446 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18086 c Elapsed CPU time: 76.0164 s Remaining CPU time: 103.984 s c =============================================================================== c | 30 | 3489 3751 837796 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18085 c Elapsed CPU time: 76.6254 s Remaining CPU time: 103.375 s c =============================================================================== c | 30 | 3489 3752 841146 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18084 c Elapsed CPU time: 77.2593 s Remaining CPU time: 102.741 s c =============================================================================== c | 30 | 3489 3753 844496 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18083 c Elapsed CPU time: 77.8792 s Remaining CPU time: 102.121 s c =============================================================================== c | 30 | 3489 3754 847846 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18082 c Elapsed CPU time: 78.4791 s Remaining CPU time: 101.521 s c =============================================================================== c | 30 | 3489 3755 851196 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18081 c Elapsed CPU time: 79.095 s Remaining CPU time: 100.905 s c =============================================================================== c | 30 | 3489 3756 854546 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18080 c Elapsed CPU time: 79.7339 s Remaining CPU time: 100.266 s c =============================================================================== c | 30 | 3489 3757 857896 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18079 c Elapsed CPU time: 80.3658 s Remaining CPU time: 99.6342 s c =============================================================================== c | 30 | 3489 3758 861246 | 5000 30 3194 | 0.000 % | c =============================================================================== c New solution: 18078 c Elapsed CPU time: 81.0277 s Remaining CPU time: 98.9723 s c =============================================================================== c | 34 | 3489 3759 864596 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18077 c Elapsed CPU time: 81.6746 s Remaining CPU time: 98.3254 s c =============================================================================== c | 34 | 3489 3760 867946 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18076 c Elapsed CPU time: 82.3435 s Remaining CPU time: 97.6565 s c =============================================================================== c | 34 | 3489 3761 871296 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18075 c Elapsed CPU time: 83.0254 s Remaining CPU time: 96.9746 s c =============================================================================== c | 34 | 3489 3762 874646 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18074 c Elapsed CPU time: 83.6703 s Remaining CPU time: 96.3297 s c =============================================================================== c | 34 | 3489 3763 877996 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18073 c Elapsed CPU time: 84.2932 s Remaining CPU time: 95.7068 s c =============================================================================== c | 34 | 3489 3764 881346 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18072 c Elapsed CPU time: 84.9301 s Remaining CPU time: 95.0699 s c =============================================================================== c | 34 | 3489 3765 884696 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18071 c Elapsed CPU time: 85.635 s Remaining CPU time: 94.365 s c =============================================================================== c | 34 | 3489 3766 888046 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18070 c Elapsed CPU time: 86.3149 s Remaining CPU time: 93.6851 s c =============================================================================== c | 34 | 3489 3767 891396 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18069 c Elapsed CPU time: 86.9428 s Remaining CPU time: 93.0572 s c =============================================================================== c | 34 | 3489 3768 894746 | 5000 34 3206 | 0.000 % | c =============================================================================== c New solution: 18068 c Elapsed CPU time: 87.5957 s Remaining CPU time: 92.4043 s c =============================================================================== c | 41 | 3489 3769 898096 | 5000 41 3220 | 0.000 % | c =============================================================================== c New solution: 18067 c Elapsed CPU time: 88.2536 s Remaining CPU time: 91.7464 s c =============================================================================== c | 41 | 3489 3770 901446 | 5000 41 3220 | 0.000 % | c =============================================================================== c New solution: 18066 c Elapsed CPU time: 88.8825 s Remaining CPU time: 91.1175 s c =============================================================================== c | 41 | 3489 3771 904796 | 5000 41 3220 | 0.000 % | c =============================================================================== c New solution: 18065 c Elapsed CPU time: 89.5224 s Remaining CPU time: 90.4776 s c =============================================================================== c | 42 | 3489 3772 908146 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18064 c Elapsed CPU time: 90.1733 s Remaining CPU time: 89.8267 s c =============================================================================== c | 42 | 3489 3773 911496 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18063 c Elapsed CPU time: 90.8342 s Remaining CPU time: 89.1658 s c =============================================================================== c | 42 | 3489 3774 914846 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18062 c Elapsed CPU time: 91.5461 s Remaining CPU time: 88.4539 s c =============================================================================== c | 42 | 3489 3775 918196 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18061 c Elapsed CPU time: 92.213 s Remaining CPU time: 87.787 s c =============================================================================== c | 42 | 3489 3776 921546 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18060 c Elapsed CPU time: 92.8799 s Remaining CPU time: 87.1201 s c =============================================================================== c | 42 | 3489 3777 924896 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18059 c Elapsed CPU time: 93.5858 s Remaining CPU time: 86.4142 s c =============================================================================== c | 42 | 3489 3778 928246 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18058 c Elapsed CPU time: 94.3287 s Remaining CPU time: 85.6713 s c =============================================================================== c | 42 | 3489 3779 931596 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18057 c Elapsed CPU time: 95.0555 s Remaining CPU time: 84.9445 s c =============================================================================== c | 42 | 3489 3780 934946 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18056 c Elapsed CPU time: 95.7434 s Remaining CPU time: 84.2566 s c =============================================================================== c | 42 | 3489 3781 938296 | 5000 42 3222 | 0.000 % | c =============================================================================== c New solution: 18055 c Elapsed CPU time: 96.3853 s Remaining CPU time: 83.6147 s c =============================================================================== c | 43 | 3489 3782 941646 | 5000 43 3224 | 0.000 % | c =============================================================================== c New solution: 18054 c Elapsed CPU time: 97.0762 s Remaining CPU time: 82.9238 s c =============================================================================== c | 43 | 3489 3783 944996 | 5000 43 3224 | 0.000 % | c =============================================================================== c New solution: 18053 c Elapsed CPU time: 97.7721 s Remaining CPU time: 82.2279 s c =============================================================================== c | 43 | 3489 3784 948346 | 5000 43 3224 | 0.000 % | c =============================================================================== c New solution: 18052 c Elapsed CPU time: 98.443 s Remaining CPU time: 81.557 s c =============================================================================== c | 43 | 3489 3785 951696 | 5000 43 3224 | 0.000 % | c =============================================================================== c New solution: 18051 c Elapsed CPU time: 99.1889 s Remaining CPU time: 80.8111 s c =============================================================================== c | 43 | 3489 3786 955046 | 5000 43 3224 | 0.000 % | c =============================================================================== c New solution: 18050 c Elapsed CPU time: 99.9478 s Remaining CPU time: 80.0522 s c =============================================================================== c | 43 | 3489 3787 958396 | 5000 43 3224 | 0.000 % | c =============================================================================== c New solution: 18049 c Elapsed CPU time: 100.678 s Remaining CPU time: 79.3223 s c =============================================================================== c | 43 | 3489 3788 961746 | 5000 43 3224 | 0.000 % | c =============================================================================== c New solution: 18048 c Elapsed CPU time: 101.389 s Remaining CPU time: 78.6114 s c =============================================================================== c | 44 | 3489 3789 965096 | 5000 44 3225 | 0.000 % | c =============================================================================== c New solution: 18047 c Elapsed CPU time: 102.095 s Remaining CPU time: 77.9045 s c =============================================================================== c | 44 | 3489 3790 968446 | 5000 44 3225 | 0.000 % | c =============================================================================== c New solution: 18046 c Elapsed CPU time: 102.785 s Remaining CPU time: 77.2146 s c =============================================================================== c | 44 | 3489 3791 971796 | 5000 44 3225 | 0.000 % | c =============================================================================== c New solution: 18045 c Elapsed CPU time: 103.475 s Remaining CPU time: 76.5247 s c =============================================================================== c | 44 | 3489 3792 975146 | 5000 44 3225 | 0.000 % | c =============================================================================== c New solution: 18044 c Elapsed CPU time: 104.242 s Remaining CPU time: 75.7578 s c =============================================================================== c | 44 | 3489 3793 978496 | 5000 44 3225 | 0.000 % | c =============================================================================== c New solution: 18043 c Elapsed CPU time: 105.02 s Remaining CPU time: 74.98 s c =============================================================================== c | 52 | 3489 3794 981846 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18042 c Elapsed CPU time: 105.766 s Remaining CPU time: 74.2341 s c =============================================================================== c | 52 | 3489 3795 985196 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18041 c Elapsed CPU time: 106.505 s Remaining CPU time: 73.4952 s c =============================================================================== c | 52 | 3489 3796 988546 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18040 c Elapsed CPU time: 107.253 s Remaining CPU time: 72.7473 s c =============================================================================== c | 52 | 3489 3797 991896 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18039 c Elapsed CPU time: 107.998 s Remaining CPU time: 72.0024 s c =============================================================================== c | 52 | 3489 3798 995246 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18038 c Elapsed CPU time: 108.688 s Remaining CPU time: 71.3115 s c =============================================================================== c | 52 | 3489 3799 998596 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18037 c Elapsed CPU time: 109.407 s Remaining CPU time: 70.5926 s c =============================================================================== c | 52 | 3489 3800 1001946 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18036 c Elapsed CPU time: 110.142 s Remaining CPU time: 69.8577 s c =============================================================================== c | 52 | 3489 3801 1005296 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18035 c Elapsed CPU time: 110.859 s Remaining CPU time: 69.1409 s c =============================================================================== c | 52 | 3489 3802 1008646 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18034 c Elapsed CPU time: 111.564 s Remaining CPU time: 68.436 s c =============================================================================== c | 52 | 3489 3803 1011996 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18033 c Elapsed CPU time: 112.26 s Remaining CPU time: 67.7401 s c =============================================================================== c | 52 | 3489 3804 1015346 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18032 c Elapsed CPU time: 113.003 s Remaining CPU time: 66.9972 s c =============================================================================== c | 52 | 3489 3805 1018696 | 5000 52 3235 | 0.000 % | c =============================================================================== c New solution: 18031 c Elapsed CPU time: 113.9 s Remaining CPU time: 66.1003 s c =============================================================================== c | 64 | 3489 3806 1022046 | 5000 64 3244 | 0.000 % | c =============================================================================== c New solution: 18030 c Elapsed CPU time: 114.635 s Remaining CPU time: 65.3654 s c =============================================================================== c | 66 | 3489 3807 1025396 | 5000 66 3245 | 0.000 % | c =============================================================================== c New solution: 18029 c Elapsed CPU time: 115.364 s Remaining CPU time: 64.6355 s c =============================================================================== c | 66 | 3489 3808 1028746 | 5000 66 3245 | 0.000 % | c =============================================================================== c New solution: 18028 c Elapsed CPU time: 116.126 s Remaining CPU time: 63.8737 s c =============================================================================== c | 66 | 3489 3809 1032096 | 5000 66 3245 | 0.000 % | c =============================================================================== c New solution: 18027 c Elapsed CPU time: 116.896 s Remaining CPU time: 63.1038 s c =============================================================================== c | 66 | 3489 3810 1035446 | 5000 66 3245 | 0.000 % | c =============================================================================== c New solution: 18026 c Elapsed CPU time: 117.676 s Remaining CPU time: 62.3239 s c =============================================================================== c | 66 | 3489 3811 1038796 | 5000 66 3245 | 0.000 % | c =============================================================================== c New solution: 18025 c Elapsed CPU time: 118.462 s Remaining CPU time: 61.538 s c =============================================================================== c | 71 | 3489 3812 1042146 | 5000 71 3248 | 0.000 % | c =============================================================================== c New solution: 18024 c Elapsed CPU time: 119.259 s Remaining CPU time: 60.7411 s c =============================================================================== c | 72 | 3489 3813 1045496 | 5000 72 3248 | 0.000 % | c =============================================================================== c New solution: 18023 c Elapsed CPU time: 120.057 s Remaining CPU time: 59.9433 s c =============================================================================== c | 72 | 3489 3814 1048846 | 5000 72 3248 | 0.000 % | c =============================================================================== c New solution: 18022 c Elapsed CPU time: 120.891 s Remaining CPU time: 59.1094 s c =============================================================================== c | 72 | 3489 3815 1052196 | 5000 72 3248 | 0.000 % | c =============================================================================== c New solution: 18021 c Elapsed CPU time: 121.68 s Remaining CPU time: 58.3205 s c =============================================================================== c | 72 | 3489 3816 1055546 | 5000 72 3248 | 0.000 % | c =============================================================================== c New solution: 18020 c Elapsed CPU time: 122.431 s Remaining CPU time: 57.5686 s c =============================================================================== c | 74 | 3489 3817 1058896 | 5000 74 3249 | 0.000 % | c =============================================================================== c New solution: 18019 c Elapsed CPU time: 123.218 s Remaining CPU time: 56.7817 s c =============================================================================== c | 77 | 3489 3818 1062246 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18018 c Elapsed CPU time: 124.029 s Remaining CPU time: 55.9709 s c =============================================================================== c | 77 | 3489 3819 1065596 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18017 c Elapsed CPU time: 124.877 s Remaining CPU time: 55.123 s c =============================================================================== c | 77 | 3489 3820 1068946 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18016 c Elapsed CPU time: 125.711 s Remaining CPU time: 54.2891 s c =============================================================================== c | 77 | 3489 3821 1072296 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18015 c Elapsed CPU time: 126.552 s Remaining CPU time: 53.4482 s c =============================================================================== c | 77 | 3489 3822 1075646 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18014 c Elapsed CPU time: 127.361 s Remaining CPU time: 52.6394 s c =============================================================================== c | 77 | 3489 3823 1078996 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18013 c Elapsed CPU time: 128.12 s Remaining CPU time: 51.8805 s c =============================================================================== c | 77 | 3489 3824 1082346 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18012 c Elapsed CPU time: 128.893 s Remaining CPU time: 51.1066 s c =============================================================================== c | 77 | 3489 3825 1085696 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18011 c Elapsed CPU time: 129.674 s Remaining CPU time: 50.3257 s c =============================================================================== c | 77 | 3489 3826 1089046 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18010 c Elapsed CPU time: 130.47 s Remaining CPU time: 49.5298 s c =============================================================================== c | 77 | 3489 3827 1092396 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18009 c Elapsed CPU time: 131.245 s Remaining CPU time: 48.755 s c =============================================================================== c | 77 | 3489 3828 1095746 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18008 c Elapsed CPU time: 132.045 s Remaining CPU time: 47.9551 s c =============================================================================== c | 77 | 3489 3829 1099096 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18007 c Elapsed CPU time: 132.838 s Remaining CPU time: 47.1622 s c =============================================================================== c | 77 | 3489 3830 1102446 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18006 c Elapsed CPU time: 133.62 s Remaining CPU time: 46.3803 s c =============================================================================== c | 77 | 3489 3831 1105796 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18005 c Elapsed CPU time: 134.437 s Remaining CPU time: 45.5634 s c =============================================================================== c | 77 | 3489 3832 1109146 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18004 c Elapsed CPU time: 135.296 s Remaining CPU time: 44.7036 s c =============================================================================== c | 77 | 3489 3833 1112496 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18003 c Elapsed CPU time: 136.123 s Remaining CPU time: 43.8767 s c =============================================================================== c | 77 | 3489 3834 1115846 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18002 c Elapsed CPU time: 136.948 s Remaining CPU time: 43.0518 s c =============================================================================== c | 77 | 3489 3835 1119196 | 5000 77 3250 | 0.000 % | c =============================================================================== c New solution: 18001 c Elapsed CPU time: 137.864 s Remaining CPU time: 42.136 s c =============================================================================== c | 81 | 3489 3836 1122546 | 5000 81 3252 | 0.000 % | c =============================================================================== c New solution: 18000 c Elapsed CPU time: 138.65 s Remaining CPU time: 41.3501 s c =============================================================================== c | 82 | 3489 3837 1125896 | 5000 82 3252 | 0.000 % | c =============================================================================== c New solution: 17999 c Elapsed CPU time: 139.463 s Remaining CPU time: 40.5372 s c =============================================================================== c | 82 | 3489 3838 1129246 | 5000 82 3252 | 0.000 % | c =============================================================================== c New solution: 17998 c Elapsed CPU time: 140.303 s Remaining CPU time: 39.6973 s c =============================================================================== c | 82 | 3489 3839 1132596 | 5000 82 3252 | 0.000 % | c =============================================================================== c New solution: 17997 c Elapsed CPU time: 141.152 s Remaining CPU time: 38.8485 s c =============================================================================== c | 82 | 3489 3840 1135946 | 5000 82 3252 | 0.000 % | c =============================================================================== c New solution: 17996 c Elapsed CPU time: 141.965 s Remaining CPU time: 38.0346 s c =============================================================================== c | 85 | 3489 3841 1139296 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17995 c Elapsed CPU time: 142.804 s Remaining CPU time: 37.1957 s c =============================================================================== c | 85 | 3489 3842 1142646 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17994 c Elapsed CPU time: 143.615 s Remaining CPU time: 36.3848 s c =============================================================================== c | 85 | 3489 3843 1145996 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17993 c Elapsed CPU time: 144.499 s Remaining CPU time: 35.501 s c =============================================================================== c | 85 | 3489 3844 1149346 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17992 c Elapsed CPU time: 145.374 s Remaining CPU time: 34.6261 s c =============================================================================== c | 85 | 3489 3845 1152696 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17991 c Elapsed CPU time: 146.227 s Remaining CPU time: 33.7732 s c =============================================================================== c | 85 | 3489 3846 1156046 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17990 c Elapsed CPU time: 147.184 s Remaining CPU time: 32.8164 s c =============================================================================== c | 85 | 3489 3847 1159396 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17989 c Elapsed CPU time: 148.146 s Remaining CPU time: 31.8535 s c =============================================================================== c | 85 | 3489 3848 1162746 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17988 c Elapsed CPU time: 149.041 s Remaining CPU time: 30.9587 s c =============================================================================== c | 85 | 3489 3849 1166096 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17987 c Elapsed CPU time: 149.93 s Remaining CPU time: 30.0698 s c =============================================================================== c | 85 | 3489 3850 1169446 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17986 c Elapsed CPU time: 150.772 s Remaining CPU time: 29.2279 s c =============================================================================== c | 85 | 3489 3851 1172796 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17985 c Elapsed CPU time: 151.651 s Remaining CPU time: 28.3491 s c =============================================================================== c | 85 | 3489 3852 1176146 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17984 c Elapsed CPU time: 152.553 s Remaining CPU time: 27.4472 s c =============================================================================== c | 85 | 3489 3853 1179496 | 5000 85 3253 | 0.000 % | c =============================================================================== c New solution: 17983 c Elapsed CPU time: 153.43 s Remaining CPU time: 26.5703 s c =============================================================================== c | 86 | 3489 3854 1182846 | 5000 86 3253 | 0.000 % | c =============================================================================== c New solution: 17982 c Elapsed CPU time: 154.3 s Remaining CPU time: 25.7005 s c =============================================================================== c | 86 | 3489 3855 1186196 | 5000 86 3253 | 0.000 % | c =============================================================================== c New solution: 17981 c Elapsed CPU time: 155.165 s Remaining CPU time: 24.8346 s c =============================================================================== c | 86 | 3489 3856 1189546 | 5000 86 3253 | 0.000 % | c =============================================================================== c New solution: 17980 c Elapsed CPU time: 155.986 s Remaining CPU time: 24.0137 s c =============================================================================== c | 86 | 3489 3857 1192896 | 5000 86 3253 | 0.000 % | c =============================================================================== c New solution: 17979 c Elapsed CPU time: 156.936 s Remaining CPU time: 23.0639 s c =============================================================================== c | 86 | 3489 3858 1196246 | 5000 86 3253 | 0.000 % | c =============================================================================== c New solution: 17978 c Elapsed CPU time: 157.799 s Remaining CPU time: 22.201 s c =============================================================================== c | 91 | 3489 3859 1199596 | 5000 91 3254 | 0.000 % | c =============================================================================== c New solution: 17977 c Elapsed CPU time: 158.66 s Remaining CPU time: 21.3401 s c =============================================================================== c | 96 | 3489 3860 1202946 | 5000 96 3256 | 0.000 % | c =============================================================================== c New solution: 17976 c Elapsed CPU time: 159.544 s Remaining CPU time: 20.4563 s c =============================================================================== c | 98 | 3489 3861 1206296 | 5000 98 3256 | 0.000 % | c =============================================================================== c New solution: 17975 c Elapsed CPU time: 160.459 s Remaining CPU time: 19.5414 s c =============================================================================== c | 99 | 3489 3862 1209646 | 5000 99 3223 | 0.000 % | c =============================================================================== c New solution: 17974 c Elapsed CPU time: 161.371 s Remaining CPU time: 18.6285 s c =============================================================================== c | 99 | 3489 3863 1212996 | 5000 99 3223 | 0.000 % | c =============================================================================== c New solution: 17973 c Elapsed CPU time: 162.202 s Remaining CPU time: 17.7977 s c =============================================================================== c | 99 | 3489 3864 1216346 | 5000 99 3223 | 0.000 % | c =============================================================================== c New solution: 17972 c Elapsed CPU time: 163.13 s Remaining CPU time: 16.8698 s c =============================================================================== c | 103 | 3489 3865 1219696 | 5000 103 3225 | 0.000 % | c =============================================================================== c New solution: 17971 c Elapsed CPU time: 164 s Remaining CPU time: 15.9999 s c =============================================================================== c | 103 | 3489 3866 1223046 | 5000 103 3225 | 0.000 % | c =============================================================================== c New solution: 17970 c Elapsed CPU time: 164.933 s Remaining CPU time: 15.0671 s c =============================================================================== c | 103 | 3489 3867 1226396 | 5000 103 3225 | 0.000 % | c =============================================================================== c New solution: 17969 c Elapsed CPU time: 165.863 s Remaining CPU time: 14.1372 s c =============================================================================== c | 103 | 3489 3868 1229746 | 5000 103 3225 | 0.000 % | c =============================================================================== c New solution: 17968 c Elapsed CPU time: 166.862 s Remaining CPU time: 13.1384 s c =============================================================================== c | 103 | 3489 3869 1233096 | 5000 103 3225 | 0.000 % | c =============================================================================== c New solution: 17967 c Elapsed CPU time: 167.858 s Remaining CPU time: 12.1415 s c =============================================================================== c | 103 | 3489 3870 1236446 | 5000 103 3225 | 0.000 % | c =============================================================================== c New solution: 17966 c Elapsed CPU time: 168.857 s Remaining CPU time: 11.1427 s c =============================================================================== c | 104 | 3489 3871 1239796 | 5000 104 3226 | 0.000 % | c =============================================================================== c New solution: 17965 c Elapsed CPU time: 169.991 s Remaining CPU time: 10.0088 s c =============================================================================== c | 110 | 3489 3872 1243146 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17964 c Elapsed CPU time: 170.984 s Remaining CPU time: 9.01599 s c =============================================================================== c | 110 | 3489 3873 1246496 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17963 c Elapsed CPU time: 171.91 s Remaining CPU time: 8.09014 s c =============================================================================== c | 110 | 3489 3874 1249846 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17962 c Elapsed CPU time: 172.817 s Remaining CPU time: 7.18327 s c =============================================================================== c | 110 | 3489 3875 1253196 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17961 c Elapsed CPU time: 173.815 s Remaining CPU time: 6.18542 s c =============================================================================== c | 110 | 3489 3876 1256546 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17960 c Elapsed CPU time: 174.822 s Remaining CPU time: 5.17758 s c =============================================================================== c | 110 | 3489 3877 1259896 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17959 c Elapsed CPU time: 175.78 s Remaining CPU time: 4.21972 s c =============================================================================== c | 110 | 3489 3878 1263246 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17958 c Elapsed CPU time: 176.734 s Remaining CPU time: 3.26587 s c =============================================================================== c | 110 | 3489 3879 1266596 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17957 c Elapsed CPU time: 177.731 s Remaining CPU time: 2.26902 s c =============================================================================== c | 110 | 3489 3880 1269946 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17956 c Elapsed CPU time: 178.679 s Remaining CPU time: 1.32116 s c =============================================================================== c | 110 | 3489 3881 1273296 | 5000 110 3228 | 0.000 % | c =============================================================================== c New solution: 17955 c Elapsed CPU time: 179.633 s Remaining CPU time: 0.367309 s c =============================================================================== c | 110 | 3489 3882 1276646 | 5000 110 3228 | 0.000 % | c There are 11 assigned variables. 3 in cost function.