c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 4500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 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 | 4488 4503 13343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23887 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 4488 4504 17693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23881 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 4488 4505 22043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23878 c Elapsed CPU time: 0.239963 s Remaining CPU time: 179.76 s c =============================================================================== c | 0 | 4488 4506 26393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23877 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 0 | 4488 4507 30743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23874 c Elapsed CPU time: 0.380942 s Remaining CPU time: 179.619 s c =============================================================================== c | 0 | 4488 4508 35093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23871 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 4488 4509 39443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23868 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 0 | 4488 4510 43793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23867 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 0 | 4488 4511 48143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23866 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 0 | 4488 4512 52493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23863 c Elapsed CPU time: 0.753885 s Remaining CPU time: 179.246 s c =============================================================================== c | 0 | 4488 4513 56843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23862 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 0 | 4488 4514 61193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23861 c Elapsed CPU time: 0.911861 s Remaining CPU time: 179.088 s c =============================================================================== c | 0 | 4488 4515 65543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23860 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 0 | 4488 4516 69893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23857 c Elapsed CPU time: 1.07584 s Remaining CPU time: 178.924 s c =============================================================================== c | 0 | 4488 4517 74243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23856 c Elapsed CPU time: 1.16182 s Remaining CPU time: 178.838 s c =============================================================================== c | 0 | 4488 4518 78593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23855 c Elapsed CPU time: 1.24681 s Remaining CPU time: 178.753 s c =============================================================================== c | 0 | 4488 4519 82943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23854 c Elapsed CPU time: 1.3378 s Remaining CPU time: 178.662 s c =============================================================================== c | 0 | 4488 4520 87293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23853 c Elapsed CPU time: 1.42678 s Remaining CPU time: 178.573 s c =============================================================================== c | 0 | 4488 4521 91643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23852 c Elapsed CPU time: 1.52277 s Remaining CPU time: 178.477 s c =============================================================================== c | 0 | 4488 4522 95993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23851 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s c =============================================================================== c | 0 | 4488 4523 100343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23850 c Elapsed CPU time: 1.71274 s Remaining CPU time: 178.287 s c =============================================================================== c | 0 | 4488 4524 104693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23849 c Elapsed CPU time: 1.81172 s Remaining CPU time: 178.188 s c =============================================================================== c | 0 | 4488 4525 109043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23848 c Elapsed CPU time: 1.91371 s Remaining CPU time: 178.086 s c =============================================================================== c | 0 | 4488 4526 113393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23847 c Elapsed CPU time: 2.01269 s Remaining CPU time: 177.987 s c =============================================================================== c | 0 | 4488 4527 117743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23845 c Elapsed CPU time: 2.11768 s Remaining CPU time: 177.882 s c =============================================================================== c | 0 | 4488 4528 122093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23844 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 0 | 4488 4529 126443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23842 c Elapsed CPU time: 2.32265 s Remaining CPU time: 177.677 s c =============================================================================== c | 0 | 4488 4530 130793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23841 c Elapsed CPU time: 2.43663 s Remaining CPU time: 177.563 s c =============================================================================== c | 0 | 4488 4531 135143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23840 c Elapsed CPU time: 2.55061 s Remaining CPU time: 177.449 s c =============================================================================== c | 0 | 4488 4532 139493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23839 c Elapsed CPU time: 2.66359 s Remaining CPU time: 177.336 s c =============================================================================== c | 0 | 4488 4533 143843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23838 c Elapsed CPU time: 2.78158 s Remaining CPU time: 177.218 s c =============================================================================== c | 0 | 4488 4534 148193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23837 c Elapsed CPU time: 2.90156 s Remaining CPU time: 177.098 s c =============================================================================== c | 0 | 4488 4535 152543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23835 c Elapsed CPU time: 3.02254 s Remaining CPU time: 176.977 s c =============================================================================== c | 0 | 4488 4536 156893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23832 c Elapsed CPU time: 3.14652 s Remaining CPU time: 176.853 s c =============================================================================== c | 0 | 4488 4537 161243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23830 c Elapsed CPU time: 3.2725 s Remaining CPU time: 176.727 s c =============================================================================== c | 0 | 4488 4538 165593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23827 c Elapsed CPU time: 3.40548 s Remaining CPU time: 176.595 s c =============================================================================== c | 0 | 4488 4539 169943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23826 c Elapsed CPU time: 3.53546 s Remaining CPU time: 176.465 s c =============================================================================== c | 0 | 4488 4540 174293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23825 c Elapsed CPU time: 3.67544 s Remaining CPU time: 176.325 s c =============================================================================== c | 0 | 4488 4541 178643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23823 c Elapsed CPU time: 3.81142 s Remaining CPU time: 176.189 s c =============================================================================== c | 0 | 4488 4542 182993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23822 c Elapsed CPU time: 3.9504 s Remaining CPU time: 176.05 s c =============================================================================== c | 0 | 4488 4543 187343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23821 c Elapsed CPU time: 4.08738 s Remaining CPU time: 175.913 s c =============================================================================== c | 0 | 4488 4544 191693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23819 c Elapsed CPU time: 4.23236 s Remaining CPU time: 175.768 s c =============================================================================== c | 0 | 4488 4545 196043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23817 c Elapsed CPU time: 4.38133 s Remaining CPU time: 175.619 s c =============================================================================== c | 0 | 4488 4546 200393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23815 c Elapsed CPU time: 4.53431 s Remaining CPU time: 175.466 s c =============================================================================== c | 0 | 4488 4547 204743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23813 c Elapsed CPU time: 4.68129 s Remaining CPU time: 175.319 s c =============================================================================== c | 0 | 4488 4548 209093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23812 c Elapsed CPU time: 4.83427 s Remaining CPU time: 175.166 s c =============================================================================== c | 0 | 4488 4549 213443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23810 c Elapsed CPU time: 4.99024 s Remaining CPU time: 175.01 s c =============================================================================== c | 0 | 4488 4550 217793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23809 c Elapsed CPU time: 5.14922 s Remaining CPU time: 174.851 s c =============================================================================== c | 0 | 4488 4551 222143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23806 c Elapsed CPU time: 5.31319 s Remaining CPU time: 174.687 s c =============================================================================== c | 0 | 4488 4552 226493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23804 c Elapsed CPU time: 5.48217 s Remaining CPU time: 174.518 s c =============================================================================== c | 0 | 4488 4553 230843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23803 c Elapsed CPU time: 5.65414 s Remaining CPU time: 174.346 s c =============================================================================== c | 0 | 4488 4554 235193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23801 c Elapsed CPU time: 5.82711 s Remaining CPU time: 174.173 s c =============================================================================== c | 0 | 4488 4555 239543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23799 c Elapsed CPU time: 6.00209 s Remaining CPU time: 173.998 s c =============================================================================== c | 0 | 4488 4556 243893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23797 c Elapsed CPU time: 6.17806 s Remaining CPU time: 173.822 s c =============================================================================== c | 0 | 4488 4557 248243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23796 c Elapsed CPU time: 6.35603 s Remaining CPU time: 173.644 s c =============================================================================== c | 0 | 4488 4558 252593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23795 c Elapsed CPU time: 6.54101 s Remaining CPU time: 173.459 s c =============================================================================== c | 0 | 4488 4559 256943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23794 c Elapsed CPU time: 6.72798 s Remaining CPU time: 173.272 s c =============================================================================== c | 0 | 4488 4560 261293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23791 c Elapsed CPU time: 6.91495 s Remaining CPU time: 173.085 s c =============================================================================== c | 0 | 4488 4561 265643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23790 c Elapsed CPU time: 7.10392 s Remaining CPU time: 172.896 s c =============================================================================== c | 0 | 4488 4562 269993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23789 c Elapsed CPU time: 7.29689 s Remaining CPU time: 172.703 s c =============================================================================== c | 0 | 4488 4563 274343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23787 c Elapsed CPU time: 7.49786 s Remaining CPU time: 172.502 s c =============================================================================== c | 0 | 4488 4564 278693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23784 c Elapsed CPU time: 7.69183 s Remaining CPU time: 172.308 s c =============================================================================== c | 0 | 4488 4565 283043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23780 c Elapsed CPU time: 7.8918 s Remaining CPU time: 172.108 s c =============================================================================== c | 0 | 4488 4566 287393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23779 c Elapsed CPU time: 8.10377 s Remaining CPU time: 171.896 s c =============================================================================== c | 0 | 4488 4567 291743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23778 c Elapsed CPU time: 8.31274 s Remaining CPU time: 171.687 s c =============================================================================== c | 0 | 4488 4568 296093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23775 c Elapsed CPU time: 8.5217 s Remaining CPU time: 171.478 s c =============================================================================== c | 0 | 4488 4569 300443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23774 c Elapsed CPU time: 8.74167 s Remaining CPU time: 171.258 s c =============================================================================== c | 0 | 4488 4570 304793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23773 c Elapsed CPU time: 8.96364 s Remaining CPU time: 171.036 s c =============================================================================== c | 0 | 4488 4571 309143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23769 c Elapsed CPU time: 9.1836 s Remaining CPU time: 170.816 s c =============================================================================== c | 0 | 4488 4572 313493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23766 c Elapsed CPU time: 9.40757 s Remaining CPU time: 170.592 s c =============================================================================== c | 0 | 4488 4573 317843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23763 c Elapsed CPU time: 9.63853 s Remaining CPU time: 170.361 s c =============================================================================== c | 0 | 4488 4574 322193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23762 c Elapsed CPU time: 9.8695 s Remaining CPU time: 170.131 s c =============================================================================== c | 0 | 4488 4575 326543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23761 c Elapsed CPU time: 10.1065 s Remaining CPU time: 169.894 s c =============================================================================== c | 0 | 4488 4576 330893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23760 c Elapsed CPU time: 10.3434 s Remaining CPU time: 169.657 s c =============================================================================== c | 0 | 4488 4577 335243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23758 c Elapsed CPU time: 10.5824 s Remaining CPU time: 169.418 s c =============================================================================== c | 0 | 4488 4578 339593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23754 c Elapsed CPU time: 10.8164 s Remaining CPU time: 169.184 s c =============================================================================== c | 0 | 4488 4579 343943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23751 c Elapsed CPU time: 11.0583 s Remaining CPU time: 168.942 s c =============================================================================== c | 0 | 4488 4580 348293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23747 c Elapsed CPU time: 11.3123 s Remaining CPU time: 168.688 s c =============================================================================== c | 0 | 4488 4581 352643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23746 c Elapsed CPU time: 11.5762 s Remaining CPU time: 168.424 s c =============================================================================== c | 0 | 4488 4582 356993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23745 c Elapsed CPU time: 11.8332 s Remaining CPU time: 168.167 s c =============================================================================== c | 0 | 4488 4583 361343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23743 c Elapsed CPU time: 12.0882 s Remaining CPU time: 167.912 s c =============================================================================== c | 0 | 4488 4584 365693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23740 c Elapsed CPU time: 12.3441 s Remaining CPU time: 167.656 s c =============================================================================== c | 0 | 4488 4585 370043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23739 c Elapsed CPU time: 12.6061 s Remaining CPU time: 167.394 s c =============================================================================== c | 0 | 4488 4586 374393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23737 c Elapsed CPU time: 12.87 s Remaining CPU time: 167.13 s c =============================================================================== c | 0 | 4488 4587 378743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23736 c Elapsed CPU time: 13.139 s Remaining CPU time: 166.861 s c =============================================================================== c | 0 | 4488 4588 383093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23735 c Elapsed CPU time: 13.407 s Remaining CPU time: 166.593 s c =============================================================================== c | 0 | 4488 4589 387443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23734 c Elapsed CPU time: 13.6739 s Remaining CPU time: 166.326 s c =============================================================================== c | 0 | 4488 4590 391793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23733 c Elapsed CPU time: 13.9449 s Remaining CPU time: 166.055 s c =============================================================================== c | 0 | 4488 4591 396143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23732 c Elapsed CPU time: 14.2208 s Remaining CPU time: 165.779 s c =============================================================================== c | 0 | 4488 4592 400493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23727 c Elapsed CPU time: 14.4958 s Remaining CPU time: 165.504 s c =============================================================================== c | 0 | 4488 4593 404843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23725 c Elapsed CPU time: 14.7828 s Remaining CPU time: 165.217 s c =============================================================================== c | 0 | 4488 4594 409193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23724 c Elapsed CPU time: 15.0817 s Remaining CPU time: 164.918 s c =============================================================================== c | 0 | 4488 4595 413543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23723 c Elapsed CPU time: 15.3787 s Remaining CPU time: 164.621 s c =============================================================================== c | 0 | 4488 4596 417893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23721 c Elapsed CPU time: 15.6756 s Remaining CPU time: 164.324 s c =============================================================================== c | 0 | 4488 4597 422243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23720 c Elapsed CPU time: 15.9806 s Remaining CPU time: 164.019 s c =============================================================================== c | 0 | 4488 4598 426593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23719 c Elapsed CPU time: 16.2875 s Remaining CPU time: 163.712 s c =============================================================================== c | 0 | 4488 4599 430943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23718 c Elapsed CPU time: 16.5935 s Remaining CPU time: 163.407 s c =============================================================================== c | 0 | 4488 4600 435293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23717 c Elapsed CPU time: 16.9054 s Remaining CPU time: 163.095 s c =============================================================================== c | 0 | 4488 4601 439643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23715 c Elapsed CPU time: 17.2104 s Remaining CPU time: 162.79 s c =============================================================================== c | 0 | 4488 4602 443993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23714 c Elapsed CPU time: 17.5243 s Remaining CPU time: 162.476 s c =============================================================================== c | 0 | 4488 4603 448343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23713 c Elapsed CPU time: 17.8383 s Remaining CPU time: 162.162 s c =============================================================================== c | 0 | 4488 4604 452693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23712 c Elapsed CPU time: 18.1562 s Remaining CPU time: 161.844 s c =============================================================================== c | 0 | 4488 4605 457043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23710 c Elapsed CPU time: 18.4752 s Remaining CPU time: 161.525 s c =============================================================================== c | 0 | 4488 4606 461393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23709 c Elapsed CPU time: 18.8011 s Remaining CPU time: 161.199 s c =============================================================================== c | 0 | 4488 4607 465743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23708 c Elapsed CPU time: 19.1371 s Remaining CPU time: 160.863 s c =============================================================================== c | 0 | 4488 4608 470093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23707 c Elapsed CPU time: 19.463 s Remaining CPU time: 160.537 s c =============================================================================== c | 0 | 4488 4609 474443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23706 c Elapsed CPU time: 19.804 s Remaining CPU time: 160.196 s c =============================================================================== c | 0 | 4488 4610 478793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23705 c Elapsed CPU time: 20.1449 s Remaining CPU time: 159.855 s c =============================================================================== c | 0 | 4488 4611 483143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23704 c Elapsed CPU time: 20.4899 s Remaining CPU time: 159.51 s c =============================================================================== c | 0 | 4488 4612 487493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23703 c Elapsed CPU time: 20.8318 s Remaining CPU time: 159.168 s c =============================================================================== c | 0 | 4488 4613 491843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23702 c Elapsed CPU time: 21.1808 s Remaining CPU time: 158.819 s c =============================================================================== c | 0 | 4488 4614 496193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23699 c Elapsed CPU time: 21.5417 s Remaining CPU time: 158.458 s c =============================================================================== c | 0 | 4488 4615 500543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23698 c Elapsed CPU time: 21.8957 s Remaining CPU time: 158.104 s c =============================================================================== c | 0 | 4488 4616 504893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23696 c Elapsed CPU time: 22.2536 s Remaining CPU time: 157.746 s c =============================================================================== c | 0 | 4488 4617 509243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23695 c Elapsed CPU time: 22.6246 s Remaining CPU time: 157.375 s c =============================================================================== c | 0 | 4488 4618 513593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23694 c Elapsed CPU time: 22.9905 s Remaining CPU time: 157.009 s c =============================================================================== c | 0 | 4488 4619 517943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23692 c Elapsed CPU time: 23.3574 s Remaining CPU time: 156.643 s c =============================================================================== c | 0 | 4488 4620 522293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23691 c Elapsed CPU time: 23.7214 s Remaining CPU time: 156.279 s c =============================================================================== c | 0 | 4488 4621 526643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23690 c Elapsed CPU time: 24.1363 s Remaining CPU time: 155.864 s c =============================================================================== c | 0 | 4488 4622 530993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23688 c Elapsed CPU time: 24.5453 s Remaining CPU time: 155.455 s c =============================================================================== c | 0 | 4488 4623 535343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23684 c Elapsed CPU time: 24.9522 s Remaining CPU time: 155.048 s c =============================================================================== c | 0 | 4488 4624 539693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23681 c Elapsed CPU time: 25.3691 s Remaining CPU time: 154.631 s c =============================================================================== c | 0 | 4488 4625 544043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23678 c Elapsed CPU time: 25.7831 s Remaining CPU time: 154.217 s c =============================================================================== c | 0 | 4488 4626 548393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23676 c Elapsed CPU time: 26.197 s Remaining CPU time: 153.803 s c =============================================================================== c | 0 | 4488 4627 552743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23675 c Elapsed CPU time: 26.628 s Remaining CPU time: 153.372 s c =============================================================================== c | 0 | 4488 4628 557093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23672 c Elapsed CPU time: 27.0509 s Remaining CPU time: 152.949 s c =============================================================================== c | 0 | 4488 4629 561443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23671 c Elapsed CPU time: 27.4748 s Remaining CPU time: 152.525 s c =============================================================================== c | 0 | 4488 4630 565793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23668 c Elapsed CPU time: 27.8898 s Remaining CPU time: 152.11 s c =============================================================================== c | 0 | 4488 4631 570143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23667 c Elapsed CPU time: 28.3097 s Remaining CPU time: 151.69 s c =============================================================================== c | 0 | 4488 4632 574493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23664 c Elapsed CPU time: 28.7386 s Remaining CPU time: 151.261 s c =============================================================================== c | 0 | 4488 4633 578843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23663 c Elapsed CPU time: 29.1636 s Remaining CPU time: 150.836 s c =============================================================================== c | 0 | 4488 4634 583193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23661 c Elapsed CPU time: 29.6095 s Remaining CPU time: 150.391 s c =============================================================================== c | 0 | 4488 4635 587543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23660 c Elapsed CPU time: 30.0514 s Remaining CPU time: 149.949 s c =============================================================================== c | 0 | 4488 4636 591893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23659 c Elapsed CPU time: 30.4874 s Remaining CPU time: 149.513 s c =============================================================================== c | 0 | 4488 4637 596243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23658 c Elapsed CPU time: 30.9203 s Remaining CPU time: 149.08 s c =============================================================================== c | 0 | 4488 4638 600593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23657 c Elapsed CPU time: 31.3642 s Remaining CPU time: 148.636 s c =============================================================================== c | 0 | 4488 4639 604943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23653 c Elapsed CPU time: 31.8092 s Remaining CPU time: 148.191 s c =============================================================================== c | 0 | 4488 4640 609293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23652 c Elapsed CPU time: 32.2661 s Remaining CPU time: 147.734 s c =============================================================================== c | 0 | 4488 4641 613643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23651 c Elapsed CPU time: 32.74 s Remaining CPU time: 147.26 s c =============================================================================== c | 0 | 4488 4642 617993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23650 c Elapsed CPU time: 33.206 s Remaining CPU time: 146.794 s c =============================================================================== c | 0 | 4488 4643 622343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23648 c Elapsed CPU time: 33.6679 s Remaining CPU time: 146.332 s c =============================================================================== c | 0 | 4488 4644 626693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23646 c Elapsed CPU time: 34.1568 s Remaining CPU time: 145.843 s c =============================================================================== c | 0 | 4488 4645 631043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23644 c Elapsed CPU time: 34.6477 s Remaining CPU time: 145.352 s c =============================================================================== c | 0 | 4488 4646 635393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23643 c Elapsed CPU time: 35.1417 s Remaining CPU time: 144.858 s c =============================================================================== c | 0 | 4488 4647 639743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23642 c Elapsed CPU time: 35.6456 s Remaining CPU time: 144.354 s c =============================================================================== c | 0 | 4488 4648 644093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23641 c Elapsed CPU time: 36.1465 s Remaining CPU time: 143.853 s c =============================================================================== c | 0 | 4488 4649 648443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23638 c Elapsed CPU time: 36.6374 s Remaining CPU time: 143.363 s c =============================================================================== c | 0 | 4488 4650 652793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23635 c Elapsed CPU time: 37.1264 s Remaining CPU time: 142.874 s c =============================================================================== c | 0 | 4488 4651 657143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23633 c Elapsed CPU time: 37.6163 s Remaining CPU time: 142.384 s c =============================================================================== c | 0 | 4488 4652 661493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23631 c Elapsed CPU time: 38.1072 s Remaining CPU time: 141.893 s c =============================================================================== c | 0 | 4488 4653 665843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23630 c Elapsed CPU time: 38.5991 s Remaining CPU time: 141.401 s c =============================================================================== c | 0 | 4488 4654 670193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23629 c Elapsed CPU time: 39.139 s Remaining CPU time: 140.861 s c =============================================================================== c | 0 | 4488 4655 674543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23628 c Elapsed CPU time: 39.696 s Remaining CPU time: 140.304 s c =============================================================================== c | 0 | 4488 4656 678893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23627 c Elapsed CPU time: 40.2409 s Remaining CPU time: 139.759 s c =============================================================================== c | 0 | 4488 4657 683243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23626 c Elapsed CPU time: 40.7668 s Remaining CPU time: 139.233 s c =============================================================================== c | 0 | 4488 4658 687593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23625 c Elapsed CPU time: 41.2997 s Remaining CPU time: 138.7 s c =============================================================================== c | 0 | 4488 4659 691943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23624 c Elapsed CPU time: 41.8216 s Remaining CPU time: 138.178 s c =============================================================================== c | 0 | 4488 4660 696293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23623 c Elapsed CPU time: 42.3546 s Remaining CPU time: 137.645 s c =============================================================================== c | 0 | 4488 4661 700643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23622 c Elapsed CPU time: 42.8765 s Remaining CPU time: 137.124 s c =============================================================================== c | 0 | 4488 4662 704993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23620 c Elapsed CPU time: 43.3964 s Remaining CPU time: 136.604 s c =============================================================================== c | 0 | 4488 4663 709343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23619 c Elapsed CPU time: 43.9243 s Remaining CPU time: 136.076 s c =============================================================================== c | 0 | 4488 4664 713693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23615 c Elapsed CPU time: 44.4432 s Remaining CPU time: 135.557 s c =============================================================================== c | 0 | 4488 4665 718043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23612 c Elapsed CPU time: 44.9732 s Remaining CPU time: 135.027 s c =============================================================================== c | 0 | 4488 4666 722393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23611 c Elapsed CPU time: 45.5261 s Remaining CPU time: 134.474 s c =============================================================================== c | 0 | 4488 4667 726743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23609 c Elapsed CPU time: 46.077 s Remaining CPU time: 133.923 s c =============================================================================== c | 0 | 4488 4668 731093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23608 c Elapsed CPU time: 46.6419 s Remaining CPU time: 133.358 s c =============================================================================== c | 0 | 4488 4669 735443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23604 c Elapsed CPU time: 47.2028 s Remaining CPU time: 132.797 s c =============================================================================== c | 0 | 4488 4670 739793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23602 c Elapsed CPU time: 47.7817 s Remaining CPU time: 132.218 s c =============================================================================== c | 0 | 4488 4671 744143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23600 c Elapsed CPU time: 48.3447 s Remaining CPU time: 131.655 s c =============================================================================== c | 0 | 4488 4672 748493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23597 c Elapsed CPU time: 48.9046 s Remaining CPU time: 131.095 s c =============================================================================== c | 0 | 4488 4673 752843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23596 c Elapsed CPU time: 49.4615 s Remaining CPU time: 130.539 s c =============================================================================== c | 0 | 4488 4674 757193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23595 c Elapsed CPU time: 50.0064 s Remaining CPU time: 129.994 s c =============================================================================== c | 0 | 4488 4675 761543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23592 c Elapsed CPU time: 50.5543 s Remaining CPU time: 129.446 s c =============================================================================== c | 0 | 4488 4676 765893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23591 c Elapsed CPU time: 51.1212 s Remaining CPU time: 128.879 s c =============================================================================== c | 0 | 4488 4677 770243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23590 c Elapsed CPU time: 51.6751 s Remaining CPU time: 128.325 s c =============================================================================== c | 0 | 4488 4678 774593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23587 c Elapsed CPU time: 52.2381 s Remaining CPU time: 127.762 s c =============================================================================== c | 0 | 4488 4679 778943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23585 c Elapsed CPU time: 52.804 s Remaining CPU time: 127.196 s c =============================================================================== c | 0 | 4488 4680 783293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23583 c Elapsed CPU time: 53.3629 s Remaining CPU time: 126.637 s c =============================================================================== c | 0 | 4488 4681 787643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23582 c Elapsed CPU time: 53.9278 s Remaining CPU time: 126.072 s c =============================================================================== c | 0 | 4488 4682 791993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23581 c Elapsed CPU time: 54.5047 s Remaining CPU time: 125.495 s c =============================================================================== c | 0 | 4488 4683 796343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23580 c Elapsed CPU time: 55.0916 s Remaining CPU time: 124.908 s c =============================================================================== c | 0 | 4488 4684 800693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23577 c Elapsed CPU time: 55.6775 s Remaining CPU time: 124.322 s c =============================================================================== c | 0 | 4488 4685 805043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23576 c Elapsed CPU time: 56.2694 s Remaining CPU time: 123.731 s c =============================================================================== c | 0 | 4488 4686 809393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23575 c Elapsed CPU time: 56.8424 s Remaining CPU time: 123.158 s c =============================================================================== c | 0 | 4488 4687 813743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23574 c Elapsed CPU time: 57.4383 s Remaining CPU time: 122.562 s c =============================================================================== c | 0 | 4488 4688 818093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23572 c Elapsed CPU time: 58.0342 s Remaining CPU time: 121.966 s c =============================================================================== c | 0 | 4488 4689 822443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23571 c Elapsed CPU time: 58.6281 s Remaining CPU time: 121.372 s c =============================================================================== c | 0 | 4488 4690 826793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23570 c Elapsed CPU time: 59.25 s Remaining CPU time: 120.75 s c =============================================================================== c | 0 | 4488 4691 831143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23569 c Elapsed CPU time: 59.8599 s Remaining CPU time: 120.14 s c =============================================================================== c | 0 | 4488 4692 835493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23567 c Elapsed CPU time: 60.4768 s Remaining CPU time: 119.523 s c =============================================================================== c | 0 | 4488 4693 839843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23566 c Elapsed CPU time: 61.1177 s Remaining CPU time: 118.882 s c =============================================================================== c | 0 | 4488 4694 844193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23564 c Elapsed CPU time: 61.7706 s Remaining CPU time: 118.229 s c =============================================================================== c | 0 | 4488 4695 848543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23562 c Elapsed CPU time: 62.4005 s Remaining CPU time: 117.599 s c =============================================================================== c | 0 | 4488 4696 852893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23561 c Elapsed CPU time: 63.0304 s Remaining CPU time: 116.97 s c =============================================================================== c | 0 | 4488 4697 857243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23558 c Elapsed CPU time: 63.6493 s Remaining CPU time: 116.351 s c =============================================================================== c | 0 | 4488 4698 861593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23557 c Elapsed CPU time: 64.2732 s Remaining CPU time: 115.727 s c =============================================================================== c | 0 | 4488 4699 865943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23555 c Elapsed CPU time: 64.9001 s Remaining CPU time: 115.1 s c =============================================================================== c | 0 | 4488 4700 870293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23554 c Elapsed CPU time: 65.542 s Remaining CPU time: 114.458 s c =============================================================================== c | 0 | 4488 4701 874643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23553 c Elapsed CPU time: 66.1809 s Remaining CPU time: 113.819 s c =============================================================================== c | 0 | 4488 4702 878993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23551 c Elapsed CPU time: 66.8228 s Remaining CPU time: 113.177 s c =============================================================================== c | 0 | 4488 4703 883343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23547 c Elapsed CPU time: 67.4657 s Remaining CPU time: 112.534 s c =============================================================================== c | 0 | 4488 4704 887693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23545 c Elapsed CPU time: 68.1236 s Remaining CPU time: 111.876 s c =============================================================================== c | 0 | 4488 4705 892043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23544 c Elapsed CPU time: 68.7765 s Remaining CPU time: 111.223 s c =============================================================================== c | 0 | 4488 4706 896393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23541 c Elapsed CPU time: 69.4184 s Remaining CPU time: 110.582 s c =============================================================================== c | 0 | 4488 4707 900743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23539 c Elapsed CPU time: 70.0673 s Remaining CPU time: 109.933 s c =============================================================================== c | 0 | 4488 4708 905093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23537 c Elapsed CPU time: 70.7092 s Remaining CPU time: 109.291 s c =============================================================================== c | 0 | 4488 4709 909443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23536 c Elapsed CPU time: 71.3721 s Remaining CPU time: 108.628 s c =============================================================================== c | 0 | 4488 4710 913793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23535 c Elapsed CPU time: 72.034 s Remaining CPU time: 107.966 s c =============================================================================== c | 0 | 4488 4711 918143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23533 c Elapsed CPU time: 72.6979 s Remaining CPU time: 107.302 s c =============================================================================== c | 0 | 4488 4712 922493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23532 c Elapsed CPU time: 73.4018 s Remaining CPU time: 106.598 s c =============================================================================== c | 0 | 4488 4713 926843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23531 c Elapsed CPU time: 74.0637 s Remaining CPU time: 105.936 s c =============================================================================== c | 0 | 4488 4714 931193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23530 c Elapsed CPU time: 74.7486 s Remaining CPU time: 105.251 s c =============================================================================== c | 0 | 4488 4715 935543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23529 c Elapsed CPU time: 75.4445 s Remaining CPU time: 104.555 s c =============================================================================== c | 0 | 4488 4716 939893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23528 c Elapsed CPU time: 76.1554 s Remaining CPU time: 103.845 s c =============================================================================== c | 0 | 4488 4717 944243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23527 c Elapsed CPU time: 76.8613 s Remaining CPU time: 103.139 s c =============================================================================== c | 0 | 4488 4718 948593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23526 c Elapsed CPU time: 77.5672 s Remaining CPU time: 102.433 s c =============================================================================== c | 0 | 4488 4719 952943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23525 c Elapsed CPU time: 78.2571 s Remaining CPU time: 101.743 s c =============================================================================== c | 0 | 4488 4720 957293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23524 c Elapsed CPU time: 78.942 s Remaining CPU time: 101.058 s c =============================================================================== c | 0 | 4488 4721 961643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23523 c Elapsed CPU time: 79.6329 s Remaining CPU time: 100.367 s c =============================================================================== c | 0 | 4488 4722 965993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23522 c Elapsed CPU time: 80.3228 s Remaining CPU time: 99.6772 s c =============================================================================== c | 0 | 4488 4723 970343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23521 c Elapsed CPU time: 81.0377 s Remaining CPU time: 98.9623 s c =============================================================================== c | 0 | 4488 4724 974693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23519 c Elapsed CPU time: 81.7426 s Remaining CPU time: 98.2574 s c =============================================================================== c | 0 | 4488 4725 979043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23518 c Elapsed CPU time: 82.4435 s Remaining CPU time: 97.5565 s c =============================================================================== c | 0 | 4488 4726 983393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23517 c Elapsed CPU time: 83.1424 s Remaining CPU time: 96.8576 s c =============================================================================== c | 0 | 4488 4727 987743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23516 c Elapsed CPU time: 83.8822 s Remaining CPU time: 96.1178 s c =============================================================================== c | 0 | 4488 4728 992093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23514 c Elapsed CPU time: 84.6051 s Remaining CPU time: 95.3949 s c =============================================================================== c | 0 | 4488 4729 996443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23513 c Elapsed CPU time: 85.352 s Remaining CPU time: 94.648 s c =============================================================================== c | 0 | 4488 4730 1000793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23512 c Elapsed CPU time: 86.0929 s Remaining CPU time: 93.9071 s c =============================================================================== c | 0 | 4488 4731 1005143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23510 c Elapsed CPU time: 86.8348 s Remaining CPU time: 93.1652 s c =============================================================================== c | 0 | 4488 4732 1009493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23509 c Elapsed CPU time: 87.5567 s Remaining CPU time: 92.4433 s c =============================================================================== c | 0 | 4488 4733 1013843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23508 c Elapsed CPU time: 88.3076 s Remaining CPU time: 91.6924 s c =============================================================================== c | 0 | 4488 4734 1018193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23507 c Elapsed CPU time: 89.0365 s Remaining CPU time: 90.9635 s c =============================================================================== c | 0 | 4488 4735 1022543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23506 c Elapsed CPU time: 89.7794 s Remaining CPU time: 90.2206 s c =============================================================================== c | 0 | 4488 4736 1026893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23504 c Elapsed CPU time: 90.5052 s Remaining CPU time: 89.4948 s c =============================================================================== c | 0 | 4488 4737 1031243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23503 c Elapsed CPU time: 91.2651 s Remaining CPU time: 88.7349 s c =============================================================================== c | 0 | 4488 4738 1035593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23501 c Elapsed CPU time: 91.99 s Remaining CPU time: 88.01 s c =============================================================================== c | 0 | 4488 4739 1039943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23500 c Elapsed CPU time: 92.7269 s Remaining CPU time: 87.2731 s c =============================================================================== c | 0 | 4488 4740 1044293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23498 c Elapsed CPU time: 93.5058 s Remaining CPU time: 86.4942 s c =============================================================================== c | 0 | 4488 4741 1048643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23497 c Elapsed CPU time: 94.2617 s Remaining CPU time: 85.7383 s c =============================================================================== c | 0 | 4488 4742 1052993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23496 c Elapsed CPU time: 95.0206 s Remaining CPU time: 84.9794 s c =============================================================================== c | 0 | 4488 4743 1057343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23494 c Elapsed CPU time: 95.7734 s Remaining CPU time: 84.2266 s c =============================================================================== c | 0 | 4488 4744 1061693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23493 c Elapsed CPU time: 96.5393 s Remaining CPU time: 83.4607 s c =============================================================================== c | 0 | 4488 4745 1066043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23492 c Elapsed CPU time: 97.3062 s Remaining CPU time: 82.6938 s c =============================================================================== c | 0 | 4488 4746 1070393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23491 c Elapsed CPU time: 98.0981 s Remaining CPU time: 81.9019 s c =============================================================================== c | 0 | 4488 4747 1074743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23490 c Elapsed CPU time: 98.883 s Remaining CPU time: 81.117 s c =============================================================================== c | 0 | 4488 4748 1079093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23489 c Elapsed CPU time: 99.6419 s Remaining CPU time: 80.3581 s c =============================================================================== c | 0 | 4488 4749 1083443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23488 c Elapsed CPU time: 100.427 s Remaining CPU time: 79.5733 s c =============================================================================== c | 0 | 4488 4750 1087793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23487 c Elapsed CPU time: 101.201 s Remaining CPU time: 78.7994 s c =============================================================================== c | 0 | 4488 4751 1092143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23486 c Elapsed CPU time: 101.979 s Remaining CPU time: 78.0205 s c =============================================================================== c | 0 | 4488 4752 1096493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23484 c Elapsed CPU time: 102.75 s Remaining CPU time: 77.2496 s c =============================================================================== c | 0 | 4488 4753 1100843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23483 c Elapsed CPU time: 103.536 s Remaining CPU time: 76.4637 s c =============================================================================== c | 0 | 4488 4754 1105193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23480 c Elapsed CPU time: 104.349 s Remaining CPU time: 75.6509 s c =============================================================================== c | 0 | 4488 4755 1109543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23479 c Elapsed CPU time: 105.178 s Remaining CPU time: 74.822 s c =============================================================================== c | 0 | 4488 4756 1113893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23478 c Elapsed CPU time: 106.009 s Remaining CPU time: 73.9911 s c =============================================================================== c | 0 | 4488 4757 1118243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23477 c Elapsed CPU time: 106.815 s Remaining CPU time: 73.1852 s c =============================================================================== c | 0 | 4488 4758 1122593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23476 c Elapsed CPU time: 107.647 s Remaining CPU time: 72.3534 s c =============================================================================== c | 0 | 4488 4759 1126943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23475 c Elapsed CPU time: 108.471 s Remaining CPU time: 71.5295 s c =============================================================================== c | 0 | 4488 4760 1131293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23474 c Elapsed CPU time: 109.262 s Remaining CPU time: 70.7376 s c =============================================================================== c | 0 | 4488 4761 1135643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23473 c Elapsed CPU time: 110.083 s Remaining CPU time: 69.9167 s c =============================================================================== c | 0 | 4488 4762 1139993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23472 c Elapsed CPU time: 110.897 s Remaining CPU time: 69.1029 s c =============================================================================== c | 0 | 4488 4763 1144343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23471 c Elapsed CPU time: 111.726 s Remaining CPU time: 68.274 s c =============================================================================== c | 0 | 4488 4764 1148693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23470 c Elapsed CPU time: 112.533 s Remaining CPU time: 67.4671 s c =============================================================================== c | 0 | 4488 4765 1153043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23466 c Elapsed CPU time: 113.342 s Remaining CPU time: 66.6582 s c =============================================================================== c | 0 | 4488 4766 1157393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23465 c Elapsed CPU time: 114.163 s Remaining CPU time: 65.8374 s c =============================================================================== c | 0 | 4488 4767 1161743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23463 c Elapsed CPU time: 114.99 s Remaining CPU time: 65.0105 s c =============================================================================== c | 0 | 4488 4768 1166093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23461 c Elapsed CPU time: 115.806 s Remaining CPU time: 64.1936 s c =============================================================================== c | 0 | 4488 4769 1170443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23459 c Elapsed CPU time: 116.648 s Remaining CPU time: 63.3517 s c =============================================================================== c | 0 | 4488 4770 1174793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23458 c Elapsed CPU time: 117.503 s Remaining CPU time: 62.4969 s c =============================================================================== c | 0 | 4488 4771 1179143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23457 c Elapsed CPU time: 118.389 s Remaining CPU time: 61.611 s c =============================================================================== c | 0 | 4488 4772 1183493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23455 c Elapsed CPU time: 119.271 s Remaining CPU time: 60.7291 s c =============================================================================== c | 0 | 4488 4773 1187843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23454 c Elapsed CPU time: 120.131 s Remaining CPU time: 59.8693 s c =============================================================================== c | 0 | 4488 4774 1192193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23453 c Elapsed CPU time: 121.009 s Remaining CPU time: 58.9914 s c =============================================================================== c | 0 | 4488 4775 1196543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23452 c Elapsed CPU time: 121.868 s Remaining CPU time: 58.1315 s c =============================================================================== c | 0 | 4488 4776 1200893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23451 c Elapsed CPU time: 122.752 s Remaining CPU time: 57.2477 s c =============================================================================== c | 0 | 4488 4777 1205243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23450 c Elapsed CPU time: 123.626 s Remaining CPU time: 56.3738 s c =============================================================================== c | 0 | 4488 4778 1209593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23449 c Elapsed CPU time: 124.507 s Remaining CPU time: 55.4929 s c =============================================================================== c | 0 | 4488 4779 1213943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23447 c Elapsed CPU time: 125.365 s Remaining CPU time: 54.6351 s c =============================================================================== c | 0 | 4488 4780 1218293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23446 c Elapsed CPU time: 126.23 s Remaining CPU time: 53.7702 s c =============================================================================== c | 0 | 4488 4781 1222643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23443 c Elapsed CPU time: 127.096 s Remaining CPU time: 52.9043 s c =============================================================================== c | 0 | 4488 4782 1226993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23442 c Elapsed CPU time: 127.958 s Remaining CPU time: 52.0425 s c =============================================================================== c | 0 | 4488 4783 1231343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23439 c Elapsed CPU time: 128.814 s Remaining CPU time: 51.1856 s c =============================================================================== c | 0 | 4488 4784 1235693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23438 c Elapsed CPU time: 129.534 s Remaining CPU time: 50.4657 s c =============================================================================== c | 0 | 4488 4785 1240043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23437 c Elapsed CPU time: 130.239 s Remaining CPU time: 49.7608 s c =============================================================================== c | 0 | 4488 4786 1244393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23434 c Elapsed CPU time: 130.93 s Remaining CPU time: 49.0699 s c =============================================================================== c | 0 | 4488 4787 1248743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23433 c Elapsed CPU time: 131.664 s Remaining CPU time: 48.336 s c =============================================================================== c | 0 | 4488 4788 1253093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23432 c Elapsed CPU time: 132.383 s Remaining CPU time: 47.6171 s c =============================================================================== c | 0 | 4488 4789 1257443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23431 c Elapsed CPU time: 133.128 s Remaining CPU time: 46.8722 s c =============================================================================== c | 0 | 4488 4790 1261793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23430 c Elapsed CPU time: 134.014 s Remaining CPU time: 45.9864 s c =============================================================================== c | 0 | 4488 4791 1266143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23429 c Elapsed CPU time: 134.929 s Remaining CPU time: 45.0705 s c =============================================================================== c | 0 | 4488 4792 1270493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23427 c Elapsed CPU time: 135.825 s Remaining CPU time: 44.1746 s c =============================================================================== c | 0 | 4488 4793 1274843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23426 c Elapsed CPU time: 136.743 s Remaining CPU time: 43.2568 s c =============================================================================== c | 0 | 4488 4794 1279193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23423 c Elapsed CPU time: 137.662 s Remaining CPU time: 42.3379 s c =============================================================================== c | 0 | 4488 4795 1283543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23422 c Elapsed CPU time: 138.599 s Remaining CPU time: 41.4011 s c =============================================================================== c | 0 | 4488 4796 1287893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23419 c Elapsed CPU time: 139.512 s Remaining CPU time: 40.4882 s c =============================================================================== c | 0 | 4488 4797 1292243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23418 c Elapsed CPU time: 140.447 s Remaining CPU time: 39.5534 s c =============================================================================== c | 0 | 4488 4798 1296593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23417 c Elapsed CPU time: 141.388 s Remaining CPU time: 38.6125 s c =============================================================================== c | 0 | 4488 4799 1300943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23416 c Elapsed CPU time: 142.342 s Remaining CPU time: 37.6576 s c =============================================================================== c | 0 | 4488 4800 1305293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23415 c Elapsed CPU time: 143.278 s Remaining CPU time: 36.7218 s c =============================================================================== c | 0 | 4488 4801 1309643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23413 c Elapsed CPU time: 144.23 s Remaining CPU time: 35.7699 s c =============================================================================== c | 0 | 4488 4802 1313993 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23412 c Elapsed CPU time: 145.163 s Remaining CPU time: 34.8371 s c =============================================================================== c | 0 | 4488 4803 1318343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23410 c Elapsed CPU time: 146.087 s Remaining CPU time: 33.9132 s c =============================================================================== c | 0 | 4488 4804 1322693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23409 c Elapsed CPU time: 147.041 s Remaining CPU time: 32.9594 s c =============================================================================== c | 0 | 4488 4805 1327043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23408 c Elapsed CPU time: 148.007 s Remaining CPU time: 31.9925 s c =============================================================================== c | 0 | 4488 4806 1331393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23407 c Elapsed CPU time: 148.96 s Remaining CPU time: 31.0396 s c =============================================================================== c | 0 | 4488 4807 1335743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23405 c Elapsed CPU time: 149.941 s Remaining CPU time: 30.0588 s c =============================================================================== c | 0 | 4488 4808 1340093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23403 c Elapsed CPU time: 150.931 s Remaining CPU time: 29.0689 s c =============================================================================== c | 0 | 4488 4809 1344443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23402 c Elapsed CPU time: 151.922 s Remaining CPU time: 28.0781 s c =============================================================================== c | 0 | 4488 4810 1348793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23401 c Elapsed CPU time: 152.942 s Remaining CPU time: 27.0583 s c =============================================================================== c | 0 | 4488 4811 1353143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23400 c Elapsed CPU time: 153.956 s Remaining CPU time: 26.0444 s c =============================================================================== c | 0 | 4488 4812 1357493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23399 c Elapsed CPU time: 154.955 s Remaining CPU time: 25.0446 s c =============================================================================== c | 0 | 4488 4813 1361843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23398 c Elapsed CPU time: 155.98 s Remaining CPU time: 24.0197 s c =============================================================================== c | 0 | 4488 4814 1366193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23397 c Elapsed CPU time: 156.972 s Remaining CPU time: 23.0279 s c =============================================================================== c | 0 | 4488 4815 1370543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23396 c Elapsed CPU time: 157.943 s Remaining CPU time: 22.057 s c =============================================================================== c | 0 | 4488 4816 1374893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23395 c Elapsed CPU time: 158.93 s Remaining CPU time: 21.0702 s c =============================================================================== c | 0 | 4488 4817 1379243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23394 c Elapsed CPU time: 159.94 s Remaining CPU time: 20.0603 s c =============================================================================== c | 0 | 4488 4818 1383593 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23393 c Elapsed CPU time: 160.927 s Remaining CPU time: 19.0735 s c =============================================================================== c | 0 | 4488 4819 1387943 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23392 c Elapsed CPU time: 161.901 s Remaining CPU time: 18.0986 s c =============================================================================== c | 0 | 4488 4820 1392293 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23391 c Elapsed CPU time: 162.897 s Remaining CPU time: 17.1028 s c =============================================================================== c | 0 | 4488 4821 1396643 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 23389 c Elapsed CPU time: 163.951 s Remaining CPU time: 16.0489 s c =============================================================================== c | 1 | 4488 4822 1400993 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23388 c Elapsed CPU time: 164.955 s Remaining CPU time: 15.0451 s c =============================================================================== c | 1 | 4488 4823 1405343 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23387 c Elapsed CPU time: 165.961 s Remaining CPU time: 14.0392 s c =============================================================================== c | 1 | 4488 4824 1409693 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23385 c Elapsed CPU time: 167.003 s Remaining CPU time: 12.9974 s c =============================================================================== c | 1 | 4488 4825 1414043 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23384 c Elapsed CPU time: 168.009 s Remaining CPU time: 11.9905 s c =============================================================================== c | 1 | 4488 4826 1418393 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23382 c Elapsed CPU time: 169.016 s Remaining CPU time: 10.9837 s c =============================================================================== c | 1 | 4488 4827 1422743 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23380 c Elapsed CPU time: 170.084 s Remaining CPU time: 9.91586 s c =============================================================================== c | 1 | 4488 4828 1427093 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23379 c Elapsed CPU time: 171.183 s Remaining CPU time: 8.81702 s c =============================================================================== c | 1 | 4488 4829 1431443 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23378 c Elapsed CPU time: 172.293 s Remaining CPU time: 7.70719 s c =============================================================================== c | 1 | 4488 4830 1435793 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23376 c Elapsed CPU time: 173.323 s Remaining CPU time: 6.67735 s c =============================================================================== c | 1 | 4488 4831 1440143 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23375 c Elapsed CPU time: 174.39 s Remaining CPU time: 5.60951 s c =============================================================================== c | 1 | 4488 4832 1444493 | 5000 1 4275 | 0.000 % | c =============================================================================== c New solution: 23374 c Elapsed CPU time: 175.449 s Remaining CPU time: 4.55067 s c =============================================================================== c | 2 | 4488 4833 1448843 | 5000 2 4271 | 0.000 % | c =============================================================================== c New solution: 23373 c Elapsed CPU time: 176.516 s Remaining CPU time: 3.48383 s c =============================================================================== c | 2 | 4488 4834 1453193 | 5000 2 4271 | 0.000 % | c =============================================================================== c New solution: 23372 c Elapsed CPU time: 177.626 s Remaining CPU time: 2.374 s c =============================================================================== c | 2 | 4488 4835 1457543 | 5000 2 4271 | 0.000 % | c =============================================================================== c New solution: 23371 c Elapsed CPU time: 178.746 s Remaining CPU time: 1.25417 s c =============================================================================== c | 2 | 4488 4836 1461893 | 5000 2 4271 | 0.000 % | c =============================================================================== c New solution: 23370 c Elapsed CPU time: 179.954 s Remaining CPU time: 0.046358 s c =============================================================================== c | 3 | 4488 4837 1466243 | 5000 3 4270 | 0.000 % | c There are 12 assigned variables. 2 in cost function.