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: 3909 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 0 | 800 801 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3904 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 800 802 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3902 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 1 | 800 803 5200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3901 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 1 | 800 804 5900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 1 | 800 805 6600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 1 | 800 806 7300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3890 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 1 | 800 807 8000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3889 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 1 | 800 808 8700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 1 | 800 809 9400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3884 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 1 | 800 810 10100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3883 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 1 | 800 811 10800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3880 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 1 | 800 812 11500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 1 | 800 813 12200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 1 | 800 814 12900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 1 | 800 815 13600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 800 816 14300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 1 | 800 817 15000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3868 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 1 | 800 818 15700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3863 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 1 | 800 819 16400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 1 | 800 820 17100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 0.075988 s Remaining CPU time: 179.924 s c =============================================================================== c | 1 | 800 821 17800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3859 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 1 | 800 822 18500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 1 | 800 823 19200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 800 824 19900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 1 | 800 825 20600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 0.099984 s Remaining CPU time: 179.9 s c =============================================================================== c | 1 | 800 826 21300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 1 | 800 827 22000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3848 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 800 828 22700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1 | 800 829 23400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 0.121981 s Remaining CPU time: 179.878 s c =============================================================================== c | 1 | 800 830 24100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 1 | 800 831 24800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 1 | 800 832 25500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 0.139978 s Remaining CPU time: 179.86 s c =============================================================================== c | 1 | 800 833 26200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 1 | 800 834 26900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3834 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s c =============================================================================== c | 1 | 800 835 27600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3833 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 1 | 800 836 28300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 1 | 800 837 29000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 1 | 800 838 29700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 1 | 800 839 30400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3826 c Elapsed CPU time: 0.189971 s Remaining CPU time: 179.81 s c =============================================================================== c | 1 | 800 840 31100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3823 c Elapsed CPU time: 0.19697 s Remaining CPU time: 179.803 s c =============================================================================== c | 1 | 800 841 31800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 0.204968 s Remaining CPU time: 179.795 s c =============================================================================== c | 1 | 800 842 32500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3821 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 1 | 800 843 33200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 1 | 800 844 33900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3819 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 1 | 800 845 34600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3817 c Elapsed CPU time: 0.235964 s Remaining CPU time: 179.764 s c =============================================================================== c | 1 | 800 846 35300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 1 | 800 847 36000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 1 | 800 848 36700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 1 | 800 849 37400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 1 | 800 850 38100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3811 c Elapsed CPU time: 0.279957 s Remaining CPU time: 179.72 s c =============================================================================== c | 1 | 800 851 38800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 1 | 800 852 39500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 1 | 800 853 40200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 0.307953 s Remaining CPU time: 179.692 s c =============================================================================== c | 1 | 800 854 40900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3804 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 1 | 800 855 41600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3803 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 1 | 800 856 42300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3802 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 1 | 800 857 43000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 1 | 800 858 43700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3800 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 1 | 800 859 44400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 0.371943 s Remaining CPU time: 179.628 s c =============================================================================== c | 1 | 800 860 45100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3794 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 1 | 800 861 45800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 1 | 800 862 46500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3792 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 1 | 800 863 47200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 0.417936 s Remaining CPU time: 179.582 s c =============================================================================== c | 1 | 800 864 47900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3787 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 1 | 800 865 48600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3786 c Elapsed CPU time: 0.444932 s Remaining CPU time: 179.555 s c =============================================================================== c | 1 | 800 866 49300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 0.45893 s Remaining CPU time: 179.541 s c =============================================================================== c | 1 | 800 867 50000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3781 c Elapsed CPU time: 0.471928 s Remaining CPU time: 179.528 s c =============================================================================== c | 1 | 800 868 50700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3780 c Elapsed CPU time: 0.486925 s Remaining CPU time: 179.513 s c =============================================================================== c | 1 | 800 869 51400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3779 c Elapsed CPU time: 0.499924 s Remaining CPU time: 179.5 s c =============================================================================== c | 1 | 800 870 52100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 0.515921 s Remaining CPU time: 179.484 s c =============================================================================== c | 1 | 800 871 52800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3776 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 1 | 800 872 53500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 1 | 800 873 54200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 0.560914 s Remaining CPU time: 179.439 s c =============================================================================== c | 1 | 800 874 54900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 1 | 800 875 55600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 1 | 800 876 56300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3771 c Elapsed CPU time: 0.605907 s Remaining CPU time: 179.394 s c =============================================================================== c | 1 | 800 877 57000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3770 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s c =============================================================================== c | 1 | 800 878 57700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 0.639902 s Remaining CPU time: 179.36 s c =============================================================================== c | 1 | 800 879 58400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 0.657899 s Remaining CPU time: 179.342 s c =============================================================================== c | 1 | 800 880 59100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 0.676897 s Remaining CPU time: 179.323 s c =============================================================================== c | 1 | 800 881 59800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3764 c Elapsed CPU time: 0.693894 s Remaining CPU time: 179.306 s c =============================================================================== c | 1 | 800 882 60500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 0.711891 s Remaining CPU time: 179.288 s c =============================================================================== c | 1 | 800 883 61200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3762 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 1 | 800 884 61900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 1 | 800 885 62600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 0.767883 s Remaining CPU time: 179.232 s c =============================================================================== c | 1 | 800 886 63300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3758 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s c =============================================================================== c | 1 | 800 887 64000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3757 c Elapsed CPU time: 0.806877 s Remaining CPU time: 179.193 s c =============================================================================== c | 1 | 800 888 64700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3756 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 1 | 800 889 65400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s c =============================================================================== c | 1 | 800 890 66100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3753 c Elapsed CPU time: 0.868867 s Remaining CPU time: 179.131 s c =============================================================================== c | 1 | 800 891 66800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3750 c Elapsed CPU time: 0.889864 s Remaining CPU time: 179.11 s c =============================================================================== c | 1 | 800 892 67500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3749 c Elapsed CPU time: 0.909861 s Remaining CPU time: 179.09 s c =============================================================================== c | 1 | 800 893 68200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 0.932858 s Remaining CPU time: 179.067 s c =============================================================================== c | 1 | 800 894 68900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3747 c Elapsed CPU time: 0.956854 s Remaining CPU time: 179.043 s c =============================================================================== c | 1 | 800 895 69600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 0.979851 s Remaining CPU time: 179.02 s c =============================================================================== c | 1 | 800 896 70300 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 1.00185 s Remaining CPU time: 178.998 s c =============================================================================== c | 1 | 800 897 71000 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 1.02684 s Remaining CPU time: 178.973 s c =============================================================================== c | 1 | 800 898 71700 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 1 | 800 899 72400 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 1.07384 s Remaining CPU time: 178.926 s c =============================================================================== c | 1 | 800 900 73100 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 1.09683 s Remaining CPU time: 178.903 s c =============================================================================== c | 1 | 800 901 73800 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 1.12183 s Remaining CPU time: 178.878 s c =============================================================================== c | 1 | 800 902 74500 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 1 | 800 903 75200 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 1.17182 s Remaining CPU time: 178.828 s c =============================================================================== c | 1 | 800 904 75900 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 1.19882 s Remaining CPU time: 178.801 s c =============================================================================== c | 1 | 800 905 76600 | 5000 1 5 | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 2 | 800 906 77300 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 2 | 800 907 78000 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 1.27981 s Remaining CPU time: 178.72 s c =============================================================================== c | 2 | 800 908 78700 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 1.3118 s Remaining CPU time: 178.688 s c =============================================================================== c | 2 | 800 909 79400 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 2 | 800 910 80100 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 1.37379 s Remaining CPU time: 178.626 s c =============================================================================== c | 2 | 800 911 80800 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3728 c Elapsed CPU time: 1.40479 s Remaining CPU time: 178.595 s c =============================================================================== c | 2 | 800 912 81500 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 1.43678 s Remaining CPU time: 178.563 s c =============================================================================== c | 2 | 800 913 82200 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 1.46878 s Remaining CPU time: 178.531 s c =============================================================================== c | 2 | 800 914 82900 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 1.50077 s Remaining CPU time: 178.499 s c =============================================================================== c | 2 | 800 915 83600 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 1.53577 s Remaining CPU time: 178.464 s c =============================================================================== c | 2 | 800 916 84300 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 1.56476 s Remaining CPU time: 178.435 s c =============================================================================== c | 2 | 800 917 85000 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3721 c Elapsed CPU time: 1.59676 s Remaining CPU time: 178.403 s c =============================================================================== c | 2 | 800 918 85700 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 1.63075 s Remaining CPU time: 178.369 s c =============================================================================== c | 2 | 800 919 86400 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s c =============================================================================== c | 2 | 800 920 87100 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 1.69274 s Remaining CPU time: 178.307 s c =============================================================================== c | 2 | 800 921 87800 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 1.72274 s Remaining CPU time: 178.277 s c =============================================================================== c | 2 | 800 922 88500 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 1.76073 s Remaining CPU time: 178.239 s c =============================================================================== c | 2 | 800 923 89200 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 2 | 800 924 89900 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 1.83072 s Remaining CPU time: 178.169 s c =============================================================================== c | 2 | 800 925 90600 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 1.87172 s Remaining CPU time: 178.128 s c =============================================================================== c | 2 | 800 926 91300 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 1.90671 s Remaining CPU time: 178.093 s c =============================================================================== c | 3 | 800 927 92000 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3711 c Elapsed CPU time: 1.9407 s Remaining CPU time: 178.059 s c =============================================================================== c | 3 | 800 928 92700 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 3 | 800 929 93400 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 2.01369 s Remaining CPU time: 177.986 s c =============================================================================== c | 3 | 800 930 94100 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 2.04869 s Remaining CPU time: 177.951 s c =============================================================================== c | 3 | 800 931 94800 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 2.08468 s Remaining CPU time: 177.915 s c =============================================================================== c | 3 | 800 932 95500 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s c =============================================================================== c | 4 | 800 933 96200 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 2.16467 s Remaining CPU time: 177.835 s c =============================================================================== c | 4 | 800 934 96900 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 2.20366 s Remaining CPU time: 177.796 s c =============================================================================== c | 4 | 800 935 97600 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 2.24166 s Remaining CPU time: 177.758 s c =============================================================================== c | 4 | 800 936 98300 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 2.28365 s Remaining CPU time: 177.716 s c =============================================================================== c | 4 | 800 937 99000 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 2.32365 s Remaining CPU time: 177.676 s c =============================================================================== c | 4 | 800 938 99700 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 2.36264 s Remaining CPU time: 177.637 s c =============================================================================== c | 4 | 800 939 100400 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 2.40363 s Remaining CPU time: 177.596 s c =============================================================================== c | 4 | 800 940 101100 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 2.44563 s Remaining CPU time: 177.554 s c =============================================================================== c | 4 | 800 941 101800 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 2.48762 s Remaining CPU time: 177.512 s c =============================================================================== c | 4 | 800 942 102500 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 2.53062 s Remaining CPU time: 177.469 s c =============================================================================== c | 4 | 800 943 103200 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 2.57261 s Remaining CPU time: 177.427 s c =============================================================================== c | 4 | 800 944 103900 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 2.6176 s Remaining CPU time: 177.382 s c =============================================================================== c | 4 | 800 945 104600 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 2.65959 s Remaining CPU time: 177.34 s c =============================================================================== c | 4 | 800 946 105300 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 2.70359 s Remaining CPU time: 177.296 s c =============================================================================== c | 4 | 800 947 106000 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 2.75258 s Remaining CPU time: 177.247 s c =============================================================================== c | 4 | 800 948 106700 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 2.79557 s Remaining CPU time: 177.204 s c =============================================================================== c | 4 | 800 949 107400 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 2.83757 s Remaining CPU time: 177.162 s c =============================================================================== c | 4 | 800 950 108100 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 2.88456 s Remaining CPU time: 177.115 s c =============================================================================== c | 4 | 800 951 108800 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 2.92955 s Remaining CPU time: 177.07 s c =============================================================================== c | 4 | 800 952 109500 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 2.97655 s Remaining CPU time: 177.023 s c =============================================================================== c | 4 | 800 953 110200 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 3.02154 s Remaining CPU time: 176.978 s c =============================================================================== c | 4 | 800 954 110900 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 3.06953 s Remaining CPU time: 176.93 s c =============================================================================== c | 4 | 800 955 111600 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 3.11852 s Remaining CPU time: 176.881 s c =============================================================================== c | 4 | 800 956 112300 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 3.16852 s Remaining CPU time: 176.831 s c =============================================================================== c | 4 | 800 957 113000 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 3.21651 s Remaining CPU time: 176.783 s c =============================================================================== c | 4 | 800 958 113700 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 3.2665 s Remaining CPU time: 176.733 s c =============================================================================== c | 4 | 800 959 114400 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3679 c Elapsed CPU time: 3.3145 s Remaining CPU time: 176.686 s c =============================================================================== c | 4 | 800 960 115100 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 3.36749 s Remaining CPU time: 176.633 s c =============================================================================== c | 4 | 800 961 115800 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 3.41948 s Remaining CPU time: 176.581 s c =============================================================================== c | 4 | 800 962 116500 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 3.47347 s Remaining CPU time: 176.527 s c =============================================================================== c | 4 | 800 963 117200 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 3.52546 s Remaining CPU time: 176.475 s c =============================================================================== c | 4 | 800 964 117900 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 3.58046 s Remaining CPU time: 176.42 s c =============================================================================== c | 4 | 800 965 118600 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 3.63145 s Remaining CPU time: 176.369 s c =============================================================================== c | 4 | 800 966 119300 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 3.68344 s Remaining CPU time: 176.317 s c =============================================================================== c | 4 | 800 967 120000 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 3.73543 s Remaining CPU time: 176.265 s c =============================================================================== c | 5 | 800 968 120700 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 3.78942 s Remaining CPU time: 176.211 s c =============================================================================== c | 5 | 800 969 121400 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 3.84042 s Remaining CPU time: 176.16 s c =============================================================================== c | 5 | 800 970 122100 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 3.89441 s Remaining CPU time: 176.106 s c =============================================================================== c | 6 | 800 971 122800 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 3.9514 s Remaining CPU time: 176.049 s c =============================================================================== c | 6 | 800 972 123500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 4.00639 s Remaining CPU time: 175.994 s c =============================================================================== c | 6 | 800 973 124200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3664 c Elapsed CPU time: 4.06338 s Remaining CPU time: 175.937 s c =============================================================================== c | 6 | 800 974 124900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 4.12237 s Remaining CPU time: 175.878 s c =============================================================================== c | 6 | 800 975 125600 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 4.17736 s Remaining CPU time: 175.823 s c =============================================================================== c | 6 | 800 976 126300 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 4.23536 s Remaining CPU time: 175.765 s c =============================================================================== c | 6 | 800 977 127000 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 4.28935 s Remaining CPU time: 175.711 s c =============================================================================== c | 6 | 800 978 127700 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 4.34934 s Remaining CPU time: 175.651 s c =============================================================================== c | 6 | 800 979 128400 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 4.40533 s Remaining CPU time: 175.595 s c =============================================================================== c | 6 | 800 980 129100 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 4.46432 s Remaining CPU time: 175.536 s c =============================================================================== c | 6 | 800 981 129800 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 4.52531 s Remaining CPU time: 175.475 s c =============================================================================== c | 6 | 800 982 130500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 4.5853 s Remaining CPU time: 175.415 s c =============================================================================== c | 6 | 800 983 131200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3654 c Elapsed CPU time: 4.64629 s Remaining CPU time: 175.354 s c =============================================================================== c | 6 | 800 984 131900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 4.70728 s Remaining CPU time: 175.293 s c =============================================================================== c | 6 | 800 985 132600 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 4.77027 s Remaining CPU time: 175.23 s c =============================================================================== c | 6 | 800 986 133300 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 4.82827 s Remaining CPU time: 175.172 s c =============================================================================== c | 6 | 800 987 134000 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 4.89026 s Remaining CPU time: 175.11 s c =============================================================================== c | 6 | 800 988 134700 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 4.95225 s Remaining CPU time: 175.048 s c =============================================================================== c | 6 | 800 989 135400 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 5.01724 s Remaining CPU time: 174.983 s c =============================================================================== c | 6 | 800 990 136100 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 5.08423 s Remaining CPU time: 174.916 s c =============================================================================== c | 6 | 800 991 136800 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 5.15122 s Remaining CPU time: 174.849 s c =============================================================================== c | 6 | 800 992 137500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 5.21321 s Remaining CPU time: 174.787 s c =============================================================================== c | 6 | 800 993 138200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 5.2802 s Remaining CPU time: 174.72 s c =============================================================================== c | 6 | 800 994 138900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 5.34919 s Remaining CPU time: 174.651 s c =============================================================================== c | 6 | 800 995 139600 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 5.42018 s Remaining CPU time: 174.58 s c =============================================================================== c | 6 | 800 996 140300 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 5.48517 s Remaining CPU time: 174.515 s c =============================================================================== c | 6 | 800 997 141000 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 5.55016 s Remaining CPU time: 174.45 s c =============================================================================== c | 6 | 800 998 141700 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 5.61715 s Remaining CPU time: 174.383 s c =============================================================================== c | 6 | 800 999 142400 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 5.68014 s Remaining CPU time: 174.32 s c =============================================================================== c | 6 | 800 1000 143100 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 5.74413 s Remaining CPU time: 174.256 s c =============================================================================== c | 6 | 800 1001 143800 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3635 c Elapsed CPU time: 5.81512 s Remaining CPU time: 174.185 s c =============================================================================== c | 6 | 800 1002 144500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3634 c Elapsed CPU time: 5.88711 s Remaining CPU time: 174.113 s c =============================================================================== c | 6 | 800 1003 145200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3633 c Elapsed CPU time: 5.95809 s Remaining CPU time: 174.042 s c =============================================================================== c | 6 | 800 1004 145900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3632 c Elapsed CPU time: 6.02608 s Remaining CPU time: 173.974 s c =============================================================================== c | 6 | 800 1005 146600 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3631 c Elapsed CPU time: 6.09507 s Remaining CPU time: 173.905 s c =============================================================================== c | 6 | 800 1006 147300 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3630 c Elapsed CPU time: 6.16306 s Remaining CPU time: 173.837 s c =============================================================================== c | 6 | 800 1007 148000 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3629 c Elapsed CPU time: 6.23305 s Remaining CPU time: 173.767 s c =============================================================================== c | 6 | 800 1008 148700 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3628 c Elapsed CPU time: 6.30304 s Remaining CPU time: 173.697 s c =============================================================================== c | 6 | 800 1009 149400 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3627 c Elapsed CPU time: 6.37103 s Remaining CPU time: 173.629 s c =============================================================================== c | 6 | 800 1010 150100 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3626 c Elapsed CPU time: 6.44302 s Remaining CPU time: 173.557 s c =============================================================================== c | 6 | 800 1011 150800 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3625 c Elapsed CPU time: 6.51101 s Remaining CPU time: 173.489 s c =============================================================================== c | 6 | 800 1012 151500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3624 c Elapsed CPU time: 6.585 s Remaining CPU time: 173.415 s c =============================================================================== c | 6 | 800 1013 152200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3623 c Elapsed CPU time: 6.65399 s Remaining CPU time: 173.346 s c =============================================================================== c | 6 | 800 1014 152900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3622 c Elapsed CPU time: 6.72198 s Remaining CPU time: 173.278 s c =============================================================================== c | 6 | 800 1015 153600 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3621 c Elapsed CPU time: 6.79397 s Remaining CPU time: 173.206 s c =============================================================================== c | 6 | 800 1016 154300 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3620 c Elapsed CPU time: 6.86396 s Remaining CPU time: 173.136 s c =============================================================================== c | 6 | 800 1017 155000 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3619 c Elapsed CPU time: 6.94294 s Remaining CPU time: 173.057 s c =============================================================================== c | 6 | 800 1018 155700 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3618 c Elapsed CPU time: 7.02593 s Remaining CPU time: 172.974 s c =============================================================================== c | 6 | 800 1019 156400 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3617 c Elapsed CPU time: 7.10092 s Remaining CPU time: 172.899 s c =============================================================================== c | 6 | 800 1020 157100 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3616 c Elapsed CPU time: 7.17691 s Remaining CPU time: 172.823 s c =============================================================================== c | 6 | 800 1021 157800 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3615 c Elapsed CPU time: 7.2509 s Remaining CPU time: 172.749 s c =============================================================================== c | 6 | 800 1022 158500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3614 c Elapsed CPU time: 7.33289 s Remaining CPU time: 172.667 s c =============================================================================== c | 6 | 800 1023 159200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3613 c Elapsed CPU time: 7.41287 s Remaining CPU time: 172.587 s c =============================================================================== c | 6 | 800 1024 159900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3612 c Elapsed CPU time: 7.48986 s Remaining CPU time: 172.51 s c =============================================================================== c | 6 | 800 1025 160600 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3611 c Elapsed CPU time: 7.56585 s Remaining CPU time: 172.434 s c =============================================================================== c | 6 | 800 1026 161300 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3610 c Elapsed CPU time: 7.63984 s Remaining CPU time: 172.36 s c =============================================================================== c | 6 | 800 1027 162000 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3609 c Elapsed CPU time: 7.71883 s Remaining CPU time: 172.281 s c =============================================================================== c | 6 | 800 1028 162700 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3608 c Elapsed CPU time: 7.80081 s Remaining CPU time: 172.199 s c =============================================================================== c | 6 | 800 1029 163400 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3607 c Elapsed CPU time: 7.8798 s Remaining CPU time: 172.12 s c =============================================================================== c | 6 | 800 1030 164100 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3606 c Elapsed CPU time: 7.96079 s Remaining CPU time: 172.039 s c =============================================================================== c | 6 | 800 1031 164800 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3605 c Elapsed CPU time: 8.04078 s Remaining CPU time: 171.959 s c =============================================================================== c | 6 | 800 1032 165500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3604 c Elapsed CPU time: 8.11976 s Remaining CPU time: 171.88 s c =============================================================================== c | 6 | 800 1033 166200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3603 c Elapsed CPU time: 8.20075 s Remaining CPU time: 171.799 s c =============================================================================== c | 6 | 800 1034 166900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3602 c Elapsed CPU time: 8.28174 s Remaining CPU time: 171.718 s c =============================================================================== c | 6 | 800 1035 167600 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3601 c Elapsed CPU time: 8.36473 s Remaining CPU time: 171.635 s c =============================================================================== c | 6 | 800 1036 168300 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3600 c Elapsed CPU time: 8.44871 s Remaining CPU time: 171.551 s c =============================================================================== c | 6 | 800 1037 169000 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3599 c Elapsed CPU time: 8.5317 s Remaining CPU time: 171.468 s c =============================================================================== c | 6 | 800 1038 169700 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3598 c Elapsed CPU time: 8.61869 s Remaining CPU time: 171.381 s c =============================================================================== c | 6 | 800 1039 170400 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3597 c Elapsed CPU time: 8.70168 s Remaining CPU time: 171.298 s c =============================================================================== c | 6 | 800 1040 171100 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3596 c Elapsed CPU time: 8.78566 s Remaining CPU time: 171.214 s c =============================================================================== c | 6 | 800 1041 171800 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3595 c Elapsed CPU time: 8.86865 s Remaining CPU time: 171.131 s c =============================================================================== c | 6 | 800 1042 172500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3594 c Elapsed CPU time: 8.95364 s Remaining CPU time: 171.046 s c =============================================================================== c | 6 | 800 1043 173200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3593 c Elapsed CPU time: 9.03763 s Remaining CPU time: 170.962 s c =============================================================================== c | 6 | 800 1044 173900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3592 c Elapsed CPU time: 9.12261 s Remaining CPU time: 170.877 s c =============================================================================== c | 6 | 800 1045 174600 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3591 c Elapsed CPU time: 9.2096 s Remaining CPU time: 170.79 s c =============================================================================== c | 6 | 800 1046 175300 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3590 c Elapsed CPU time: 9.30059 s Remaining CPU time: 170.699 s c =============================================================================== c | 6 | 800 1047 176000 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3589 c Elapsed CPU time: 9.39157 s Remaining CPU time: 170.608 s c =============================================================================== c | 6 | 800 1048 176700 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3588 c Elapsed CPU time: 9.48256 s Remaining CPU time: 170.517 s c =============================================================================== c | 6 | 800 1049 177400 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3587 c Elapsed CPU time: 9.57354 s Remaining CPU time: 170.426 s c =============================================================================== c | 6 | 800 1050 178100 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3586 c Elapsed CPU time: 9.66253 s Remaining CPU time: 170.337 s c =============================================================================== c | 6 | 800 1051 178800 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3585 c Elapsed CPU time: 9.75352 s Remaining CPU time: 170.246 s c =============================================================================== c | 6 | 800 1052 179500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3584 c Elapsed CPU time: 9.8385 s Remaining CPU time: 170.161 s c =============================================================================== c | 6 | 800 1053 180200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3583 c Elapsed CPU time: 9.93349 s Remaining CPU time: 170.067 s c =============================================================================== c | 6 | 800 1054 180900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3582 c Elapsed CPU time: 10.0265 s Remaining CPU time: 169.974 s c =============================================================================== c | 6 | 800 1055 181600 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3581 c Elapsed CPU time: 10.1165 s Remaining CPU time: 169.884 s c =============================================================================== c | 6 | 800 1056 182300 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3580 c Elapsed CPU time: 10.2034 s Remaining CPU time: 169.797 s c =============================================================================== c | 6 | 800 1057 183000 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3579 c Elapsed CPU time: 10.2944 s Remaining CPU time: 169.706 s c =============================================================================== c | 6 | 800 1058 183700 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3578 c Elapsed CPU time: 10.3854 s Remaining CPU time: 169.615 s c =============================================================================== c | 7 | 800 1059 184400 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3577 c Elapsed CPU time: 10.4754 s Remaining CPU time: 169.525 s c =============================================================================== c | 7 | 800 1060 185100 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3576 c Elapsed CPU time: 10.5724 s Remaining CPU time: 169.428 s c =============================================================================== c | 7 | 800 1061 185800 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3575 c Elapsed CPU time: 10.6624 s Remaining CPU time: 169.338 s c =============================================================================== c | 7 | 800 1062 186500 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3574 c Elapsed CPU time: 10.7494 s Remaining CPU time: 169.251 s c =============================================================================== c | 7 | 800 1063 187200 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3573 c Elapsed CPU time: 10.8414 s Remaining CPU time: 169.159 s c =============================================================================== c | 7 | 800 1064 187900 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3572 c Elapsed CPU time: 10.9333 s Remaining CPU time: 169.067 s c =============================================================================== c | 8 | 800 1065 188600 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3571 c Elapsed CPU time: 11.0313 s Remaining CPU time: 168.969 s c =============================================================================== c | 8 | 800 1066 189300 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3570 c Elapsed CPU time: 11.1263 s Remaining CPU time: 168.874 s c =============================================================================== c | 8 | 800 1067 190000 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3568 c Elapsed CPU time: 11.2253 s Remaining CPU time: 168.775 s c =============================================================================== c | 8 | 800 1068 190700 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3567 c Elapsed CPU time: 11.3253 s Remaining CPU time: 168.675 s c =============================================================================== c | 8 | 800 1069 191400 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3566 c Elapsed CPU time: 11.4263 s Remaining CPU time: 168.574 s c =============================================================================== c | 8 | 800 1070 192100 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3565 c Elapsed CPU time: 11.5302 s Remaining CPU time: 168.47 s c =============================================================================== c | 8 | 800 1071 192800 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3564 c Elapsed CPU time: 11.6262 s Remaining CPU time: 168.374 s c =============================================================================== c | 8 | 800 1072 193500 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3563 c Elapsed CPU time: 11.7312 s Remaining CPU time: 168.269 s c =============================================================================== c | 8 | 800 1073 194200 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3562 c Elapsed CPU time: 11.8302 s Remaining CPU time: 168.17 s c =============================================================================== c | 8 | 800 1074 194900 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3561 c Elapsed CPU time: 11.9342 s Remaining CPU time: 168.066 s c =============================================================================== c | 8 | 800 1075 195600 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3560 c Elapsed CPU time: 12.0392 s Remaining CPU time: 167.961 s c =============================================================================== c | 8 | 800 1076 196300 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3559 c Elapsed CPU time: 12.1412 s Remaining CPU time: 167.859 s c =============================================================================== c | 8 | 800 1077 197000 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3558 c Elapsed CPU time: 12.2431 s Remaining CPU time: 167.757 s c =============================================================================== c | 8 | 800 1078 197700 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3557 c Elapsed CPU time: 12.3501 s Remaining CPU time: 167.65 s c =============================================================================== c | 8 | 800 1079 198400 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3555 c Elapsed CPU time: 12.4521 s Remaining CPU time: 167.548 s c =============================================================================== c | 8 | 800 1080 199100 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3553 c Elapsed CPU time: 12.5521 s Remaining CPU time: 167.448 s c =============================================================================== c | 8 | 800 1081 199800 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3552 c Elapsed CPU time: 12.6571 s Remaining CPU time: 167.343 s c =============================================================================== c | 8 | 800 1082 200500 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3551 c Elapsed CPU time: 12.7631 s Remaining CPU time: 167.237 s c =============================================================================== c | 8 | 800 1083 201200 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3550 c Elapsed CPU time: 12.865 s Remaining CPU time: 167.135 s c =============================================================================== c | 8 | 800 1084 201900 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3548 c Elapsed CPU time: 12.972 s Remaining CPU time: 167.028 s c =============================================================================== c | 8 | 800 1085 202600 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3547 c Elapsed CPU time: 13.081 s Remaining CPU time: 166.919 s c =============================================================================== c | 8 | 800 1086 203300 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3546 c Elapsed CPU time: 13.185 s Remaining CPU time: 166.815 s c =============================================================================== c | 8 | 800 1087 204000 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3545 c Elapsed CPU time: 13.293 s Remaining CPU time: 166.707 s c =============================================================================== c | 8 | 800 1088 204700 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3544 c Elapsed CPU time: 13.398 s Remaining CPU time: 166.602 s c =============================================================================== c | 8 | 800 1089 205400 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3543 c Elapsed CPU time: 13.5039 s Remaining CPU time: 166.496 s c =============================================================================== c | 8 | 800 1090 206100 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3542 c Elapsed CPU time: 13.6149 s Remaining CPU time: 166.385 s c =============================================================================== c | 8 | 800 1091 206800 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3541 c Elapsed CPU time: 13.7219 s Remaining CPU time: 166.278 s c =============================================================================== c | 8 | 800 1092 207500 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3540 c Elapsed CPU time: 13.8309 s Remaining CPU time: 166.169 s c =============================================================================== c | 8 | 800 1093 208200 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3539 c Elapsed CPU time: 13.9419 s Remaining CPU time: 166.058 s c =============================================================================== c | 8 | 800 1094 208900 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3538 c Elapsed CPU time: 14.0539 s Remaining CPU time: 165.946 s c =============================================================================== c | 8 | 800 1095 209600 | 5000 8 169 | 0.000 % | c =============================================================================== c New solution: 3537 c Elapsed CPU time: 14.1648 s Remaining CPU time: 165.835 s c =============================================================================== c | 9 | 800 1096 210300 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3536 c Elapsed CPU time: 14.2698 s Remaining CPU time: 165.73 s c =============================================================================== c | 9 | 800 1097 211000 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3535 c Elapsed CPU time: 14.3838 s Remaining CPU time: 165.616 s c =============================================================================== c | 9 | 800 1098 211700 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3534 c Elapsed CPU time: 14.4958 s Remaining CPU time: 165.504 s c =============================================================================== c | 9 | 800 1099 212400 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3533 c Elapsed CPU time: 14.6118 s Remaining CPU time: 165.388 s c =============================================================================== c | 9 | 800 1100 213100 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3532 c Elapsed CPU time: 14.7258 s Remaining CPU time: 165.274 s c =============================================================================== c | 9 | 800 1101 213800 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3531 c Elapsed CPU time: 14.8407 s Remaining CPU time: 165.159 s c =============================================================================== c | 9 | 800 1102 214500 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3530 c Elapsed CPU time: 14.9517 s Remaining CPU time: 165.048 s c =============================================================================== c | 9 | 800 1103 215200 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3528 c Elapsed CPU time: 15.0627 s Remaining CPU time: 164.937 s c =============================================================================== c | 9 | 800 1104 215900 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3527 c Elapsed CPU time: 15.1727 s Remaining CPU time: 164.827 s c =============================================================================== c | 9 | 800 1105 216600 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3526 c Elapsed CPU time: 15.2857 s Remaining CPU time: 164.714 s c =============================================================================== c | 9 | 800 1106 217300 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3525 c Elapsed CPU time: 15.3957 s Remaining CPU time: 164.604 s c =============================================================================== c | 9 | 800 1107 218000 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3524 c Elapsed CPU time: 15.5146 s Remaining CPU time: 164.485 s c =============================================================================== c | 9 | 800 1108 218700 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3523 c Elapsed CPU time: 15.6306 s Remaining CPU time: 164.369 s c =============================================================================== c | 9 | 800 1109 219400 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3522 c Elapsed CPU time: 15.7446 s Remaining CPU time: 164.255 s c =============================================================================== c | 9 | 800 1110 220100 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3521 c Elapsed CPU time: 15.8576 s Remaining CPU time: 164.142 s c =============================================================================== c | 9 | 800 1111 220800 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3520 c Elapsed CPU time: 15.9766 s Remaining CPU time: 164.023 s c =============================================================================== c | 9 | 800 1112 221500 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3519 c Elapsed CPU time: 16.0966 s Remaining CPU time: 163.903 s c =============================================================================== c | 9 | 800 1113 222200 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3518 c Elapsed CPU time: 16.2155 s Remaining CPU time: 163.784 s c =============================================================================== c | 9 | 800 1114 222900 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3517 c Elapsed CPU time: 16.3405 s Remaining CPU time: 163.659 s c =============================================================================== c | 9 | 800 1115 223600 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3516 c Elapsed CPU time: 16.4645 s Remaining CPU time: 163.536 s c =============================================================================== c | 9 | 800 1116 224300 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3514 c Elapsed CPU time: 16.5895 s Remaining CPU time: 163.411 s c =============================================================================== c | 9 | 800 1117 225000 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3513 c Elapsed CPU time: 16.7125 s Remaining CPU time: 163.288 s c =============================================================================== c | 9 | 800 1118 225700 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3512 c Elapsed CPU time: 16.8344 s Remaining CPU time: 163.166 s c =============================================================================== c | 9 | 800 1119 226400 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3511 c Elapsed CPU time: 16.9534 s Remaining CPU time: 163.047 s c =============================================================================== c | 9 | 800 1120 227100 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3510 c Elapsed CPU time: 17.0754 s Remaining CPU time: 162.925 s c =============================================================================== c | 9 | 800 1121 227800 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3508 c Elapsed CPU time: 17.1984 s Remaining CPU time: 162.802 s c =============================================================================== c | 9 | 800 1122 228500 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3507 c Elapsed CPU time: 17.3244 s Remaining CPU time: 162.676 s c =============================================================================== c | 9 | 800 1123 229200 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3506 c Elapsed CPU time: 17.4503 s Remaining CPU time: 162.55 s c =============================================================================== c | 9 | 800 1124 229900 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3505 c Elapsed CPU time: 17.5703 s Remaining CPU time: 162.43 s c =============================================================================== c | 9 | 800 1125 230600 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3504 c Elapsed CPU time: 17.6903 s Remaining CPU time: 162.31 s c =============================================================================== c | 9 | 800 1126 231300 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3503 c Elapsed CPU time: 17.8153 s Remaining CPU time: 162.185 s c =============================================================================== c | 9 | 800 1127 232000 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3502 c Elapsed CPU time: 17.9343 s Remaining CPU time: 162.066 s c =============================================================================== c | 9 | 800 1128 232700 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3501 c Elapsed CPU time: 18.0543 s Remaining CPU time: 161.946 s c =============================================================================== c | 9 | 800 1129 233400 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3500 c Elapsed CPU time: 18.1822 s Remaining CPU time: 161.818 s c =============================================================================== c | 9 | 800 1130 234100 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3499 c Elapsed CPU time: 18.3082 s Remaining CPU time: 161.692 s c =============================================================================== c | 9 | 800 1131 234800 | 5000 9 151 | 0.000 % | c =============================================================================== c New solution: 3498 c Elapsed CPU time: 18.4292 s Remaining CPU time: 161.571 s c =============================================================================== c | 10 | 800 1132 235500 | 5000 10 136 | 0.000 % | c =============================================================================== c New solution: 3497 c Elapsed CPU time: 18.5552 s Remaining CPU time: 161.445 s c =============================================================================== c | 10 | 800 1133 236200 | 5000 10 136 | 0.000 % | c =============================================================================== c New solution: 3496 c Elapsed CPU time: 18.6812 s Remaining CPU time: 161.319 s c =============================================================================== c | 10 | 800 1134 236900 | 5000 10 136 | 0.000 % | c =============================================================================== c New solution: 3495 c Elapsed CPU time: 18.8071 s Remaining CPU time: 161.193 s c =============================================================================== c | 10 | 800 1135 237600 | 5000 10 136 | 0.000 % | c =============================================================================== c New solution: 3494 c Elapsed CPU time: 18.9311 s Remaining CPU time: 161.069 s c =============================================================================== c | 12 | 800 1136 238300 | 5000 12 115 | 0.000 % | c =============================================================================== c New solution: 3493 c Elapsed CPU time: 19.0641 s Remaining CPU time: 160.936 s c =============================================================================== c | 12 | 800 1137 239000 | 5000 12 115 | 0.000 % | c =============================================================================== c New solution: 3492 c Elapsed CPU time: 19.1901 s Remaining CPU time: 160.81 s c =============================================================================== c | 12 | 800 1138 239700 | 5000 12 115 | 0.000 % | c =============================================================================== c New solution: 3491 c Elapsed CPU time: 19.3221 s Remaining CPU time: 160.678 s c =============================================================================== c | 12 | 800 1139 240400 | 5000 12 115 | 0.000 % | c =============================================================================== c New solution: 3490 c Elapsed CPU time: 19.451 s Remaining CPU time: 160.549 s c =============================================================================== c | 12 | 800 1140 241100 | 5000 12 115 | 0.000 % | c =============================================================================== c New solution: 3489 c Elapsed CPU time: 19.582 s Remaining CPU time: 160.418 s c =============================================================================== c | 12 | 800 1141 241800 | 5000 12 115 | 0.000 % | c =============================================================================== c New solution: 3488 c Elapsed CPU time: 19.711 s Remaining CPU time: 160.289 s c =============================================================================== c | 12 | 800 1142 242500 | 5000 12 115 | 0.000 % | c =============================================================================== c New solution: 3487 c Elapsed CPU time: 19.837 s Remaining CPU time: 160.163 s c =============================================================================== c | 12 | 800 1143 243200 | 5000 12 115 | 0.000 % | c =============================================================================== c New solution: 3486 c Elapsed CPU time: 19.961 s Remaining CPU time: 160.039 s c =============================================================================== c | 13 | 800 1144 243900 | 5000 13 106 | 0.000 % | c =============================================================================== c New solution: 3485 c Elapsed CPU time: 20.0939 s Remaining CPU time: 159.906 s c =============================================================================== c | 13 | 800 1145 244600 | 5000 13 106 | 0.000 % | c =============================================================================== c New solution: 3484 c Elapsed CPU time: 20.2299 s Remaining CPU time: 159.77 s c =============================================================================== c | 13 | 800 1146 245300 | 5000 13 106 | 0.000 % | c =============================================================================== c New solution: 3483 c Elapsed CPU time: 20.3669 s Remaining CPU time: 159.633 s c =============================================================================== c | 13 | 800 1147 246000 | 5000 13 106 | 0.000 % | c =============================================================================== c New solution: 3482 c Elapsed CPU time: 20.4969 s Remaining CPU time: 159.503 s c =============================================================================== c | 13 | 800 1148 246700 | 5000 13 106 | 0.000 % | c =============================================================================== c New solution: 3481 c Elapsed CPU time: 20.6339 s Remaining CPU time: 159.366 s c =============================================================================== c | 13 | 800 1149 247400 | 5000 13 106 | 0.000 % | c =============================================================================== c New solution: 3480 c Elapsed CPU time: 20.7658 s Remaining CPU time: 159.234 s c =============================================================================== c | 14 | 800 1150 248100 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 3479 c Elapsed CPU time: 20.8958 s Remaining CPU time: 159.104 s c =============================================================================== c | 14 | 800 1151 248800 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 3478 c Elapsed CPU time: 21.0298 s Remaining CPU time: 158.97 s c =============================================================================== c | 14 | 800 1152 249500 | 5000 14 99 | 0.000 % | c =============================================================================== c New solution: 3477 c Elapsed CPU time: 21.1658 s Remaining CPU time: 158.834 s c =============================================================================== c | 15 | 800 1153 250200 | 5000 15 135 | 0.000 % | c =============================================================================== c New solution: 3476 c Elapsed CPU time: 21.2958 s Remaining CPU time: 158.704 s c =============================================================================== c | 15 | 800 1154 250900 | 5000 15 135 | 0.000 % | c =============================================================================== c New solution: 3475 c Elapsed CPU time: 21.4357 s Remaining CPU time: 158.564 s c =============================================================================== c | 15 | 800 1155 251600 | 5000 15 135 | 0.000 % | c =============================================================================== c New solution: 3474 c Elapsed CPU time: 21.5667 s Remaining CPU time: 158.433 s c =============================================================================== c | 15 | 800 1156 252300 | 5000 15 135 | 0.000 % | c =============================================================================== c New solution: 3473 c Elapsed CPU time: 21.7057 s Remaining CPU time: 158.294 s c =============================================================================== c | 15 | 800 1157 253000 | 5000 15 135 | 0.000 % | c =============================================================================== c New solution: 3472 c Elapsed CPU time: 21.8427 s Remaining CPU time: 158.157 s c =============================================================================== c | 16 | 800 1158 253700 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3471 c Elapsed CPU time: 21.9767 s Remaining CPU time: 158.023 s c =============================================================================== c | 16 | 800 1159 254400 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3470 c Elapsed CPU time: 22.1216 s Remaining CPU time: 157.878 s c =============================================================================== c | 16 | 800 1160 255100 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3469 c Elapsed CPU time: 22.2546 s Remaining CPU time: 157.745 s c =============================================================================== c | 16 | 800 1161 255800 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3468 c Elapsed CPU time: 22.3926 s Remaining CPU time: 157.607 s c =============================================================================== c | 16 | 800 1162 256500 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3467 c Elapsed CPU time: 22.5296 s Remaining CPU time: 157.47 s c =============================================================================== c | 16 | 800 1163 257200 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3466 c Elapsed CPU time: 22.6706 s Remaining CPU time: 157.329 s c =============================================================================== c | 16 | 800 1164 257900 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3465 c Elapsed CPU time: 22.8065 s Remaining CPU time: 157.193 s c =============================================================================== c | 16 | 800 1165 258600 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3464 c Elapsed CPU time: 22.9435 s Remaining CPU time: 157.056 s c =============================================================================== c | 16 | 800 1166 259300 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3463 c Elapsed CPU time: 23.0795 s Remaining CPU time: 156.921 s c =============================================================================== c | 16 | 800 1167 260000 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3462 c Elapsed CPU time: 23.2225 s Remaining CPU time: 156.778 s c =============================================================================== c | 16 | 800 1168 260700 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3461 c Elapsed CPU time: 23.3604 s Remaining CPU time: 156.64 s c =============================================================================== c | 16 | 800 1169 261400 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3460 c Elapsed CPU time: 23.5094 s Remaining CPU time: 156.491 s c =============================================================================== c | 16 | 800 1170 262100 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3459 c Elapsed CPU time: 23.6504 s Remaining CPU time: 156.35 s c =============================================================================== c | 16 | 800 1171 262800 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3458 c Elapsed CPU time: 23.7994 s Remaining CPU time: 156.201 s c =============================================================================== c | 16 | 800 1172 263500 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3457 c Elapsed CPU time: 23.9374 s Remaining CPU time: 156.063 s c =============================================================================== c | 16 | 800 1173 264200 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3456 c Elapsed CPU time: 24.0783 s Remaining CPU time: 155.922 s c =============================================================================== c | 16 | 800 1174 264900 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3455 c Elapsed CPU time: 24.2203 s Remaining CPU time: 155.78 s c =============================================================================== c | 16 | 800 1175 265600 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3454 c Elapsed CPU time: 24.3633 s Remaining CPU time: 155.637 s c =============================================================================== c | 16 | 800 1176 266300 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3453 c Elapsed CPU time: 24.5143 s Remaining CPU time: 155.486 s c =============================================================================== c | 16 | 800 1177 267000 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3452 c Elapsed CPU time: 24.6583 s Remaining CPU time: 155.342 s c =============================================================================== c | 16 | 800 1178 267700 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3451 c Elapsed CPU time: 24.8012 s Remaining CPU time: 155.199 s c =============================================================================== c | 16 | 800 1179 268400 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3450 c Elapsed CPU time: 24.9442 s Remaining CPU time: 155.056 s c =============================================================================== c | 16 | 800 1180 269100 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3449 c Elapsed CPU time: 25.0892 s Remaining CPU time: 154.911 s c =============================================================================== c | 16 | 800 1181 269800 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3448 c Elapsed CPU time: 25.2402 s Remaining CPU time: 154.76 s c =============================================================================== c | 16 | 800 1182 270500 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3447 c Elapsed CPU time: 25.3801 s Remaining CPU time: 154.62 s c =============================================================================== c | 16 | 800 1183 271200 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3446 c Elapsed CPU time: 25.5321 s Remaining CPU time: 154.468 s c =============================================================================== c | 16 | 800 1184 271900 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3445 c Elapsed CPU time: 25.6791 s Remaining CPU time: 154.321 s c =============================================================================== c | 16 | 800 1185 272600 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3444 c Elapsed CPU time: 25.8291 s Remaining CPU time: 154.171 s c =============================================================================== c | 16 | 800 1186 273300 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3443 c Elapsed CPU time: 25.977 s Remaining CPU time: 154.023 s c =============================================================================== c | 16 | 800 1187 274000 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3442 c Elapsed CPU time: 26.132 s Remaining CPU time: 153.868 s c =============================================================================== c | 16 | 800 1188 274700 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3441 c Elapsed CPU time: 26.284 s Remaining CPU time: 153.716 s c =============================================================================== c | 16 | 800 1189 275400 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3440 c Elapsed CPU time: 26.443 s Remaining CPU time: 153.557 s c =============================================================================== c | 16 | 800 1190 276100 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3439 c Elapsed CPU time: 26.596 s Remaining CPU time: 153.404 s c =============================================================================== c | 16 | 800 1191 276800 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3438 c Elapsed CPU time: 26.7419 s Remaining CPU time: 153.258 s c =============================================================================== c | 16 | 800 1192 277500 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3437 c Elapsed CPU time: 26.8819 s Remaining CPU time: 153.118 s c =============================================================================== c | 16 | 800 1193 278200 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3436 c Elapsed CPU time: 27.0349 s Remaining CPU time: 152.965 s c =============================================================================== c | 16 | 800 1194 278900 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3435 c Elapsed CPU time: 27.1869 s Remaining CPU time: 152.813 s c =============================================================================== c | 16 | 800 1195 279600 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3434 c Elapsed CPU time: 27.3328 s Remaining CPU time: 152.667 s c =============================================================================== c | 16 | 800 1196 280300 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3433 c Elapsed CPU time: 27.4858 s Remaining CPU time: 152.514 s c =============================================================================== c | 16 | 800 1197 281000 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3432 c Elapsed CPU time: 27.6448 s Remaining CPU time: 152.355 s c =============================================================================== c | 16 | 800 1198 281700 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3431 c Elapsed CPU time: 27.7968 s Remaining CPU time: 152.203 s c =============================================================================== c | 16 | 800 1199 282400 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3430 c Elapsed CPU time: 27.9408 s Remaining CPU time: 152.059 s c =============================================================================== c | 16 | 800 1200 283100 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3429 c Elapsed CPU time: 28.0897 s Remaining CPU time: 151.91 s c =============================================================================== c | 16 | 800 1201 283800 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3428 c Elapsed CPU time: 28.2427 s Remaining CPU time: 151.757 s c =============================================================================== c | 16 | 800 1202 284500 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3427 c Elapsed CPU time: 28.4027 s Remaining CPU time: 151.597 s c =============================================================================== c | 16 | 800 1203 285200 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3426 c Elapsed CPU time: 28.5677 s Remaining CPU time: 151.432 s c =============================================================================== c | 16 | 800 1204 285900 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3425 c Elapsed CPU time: 28.7216 s Remaining CPU time: 151.278 s c =============================================================================== c | 16 | 800 1205 286600 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3424 c Elapsed CPU time: 28.8796 s Remaining CPU time: 151.12 s c =============================================================================== c | 16 | 800 1206 287300 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3423 c Elapsed CPU time: 29.0386 s Remaining CPU time: 150.961 s c =============================================================================== c | 16 | 800 1207 288000 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3422 c Elapsed CPU time: 29.2046 s Remaining CPU time: 150.795 s c =============================================================================== c | 16 | 800 1208 288700 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3421 c Elapsed CPU time: 29.3625 s Remaining CPU time: 150.637 s c =============================================================================== c | 16 | 800 1209 289400 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3420 c Elapsed CPU time: 29.5245 s Remaining CPU time: 150.475 s c =============================================================================== c | 16 | 800 1210 290100 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3419 c Elapsed CPU time: 29.6865 s Remaining CPU time: 150.314 s c =============================================================================== c | 16 | 800 1211 290800 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3418 c Elapsed CPU time: 29.8515 s Remaining CPU time: 150.149 s c =============================================================================== c | 16 | 800 1212 291500 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3417 c Elapsed CPU time: 30.0134 s Remaining CPU time: 149.987 s c =============================================================================== c | 16 | 800 1213 292200 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3416 c Elapsed CPU time: 30.1784 s Remaining CPU time: 149.822 s c =============================================================================== c | 16 | 800 1214 292900 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3415 c Elapsed CPU time: 30.3334 s Remaining CPU time: 149.667 s c =============================================================================== c | 16 | 800 1215 293600 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3414 c Elapsed CPU time: 30.4994 s Remaining CPU time: 149.501 s c =============================================================================== c | 16 | 800 1216 294300 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3413 c Elapsed CPU time: 30.6643 s Remaining CPU time: 149.336 s c =============================================================================== c | 16 | 800 1217 295000 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3412 c Elapsed CPU time: 30.8213 s Remaining CPU time: 149.179 s c =============================================================================== c | 16 | 800 1218 295700 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3411 c Elapsed CPU time: 30.9743 s Remaining CPU time: 149.026 s c =============================================================================== c | 16 | 800 1219 296400 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3410 c Elapsed CPU time: 31.1403 s Remaining CPU time: 148.86 s c =============================================================================== c | 16 | 800 1220 297100 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3409 c Elapsed CPU time: 31.2962 s Remaining CPU time: 148.704 s c =============================================================================== c | 16 | 800 1221 297800 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3408 c Elapsed CPU time: 31.4522 s Remaining CPU time: 148.548 s c =============================================================================== c | 16 | 800 1222 298500 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3407 c Elapsed CPU time: 31.6222 s Remaining CPU time: 148.378 s c =============================================================================== c | 16 | 800 1223 299200 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3406 c Elapsed CPU time: 31.7872 s Remaining CPU time: 148.213 s c =============================================================================== c | 16 | 800 1224 299900 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3405 c Elapsed CPU time: 31.9541 s Remaining CPU time: 148.046 s c =============================================================================== c | 16 | 800 1225 300600 | 5000 16 127 | 0.000 % | c =============================================================================== c New solution: 3404 c Elapsed CPU time: 32.1161 s Remaining CPU time: 147.884 s c =============================================================================== c | 17 | 800 1226 301300 | 5000 17 120 | 0.000 % | c =============================================================================== c New solution: 3403 c Elapsed CPU time: 32.2811 s Remaining CPU time: 147.719 s c =============================================================================== c | 17 | 800 1227 302000 | 5000 17 120 | 0.000 % | c =============================================================================== c New solution: 3402 c Elapsed CPU time: 32.4501 s Remaining CPU time: 147.55 s c =============================================================================== c | 17 | 800 1228 302700 | 5000 17 120 | 0.000 % | c =============================================================================== c New solution: 3401 c Elapsed CPU time: 32.615 s Remaining CPU time: 147.385 s c =============================================================================== c | 17 | 800 1229 303400 | 5000 17 120 | 0.000 % | c =============================================================================== c New solution: 3400 c Elapsed CPU time: 32.776 s Remaining CPU time: 147.224 s c =============================================================================== c | 17 | 800 1230 304100 | 5000 17 120 | 0.000 % | c =============================================================================== c New solution: 3399 c Elapsed CPU time: 32.945 s Remaining CPU time: 147.055 s c =============================================================================== c | 17 | 800 1231 304800 | 5000 17 120 | 0.000 % | c =============================================================================== c New solution: 3398 c Elapsed CPU time: 33.115 s Remaining CPU time: 146.885 s c =============================================================================== c | 17 | 800 1232 305500 | 5000 17 120 | 0.000 % | c =============================================================================== c New solution: 3397 c Elapsed CPU time: 33.2829 s Remaining CPU time: 146.717 s c =============================================================================== c | 18 | 800 1233 306200 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3396 c Elapsed CPU time: 33.4429 s Remaining CPU time: 146.557 s c =============================================================================== c | 18 | 800 1234 306900 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3395 c Elapsed CPU time: 33.6079 s Remaining CPU time: 146.392 s c =============================================================================== c | 18 | 800 1235 307600 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3394 c Elapsed CPU time: 33.7819 s Remaining CPU time: 146.218 s c =============================================================================== c | 18 | 800 1236 308300 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3393 c Elapsed CPU time: 33.9458 s Remaining CPU time: 146.054 s c =============================================================================== c | 18 | 800 1237 309000 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3392 c Elapsed CPU time: 34.1038 s Remaining CPU time: 145.896 s c =============================================================================== c | 18 | 800 1238 309700 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3391 c Elapsed CPU time: 34.2698 s Remaining CPU time: 145.73 s c =============================================================================== c | 18 | 800 1239 310400 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3390 c Elapsed CPU time: 34.4428 s Remaining CPU time: 145.557 s c =============================================================================== c | 18 | 800 1240 311100 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3389 c Elapsed CPU time: 34.6067 s Remaining CPU time: 145.393 s c =============================================================================== c | 18 | 800 1241 311800 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3388 c Elapsed CPU time: 34.7727 s Remaining CPU time: 145.227 s c =============================================================================== c | 18 | 800 1242 312500 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3387 c Elapsed CPU time: 34.9447 s Remaining CPU time: 145.055 s c =============================================================================== c | 18 | 800 1243 313200 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3386 c Elapsed CPU time: 35.1087 s Remaining CPU time: 144.891 s c =============================================================================== c | 18 | 800 1244 313900 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3385 c Elapsed CPU time: 35.2756 s Remaining CPU time: 144.724 s c =============================================================================== c | 18 | 800 1245 314600 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3384 c Elapsed CPU time: 35.4526 s Remaining CPU time: 144.547 s c =============================================================================== c | 18 | 800 1246 315300 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3383 c Elapsed CPU time: 35.6186 s Remaining CPU time: 144.381 s c =============================================================================== c | 18 | 800 1247 316000 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3382 c Elapsed CPU time: 35.7866 s Remaining CPU time: 144.213 s c =============================================================================== c | 18 | 800 1248 316700 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3381 c Elapsed CPU time: 35.9605 s Remaining CPU time: 144.039 s c =============================================================================== c | 18 | 800 1249 317400 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3380 c Elapsed CPU time: 36.1305 s Remaining CPU time: 143.869 s c =============================================================================== c | 18 | 800 1250 318100 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3379 c Elapsed CPU time: 36.2965 s Remaining CPU time: 143.704 s c =============================================================================== c | 18 | 800 1251 318800 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3378 c Elapsed CPU time: 36.4685 s Remaining CPU time: 143.532 s c =============================================================================== c | 18 | 800 1252 319500 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3377 c Elapsed CPU time: 36.6384 s Remaining CPU time: 143.362 s c =============================================================================== c | 18 | 800 1253 320200 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3376 c Elapsed CPU time: 36.8044 s Remaining CPU time: 143.196 s c =============================================================================== c | 18 | 800 1254 320900 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3375 c Elapsed CPU time: 36.9694 s Remaining CPU time: 143.031 s c =============================================================================== c | 18 | 800 1255 321600 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3374 c Elapsed CPU time: 37.1454 s Remaining CPU time: 142.855 s c =============================================================================== c | 18 | 800 1256 322300 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3373 c Elapsed CPU time: 37.3343 s Remaining CPU time: 142.666 s c =============================================================================== c | 18 | 800 1257 323000 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3372 c Elapsed CPU time: 37.5103 s Remaining CPU time: 142.49 s c =============================================================================== c | 19 | 800 1258 323700 | 5000 19 107 | 0.000 % | c =============================================================================== c New solution: 3371 c Elapsed CPU time: 37.6883 s Remaining CPU time: 142.312 s c =============================================================================== c | 19 | 800 1259 324400 | 5000 19 107 | 0.000 % | c =============================================================================== c New solution: 3370 c Elapsed CPU time: 37.8712 s Remaining CPU time: 142.129 s c =============================================================================== c | 19 | 800 1260 325100 | 5000 19 107 | 0.000 % | c =============================================================================== c New solution: 3369 c Elapsed CPU time: 38.0442 s Remaining CPU time: 141.956 s c =============================================================================== c | 19 | 800 1261 325800 | 5000 19 107 | 0.000 % | c =============================================================================== c New solution: 3368 c Elapsed CPU time: 38.2282 s Remaining CPU time: 141.772 s c =============================================================================== c | 20 | 800 1262 326500 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3367 c Elapsed CPU time: 38.4112 s Remaining CPU time: 141.589 s c =============================================================================== c | 20 | 800 1263 327200 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3366 c Elapsed CPU time: 38.5991 s Remaining CPU time: 141.401 s c =============================================================================== c | 20 | 800 1264 327900 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3365 c Elapsed CPU time: 38.7801 s Remaining CPU time: 141.22 s c =============================================================================== c | 20 | 800 1265 328600 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3364 c Elapsed CPU time: 38.9731 s Remaining CPU time: 141.027 s c =============================================================================== c | 20 | 800 1266 329300 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3363 c Elapsed CPU time: 39.158 s Remaining CPU time: 140.842 s c =============================================================================== c | 20 | 800 1267 330000 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3362 c Elapsed CPU time: 39.334 s Remaining CPU time: 140.666 s c =============================================================================== c | 20 | 800 1268 330700 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3361 c Elapsed CPU time: 39.525 s Remaining CPU time: 140.475 s c =============================================================================== c | 20 | 800 1269 331400 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3360 c Elapsed CPU time: 39.723 s Remaining CPU time: 140.277 s c =============================================================================== c | 20 | 800 1270 332100 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3359 c Elapsed CPU time: 39.9019 s Remaining CPU time: 140.098 s c =============================================================================== c | 20 | 800 1271 332800 | 5000 20 133 | 0.000 % | c =============================================================================== c New solution: 3358 c Elapsed CPU time: 40.0859 s Remaining CPU time: 139.914 s c =============================================================================== c | 21 | 800 1272 333500 | 5000 21 127 | 0.000 % | c =============================================================================== c New solution: 3357 c Elapsed CPU time: 40.2609 s Remaining CPU time: 139.739 s c =============================================================================== c | 21 | 800 1273 334200 | 5000 21 127 | 0.000 % | c =============================================================================== c New solution: 3356 c Elapsed CPU time: 40.4429 s Remaining CPU time: 139.557 s c =============================================================================== c | 22 | 800 1274 334900 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3355 c Elapsed CPU time: 40.6268 s Remaining CPU time: 139.373 s c =============================================================================== c | 22 | 800 1275 335600 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3354 c Elapsed CPU time: 40.8168 s Remaining CPU time: 139.183 s c =============================================================================== c | 22 | 800 1276 336300 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3353 c Elapsed CPU time: 41.0068 s Remaining CPU time: 138.993 s c =============================================================================== c | 22 | 800 1277 337000 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3352 c Elapsed CPU time: 41.2007 s Remaining CPU time: 138.799 s c =============================================================================== c | 22 | 800 1278 337700 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3351 c Elapsed CPU time: 41.3847 s Remaining CPU time: 138.615 s c =============================================================================== c | 22 | 800 1279 338400 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 41.5727 s Remaining CPU time: 138.427 s c =============================================================================== c | 22 | 800 1280 339100 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 41.7627 s Remaining CPU time: 138.237 s c =============================================================================== c | 22 | 800 1281 339800 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 41.9526 s Remaining CPU time: 138.047 s c =============================================================================== c | 22 | 800 1282 340500 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 42.1456 s Remaining CPU time: 137.854 s c =============================================================================== c | 22 | 800 1283 341200 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 42.3346 s Remaining CPU time: 137.665 s c =============================================================================== c | 22 | 800 1284 341900 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 42.5235 s Remaining CPU time: 137.476 s c =============================================================================== c | 22 | 800 1285 342600 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 42.7165 s Remaining CPU time: 137.283 s c =============================================================================== c | 22 | 800 1286 343300 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 42.9025 s Remaining CPU time: 137.098 s c =============================================================================== c | 22 | 800 1287 344000 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 43.0834 s Remaining CPU time: 136.917 s c =============================================================================== c | 22 | 800 1288 344700 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 43.2684 s Remaining CPU time: 136.732 s c =============================================================================== c | 22 | 800 1289 345400 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 43.4544 s Remaining CPU time: 136.546 s c =============================================================================== c | 22 | 800 1290 346100 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 43.6504 s Remaining CPU time: 136.35 s c =============================================================================== c | 22 | 800 1291 346800 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 43.8413 s Remaining CPU time: 136.159 s c =============================================================================== c | 22 | 800 1292 347500 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 44.0253 s Remaining CPU time: 135.975 s c =============================================================================== c | 22 | 800 1293 348200 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 44.2093 s Remaining CPU time: 135.791 s c =============================================================================== c | 22 | 800 1294 348900 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 44.4002 s Remaining CPU time: 135.6 s c =============================================================================== c | 22 | 800 1295 349600 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 44.6042 s Remaining CPU time: 135.396 s c =============================================================================== c | 22 | 800 1296 350300 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 44.7992 s Remaining CPU time: 135.201 s c =============================================================================== c | 22 | 800 1297 351000 | 5000 22 122 | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 44.9902 s Remaining CPU time: 135.01 s c =============================================================================== c | 23 | 800 1298 351700 | 5000 23 117 | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 45.1831 s Remaining CPU time: 134.817 s c =============================================================================== c | 23 | 800 1299 352400 | 5000 23 117 | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 45.3821 s Remaining CPU time: 134.618 s c =============================================================================== c | 23 | 800 1300 353100 | 5000 23 117 | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 45.5771 s Remaining CPU time: 134.423 s c =============================================================================== c | 23 | 800 1301 353800 | 5000 23 117 | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 45.772 s Remaining CPU time: 134.228 s c =============================================================================== c | 24 | 800 1302 354500 | 5000 24 112 | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 45.963 s Remaining CPU time: 134.037 s c =============================================================================== c | 24 | 800 1303 355200 | 5000 24 112 | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 46.152 s Remaining CPU time: 133.848 s c =============================================================================== c | 24 | 800 1304 355900 | 5000 24 112 | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 46.354 s Remaining CPU time: 133.646 s c =============================================================================== c | 24 | 800 1305 356600 | 5000 24 112 | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 46.5489 s Remaining CPU time: 133.451 s c =============================================================================== c | 24 | 800 1306 357300 | 5000 24 112 | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 46.7449 s Remaining CPU time: 133.255 s c =============================================================================== c | 25 | 800 1307 358000 | 5000 25 108 | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 46.9389 s Remaining CPU time: 133.061 s c =============================================================================== c | 25 | 800 1308 358700 | 5000 25 108 | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 47.1338 s Remaining CPU time: 132.866 s c =============================================================================== c | 25 | 800 1309 359400 | 5000 25 108 | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 47.3348 s Remaining CPU time: 132.665 s c =============================================================================== c | 25 | 800 1310 360100 | 5000 25 108 | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 47.5288 s Remaining CPU time: 132.471 s c =============================================================================== c | 25 | 800 1311 360800 | 5000 25 108 | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 47.7147 s Remaining CPU time: 132.285 s c =============================================================================== c | 25 | 800 1312 361500 | 5000 25 108 | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 47.9047 s Remaining CPU time: 132.095 s c =============================================================================== c | 26 | 800 1313 362200 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 48.1047 s Remaining CPU time: 131.895 s c =============================================================================== c | 26 | 800 1314 362900 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 48.3097 s Remaining CPU time: 131.69 s c =============================================================================== c | 26 | 800 1315 363600 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 48.5106 s Remaining CPU time: 131.489 s c =============================================================================== c | 26 | 800 1316 364300 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 48.7106 s Remaining CPU time: 131.289 s c =============================================================================== c | 26 | 800 1317 365000 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 48.9236 s Remaining CPU time: 131.076 s c =============================================================================== c | 26 | 800 1318 365700 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 49.1355 s Remaining CPU time: 130.864 s c =============================================================================== c | 26 | 800 1319 366400 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 49.3395 s Remaining CPU time: 130.661 s c =============================================================================== c | 26 | 800 1320 367100 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 49.5465 s Remaining CPU time: 130.454 s c =============================================================================== c | 26 | 800 1321 367800 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 49.7514 s Remaining CPU time: 130.249 s c =============================================================================== c | 26 | 800 1322 368500 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 49.9424 s Remaining CPU time: 130.058 s c =============================================================================== c | 26 | 800 1323 369200 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 50.1364 s Remaining CPU time: 129.864 s c =============================================================================== c | 26 | 800 1324 369900 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 50.3433 s Remaining CPU time: 129.657 s c =============================================================================== c | 26 | 800 1325 370600 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 50.5433 s Remaining CPU time: 129.457 s c =============================================================================== c | 26 | 800 1326 371300 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 50.7433 s Remaining CPU time: 129.257 s c =============================================================================== c | 26 | 800 1327 372000 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 50.9583 s Remaining CPU time: 129.042 s c =============================================================================== c | 26 | 800 1328 372700 | 5000 26 104 | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 51.1752 s Remaining CPU time: 128.825 s c =============================================================================== c | 27 | 800 1329 373400 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 51.3762 s Remaining CPU time: 128.624 s c =============================================================================== c | 27 | 800 1330 374100 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 51.5822 s Remaining CPU time: 128.418 s c =============================================================================== c | 27 | 800 1331 374800 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 51.7951 s Remaining CPU time: 128.205 s c =============================================================================== c | 27 | 800 1332 375500 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 52.0081 s Remaining CPU time: 127.992 s c =============================================================================== c | 27 | 800 1333 376200 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 52.2081 s Remaining CPU time: 127.792 s c =============================================================================== c | 27 | 800 1334 376900 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 52.423 s Remaining CPU time: 127.577 s c =============================================================================== c | 27 | 800 1335 377600 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 52.631 s Remaining CPU time: 127.369 s c =============================================================================== c | 27 | 800 1336 378300 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 52.842 s Remaining CPU time: 127.158 s c =============================================================================== c | 27 | 800 1337 379000 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 53.0509 s Remaining CPU time: 126.949 s c =============================================================================== c | 27 | 800 1338 379700 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 53.2639 s Remaining CPU time: 126.736 s c =============================================================================== c | 27 | 800 1339 380400 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 53.4619 s Remaining CPU time: 126.538 s c =============================================================================== c | 27 | 800 1340 381100 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 53.6668 s Remaining CPU time: 126.333 s c =============================================================================== c | 27 | 800 1341 381800 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 53.8838 s Remaining CPU time: 126.116 s c =============================================================================== c | 27 | 800 1342 382500 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 54.0948 s Remaining CPU time: 125.905 s c =============================================================================== c | 27 | 800 1343 383200 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 54.3127 s Remaining CPU time: 125.687 s c =============================================================================== c | 27 | 800 1344 383900 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 54.5237 s Remaining CPU time: 125.476 s c =============================================================================== c | 27 | 800 1345 384600 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 54.7337 s Remaining CPU time: 125.266 s c =============================================================================== c | 27 | 800 1346 385300 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 54.9546 s Remaining CPU time: 125.045 s c =============================================================================== c | 27 | 800 1347 386000 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 55.1676 s Remaining CPU time: 124.832 s c =============================================================================== c | 27 | 800 1348 386700 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 55.3876 s Remaining CPU time: 124.612 s c =============================================================================== c | 27 | 800 1349 387400 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 55.5995 s Remaining CPU time: 124.4 s c =============================================================================== c | 27 | 800 1350 388100 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 55.8095 s Remaining CPU time: 124.19 s c =============================================================================== c | 27 | 800 1351 388800 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 56.0105 s Remaining CPU time: 123.99 s c =============================================================================== c | 27 | 800 1352 389500 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 56.2235 s Remaining CPU time: 123.777 s c =============================================================================== c | 27 | 800 1353 390200 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 56.4414 s Remaining CPU time: 123.559 s c =============================================================================== c | 27 | 800 1354 390900 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 56.6554 s Remaining CPU time: 123.345 s c =============================================================================== c | 27 | 800 1355 391600 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 56.8654 s Remaining CPU time: 123.135 s c =============================================================================== c | 27 | 800 1356 392300 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 57.0903 s Remaining CPU time: 122.91 s c =============================================================================== c | 27 | 800 1357 393000 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 57.3003 s Remaining CPU time: 122.7 s c =============================================================================== c | 27 | 800 1358 393700 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 57.5123 s Remaining CPU time: 122.488 s c =============================================================================== c | 27 | 800 1359 394400 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 57.7282 s Remaining CPU time: 122.272 s c =============================================================================== c | 27 | 800 1360 395100 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 57.9472 s Remaining CPU time: 122.053 s c =============================================================================== c | 27 | 800 1361 395800 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 58.1642 s Remaining CPU time: 121.836 s c =============================================================================== c | 27 | 800 1362 396500 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 58.3831 s Remaining CPU time: 121.617 s c =============================================================================== c | 27 | 800 1363 397200 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 58.5971 s Remaining CPU time: 121.403 s c =============================================================================== c | 27 | 800 1364 397900 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 58.8261 s Remaining CPU time: 121.174 s c =============================================================================== c | 27 | 800 1365 398600 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 59.039 s Remaining CPU time: 120.961 s c =============================================================================== c | 27 | 800 1366 399300 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 59.259 s Remaining CPU time: 120.741 s c =============================================================================== c | 27 | 800 1367 400000 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 59.475 s Remaining CPU time: 120.525 s c =============================================================================== c | 27 | 800 1368 400700 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 59.7029 s Remaining CPU time: 120.297 s c =============================================================================== c | 27 | 800 1369 401400 | 5000 27 122 | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 59.9199 s Remaining CPU time: 120.08 s c =============================================================================== c | 28 | 800 1370 402100 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 60.1329 s Remaining CPU time: 119.867 s c =============================================================================== c | 28 | 800 1371 402800 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 60.3548 s Remaining CPU time: 119.645 s c =============================================================================== c | 28 | 800 1372 403500 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 60.5838 s Remaining CPU time: 119.416 s c =============================================================================== c | 28 | 800 1373 404200 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 60.8098 s Remaining CPU time: 119.19 s c =============================================================================== c | 28 | 800 1374 404900 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 61.0287 s Remaining CPU time: 118.971 s c =============================================================================== c | 28 | 800 1375 405600 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 61.2517 s Remaining CPU time: 118.748 s c =============================================================================== c | 28 | 800 1376 406300 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 61.4717 s Remaining CPU time: 118.528 s c =============================================================================== c | 28 | 800 1377 407000 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 61.7046 s Remaining CPU time: 118.295 s c =============================================================================== c | 28 | 800 1378 407700 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 61.9216 s Remaining CPU time: 118.078 s c =============================================================================== c | 28 | 800 1379 408400 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 62.1625 s Remaining CPU time: 117.837 s c =============================================================================== c | 28 | 800 1380 409100 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 62.3795 s Remaining CPU time: 117.62 s c =============================================================================== c | 28 | 800 1381 409800 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 62.5985 s Remaining CPU time: 117.402 s c =============================================================================== c | 28 | 800 1382 410500 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 62.8184 s Remaining CPU time: 117.182 s c =============================================================================== c | 28 | 800 1383 411200 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 63.0384 s Remaining CPU time: 116.962 s c =============================================================================== c | 28 | 800 1384 411900 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 63.2564 s Remaining CPU time: 116.744 s c =============================================================================== c | 28 | 800 1385 412600 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 63.4783 s Remaining CPU time: 116.522 s c =============================================================================== c | 28 | 800 1386 413300 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 63.6983 s Remaining CPU time: 116.302 s c =============================================================================== c | 28 | 800 1387 414000 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 63.9163 s Remaining CPU time: 116.084 s c =============================================================================== c | 28 | 800 1388 414700 | 5000 28 118 | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 64.1402 s Remaining CPU time: 115.86 s c =============================================================================== c | 29 | 800 1389 415400 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 64.3602 s Remaining CPU time: 115.64 s c =============================================================================== c | 29 | 800 1390 416100 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 64.5752 s Remaining CPU time: 115.425 s c =============================================================================== c | 29 | 800 1391 416800 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 64.7941 s Remaining CPU time: 115.206 s c =============================================================================== c | 29 | 800 1392 417500 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 65.0251 s Remaining CPU time: 114.975 s c =============================================================================== c | 29 | 800 1393 418200 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 65.2591 s Remaining CPU time: 114.741 s c =============================================================================== c | 29 | 800 1394 418900 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 65.488 s Remaining CPU time: 114.512 s c =============================================================================== c | 29 | 800 1395 419600 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 65.707 s Remaining CPU time: 114.293 s c =============================================================================== c | 29 | 800 1396 420300 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 65.946 s Remaining CPU time: 114.054 s c =============================================================================== c | 29 | 800 1397 421000 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 66.1779 s Remaining CPU time: 113.822 s c =============================================================================== c | 29 | 800 1398 421700 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 66.3979 s Remaining CPU time: 113.602 s c =============================================================================== c | 29 | 800 1399 422400 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 66.6329 s Remaining CPU time: 113.367 s c =============================================================================== c | 29 | 800 1400 423100 | 5000 29 115 | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 66.8768 s Remaining CPU time: 113.123 s c =============================================================================== c | 30 | 800 1401 423800 | 5000 30 130 | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 67.1168 s Remaining CPU time: 112.883 s c =============================================================================== c | 30 | 800 1402 424500 | 5000 30 130 | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 67.3568 s Remaining CPU time: 112.643 s c =============================================================================== c | 31 | 800 1403 425200 | 5000 31 127 | 0.000 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 67.5807 s Remaining CPU time: 112.419 s c =============================================================================== c | 32 | 800 1404 425900 | 5000 32 123 | 0.000 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 67.8137 s Remaining CPU time: 112.186 s c =============================================================================== c | 32 | 800 1405 426600 | 5000 32 123 | 0.000 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 68.0377 s Remaining CPU time: 111.962 s c =============================================================================== c | 32 | 800 1406 427300 | 5000 32 123 | 0.000 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 68.2736 s Remaining CPU time: 111.726 s c =============================================================================== c | 33 | 800 1407 428000 | 5000 33 120 | 0.000 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 68.5046 s Remaining CPU time: 111.495 s c =============================================================================== c | 33 | 800 1408 428700 | 5000 33 120 | 0.000 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 68.7296 s Remaining CPU time: 111.27 s c =============================================================================== c | 33 | 800 1409 429400 | 5000 33 120 | 0.000 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 68.9595 s Remaining CPU time: 111.04 s c =============================================================================== c | 33 | 800 1410 430100 | 5000 33 120 | 0.000 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 69.1945 s Remaining CPU time: 110.806 s c =============================================================================== c | 33 | 800 1411 430800 | 5000 33 120 | 0.000 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 69.4334 s Remaining CPU time: 110.567 s c =============================================================================== c | 33 | 800 1412 431500 | 5000 33 120 | 0.000 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 69.6764 s Remaining CPU time: 110.324 s c =============================================================================== c | 33 | 800 1413 432200 | 5000 33 120 | 0.000 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 69.9074 s Remaining CPU time: 110.093 s c =============================================================================== c | 33 | 800 1414 432900 | 5000 33 120 | 0.000 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 70.1443 s Remaining CPU time: 109.856 s c =============================================================================== c | 34 | 800 1415 433600 | 5000 34 116 | 0.000 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 70.3783 s Remaining CPU time: 109.622 s c =============================================================================== c | 34 | 800 1416 434300 | 5000 34 116 | 0.000 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 70.6153 s Remaining CPU time: 109.385 s c =============================================================================== c | 34 | 800 1417 435000 | 5000 34 116 | 0.000 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 70.8602 s Remaining CPU time: 109.14 s c =============================================================================== c | 34 | 800 1418 435700 | 5000 34 116 | 0.000 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 71.0982 s Remaining CPU time: 108.902 s c =============================================================================== c | 34 | 800 1419 436400 | 5000 34 116 | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 71.3382 s Remaining CPU time: 108.662 s c =============================================================================== c | 34 | 800 1420 437100 | 5000 34 116 | 0.000 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 71.5671 s Remaining CPU time: 108.433 s c =============================================================================== c | 36 | 800 1421 437800 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 71.7971 s Remaining CPU time: 108.203 s c =============================================================================== c | 36 | 800 1422 438500 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 72.033 s Remaining CPU time: 107.967 s c =============================================================================== c | 36 | 800 1423 439200 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 72.266 s Remaining CPU time: 107.734 s c =============================================================================== c | 36 | 800 1424 439900 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 72.509 s Remaining CPU time: 107.491 s c =============================================================================== c | 36 | 800 1425 440600 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 72.7379 s Remaining CPU time: 107.262 s c =============================================================================== c | 36 | 800 1426 441300 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 72.9779 s Remaining CPU time: 107.022 s c =============================================================================== c | 36 | 800 1427 442000 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 73.2259 s Remaining CPU time: 106.774 s c =============================================================================== c | 36 | 800 1428 442700 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 73.4748 s Remaining CPU time: 106.525 s c =============================================================================== c | 36 | 800 1429 443400 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 73.7108 s Remaining CPU time: 106.289 s c =============================================================================== c | 36 | 800 1430 444100 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 73.9468 s Remaining CPU time: 106.053 s c =============================================================================== c | 36 | 800 1431 444800 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 74.1737 s Remaining CPU time: 105.826 s c =============================================================================== c | 36 | 800 1432 445500 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 74.4107 s Remaining CPU time: 105.589 s c =============================================================================== c | 36 | 800 1433 446200 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 74.6676 s Remaining CPU time: 105.332 s c =============================================================================== c | 36 | 800 1434 446900 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 74.9046 s Remaining CPU time: 105.095 s c =============================================================================== c | 36 | 800 1435 447600 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 75.1616 s Remaining CPU time: 104.838 s c =============================================================================== c | 36 | 800 1436 448300 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 75.4075 s Remaining CPU time: 104.592 s c =============================================================================== c | 36 | 800 1437 449000 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 75.6615 s Remaining CPU time: 104.339 s c =============================================================================== c | 36 | 800 1438 449700 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 75.9135 s Remaining CPU time: 104.087 s c =============================================================================== c | 36 | 800 1439 450400 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 76.1564 s Remaining CPU time: 103.844 s c =============================================================================== c | 36 | 800 1440 451100 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 76.3984 s Remaining CPU time: 103.602 s c =============================================================================== c | 36 | 800 1441 451800 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 76.6443 s Remaining CPU time: 103.356 s c =============================================================================== c | 36 | 800 1442 452500 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 76.8863 s Remaining CPU time: 103.114 s c =============================================================================== c | 36 | 800 1443 453200 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 77.1263 s Remaining CPU time: 102.874 s c =============================================================================== c | 36 | 800 1444 453900 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 77.3672 s Remaining CPU time: 102.633 s c =============================================================================== c | 36 | 800 1445 454600 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 77.6042 s Remaining CPU time: 102.396 s c =============================================================================== c | 36 | 800 1446 455300 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 77.8622 s Remaining CPU time: 102.138 s c =============================================================================== c | 36 | 800 1447 456000 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 78.1071 s Remaining CPU time: 101.893 s c =============================================================================== c | 36 | 800 1448 456700 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 78.3561 s Remaining CPU time: 101.644 s c =============================================================================== c | 36 | 800 1449 457400 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 78.5981 s Remaining CPU time: 101.402 s c =============================================================================== c | 36 | 800 1450 458100 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 78.857 s Remaining CPU time: 101.143 s c =============================================================================== c | 36 | 800 1451 458800 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 79.101 s Remaining CPU time: 100.899 s c =============================================================================== c | 36 | 800 1452 459500 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 79.3459 s Remaining CPU time: 100.654 s c =============================================================================== c | 36 | 800 1453 460200 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 79.6029 s Remaining CPU time: 100.397 s c =============================================================================== c | 36 | 800 1454 460900 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 79.8539 s Remaining CPU time: 100.146 s c =============================================================================== c | 36 | 800 1455 461600 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 80.1108 s Remaining CPU time: 99.8892 s c =============================================================================== c | 36 | 800 1456 462300 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 80.3508 s Remaining CPU time: 99.6492 s c =============================================================================== c | 36 | 800 1457 463000 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 80.6017 s Remaining CPU time: 99.3983 s c =============================================================================== c | 36 | 800 1458 463700 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 80.8477 s Remaining CPU time: 99.1523 s c =============================================================================== c | 36 | 800 1459 464400 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 81.1097 s Remaining CPU time: 98.8903 s c =============================================================================== c | 36 | 800 1460 465100 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 81.3486 s Remaining CPU time: 98.6514 s c =============================================================================== c | 36 | 800 1461 465800 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 81.6076 s Remaining CPU time: 98.3924 s c =============================================================================== c | 36 | 800 1462 466500 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 81.8736 s Remaining CPU time: 98.1264 s c =============================================================================== c | 36 | 800 1463 467200 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 82.1185 s Remaining CPU time: 97.8815 s c =============================================================================== c | 37 | 800 1464 467900 | 5000 37 139 | 0.000 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 82.3725 s Remaining CPU time: 97.6275 s c =============================================================================== c | 37 | 800 1465 468600 | 5000 37 139 | 0.000 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 82.6324 s Remaining CPU time: 97.3676 s c =============================================================================== c | 38 | 800 1466 469300 | 5000 38 136 | 0.000 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 82.8834 s Remaining CPU time: 97.1166 s c =============================================================================== c | 40 | 800 1467 470000 | 5000 40 129 | 0.000 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 83.1394 s Remaining CPU time: 96.8606 s c =============================================================================== c | 40 | 800 1468 470700 | 5000 40 129 | 0.000 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 83.3783 s Remaining CPU time: 96.6217 s c =============================================================================== c | 42 | 800 1469 471400 | 5000 42 124 | 0.000 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 83.6353 s Remaining CPU time: 96.3647 s c =============================================================================== c | 42 | 800 1470 472100 | 5000 42 124 | 0.000 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 83.9042 s Remaining CPU time: 96.0958 s c =============================================================================== c | 42 | 800 1471 472800 | 5000 42 124 | 0.000 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 84.1872 s Remaining CPU time: 95.8128 s c =============================================================================== c | 44 | 800 1472 473500 | 5000 44 144 | 0.000 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 84.4432 s Remaining CPU time: 95.5568 s c =============================================================================== c | 44 | 800 1473 474200 | 5000 44 144 | 0.000 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 84.7081 s Remaining CPU time: 95.2919 s c =============================================================================== c | 45 | 800 1474 474900 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 84.9651 s Remaining CPU time: 95.0349 s c =============================================================================== c | 45 | 800 1475 475600 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 85.223 s Remaining CPU time: 94.777 s c =============================================================================== c | 45 | 800 1476 476300 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 85.479 s Remaining CPU time: 94.521 s c =============================================================================== c | 45 | 800 1477 477000 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 85.741 s Remaining CPU time: 94.259 s c =============================================================================== c | 45 | 800 1478 477700 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 86.0069 s Remaining CPU time: 93.9931 s c =============================================================================== c | 45 | 800 1479 478400 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 86.2649 s Remaining CPU time: 93.7351 s c =============================================================================== c | 45 | 800 1480 479100 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 86.5198 s Remaining CPU time: 93.4802 s c =============================================================================== c | 45 | 800 1481 479800 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 86.7768 s Remaining CPU time: 93.2232 s c =============================================================================== c | 45 | 800 1482 480500 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 87.0368 s Remaining CPU time: 92.9632 s c =============================================================================== c | 45 | 800 1483 481200 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 87.2897 s Remaining CPU time: 92.7103 s c =============================================================================== c | 45 | 800 1484 481900 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 87.5477 s Remaining CPU time: 92.4523 s c =============================================================================== c | 45 | 800 1485 482600 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 87.8017 s Remaining CPU time: 92.1983 s c =============================================================================== c | 45 | 800 1486 483300 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 88.0606 s Remaining CPU time: 91.9394 s c =============================================================================== c | 45 | 800 1487 484000 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 88.3256 s Remaining CPU time: 91.6744 s c =============================================================================== c | 45 | 800 1488 484700 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 88.5985 s Remaining CPU time: 91.4015 s c =============================================================================== c | 45 | 800 1489 485400 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 88.8545 s Remaining CPU time: 91.1455 s c =============================================================================== c | 45 | 800 1490 486100 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 89.1274 s Remaining CPU time: 90.8726 s c =============================================================================== c | 45 | 800 1491 486800 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3138 c Elapsed CPU time: 89.3814 s Remaining CPU time: 90.6186 s c =============================================================================== c | 45 | 800 1492 487500 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3137 c Elapsed CPU time: 89.6404 s Remaining CPU time: 90.3596 s c =============================================================================== c | 45 | 800 1493 488200 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3136 c Elapsed CPU time: 89.8963 s Remaining CPU time: 90.1037 s c =============================================================================== c | 45 | 800 1494 488900 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3135 c Elapsed CPU time: 90.1583 s Remaining CPU time: 89.8417 s c =============================================================================== c | 45 | 800 1495 489600 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3134 c Elapsed CPU time: 90.4253 s Remaining CPU time: 89.5747 s c =============================================================================== c | 45 | 800 1496 490300 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 90.6832 s Remaining CPU time: 89.3168 s c =============================================================================== c | 45 | 800 1497 491000 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3132 c Elapsed CPU time: 90.9602 s Remaining CPU time: 89.0398 s c =============================================================================== c | 45 | 800 1498 491700 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3131 c Elapsed CPU time: 91.2261 s Remaining CPU time: 88.7739 s c =============================================================================== c | 45 | 800 1499 492400 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 91.4801 s Remaining CPU time: 88.5199 s c =============================================================================== c | 45 | 800 1500 493100 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 91.7351 s Remaining CPU time: 88.2649 s c =============================================================================== c | 45 | 800 1501 493800 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 91.99 s Remaining CPU time: 88.01 s c =============================================================================== c | 45 | 800 1502 494500 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3127 c Elapsed CPU time: 92.263 s Remaining CPU time: 87.737 s c =============================================================================== c | 45 | 800 1503 495200 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3126 c Elapsed CPU time: 92.5329 s Remaining CPU time: 87.4671 s c =============================================================================== c | 45 | 800 1504 495900 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3125 c Elapsed CPU time: 92.7959 s Remaining CPU time: 87.2041 s c =============================================================================== c | 45 | 800 1505 496600 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3124 c Elapsed CPU time: 93.0689 s Remaining CPU time: 86.9311 s c =============================================================================== c | 45 | 800 1506 497300 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3123 c Elapsed CPU time: 93.3348 s Remaining CPU time: 86.6652 s c =============================================================================== c | 45 | 800 1507 498000 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3122 c Elapsed CPU time: 93.5918 s Remaining CPU time: 86.4082 s c =============================================================================== c | 45 | 800 1508 498700 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3121 c Elapsed CPU time: 93.8647 s Remaining CPU time: 86.1353 s c =============================================================================== c | 45 | 800 1509 499400 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3120 c Elapsed CPU time: 94.1517 s Remaining CPU time: 85.8483 s c =============================================================================== c | 45 | 800 1510 500100 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3119 c Elapsed CPU time: 94.4246 s Remaining CPU time: 85.5754 s c =============================================================================== c | 45 | 800 1511 500800 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3118 c Elapsed CPU time: 94.6926 s Remaining CPU time: 85.3074 s c =============================================================================== c | 45 | 800 1512 501500 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3117 c Elapsed CPU time: 94.9636 s Remaining CPU time: 85.0364 s c =============================================================================== c | 45 | 800 1513 502200 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3116 c Elapsed CPU time: 95.2205 s Remaining CPU time: 84.7795 s c =============================================================================== c | 45 | 800 1514 502900 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3115 c Elapsed CPU time: 95.4915 s Remaining CPU time: 84.5085 s c =============================================================================== c | 45 | 800 1515 503600 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3114 c Elapsed CPU time: 95.7554 s Remaining CPU time: 84.2446 s c =============================================================================== c | 45 | 800 1516 504300 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3113 c Elapsed CPU time: 96.0394 s Remaining CPU time: 83.9606 s c =============================================================================== c | 45 | 800 1517 505000 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3112 c Elapsed CPU time: 96.3084 s Remaining CPU time: 83.6916 s c =============================================================================== c | 45 | 800 1518 505700 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3111 c Elapsed CPU time: 96.5743 s Remaining CPU time: 83.4257 s c =============================================================================== c | 45 | 800 1519 506400 | 5000 45 154 | 0.000 % | c =============================================================================== c New solution: 3110 c Elapsed CPU time: 96.8433 s Remaining CPU time: 83.1567 s c =============================================================================== c | 47 | 800 1520 507100 | 5000 47 148 | 0.000 % | c =============================================================================== c New solution: 3109 c Elapsed CPU time: 97.1242 s Remaining CPU time: 82.8758 s c =============================================================================== c | 47 | 800 1521 507800 | 5000 47 148 | 0.000 % | c =============================================================================== c New solution: 3108 c Elapsed CPU time: 97.4042 s Remaining CPU time: 82.5958 s c =============================================================================== c | 47 | 800 1522 508500 | 5000 47 148 | 0.000 % | c =============================================================================== c New solution: 3107 c Elapsed CPU time: 97.6782 s Remaining CPU time: 82.3218 s c =============================================================================== c | 47 | 800 1523 509200 | 5000 47 148 | 0.000 % | c =============================================================================== c New solution: 3106 c Elapsed CPU time: 97.9391 s Remaining CPU time: 82.0609 s c =============================================================================== c | 47 | 800 1524 509900 | 5000 47 148 | 0.000 % | c =============================================================================== c New solution: 3105 c Elapsed CPU time: 98.2081 s Remaining CPU time: 81.7919 s c =============================================================================== c | 49 | 800 1525 510600 | 5000 49 143 | 0.000 % | c =============================================================================== c New solution: 3104 c Elapsed CPU time: 98.474 s Remaining CPU time: 81.526 s c =============================================================================== c | 49 | 800 1526 511300 | 5000 49 143 | 0.000 % | c =============================================================================== c New solution: 3103 c Elapsed CPU time: 98.743 s Remaining CPU time: 81.257 s c =============================================================================== c | 49 | 800 1527 512000 | 5000 49 143 | 0.000 % | c =============================================================================== c New solution: 3102 c Elapsed CPU time: 99.0149 s Remaining CPU time: 80.9851 s c =============================================================================== c | 49 | 800 1528 512700 | 5000 49 143 | 0.000 % | c =============================================================================== c New solution: 3101 c Elapsed CPU time: 99.3009 s Remaining CPU time: 80.6991 s c =============================================================================== c | 51 | 800 1529 513400 | 5000 51 137 | 0.000 % | c =============================================================================== c New solution: 3100 c Elapsed CPU time: 99.5889 s Remaining CPU time: 80.4111 s c =============================================================================== c | 51 | 800 1530 514100 | 5000 51 137 | 0.000 % | c =============================================================================== c New solution: 3099 c Elapsed CPU time: 99.8628 s Remaining CPU time: 80.1372 s c =============================================================================== c | 52 | 800 1531 514800 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3098 c Elapsed CPU time: 100.135 s Remaining CPU time: 79.8652 s c =============================================================================== c | 53 | 800 1532 515500 | 5000 53 132 | 0.000 % | c =============================================================================== c New solution: 3097 c Elapsed CPU time: 100.412 s Remaining CPU time: 79.5883 s c =============================================================================== c | 53 | 800 1533 516200 | 5000 53 132 | 0.000 % | c =============================================================================== c New solution: 3096 c Elapsed CPU time: 100.691 s Remaining CPU time: 79.3093 s c =============================================================================== c | 53 | 800 1534 516900 | 5000 53 132 | 0.000 % | c =============================================================================== c New solution: 3095 c Elapsed CPU time: 100.99 s Remaining CPU time: 79.0104 s c =============================================================================== c | 54 | 800 1535 517600 | 5000 54 130 | 0.000 % | c =============================================================================== c New solution: 3094 c Elapsed CPU time: 101.262 s Remaining CPU time: 78.7384 s c =============================================================================== c | 54 | 800 1536 518300 | 5000 54 130 | 0.000 % | c =============================================================================== c New solution: 3093 c Elapsed CPU time: 101.535 s Remaining CPU time: 78.4654 s c =============================================================================== c | 54 | 800 1537 519000 | 5000 54 130 | 0.000 % | c =============================================================================== c New solution: 3092 c Elapsed CPU time: 101.809 s Remaining CPU time: 78.1915 s c =============================================================================== c | 54 | 800 1538 519700 | 5000 54 130 | 0.000 % | c =============================================================================== c New solution: 3091 c Elapsed CPU time: 102.093 s Remaining CPU time: 77.9065 s c =============================================================================== c | 54 | 800 1539 520400 | 5000 54 130 | 0.000 % | c =============================================================================== c New solution: 3090 c Elapsed CPU time: 102.363 s Remaining CPU time: 77.6366 s c =============================================================================== c | 54 | 800 1540 521100 | 5000 54 130 | 0.000 % | c =============================================================================== c New solution: 3089 c Elapsed CPU time: 102.639 s Remaining CPU time: 77.3606 s c =============================================================================== c | 54 | 800 1541 521800 | 5000 54 130 | 0.000 % | c =============================================================================== c New solution: 3088 c Elapsed CPU time: 102.904 s Remaining CPU time: 77.0956 s c =============================================================================== c | 55 | 800 1542 522500 | 5000 55 138 | 0.000 % | c =============================================================================== c New solution: 3087 c Elapsed CPU time: 103.196 s Remaining CPU time: 76.8037 s c =============================================================================== c | 55 | 800 1543 523200 | 5000 55 138 | 0.000 % | c =============================================================================== c New solution: 3086 c Elapsed CPU time: 103.481 s Remaining CPU time: 76.5187 s c =============================================================================== c | 55 | 800 1544 523900 | 5000 55 138 | 0.000 % | c =============================================================================== c New solution: 3085 c Elapsed CPU time: 103.754 s Remaining CPU time: 76.2458 s c =============================================================================== c | 55 | 800 1545 524600 | 5000 55 138 | 0.000 % | c =============================================================================== c New solution: 3084 c Elapsed CPU time: 104.025 s Remaining CPU time: 75.9748 s c =============================================================================== c | 55 | 800 1546 525300 | 5000 55 138 | 0.000 % | c =============================================================================== c New solution: 3083 c Elapsed CPU time: 104.311 s Remaining CPU time: 75.6889 s c =============================================================================== c | 55 | 800 1547 526000 | 5000 55 138 | 0.000 % | c =============================================================================== c New solution: 3082 c Elapsed CPU time: 104.59 s Remaining CPU time: 75.4099 s c =============================================================================== c | 55 | 800 1548 526700 | 5000 55 138 | 0.000 % | c =============================================================================== c New solution: 3081 c Elapsed CPU time: 104.873 s Remaining CPU time: 75.1269 s c =============================================================================== c | 55 | 800 1549 527400 | 5000 55 138 | 0.000 % | c =============================================================================== c New solution: 3080 c Elapsed CPU time: 105.162 s Remaining CPU time: 74.838 s c =============================================================================== c | 56 | 800 1550 528100 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3079 c Elapsed CPU time: 105.425 s Remaining CPU time: 74.575 s c =============================================================================== c | 56 | 800 1551 528800 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3078 c Elapsed CPU time: 105.714 s Remaining CPU time: 74.2861 s c =============================================================================== c | 56 | 800 1552 529500 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3077 c Elapsed CPU time: 105.986 s Remaining CPU time: 74.0141 s c =============================================================================== c | 56 | 800 1553 530200 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3076 c Elapsed CPU time: 106.269 s Remaining CPU time: 73.7312 s c =============================================================================== c | 56 | 800 1554 530900 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3075 c Elapsed CPU time: 106.545 s Remaining CPU time: 73.4552 s c =============================================================================== c | 56 | 800 1555 531600 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3074 c Elapsed CPU time: 106.824 s Remaining CPU time: 73.1762 s c =============================================================================== c | 56 | 800 1556 532300 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3073 c Elapsed CPU time: 107.104 s Remaining CPU time: 72.8963 s c =============================================================================== c | 56 | 800 1557 533000 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3072 c Elapsed CPU time: 107.387 s Remaining CPU time: 72.6133 s c =============================================================================== c | 56 | 800 1558 533700 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3071 c Elapsed CPU time: 107.669 s Remaining CPU time: 72.3314 s c =============================================================================== c | 56 | 800 1559 534400 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3070 c Elapsed CPU time: 107.956 s Remaining CPU time: 72.0444 s c =============================================================================== c | 56 | 800 1560 535100 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3069 c Elapsed CPU time: 108.238 s Remaining CPU time: 71.7625 s c =============================================================================== c | 56 | 800 1561 535800 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3068 c Elapsed CPU time: 108.528 s Remaining CPU time: 71.4725 s c =============================================================================== c | 56 | 800 1562 536500 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3067 c Elapsed CPU time: 108.83 s Remaining CPU time: 71.1695 s c =============================================================================== c | 56 | 800 1563 537200 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3066 c Elapsed CPU time: 109.116 s Remaining CPU time: 70.8836 s c =============================================================================== c | 56 | 800 1564 537900 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3065 c Elapsed CPU time: 109.412 s Remaining CPU time: 70.5876 s c =============================================================================== c | 56 | 800 1565 538600 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3064 c Elapsed CPU time: 109.7 s Remaining CPU time: 70.2997 s c =============================================================================== c | 56 | 800 1566 539300 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3063 c Elapsed CPU time: 109.997 s Remaining CPU time: 70.0027 s c =============================================================================== c | 56 | 800 1567 540000 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3062 c Elapsed CPU time: 110.281 s Remaining CPU time: 69.7188 s c =============================================================================== c | 56 | 800 1568 540700 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3061 c Elapsed CPU time: 110.563 s Remaining CPU time: 69.4368 s c =============================================================================== c | 56 | 800 1569 541400 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3060 c Elapsed CPU time: 110.848 s Remaining CPU time: 69.1519 s c =============================================================================== c | 56 | 800 1570 542100 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3059 c Elapsed CPU time: 111.152 s Remaining CPU time: 68.8479 s c =============================================================================== c | 56 | 800 1571 542800 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3058 c Elapsed CPU time: 111.43 s Remaining CPU time: 68.5699 s c =============================================================================== c | 56 | 800 1572 543500 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3057 c Elapsed CPU time: 111.747 s Remaining CPU time: 68.253 s c =============================================================================== c | 56 | 800 1573 544200 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3056 c Elapsed CPU time: 112.032 s Remaining CPU time: 67.968 s c =============================================================================== c | 56 | 800 1574 544900 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3055 c Elapsed CPU time: 112.319 s Remaining CPU time: 67.6811 s c =============================================================================== c | 56 | 800 1575 545600 | 5000 56 136 | 0.000 % | c =============================================================================== c New solution: 3054 c Elapsed CPU time: 112.614 s Remaining CPU time: 67.3861 s c =============================================================================== c | 58 | 800 1576 546300 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3053 c Elapsed CPU time: 112.898 s Remaining CPU time: 67.1022 s c =============================================================================== c | 58 | 800 1577 547000 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3052 c Elapsed CPU time: 113.201 s Remaining CPU time: 66.7992 s c =============================================================================== c | 58 | 800 1578 547700 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3051 c Elapsed CPU time: 113.498 s Remaining CPU time: 66.5023 s c =============================================================================== c | 58 | 800 1579 548400 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3050 c Elapsed CPU time: 113.79 s Remaining CPU time: 66.2103 s c =============================================================================== c | 58 | 800 1580 549100 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3049 c Elapsed CPU time: 114.081 s Remaining CPU time: 65.9193 s c =============================================================================== c | 58 | 800 1581 549800 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3048 c Elapsed CPU time: 114.376 s Remaining CPU time: 65.6244 s c =============================================================================== c | 58 | 800 1582 550500 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3047 c Elapsed CPU time: 114.68 s Remaining CPU time: 65.3204 s c =============================================================================== c | 59 | 800 1583 551200 | 5000 59 129 | 0.000 % | c =============================================================================== c New solution: 3046 c Elapsed CPU time: 114.968 s Remaining CPU time: 65.0325 s c =============================================================================== c | 59 | 800 1584 551900 | 5000 59 129 | 0.000 % | c =============================================================================== c New solution: 3045 c Elapsed CPU time: 115.254 s Remaining CPU time: 64.7455 s c =============================================================================== c | 60 | 800 1585 552600 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 3044 c Elapsed CPU time: 115.558 s Remaining CPU time: 64.4416 s c =============================================================================== c | 60 | 800 1586 553300 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 3043 c Elapsed CPU time: 115.841 s Remaining CPU time: 64.1586 s c =============================================================================== c | 60 | 800 1587 554000 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 3042 c Elapsed CPU time: 116.13 s Remaining CPU time: 63.8697 s c =============================================================================== c | 60 | 800 1588 554700 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 3041 c Elapsed CPU time: 116.427 s Remaining CPU time: 63.5727 s c =============================================================================== c | 60 | 800 1589 555400 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 3040 c Elapsed CPU time: 116.728 s Remaining CPU time: 63.2717 s c =============================================================================== c | 60 | 800 1590 556100 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 3039 c Elapsed CPU time: 117.043 s Remaining CPU time: 62.9568 s c =============================================================================== c | 61 | 800 1591 556800 | 5000 61 125 | 0.000 % | c =============================================================================== c New solution: 3038 c Elapsed CPU time: 117.333 s Remaining CPU time: 62.6668 s c =============================================================================== c | 61 | 800 1592 557500 | 5000 61 125 | 0.000 % | c =============================================================================== c New solution: 3037 c Elapsed CPU time: 117.677 s Remaining CPU time: 62.3229 s c =============================================================================== c | 67 | 800 1593 558200 | 5000 67 156 | 0.000 % | c =============================================================================== c New solution: 3036 c Elapsed CPU time: 117.973 s Remaining CPU time: 62.0269 s c =============================================================================== c | 67 | 800 1594 558900 | 5000 67 156 | 0.000 % | c =============================================================================== c New solution: 3035 c Elapsed CPU time: 118.279 s Remaining CPU time: 61.721 s c =============================================================================== c | 69 | 800 1595 559600 | 5000 69 152 | 0.000 % | c =============================================================================== c New solution: 3034 c Elapsed CPU time: 118.572 s Remaining CPU time: 61.428 s c =============================================================================== c | 69 | 800 1596 560300 | 5000 69 152 | 0.000 % | c =============================================================================== c New solution: 3033 c Elapsed CPU time: 118.877 s Remaining CPU time: 61.1231 s c =============================================================================== c | 69 | 800 1597 561000 | 5000 69 152 | 0.000 % | c =============================================================================== c New solution: 3032 c Elapsed CPU time: 119.175 s Remaining CPU time: 60.8251 s c =============================================================================== c | 70 | 800 1598 561700 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 3031 c Elapsed CPU time: 119.47 s Remaining CPU time: 60.5302 s c =============================================================================== c | 70 | 800 1599 562400 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 3030 c Elapsed CPU time: 119.772 s Remaining CPU time: 60.2282 s c =============================================================================== c | 70 | 800 1600 563100 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 3029 c Elapsed CPU time: 120.069 s Remaining CPU time: 59.9313 s c =============================================================================== c | 70 | 800 1601 563800 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 3028 c Elapsed CPU time: 120.359 s Remaining CPU time: 59.6413 s c =============================================================================== c | 70 | 800 1602 564500 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 3027 c Elapsed CPU time: 120.663 s Remaining CPU time: 59.3373 s c =============================================================================== c | 70 | 800 1603 565200 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 3026 c Elapsed CPU time: 120.95 s Remaining CPU time: 59.0504 s c =============================================================================== c | 70 | 800 1604 565900 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 3025 c Elapsed CPU time: 121.225 s Remaining CPU time: 58.7754 s c =============================================================================== c | 70 | 800 1605 566600 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 3024 c Elapsed CPU time: 121.516 s Remaining CPU time: 58.4845 s c =============================================================================== c | 70 | 800 1606 567300 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 3023 c Elapsed CPU time: 121.806 s Remaining CPU time: 58.1935 s c =============================================================================== c | 71 | 800 1607 568000 | 5000 71 148 | 0.000 % | c =============================================================================== c New solution: 3022 c Elapsed CPU time: 122.113 s Remaining CPU time: 57.8866 s c =============================================================================== c | 73 | 800 1608 568700 | 5000 73 144 | 0.000 % | c =============================================================================== c New solution: 3021 c Elapsed CPU time: 122.417 s Remaining CPU time: 57.5826 s c =============================================================================== c | 75 | 800 1609 569400 | 5000 75 140 | 0.000 % | c =============================================================================== c New solution: 3020 c Elapsed CPU time: 122.731 s Remaining CPU time: 57.2687 s c =============================================================================== c | 76 | 800 1610 570100 | 5000 76 146 | 0.000 % | c =============================================================================== c New solution: 3019 c Elapsed CPU time: 123.018 s Remaining CPU time: 56.9817 s c =============================================================================== c | 77 | 800 1611 570800 | 5000 77 144 | 0.000 % | c =============================================================================== c New solution: 3018 c Elapsed CPU time: 123.31 s Remaining CPU time: 56.6897 s c =============================================================================== c | 77 | 800 1612 571500 | 5000 77 144 | 0.000 % | c =============================================================================== c New solution: 3017 c Elapsed CPU time: 123.611 s Remaining CPU time: 56.3888 s c =============================================================================== c | 77 | 800 1613 572200 | 5000 77 144 | 0.000 % | c =============================================================================== c New solution: 3016 c Elapsed CPU time: 123.924 s Remaining CPU time: 56.0758 s c =============================================================================== c | 77 | 800 1614 572900 | 5000 77 144 | 0.000 % | c =============================================================================== c New solution: 3015 c Elapsed CPU time: 124.24 s Remaining CPU time: 55.7599 s c =============================================================================== c | 77 | 800 1615 573600 | 5000 77 144 | 0.000 % | c =============================================================================== c New solution: 3014 c Elapsed CPU time: 124.56 s Remaining CPU time: 55.4399 s c =============================================================================== c | 77 | 800 1616 574300 | 5000 77 144 | 0.000 % | c =============================================================================== c New solution: 3013 c Elapsed CPU time: 124.876 s Remaining CPU time: 55.124 s c =============================================================================== c | 77 | 800 1617 575000 | 5000 77 144 | 0.000 % | c =============================================================================== c New solution: 3012 c Elapsed CPU time: 125.2 s Remaining CPU time: 54.8 s c =============================================================================== c | 77 | 800 1618 575700 | 5000 77 144 | 0.000 % | c =============================================================================== c New solution: 3011 c Elapsed CPU time: 125.512 s Remaining CPU time: 54.4881 s c =============================================================================== c | 77 | 800 1619 576400 | 5000 77 144 | 0.000 % | c =============================================================================== c New solution: 3010 c Elapsed CPU time: 125.807 s Remaining CPU time: 54.1931 s c =============================================================================== c | 78 | 800 1620 577100 | 5000 78 142 | 0.000 % | c =============================================================================== c New solution: 3009 c Elapsed CPU time: 126.095 s Remaining CPU time: 53.9052 s c =============================================================================== c | 78 | 800 1621 577800 | 5000 78 142 | 0.000 % | c =============================================================================== c New solution: 3008 c Elapsed CPU time: 126.405 s Remaining CPU time: 53.5952 s c =============================================================================== c | 78 | 800 1622 578500 | 5000 78 142 | 0.000 % | c =============================================================================== c New solution: 3007 c Elapsed CPU time: 126.708 s Remaining CPU time: 53.2923 s c =============================================================================== c | 78 | 800 1623 579200 | 5000 78 142 | 0.000 % | c =============================================================================== c New solution: 3006 c Elapsed CPU time: 127.027 s Remaining CPU time: 52.9733 s c =============================================================================== c | 78 | 800 1624 579900 | 5000 78 142 | 0.000 % | c =============================================================================== c New solution: 3005 c Elapsed CPU time: 127.339 s Remaining CPU time: 52.6614 s c =============================================================================== c | 78 | 800 1625 580600 | 5000 78 142 | 0.000 % | c =============================================================================== c New solution: 3004 c Elapsed CPU time: 127.629 s Remaining CPU time: 52.3714 s c =============================================================================== c | 78 | 800 1626 581300 | 5000 78 142 | 0.000 % | c =============================================================================== c New solution: 3003 c Elapsed CPU time: 127.946 s Remaining CPU time: 52.0545 s c =============================================================================== c | 78 | 800 1627 582000 | 5000 78 142 | 0.000 % | c =============================================================================== c New solution: 3002 c Elapsed CPU time: 128.267 s Remaining CPU time: 51.7335 s c =============================================================================== c | 79 | 800 1628 582700 | 5000 79 141 | 0.000 % | c =============================================================================== c New solution: 3001 c Elapsed CPU time: 128.567 s Remaining CPU time: 51.4325 s c =============================================================================== c | 79 | 800 1629 583400 | 5000 79 141 | 0.000 % | c =============================================================================== c New solution: 3000 c Elapsed CPU time: 128.87 s Remaining CPU time: 51.1296 s c =============================================================================== c | 79 | 800 1630 584100 | 5000 79 141 | 0.000 % | c =============================================================================== c New solution: 2999 c Elapsed CPU time: 129.198 s Remaining CPU time: 50.8016 s c =============================================================================== c | 79 | 800 1631 584800 | 5000 79 141 | 0.000 % | c =============================================================================== c New solution: 2998 c Elapsed CPU time: 129.507 s Remaining CPU time: 50.4927 s c =============================================================================== c | 80 | 800 1632 585500 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2997 c Elapsed CPU time: 129.808 s Remaining CPU time: 50.1917 s c =============================================================================== c | 80 | 800 1633 586200 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2996 c Elapsed CPU time: 130.12 s Remaining CPU time: 49.8798 s c =============================================================================== c | 80 | 800 1634 586900 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2995 c Elapsed CPU time: 130.422 s Remaining CPU time: 49.5778 s c =============================================================================== c | 80 | 800 1635 587600 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2994 c Elapsed CPU time: 130.731 s Remaining CPU time: 49.2689 s c =============================================================================== c | 80 | 800 1636 588300 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2993 c Elapsed CPU time: 131.037 s Remaining CPU time: 48.9629 s c =============================================================================== c | 80 | 800 1637 589000 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2992 c Elapsed CPU time: 131.35 s Remaining CPU time: 48.65 s c =============================================================================== c | 80 | 800 1638 589700 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2991 c Elapsed CPU time: 131.679 s Remaining CPU time: 48.321 s c =============================================================================== c | 80 | 800 1639 590400 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2990 c Elapsed CPU time: 131.975 s Remaining CPU time: 48.0251 s c =============================================================================== c | 80 | 800 1640 591100 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2989 c Elapsed CPU time: 132.286 s Remaining CPU time: 47.7141 s c =============================================================================== c | 80 | 800 1641 591800 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2988 c Elapsed CPU time: 132.593 s Remaining CPU time: 47.4072 s c =============================================================================== c | 80 | 800 1642 592500 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2987 c Elapsed CPU time: 132.895 s Remaining CPU time: 47.1052 s c =============================================================================== c | 80 | 800 1643 593200 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2986 c Elapsed CPU time: 133.208 s Remaining CPU time: 46.7923 s c =============================================================================== c | 80 | 800 1644 593900 | 5000 80 139 | 0.000 % | c =============================================================================== c New solution: 2985 c Elapsed CPU time: 133.513 s Remaining CPU time: 46.4873 s c =============================================================================== c | 81 | 800 1645 594600 | 5000 81 144 | 0.000 % | c =============================================================================== c New solution: 2984 c Elapsed CPU time: 133.824 s Remaining CPU time: 46.1763 s c =============================================================================== c | 82 | 800 1646 595300 | 5000 82 149 | 0.000 % | c =============================================================================== c New solution: 2983 c Elapsed CPU time: 134.127 s Remaining CPU time: 45.8734 s c =============================================================================== c | 82 | 800 1647 596000 | 5000 82 149 | 0.000 % | c =============================================================================== c New solution: 2982 c Elapsed CPU time: 134.433 s Remaining CPU time: 45.5674 s c =============================================================================== c | 82 | 800 1648 596700 | 5000 82 149 | 0.000 % | c =============================================================================== c New solution: 2981 c Elapsed CPU time: 134.743 s Remaining CPU time: 45.2575 s c =============================================================================== c | 83 | 800 1649 597400 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2980 c Elapsed CPU time: 135.049 s Remaining CPU time: 44.9505 s c =============================================================================== c | 83 | 800 1650 598100 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2979 c Elapsed CPU time: 135.367 s Remaining CPU time: 44.6326 s c =============================================================================== c | 83 | 800 1651 598800 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2978 c Elapsed CPU time: 135.674 s Remaining CPU time: 44.3256 s c =============================================================================== c | 83 | 800 1652 599500 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2977 c Elapsed CPU time: 135.975 s Remaining CPU time: 44.0247 s c =============================================================================== c | 84 | 800 1653 600200 | 5000 84 152 | 0.000 % | c =============================================================================== c New solution: 2976 c Elapsed CPU time: 136.283 s Remaining CPU time: 43.7167 s c =============================================================================== c | 85 | 800 1654 600900 | 5000 85 157 | 0.000 % | c =============================================================================== c New solution: 2975 c Elapsed CPU time: 136.591 s Remaining CPU time: 43.4088 s c =============================================================================== c | 85 | 800 1655 601600 | 5000 85 157 | 0.000 % | c =============================================================================== c New solution: 2974 c Elapsed CPU time: 136.899 s Remaining CPU time: 43.1008 s c =============================================================================== c | 85 | 800 1656 602300 | 5000 85 157 | 0.000 % | c =============================================================================== c New solution: 2973 c Elapsed CPU time: 137.216 s Remaining CPU time: 42.7839 s c =============================================================================== c | 85 | 800 1657 603000 | 5000 85 157 | 0.000 % | c =============================================================================== c New solution: 2972 c Elapsed CPU time: 137.55 s Remaining CPU time: 42.4499 s c =============================================================================== c | 87 | 800 1658 603700 | 5000 87 166 | 0.000 % | c =============================================================================== c New solution: 2971 c Elapsed CPU time: 137.857 s Remaining CPU time: 42.143 s c =============================================================================== c | 87 | 800 1659 604400 | 5000 87 166 | 0.000 % | c =============================================================================== c New solution: 2970 c Elapsed CPU time: 138.172 s Remaining CPU time: 41.828 s c =============================================================================== c | 87 | 800 1660 605100 | 5000 87 166 | 0.000 % | c =============================================================================== c New solution: 2969 c Elapsed CPU time: 138.473 s Remaining CPU time: 41.5271 s c =============================================================================== c | 88 | 800 1661 605800 | 5000 88 164 | 0.000 % | c =============================================================================== c New solution: 2968 c Elapsed CPU time: 138.791 s Remaining CPU time: 41.2091 s c =============================================================================== c | 88 | 800 1662 606500 | 5000 88 164 | 0.000 % | c =============================================================================== c New solution: 2967 c Elapsed CPU time: 139.106 s Remaining CPU time: 40.8941 s c =============================================================================== c | 89 | 800 1663 607200 | 5000 89 168 | 0.000 % | c =============================================================================== c New solution: 2966 c Elapsed CPU time: 139.426 s Remaining CPU time: 40.5742 s c =============================================================================== c | 89 | 800 1664 607900 | 5000 89 168 | 0.000 % | c =============================================================================== c New solution: 2965 c Elapsed CPU time: 139.738 s Remaining CPU time: 40.2622 s c =============================================================================== c | 89 | 800 1665 608600 | 5000 89 168 | 0.000 % | c =============================================================================== c New solution: 2964 c Elapsed CPU time: 140.054 s Remaining CPU time: 39.9463 s c =============================================================================== c | 89 | 800 1666 609300 | 5000 89 168 | 0.000 % | c =============================================================================== c New solution: 2963 c Elapsed CPU time: 140.368 s Remaining CPU time: 39.6323 s c =============================================================================== c | 90 | 800 1667 610000 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2962 c Elapsed CPU time: 140.691 s Remaining CPU time: 39.3094 s c =============================================================================== c | 90 | 800 1668 610700 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2961 c Elapsed CPU time: 141.004 s Remaining CPU time: 38.9964 s c =============================================================================== c | 90 | 800 1669 611400 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2960 c Elapsed CPU time: 141.319 s Remaining CPU time: 38.6815 s c =============================================================================== c | 90 | 800 1670 612100 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2959 c Elapsed CPU time: 141.63 s Remaining CPU time: 38.3695 s c =============================================================================== c | 90 | 800 1671 612800 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2958 c Elapsed CPU time: 141.93 s Remaining CPU time: 38.0696 s c =============================================================================== c | 90 | 800 1672 613500 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2957 c Elapsed CPU time: 142.25 s Remaining CPU time: 37.7496 s c =============================================================================== c | 90 | 800 1673 614200 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2956 c Elapsed CPU time: 142.566 s Remaining CPU time: 37.4337 s c =============================================================================== c | 90 | 800 1674 614900 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2955 c Elapsed CPU time: 142.873 s Remaining CPU time: 37.1267 s c =============================================================================== c | 90 | 800 1675 615600 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2954 c Elapsed CPU time: 143.195 s Remaining CPU time: 36.8048 s c =============================================================================== c | 90 | 800 1676 616300 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2953 c Elapsed CPU time: 143.525 s Remaining CPU time: 36.4748 s c =============================================================================== c | 90 | 800 1677 617000 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2952 c Elapsed CPU time: 143.845 s Remaining CPU time: 36.1549 s c =============================================================================== c | 90 | 800 1678 617700 | 5000 90 166 | 0.000 % | c =============================================================================== c New solution: 2951 c Elapsed CPU time: 144.172 s Remaining CPU time: 35.8279 s c =============================================================================== c | 91 | 800 1679 618400 | 5000 91 165 | 0.000 % | c =============================================================================== c New solution: 2950 c Elapsed CPU time: 144.493 s Remaining CPU time: 35.507 s c =============================================================================== c | 91 | 800 1680 619100 | 5000 91 165 | 0.000 % | c =============================================================================== c New solution: 2949 c Elapsed CPU time: 144.819 s Remaining CPU time: 35.181 s c =============================================================================== c | 91 | 800 1681 619800 | 5000 91 165 | 0.000 % | c =============================================================================== c New solution: 2948 c Elapsed CPU time: 145.151 s Remaining CPU time: 34.8491 s c =============================================================================== c | 91 | 800 1682 620500 | 5000 91 165 | 0.000 % | c =============================================================================== c New solution: 2947 c Elapsed CPU time: 145.476 s Remaining CPU time: 34.5241 s c =============================================================================== c | 91 | 800 1683 621200 | 5000 91 165 | 0.000 % | c =============================================================================== c New solution: 2946 c Elapsed CPU time: 145.79 s Remaining CPU time: 34.2102 s c =============================================================================== c | 91 | 800 1684 621900 | 5000 91 165 | 0.000 % | c =============================================================================== c New solution: 2945 c Elapsed CPU time: 146.124 s Remaining CPU time: 33.8762 s c =============================================================================== c | 91 | 800 1685 622600 | 5000 91 165 | 0.000 % | c =============================================================================== c New solution: 2944 c Elapsed CPU time: 146.462 s Remaining CPU time: 33.5383 s c =============================================================================== c | 91 | 800 1686 623300 | 5000 91 165 | 0.000 % | c =============================================================================== c New solution: 2943 c Elapsed CPU time: 146.796 s Remaining CPU time: 33.2043 s c =============================================================================== c | 93 | 800 1687 624000 | 5000 93 161 | 0.000 % | c =============================================================================== c New solution: 2942 c Elapsed CPU time: 147.134 s Remaining CPU time: 32.8664 s c =============================================================================== c | 95 | 800 1688 624700 | 5000 95 158 | 0.000 % | c =============================================================================== c New solution: 2941 c Elapsed CPU time: 147.439 s Remaining CPU time: 32.5614 s c =============================================================================== c | 95 | 800 1689 625400 | 5000 95 158 | 0.000 % | c =============================================================================== c New solution: 2940 c Elapsed CPU time: 147.744 s Remaining CPU time: 32.2565 s c =============================================================================== c | 95 | 800 1690 626100 | 5000 95 158 | 0.000 % | c =============================================================================== c New solution: 2939 c Elapsed CPU time: 148.078 s Remaining CPU time: 31.9215 s c =============================================================================== c | 95 | 800 1691 626800 | 5000 95 158 | 0.000 % | c =============================================================================== c New solution: 2938 c Elapsed CPU time: 148.41 s Remaining CPU time: 31.5896 s c =============================================================================== c | 96 | 800 1692 627500 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2937 c Elapsed CPU time: 148.753 s Remaining CPU time: 31.2466 s c =============================================================================== c | 96 | 800 1693 628200 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2936 c Elapsed CPU time: 149.079 s Remaining CPU time: 30.9207 s c =============================================================================== c | 96 | 800 1694 628900 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2935 c Elapsed CPU time: 149.413 s Remaining CPU time: 30.5867 s c =============================================================================== c | 96 | 800 1695 629600 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2934 c Elapsed CPU time: 149.739 s Remaining CPU time: 30.2608 s c =============================================================================== c | 96 | 800 1696 630300 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2933 c Elapsed CPU time: 150.06 s Remaining CPU time: 29.9398 s c =============================================================================== c | 96 | 800 1697 631000 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2932 c Elapsed CPU time: 150.395 s Remaining CPU time: 29.6049 s c =============================================================================== c | 96 | 800 1698 631700 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2931 c Elapsed CPU time: 150.729 s Remaining CPU time: 29.2709 s c =============================================================================== c | 96 | 800 1699 632400 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2930 c Elapsed CPU time: 151.067 s Remaining CPU time: 28.933 s c =============================================================================== c | 96 | 800 1700 633100 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2929 c Elapsed CPU time: 151.389 s Remaining CPU time: 28.611 s c =============================================================================== c | 96 | 800 1701 633800 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2928 c Elapsed CPU time: 151.698 s Remaining CPU time: 28.3021 s c =============================================================================== c | 96 | 800 1702 634500 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2927 c Elapsed CPU time: 152.018 s Remaining CPU time: 27.9821 s c =============================================================================== c | 96 | 800 1703 635200 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2926 c Elapsed CPU time: 152.344 s Remaining CPU time: 27.6562 s c =============================================================================== c | 96 | 800 1704 635900 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2925 c Elapsed CPU time: 152.667 s Remaining CPU time: 27.3332 s c =============================================================================== c | 96 | 800 1705 636600 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2924 c Elapsed CPU time: 152.996 s Remaining CPU time: 27.0043 s c =============================================================================== c | 96 | 800 1706 637300 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2923 c Elapsed CPU time: 153.338 s Remaining CPU time: 26.6623 s c =============================================================================== c | 96 | 800 1707 638000 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2922 c Elapsed CPU time: 153.672 s Remaining CPU time: 26.3284 s c =============================================================================== c | 96 | 800 1708 638700 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2921 c Elapsed CPU time: 153.989 s Remaining CPU time: 26.0114 s c =============================================================================== c | 96 | 800 1709 639400 | 5000 96 157 | 0.000 % | c =============================================================================== c New solution: 2920 c Elapsed CPU time: 154.332 s Remaining CPU time: 25.6685 s c =============================================================================== c | 97 | 800 1710 640100 | 5000 97 155 | 0.000 % | c =============================================================================== c New solution: 2919 c Elapsed CPU time: 154.658 s Remaining CPU time: 25.3415 s c =============================================================================== c | 97 | 800 1711 640800 | 5000 97 155 | 0.000 % | c =============================================================================== c New solution: 2918 c Elapsed CPU time: 154.98 s Remaining CPU time: 25.0196 s c =============================================================================== c | 97 | 800 1712 641500 | 5000 97 155 | 0.000 % | c =============================================================================== c New solution: 2917 c Elapsed CPU time: 155.319 s Remaining CPU time: 24.6806 s c =============================================================================== c | 97 | 800 1713 642200 | 5000 97 155 | 0.000 % | c =============================================================================== c New solution: 2916 c Elapsed CPU time: 155.648 s Remaining CPU time: 24.3517 s c =============================================================================== c | 98 | 800 1714 642900 | 5000 98 154 | 0.000 % | c =============================================================================== c New solution: 2915 c Elapsed CPU time: 155.987 s Remaining CPU time: 24.0127 s c =============================================================================== c | 98 | 800 1715 643600 | 5000 98 154 | 0.000 % | c =============================================================================== c New solution: 2914 c Elapsed CPU time: 156.342 s Remaining CPU time: 23.6578 s c =============================================================================== c | 98 | 800 1716 644300 | 5000 98 154 | 0.000 % | c =============================================================================== c New solution: 2913 c Elapsed CPU time: 156.661 s Remaining CPU time: 23.3388 s c =============================================================================== c | 98 | 800 1717 645000 | 5000 98 154 | 0.000 % | c =============================================================================== c New solution: 2912 c Elapsed CPU time: 157.008 s Remaining CPU time: 22.9919 s c =============================================================================== c | 98 | 800 1718 645700 | 5000 98 154 | 0.000 % | c =============================================================================== c New solution: 2911 c Elapsed CPU time: 157.333 s Remaining CPU time: 22.6669 s c =============================================================================== c | 99 | 800 1719 646400 | 5000 99 152 | 0.000 % | c =============================================================================== c New solution: 2910 c Elapsed CPU time: 157.67 s Remaining CPU time: 22.33 s c =============================================================================== c | 99 | 800 1720 647100 | 5000 99 152 | 0.000 % | c =============================================================================== c New solution: 2909 c Elapsed CPU time: 158.018 s Remaining CPU time: 21.982 s c =============================================================================== c | 99 | 800 1721 647800 | 5000 99 152 | 0.000 % | c =============================================================================== c New solution: 2908 c Elapsed CPU time: 158.347 s Remaining CPU time: 21.6531 s c =============================================================================== c | 99 | 800 1722 648500 | 5000 99 152 | 0.000 % | c =============================================================================== c New solution: 2907 c Elapsed CPU time: 158.68 s Remaining CPU time: 21.3201 s c =============================================================================== c | 99 | 800 1723 649200 | 5000 99 152 | 0.000 % | c =============================================================================== c New solution: 2906 c Elapsed CPU time: 159.015 s Remaining CPU time: 20.9852 s c =============================================================================== c | 99 | 800 1724 649900 | 5000 99 152 | 0.000 % | c =============================================================================== c New solution: 2905 c Elapsed CPU time: 159.347 s Remaining CPU time: 20.6532 s c =============================================================================== c | 99 | 800 1725 650600 | 5000 99 152 | 0.000 % | c =============================================================================== c New solution: 2904 c Elapsed CPU time: 159.675 s Remaining CPU time: 20.3253 s c =============================================================================== c | 104 | 800 1726 651300 | 5000 104 146 | 0.000 % | c =============================================================================== c New solution: 2903 c Elapsed CPU time: 160.007 s Remaining CPU time: 19.9933 s c =============================================================================== c | 104 | 800 1727 652000 | 5000 104 146 | 0.000 % | c =============================================================================== c New solution: 2902 c Elapsed CPU time: 160.338 s Remaining CPU time: 19.6624 s c =============================================================================== c | 104 | 800 1728 652700 | 5000 104 146 | 0.000 % | c =============================================================================== c New solution: 2901 c Elapsed CPU time: 160.664 s Remaining CPU time: 19.3364 s c =============================================================================== c | 104 | 800 1729 653400 | 5000 104 146 | 0.000 % | c =============================================================================== c New solution: 2900 c Elapsed CPU time: 160.993 s Remaining CPU time: 19.0075 s c =============================================================================== c | 105 | 800 1730 654100 | 5000 105 150 | 0.000 % | c =============================================================================== c New solution: 2899 c Elapsed CPU time: 161.329 s Remaining CPU time: 18.6705 s c =============================================================================== c | 113 | 800 1731 654800 | 5000 113 172 | 0.000 % | c =============================================================================== c New solution: 2898 c Elapsed CPU time: 161.655 s Remaining CPU time: 18.3446 s c =============================================================================== c | 114 | 800 1732 655500 | 5000 114 170 | 0.000 % | c =============================================================================== c New solution: 2897 c Elapsed CPU time: 161.968 s Remaining CPU time: 18.0316 s c =============================================================================== c | 116 | 800 1733 656200 | 5000 116 168 | 0.000 % | c =============================================================================== c New solution: 2896 c Elapsed CPU time: 162.307 s Remaining CPU time: 17.6927 s c =============================================================================== c | 118 | 800 1734 656900 | 5000 118 165 | 0.000 % | c =============================================================================== c New solution: 2895 c Elapsed CPU time: 162.646 s Remaining CPU time: 17.3537 s c =============================================================================== c | 118 | 800 1735 657600 | 5000 118 165 | 0.000 % | c =============================================================================== c New solution: 2894 c Elapsed CPU time: 162.973 s Remaining CPU time: 17.0268 s c =============================================================================== c | 118 | 800 1736 658300 | 5000 118 165 | 0.000 % | c =============================================================================== c New solution: 2893 c Elapsed CPU time: 163.298 s Remaining CPU time: 16.7018 s c =============================================================================== c | 118 | 800 1737 659000 | 5000 118 165 | 0.000 % | c =============================================================================== c New solution: 2892 c Elapsed CPU time: 163.639 s Remaining CPU time: 16.3609 s c =============================================================================== c | 120 | 800 1738 659700 | 5000 120 167 | 0.000 % | c =============================================================================== c New solution: 2891 c Elapsed CPU time: 163.958 s Remaining CPU time: 16.0419 s c =============================================================================== c | 120 | 800 1739 660400 | 5000 120 167 | 0.000 % | c =============================================================================== c New solution: 2890 c Elapsed CPU time: 164.283 s Remaining CPU time: 15.717 s c =============================================================================== c | 121 | 800 1740 661100 | 5000 121 165 | 0.000 % | c =============================================================================== c New solution: 2889 c Elapsed CPU time: 164.608 s Remaining CPU time: 15.392 s c =============================================================================== c | 122 | 800 1741 661800 | 5000 122 164 | 0.000 % | c =============================================================================== c New solution: 2888 c Elapsed CPU time: 164.958 s Remaining CPU time: 15.0421 s c =============================================================================== c | 124 | 800 1742 662500 | 5000 124 170 | 0.000 % | c =============================================================================== c New solution: 2887 c Elapsed CPU time: 165.289 s Remaining CPU time: 14.7111 s c =============================================================================== c | 124 | 800 1743 663200 | 5000 124 170 | 0.000 % | c =============================================================================== c New solution: 2886 c Elapsed CPU time: 165.611 s Remaining CPU time: 14.3892 s c =============================================================================== c | 125 | 800 1744 663900 | 5000 125 169 | 0.000 % | c =============================================================================== c New solution: 2885 c Elapsed CPU time: 165.937 s Remaining CPU time: 14.0632 s c =============================================================================== c | 125 | 800 1745 664600 | 5000 125 169 | 0.000 % | c =============================================================================== c New solution: 2884 c Elapsed CPU time: 166.292 s Remaining CPU time: 13.7083 s c =============================================================================== c | 126 | 800 1746 665300 | 5000 126 172 | 0.000 % | c =============================================================================== c New solution: 2883 c Elapsed CPU time: 166.633 s Remaining CPU time: 13.3673 s c =============================================================================== c | 126 | 800 1747 666000 | 5000 126 172 | 0.000 % | c =============================================================================== c New solution: 2882 c Elapsed CPU time: 166.982 s Remaining CPU time: 13.0184 s c =============================================================================== c | 130 | 800 1748 666700 | 5000 130 183 | 0.000 % | c =============================================================================== c New solution: 2881 c Elapsed CPU time: 167.323 s Remaining CPU time: 12.6774 s c =============================================================================== c | 130 | 800 1749 667400 | 5000 130 183 | 0.000 % | c =============================================================================== c New solution: 2880 c Elapsed CPU time: 167.642 s Remaining CPU time: 12.3585 s c =============================================================================== c | 130 | 800 1750 668100 | 5000 130 183 | 0.000 % | c =============================================================================== c New solution: 2879 c Elapsed CPU time: 167.979 s Remaining CPU time: 12.0205 s c =============================================================================== c | 130 | 800 1751 668800 | 5000 130 183 | 0.000 % | c =============================================================================== c New solution: 2878 c Elapsed CPU time: 168.316 s Remaining CPU time: 11.6836 s c =============================================================================== c | 130 | 800 1752 669500 | 5000 130 183 | 0.000 % | c =============================================================================== c New solution: 2877 c Elapsed CPU time: 168.636 s Remaining CPU time: 11.3636 s c =============================================================================== c | 132 | 800 1753 670200 | 5000 132 180 | 0.000 % | c =============================================================================== c New solution: 2876 c Elapsed CPU time: 168.969 s Remaining CPU time: 11.0307 s c =============================================================================== c | 132 | 800 1754 670900 | 5000 132 180 | 0.000 % | c =============================================================================== c New solution: 2875 c Elapsed CPU time: 169.311 s Remaining CPU time: 10.6887 s c =============================================================================== c | 133 | 800 1755 671600 | 5000 133 179 | 0.000 % | c =============================================================================== c New solution: 2874 c Elapsed CPU time: 169.631 s Remaining CPU time: 10.3688 s c =============================================================================== c | 134 | 800 1756 672300 | 5000 134 178 | 0.000 % | c =============================================================================== c New solution: 2873 c Elapsed CPU time: 169.97 s Remaining CPU time: 10.0298 s c =============================================================================== c | 141 | 800 1757 673000 | 5000 141 170 | 0.000 % | c =============================================================================== c New solution: 2872 c Elapsed CPU time: 170.408 s Remaining CPU time: 9.59191 s c =============================================================================== c | 151 | 800 1758 673700 | 5000 151 193 | 0.000 % | c =============================================================================== c New solution: 2871 c Elapsed CPU time: 170.735 s Remaining CPU time: 9.26496 s c =============================================================================== c | 152 | 800 1759 674400 | 5000 152 192 | 0.000 % | c =============================================================================== c New solution: 2870 c Elapsed CPU time: 171.054 s Remaining CPU time: 8.94601 s c =============================================================================== c | 159 | 800 1760 675100 | 5000 159 184 | 0.000 % | c =============================================================================== c New solution: 2869 c Elapsed CPU time: 171.364 s Remaining CPU time: 8.63605 s c =============================================================================== c | 160 | 800 1761 675800 | 5000 160 183 | 0.000 % | c =============================================================================== c New solution: 2868 c Elapsed CPU time: 171.693 s Remaining CPU time: 8.3071 s c =============================================================================== c | 160 | 800 1762 676500 | 5000 160 183 | 0.000 % | c =============================================================================== c New solution: 2867 c Elapsed CPU time: 172.049 s Remaining CPU time: 7.95116 s c =============================================================================== c | 161 | 800 1763 677200 | 5000 161 185 | 0.000 % | c =============================================================================== c New solution: 2866 c Elapsed CPU time: 172.381 s Remaining CPU time: 7.61921 s c =============================================================================== c | 161 | 800 1764 677900 | 5000 161 185 | 0.000 % | c =============================================================================== c New solution: 2865 c Elapsed CPU time: 172.692 s Remaining CPU time: 7.30825 s c =============================================================================== c | 162 | 800 1765 678600 | 5000 162 184 | 0.000 % | c =============================================================================== c New solution: 2864 c Elapsed CPU time: 173.047 s Remaining CPU time: 6.95331 s c =============================================================================== c | 163 | 800 1766 679300 | 5000 163 186 | 0.000 % | c =============================================================================== c New solution: 2863 c Elapsed CPU time: 173.382 s Remaining CPU time: 6.61836 s c =============================================================================== c | 163 | 800 1767 680000 | 5000 163 186 | 0.000 % | c =============================================================================== c New solution: 2862 c Elapsed CPU time: 173.733 s Remaining CPU time: 6.26741 s c =============================================================================== c | 166 | 800 1768 680700 | 5000 166 183 | 0.000 % | c =============================================================================== c New solution: 2861 c Elapsed CPU time: 174.265 s Remaining CPU time: 5.73549 s c =============================================================================== c | 183 | 800 1769 681400 | 5000 183 214 | 0.000 % | c =============================================================================== c New solution: 2860 c Elapsed CPU time: 174.577 s Remaining CPU time: 5.42254 s c =============================================================================== c | 185 | 800 1770 682100 | 5000 185 212 | 0.000 % | c =============================================================================== c New solution: 2859 c Elapsed CPU time: 174.915 s Remaining CPU time: 5.08459 s c =============================================================================== c | 185 | 800 1771 682800 | 5000 185 212 | 0.000 % | c =============================================================================== c New solution: 2858 c Elapsed CPU time: 175.246 s Remaining CPU time: 4.75364 s c =============================================================================== c | 185 | 800 1772 683500 | 5000 185 212 | 0.000 % | c =============================================================================== c New solution: 2857 c Elapsed CPU time: 175.582 s Remaining CPU time: 4.41769 s c =============================================================================== c | 185 | 800 1773 684200 | 5000 185 212 | 0.000 % | c =============================================================================== c New solution: 2856 c Elapsed CPU time: 175.926 s Remaining CPU time: 4.07375 s c =============================================================================== c | 185 | 800 1774 684900 | 5000 185 212 | 0.000 % | c =============================================================================== c New solution: 2855 c Elapsed CPU time: 176.261 s Remaining CPU time: 3.7388 s c =============================================================================== c | 185 | 800 1775 685600 | 5000 185 212 | 0.000 % | c =============================================================================== c New solution: 2854 c Elapsed CPU time: 176.601 s Remaining CPU time: 3.39885 s c =============================================================================== c | 185 | 800 1776 686300 | 5000 185 212 | 0.000 % | c =============================================================================== c New solution: 2853 c Elapsed CPU time: 176.935 s Remaining CPU time: 3.0649 s c =============================================================================== c | 190 | 800 1777 687000 | 5000 190 206 | 0.000 % | c =============================================================================== c New solution: 2852 c Elapsed CPU time: 177.269 s Remaining CPU time: 2.73095 s c =============================================================================== c | 191 | 800 1778 687700 | 5000 191 206 | 0.000 % | c =============================================================================== c New solution: 2851 c Elapsed CPU time: 177.609 s Remaining CPU time: 2.391 s c =============================================================================== c | 192 | 800 1779 688400 | 5000 192 204 | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 178.054 s Remaining CPU time: 1.94607 s c =============================================================================== c | 202 | 800 1780 689100 | 5000 202 215 | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 178.403 s Remaining CPU time: 1.59712 s c =============================================================================== c | 204 | 800 1781 689800 | 5000 204 214 | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 178.786 s Remaining CPU time: 1.21418 s c =============================================================================== c | 206 | 800 1782 690500 | 5000 206 214 | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 179.115 s Remaining CPU time: 0.88523 s c =============================================================================== c | 207 | 800 1783 691200 | 5000 207 213 | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 179.463 s Remaining CPU time: 0.537283 s c =============================================================================== c | 209 | 800 1784 691900 | 5000 209 211 | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 179.787 s Remaining CPU time: 0.213332 s c =============================================================================== c | 210 | 800 1785 692600 | 5000 210 210 | 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 2490 3112 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 309 2666 3338 | 5000 0 nan | 0.000 % | c | 103 | 309 2666 3338 | 5500 103 46 | 68.851 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 487 2813 3541 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 682 2958 3803 | 5000 0 nan | 0.000 % | c | 101 | 682 2958 3803 | 5500 101 42 | 48.799 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 920 3135 4127 | 5000 0 nan | 0.000 % | c | 101 | 920 3135 4127 | 5500 101 57 | 40.260 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1152 3306 4459 | 5000 0 nan | 0.000 % | c | 101 | 1152 3306 4459 | 5500 101 53 | 34.171 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1469 3532 4938 | 5000 0 nan | 0.000 % | c | 101 | 1469 3532 4938 | 5500 101 43 | 28.026 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1749 3751 5320 | 5000 0 nan | 0.000 % | c | 100 | 1749 3751 5320 | 5500 100 38 | 23.923 % | c | 251 | 1748 3751 5320 | 6050 190 29 | 24.010 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2187 4075 6014 | 5000 0 nan | 0.000 % | c | 100 | 2187 4075 6014 | 5500 100 54 | 19.000 % | c | 250 | 2186 4075 6014 | 6050 95 26 | 19.037 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2725 4412 7085 | 5000 0 nan | 0.000 % | c | 100 | 2725 4412 7085 | 5500 100 50 | 14.065 % | c | 250 | 2725 4412 7085 | 6050 250 39 | 14.065 % | c | 475 | 2722 4412 7085 | 6655 342 44 | 14.160 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3282 4720 8324 | 5000 0 nan | 0.000 % | c | 100 | 3282 4720 8324 | 5500 100 51 | 10.621 % | c | 251 | 3282 4720 8324 | 6050 251 39 | 10.621 % | c | 477 | 3282 4720 8324 | 6655 477 35 | 10.621 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3975 5012 9967 | 5000 0 nan | 0.000 % | c | 103 | 3975 5012 9967 | 5500 103 43 | 7.494 % | c | 256 | 3975 5012 9967 | 6050 256 32 | 7.494 % | c | 481 | 3975 5012 9967 | 6655 481 33 | 7.494 % | c | 820 | 3974 5012 9967 | 7320 590 30 | 7.517 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4832 5240 12268 | 5000 0 nan | 0.000 % | c | 100 | 4832 5240 12268 | 5500 100 34 | 4.882 % | c | 250 | 4832 5240 12268 | 6050 250 30 | 4.882 % | c | 475 | 4832 5240 12268 | 6655 475 27 | 4.882 % | c | 812 | 4832 5240 12268 | 7320 812 29 | 4.882 % | c | 1318 | 4832 5240 12268 | 8052 1318 29 | 4.882 % | c | 2077 | 4832 5240 12268 | 8857 2077 29 | 4.882 % | c | 3217 | 4832 5240 12268 | 9743 3217 33 | 4.882 % | c | 4925 | 4831 5240 12268 | 10717 3994 49 | 4.902 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6482 5429 16048 | 5000 0 nan | 0.000 % | c | 100 | 6482 5429 16048 | 5500 100 26 | 2.819 % | c | 250 | 6482 5429 16048 | 6050 250 24 | 2.819 % | c | 475 | 6482 5429 16048 | 6655 475 26 | 2.819 % | c | 815 | 6482 5429 16048 | 7320 815 21 | 2.819 % | c | 1322 | 6482 5429 16048 | 8052 1322 30 | 2.819 % | c | 2081 | 6482 5429 16048 | 8857 2081 30 | 2.819 % | c | 3220 | 6482 5429 16048 | 9743 3220 39 | 2.819 % | c | 4928 | 6482 5429 16048 | 10717 4928 49 | 2.819 % | c | 7493 | 6482 5429 16048 | 11789 7493 47 | 2.819 % | c | 11337 | 6482 5429 16048 | 12968 11337 48 | 2.819 % | c | 17103 | 6481 5429 16048 | 14265 11643 35 | 2.834 % | c | 25753 | 6480 5429 16048 | 15692 8261 27 | 2.849 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8787 5547 38941 | 5000 0 nan | 0.000 % | c | 100 | 8787 5547 38941 | 5500 100 32 | 1.325 % | c | 252 | 8787 5547 38941 | 6050 252 21 | 1.325 % | c | 477 | 8787 5547 38941 | 6655 477 20 | 1.325 % | c | 816 | 8787 5547 38941 | 7320 816 16 | 1.325 % | c | 1322 | 8787 5547 38941 | 8052 1322 34 | 1.325 % | c | 2083 | 8787 5547 38941 | 8857 2083 28 | 1.325 % | c | 3222 | 8787 5547 38941 | 9743 3222 36 | 1.325 % | c | 4930 | 8787 5547 38941 | 10717 4930 36 | 1.325 % | c | 7492 | 8787 5547 38941 | 11789 7492 42 | 1.325 % | c | 11336 | 8787 5547 38941 | 12968 11336 44 | 1.325 % | c | 17102 | 8787 5547 38941 | 14265 10545 32 | 1.325 % | c | 25751 | 8787 5547 38941 | 15692 11986 78 | 1.325 % | c | 38725 | 8787 5547 38941 | 17261 9117 25 | 1.325 % | c | 58186 | 8786 5547 38941 | 18987 14579 26 | 1.336 % | c | 87378 | 8785 5547 38941 | 20886 16929 27 | 1.348 % | c | 131168 | 8784 5547 38941 | 22974 16936 36 | 1.359 % | c | 196854 | 8784 5547 38941 | 25272 13145 28 | 1.359 % | c | 295381 | 8781 5547 38941 | 27799 19692 30 | 1.392 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11799 5628 263096 | 5000 0 nan | 0.000 % | c | 100 | 11799 5628 263096 | 5500 100 33 | 0.682 % | c | 250 | 11799 5628 263096 | 6050 250 18 | 0.682 % | c | 475 | 11799 5628 263096 | 6655 475 17 | 0.682 % | c | 813 | 11799 5628 263096 | 7320 813 15 | 0.682 % | c | 1319 | 11799 5628 263096 | 8052 1319 33 | 0.682 % | c | 2078 | 11799 5628 263096 | 8857 2078 35 | 0.682 % | c | 3217 | 11799 5628 263096 | 9743 3217 88 | 0.682 % | c | 4925 | 11799 5628 263096 | 10717 4925 120 | 0.682 % | c | 7487 | 11799 5628 263096 | 11789 7487 90 | 0.682 % | c | 11331 | 11799 5628 263096 | 12968 11331 102 | 0.682 % | c | 17103 | 11799 5628 263096 | 14265 10529 63 | 0.682 % | c | 25753 | 11799 5628 263096 | 15692 11731 129 | 0.682 % | c | 38727 | 11799 5628 263096 | 17261 15510 298 | 0.682 % | c | 58188 | 11799 5628 263096 | 18987 16754 125 | 0.682 % | c | 87381 | 11799 5628 263096 | 20886 14832 265 | 0.682 % | c | 131171 | 11799 5628 263096 | 22974 13823 126 | 0.682 % | c | 196856 | 11799 5628 263096 | 25272 20533 45 | 0.682 % | c | 295383 | 11798 5628 263096 | 27799 14263 53 | 0.690 % | c | 443172 | 11798 5628 263096 | 30579 17429 36 | 0.690 % |