c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 4500 | c | Number Clauses: 4500 | 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 | 4491 4505 13336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23927 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 4491 4506 17686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23921 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 4491 4507 22036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23916 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 4491 4508 26386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23915 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 4491 4509 30736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23914 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 4491 4510 35086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23912 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 0 | 4491 4511 39436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23911 c Elapsed CPU time: 0.529919 s Remaining CPU time: 179.47 s c =============================================================================== c | 0 | 4491 4512 43786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23909 c Elapsed CPU time: 0.603908 s Remaining CPU time: 179.396 s c =============================================================================== c | 0 | 4491 4513 48136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23907 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 0 | 4491 4514 52486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23906 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 0 | 4491 4515 56836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23905 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 0 | 4491 4516 61186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23903 c Elapsed CPU time: 0.904862 s Remaining CPU time: 179.095 s c =============================================================================== c | 0 | 4491 4517 65536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23902 c Elapsed CPU time: 0.98385 s Remaining CPU time: 179.016 s c =============================================================================== c | 0 | 4491 4518 69886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23901 c Elapsed CPU time: 1.06784 s Remaining CPU time: 178.932 s c =============================================================================== c | 0 | 4491 4519 74236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23900 c Elapsed CPU time: 1.15082 s Remaining CPU time: 178.849 s c =============================================================================== c | 0 | 4491 4520 78586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23899 c Elapsed CPU time: 1.23581 s Remaining CPU time: 178.764 s c =============================================================================== c | 0 | 4491 4521 82936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23898 c Elapsed CPU time: 1.3228 s Remaining CPU time: 178.677 s c =============================================================================== c | 0 | 4491 4522 87286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23897 c Elapsed CPU time: 1.41078 s Remaining CPU time: 178.589 s c =============================================================================== c | 0 | 4491 4523 91636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23894 c Elapsed CPU time: 1.50277 s Remaining CPU time: 178.497 s c =============================================================================== c | 0 | 4491 4524 95986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23893 c Elapsed CPU time: 1.59276 s Remaining CPU time: 178.407 s c =============================================================================== c | 0 | 4491 4525 100336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23892 c Elapsed CPU time: 1.68474 s Remaining CPU time: 178.315 s c =============================================================================== c | 0 | 4491 4526 104686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23891 c Elapsed CPU time: 1.77673 s Remaining CPU time: 178.223 s c =============================================================================== c | 0 | 4491 4527 109036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23887 c Elapsed CPU time: 1.86672 s Remaining CPU time: 178.133 s c =============================================================================== c | 0 | 4491 4528 113386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23886 c Elapsed CPU time: 1.9657 s Remaining CPU time: 178.034 s c =============================================================================== c | 0 | 4491 4529 117736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23885 c Elapsed CPU time: 2.06269 s Remaining CPU time: 177.937 s c =============================================================================== c | 0 | 4491 4530 122086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23883 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 0 | 4491 4531 126436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23881 c Elapsed CPU time: 2.26865 s Remaining CPU time: 177.731 s c =============================================================================== c | 0 | 4491 4532 130786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23877 c Elapsed CPU time: 2.37564 s Remaining CPU time: 177.624 s c =============================================================================== c | 0 | 4491 4533 135136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23875 c Elapsed CPU time: 2.48562 s Remaining CPU time: 177.514 s c =============================================================================== c | 0 | 4491 4534 139486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23873 c Elapsed CPU time: 2.59661 s Remaining CPU time: 177.403 s c =============================================================================== c | 0 | 4491 4535 143836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23871 c Elapsed CPU time: 2.70859 s Remaining CPU time: 177.291 s c =============================================================================== c | 0 | 4491 4536 148186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23869 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 0 | 4491 4537 152536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23865 c Elapsed CPU time: 2.93355 s Remaining CPU time: 177.066 s c =============================================================================== c | 0 | 4491 4538 156886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23861 c Elapsed CPU time: 3.04754 s Remaining CPU time: 176.952 s c =============================================================================== c | 0 | 4491 4539 161236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23859 c Elapsed CPU time: 3.16752 s Remaining CPU time: 176.832 s c =============================================================================== c | 0 | 4491 4540 165586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23858 c Elapsed CPU time: 3.2835 s Remaining CPU time: 176.716 s c =============================================================================== c | 0 | 4491 4541 169936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23854 c Elapsed CPU time: 3.40148 s Remaining CPU time: 176.599 s c =============================================================================== c | 0 | 4491 4542 174286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23853 c Elapsed CPU time: 3.53146 s Remaining CPU time: 176.469 s c =============================================================================== c | 0 | 4491 4543 178636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23852 c Elapsed CPU time: 3.66244 s Remaining CPU time: 176.338 s c =============================================================================== c | 0 | 4491 4544 182986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23849 c Elapsed CPU time: 3.79642 s Remaining CPU time: 176.204 s c =============================================================================== c | 0 | 4491 4545 187336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23847 c Elapsed CPU time: 3.9284 s Remaining CPU time: 176.072 s c =============================================================================== c | 0 | 4491 4546 191686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23846 c Elapsed CPU time: 4.06738 s Remaining CPU time: 175.933 s c =============================================================================== c | 0 | 4491 4547 196036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23844 c Elapsed CPU time: 4.20736 s Remaining CPU time: 175.793 s c =============================================================================== c | 0 | 4491 4548 200386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23843 c Elapsed CPU time: 4.34734 s Remaining CPU time: 175.653 s c =============================================================================== c | 0 | 4491 4549 204736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23841 c Elapsed CPU time: 4.49132 s Remaining CPU time: 175.509 s c =============================================================================== c | 0 | 4491 4550 209086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23839 c Elapsed CPU time: 4.6363 s Remaining CPU time: 175.364 s c =============================================================================== c | 0 | 4491 4551 213436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23838 c Elapsed CPU time: 4.78227 s Remaining CPU time: 175.218 s c =============================================================================== c | 0 | 4491 4552 217786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23836 c Elapsed CPU time: 4.93225 s Remaining CPU time: 175.068 s c =============================================================================== c | 0 | 4491 4553 222136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23835 c Elapsed CPU time: 5.07723 s Remaining CPU time: 174.923 s c =============================================================================== c | 0 | 4491 4554 226486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23832 c Elapsed CPU time: 5.2282 s Remaining CPU time: 174.772 s c =============================================================================== c | 0 | 4491 4555 230836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23830 c Elapsed CPU time: 5.37618 s Remaining CPU time: 174.624 s c =============================================================================== c | 0 | 4491 4556 235186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23829 c Elapsed CPU time: 5.53016 s Remaining CPU time: 174.47 s c =============================================================================== c | 0 | 4491 4557 239536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23827 c Elapsed CPU time: 5.68513 s Remaining CPU time: 174.315 s c =============================================================================== c | 0 | 4491 4558 243886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23824 c Elapsed CPU time: 5.84211 s Remaining CPU time: 174.158 s c =============================================================================== c | 0 | 4491 4559 248236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23823 c Elapsed CPU time: 6.00509 s Remaining CPU time: 173.995 s c =============================================================================== c | 0 | 4491 4560 252586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23821 c Elapsed CPU time: 6.16806 s Remaining CPU time: 173.832 s c =============================================================================== c | 0 | 4491 4561 256936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23820 c Elapsed CPU time: 6.32804 s Remaining CPU time: 173.672 s c =============================================================================== c | 0 | 4491 4562 261286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23818 c Elapsed CPU time: 6.49401 s Remaining CPU time: 173.506 s c =============================================================================== c | 0 | 4491 4563 265636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23817 c Elapsed CPU time: 6.66399 s Remaining CPU time: 173.336 s c =============================================================================== c | 0 | 4491 4564 269986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23816 c Elapsed CPU time: 6.83096 s Remaining CPU time: 173.169 s c =============================================================================== c | 0 | 4491 4565 274336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23814 c Elapsed CPU time: 7.00094 s Remaining CPU time: 172.999 s c =============================================================================== c | 0 | 4491 4566 278686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23813 c Elapsed CPU time: 7.18091 s Remaining CPU time: 172.819 s c =============================================================================== c | 0 | 4491 4567 283036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23812 c Elapsed CPU time: 7.36088 s Remaining CPU time: 172.639 s c =============================================================================== c | 0 | 4491 4568 287386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23810 c Elapsed CPU time: 7.54585 s Remaining CPU time: 172.454 s c =============================================================================== c | 0 | 4491 4569 291736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23809 c Elapsed CPU time: 7.73182 s Remaining CPU time: 172.268 s c =============================================================================== c | 0 | 4491 4570 296086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23808 c Elapsed CPU time: 7.9238 s Remaining CPU time: 172.076 s c =============================================================================== c | 0 | 4491 4571 300436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23807 c Elapsed CPU time: 8.10577 s Remaining CPU time: 171.894 s c =============================================================================== c | 0 | 4491 4572 304786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23806 c Elapsed CPU time: 8.30274 s Remaining CPU time: 171.697 s c =============================================================================== c | 0 | 4491 4573 309136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23805 c Elapsed CPU time: 8.49271 s Remaining CPU time: 171.507 s c =============================================================================== c | 0 | 4491 4574 313486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23803 c Elapsed CPU time: 8.67968 s Remaining CPU time: 171.32 s c =============================================================================== c | 0 | 4491 4575 317836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23802 c Elapsed CPU time: 8.87365 s Remaining CPU time: 171.126 s c =============================================================================== c | 0 | 4491 4576 322186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23800 c Elapsed CPU time: 9.07762 s Remaining CPU time: 170.922 s c =============================================================================== c | 0 | 4491 4577 326536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23799 c Elapsed CPU time: 9.27759 s Remaining CPU time: 170.722 s c =============================================================================== c | 0 | 4491 4578 330886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23797 c Elapsed CPU time: 9.47956 s Remaining CPU time: 170.52 s c =============================================================================== c | 0 | 4491 4579 335236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23796 c Elapsed CPU time: 9.67853 s Remaining CPU time: 170.321 s c =============================================================================== c | 0 | 4491 4580 339586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23793 c Elapsed CPU time: 9.8815 s Remaining CPU time: 170.119 s c =============================================================================== c | 0 | 4491 4581 343936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23792 c Elapsed CPU time: 10.0885 s Remaining CPU time: 169.912 s c =============================================================================== c | 0 | 4491 4582 348286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23791 c Elapsed CPU time: 10.3024 s Remaining CPU time: 169.698 s c =============================================================================== c | 0 | 4491 4583 352636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23789 c Elapsed CPU time: 10.5144 s Remaining CPU time: 169.486 s c =============================================================================== c | 0 | 4491 4584 356986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23786 c Elapsed CPU time: 10.7324 s Remaining CPU time: 169.268 s c =============================================================================== c | 0 | 4491 4585 361336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23784 c Elapsed CPU time: 10.9513 s Remaining CPU time: 169.049 s c =============================================================================== c | 0 | 4491 4586 365686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23782 c Elapsed CPU time: 11.1663 s Remaining CPU time: 168.834 s c =============================================================================== c | 0 | 4491 4587 370036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23781 c Elapsed CPU time: 11.3863 s Remaining CPU time: 168.614 s c =============================================================================== c | 0 | 4491 4588 374386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23777 c Elapsed CPU time: 11.6082 s Remaining CPU time: 168.392 s c =============================================================================== c | 0 | 4491 4589 378736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23773 c Elapsed CPU time: 11.8302 s Remaining CPU time: 168.17 s c =============================================================================== c | 0 | 4491 4590 383086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23769 c Elapsed CPU time: 12.0532 s Remaining CPU time: 167.947 s c =============================================================================== c | 0 | 4491 4591 387436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23766 c Elapsed CPU time: 12.2891 s Remaining CPU time: 167.711 s c =============================================================================== c | 0 | 4491 4592 391786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23765 c Elapsed CPU time: 12.5221 s Remaining CPU time: 167.478 s c =============================================================================== c | 0 | 4491 4593 396136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23762 c Elapsed CPU time: 12.7611 s Remaining CPU time: 167.239 s c =============================================================================== c | 0 | 4491 4594 400486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23758 c Elapsed CPU time: 12.997 s Remaining CPU time: 167.003 s c =============================================================================== c | 0 | 4491 4595 404836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23755 c Elapsed CPU time: 13.241 s Remaining CPU time: 166.759 s c =============================================================================== c | 0 | 4491 4596 409186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23754 c Elapsed CPU time: 13.4869 s Remaining CPU time: 166.513 s c =============================================================================== c | 0 | 4491 4597 413536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23751 c Elapsed CPU time: 13.7389 s Remaining CPU time: 166.261 s c =============================================================================== c | 0 | 4491 4598 417886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23747 c Elapsed CPU time: 13.9999 s Remaining CPU time: 166 s c =============================================================================== c | 0 | 4491 4599 422236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23746 c Elapsed CPU time: 14.2558 s Remaining CPU time: 165.744 s c =============================================================================== c | 0 | 4491 4600 426586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23745 c Elapsed CPU time: 14.5228 s Remaining CPU time: 165.477 s c =============================================================================== c | 0 | 4491 4601 430936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23742 c Elapsed CPU time: 14.7828 s Remaining CPU time: 165.217 s c =============================================================================== c | 0 | 4491 4602 435286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23738 c Elapsed CPU time: 15.0527 s Remaining CPU time: 164.947 s c =============================================================================== c | 0 | 4491 4603 439636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23737 c Elapsed CPU time: 15.3197 s Remaining CPU time: 164.68 s c =============================================================================== c | 0 | 4491 4604 443986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23734 c Elapsed CPU time: 15.5846 s Remaining CPU time: 164.415 s c =============================================================================== c | 0 | 4491 4605 448336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23731 c Elapsed CPU time: 15.8556 s Remaining CPU time: 164.144 s c =============================================================================== c | 0 | 4491 4606 452686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23729 c Elapsed CPU time: 16.1365 s Remaining CPU time: 163.863 s c =============================================================================== c | 0 | 4491 4607 457036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23727 c Elapsed CPU time: 16.4165 s Remaining CPU time: 163.583 s c =============================================================================== c | 0 | 4491 4608 461386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23726 c Elapsed CPU time: 16.7005 s Remaining CPU time: 163.3 s c =============================================================================== c | 0 | 4491 4609 465736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23725 c Elapsed CPU time: 16.9954 s Remaining CPU time: 163.005 s c =============================================================================== c | 0 | 4491 4610 470086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23724 c Elapsed CPU time: 17.2884 s Remaining CPU time: 162.712 s c =============================================================================== c | 0 | 4491 4611 474436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23723 c Elapsed CPU time: 17.5843 s Remaining CPU time: 162.416 s c =============================================================================== c | 0 | 4491 4612 478786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23722 c Elapsed CPU time: 17.8803 s Remaining CPU time: 162.12 s c =============================================================================== c | 0 | 4491 4613 483136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23717 c Elapsed CPU time: 18.1772 s Remaining CPU time: 161.823 s c =============================================================================== c | 0 | 4491 4614 487486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23716 c Elapsed CPU time: 18.4902 s Remaining CPU time: 161.51 s c =============================================================================== c | 0 | 4491 4615 491836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23715 c Elapsed CPU time: 18.7901 s Remaining CPU time: 161.21 s c =============================================================================== c | 0 | 4491 4616 496186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23714 c Elapsed CPU time: 19.0861 s Remaining CPU time: 160.914 s c =============================================================================== c | 0 | 4491 4617 500536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23712 c Elapsed CPU time: 19.3951 s Remaining CPU time: 160.605 s c =============================================================================== c | 0 | 4491 4618 504886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23711 c Elapsed CPU time: 19.699 s Remaining CPU time: 160.301 s c =============================================================================== c | 0 | 4491 4619 509236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23710 c Elapsed CPU time: 20.005 s Remaining CPU time: 159.995 s c =============================================================================== c | 0 | 4491 4620 513586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23709 c Elapsed CPU time: 20.3119 s Remaining CPU time: 159.688 s c =============================================================================== c | 0 | 4491 4621 517936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23708 c Elapsed CPU time: 20.6289 s Remaining CPU time: 159.371 s c =============================================================================== c | 0 | 4491 4622 522286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23707 c Elapsed CPU time: 20.9498 s Remaining CPU time: 159.05 s c =============================================================================== c | 0 | 4491 4623 526636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23706 c Elapsed CPU time: 21.2778 s Remaining CPU time: 158.722 s c =============================================================================== c | 0 | 4491 4624 530986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23704 c Elapsed CPU time: 21.5917 s Remaining CPU time: 158.408 s c =============================================================================== c | 0 | 4491 4625 535336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23703 c Elapsed CPU time: 21.9177 s Remaining CPU time: 158.082 s c =============================================================================== c | 0 | 4491 4626 539686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23702 c Elapsed CPU time: 22.2486 s Remaining CPU time: 157.751 s c =============================================================================== c | 0 | 4491 4627 544036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23701 c Elapsed CPU time: 22.5786 s Remaining CPU time: 157.421 s c =============================================================================== c | 0 | 4491 4628 548386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23698 c Elapsed CPU time: 22.9075 s Remaining CPU time: 157.092 s c =============================================================================== c | 0 | 4491 4629 552736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23697 c Elapsed CPU time: 23.2545 s Remaining CPU time: 156.746 s c =============================================================================== c | 0 | 4491 4630 557086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23695 c Elapsed CPU time: 23.5924 s Remaining CPU time: 156.408 s c =============================================================================== c | 0 | 4491 4631 561436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23694 c Elapsed CPU time: 23.9394 s Remaining CPU time: 156.061 s c =============================================================================== c | 0 | 4491 4632 565786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23693 c Elapsed CPU time: 24.2883 s Remaining CPU time: 155.712 s c =============================================================================== c | 0 | 4491 4633 570136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23692 c Elapsed CPU time: 24.6363 s Remaining CPU time: 155.364 s c =============================================================================== c | 0 | 4491 4634 574486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23691 c Elapsed CPU time: 24.9812 s Remaining CPU time: 155.019 s c =============================================================================== c | 0 | 4491 4635 578836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23690 c Elapsed CPU time: 25.3321 s Remaining CPU time: 154.668 s c =============================================================================== c | 0 | 4491 4636 583186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23689 c Elapsed CPU time: 25.6861 s Remaining CPU time: 154.314 s c =============================================================================== c | 0 | 4491 4637 587536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23686 c Elapsed CPU time: 26.035 s Remaining CPU time: 153.965 s c =============================================================================== c | 0 | 4491 4638 591886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23681 c Elapsed CPU time: 26.394 s Remaining CPU time: 153.606 s c =============================================================================== c | 0 | 4491 4639 596236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23680 c Elapsed CPU time: 26.7539 s Remaining CPU time: 153.246 s c =============================================================================== c | 0 | 4491 4640 600586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23679 c Elapsed CPU time: 27.1209 s Remaining CPU time: 152.879 s c =============================================================================== c | 0 | 4491 4641 604936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23678 c Elapsed CPU time: 27.5088 s Remaining CPU time: 152.491 s c =============================================================================== c | 0 | 4491 4642 609286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23674 c Elapsed CPU time: 27.8938 s Remaining CPU time: 152.106 s c =============================================================================== c | 0 | 4491 4643 613636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23673 c Elapsed CPU time: 28.2887 s Remaining CPU time: 151.711 s c =============================================================================== c | 0 | 4491 4644 617986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23672 c Elapsed CPU time: 28.6776 s Remaining CPU time: 151.322 s c =============================================================================== c | 0 | 4491 4645 622336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23670 c Elapsed CPU time: 29.0766 s Remaining CPU time: 150.923 s c =============================================================================== c | 0 | 4491 4646 626686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23667 c Elapsed CPU time: 29.4755 s Remaining CPU time: 150.524 s c =============================================================================== c | 0 | 4491 4647 631036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23666 c Elapsed CPU time: 29.8755 s Remaining CPU time: 150.125 s c =============================================================================== c | 0 | 4491 4648 635386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23665 c Elapsed CPU time: 30.2754 s Remaining CPU time: 149.725 s c =============================================================================== c | 0 | 4491 4649 639736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23664 c Elapsed CPU time: 30.6693 s Remaining CPU time: 149.331 s c =============================================================================== c | 0 | 4491 4650 644086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23663 c Elapsed CPU time: 31.0653 s Remaining CPU time: 148.935 s c =============================================================================== c | 0 | 4491 4651 648436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23662 c Elapsed CPU time: 31.4582 s Remaining CPU time: 148.542 s c =============================================================================== c | 0 | 4491 4652 652786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23661 c Elapsed CPU time: 31.8642 s Remaining CPU time: 148.136 s c =============================================================================== c | 0 | 4491 4653 657136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23659 c Elapsed CPU time: 32.2711 s Remaining CPU time: 147.729 s c =============================================================================== c | 0 | 4491 4654 661486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23658 c Elapsed CPU time: 32.68 s Remaining CPU time: 147.32 s c =============================================================================== c | 0 | 4491 4655 665836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23655 c Elapsed CPU time: 33.098 s Remaining CPU time: 146.902 s c =============================================================================== c | 0 | 4491 4656 670186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23653 c Elapsed CPU time: 33.5289 s Remaining CPU time: 146.471 s c =============================================================================== c | 0 | 4491 4657 674536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23652 c Elapsed CPU time: 33.9518 s Remaining CPU time: 146.048 s c =============================================================================== c | 0 | 4491 4658 678886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23651 c Elapsed CPU time: 34.3968 s Remaining CPU time: 145.603 s c =============================================================================== c | 0 | 4491 4659 683236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23649 c Elapsed CPU time: 34.8257 s Remaining CPU time: 145.174 s c =============================================================================== c | 0 | 4491 4660 687586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23648 c Elapsed CPU time: 35.2446 s Remaining CPU time: 144.755 s c =============================================================================== c | 0 | 4491 4661 691936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23647 c Elapsed CPU time: 35.6566 s Remaining CPU time: 144.343 s c =============================================================================== c | 0 | 4491 4662 696286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23646 c Elapsed CPU time: 36.0825 s Remaining CPU time: 143.917 s c =============================================================================== c | 0 | 4491 4663 700636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23644 c Elapsed CPU time: 36.4975 s Remaining CPU time: 143.503 s c =============================================================================== c | 0 | 4491 4664 704986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23642 c Elapsed CPU time: 36.9104 s Remaining CPU time: 143.09 s c =============================================================================== c | 0 | 4491 4665 709336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23641 c Elapsed CPU time: 37.3313 s Remaining CPU time: 142.669 s c =============================================================================== c | 0 | 4491 4666 713686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23640 c Elapsed CPU time: 37.7493 s Remaining CPU time: 142.251 s c =============================================================================== c | 0 | 4491 4667 718036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23639 c Elapsed CPU time: 38.1862 s Remaining CPU time: 141.814 s c =============================================================================== c | 0 | 4491 4668 722386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23638 c Elapsed CPU time: 38.6181 s Remaining CPU time: 141.382 s c =============================================================================== c | 0 | 4491 4669 726736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23634 c Elapsed CPU time: 39.0321 s Remaining CPU time: 140.968 s c =============================================================================== c | 0 | 4491 4670 731086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23629 c Elapsed CPU time: 39.463 s Remaining CPU time: 140.537 s c =============================================================================== c | 0 | 4491 4671 735436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23627 c Elapsed CPU time: 39.9099 s Remaining CPU time: 140.09 s c =============================================================================== c | 0 | 4491 4672 739786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23625 c Elapsed CPU time: 40.3639 s Remaining CPU time: 139.636 s c =============================================================================== c | 0 | 4491 4673 744136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23624 c Elapsed CPU time: 40.8078 s Remaining CPU time: 139.192 s c =============================================================================== c | 0 | 4491 4674 748486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23623 c Elapsed CPU time: 41.2537 s Remaining CPU time: 138.746 s c =============================================================================== c | 0 | 4491 4675 752836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23621 c Elapsed CPU time: 41.7007 s Remaining CPU time: 138.299 s c =============================================================================== c | 0 | 4491 4676 757186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23620 c Elapsed CPU time: 42.1336 s Remaining CPU time: 137.866 s c =============================================================================== c | 0 | 4491 4677 761536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23619 c Elapsed CPU time: 42.5705 s Remaining CPU time: 137.429 s c =============================================================================== c | 0 | 4491 4678 765886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23618 c Elapsed CPU time: 42.9995 s Remaining CPU time: 137.001 s c =============================================================================== c | 0 | 4491 4679 770236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23617 c Elapsed CPU time: 43.4294 s Remaining CPU time: 136.571 s c =============================================================================== c | 0 | 4491 4680 774586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23616 c Elapsed CPU time: 43.8843 s Remaining CPU time: 136.116 s c =============================================================================== c | 0 | 4491 4681 778936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23614 c Elapsed CPU time: 44.3423 s Remaining CPU time: 135.658 s c =============================================================================== c | 0 | 4491 4682 783286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23613 c Elapsed CPU time: 44.8142 s Remaining CPU time: 135.186 s c =============================================================================== c | 0 | 4491 4683 787636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23612 c Elapsed CPU time: 45.3021 s Remaining CPU time: 134.698 s c =============================================================================== c | 0 | 4491 4684 791986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23611 c Elapsed CPU time: 45.803 s Remaining CPU time: 134.197 s c =============================================================================== c | 0 | 4491 4685 796336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23610 c Elapsed CPU time: 46.294 s Remaining CPU time: 133.706 s c =============================================================================== c | 0 | 4491 4686 800686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23608 c Elapsed CPU time: 46.7989 s Remaining CPU time: 133.201 s c =============================================================================== c | 0 | 4491 4687 805036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23606 c Elapsed CPU time: 47.2868 s Remaining CPU time: 132.713 s c =============================================================================== c | 0 | 4491 4688 809386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23605 c Elapsed CPU time: 47.7867 s Remaining CPU time: 132.213 s c =============================================================================== c | 0 | 4491 4689 813736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23604 c Elapsed CPU time: 48.2947 s Remaining CPU time: 131.705 s c =============================================================================== c | 0 | 4491 4690 818086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23603 c Elapsed CPU time: 48.8166 s Remaining CPU time: 131.183 s c =============================================================================== c | 0 | 4491 4691 822436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23602 c Elapsed CPU time: 49.3215 s Remaining CPU time: 130.678 s c =============================================================================== c | 0 | 4491 4692 826786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23600 c Elapsed CPU time: 49.8264 s Remaining CPU time: 130.174 s c =============================================================================== c | 0 | 4491 4693 831136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23598 c Elapsed CPU time: 50.3493 s Remaining CPU time: 129.651 s c =============================================================================== c | 0 | 4491 4694 835486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23596 c Elapsed CPU time: 50.8833 s Remaining CPU time: 129.117 s c =============================================================================== c | 0 | 4491 4695 839836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23594 c Elapsed CPU time: 51.4112 s Remaining CPU time: 128.589 s c =============================================================================== c | 0 | 4491 4696 844186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23593 c Elapsed CPU time: 51.9291 s Remaining CPU time: 128.071 s c =============================================================================== c | 0 | 4491 4697 848536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23592 c Elapsed CPU time: 52.485 s Remaining CPU time: 127.515 s c =============================================================================== c | 0 | 4491 4698 852886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23591 c Elapsed CPU time: 53.0249 s Remaining CPU time: 126.975 s c =============================================================================== c | 0 | 4491 4699 857236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23590 c Elapsed CPU time: 53.5799 s Remaining CPU time: 126.42 s c =============================================================================== c | 0 | 4491 4700 861586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23589 c Elapsed CPU time: 54.1198 s Remaining CPU time: 125.88 s c =============================================================================== c | 0 | 4491 4701 865936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23586 c Elapsed CPU time: 54.6547 s Remaining CPU time: 125.345 s c =============================================================================== c | 0 | 4491 4702 870286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23583 c Elapsed CPU time: 55.1906 s Remaining CPU time: 124.809 s c =============================================================================== c | 0 | 4491 4703 874636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23582 c Elapsed CPU time: 55.7395 s Remaining CPU time: 124.26 s c =============================================================================== c | 0 | 4491 4704 878986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23580 c Elapsed CPU time: 56.2784 s Remaining CPU time: 123.722 s c =============================================================================== c | 0 | 4491 4705 883336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23579 c Elapsed CPU time: 56.8194 s Remaining CPU time: 123.181 s c =============================================================================== c | 0 | 4491 4706 887686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23578 c Elapsed CPU time: 57.3713 s Remaining CPU time: 122.629 s c =============================================================================== c | 0 | 4491 4707 892036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23577 c Elapsed CPU time: 57.9322 s Remaining CPU time: 122.068 s c =============================================================================== c | 0 | 4491 4708 896386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23576 c Elapsed CPU time: 58.5261 s Remaining CPU time: 121.474 s c =============================================================================== c | 0 | 4491 4709 900736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23575 c Elapsed CPU time: 59.111 s Remaining CPU time: 120.889 s c =============================================================================== c | 0 | 4491 4710 905086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23574 c Elapsed CPU time: 59.7209 s Remaining CPU time: 120.279 s c =============================================================================== c | 0 | 4491 4711 909436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23573 c Elapsed CPU time: 60.3218 s Remaining CPU time: 119.678 s c =============================================================================== c | 0 | 4491 4712 913786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23572 c Elapsed CPU time: 60.9147 s Remaining CPU time: 119.085 s c =============================================================================== c | 0 | 4491 4713 918136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23571 c Elapsed CPU time: 61.5066 s Remaining CPU time: 118.493 s c =============================================================================== c | 0 | 4491 4714 922486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23570 c Elapsed CPU time: 62.0806 s Remaining CPU time: 117.919 s c =============================================================================== c | 0 | 4491 4715 926836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23569 c Elapsed CPU time: 62.6935 s Remaining CPU time: 117.307 s c =============================================================================== c | 0 | 4491 4716 931186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23568 c Elapsed CPU time: 63.3164 s Remaining CPU time: 116.684 s c =============================================================================== c | 0 | 4491 4717 935536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23567 c Elapsed CPU time: 63.9073 s Remaining CPU time: 116.093 s c =============================================================================== c | 0 | 4491 4718 939886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23566 c Elapsed CPU time: 64.4942 s Remaining CPU time: 115.506 s c =============================================================================== c | 0 | 4491 4719 944236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23565 c Elapsed CPU time: 65.0811 s Remaining CPU time: 114.919 s c =============================================================================== c | 0 | 4491 4720 948586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23564 c Elapsed CPU time: 65.731 s Remaining CPU time: 114.269 s c =============================================================================== c | 0 | 4491 4721 952936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23563 c Elapsed CPU time: 66.3609 s Remaining CPU time: 113.639 s c =============================================================================== c | 0 | 4491 4722 957286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23562 c Elapsed CPU time: 66.9928 s Remaining CPU time: 113.007 s c =============================================================================== c | 0 | 4491 4723 961636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23561 c Elapsed CPU time: 67.6187 s Remaining CPU time: 112.381 s c =============================================================================== c | 0 | 4491 4724 965986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23560 c Elapsed CPU time: 68.2686 s Remaining CPU time: 111.731 s c =============================================================================== c | 0 | 4491 4725 970336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23559 c Elapsed CPU time: 68.9145 s Remaining CPU time: 111.085 s c =============================================================================== c | 0 | 4491 4726 974686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23558 c Elapsed CPU time: 69.5644 s Remaining CPU time: 110.436 s c =============================================================================== c | 0 | 4491 4727 979036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23556 c Elapsed CPU time: 70.2113 s Remaining CPU time: 109.789 s c =============================================================================== c | 0 | 4491 4728 983386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23553 c Elapsed CPU time: 70.8602 s Remaining CPU time: 109.14 s c =============================================================================== c | 0 | 4491 4729 987736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23550 c Elapsed CPU time: 71.5081 s Remaining CPU time: 108.492 s c =============================================================================== c | 0 | 4491 4730 992086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23548 c Elapsed CPU time: 72.183 s Remaining CPU time: 107.817 s c =============================================================================== c | 0 | 4491 4731 996436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23547 c Elapsed CPU time: 72.8409 s Remaining CPU time: 107.159 s c =============================================================================== c | 0 | 4491 4732 1000786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23546 c Elapsed CPU time: 73.4928 s Remaining CPU time: 106.507 s c =============================================================================== c | 0 | 4491 4733 1005136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23544 c Elapsed CPU time: 74.1597 s Remaining CPU time: 105.84 s c =============================================================================== c | 0 | 4491 4734 1009486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23542 c Elapsed CPU time: 74.8216 s Remaining CPU time: 105.178 s c =============================================================================== c | 0 | 4491 4735 1013836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23541 c Elapsed CPU time: 75.4725 s Remaining CPU time: 104.527 s c =============================================================================== c | 0 | 4491 4736 1018186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23538 c Elapsed CPU time: 76.1204 s Remaining CPU time: 103.88 s c =============================================================================== c | 0 | 4491 4737 1022536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23537 c Elapsed CPU time: 76.7873 s Remaining CPU time: 103.213 s c =============================================================================== c | 0 | 4491 4738 1026886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23536 c Elapsed CPU time: 77.4702 s Remaining CPU time: 102.53 s c =============================================================================== c | 0 | 4491 4739 1031236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23535 c Elapsed CPU time: 78.1451 s Remaining CPU time: 101.855 s c =============================================================================== c | 0 | 4491 4740 1035586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23534 c Elapsed CPU time: 78.939 s Remaining CPU time: 101.061 s c =============================================================================== c | 0 | 4491 4741 1039936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23533 c Elapsed CPU time: 79.7549 s Remaining CPU time: 100.245 s c =============================================================================== c | 0 | 4491 4742 1044286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23531 c Elapsed CPU time: 80.5718 s Remaining CPU time: 99.4282 s c =============================================================================== c | 0 | 4491 4743 1048636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23530 c Elapsed CPU time: 81.4256 s Remaining CPU time: 98.5744 s c =============================================================================== c | 0 | 4491 4744 1052986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23529 c Elapsed CPU time: 82.2725 s Remaining CPU time: 97.7275 s c =============================================================================== c | 0 | 4491 4745 1057336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23528 c Elapsed CPU time: 83.1674 s Remaining CPU time: 96.8326 s c =============================================================================== c | 0 | 4491 4746 1061686 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23527 c Elapsed CPU time: 84.0532 s Remaining CPU time: 95.9468 s c =============================================================================== c | 0 | 4491 4747 1066036 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23526 c Elapsed CPU time: 84.9211 s Remaining CPU time: 95.0789 s c =============================================================================== c | 0 | 4491 4748 1070386 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23524 c Elapsed CPU time: 85.767 s Remaining CPU time: 94.233 s c =============================================================================== c | 0 | 4491 4749 1074736 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23523 c Elapsed CPU time: 86.6098 s Remaining CPU time: 93.3902 s c =============================================================================== c | 0 | 4491 4750 1079086 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23521 c Elapsed CPU time: 87.4587 s Remaining CPU time: 92.5413 s c =============================================================================== c | 0 | 4491 4751 1083436 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23520 c Elapsed CPU time: 88.3136 s Remaining CPU time: 91.6864 s c =============================================================================== c | 0 | 4491 4752 1087786 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23519 c Elapsed CPU time: 89.1364 s Remaining CPU time: 90.8636 s c =============================================================================== c | 0 | 4491 4753 1092136 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23517 c Elapsed CPU time: 89.9823 s Remaining CPU time: 90.0177 s c =============================================================================== c | 0 | 4491 4754 1096486 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23516 c Elapsed CPU time: 90.8712 s Remaining CPU time: 89.1288 s c =============================================================================== c | 0 | 4491 4755 1100836 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23515 c Elapsed CPU time: 91.77 s Remaining CPU time: 88.23 s c =============================================================================== c | 0 | 4491 4756 1105186 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23514 c Elapsed CPU time: 92.6089 s Remaining CPU time: 87.3911 s c =============================================================================== c | 0 | 4491 4757 1109536 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23513 c Elapsed CPU time: 93.4268 s Remaining CPU time: 86.5732 s c =============================================================================== c | 0 | 4491 4758 1113886 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23512 c Elapsed CPU time: 94.2397 s Remaining CPU time: 85.7603 s c =============================================================================== c | 0 | 4491 4759 1118236 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23511 c Elapsed CPU time: 95.0525 s Remaining CPU time: 84.9475 s c =============================================================================== c | 0 | 4491 4760 1122586 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23510 c Elapsed CPU time: 95.8544 s Remaining CPU time: 84.1456 s c =============================================================================== c | 0 | 4491 4761 1126936 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23509 c Elapsed CPU time: 96.6273 s Remaining CPU time: 83.3727 s c =============================================================================== c | 0 | 4491 4762 1131286 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23508 c Elapsed CPU time: 97.4172 s Remaining CPU time: 82.5828 s c =============================================================================== c | 0 | 4491 4763 1135636 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23507 c Elapsed CPU time: 98.2171 s Remaining CPU time: 81.7829 s c =============================================================================== c | 0 | 4491 4764 1139986 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23505 c Elapsed CPU time: 99.0199 s Remaining CPU time: 80.9801 s c =============================================================================== c | 0 | 4491 4765 1144336 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23504 c Elapsed CPU time: 99.8038 s Remaining CPU time: 80.1962 s c =============================================================================== c | 1 | 4491 4766 1148686 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23503 c Elapsed CPU time: 100.595 s Remaining CPU time: 79.4053 s c =============================================================================== c | 1 | 4491 4767 1153036 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23502 c Elapsed CPU time: 101.355 s Remaining CPU time: 78.6454 s c =============================================================================== c | 1 | 4491 4768 1157386 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23501 c Elapsed CPU time: 102.136 s Remaining CPU time: 77.8635 s c =============================================================================== c | 1 | 4491 4769 1161736 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23500 c Elapsed CPU time: 102.906 s Remaining CPU time: 77.0936 s c =============================================================================== c | 1 | 4491 4770 1166086 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23499 c Elapsed CPU time: 103.645 s Remaining CPU time: 76.3548 s c =============================================================================== c | 1 | 4491 4771 1170436 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23498 c Elapsed CPU time: 104.394 s Remaining CPU time: 75.6059 s c =============================================================================== c | 1 | 4491 4772 1174786 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23497 c Elapsed CPU time: 105.174 s Remaining CPU time: 74.826 s c =============================================================================== c | 1 | 4491 4773 1179136 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23496 c Elapsed CPU time: 105.985 s Remaining CPU time: 74.0151 s c =============================================================================== c | 1 | 4491 4774 1183486 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23495 c Elapsed CPU time: 106.787 s Remaining CPU time: 73.2132 s c =============================================================================== c | 1 | 4491 4775 1187836 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23493 c Elapsed CPU time: 107.528 s Remaining CPU time: 72.4723 s c =============================================================================== c | 1 | 4491 4776 1192186 | 5000 1 4286 | 0.000 % | c =============================================================================== c New solution: 23492 c Elapsed CPU time: 108.242 s Remaining CPU time: 71.7585 s c =============================================================================== c | 2 | 4491 4777 1196536 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23491 c Elapsed CPU time: 109.011 s Remaining CPU time: 70.9886 s c =============================================================================== c | 2 | 4491 4778 1200886 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23490 c Elapsed CPU time: 109.757 s Remaining CPU time: 70.2427 s c =============================================================================== c | 2 | 4491 4779 1205236 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23489 c Elapsed CPU time: 110.497 s Remaining CPU time: 69.5028 s c =============================================================================== c | 2 | 4491 4780 1209586 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23487 c Elapsed CPU time: 111.23 s Remaining CPU time: 68.7699 s c =============================================================================== c | 2 | 4491 4781 1213936 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23486 c Elapsed CPU time: 111.939 s Remaining CPU time: 68.061 s c =============================================================================== c | 2 | 4491 4782 1218286 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23485 c Elapsed CPU time: 112.604 s Remaining CPU time: 67.3961 s c =============================================================================== c | 2 | 4491 4783 1222636 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23484 c Elapsed CPU time: 113.301 s Remaining CPU time: 66.6992 s c =============================================================================== c | 2 | 4491 4784 1226986 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23483 c Elapsed CPU time: 114.07 s Remaining CPU time: 65.9303 s c =============================================================================== c | 2 | 4491 4785 1231336 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23482 c Elapsed CPU time: 114.928 s Remaining CPU time: 65.0725 s c =============================================================================== c | 2 | 4491 4786 1235686 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23480 c Elapsed CPU time: 115.71 s Remaining CPU time: 64.2896 s c =============================================================================== c | 2 | 4491 4787 1240036 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23479 c Elapsed CPU time: 116.58 s Remaining CPU time: 63.4197 s c =============================================================================== c | 2 | 4491 4788 1244386 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23478 c Elapsed CPU time: 117.415 s Remaining CPU time: 62.5849 s c =============================================================================== c | 2 | 4491 4789 1248736 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23477 c Elapsed CPU time: 118.309 s Remaining CPU time: 61.691 s c =============================================================================== c | 2 | 4491 4790 1253086 | 5000 2 4285 | 0.000 % | c =============================================================================== c New solution: 23475 c Elapsed CPU time: 119.163 s Remaining CPU time: 60.8371 s c =============================================================================== c | 4 | 4491 4791 1257436 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23474 c Elapsed CPU time: 120.004 s Remaining CPU time: 59.9962 s c =============================================================================== c | 4 | 4491 4792 1261786 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23472 c Elapsed CPU time: 120.802 s Remaining CPU time: 59.1984 s c =============================================================================== c | 4 | 4491 4793 1266136 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23471 c Elapsed CPU time: 121.627 s Remaining CPU time: 58.3735 s c =============================================================================== c | 4 | 4491 4794 1270486 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23470 c Elapsed CPU time: 122.434 s Remaining CPU time: 57.5656 s c =============================================================================== c | 4 | 4491 4795 1274836 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23469 c Elapsed CPU time: 123.231 s Remaining CPU time: 56.7687 s c =============================================================================== c | 4 | 4491 4796 1279186 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23468 c Elapsed CPU time: 123.996 s Remaining CPU time: 56.0039 s c =============================================================================== c | 4 | 4491 4797 1283536 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23467 c Elapsed CPU time: 124.766 s Remaining CPU time: 55.234 s c =============================================================================== c | 4 | 4491 4798 1287886 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23465 c Elapsed CPU time: 125.55 s Remaining CPU time: 54.4501 s c =============================================================================== c | 4 | 4491 4799 1292236 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23464 c Elapsed CPU time: 126.388 s Remaining CPU time: 53.6122 s c =============================================================================== c | 4 | 4491 4800 1296586 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23463 c Elapsed CPU time: 127.22 s Remaining CPU time: 52.7803 s c =============================================================================== c | 4 | 4491 4801 1300936 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23462 c Elapsed CPU time: 128.094 s Remaining CPU time: 51.9065 s c =============================================================================== c | 4 | 4491 4802 1305286 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23461 c Elapsed CPU time: 128.962 s Remaining CPU time: 51.0376 s c =============================================================================== c | 4 | 4491 4803 1309636 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23460 c Elapsed CPU time: 129.805 s Remaining CPU time: 50.1947 s c =============================================================================== c | 4 | 4491 4804 1313986 | 5000 4 4283 | 0.000 % | c =============================================================================== c New solution: 23458 c Elapsed CPU time: 130.614 s Remaining CPU time: 49.3859 s c =============================================================================== c | 5 | 4491 4805 1318336 | 5000 5 4282 | 0.000 % | c =============================================================================== c New solution: 23457 c Elapsed CPU time: 131.488 s Remaining CPU time: 48.512 s c =============================================================================== c | 5 | 4491 4806 1322686 | 5000 5 4282 | 0.000 % | c =============================================================================== c New solution: 23456 c Elapsed CPU time: 132.315 s Remaining CPU time: 47.6851 s c =============================================================================== c | 5 | 4491 4807 1327036 | 5000 5 4282 | 0.000 % | c =============================================================================== c New solution: 23455 c Elapsed CPU time: 133.069 s Remaining CPU time: 46.9312 s c =============================================================================== c | 6 | 4491 4808 1331386 | 5000 6 4281 | 0.000 % | c =============================================================================== c New solution: 23454 c Elapsed CPU time: 133.844 s Remaining CPU time: 46.1563 s c =============================================================================== c | 6 | 4491 4809 1335736 | 5000 6 4281 | 0.000 % | c =============================================================================== c New solution: 23452 c Elapsed CPU time: 134.707 s Remaining CPU time: 45.2935 s c =============================================================================== c | 6 | 4491 4810 1340086 | 5000 6 4281 | 0.000 % | c =============================================================================== c New solution: 23449 c Elapsed CPU time: 135.508 s Remaining CPU time: 44.4916 s c =============================================================================== c | 6 | 4491 4811 1344436 | 5000 6 4281 | 0.000 % | c =============================================================================== c New solution: 23447 c Elapsed CPU time: 136.321 s Remaining CPU time: 43.6787 s c =============================================================================== c | 6 | 4491 4812 1348786 | 5000 6 4281 | 0.000 % | c =============================================================================== c New solution: 23446 c Elapsed CPU time: 137.156 s Remaining CPU time: 42.8439 s c =============================================================================== c | 6 | 4491 4813 1353136 | 5000 6 4281 | 0.000 % | c =============================================================================== c New solution: 23445 c Elapsed CPU time: 138.007 s Remaining CPU time: 41.993 s c =============================================================================== c | 6 | 4491 4814 1357486 | 5000 6 4281 | 0.000 % | c =============================================================================== c New solution: 23443 c Elapsed CPU time: 138.836 s Remaining CPU time: 41.1641 s c =============================================================================== c | 6 | 4491 4815 1361836 | 5000 6 4281 | 0.000 % | c =============================================================================== c New solution: 23442 c Elapsed CPU time: 139.622 s Remaining CPU time: 40.3782 s c =============================================================================== c | 6 | 4491 4816 1366186 | 5000 6 4281 | 0.000 % | c =============================================================================== c New solution: 23441 c Elapsed CPU time: 140.477 s Remaining CPU time: 39.5234 s c =============================================================================== c | 7 | 4491 4817 1370536 | 5000 7 4281 | 0.000 % | c =============================================================================== c New solution: 23440 c Elapsed CPU time: 141.296 s Remaining CPU time: 38.7045 s c =============================================================================== c | 7 | 4491 4818 1374886 | 5000 7 4281 | 0.000 % | c =============================================================================== c New solution: 23439 c Elapsed CPU time: 142.144 s Remaining CPU time: 37.8556 s c =============================================================================== c | 7 | 4491 4819 1379236 | 5000 7 4281 | 0.000 % | c =============================================================================== c New solution: 23437 c Elapsed CPU time: 142.993 s Remaining CPU time: 37.0067 s c =============================================================================== c | 7 | 4491 4820 1383586 | 5000 7 4281 | 0.000 % | c =============================================================================== c New solution: 23436 c Elapsed CPU time: 143.871 s Remaining CPU time: 36.1289 s c =============================================================================== c | 7 | 4491 4821 1387936 | 5000 7 4281 | 0.000 % | c =============================================================================== c New solution: 23434 c Elapsed CPU time: 144.781 s Remaining CPU time: 35.219 s c =============================================================================== c | 7 | 4491 4822 1392286 | 5000 7 4281 | 0.000 % | c =============================================================================== c New solution: 23432 c Elapsed CPU time: 145.701 s Remaining CPU time: 34.2991 s c =============================================================================== c | 7 | 4491 4823 1396636 | 5000 7 4281 | 0.000 % | c =============================================================================== c New solution: 23431 c Elapsed CPU time: 146.533 s Remaining CPU time: 33.4673 s c =============================================================================== c | 7 | 4491 4824 1400986 | 5000 7 4281 | 0.000 % | c =============================================================================== c New solution: 23430 c Elapsed CPU time: 147.398 s Remaining CPU time: 32.6024 s c =============================================================================== c | 9 | 4491 4825 1405336 | 5000 9 4279 | 0.000 % | c =============================================================================== c New solution: 23429 c Elapsed CPU time: 148.219 s Remaining CPU time: 31.7805 s c =============================================================================== c | 9 | 4491 4826 1409686 | 5000 9 4279 | 0.000 % | c =============================================================================== c New solution: 23428 c Elapsed CPU time: 149.062 s Remaining CPU time: 30.9377 s c =============================================================================== c | 9 | 4491 4827 1414036 | 5000 9 4279 | 0.000 % | c =============================================================================== c New solution: 23427 c Elapsed CPU time: 149.869 s Remaining CPU time: 30.1308 s c =============================================================================== c | 13 | 4491 4828 1418386 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23425 c Elapsed CPU time: 150.783 s Remaining CPU time: 29.2169 s c =============================================================================== c | 13 | 4491 4829 1422736 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23423 c Elapsed CPU time: 151.69 s Remaining CPU time: 28.3101 s c =============================================================================== c | 13 | 4491 4830 1427086 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23421 c Elapsed CPU time: 152.62 s Remaining CPU time: 27.3802 s c =============================================================================== c | 13 | 4491 4831 1431436 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23420 c Elapsed CPU time: 153.524 s Remaining CPU time: 26.4763 s c =============================================================================== c | 13 | 4491 4832 1435786 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23419 c Elapsed CPU time: 154.444 s Remaining CPU time: 25.5565 s c =============================================================================== c | 13 | 4491 4833 1440136 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23418 c Elapsed CPU time: 155.397 s Remaining CPU time: 24.6026 s c =============================================================================== c | 13 | 4491 4834 1444486 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23417 c Elapsed CPU time: 156.464 s Remaining CPU time: 23.5358 s c =============================================================================== c | 13 | 4491 4835 1448836 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23416 c Elapsed CPU time: 157.552 s Remaining CPU time: 22.448 s c =============================================================================== c | 13 | 4491 4836 1453186 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23415 c Elapsed CPU time: 158.632 s Remaining CPU time: 21.3681 s c =============================================================================== c | 13 | 4491 4837 1457536 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23413 c Elapsed CPU time: 159.549 s Remaining CPU time: 20.4513 s c =============================================================================== c | 13 | 4491 4838 1461886 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23411 c Elapsed CPU time: 160.452 s Remaining CPU time: 19.5484 s c =============================================================================== c | 13 | 4491 4839 1466236 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23410 c Elapsed CPU time: 161.346 s Remaining CPU time: 18.6535 s c =============================================================================== c | 13 | 4491 4840 1470586 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23409 c Elapsed CPU time: 162.229 s Remaining CPU time: 17.7707 s c =============================================================================== c | 13 | 4491 4841 1474936 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23408 c Elapsed CPU time: 163.114 s Remaining CPU time: 16.8858 s c =============================================================================== c | 13 | 4491 4842 1479286 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23407 c Elapsed CPU time: 164.026 s Remaining CPU time: 15.9739 s c =============================================================================== c | 13 | 4491 4843 1483636 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23406 c Elapsed CPU time: 164.949 s Remaining CPU time: 15.0511 s c =============================================================================== c | 13 | 4491 4844 1487986 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23405 c Elapsed CPU time: 165.832 s Remaining CPU time: 14.1682 s c =============================================================================== c | 13 | 4491 4845 1492336 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23404 c Elapsed CPU time: 166.716 s Remaining CPU time: 13.2843 s c =============================================================================== c | 13 | 4491 4846 1496686 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23403 c Elapsed CPU time: 167.595 s Remaining CPU time: 12.4055 s c =============================================================================== c | 13 | 4491 4847 1501036 | 5000 13 4276 | 0.000 % | c =============================================================================== c New solution: 23401 c Elapsed CPU time: 168.481 s Remaining CPU time: 11.5186 s c =============================================================================== c | 15 | 4491 4848 1505386 | 5000 15 4275 | 0.000 % | c =============================================================================== c New solution: 23400 c Elapsed CPU time: 169.358 s Remaining CPU time: 10.6417 s c =============================================================================== c | 17 | 4491 4849 1509736 | 5000 17 4274 | 0.000 % | c =============================================================================== c New solution: 23399 c Elapsed CPU time: 170.226 s Remaining CPU time: 9.77388 s c =============================================================================== c | 18 | 4491 4850 1514086 | 5000 18 4274 | 0.000 % | c =============================================================================== c New solution: 23397 c Elapsed CPU time: 171.327 s Remaining CPU time: 8.67305 s c =============================================================================== c | 23 | 4491 4851 1518436 | 5000 23 4273 | 0.000 % | c =============================================================================== c New solution: 23396 c Elapsed CPU time: 172.271 s Remaining CPU time: 7.72919 s c =============================================================================== c | 23 | 4491 4852 1522786 | 5000 23 4273 | 0.000 % | c =============================================================================== c New solution: 23395 c Elapsed CPU time: 173.239 s Remaining CPU time: 6.76134 s c =============================================================================== c | 23 | 4491 4853 1527136 | 5000 23 4273 | 0.000 % | c =============================================================================== c New solution: 23394 c Elapsed CPU time: 174.286 s Remaining CPU time: 5.7145 s c =============================================================================== c | 26 | 4491 4854 1531486 | 5000 26 4272 | 0.000 % | c =============================================================================== c New solution: 23393 c Elapsed CPU time: 175.324 s Remaining CPU time: 4.67565 s c =============================================================================== c | 28 | 4491 4855 1535836 | 5000 28 4272 | 0.000 % | c =============================================================================== c New solution: 23392 c Elapsed CPU time: 176.256 s Remaining CPU time: 3.7438 s c =============================================================================== c | 28 | 4491 4856 1540186 | 5000 28 4272 | 0.000 % | c =============================================================================== c New solution: 23391 c Elapsed CPU time: 177.244 s Remaining CPU time: 2.75595 s c =============================================================================== c | 28 | 4491 4857 1544536 | 5000 28 4272 | 0.000 % | c =============================================================================== c New solution: 23390 c Elapsed CPU time: 178.171 s Remaining CPU time: 1.82909 s c =============================================================================== c | 29 | 4491 4858 1548886 | 5000 29 4272 | 0.000 % | c =============================================================================== c New solution: 23389 c Elapsed CPU time: 179.185 s Remaining CPU time: 0.815241 s c =============================================================================== c | 29 | 4491 4859 1553236 | 5000 29 4272 | 0.000 % | c =============================================================================== c New solution: 23388 c Elapsed CPU time: 180.167 s Remaining CPU time: -0.16661 s c =============================================================================== c | 32 | 4491 4860 1557586 | 5000 32 4271 | 0.000 % | c There are 9 assigned variables. 0 in cost function.