c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 800 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 800 | c | Number Clauses: 800 | 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 | 800 800 3100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 700 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 800 801 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 699 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 800 802 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 698 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 800 803 5200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 697 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 800 804 5900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 696 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 800 805 6600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 695 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 800 806 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 694 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 800 807 8000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 693 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 800 808 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 692 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 800 809 9400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 691 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 800 810 10100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 690 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 800 811 10800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 689 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 800 812 11500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 688 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 0 | 800 813 12200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 687 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 800 814 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 686 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 800 815 13600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 685 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 800 816 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 684 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 800 817 15000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 683 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 800 818 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 682 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 800 819 16400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 681 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 800 820 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 680 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 800 821 17800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 679 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 800 822 18500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 678 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 800 823 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 677 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 800 824 19900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 676 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 800 825 20600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 675 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 800 826 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 674 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 800 827 22000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 673 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 800 828 22700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 672 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 800 829 23400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 671 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 800 830 24100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 670 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 800 831 24800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 669 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 800 832 25500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 668 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 800 833 26200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 667 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 800 834 26900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 666 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 800 835 27600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 665 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 800 836 28300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 664 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 800 837 29000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 663 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 800 838 29700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 662 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 0 | 800 839 30400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 661 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 800 840 31100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 660 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 800 841 31800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 659 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 800 842 32500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 658 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 0 | 800 843 33200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 657 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 800 844 33900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 656 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 800 845 34600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 655 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 800 846 35300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 654 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s c =============================================================================== c | 0 | 800 847 36000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 653 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 800 848 36700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 652 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 800 849 37400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 651 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 800 850 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 650 c Elapsed CPU time: 0.158975 s Remaining CPU time: 179.841 s c =============================================================================== c | 0 | 800 851 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 649 c Elapsed CPU time: 0.164974 s Remaining CPU time: 179.835 s c =============================================================================== c | 0 | 800 852 39500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 648 c Elapsed CPU time: 0.171973 s Remaining CPU time: 179.828 s c =============================================================================== c | 0 | 800 853 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 647 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 800 854 40900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 646 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 0 | 800 855 41600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 645 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 800 856 42300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 644 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 800 857 43000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 643 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 800 858 43700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 642 c Elapsed CPU time: 0.214967 s Remaining CPU time: 179.785 s c =============================================================================== c | 0 | 800 859 44400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 641 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 800 860 45100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 640 c Elapsed CPU time: 0.231964 s Remaining CPU time: 179.768 s c =============================================================================== c | 0 | 800 861 45800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 639 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s c =============================================================================== c | 0 | 800 862 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 638 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 0 | 800 863 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 637 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 0 | 800 864 47900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 636 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 0 | 800 865 48600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 635 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 800 866 49300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 634 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 0 | 800 867 50000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 633 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 0 | 800 868 50700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 632 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 0 | 800 869 51400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 631 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 0 | 800 870 52100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 630 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 800 871 52800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 629 c Elapsed CPU time: 0.337948 s Remaining CPU time: 179.662 s c =============================================================================== c | 0 | 800 872 53500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 628 c Elapsed CPU time: 0.347947 s Remaining CPU time: 179.652 s c =============================================================================== c | 0 | 800 873 54200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 627 c Elapsed CPU time: 0.358945 s Remaining CPU time: 179.641 s c =============================================================================== c | 0 | 800 874 54900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 626 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 0 | 800 875 55600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 625 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 0 | 800 876 56300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 624 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 1 | 800 877 57000 | 5000 1 628 | 0.000 % | c =============================================================================== c New solution: 623 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 1 | 800 878 57700 | 5000 1 628 | 0.000 % | c =============================================================================== c New solution: 622 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 1 | 800 879 58400 | 5000 1 628 | 0.000 % | c =============================================================================== c New solution: 621 c Elapsed CPU time: 0.431934 s Remaining CPU time: 179.568 s c =============================================================================== c | 1 | 800 880 59100 | 5000 1 628 | 0.000 % | c =============================================================================== c New solution: 620 c Elapsed CPU time: 0.445932 s Remaining CPU time: 179.554 s c =============================================================================== c | 4 | 800 881 59800 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 619 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 4 | 800 882 60500 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 618 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 4 | 800 883 61200 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 617 c Elapsed CPU time: 0.487925 s Remaining CPU time: 179.512 s c =============================================================================== c | 4 | 800 884 61900 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 616 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 4 | 800 885 62600 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 615 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 4 | 800 886 63300 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 614 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 4 | 800 887 64000 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 613 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 4 | 800 888 64700 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 612 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 4 | 800 889 65400 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 611 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 4 | 800 890 66100 | 5000 4 160 | 0.000 % | c =============================================================================== c New solution: 610 c Elapsed CPU time: 0.59191 s Remaining CPU time: 179.408 s c =============================================================================== c | 5 | 800 891 66800 | 5000 5 129 | 0.000 % | c =============================================================================== c New solution: 609 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 5 | 800 892 67500 | 5000 5 129 | 0.000 % | c =============================================================================== c New solution: 608 c Elapsed CPU time: 0.628904 s Remaining CPU time: 179.371 s c =============================================================================== c | 5 | 800 893 68200 | 5000 5 129 | 0.000 % | c =============================================================================== c New solution: 607 c Elapsed CPU time: 0.646901 s Remaining CPU time: 179.353 s c =============================================================================== c | 5 | 800 894 68900 | 5000 5 129 | 0.000 % | c =============================================================================== c New solution: 606 c Elapsed CPU time: 0.666898 s Remaining CPU time: 179.333 s c =============================================================================== c | 5 | 800 895 69600 | 5000 5 129 | 0.000 % | c =============================================================================== c New solution: 605 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 5 | 800 896 70300 | 5000 5 129 | 0.000 % | c =============================================================================== c New solution: 604 c Elapsed CPU time: 0.706892 s Remaining CPU time: 179.293 s c =============================================================================== c | 5 | 800 897 71000 | 5000 5 129 | 0.000 % | c =============================================================================== c New solution: 603 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 5 | 800 898 71700 | 5000 5 129 | 0.000 % | c =============================================================================== c New solution: 602 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 5 | 800 899 72400 | 5000 5 129 | 0.000 % | c =============================================================================== c New solution: 601 c Elapsed CPU time: 0.768883 s Remaining CPU time: 179.231 s c =============================================================================== c | 6 | 800 900 73100 | 5000 6 109 | 0.000 % | c =============================================================================== c New solution: 600 c Elapsed CPU time: 0.789879 s Remaining CPU time: 179.21 s c =============================================================================== c | 6 | 800 901 73800 | 5000 6 109 | 0.000 % | c =============================================================================== c New solution: 599 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 6 | 800 902 74500 | 5000 6 109 | 0.000 % | c =============================================================================== c New solution: 598 c Elapsed CPU time: 0.831873 s Remaining CPU time: 179.168 s c =============================================================================== c | 7 | 800 903 75200 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 597 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s c =============================================================================== c | 7 | 800 904 75900 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 596 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 7 | 800 905 76600 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 595 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s c =============================================================================== c | 7 | 800 906 77300 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 594 c Elapsed CPU time: 0.91786 s Remaining CPU time: 179.082 s c =============================================================================== c | 7 | 800 907 78000 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 593 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 7 | 800 908 78700 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 592 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 7 | 800 909 79400 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 591 c Elapsed CPU time: 0.986849 s Remaining CPU time: 179.013 s c =============================================================================== c | 7 | 800 910 80100 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 590 c Elapsed CPU time: 1.00985 s Remaining CPU time: 178.99 s c =============================================================================== c | 7 | 800 911 80800 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 589 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 7 | 800 912 81500 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 588 c Elapsed CPU time: 1.05884 s Remaining CPU time: 178.941 s c =============================================================================== c | 7 | 800 913 82200 | 5000 7 180 | 0.000 % | c =============================================================================== c New solution: 587 c Elapsed CPU time: 1.08384 s Remaining CPU time: 178.916 s c =============================================================================== c | 8 | 800 914 82900 | 5000 8 158 | 0.000 % | c =============================================================================== c New solution: 586 c Elapsed CPU time: 1.10783 s Remaining CPU time: 178.892 s c =============================================================================== c | 8 | 800 915 83600 | 5000 8 158 | 0.000 % | c =============================================================================== c New solution: 585 c Elapsed CPU time: 1.13383 s Remaining CPU time: 178.866 s c =============================================================================== c | 8 | 800 916 84300 | 5000 8 158 | 0.000 % | c =============================================================================== c New solution: 584 c Elapsed CPU time: 1.15882 s Remaining CPU time: 178.841 s c =============================================================================== c | 8 | 800 917 85000 | 5000 8 158 | 0.000 % | c =============================================================================== c New solution: 583 c Elapsed CPU time: 1.18582 s Remaining CPU time: 178.814 s c =============================================================================== c | 8 | 800 918 85700 | 5000 8 158 | 0.000 % | c =============================================================================== c New solution: 582 c Elapsed CPU time: 1.21182 s Remaining CPU time: 178.788 s c =============================================================================== c | 8 | 800 919 86400 | 5000 8 158 | 0.000 % | c =============================================================================== c New solution: 581 c Elapsed CPU time: 1.23881 s Remaining CPU time: 178.761 s c =============================================================================== c | 9 | 800 920 87100 | 5000 9 142 | 0.000 % | c =============================================================================== c New solution: 580 c Elapsed CPU time: 1.26381 s Remaining CPU time: 178.736 s c =============================================================================== c | 9 | 800 921 87800 | 5000 9 142 | 0.000 % | c =============================================================================== c New solution: 579 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 10 | 800 922 88500 | 5000 10 187 | 0.000 % | c =============================================================================== c New solution: 578 c Elapsed CPU time: 1.3188 s Remaining CPU time: 178.681 s c =============================================================================== c | 10 | 800 923 89200 | 5000 10 187 | 0.000 % | c =============================================================================== c New solution: 577 c Elapsed CPU time: 1.3458 s Remaining CPU time: 178.654 s c =============================================================================== c | 10 | 800 924 89900 | 5000 10 187 | 0.000 % | c =============================================================================== c New solution: 576 c Elapsed CPU time: 1.37279 s Remaining CPU time: 178.627 s c =============================================================================== c | 11 | 800 925 90600 | 5000 11 170 | 0.000 % | c =============================================================================== c New solution: 575 c Elapsed CPU time: 1.40079 s Remaining CPU time: 178.599 s c =============================================================================== c | 11 | 800 926 91300 | 5000 11 170 | 0.000 % | c =============================================================================== c New solution: 574 c Elapsed CPU time: 1.42978 s Remaining CPU time: 178.57 s c =============================================================================== c | 11 | 800 927 92000 | 5000 11 170 | 0.000 % | c =============================================================================== c New solution: 573 c Elapsed CPU time: 1.45878 s Remaining CPU time: 178.541 s c =============================================================================== c | 11 | 800 928 92700 | 5000 11 170 | 0.000 % | c =============================================================================== c New solution: 572 c Elapsed CPU time: 1.48877 s Remaining CPU time: 178.511 s c =============================================================================== c | 13 | 800 929 93400 | 5000 13 145 | 0.000 % | c =============================================================================== c New solution: 571 c Elapsed CPU time: 1.51777 s Remaining CPU time: 178.482 s c =============================================================================== c | 14 | 800 930 94100 | 5000 14 135 | 0.000 % | c =============================================================================== c New solution: 570 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 15 | 800 931 94800 | 5000 15 127 | 0.000 % | c =============================================================================== c New solution: 569 c Elapsed CPU time: 1.57676 s Remaining CPU time: 178.423 s c =============================================================================== c | 15 | 800 932 95500 | 5000 15 127 | 0.000 % | c =============================================================================== c New solution: 568 c Elapsed CPU time: 1.60776 s Remaining CPU time: 178.392 s c =============================================================================== c | 15 | 800 933 96200 | 5000 15 127 | 0.000 % | c =============================================================================== c New solution: 567 c Elapsed CPU time: 1.63675 s Remaining CPU time: 178.363 s c =============================================================================== c | 16 | 800 934 96900 | 5000 16 119 | 0.000 % | c =============================================================================== c New solution: 566 c Elapsed CPU time: 1.66775 s Remaining CPU time: 178.332 s c =============================================================================== c | 16 | 800 935 97600 | 5000 16 119 | 0.000 % | c =============================================================================== c New solution: 565 c Elapsed CPU time: 1.69874 s Remaining CPU time: 178.301 s c =============================================================================== c | 16 | 800 936 98300 | 5000 16 119 | 0.000 % | c =============================================================================== c New solution: 564 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 16 | 800 937 99000 | 5000 16 119 | 0.000 % | c =============================================================================== c New solution: 563 c Elapsed CPU time: 1.76173 s Remaining CPU time: 178.238 s c =============================================================================== c | 16 | 800 938 99700 | 5000 16 119 | 0.000 % | c =============================================================================== c New solution: 562 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 16 | 800 939 100400 | 5000 16 119 | 0.000 % | c =============================================================================== c New solution: 561 c Elapsed CPU time: 1.82572 s Remaining CPU time: 178.174 s c =============================================================================== c | 16 | 800 940 101100 | 5000 16 119 | 0.000 % | c =============================================================================== c New solution: 560 c Elapsed CPU time: 1.85972 s Remaining CPU time: 178.14 s c =============================================================================== c | 19 | 800 941 101800 | 5000 19 190 | 0.000 % | c =============================================================================== c New solution: 559 c Elapsed CPU time: 1.89471 s Remaining CPU time: 178.105 s c =============================================================================== c | 19 | 800 942 102500 | 5000 19 190 | 0.000 % | c =============================================================================== c New solution: 558 c Elapsed CPU time: 1.92671 s Remaining CPU time: 178.073 s c =============================================================================== c | 19 | 800 943 103200 | 5000 19 190 | 0.000 % | c =============================================================================== c New solution: 557 c Elapsed CPU time: 1.9617 s Remaining CPU time: 178.038 s c =============================================================================== c | 20 | 800 944 103900 | 5000 20 181 | 0.000 % | c =============================================================================== c New solution: 556 c Elapsed CPU time: 1.9947 s Remaining CPU time: 178.005 s c =============================================================================== c | 20 | 800 945 104600 | 5000 20 181 | 0.000 % | c =============================================================================== c New solution: 555 c Elapsed CPU time: 2.02669 s Remaining CPU time: 177.973 s c =============================================================================== c | 20 | 800 946 105300 | 5000 20 181 | 0.000 % | c =============================================================================== c New solution: 554 c Elapsed CPU time: 2.05969 s Remaining CPU time: 177.94 s c =============================================================================== c | 21 | 800 947 106000 | 5000 21 174 | 0.000 % | c =============================================================================== c New solution: 553 c Elapsed CPU time: 2.09368 s Remaining CPU time: 177.906 s c =============================================================================== c | 22 | 800 948 106700 | 5000 22 166 | 0.000 % | c =============================================================================== c New solution: 552 c Elapsed CPU time: 2.12868 s Remaining CPU time: 177.871 s c =============================================================================== c | 22 | 800 949 107400 | 5000 22 166 | 0.000 % | c =============================================================================== c New solution: 551 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 22 | 800 950 108100 | 5000 22 166 | 0.000 % | c =============================================================================== c New solution: 550 c Elapsed CPU time: 2.19867 s Remaining CPU time: 177.801 s c =============================================================================== c | 22 | 800 951 108800 | 5000 22 166 | 0.000 % | c =============================================================================== c New solution: 549 c Elapsed CPU time: 2.23566 s Remaining CPU time: 177.764 s c =============================================================================== c | 22 | 800 952 109500 | 5000 22 166 | 0.000 % | c =============================================================================== c New solution: 548 c Elapsed CPU time: 2.27165 s Remaining CPU time: 177.728 s c =============================================================================== c | 22 | 800 953 110200 | 5000 22 166 | 0.000 % | c =============================================================================== c New solution: 547 c Elapsed CPU time: 2.30765 s Remaining CPU time: 177.692 s c =============================================================================== c | 23 | 800 954 110900 | 5000 23 159 | 0.000 % | c =============================================================================== c New solution: 546 c Elapsed CPU time: 2.34364 s Remaining CPU time: 177.656 s c =============================================================================== c | 23 | 800 955 111600 | 5000 23 159 | 0.000 % | c =============================================================================== c New solution: 545 c Elapsed CPU time: 2.38064 s Remaining CPU time: 177.619 s c =============================================================================== c | 23 | 800 956 112300 | 5000 23 159 | 0.000 % | c =============================================================================== c New solution: 544 c Elapsed CPU time: 2.41863 s Remaining CPU time: 177.581 s c =============================================================================== c | 23 | 800 957 113000 | 5000 23 159 | 0.000 % | c =============================================================================== c New solution: 543 c Elapsed CPU time: 2.45563 s Remaining CPU time: 177.544 s c =============================================================================== c | 23 | 800 958 113700 | 5000 23 159 | 0.000 % | c =============================================================================== c New solution: 542 c Elapsed CPU time: 2.49362 s Remaining CPU time: 177.506 s c =============================================================================== c | 24 | 800 959 114400 | 5000 24 153 | 0.000 % | c =============================================================================== c New solution: 541 c Elapsed CPU time: 2.53161 s Remaining CPU time: 177.468 s c =============================================================================== c | 24 | 800 960 115100 | 5000 24 153 | 0.000 % | c =============================================================================== c New solution: 540 c Elapsed CPU time: 2.56961 s Remaining CPU time: 177.43 s c =============================================================================== c | 24 | 800 961 115800 | 5000 24 153 | 0.000 % | c =============================================================================== c New solution: 539 c Elapsed CPU time: 2.6086 s Remaining CPU time: 177.391 s c =============================================================================== c | 24 | 800 962 116500 | 5000 24 153 | 0.000 % | c =============================================================================== c New solution: 538 c Elapsed CPU time: 2.6476 s Remaining CPU time: 177.352 s c =============================================================================== c | 24 | 800 963 117200 | 5000 24 153 | 0.000 % | c =============================================================================== c New solution: 537 c Elapsed CPU time: 2.68659 s Remaining CPU time: 177.313 s c =============================================================================== c | 25 | 800 964 117900 | 5000 25 148 | 0.000 % | c =============================================================================== c New solution: 536 c Elapsed CPU time: 2.72559 s Remaining CPU time: 177.274 s c =============================================================================== c | 25 | 800 965 118600 | 5000 25 148 | 0.000 % | c =============================================================================== c New solution: 535 c Elapsed CPU time: 2.76558 s Remaining CPU time: 177.234 s c =============================================================================== c | 28 | 800 966 119300 | 5000 28 133 | 0.000 % | c =============================================================================== c New solution: 534 c Elapsed CPU time: 2.80657 s Remaining CPU time: 177.193 s c =============================================================================== c | 28 | 800 967 120000 | 5000 28 133 | 0.000 % | c =============================================================================== c New solution: 533 c Elapsed CPU time: 2.84657 s Remaining CPU time: 177.153 s c =============================================================================== c | 29 | 800 968 120700 | 5000 29 129 | 0.000 % | c =============================================================================== c New solution: 532 c Elapsed CPU time: 2.89156 s Remaining CPU time: 177.108 s c =============================================================================== c | 45 | 800 969 121400 | 5000 45 275 | 0.000 % | c =============================================================================== c New solution: 531 c Elapsed CPU time: 2.93355 s Remaining CPU time: 177.066 s c =============================================================================== c | 47 | 800 970 122100 | 5000 47 264 | 0.000 % | c =============================================================================== c New solution: 530 c Elapsed CPU time: 2.97355 s Remaining CPU time: 177.026 s c =============================================================================== c | 47 | 800 971 122800 | 5000 47 264 | 0.000 % | c =============================================================================== c New solution: 529 c Elapsed CPU time: 3.01554 s Remaining CPU time: 176.984 s c =============================================================================== c | 48 | 800 972 123500 | 5000 48 259 | 0.000 % | c =============================================================================== c New solution: 528 c Elapsed CPU time: 3.05754 s Remaining CPU time: 176.942 s c =============================================================================== c | 51 | 800 973 124200 | 5000 51 244 | 0.000 % | c =============================================================================== c New solution: 527 c Elapsed CPU time: 3.09853 s Remaining CPU time: 176.901 s c =============================================================================== c | 52 | 800 974 124900 | 5000 52 240 | 0.000 % | c =============================================================================== c New solution: 526 c Elapsed CPU time: 3.14152 s Remaining CPU time: 176.858 s c =============================================================================== c | 52 | 800 975 125600 | 5000 52 240 | 0.000 % | c =============================================================================== c New solution: 525 c Elapsed CPU time: 3.18352 s Remaining CPU time: 176.816 s c =============================================================================== c | 54 | 800 976 126300 | 5000 54 232 | 0.000 % | c =============================================================================== c New solution: 524 c Elapsed CPU time: 3.22651 s Remaining CPU time: 176.773 s c =============================================================================== c | 54 | 800 977 127000 | 5000 54 232 | 0.000 % | c =============================================================================== c New solution: 523 c Elapsed CPU time: 3.2685 s Remaining CPU time: 176.731 s c =============================================================================== c | 55 | 800 978 127700 | 5000 55 228 | 0.000 % | c =============================================================================== c New solution: 522 c Elapsed CPU time: 3.3125 s Remaining CPU time: 176.688 s c =============================================================================== c | 55 | 800 979 128400 | 5000 55 228 | 0.000 % | c =============================================================================== c New solution: 521 c Elapsed CPU time: 3.35749 s Remaining CPU time: 176.643 s c =============================================================================== c | 56 | 800 980 129100 | 5000 56 224 | 0.000 % | c =============================================================================== c New solution: 520 c Elapsed CPU time: 3.40148 s Remaining CPU time: 176.599 s c =============================================================================== c | 56 | 800 981 129800 | 5000 56 224 | 0.000 % | c =============================================================================== c New solution: 519 c Elapsed CPU time: 3.44548 s Remaining CPU time: 176.555 s c =============================================================================== c | 57 | 800 982 130500 | 5000 57 220 | 0.000 % | c =============================================================================== c New solution: 518 c Elapsed CPU time: 3.48847 s Remaining CPU time: 176.512 s c =============================================================================== c | 57 | 800 983 131200 | 5000 57 220 | 0.000 % | c =============================================================================== c New solution: 517 c Elapsed CPU time: 3.53346 s Remaining CPU time: 176.467 s c =============================================================================== c | 58 | 800 984 131900 | 5000 58 217 | 0.000 % | c =============================================================================== c New solution: 516 c Elapsed CPU time: 3.57746 s Remaining CPU time: 176.423 s c =============================================================================== c | 58 | 800 985 132600 | 5000 58 217 | 0.000 % | c =============================================================================== c New solution: 515 c Elapsed CPU time: 3.62245 s Remaining CPU time: 176.378 s c =============================================================================== c | 58 | 800 986 133300 | 5000 58 217 | 0.000 % | c =============================================================================== c New solution: 514 c Elapsed CPU time: 3.66744 s Remaining CPU time: 176.333 s c =============================================================================== c | 59 | 800 987 134000 | 5000 59 214 | 0.000 % | c =============================================================================== c New solution: 513 c Elapsed CPU time: 3.71344 s Remaining CPU time: 176.287 s c =============================================================================== c | 59 | 800 988 134700 | 5000 59 214 | 0.000 % | c =============================================================================== c New solution: 512 c Elapsed CPU time: 3.75843 s Remaining CPU time: 176.242 s c =============================================================================== c | 60 | 800 989 135400 | 5000 60 210 | 0.000 % | c =============================================================================== c New solution: 511 c Elapsed CPU time: 3.80542 s Remaining CPU time: 176.195 s c =============================================================================== c | 60 | 800 990 136100 | 5000 60 210 | 0.000 % | c =============================================================================== c New solution: 510 c Elapsed CPU time: 3.85341 s Remaining CPU time: 176.147 s c =============================================================================== c | 60 | 800 991 136800 | 5000 60 210 | 0.000 % | c =============================================================================== c New solution: 509 c Elapsed CPU time: 3.90041 s Remaining CPU time: 176.1 s c =============================================================================== c | 60 | 800 992 137500 | 5000 60 210 | 0.000 % | c =============================================================================== c New solution: 508 c Elapsed CPU time: 3.9474 s Remaining CPU time: 176.053 s c =============================================================================== c | 60 | 800 993 138200 | 5000 60 210 | 0.000 % | c =============================================================================== c New solution: 507 c Elapsed CPU time: 3.99339 s Remaining CPU time: 176.007 s c =============================================================================== c | 60 | 800 994 138900 | 5000 60 210 | 0.000 % | c =============================================================================== c New solution: 506 c Elapsed CPU time: 4.04038 s Remaining CPU time: 175.96 s c =============================================================================== c | 61 | 800 995 139600 | 5000 61 207 | 0.000 % | c =============================================================================== c New solution: 505 c Elapsed CPU time: 4.08738 s Remaining CPU time: 175.913 s c =============================================================================== c | 61 | 800 996 140300 | 5000 61 207 | 0.000 % | c =============================================================================== c New solution: 504 c Elapsed CPU time: 4.13437 s Remaining CPU time: 175.866 s c =============================================================================== c | 62 | 800 997 141000 | 5000 62 204 | 0.000 % | c =============================================================================== c New solution: 503 c Elapsed CPU time: 4.18236 s Remaining CPU time: 175.818 s c =============================================================================== c | 65 | 800 998 141700 | 5000 65 195 | 0.000 % | c =============================================================================== c New solution: 502 c Elapsed CPU time: 4.23136 s Remaining CPU time: 175.769 s c =============================================================================== c | 66 | 800 999 142400 | 5000 66 192 | 0.000 % | c =============================================================================== c New solution: 501 c Elapsed CPU time: 4.27935 s Remaining CPU time: 175.721 s c =============================================================================== c | 66 | 800 1000 143100 | 5000 66 192 | 0.000 % | c =============================================================================== c New solution: 500 c Elapsed CPU time: 4.32734 s Remaining CPU time: 175.673 s c =============================================================================== c | 67 | 800 1001 143800 | 5000 67 189 | 0.000 % | c =============================================================================== c New solution: 499 c Elapsed CPU time: 4.37733 s Remaining CPU time: 175.623 s c =============================================================================== c | 67 | 800 1002 144500 | 5000 67 189 | 0.000 % | c =============================================================================== c New solution: 498 c Elapsed CPU time: 4.42833 s Remaining CPU time: 175.572 s c =============================================================================== c | 71 | 800 1003 145200 | 5000 71 207 | 0.000 % | c =============================================================================== c New solution: 497 c Elapsed CPU time: 4.47732 s Remaining CPU time: 175.523 s c =============================================================================== c | 71 | 800 1004 145900 | 5000 71 207 | 0.000 % | c =============================================================================== c New solution: 496 c Elapsed CPU time: 4.52731 s Remaining CPU time: 175.473 s c =============================================================================== c | 74 | 800 1005 146600 | 5000 74 199 | 0.000 % | c =============================================================================== c New solution: 495 c Elapsed CPU time: 4.5773 s Remaining CPU time: 175.423 s c =============================================================================== c | 74 | 800 1006 147300 | 5000 74 199 | 0.000 % | c =============================================================================== c New solution: 494 c Elapsed CPU time: 4.6273 s Remaining CPU time: 175.373 s c =============================================================================== c | 74 | 800 1007 148000 | 5000 74 199 | 0.000 % | c =============================================================================== c New solution: 493 c Elapsed CPU time: 4.67729 s Remaining CPU time: 175.323 s c =============================================================================== c | 74 | 800 1008 148700 | 5000 74 199 | 0.000 % | c =============================================================================== c New solution: 492 c Elapsed CPU time: 4.72828 s Remaining CPU time: 175.272 s c =============================================================================== c | 75 | 800 1009 149400 | 5000 75 203 | 0.000 % | c =============================================================================== c New solution: 491 c Elapsed CPU time: 4.78027 s Remaining CPU time: 175.22 s c =============================================================================== c | 77 | 800 1010 150100 | 5000 77 198 | 0.000 % | c =============================================================================== c New solution: 490 c Elapsed CPU time: 4.83326 s Remaining CPU time: 175.167 s c =============================================================================== c | 77 | 800 1011 150800 | 5000 77 198 | 0.000 % | c =============================================================================== c New solution: 489 c Elapsed CPU time: 4.88626 s Remaining CPU time: 175.114 s c =============================================================================== c | 77 | 800 1012 151500 | 5000 77 198 | 0.000 % | c =============================================================================== c New solution: 488 c Elapsed CPU time: 4.93825 s Remaining CPU time: 175.062 s c =============================================================================== c | 77 | 800 1013 152200 | 5000 77 198 | 0.000 % | c =============================================================================== c New solution: 487 c Elapsed CPU time: 4.99124 s Remaining CPU time: 175.009 s c =============================================================================== c | 77 | 800 1014 152900 | 5000 77 198 | 0.000 % | c =============================================================================== c New solution: 486 c Elapsed CPU time: 5.04423 s Remaining CPU time: 174.956 s c =============================================================================== c | 77 | 800 1015 153600 | 5000 77 198 | 0.000 % | c =============================================================================== c New solution: 485 c Elapsed CPU time: 5.09722 s Remaining CPU time: 174.903 s c =============================================================================== c | 77 | 800 1016 154300 | 5000 77 198 | 0.000 % | c =============================================================================== c New solution: 484 c Elapsed CPU time: 5.15022 s Remaining CPU time: 174.85 s c =============================================================================== c | 77 | 800 1017 155000 | 5000 77 198 | 0.000 % | c =============================================================================== c New solution: 483 c Elapsed CPU time: 5.20421 s Remaining CPU time: 174.796 s c =============================================================================== c | 78 | 800 1018 155700 | 5000 78 202 | 0.000 % | c =============================================================================== c New solution: 482 c Elapsed CPU time: 5.2582 s Remaining CPU time: 174.742 s c =============================================================================== c | 79 | 800 1019 156400 | 5000 79 206 | 0.000 % | c =============================================================================== c New solution: 481 c Elapsed CPU time: 5.31319 s Remaining CPU time: 174.687 s c =============================================================================== c | 79 | 800 1020 157100 | 5000 79 206 | 0.000 % | c =============================================================================== c New solution: 480 c Elapsed CPU time: 5.36918 s Remaining CPU time: 174.631 s c =============================================================================== c | 79 | 800 1021 157800 | 5000 79 206 | 0.000 % | c =============================================================================== c New solution: 479 c Elapsed CPU time: 5.42417 s Remaining CPU time: 174.576 s c =============================================================================== c | 79 | 800 1022 158500 | 5000 79 206 | 0.000 % | c =============================================================================== c New solution: 478 c Elapsed CPU time: 5.47617 s Remaining CPU time: 174.524 s c =============================================================================== c | 79 | 800 1023 159200 | 5000 79 206 | 0.000 % | c =============================================================================== c New solution: 477 c Elapsed CPU time: 5.53016 s Remaining CPU time: 174.47 s c =============================================================================== c | 82 | 800 1024 159900 | 5000 82 199 | 0.000 % | c =============================================================================== c New solution: 476 c Elapsed CPU time: 5.58415 s Remaining CPU time: 174.416 s c =============================================================================== c | 82 | 800 1025 160600 | 5000 82 199 | 0.000 % | c =============================================================================== c New solution: 475 c Elapsed CPU time: 5.63814 s Remaining CPU time: 174.362 s c =============================================================================== c | 83 | 800 1026 161300 | 5000 83 197 | 0.000 % | c =============================================================================== c New solution: 474 c Elapsed CPU time: 5.69313 s Remaining CPU time: 174.307 s c =============================================================================== c | 84 | 800 1027 162000 | 5000 84 194 | 0.000 % | c =============================================================================== c New solution: 473 c Elapsed CPU time: 5.75113 s Remaining CPU time: 174.249 s c =============================================================================== c | 91 | 800 1028 162700 | 5000 91 216 | 0.000 % | c =============================================================================== c New solution: 472 c Elapsed CPU time: 5.80712 s Remaining CPU time: 174.193 s c =============================================================================== c | 97 | 800 1029 163400 | 5000 97 205 | 0.000 % | c =============================================================================== c New solution: 471 c Elapsed CPU time: 5.8941 s Remaining CPU time: 174.106 s c =============================================================================== c | 181 | 800 1030 164100 | 5000 181 332 | 0.000 % | c =============================================================================== c New solution: 470 c Elapsed CPU time: 5.95209 s Remaining CPU time: 174.048 s c =============================================================================== c | 222 | 800 1031 164800 | 5000 222 277 | 0.000 % | c =============================================================================== c New solution: 469 c Elapsed CPU time: 6.01109 s Remaining CPU time: 173.989 s c =============================================================================== c | 232 | 800 1032 165500 | 5000 232 286 | 0.000 % | c =============================================================================== c New solution: 468 c Elapsed CPU time: 6.06708 s Remaining CPU time: 173.933 s c =============================================================================== c | 232 | 800 1033 166200 | 5000 232 286 | 0.000 % | c =============================================================================== c New solution: 467 c Elapsed CPU time: 6.13107 s Remaining CPU time: 173.869 s c =============================================================================== c | 233 | 800 1034 166900 | 5000 233 284 | 0.000 % | c =============================================================================== c New solution: 466 c Elapsed CPU time: 6.18806 s Remaining CPU time: 173.812 s c =============================================================================== c | 234 | 800 1035 167600 | 5000 234 283 | 0.000 % | c =============================================================================== c New solution: 465 c Elapsed CPU time: 6.24505 s Remaining CPU time: 173.755 s c =============================================================================== c | 234 | 800 1036 168300 | 5000 234 283 | 0.000 % | c =============================================================================== c New solution: 464 c Elapsed CPU time: 6.30304 s Remaining CPU time: 173.697 s c =============================================================================== c | 234 | 800 1037 169000 | 5000 234 283 | 0.000 % | c =============================================================================== c New solution: 463 c Elapsed CPU time: 6.36003 s Remaining CPU time: 173.64 s c =============================================================================== c | 234 | 800 1038 169700 | 5000 234 283 | 0.000 % | c =============================================================================== c New solution: 462 c Elapsed CPU time: 6.41702 s Remaining CPU time: 173.583 s c =============================================================================== c | 234 | 800 1039 170400 | 5000 234 283 | 0.000 % | c =============================================================================== c New solution: 461 c Elapsed CPU time: 6.47501 s Remaining CPU time: 173.525 s c =============================================================================== c | 234 | 800 1040 171100 | 5000 234 283 | 0.000 % | c =============================================================================== c New solution: 460 c Elapsed CPU time: 6.53201 s Remaining CPU time: 173.468 s c =============================================================================== c | 235 | 800 1041 171800 | 5000 235 282 | 0.000 % | c =============================================================================== c New solution: 459 c Elapsed CPU time: 6.59 s Remaining CPU time: 173.41 s c =============================================================================== c | 238 | 800 1042 172500 | 5000 238 279 | 0.000 % | c =============================================================================== c New solution: 458 c Elapsed CPU time: 6.64799 s Remaining CPU time: 173.352 s c =============================================================================== c | 238 | 800 1043 173200 | 5000 238 279 | 0.000 % | c =============================================================================== c New solution: 457 c Elapsed CPU time: 6.70598 s Remaining CPU time: 173.294 s c =============================================================================== c | 238 | 800 1044 173900 | 5000 238 279 | 0.000 % | c =============================================================================== c New solution: 456 c Elapsed CPU time: 6.76397 s Remaining CPU time: 173.236 s c =============================================================================== c | 239 | 800 1045 174600 | 5000 239 278 | 0.000 % | c =============================================================================== c New solution: 455 c Elapsed CPU time: 6.82296 s Remaining CPU time: 173.177 s c =============================================================================== c | 247 | 800 1046 175300 | 5000 247 269 | 0.000 % | c =============================================================================== c New solution: 454 c Elapsed CPU time: 6.88295 s Remaining CPU time: 173.117 s c =============================================================================== c | 251 | 800 1047 176000 | 5000 251 273 | 0.000 % | c =============================================================================== c New solution: 453 c Elapsed CPU time: 6.94294 s Remaining CPU time: 173.057 s c =============================================================================== c | 252 | 800 1048 176700 | 5000 252 272 | 0.000 % | c =============================================================================== c New solution: 452 c Elapsed CPU time: 7.00293 s Remaining CPU time: 172.997 s c =============================================================================== c | 257 | 800 1049 177400 | 5000 257 270 | 0.000 % | c =============================================================================== c New solution: 451 c Elapsed CPU time: 7.06492 s Remaining CPU time: 172.935 s c =============================================================================== c | 264 | 800 1050 178100 | 5000 264 272 | 0.000 % | c =============================================================================== c New solution: 450 c Elapsed CPU time: 7.12392 s Remaining CPU time: 172.876 s c =============================================================================== c | 264 | 800 1051 178800 | 5000 264 272 | 0.000 % | c =============================================================================== c New solution: 449 c Elapsed CPU time: 7.18391 s Remaining CPU time: 172.816 s c =============================================================================== c | 264 | 800 1052 179500 | 5000 264 272 | 0.000 % | c =============================================================================== c New solution: 448 c Elapsed CPU time: 7.2439 s Remaining CPU time: 172.756 s c =============================================================================== c | 264 | 800 1053 180200 | 5000 264 272 | 0.000 % | c =============================================================================== c New solution: 447 c Elapsed CPU time: 7.30289 s Remaining CPU time: 172.697 s c =============================================================================== c | 264 | 800 1054 180900 | 5000 264 272 | 0.000 % | c =============================================================================== c New solution: 446 c Elapsed CPU time: 7.36388 s Remaining CPU time: 172.636 s c =============================================================================== c | 271 | 800 1055 181600 | 5000 271 265 | 0.000 % | c =============================================================================== c New solution: 445 c Elapsed CPU time: 7.42687 s Remaining CPU time: 172.573 s c =============================================================================== c | 279 | 800 1056 182300 | 5000 279 270 | 0.000 % | c =============================================================================== c New solution: 444 c Elapsed CPU time: 7.48786 s Remaining CPU time: 172.512 s c =============================================================================== c | 279 | 800 1057 183000 | 5000 279 270 | 0.000 % | c =============================================================================== c New solution: 443 c Elapsed CPU time: 7.54885 s Remaining CPU time: 172.451 s c =============================================================================== c | 279 | 800 1058 183700 | 5000 279 270 | 0.000 % | c =============================================================================== c New solution: 442 c Elapsed CPU time: 7.60984 s Remaining CPU time: 172.39 s c =============================================================================== c | 286 | 800 1059 184400 | 5000 286 264 | 0.000 % | c =============================================================================== c New solution: 441 c Elapsed CPU time: 7.67083 s Remaining CPU time: 172.329 s c =============================================================================== c | 293 | 800 1060 185100 | 5000 293 259 | 0.000 % | c =============================================================================== c New solution: 440 c Elapsed CPU time: 7.73282 s Remaining CPU time: 172.267 s c =============================================================================== c | 297 | 800 1061 185800 | 5000 297 261 | 0.000 % | c =============================================================================== c New solution: 439 c Elapsed CPU time: 7.79382 s Remaining CPU time: 172.206 s c =============================================================================== c | 299 | 800 1062 186500 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 438 c Elapsed CPU time: 7.85581 s Remaining CPU time: 172.144 s c =============================================================================== c | 299 | 800 1063 187200 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 437 c Elapsed CPU time: 7.9178 s Remaining CPU time: 172.082 s c =============================================================================== c | 299 | 800 1064 187900 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 436 c Elapsed CPU time: 7.97879 s Remaining CPU time: 172.021 s c =============================================================================== c | 299 | 800 1065 188600 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 435 c Elapsed CPU time: 8.04078 s Remaining CPU time: 171.959 s c =============================================================================== c | 299 | 800 1066 189300 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 434 c Elapsed CPU time: 8.10177 s Remaining CPU time: 171.898 s c =============================================================================== c | 299 | 800 1067 190000 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 433 c Elapsed CPU time: 8.16376 s Remaining CPU time: 171.836 s c =============================================================================== c | 299 | 800 1068 190700 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 432 c Elapsed CPU time: 8.22575 s Remaining CPU time: 171.774 s c =============================================================================== c | 299 | 800 1069 191400 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 431 c Elapsed CPU time: 8.28874 s Remaining CPU time: 171.711 s c =============================================================================== c | 299 | 800 1070 192100 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 430 c Elapsed CPU time: 8.35173 s Remaining CPU time: 171.648 s c =============================================================================== c | 299 | 800 1071 192800 | 5000 299 259 | 0.000 % | c =============================================================================== c New solution: 429 c Elapsed CPU time: 8.41472 s Remaining CPU time: 171.585 s c =============================================================================== c | 300 | 800 1072 193500 | 5000 300 259 | 0.000 % | c =============================================================================== c New solution: 428 c Elapsed CPU time: 8.47871 s Remaining CPU time: 171.521 s c =============================================================================== c | 300 | 800 1073 194200 | 5000 300 259 | 0.000 % | c =============================================================================== c New solution: 427 c Elapsed CPU time: 8.5417 s Remaining CPU time: 171.458 s c =============================================================================== c | 300 | 800 1074 194900 | 5000 300 259 | 0.000 % | c =============================================================================== c New solution: 426 c Elapsed CPU time: 8.60469 s Remaining CPU time: 171.395 s c =============================================================================== c | 301 | 800 1075 195600 | 5000 301 258 | 0.000 % | c =============================================================================== c New solution: 425 c Elapsed CPU time: 8.66868 s Remaining CPU time: 171.331 s c =============================================================================== c | 301 | 800 1076 196300 | 5000 301 258 | 0.000 % | c =============================================================================== c New solution: 424 c Elapsed CPU time: 8.73167 s Remaining CPU time: 171.268 s c =============================================================================== c | 302 | 800 1077 197000 | 5000 302 257 | 0.000 % | c =============================================================================== c New solution: 423 c Elapsed CPU time: 8.79566 s Remaining CPU time: 171.204 s c =============================================================================== c | 303 | 800 1078 197700 | 5000 303 257 | 0.000 % | c =============================================================================== c New solution: 422 c Elapsed CPU time: 8.85965 s Remaining CPU time: 171.14 s c =============================================================================== c | 305 | 800 1079 198400 | 5000 305 256 | 0.000 % | c =============================================================================== c New solution: 421 c Elapsed CPU time: 8.92364 s Remaining CPU time: 171.076 s c =============================================================================== c | 305 | 800 1080 199100 | 5000 305 256 | 0.000 % | c =============================================================================== c New solution: 420 c Elapsed CPU time: 8.98863 s Remaining CPU time: 171.011 s c =============================================================================== c | 307 | 800 1081 199800 | 5000 307 257 | 0.000 % | c =============================================================================== c New solution: 419 c Elapsed CPU time: 9.05262 s Remaining CPU time: 170.947 s c =============================================================================== c | 307 | 800 1082 200500 | 5000 307 257 | 0.000 % | c =============================================================================== c New solution: 418 c Elapsed CPU time: 9.11761 s Remaining CPU time: 170.882 s c =============================================================================== c | 307 | 800 1083 201200 | 5000 307 257 | 0.000 % | c =============================================================================== c New solution: 417 c Elapsed CPU time: 9.1826 s Remaining CPU time: 170.817 s c =============================================================================== c | 307 | 800 1084 201900 | 5000 307 257 | 0.000 % | c =============================================================================== c New solution: 416 c Elapsed CPU time: 9.24659 s Remaining CPU time: 170.753 s c =============================================================================== c | 307 | 800 1085 202600 | 5000 307 257 | 0.000 % | c =============================================================================== c New solution: 415 c Elapsed CPU time: 9.31158 s Remaining CPU time: 170.688 s c =============================================================================== c | 307 | 800 1086 203300 | 5000 307 257 | 0.000 % | c =============================================================================== c New solution: 414 c Elapsed CPU time: 9.37657 s Remaining CPU time: 170.623 s c =============================================================================== c | 307 | 800 1087 204000 | 5000 307 257 | 0.000 % | c =============================================================================== c New solution: 413 c Elapsed CPU time: 9.44156 s Remaining CPU time: 170.558 s c =============================================================================== c | 312 | 800 1088 204700 | 5000 312 256 | 0.000 % | c =============================================================================== c New solution: 412 c Elapsed CPU time: 9.50755 s Remaining CPU time: 170.492 s c =============================================================================== c | 312 | 800 1089 205400 | 5000 312 256 | 0.000 % | c =============================================================================== c New solution: 411 c Elapsed CPU time: 9.57354 s Remaining CPU time: 170.426 s c =============================================================================== c | 315 | 800 1090 206100 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 410 c Elapsed CPU time: 9.63953 s Remaining CPU time: 170.36 s c =============================================================================== c | 315 | 800 1091 206800 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 409 c Elapsed CPU time: 9.70552 s Remaining CPU time: 170.294 s c =============================================================================== c | 315 | 800 1092 207500 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 408 c Elapsed CPU time: 9.76951 s Remaining CPU time: 170.23 s c =============================================================================== c | 315 | 800 1093 208200 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 407 c Elapsed CPU time: 9.8355 s Remaining CPU time: 170.164 s c =============================================================================== c | 315 | 800 1094 208900 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 406 c Elapsed CPU time: 9.90149 s Remaining CPU time: 170.099 s c =============================================================================== c | 315 | 800 1095 209600 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 405 c Elapsed CPU time: 9.96748 s Remaining CPU time: 170.033 s c =============================================================================== c | 315 | 800 1096 210300 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 404 c Elapsed CPU time: 10.0335 s Remaining CPU time: 169.967 s c =============================================================================== c | 315 | 800 1097 211000 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 403 c Elapsed CPU time: 10.1005 s Remaining CPU time: 169.9 s c =============================================================================== c | 315 | 800 1098 211700 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 402 c Elapsed CPU time: 10.1665 s Remaining CPU time: 169.834 s c =============================================================================== c | 315 | 800 1099 212400 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 401 c Elapsed CPU time: 10.2324 s Remaining CPU time: 169.768 s c =============================================================================== c | 315 | 800 1100 213100 | 5000 315 253 | 0.000 % | c =============================================================================== c New solution: 400 c Elapsed CPU time: 10.2994 s Remaining CPU time: 169.701 s c =============================================================================== c | 316 | 800 1101 213800 | 5000 316 253 | 0.000 % | c =============================================================================== c New solution: 399 c Elapsed CPU time: 10.3664 s Remaining CPU time: 169.634 s c =============================================================================== c | 320 | 800 1102 214500 | 5000 320 250 | 0.000 % | c =============================================================================== c New solution: 398 c Elapsed CPU time: 10.4394 s Remaining CPU time: 169.561 s c =============================================================================== c | 340 | 800 1103 215200 | 5000 340 258 | 0.000 % | c =============================================================================== c New solution: 397 c Elapsed CPU time: 10.5064 s Remaining CPU time: 169.494 s c =============================================================================== c | 345 | 800 1104 215900 | 5000 345 254 | 0.000 % | c =============================================================================== c New solution: 396 c Elapsed CPU time: 10.5754 s Remaining CPU time: 169.425 s c =============================================================================== c | 358 | 800 1105 216600 | 5000 358 246 | 0.000 % | c =============================================================================== c New solution: 395 c Elapsed CPU time: 10.6434 s Remaining CPU time: 169.357 s c =============================================================================== c | 358 | 800 1106 217300 | 5000 358 246 | 0.000 % | c =============================================================================== c New solution: 394 c Elapsed CPU time: 10.7124 s Remaining CPU time: 169.288 s c =============================================================================== c | 359 | 800 1107 218000 | 5000 359 246 | 0.000 % | c =============================================================================== c New solution: 393 c Elapsed CPU time: 10.7804 s Remaining CPU time: 169.22 s c =============================================================================== c | 359 | 800 1108 218700 | 5000 359 246 | 0.000 % | c =============================================================================== c New solution: 392 c Elapsed CPU time: 10.8483 s Remaining CPU time: 169.152 s c =============================================================================== c | 359 | 800 1109 219400 | 5000 359 246 | 0.000 % | c =============================================================================== c New solution: 391 c Elapsed CPU time: 10.9173 s Remaining CPU time: 169.083 s c =============================================================================== c | 364 | 800 1110 220100 | 5000 364 248 | 0.000 % | c =============================================================================== c New solution: 390 c Elapsed CPU time: 10.9843 s Remaining CPU time: 169.016 s c =============================================================================== c | 364 | 800 1111 220800 | 5000 364 248 | 0.000 % | c =============================================================================== c New solution: 389 c Elapsed CPU time: 11.0533 s Remaining CPU time: 168.947 s c =============================================================================== c | 364 | 800 1112 221500 | 5000 364 248 | 0.000 % | c =============================================================================== c New solution: 388 c Elapsed CPU time: 11.1223 s Remaining CPU time: 168.878 s c =============================================================================== c | 364 | 800 1113 222200 | 5000 364 248 | 0.000 % | c =============================================================================== c New solution: 387 c Elapsed CPU time: 11.1913 s Remaining CPU time: 168.809 s c =============================================================================== c | 364 | 800 1114 222900 | 5000 364 248 | 0.000 % | c =============================================================================== c New solution: 386 c Elapsed CPU time: 11.2603 s Remaining CPU time: 168.74 s c =============================================================================== c | 364 | 800 1115 223600 | 5000 364 248 | 0.000 % | c =============================================================================== c New solution: 385 c Elapsed CPU time: 11.3303 s Remaining CPU time: 168.67 s c =============================================================================== c | 364 | 800 1116 224300 | 5000 364 248 | 0.000 % | c =============================================================================== c New solution: 384 c Elapsed CPU time: 11.4153 s Remaining CPU time: 168.585 s c =============================================================================== c | 392 | 800 1117 225000 | 5000 392 256 | 0.000 % | c =============================================================================== c New solution: 383 c Elapsed CPU time: 11.4853 s Remaining CPU time: 168.515 s c =============================================================================== c | 424 | 800 1118 225700 | 5000 424 239 | 0.000 % | c | 524 | 800 1118 225700 | 5500 524 267 | 0.000 % | c =============================================================================== c New solution: 382 c Elapsed CPU time: 11.6682 s Remaining CPU time: 168.332 s c =============================================================================== c | 551 | 800 1119 226400 | 5000 551 255 | 0.000 % | c | 651 | 800 1119 226400 | 5500 651 276 | 0.000 % | c =============================================================================== c New solution: 381 c Elapsed CPU time: 11.8872 s Remaining CPU time: 168.113 s c =============================================================================== c | 651 | 800 1120 227100 | 5000 651 276 | 0.000 % | c =============================================================================== c New solution: 380 c Elapsed CPU time: 11.9592 s Remaining CPU time: 168.041 s c =============================================================================== c | 656 | 800 1121 227800 | 5000 656 274 | 0.000 % | c =============================================================================== c New solution: 379 c Elapsed CPU time: 12.0292 s Remaining CPU time: 167.971 s c =============================================================================== c | 658 | 800 1122 228500 | 5000 658 273 | 0.000 % | c =============================================================================== c New solution: 378 c Elapsed CPU time: 12.1062 s Remaining CPU time: 167.894 s c =============================================================================== c | 675 | 800 1123 229200 | 5000 675 270 | 0.000 % | c =============================================================================== c New solution: 377 c Elapsed CPU time: 12.1771 s Remaining CPU time: 167.823 s c =============================================================================== c | 684 | 800 1124 229900 | 5000 684 267 | 0.000 % | c =============================================================================== c New solution: 376 c Elapsed CPU time: 12.2511 s Remaining CPU time: 167.749 s c =============================================================================== c | 689 | 800 1125 230600 | 5000 689 268 | 0.000 % | c =============================================================================== c New solution: 375 c Elapsed CPU time: 12.3231 s Remaining CPU time: 167.677 s c =============================================================================== c | 691 | 800 1126 231300 | 5000 691 267 | 0.000 % | c =============================================================================== c New solution: 374 c Elapsed CPU time: 12.3941 s Remaining CPU time: 167.606 s c =============================================================================== c | 695 | 800 1127 232000 | 5000 695 266 | 0.000 % | c | 795 | 800 1127 232000 | 5500 795 275 | 0.000 % | c =============================================================================== c New solution: 373 c Elapsed CPU time: 12.5861 s Remaining CPU time: 167.414 s c =============================================================================== c | 802 | 800 1128 232700 | 5000 802 272 | 0.000 % | c =============================================================================== c New solution: 372 c Elapsed CPU time: 12.6581 s Remaining CPU time: 167.342 s c =============================================================================== c | 828 | 800 1129 233400 | 5000 828 265 | 0.000 % | c =============================================================================== c New solution: 371 c Elapsed CPU time: 12.7371 s Remaining CPU time: 167.263 s c =============================================================================== c | 833 | 800 1130 234100 | 5000 833 265 | 0.000 % | c | 933 | 800 1130 234100 | 5500 933 277 | 0.000 % | c =============================================================================== c New solution: 370 c Elapsed CPU time: 12.914 s Remaining CPU time: 167.086 s c =============================================================================== c | 934 | 800 1131 234800 | 5000 934 277 | 0.000 % | c =============================================================================== c New solution: 369 c Elapsed CPU time: 12.986 s Remaining CPU time: 167.014 s c =============================================================================== c | 934 | 800 1132 235500 | 5000 934 277 | 0.000 % | c =============================================================================== c New solution: 368 c Elapsed CPU time: 13.061 s Remaining CPU time: 166.939 s c =============================================================================== c | 937 | 800 1133 236200 | 5000 937 276 | 0.000 % | c =============================================================================== c New solution: 367 c Elapsed CPU time: 13.133 s Remaining CPU time: 166.867 s c =============================================================================== c | 937 | 800 1134 236900 | 5000 937 276 | 0.000 % | c =============================================================================== c New solution: 366 c Elapsed CPU time: 13.207 s Remaining CPU time: 166.793 s c =============================================================================== c | 937 | 800 1135 237600 | 5000 937 276 | 0.000 % | c =============================================================================== c New solution: 365 c Elapsed CPU time: 13.281 s Remaining CPU time: 166.719 s c =============================================================================== c | 937 | 800 1136 238300 | 5000 937 276 | 0.000 % | c =============================================================================== c New solution: 364 c Elapsed CPU time: 13.354 s Remaining CPU time: 166.646 s c =============================================================================== c | 937 | 800 1137 239000 | 5000 937 276 | 0.000 % | c =============================================================================== c New solution: 363 c Elapsed CPU time: 13.431 s Remaining CPU time: 166.569 s c =============================================================================== c | 1031 | 800 1138 239700 | 5000 1031 254 | 0.000 % | c | 1131 | 800 1138 239700 | 5500 1131 265 | 0.000 % | c | 1282 | 800 1138 239700 | 6050 1282 238 | 0.000 % | c =============================================================================== c New solution: 362 c Elapsed CPU time: 13.8909 s Remaining CPU time: 166.109 s c =============================================================================== c | 1288 | 800 1139 240400 | 5000 1288 238 | 0.000 % | c | 1389 | 800 1139 240400 | 5500 1389 248 | 0.000 % | c =============================================================================== c New solution: 361 c Elapsed CPU time: 14.1019 s Remaining CPU time: 165.898 s c =============================================================================== c | 1443 | 800 1140 241100 | 5000 1443 240 | 0.000 % | c | 1543 | 800 1140 241100 | 5500 1543 248 | 0.000 % | c =============================================================================== c New solution: 360 c Elapsed CPU time: 14.4148 s Remaining CPU time: 165.585 s c =============================================================================== c | 1651 | 800 1141 241800 | 5000 1651 234 | 0.000 % | c =============================================================================== c New solution: 359 c Elapsed CPU time: 14.5168 s Remaining CPU time: 165.483 s c =============================================================================== c | 1676 | 800 1142 242500 | 5000 1676 236 | 0.000 % | c =============================================================================== c New solution: 358 c Elapsed CPU time: 14.5918 s Remaining CPU time: 165.408 s c =============================================================================== c | 1761 | 800 1143 243200 | 5000 1761 226 | 0.000 % | c =============================================================================== c New solution: 357 c Elapsed CPU time: 14.7178 s Remaining CPU time: 165.282 s c =============================================================================== c | 1791 | 800 1144 243900 | 5000 1791 229 | 0.000 % | c | 1891 | 800 1144 243900 | 5500 1891 219 | 0.000 % | c =============================================================================== c New solution: 356 c Elapsed CPU time: 14.8597 s Remaining CPU time: 165.14 s c =============================================================================== c | 1892 | 800 1145 244600 | 5000 1892 219 | 0.000 % | c | 1994 | 800 1145 244600 | 5500 1994 226 | 0.000 % | c | 2144 | 800 1145 244600 | 6050 2144 220 | 0.000 % | c =============================================================================== c New solution: 355 c Elapsed CPU time: 15.3327 s Remaining CPU time: 164.667 s c =============================================================================== c | 2167 | 800 1146 245300 | 5000 2167 218 | 0.000 % | c | 2268 | 800 1146 245300 | 5500 2268 224 | 0.000 % | c =============================================================================== c New solution: 354 c Elapsed CPU time: 15.5436 s Remaining CPU time: 164.456 s c =============================================================================== c | 2284 | 800 1147 246000 | 5000 2284 223 | 0.000 % | c | 2384 | 800 1147 246000 | 5500 2384 228 | 0.000 % | c =============================================================================== c New solution: 353 c Elapsed CPU time: 15.7466 s Remaining CPU time: 164.253 s c =============================================================================== c | 2498 | 800 1148 246700 | 5000 2498 219 | 0.000 % | c =============================================================================== c New solution: 352 c Elapsed CPU time: 15.8226 s Remaining CPU time: 164.177 s c =============================================================================== c | 2499 | 800 1149 247400 | 5000 2499 219 | 0.000 % | c =============================================================================== c New solution: 351 c Elapsed CPU time: 15.8986 s Remaining CPU time: 164.101 s c =============================================================================== c | 2504 | 800 1150 248100 | 5000 2504 219 | 0.000 % | c =============================================================================== c New solution: 350 c Elapsed CPU time: 15.9806 s Remaining CPU time: 164.019 s c =============================================================================== c | 2514 | 800 1151 248800 | 5000 2514 220 | 0.000 % | c =============================================================================== c New solution: 349 c Elapsed CPU time: 16.0536 s Remaining CPU time: 163.946 s c =============================================================================== c | 2547 | 800 1152 249500 | 5000 2547 217 | 0.000 % | c | 2648 | 800 1152 249500 | 5500 2648 223 | 0.000 % | c =============================================================================== c New solution: 348 c Elapsed CPU time: 16.4065 s Remaining CPU time: 163.593 s c =============================================================================== c | 2661 | 800 1153 250200 | 5000 2661 222 | 0.000 % | c | 2761 | 800 1153 250200 | 5500 2761 215 | 0.000 % | c =============================================================================== c New solution: 347 c Elapsed CPU time: 16.5655 s Remaining CPU time: 163.435 s c =============================================================================== c | 2766 | 800 1154 250900 | 5000 2766 215 | 0.000 % | c =============================================================================== c New solution: 346 c Elapsed CPU time: 16.6585 s Remaining CPU time: 163.342 s c =============================================================================== c | 2803 | 800 1155 251600 | 5000 2803 217 | 0.000 % | c =============================================================================== c New solution: 345 c Elapsed CPU time: 16.7305 s Remaining CPU time: 163.27 s c =============================================================================== c | 2805 | 800 1156 252300 | 5000 2805 217 | 0.000 % | c =============================================================================== c New solution: 344 c Elapsed CPU time: 16.8064 s Remaining CPU time: 163.194 s c =============================================================================== c | 2879 | 800 1157 253000 | 5000 2879 212 | 0.000 % | c =============================================================================== c New solution: 343 c Elapsed CPU time: 16.9414 s Remaining CPU time: 163.059 s c =============================================================================== c | 2907 | 800 1158 253700 | 5000 2907 214 | 0.000 % | c =============================================================================== c New solution: 342 c Elapsed CPU time: 17.0254 s Remaining CPU time: 162.975 s c =============================================================================== c | 2985 | 800 1159 254400 | 5000 2985 209 | 0.000 % | c | 3086 | 800 1159 254400 | 5500 3086 214 | 0.000 % | c =============================================================================== c New solution: 341 c Elapsed CPU time: 17.2324 s Remaining CPU time: 162.768 s c =============================================================================== c | 3145 | 800 1160 255100 | 5000 3145 210 | 0.000 % | c =============================================================================== c New solution: 340 c Elapsed CPU time: 17.5213 s Remaining CPU time: 162.479 s c =============================================================================== c | 3242 | 800 1161 255800 | 5000 3242 214 | 0.000 % | c | 3344 | 800 1161 255800 | 5500 3344 209 | 0.000 % | c =============================================================================== c New solution: 339 c Elapsed CPU time: 17.7003 s Remaining CPU time: 162.3 s c =============================================================================== c | 3361 | 800 1162 256500 | 5000 3361 210 | 0.000 % | c =============================================================================== c New solution: 338 c Elapsed CPU time: 17.7793 s Remaining CPU time: 162.221 s c =============================================================================== c | 3403 | 800 1163 257200 | 5000 3403 208 | 0.000 % | c | 3504 | 800 1163 257200 | 5500 3504 211 | 0.000 % | c =============================================================================== c New solution: 337 c Elapsed CPU time: 18.0783 s Remaining CPU time: 161.922 s c =============================================================================== c | 3553 | 800 1164 257900 | 5000 3553 209 | 0.000 % | c | 3653 | 800 1164 257900 | 5500 3653 213 | 0.000 % | c | 3803 | 800 1164 257900 | 6050 3803 206 | 0.000 % | c =============================================================================== c New solution: 336 c Elapsed CPU time: 18.5022 s Remaining CPU time: 161.498 s c =============================================================================== c | 3803 | 800 1165 258600 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 335 c Elapsed CPU time: 18.5802 s Remaining CPU time: 161.42 s c =============================================================================== c | 3803 | 800 1166 259300 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 334 c Elapsed CPU time: 18.6582 s Remaining CPU time: 161.342 s c =============================================================================== c | 3803 | 800 1167 260000 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 333 c Elapsed CPU time: 18.7362 s Remaining CPU time: 161.264 s c =============================================================================== c | 3803 | 800 1168 260700 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 332 c Elapsed CPU time: 18.8131 s Remaining CPU time: 161.187 s c =============================================================================== c | 3803 | 800 1169 261400 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 331 c Elapsed CPU time: 18.8901 s Remaining CPU time: 161.11 s c =============================================================================== c | 3803 | 800 1170 262100 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 330 c Elapsed CPU time: 18.9681 s Remaining CPU time: 161.032 s c =============================================================================== c | 3803 | 800 1171 262800 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 329 c Elapsed CPU time: 19.0461 s Remaining CPU time: 160.954 s c =============================================================================== c | 3803 | 800 1172 263500 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 328 c Elapsed CPU time: 19.1241 s Remaining CPU time: 160.876 s c =============================================================================== c | 3803 | 800 1173 264200 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 327 c Elapsed CPU time: 19.2021 s Remaining CPU time: 160.798 s c =============================================================================== c | 3803 | 800 1174 264900 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 326 c Elapsed CPU time: 19.2781 s Remaining CPU time: 160.722 s c =============================================================================== c | 3803 | 800 1175 265600 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 325 c Elapsed CPU time: 19.3561 s Remaining CPU time: 160.644 s c =============================================================================== c | 3803 | 800 1176 266300 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 324 c Elapsed CPU time: 19.434 s Remaining CPU time: 160.566 s c =============================================================================== c | 3803 | 800 1177 267000 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 323 c Elapsed CPU time: 19.513 s Remaining CPU time: 160.487 s c =============================================================================== c | 3803 | 800 1178 267700 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 322 c Elapsed CPU time: 19.591 s Remaining CPU time: 160.409 s c =============================================================================== c | 3803 | 800 1179 268400 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 321 c Elapsed CPU time: 19.669 s Remaining CPU time: 160.331 s c =============================================================================== c | 3803 | 800 1180 269100 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 320 c Elapsed CPU time: 19.747 s Remaining CPU time: 160.253 s c =============================================================================== c | 3803 | 800 1181 269800 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 319 c Elapsed CPU time: 19.825 s Remaining CPU time: 160.175 s c =============================================================================== c | 3803 | 800 1182 270500 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 318 c Elapsed CPU time: 19.902 s Remaining CPU time: 160.098 s c =============================================================================== c | 3803 | 800 1183 271200 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 317 c Elapsed CPU time: 19.98 s Remaining CPU time: 160.02 s c =============================================================================== c | 3803 | 800 1184 271900 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 316 c Elapsed CPU time: 20.058 s Remaining CPU time: 159.942 s c =============================================================================== c | 3803 | 800 1185 272600 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 315 c Elapsed CPU time: 20.1369 s Remaining CPU time: 159.863 s c =============================================================================== c | 3803 | 800 1186 273300 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 314 c Elapsed CPU time: 20.2149 s Remaining CPU time: 159.785 s c =============================================================================== c | 3803 | 800 1187 274000 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 313 c Elapsed CPU time: 20.2919 s Remaining CPU time: 159.708 s c =============================================================================== c | 3803 | 800 1188 274700 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 312 c Elapsed CPU time: 20.3699 s Remaining CPU time: 159.63 s c =============================================================================== c | 3803 | 800 1189 275400 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 311 c Elapsed CPU time: 20.4479 s Remaining CPU time: 159.552 s c =============================================================================== c | 3803 | 800 1190 276100 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 310 c Elapsed CPU time: 20.5259 s Remaining CPU time: 159.474 s c =============================================================================== c | 3803 | 800 1191 276800 | 5000 3803 206 | 0.000 % | c =============================================================================== c New solution: 309 c Elapsed CPU time: 20.6099 s Remaining CPU time: 159.39 s c =============================================================================== c | 3804 | 800 1192 277500 | 5000 3804 206 | 0.000 % | c =============================================================================== c New solution: 308 c Elapsed CPU time: 20.7158 s Remaining CPU time: 159.284 s c =============================================================================== c | 3816 | 800 1193 278200 | 5000 3816 206 | 0.000 % | c | 3916 | 800 1193 278200 | 5500 3916 209 | 0.000 % | c | 4066 | 800 1193 278200 | 6050 4066 203 | 0.000 % | c =============================================================================== c New solution: 307 c Elapsed CPU time: 21.0268 s Remaining CPU time: 158.973 s c =============================================================================== c | 4081 | 800 1194 278900 | 5000 4081 203 | 0.000 % | c | 4181 | 800 1194 278900 | 5500 4181 199 | 0.000 % | c | 4332 | 800 1194 278900 | 6050 4332 203 | 0.000 % | c =============================================================================== c New solution: 306 c Elapsed CPU time: 21.3538 s Remaining CPU time: 158.646 s c =============================================================================== c | 4399 | 800 1195 279600 | 5000 4399 201 | 0.000 % | c =============================================================================== c New solution: 305 c Elapsed CPU time: 21.5997 s Remaining CPU time: 158.4 s c =============================================================================== c | 4458 | 800 1196 280300 | 5000 4458 202 | 0.000 % | c =============================================================================== c New solution: 304 c Elapsed CPU time: 21.6747 s Remaining CPU time: 158.325 s c =============================================================================== c | 4469 | 800 1197 281000 | 5000 4469 202 | 0.000 % | c =============================================================================== c New solution: 303 c Elapsed CPU time: 21.7597 s Remaining CPU time: 158.24 s c =============================================================================== c | 4487 | 800 1198 281700 | 5000 4487 202 | 0.000 % | c | 4588 | 800 1198 281700 | 5500 4588 204 | 0.000 % | c | 4738 | 800 1198 281700 | 6050 4738 202 | 0.000 % | c =============================================================================== c New solution: 302 c Elapsed CPU time: 22.1436 s Remaining CPU time: 157.856 s c =============================================================================== c | 4897 | 800 1199 282400 | 5000 4897 199 | 0.000 % | c | 4997 | 800 1199 282400 | 5500 4997 200 | 0.000 % | c | 5147 | 800 1199 282400 | 6050 5147 199 | 0.000 % | c | 5372 | 800 1199 282400 | 6655 5372 200 | 0.000 % | c | 5709 | 800 1199 282400 | 7320 5709 200 | 0.000 % | c | 6215 | 800 1199 282400 | 8052 6215 206 | 0.000 % | c | 6974 | 800 1199 282400 | 8857 6974 214 | 0.000 % | c | 8113 | 800 1199 282400 | 9743 8113 223 | 0.000 % | c | 9822 | 800 1199 282400 | 10717 9822 238 | 0.000 % | c | 12384 | 800 1199 282400 | 11789 6857 279 | 0.000 % | c | 16228 | 800 1199 282400 | 12968 10701 286 | 0.000 % | c | 21994 | 800 1199 282400 | 14265 9826 286 | 0.000 % | c | 30643 | 800 1199 282400 | 15692 11176 293 | 0.000 % | c | 43619 | 800 1199 282400 | 17261 8125 296 | 0.000 % | c | 63081 | 800 1199 282400 | 18987 10005 302 | 0.000 % | c | 92273 | 800 1199 282400 | 20886 10245 303 | 0.000 % | c | 136062 | 800 1199 282400 | 22974 11613 308 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 100 1900 3100 | 5000 0 nan | 0.000 % | c | 102 | 97 1900 3100 | 5500 102 31 | 88.125 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 706 1901 6109 | 5000 0 nan | 0.000 % | c | 100 | 706 1901 6109 | 5500 100 40 | 35.993 % | c | 251 | 706 1901 6109 | 6050 251 29 | 35.993 % | c | 476 | 706 1901 6109 | 6655 476 33 | 35.993 % | c | 813 | 705 1901 6109 | 7320 217 23 | 36.084 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1630 1902 235831 | 5000 0 nan | 0.000 % | c | 100 | 1630 1902 235831 | 5500 100 61 | 4.174 % | c | 250 | 1630 1902 235831 | 6050 250 33 | 4.174 % | c | 475 | 1630 1902 235831 | 6655 475 22 | 4.174 % | c | 812 | 1630 1902 235831 | 7320 812 17 | 4.174 % | c | 1318 | 1630 1902 235831 | 8052 1318 15 | 4.174 % | c | 2080 | 1630 1902 235831 | 8857 2080 14 | 4.174 % | c | 3219 | 1630 1902 235831 | 9743 3219 16 | 4.174 % | c | 4927 | 1630 1902 235831 | 10717 4927 18 | 4.174 % | c | 7489 | 1630 1902 235831 | 11789 7489 20 | 4.174 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2366 1904 286935 | 5000 0 nan | 0.000 % | c | 101 | 2366 1904 286935 | 5500 101 38 | 0.000 % | c | 251 | 2366 1904 286935 | 6050 251 27 | 0.000 % | c | 477 | 2366 1904 286935 | 6655 477 22 | 0.000 % | c | 814 | 2366 1904 286935 | 7320 814 24 | 0.000 % | c | 1321 | 2366 1904 286935 | 8052 1321 28 | 0.000 % | c | 2080 | 2366 1904 286935 | 8857 2080 30 | 0.000 % | c | 3220 | 2366 1904 286935 | 9743 3220 37 | 0.000 % | c | 4932 | 2366 1904 286935 | 10717 4932 37 | 0.000 % | c | 7495 | 2366 1904 286935 | 11789 7495 33 | 0.000 % | c | 11340 | 2366 1904 286935 | 12968 11340 31 | 0.000 % | c | 17106 | 2366 1904 286935 | 14265 10612 21 | 0.000 % | c | 25755 | 2366 1904 286935 | 15692 12120 16 | 0.000 % | c | 38731 | 2366 1904 286935 | 17261 9385 14 | 0.000 % | c | 58192 | 2366 1904 286935 | 18987 11563 16 | 0.000 % | c | 87387 | 2366 1904 286935 | 20886 12244 16 | 0.000 % | c | 131177 | 2366 1904 286935 | 22974 14204 16 | 0.000 % | c | 196861 | 2366 1904 286935 | 25272 22406 16 | 0.000 % | c | 295387 | 2365 1904 286935 | 27799 20468 15 | 0.042 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3065 1905 288333 | 5000 0 nan | 0.000 % | c | 100 | 3065 1905 288333 | 5500 100 49 | 0.000 % | c | 251 | 3065 1905 288333 | 6050 251 56 | 0.000 % | c | 477 | 3065 1905 288333 | 6655 477 56 | 0.000 % | c | 815 | 3065 1905 288333 | 7320 815 67 | 0.000 % | c | 1321 | 3065 1905 288333 | 8052 1321 69 | 0.000 % | c | 2080 | 3065 1905 288333 | 8857 2080 74 | 0.000 % | c | 3224 | 3065 1905 288333 | 9743 3224 100 | 0.000 % | c | 4932 | 3065 1905 288333 | 10717 4932 92 | 0.000 % | c | 7495 | 3065 1905 288333 | 11789 7495 77 | 0.000 % | c | 11339 | 3065 1905 288333 | 12968 11339 66 | 0.000 % | c | 17106 | 3065 1905 288333 | 14265 10607 47 | 0.000 % | c | 25757 | 3065 1905 288333 | 15692 12033 42 | 0.000 % | c | 38735 | 3065 1905 288333 | 17261 9283 47 | 0.000 % | c | 58197 | 3065 1905 288333 | 18987 11418 36 | 0.000 % | c | 87389 | 3065 1905 288333 | 20886 11942 39 | 0.000 % | c | 131178 | 3065 1905 288333 | 22974 13837 30 | 0.000 % | c | 196865 | 3065 1905 288333 | 25272 21828 29 | 0.000 % | c | 295392 | 3065 1905 288333 | 27799 17570 25 | 0.000 % | c | 443186 | 3065 1905 288333 | 30579 13030 24 | 0.000 % |