c wbo 1.4 beta - 20100610 c | Number of variables: 80 | c | Number of clauses: 679 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 80 | c | Number Clauses: 599 | 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 | 80 599 1198 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 61333 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 80 600 1278 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 60182 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 80 601 1358 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 59192 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 1 | 80 602 1438 | 5000 1 78 | 0.000 % | c =============================================================================== c New solution: 58980 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 4 | 80 603 1518 | 5000 4 76 | 0.000 % | c =============================================================================== c New solution: 58869 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 5 | 80 604 1598 | 5000 5 76 | 0.000 % | c =============================================================================== c New solution: 58001 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 6 | 80 605 1678 | 5000 6 76 | 0.000 % | c =============================================================================== c New solution: 57660 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 6 | 80 606 1758 | 5000 6 76 | 0.000 % | c =============================================================================== c New solution: 57650 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 6 | 80 607 1838 | 5000 6 76 | 0.000 % | c =============================================================================== c New solution: 57396 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 11 | 80 608 1918 | 5000 11 76 | 0.000 % | c =============================================================================== c New solution: 57222 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 29 | 80 609 1998 | 5000 29 73 | 0.000 % | c =============================================================================== c New solution: 57153 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 31 | 80 610 2078 | 5000 31 73 | 0.000 % | c =============================================================================== c New solution: 56905 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 34 | 80 611 2158 | 5000 34 73 | 0.000 % | c =============================================================================== c New solution: 56737 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 36 | 80 612 2238 | 5000 36 73 | 0.000 % | c =============================================================================== c New solution: 56487 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 42 | 80 613 2318 | 5000 42 72 | 0.000 % | c =============================================================================== c New solution: 56449 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 50 | 80 614 2398 | 5000 50 72 | 0.000 % | c =============================================================================== c New solution: 56418 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 52 | 80 615 2478 | 5000 52 72 | 0.000 % | c =============================================================================== c New solution: 56380 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 52 | 80 616 2558 | 5000 52 72 | 0.000 % | c =============================================================================== c New solution: 56363 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 58 | 80 617 2638 | 5000 58 72 | 0.000 % | c =============================================================================== c New solution: 56344 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 86 | 80 618 2718 | 5000 86 71 | 0.000 % | c =============================================================================== c New solution: 56233 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 86 | 80 619 2798 | 5000 86 71 | 0.000 % | c =============================================================================== c New solution: 55999 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 97 | 80 620 2878 | 5000 97 71 | 0.000 % | c =============================================================================== c New solution: 55697 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 115 | 80 621 2958 | 5000 115 70 | 0.000 % | c =============================================================================== c New solution: 55586 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 124 | 80 622 3038 | 5000 124 70 | 0.000 % | c =============================================================================== c New solution: 55325 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 135 | 80 623 3118 | 5000 135 70 | 0.000 % | c =============================================================================== c New solution: 55214 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 135 | 80 624 3198 | 5000 135 70 | 0.000 % | c =============================================================================== c New solution: 54986 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 135 | 80 625 3278 | 5000 135 70 | 0.000 % | c =============================================================================== c New solution: 54875 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 135 | 80 626 3358 | 5000 135 70 | 0.000 % | c =============================================================================== c New solution: 54510 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 195 | 80 627 3438 | 5000 195 69 | 0.000 % | c =============================================================================== c New solution: 54171 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 195 | 80 628 3518 | 5000 195 69 | 0.000 % | c =============================================================================== c New solution: 54060 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 201 | 80 629 3598 | 5000 201 69 | 0.000 % | c =============================================================================== c New solution: 54038 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 288 | 80 630 3678 | 5000 288 68 | 0.000 % | c | 390 | 80 630 3678 | 5500 390 67 | 0.016 % | c =============================================================================== c New solution: 54012 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 407 | 80 631 3758 | 5000 407 67 | 0.016 % | c =============================================================================== c New solution: 53976 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 407 | 80 632 3838 | 5000 407 67 | 0.016 % | c =============================================================================== c New solution: 53901 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 407 | 80 633 3918 | 5000 407 67 | 0.016 % | c =============================================================================== c New solution: 53879 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 407 | 80 634 3998 | 5000 407 67 | 0.016 % | c =============================================================================== c New solution: 53768 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 407 | 80 635 4078 | 5000 407 67 | 0.016 % | c =============================================================================== c New solution: 53673 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 407 | 80 636 4158 | 5000 407 67 | 0.016 % | c =============================================================================== c New solution: 53562 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 407 | 80 637 4238 | 5000 407 67 | 0.016 % | c =============================================================================== c New solution: 53540 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 407 | 80 638 4318 | 5000 407 67 | 0.016 % | c =============================================================================== c New solution: 53429 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 407 | 80 639 4398 | 5000 407 67 | 0.016 % | c =============================================================================== c New solution: 53391 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 410 | 80 640 4478 | 5000 410 67 | 0.016 % | c =============================================================================== c New solution: 53195 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 485 | 80 641 4558 | 5000 485 66 | 0.016 % | c | 586 | 80 641 4558 | 5500 586 66 | 0.016 % | c =============================================================================== c New solution: 53166 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 633 | 80 642 4638 | 5000 633 65 | 0.016 % | c =============================================================================== c New solution: 53124 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 659 | 80 643 4718 | 5000 659 65 | 0.016 % | c | 760 | 80 643 4718 | 5500 760 65 | 0.016 % | c | 914 | 80 643 4718 | 6050 914 64 | 0.016 % | c =============================================================================== c New solution: 53117 c Elapsed CPU time: 0.157975 s Remaining CPU time: 179.842 s c =============================================================================== c | 940 | 80 644 4798 | 5000 940 64 | 0.016 % | c =============================================================================== c New solution: 52921 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 942 | 80 645 4878 | 5000 942 64 | 0.016 % | c =============================================================================== c New solution: 52788 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 942 | 80 646 4958 | 5000 942 64 | 0.016 % | c =============================================================================== c New solution: 52748 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 957 | 80 647 5038 | 5000 957 64 | 0.016 % | c =============================================================================== c New solution: 52658 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 967 | 80 648 5118 | 5000 967 64 | 0.016 % | c =============================================================================== c New solution: 52601 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 967 | 80 649 5198 | 5000 967 64 | 0.016 % | c =============================================================================== c New solution: 52560 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 970 | 80 650 5278 | 5000 970 64 | 0.016 % | c =============================================================================== c New solution: 52449 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 970 | 80 651 5358 | 5000 970 64 | 0.016 % | c =============================================================================== c New solution: 52376 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s c =============================================================================== c | 971 | 80 652 5438 | 5000 971 64 | 0.016 % | c =============================================================================== c New solution: 52170 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 971 | 80 653 5518 | 5000 971 64 | 0.016 % | c =============================================================================== c New solution: 52037 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s c =============================================================================== c | 971 | 80 654 5598 | 5000 971 64 | 0.016 % | c =============================================================================== c New solution: 51926 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 971 | 80 655 5678 | 5000 971 64 | 0.016 % | c | 1077 | 80 655 5678 | 5500 1077 64 | 0.016 % | c =============================================================================== c New solution: 51730 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 1098 | 80 656 5758 | 5000 1098 64 | 0.016 % | c | 1198 | 80 656 5758 | 5500 1198 64 | 0.016 % | c =============================================================================== c New solution: 51688 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 1247 | 80 657 5838 | 5000 1247 64 | 0.016 % | c =============================================================================== c New solution: 51555 c Elapsed CPU time: 0.217966 s Remaining CPU time: 179.782 s c =============================================================================== c | 1247 | 80 658 5918 | 5000 1247 64 | 0.016 % | c =============================================================================== c New solution: 51444 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 1250 | 80 659 5998 | 5000 1250 64 | 0.016 % | c | 1350 | 80 659 5998 | 5500 1350 64 | 0.016 % | c =============================================================================== c New solution: 51330 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 1437 | 80 660 6078 | 5000 1437 64 | 0.016 % | c =============================================================================== c New solution: 51219 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s c =============================================================================== c | 1437 | 80 661 6158 | 5000 1437 64 | 0.016 % | c =============================================================================== c New solution: 51116 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 1521 | 80 662 6238 | 5000 1521 63 | 0.016 % | c =============================================================================== c New solution: 51043 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 1522 | 80 663 6318 | 5000 1522 63 | 0.016 % | c =============================================================================== c New solution: 51001 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 1556 | 80 664 6398 | 5000 1556 63 | 0.016 % | c =============================================================================== c New solution: 50795 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 1560 | 80 665 6478 | 5000 1560 63 | 0.016 % | c =============================================================================== c New solution: 50662 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 1560 | 80 666 6558 | 5000 1560 63 | 0.016 % | c =============================================================================== c New solution: 50551 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s c =============================================================================== c | 1560 | 80 667 6638 | 5000 1560 63 | 0.016 % | c | 1661 | 80 667 6638 | 5500 1661 63 | 0.016 % | c =============================================================================== c New solution: 50511 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 1761 | 80 668 6718 | 5000 1761 63 | 0.016 % | c | 1861 | 80 668 6718 | 5500 1861 63 | 0.016 % | c =============================================================================== c New solution: 50272 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 1918 | 80 669 6798 | 5000 1918 63 | 0.016 % | c =============================================================================== c New solution: 50230 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 1920 | 80 670 6878 | 5000 1920 63 | 0.016 % | c | 2020 | 80 670 6878 | 5500 2020 63 | 0.016 % | c | 2171 | 80 670 6878 | 6050 2171 62 | 0.016 % | c | 2400 | 80 670 6878 | 6655 2400 62 | 0.016 % | c | 2738 | 80 670 6878 | 7320 2738 62 | 0.016 % | c =============================================================================== c New solution: 50103 c Elapsed CPU time: 0.781881 s Remaining CPU time: 179.218 s c =============================================================================== c | 3213 | 80 671 6958 | 5000 3213 61 | 0.016 % | c =============================================================================== c New solution: 50031 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 3214 | 80 672 7038 | 5000 3214 61 | 0.016 % | c =============================================================================== c New solution: 49920 c Elapsed CPU time: 0.78588 s Remaining CPU time: 179.214 s c =============================================================================== c | 3217 | 80 673 7118 | 5000 3217 61 | 0.016 % | c | 3318 | 80 673 7118 | 5500 3318 61 | 0.016 % | c | 3469 | 80 673 7118 | 6050 3469 61 | 0.016 % | c =============================================================================== c New solution: 49862 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s c =============================================================================== c | 3486 | 80 674 7198 | 5000 3486 61 | 0.016 % | c =============================================================================== c New solution: 49819 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 3490 | 80 675 7278 | 5000 3490 61 | 0.016 % | c | 3591 | 80 675 7278 | 5500 3591 61 | 0.016 % | c =============================================================================== c New solution: 49563 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 3594 | 80 676 7358 | 5000 3594 61 | 0.016 % | c =============================================================================== c New solution: 49557 c Elapsed CPU time: 0.951855 s Remaining CPU time: 179.048 s c =============================================================================== c | 3677 | 80 677 7438 | 5000 3677 61 | 0.016 % | c | 3778 | 80 677 7438 | 5500 3778 61 | 0.016 % | c | 3928 | 80 677 7438 | 6050 3928 61 | 0.016 % | c =============================================================================== c New solution: 49488 c Elapsed CPU time: 1.07784 s Remaining CPU time: 178.922 s c =============================================================================== c | 4038 | 80 678 7518 | 5000 4038 61 | 0.016 % | c | 4140 | 80 678 7518 | 5500 4140 61 | 0.016 % | c | 4293 | 80 678 7518 | 6050 4293 61 | 0.016 % | c =============================================================================== c New solution: 49385 c Elapsed CPU time: 1.21382 s Remaining CPU time: 178.786 s c =============================================================================== c | 4308 | 80 679 7598 | 5000 4308 61 | 0.016 % | c | 4409 | 80 679 7598 | 5500 4409 60 | 0.016 % | c | 4559 | 80 679 7598 | 6050 4559 60 | 0.016 % | c | 4784 | 80 679 7598 | 6655 4784 60 | 0.016 % | c =============================================================================== c New solution: 49342 c Elapsed CPU time: 1.42378 s Remaining CPU time: 178.576 s c =============================================================================== c | 4916 | 80 680 7678 | 5000 4916 60 | 0.016 % | c =============================================================================== c New solution: 49334 c Elapsed CPU time: 1.42778 s Remaining CPU time: 178.572 s c =============================================================================== c | 4923 | 80 681 7758 | 5000 4923 60 | 0.016 % | c | 5025 | 80 681 7758 | 5500 5025 60 | 0.016 % | c =============================================================================== c New solution: 49266 c Elapsed CPU time: 1.44778 s Remaining CPU time: 178.552 s c =============================================================================== c | 5025 | 80 682 7838 | 5000 5025 60 | 0.016 % | c | 5126 | 80 682 7838 | 5500 2614 58 | 0.016 % | c | 5277 | 80 682 7838 | 6050 2765 58 | 0.016 % | c =============================================================================== c New solution: 49159 c Elapsed CPU time: 1.60176 s Remaining CPU time: 178.398 s c =============================================================================== c | 5345 | 80 683 7918 | 5000 2833 58 | 0.016 % | c =============================================================================== c New solution: 49048 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 5350 | 80 684 7998 | 5000 2838 58 | 0.016 % | c =============================================================================== c New solution: 48945 c Elapsed CPU time: 1.61175 s Remaining CPU time: 178.388 s c =============================================================================== c | 5370 | 80 685 8078 | 5000 2858 58 | 0.016 % | c | 5470 | 80 685 8078 | 5500 2958 58 | 0.016 % | c =============================================================================== c New solution: 48902 c Elapsed CPU time: 1.64675 s Remaining CPU time: 178.353 s c =============================================================================== c | 5470 | 80 686 8158 | 5000 2958 58 | 0.016 % | c | 5570 | 80 686 8158 | 5500 3058 58 | 0.016 % | c =============================================================================== c New solution: 48799 c Elapsed CPU time: 1.70974 s Remaining CPU time: 178.29 s c =============================================================================== c | 5684 | 80 687 8238 | 5000 3172 58 | 0.016 % | c =============================================================================== c New solution: 48731 c Elapsed CPU time: 1.72274 s Remaining CPU time: 178.277 s c =============================================================================== c | 5741 | 80 688 8318 | 5000 3229 58 | 0.016 % | c =============================================================================== c New solution: 48628 c Elapsed CPU time: 1.72374 s Remaining CPU time: 178.276 s c =============================================================================== c | 5742 | 80 689 8398 | 5000 3230 58 | 0.016 % | c =============================================================================== c New solution: 48585 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 5760 | 80 690 8478 | 5000 3248 58 | 0.016 % | c | 5861 | 80 690 8478 | 5500 3349 58 | 0.016 % | c | 6011 | 80 690 8478 | 6050 3499 58 | 0.016 % | c | 6236 | 80 690 8478 | 6655 3724 58 | 0.016 % | c | 6574 | 80 690 8478 | 7320 4062 58 | 0.016 % | c | 7081 | 80 690 8478 | 8052 4569 57 | 0.016 % | c | 7844 | 80 690 8478 | 8857 5332 57 | 0.016 % | c | 8984 | 80 690 8478 | 9743 6472 57 | 0.016 % | c =============================================================================== c New solution: 48448 c Elapsed CPU time: 3.24251 s Remaining CPU time: 176.757 s c =============================================================================== c | 10197 | 80 691 8558 | 5000 7685 57 | 0.016 % | c =============================================================================== c New solution: 48337 c Elapsed CPU time: 3.37449 s Remaining CPU time: 176.626 s c =============================================================================== c | 10201 | 80 692 8638 | 5000 3847 56 | 0.016 % | c =============================================================================== c New solution: 48234 c Elapsed CPU time: 3.37849 s Remaining CPU time: 176.622 s c =============================================================================== c | 10208 | 80 693 8718 | 5000 3854 56 | 0.016 % | c | 10308 | 80 693 8718 | 5500 3954 56 | 0.016 % | c | 10458 | 80 693 8718 | 6050 4104 56 | 0.016 % | c | 10684 | 80 693 8718 | 6655 4330 56 | 0.016 % | c | 11022 | 80 693 8718 | 7320 4668 56 | 0.016 % | c | 11528 | 80 693 8718 | 8052 5174 56 | 0.016 % | c | 12288 | 80 693 8718 | 8857 5934 56 | 0.016 % | c | 13428 | 80 693 8718 | 9743 7074 56 | 0.016 % | c =============================================================================== c New solution: 48100 c Elapsed CPU time: 5.36318 s Remaining CPU time: 174.637 s c =============================================================================== c | 14549 | 80 694 8798 | 5000 8195 56 | 0.016 % | c | 14650 | 80 694 8798 | 5500 4199 56 | 0.016 % | c | 14801 | 80 694 8798 | 6050 4350 56 | 0.016 % | c | 15028 | 80 694 8798 | 6655 4577 56 | 0.016 % | c | 15365 | 80 694 8798 | 7320 4914 56 | 0.016 % | c =============================================================================== c New solution: 48058 c Elapsed CPU time: 5.81212 s Remaining CPU time: 174.188 s c =============================================================================== c | 15756 | 80 695 8878 | 5000 5305 56 | 0.016 % | c =============================================================================== c New solution: 47955 c Elapsed CPU time: 5.85911 s Remaining CPU time: 174.141 s c =============================================================================== c | 15756 | 80 696 8958 | 5000 2653 56 | 0.016 % | c | 15856 | 80 696 8958 | 5500 2753 56 | 0.016 % | c | 16006 | 80 696 8958 | 6050 2903 56 | 0.016 % | c | 16231 | 80 696 8958 | 6655 3128 56 | 0.016 % | c | 16568 | 80 696 8958 | 7320 3465 56 | 0.016 % | c =============================================================================== c New solution: 47896 c Elapsed CPU time: 6.27705 s Remaining CPU time: 173.723 s c =============================================================================== c | 16679 | 80 697 9038 | 5000 3576 56 | 0.016 % | c =============================================================================== c New solution: 47835 c Elapsed CPU time: 6.28104 s Remaining CPU time: 173.719 s c =============================================================================== c | 16686 | 80 698 9118 | 5000 3583 56 | 0.016 % | c | 16786 | 80 698 9118 | 5500 3683 56 | 0.016 % | c =============================================================================== c New solution: 47617 c Elapsed CPU time: 6.35703 s Remaining CPU time: 173.643 s c =============================================================================== c | 16848 | 80 699 9198 | 5000 3745 56 | 0.016 % | c | 16950 | 80 699 9198 | 5500 3847 56 | 0.016 % | c | 17101 | 80 699 9198 | 6050 3998 56 | 0.016 % | c | 17326 | 80 699 9198 | 6655 4223 56 | 0.016 % | c | 17664 | 80 699 9198 | 7320 4561 56 | 0.016 % | c =============================================================================== c New solution: 47403 c Elapsed CPU time: 6.76497 s Remaining CPU time: 173.235 s c =============================================================================== c | 17835 | 80 700 9278 | 5000 4732 56 | 0.016 % | c | 17935 | 80 700 9278 | 5500 4832 56 | 0.016 % | c | 18086 | 80 700 9278 | 6050 4983 56 | 0.016 % | c | 18311 | 80 700 9278 | 6655 5208 56 | 0.016 % | c | 18648 | 80 700 9278 | 7320 5545 56 | 0.016 % | c | 19155 | 80 700 9278 | 8052 6052 56 | 0.016 % | c | 19915 | 80 700 9278 | 8857 6812 55 | 0.016 % | c =============================================================================== c New solution: 47365 c Elapsed CPU time: 8.45072 s Remaining CPU time: 171.549 s c =============================================================================== c | 20885 | 80 701 9358 | 5000 7782 55 | 0.016 % | c | 20985 | 80 701 9358 | 5500 3991 54 | 0.016 % | c | 21137 | 80 701 9358 | 6050 4143 54 | 0.016 % | c | 21363 | 80 701 9358 | 6655 4369 54 | 0.016 % | c | 21700 | 80 701 9358 | 7320 4706 54 | 0.016 % | c | 22207 | 80 701 9358 | 8052 5213 54 | 0.016 % | c | 22967 | 80 701 9358 | 8857 5973 54 | 0.016 % | c | 24107 | 80 701 9358 | 9743 7113 54 | 0.016 % | c | 25816 | 80 701 9358 | 10717 8822 54 | 0.016 % | c =============================================================================== c New solution: 47355 c Elapsed CPU time: 10.8603 s Remaining CPU time: 169.14 s c =============================================================================== c | 26249 | 80 702 9438 | 5000 9255 54 | 0.016 % | c =============================================================================== c New solution: 47252 c Elapsed CPU time: 10.9863 s Remaining CPU time: 169.014 s c =============================================================================== c | 26249 | 80 703 9518 | 5000 4628 53 | 0.016 % | c | 26350 | 80 703 9518 | 5500 4729 53 | 0.016 % | c | 26500 | 80 703 9518 | 6050 4879 53 | 0.016 % | c =============================================================================== c New solution: 47209 c Elapsed CPU time: 11.0843 s Remaining CPU time: 168.916 s c =============================================================================== c | 26603 | 80 704 9598 | 5000 4982 53 | 0.016 % | c | 26703 | 80 704 9598 | 5500 2552 54 | 0.016 % | c | 26853 | 80 704 9598 | 6050 2702 54 | 0.016 % | c | 27079 | 80 704 9598 | 6655 2928 54 | 0.016 % | c | 27418 | 80 704 9598 | 7320 3267 54 | 0.016 % | c | 27924 | 80 704 9598 | 8052 3773 53 | 0.016 % | c | 28683 | 80 704 9598 | 8857 4532 54 | 0.016 % | c =============================================================================== c New solution: 47093 c Elapsed CPU time: 11.9792 s Remaining CPU time: 168.021 s c =============================================================================== c | 29491 | 80 705 9678 | 5000 5340 54 | 0.016 % | c =============================================================================== c New solution: 46995 c Elapsed CPU time: 12.0292 s Remaining CPU time: 167.971 s c =============================================================================== c | 29500 | 80 706 9758 | 5000 2679 53 | 0.016 % | c =============================================================================== c New solution: 46973 c Elapsed CPU time: 12.0322 s Remaining CPU time: 167.968 s c =============================================================================== c | 29504 | 80 707 9838 | 5000 2683 53 | 0.016 % | c =============================================================================== c New solution: 46862 c Elapsed CPU time: 12.0402 s Remaining CPU time: 167.96 s c =============================================================================== c | 29518 | 80 708 9918 | 5000 2697 53 | 0.016 % | c =============================================================================== c New solution: 46755 c Elapsed CPU time: 12.0422 s Remaining CPU time: 167.958 s c =============================================================================== c | 29519 | 80 709 9998 | 5000 2698 53 | 0.016 % | c =============================================================================== c New solution: 46541 c Elapsed CPU time: 12.0432 s Remaining CPU time: 167.957 s c =============================================================================== c | 29519 | 80 710 10078 | 5000 2698 53 | 0.016 % | c | 29623 | 80 710 10078 | 5500 2802 53 | 0.016 % | c | 29773 | 80 710 10078 | 6050 2952 53 | 0.016 % | c | 29998 | 80 710 10078 | 6655 3177 53 | 0.016 % | c | 30336 | 80 710 10078 | 7320 3515 53 | 0.016 % | c | 30843 | 80 710 10078 | 8052 4022 53 | 0.016 % | c | 31602 | 80 710 10078 | 8857 4781 53 | 0.016 % | c | 32743 | 80 710 10078 | 9743 5922 53 | 0.016 % | c | 34452 | 80 710 10078 | 10717 7631 52 | 0.016 % | c | 37017 | 80 710 10078 | 11789 10196 52 | 0.016 % | c | 40861 | 80 710 10078 | 12968 8117 52 | 0.016 % | c =============================================================================== c New solution: 46504 c Elapsed CPU time: 18.5042 s Remaining CPU time: 161.496 s c =============================================================================== c | 44862 | 80 711 10158 | 5000 12118 52 | 0.016 % | c =============================================================================== c New solution: 46397 c Elapsed CPU time: 18.8831 s Remaining CPU time: 161.117 s c =============================================================================== c | 44863 | 80 712 10238 | 5000 3031 52 | 0.016 % | c =============================================================================== c New solution: 46286 c Elapsed CPU time: 18.8871 s Remaining CPU time: 161.113 s c =============================================================================== c | 44868 | 80 713 10318 | 5000 3036 52 | 0.016 % | c =============================================================================== c New solution: 46183 c Elapsed CPU time: 18.8891 s Remaining CPU time: 161.111 s c =============================================================================== c | 44868 | 80 714 10398 | 5000 3036 52 | 0.016 % | c | 44969 | 80 714 10398 | 5500 3137 52 | 0.016 % | c | 45123 | 80 714 10398 | 6050 3291 52 | 0.016 % | c | 45349 | 80 714 10398 | 6655 3517 52 | 0.016 % | c | 45687 | 80 714 10398 | 7320 3855 51 | 0.016 % | c | 46193 | 80 714 10398 | 8052 4361 51 | 0.016 % | c | 46954 | 80 714 10398 | 8857 5122 51 | 0.016 % | c | 48094 | 80 714 10398 | 9743 6262 51 | 0.016 % | c | 49803 | 80 714 10398 | 10717 7971 51 | 0.016 % | c | 52366 | 80 714 10398 | 11789 10534 51 | 0.016 % | c | 56211 | 80 714 10398 | 12968 8458 51 | 0.016 % | c | 61977 | 80 714 10398 | 14265 7711 52 | 0.016 % | c | 70626 | 80 714 10398 | 15692 9205 52 | 0.016 % | c | 83600 | 80 714 10398 | 17261 14308 52 | 0.019 % | c =============================================================================== c Total CPU time: 46.8569 s