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: 3906 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 800 801 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3899 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 0 | 800 802 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3896 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 800 803 5200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3895 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 800 804 5900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3891 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 0 | 800 805 6600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3888 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 800 806 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3887 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 800 807 8000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3886 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 800 808 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3882 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 800 809 9400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3879 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 800 810 10100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3878 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 800 811 10800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3877 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 0 | 800 812 11500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3876 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 800 813 12200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3875 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 800 814 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3874 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 800 815 13600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3873 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 800 816 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3872 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 800 817 15000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3871 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 800 818 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3870 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 800 819 16400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3867 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 800 820 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3865 c Elapsed CPU time: 0.083987 s Remaining CPU time: 179.916 s c =============================================================================== c | 0 | 800 821 17800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3864 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 800 822 18500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3862 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 800 823 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3861 c Elapsed CPU time: 0.100984 s Remaining CPU time: 179.899 s c =============================================================================== c | 0 | 800 824 19900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3860 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 0 | 800 825 20600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3858 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 800 826 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3857 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 0 | 800 827 22000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3856 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 800 828 22700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3855 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 0 | 800 829 23400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3853 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 800 830 24100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3852 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 800 831 24800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3850 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 0 | 800 832 25500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3849 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 800 833 26200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3847 c Elapsed CPU time: 0.159975 s Remaining CPU time: 179.84 s c =============================================================================== c | 0 | 800 834 26900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3845 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 0 | 800 835 27600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3843 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 0 | 800 836 28300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3842 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 0 | 800 837 29000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3841 c Elapsed CPU time: 0.184971 s Remaining CPU time: 179.815 s c =============================================================================== c | 0 | 800 838 29700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3840 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 800 839 30400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3839 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 800 840 31100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3837 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 0 | 800 841 31800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3836 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 0 | 800 842 32500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3835 c Elapsed CPU time: 0.221966 s Remaining CPU time: 179.778 s c =============================================================================== c | 0 | 800 843 33200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3832 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 0 | 800 844 33900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3831 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 800 845 34600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3830 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 800 846 35300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3829 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 800 847 36000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3828 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 800 848 36700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3827 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 0 | 800 849 37400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3825 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 0 | 800 850 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3822 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 0 | 800 851 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3820 c Elapsed CPU time: 0.296954 s Remaining CPU time: 179.703 s c =============================================================================== c | 0 | 800 852 39500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3818 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 800 853 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3816 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 0 | 800 854 40900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3815 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 0 | 800 855 41600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3813 c Elapsed CPU time: 0.333949 s Remaining CPU time: 179.666 s c =============================================================================== c | 0 | 800 856 42300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3812 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 0 | 800 857 43000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3810 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 0 | 800 858 43700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3809 c Elapsed CPU time: 0.362944 s Remaining CPU time: 179.637 s c =============================================================================== c | 0 | 800 859 44400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3808 c Elapsed CPU time: 0.372943 s Remaining CPU time: 179.627 s c =============================================================================== c | 0 | 800 860 45100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3806 c Elapsed CPU time: 0.383941 s Remaining CPU time: 179.616 s c =============================================================================== c | 0 | 800 861 45800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3805 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 0 | 800 862 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3801 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 0 | 800 863 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3798 c Elapsed CPU time: 0.413937 s Remaining CPU time: 179.586 s c =============================================================================== c | 0 | 800 864 47900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3797 c Elapsed CPU time: 0.422935 s Remaining CPU time: 179.577 s c =============================================================================== c | 0 | 800 865 48600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3793 c Elapsed CPU time: 0.434933 s Remaining CPU time: 179.565 s c =============================================================================== c | 0 | 800 866 49300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3790 c Elapsed CPU time: 0.446932 s Remaining CPU time: 179.553 s c =============================================================================== c | 0 | 800 867 50000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3784 c Elapsed CPU time: 0.45793 s Remaining CPU time: 179.542 s c =============================================================================== c | 0 | 800 868 50700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3783 c Elapsed CPU time: 0.468928 s Remaining CPU time: 179.531 s c =============================================================================== c | 0 | 800 869 51400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3777 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 0 | 800 870 52100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 0.493924 s Remaining CPU time: 179.506 s c =============================================================================== c | 0 | 800 871 52800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3773 c Elapsed CPU time: 0.505923 s Remaining CPU time: 179.494 s c =============================================================================== c | 0 | 800 872 53500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3769 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 0 | 800 873 54200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3766 c Elapsed CPU time: 0.530919 s Remaining CPU time: 179.469 s c =============================================================================== c | 0 | 800 874 54900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3765 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s c =============================================================================== c | 0 | 800 875 55600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 0 | 800 876 56300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3761 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 0 | 800 877 57000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 0 | 800 878 57700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3754 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 0 | 800 879 58400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 0 | 800 880 59100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3745 c Elapsed CPU time: 0.626904 s Remaining CPU time: 179.373 s c =============================================================================== c | 0 | 800 881 59800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 0 | 800 882 60500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 0 | 800 883 61200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3738 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 0 | 800 884 61900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3735 c Elapsed CPU time: 0.685895 s Remaining CPU time: 179.314 s c =============================================================================== c | 0 | 800 885 62600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3734 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 0 | 800 886 63300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 0 | 800 887 64000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 0.733888 s Remaining CPU time: 179.266 s c =============================================================================== c | 0 | 800 888 64700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3729 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 0 | 800 889 65400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 0.764883 s Remaining CPU time: 179.235 s c =============================================================================== c | 0 | 800 890 66100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 0.78288 s Remaining CPU time: 179.217 s c =============================================================================== c | 0 | 800 891 66800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3725 c Elapsed CPU time: 0.800878 s Remaining CPU time: 179.199 s c =============================================================================== c | 0 | 800 892 67500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 0.818875 s Remaining CPU time: 179.181 s c =============================================================================== c | 0 | 800 893 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 0.834873 s Remaining CPU time: 179.165 s c =============================================================================== c | 0 | 800 894 68900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 0 | 800 895 69600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 0.872867 s Remaining CPU time: 179.127 s c =============================================================================== c | 0 | 800 896 70300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3717 c Elapsed CPU time: 0.892864 s Remaining CPU time: 179.107 s c =============================================================================== c | 0 | 800 897 71000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 0.913861 s Remaining CPU time: 179.086 s c =============================================================================== c | 0 | 800 898 71700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s c =============================================================================== c | 0 | 800 899 72400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 0.952855 s Remaining CPU time: 179.047 s c =============================================================================== c | 0 | 800 900 73100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 0.973851 s Remaining CPU time: 179.026 s c =============================================================================== c | 0 | 800 901 73800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 0.991849 s Remaining CPU time: 179.008 s c =============================================================================== c | 0 | 800 902 74500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 1.01185 s Remaining CPU time: 178.988 s c =============================================================================== c | 0 | 800 903 75200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 1.03484 s Remaining CPU time: 178.965 s c =============================================================================== c | 1 | 800 904 75900 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3705 c Elapsed CPU time: 1.05984 s Remaining CPU time: 178.94 s c =============================================================================== c | 1 | 800 905 76600 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 1.08483 s Remaining CPU time: 178.915 s c =============================================================================== c | 1 | 800 906 77300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 1.10883 s Remaining CPU time: 178.891 s c =============================================================================== c | 1 | 800 907 78000 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 1.13083 s Remaining CPU time: 178.869 s c =============================================================================== c | 1 | 800 908 78700 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 1.15682 s Remaining CPU time: 178.843 s c =============================================================================== c | 1 | 800 909 79400 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 1.18282 s Remaining CPU time: 178.817 s c =============================================================================== c | 1 | 800 910 80100 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 1.20682 s Remaining CPU time: 178.793 s c =============================================================================== c | 1 | 800 911 80800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 1.23381 s Remaining CPU time: 178.766 s c =============================================================================== c | 1 | 800 912 81500 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 1.25881 s Remaining CPU time: 178.741 s c =============================================================================== c | 1 | 800 913 82200 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3694 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s c =============================================================================== c | 1 | 800 914 82900 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 1.3118 s Remaining CPU time: 178.688 s c =============================================================================== c | 1 | 800 915 83600 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3692 c Elapsed CPU time: 1.3418 s Remaining CPU time: 178.658 s c =============================================================================== c | 1 | 800 916 84300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 1.37379 s Remaining CPU time: 178.626 s c =============================================================================== c | 1 | 800 917 85000 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 1.39979 s Remaining CPU time: 178.6 s c =============================================================================== c | 1 | 800 918 85700 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 1.43278 s Remaining CPU time: 178.567 s c =============================================================================== c | 1 | 800 919 86400 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 1.46678 s Remaining CPU time: 178.533 s c =============================================================================== c | 1 | 800 920 87100 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 1.49777 s Remaining CPU time: 178.502 s c =============================================================================== c | 1 | 800 921 87800 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 1.53277 s Remaining CPU time: 178.467 s c =============================================================================== c | 1 | 800 922 88500 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3683 c Elapsed CPU time: 1.56676 s Remaining CPU time: 178.433 s c =============================================================================== c | 1 | 800 923 89200 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s c =============================================================================== c | 1 | 800 924 89900 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 1.63075 s Remaining CPU time: 178.369 s c =============================================================================== c | 1 | 800 925 90600 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 1.66375 s Remaining CPU time: 178.336 s c =============================================================================== c | 1 | 800 926 91300 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 1.69774 s Remaining CPU time: 178.302 s c =============================================================================== c | 1 | 800 927 92000 | 5000 1 7 | 0.000 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 1.73174 s Remaining CPU time: 178.268 s c =============================================================================== c | 2 | 800 928 92700 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 1.76473 s Remaining CPU time: 178.235 s c =============================================================================== c | 2 | 800 929 93400 | 5000 2 340 | 0.000 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 1.79373 s Remaining CPU time: 178.206 s c =============================================================================== c | 3 | 800 930 94100 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 1.82672 s Remaining CPU time: 178.173 s c =============================================================================== c | 3 | 800 931 94800 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3668 c Elapsed CPU time: 1.86072 s Remaining CPU time: 178.139 s c =============================================================================== c | 3 | 800 932 95500 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3667 c Elapsed CPU time: 1.89571 s Remaining CPU time: 178.104 s c =============================================================================== c | 3 | 800 933 96200 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 1.93171 s Remaining CPU time: 178.068 s c =============================================================================== c | 3 | 800 934 96900 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 1.9667 s Remaining CPU time: 178.033 s c =============================================================================== c | 3 | 800 935 97600 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 3 | 800 936 98300 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 2.03169 s Remaining CPU time: 177.968 s c =============================================================================== c | 3 | 800 937 99000 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 2.06868 s Remaining CPU time: 177.931 s c =============================================================================== c | 3 | 800 938 99700 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3657 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s c =============================================================================== c | 3 | 800 939 100400 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 2.13967 s Remaining CPU time: 177.86 s c =============================================================================== c | 3 | 800 940 101100 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 2.18167 s Remaining CPU time: 177.818 s c =============================================================================== c | 3 | 800 941 101800 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 2.22266 s Remaining CPU time: 177.777 s c =============================================================================== c | 3 | 800 942 102500 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 2.26365 s Remaining CPU time: 177.736 s c =============================================================================== c | 3 | 800 943 103200 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 2.30065 s Remaining CPU time: 177.699 s c =============================================================================== c | 3 | 800 944 103900 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 2.33664 s Remaining CPU time: 177.663 s c =============================================================================== c | 3 | 800 945 104600 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 3 | 800 946 105300 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 2.41963 s Remaining CPU time: 177.58 s c =============================================================================== c | 3 | 800 947 106000 | 5000 3 229 | 0.000 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 2.45863 s Remaining CPU time: 177.541 s c =============================================================================== c | 4 | 800 948 106700 | 5000 4 173 | 0.000 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 2.50162 s Remaining CPU time: 177.498 s c =============================================================================== c | 4 | 800 949 107400 | 5000 4 173 | 0.000 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 2.54561 s Remaining CPU time: 177.454 s c =============================================================================== c | 4 | 800 950 108100 | 5000 4 173 | 0.000 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 2.58961 s Remaining CPU time: 177.41 s c =============================================================================== c | 4 | 800 951 108800 | 5000 4 173 | 0.000 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 2.6296 s Remaining CPU time: 177.37 s c =============================================================================== c | 5 | 800 952 109500 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3635 c Elapsed CPU time: 2.67359 s Remaining CPU time: 177.326 s c =============================================================================== c | 5 | 800 953 110200 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3634 c Elapsed CPU time: 2.71359 s Remaining CPU time: 177.286 s c =============================================================================== c | 5 | 800 954 110900 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3632 c Elapsed CPU time: 2.75358 s Remaining CPU time: 177.246 s c =============================================================================== c | 6 | 800 955 111600 | 5000 6 117 | 0.000 % | c =============================================================================== c New solution: 3631 c Elapsed CPU time: 2.79157 s Remaining CPU time: 177.208 s c =============================================================================== c | 6 | 800 956 112300 | 5000 6 117 | 0.000 % | c =============================================================================== c New solution: 3630 c Elapsed CPU time: 2.83057 s Remaining CPU time: 177.169 s c =============================================================================== c | 6 | 800 957 113000 | 5000 6 117 | 0.000 % | c =============================================================================== c New solution: 3629 c Elapsed CPU time: 2.86956 s Remaining CPU time: 177.13 s c =============================================================================== c | 6 | 800 958 113700 | 5000 6 117 | 0.000 % | c =============================================================================== c New solution: 3627 c Elapsed CPU time: 2.90756 s Remaining CPU time: 177.092 s c =============================================================================== c | 6 | 800 959 114400 | 5000 6 117 | 0.000 % | c =============================================================================== c New solution: 3626 c Elapsed CPU time: 2.94855 s Remaining CPU time: 177.051 s c =============================================================================== c | 6 | 800 960 115100 | 5000 6 117 | 0.000 % | c =============================================================================== c New solution: 3625 c Elapsed CPU time: 2.98754 s Remaining CPU time: 177.012 s c =============================================================================== c | 6 | 800 961 115800 | 5000 6 117 | 0.000 % | c =============================================================================== c New solution: 3624 c Elapsed CPU time: 3.03754 s Remaining CPU time: 176.962 s c =============================================================================== c | 6 | 800 962 116500 | 5000 6 117 | 0.000 % | c =============================================================================== c New solution: 3623 c Elapsed CPU time: 3.08153 s Remaining CPU time: 176.918 s c =============================================================================== c | 6 | 800 963 117200 | 5000 6 117 | 0.000 % | c =============================================================================== c New solution: 3622 c Elapsed CPU time: 3.12252 s Remaining CPU time: 176.877 s c =============================================================================== c | 7 | 800 964 117900 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3621 c Elapsed CPU time: 3.16552 s Remaining CPU time: 176.834 s c =============================================================================== c | 7 | 800 965 118600 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3620 c Elapsed CPU time: 3.20751 s Remaining CPU time: 176.792 s c =============================================================================== c | 7 | 800 966 119300 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3619 c Elapsed CPU time: 3.25251 s Remaining CPU time: 176.747 s c =============================================================================== c | 7 | 800 967 120000 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3618 c Elapsed CPU time: 3.3005 s Remaining CPU time: 176.7 s c =============================================================================== c | 7 | 800 968 120700 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3617 c Elapsed CPU time: 3.34549 s Remaining CPU time: 176.655 s c =============================================================================== c | 7 | 800 969 121400 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3616 c Elapsed CPU time: 3.39148 s Remaining CPU time: 176.609 s c =============================================================================== c | 7 | 800 970 122100 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3615 c Elapsed CPU time: 3.43348 s Remaining CPU time: 176.567 s c =============================================================================== c | 7 | 800 971 122800 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3614 c Elapsed CPU time: 3.47847 s Remaining CPU time: 176.522 s c =============================================================================== c | 7 | 800 972 123500 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3613 c Elapsed CPU time: 3.52846 s Remaining CPU time: 176.472 s c =============================================================================== c | 7 | 800 973 124200 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3612 c Elapsed CPU time: 3.58146 s Remaining CPU time: 176.419 s c =============================================================================== c | 7 | 800 974 124900 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3611 c Elapsed CPU time: 3.62945 s Remaining CPU time: 176.371 s c =============================================================================== c | 7 | 800 975 125600 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3610 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s c =============================================================================== c | 7 | 800 976 126300 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3609 c Elapsed CPU time: 3.72643 s Remaining CPU time: 176.274 s c =============================================================================== c | 7 | 800 977 127000 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3608 c Elapsed CPU time: 3.77743 s Remaining CPU time: 176.223 s c =============================================================================== c | 7 | 800 978 127700 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3607 c Elapsed CPU time: 3.82742 s Remaining CPU time: 176.173 s c =============================================================================== c | 7 | 800 979 128400 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3606 c Elapsed CPU time: 3.87941 s Remaining CPU time: 176.121 s c =============================================================================== c | 7 | 800 980 129100 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3605 c Elapsed CPU time: 3.9304 s Remaining CPU time: 176.07 s c =============================================================================== c | 7 | 800 981 129800 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3604 c Elapsed CPU time: 3.97839 s Remaining CPU time: 176.022 s c =============================================================================== c | 7 | 800 982 130500 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3603 c Elapsed CPU time: 4.02539 s Remaining CPU time: 175.975 s c =============================================================================== c | 7 | 800 983 131200 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3602 c Elapsed CPU time: 4.07738 s Remaining CPU time: 175.923 s c =============================================================================== c | 7 | 800 984 131900 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3601 c Elapsed CPU time: 4.14237 s Remaining CPU time: 175.858 s c =============================================================================== c | 7 | 800 985 132600 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3600 c Elapsed CPU time: 4.20036 s Remaining CPU time: 175.8 s c =============================================================================== c | 7 | 800 986 133300 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3599 c Elapsed CPU time: 4.26135 s Remaining CPU time: 175.739 s c =============================================================================== c | 7 | 800 987 134000 | 5000 7 101 | 0.000 % | c =============================================================================== c New solution: 3598 c Elapsed CPU time: 4.31834 s Remaining CPU time: 175.682 s c =============================================================================== c | 8 | 800 988 134700 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3597 c Elapsed CPU time: 4.37434 s Remaining CPU time: 175.626 s c =============================================================================== c | 8 | 800 989 135400 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3596 c Elapsed CPU time: 4.43033 s Remaining CPU time: 175.57 s c =============================================================================== c | 8 | 800 990 136100 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3595 c Elapsed CPU time: 4.48332 s Remaining CPU time: 175.517 s c =============================================================================== c | 8 | 800 991 136800 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3594 c Elapsed CPU time: 4.53631 s Remaining CPU time: 175.464 s c =============================================================================== c | 8 | 800 992 137500 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3593 c Elapsed CPU time: 4.5933 s Remaining CPU time: 175.407 s c =============================================================================== c | 8 | 800 993 138200 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3592 c Elapsed CPU time: 4.64829 s Remaining CPU time: 175.352 s c =============================================================================== c | 8 | 800 994 138900 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3591 c Elapsed CPU time: 4.70129 s Remaining CPU time: 175.299 s c =============================================================================== c | 8 | 800 995 139600 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3590 c Elapsed CPU time: 4.75728 s Remaining CPU time: 175.243 s c =============================================================================== c | 8 | 800 996 140300 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3589 c Elapsed CPU time: 4.81627 s Remaining CPU time: 175.184 s c =============================================================================== c | 8 | 800 997 141000 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3588 c Elapsed CPU time: 4.87726 s Remaining CPU time: 175.123 s c =============================================================================== c | 8 | 800 998 141700 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3587 c Elapsed CPU time: 4.93625 s Remaining CPU time: 175.064 s c =============================================================================== c | 8 | 800 999 142400 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3586 c Elapsed CPU time: 4.99424 s Remaining CPU time: 175.006 s c =============================================================================== c | 8 | 800 1000 143100 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3585 c Elapsed CPU time: 5.05123 s Remaining CPU time: 174.949 s c =============================================================================== c | 8 | 800 1001 143800 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3584 c Elapsed CPU time: 5.11022 s Remaining CPU time: 174.89 s c =============================================================================== c | 8 | 800 1002 144500 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3582 c Elapsed CPU time: 5.16821 s Remaining CPU time: 174.832 s c =============================================================================== c | 8 | 800 1003 145200 | 5000 8 89 | 0.000 % | c =============================================================================== c New solution: 3581 c Elapsed CPU time: 5.2272 s Remaining CPU time: 174.773 s c =============================================================================== c | 9 | 800 1004 145900 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3580 c Elapsed CPU time: 5.2812 s Remaining CPU time: 174.719 s c =============================================================================== c | 9 | 800 1005 146600 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3579 c Elapsed CPU time: 5.33419 s Remaining CPU time: 174.666 s c =============================================================================== c | 9 | 800 1006 147300 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3578 c Elapsed CPU time: 5.39118 s Remaining CPU time: 174.609 s c =============================================================================== c | 9 | 800 1007 148000 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3577 c Elapsed CPU time: 5.45017 s Remaining CPU time: 174.55 s c =============================================================================== c | 9 | 800 1008 148700 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3576 c Elapsed CPU time: 5.51216 s Remaining CPU time: 174.488 s c =============================================================================== c | 9 | 800 1009 149400 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3575 c Elapsed CPU time: 5.57915 s Remaining CPU time: 174.421 s c =============================================================================== c | 9 | 800 1010 150100 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3574 c Elapsed CPU time: 5.63814 s Remaining CPU time: 174.362 s c =============================================================================== c | 9 | 800 1011 150800 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3573 c Elapsed CPU time: 5.69813 s Remaining CPU time: 174.302 s c =============================================================================== c | 9 | 800 1012 151500 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3572 c Elapsed CPU time: 5.75712 s Remaining CPU time: 174.243 s c =============================================================================== c | 9 | 800 1013 152200 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3571 c Elapsed CPU time: 5.81912 s Remaining CPU time: 174.181 s c =============================================================================== c | 9 | 800 1014 152900 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3570 c Elapsed CPU time: 5.8811 s Remaining CPU time: 174.119 s c =============================================================================== c | 9 | 800 1015 153600 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3569 c Elapsed CPU time: 5.9401 s Remaining CPU time: 174.06 s c =============================================================================== c | 9 | 800 1016 154300 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3568 c Elapsed CPU time: 6.00209 s Remaining CPU time: 173.998 s c =============================================================================== c | 9 | 800 1017 155000 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3567 c Elapsed CPU time: 6.05908 s Remaining CPU time: 173.941 s c =============================================================================== c | 9 | 800 1018 155700 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3566 c Elapsed CPU time: 6.12107 s Remaining CPU time: 173.879 s c =============================================================================== c | 9 | 800 1019 156400 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3565 c Elapsed CPU time: 6.19006 s Remaining CPU time: 173.81 s c =============================================================================== c | 9 | 800 1020 157100 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3564 c Elapsed CPU time: 6.25605 s Remaining CPU time: 173.744 s c =============================================================================== c | 9 | 800 1021 157800 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3563 c Elapsed CPU time: 6.31804 s Remaining CPU time: 173.682 s c =============================================================================== c | 9 | 800 1022 158500 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3562 c Elapsed CPU time: 6.38903 s Remaining CPU time: 173.611 s c =============================================================================== c | 9 | 800 1023 159200 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3561 c Elapsed CPU time: 6.45702 s Remaining CPU time: 173.543 s c =============================================================================== c | 9 | 800 1024 159900 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3560 c Elapsed CPU time: 6.52701 s Remaining CPU time: 173.473 s c =============================================================================== c | 9 | 800 1025 160600 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3559 c Elapsed CPU time: 6.601 s Remaining CPU time: 173.399 s c =============================================================================== c | 9 | 800 1026 161300 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3558 c Elapsed CPU time: 6.67199 s Remaining CPU time: 173.328 s c =============================================================================== c | 9 | 800 1027 162000 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3557 c Elapsed CPU time: 6.73998 s Remaining CPU time: 173.26 s c =============================================================================== c | 9 | 800 1028 162700 | 5000 9 152 | 0.000 % | c =============================================================================== c New solution: 3556 c Elapsed CPU time: 6.80097 s Remaining CPU time: 173.199 s c =============================================================================== c | 10 | 800 1029 163400 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3555 c Elapsed CPU time: 6.86895 s Remaining CPU time: 173.131 s c =============================================================================== c | 10 | 800 1030 164100 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3554 c Elapsed CPU time: 6.93295 s Remaining CPU time: 173.067 s c =============================================================================== c | 10 | 800 1031 164800 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3553 c Elapsed CPU time: 6.99594 s Remaining CPU time: 173.004 s c =============================================================================== c | 10 | 800 1032 165500 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3552 c Elapsed CPU time: 7.05993 s Remaining CPU time: 172.94 s c =============================================================================== c | 10 | 800 1033 166200 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3551 c Elapsed CPU time: 7.12692 s Remaining CPU time: 172.873 s c =============================================================================== c | 10 | 800 1034 166900 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3550 c Elapsed CPU time: 7.20191 s Remaining CPU time: 172.798 s c =============================================================================== c | 10 | 800 1035 167600 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3549 c Elapsed CPU time: 7.26989 s Remaining CPU time: 172.73 s c =============================================================================== c | 10 | 800 1036 168300 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3548 c Elapsed CPU time: 7.33988 s Remaining CPU time: 172.66 s c =============================================================================== c | 10 | 800 1037 169000 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3547 c Elapsed CPU time: 7.41287 s Remaining CPU time: 172.587 s c =============================================================================== c | 10 | 800 1038 169700 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3546 c Elapsed CPU time: 7.48586 s Remaining CPU time: 172.514 s c =============================================================================== c | 10 | 800 1039 170400 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3545 c Elapsed CPU time: 7.55585 s Remaining CPU time: 172.444 s c =============================================================================== c | 10 | 800 1040 171100 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3544 c Elapsed CPU time: 7.62784 s Remaining CPU time: 172.372 s c =============================================================================== c | 10 | 800 1041 171800 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3543 c Elapsed CPU time: 7.69883 s Remaining CPU time: 172.301 s c =============================================================================== c | 10 | 800 1042 172500 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3542 c Elapsed CPU time: 7.76882 s Remaining CPU time: 172.231 s c =============================================================================== c | 10 | 800 1043 173200 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3541 c Elapsed CPU time: 7.84881 s Remaining CPU time: 172.151 s c =============================================================================== c | 10 | 800 1044 173900 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3540 c Elapsed CPU time: 7.92279 s Remaining CPU time: 172.077 s c =============================================================================== c | 10 | 800 1045 174600 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3539 c Elapsed CPU time: 7.99778 s Remaining CPU time: 172.002 s c =============================================================================== c | 10 | 800 1046 175300 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3538 c Elapsed CPU time: 8.06877 s Remaining CPU time: 171.931 s c =============================================================================== c | 10 | 800 1047 176000 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3537 c Elapsed CPU time: 8.14476 s Remaining CPU time: 171.855 s c =============================================================================== c | 10 | 800 1048 176700 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3536 c Elapsed CPU time: 8.21775 s Remaining CPU time: 171.782 s c =============================================================================== c | 10 | 800 1049 177400 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3535 c Elapsed CPU time: 8.29374 s Remaining CPU time: 171.706 s c =============================================================================== c | 10 | 800 1050 178100 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3534 c Elapsed CPU time: 8.36573 s Remaining CPU time: 171.634 s c =============================================================================== c | 10 | 800 1051 178800 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3533 c Elapsed CPU time: 8.44072 s Remaining CPU time: 171.559 s c =============================================================================== c | 10 | 800 1052 179500 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3532 c Elapsed CPU time: 8.5187 s Remaining CPU time: 171.481 s c =============================================================================== c | 10 | 800 1053 180200 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3531 c Elapsed CPU time: 8.59569 s Remaining CPU time: 171.404 s c =============================================================================== c | 10 | 800 1054 180900 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3530 c Elapsed CPU time: 8.67068 s Remaining CPU time: 171.329 s c =============================================================================== c | 10 | 800 1055 181600 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3529 c Elapsed CPU time: 8.75067 s Remaining CPU time: 171.249 s c =============================================================================== c | 10 | 800 1056 182300 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3528 c Elapsed CPU time: 8.83466 s Remaining CPU time: 171.165 s c =============================================================================== c | 10 | 800 1057 183000 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3527 c Elapsed CPU time: 8.91664 s Remaining CPU time: 171.083 s c =============================================================================== c | 10 | 800 1058 183700 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3526 c Elapsed CPU time: 9.00963 s Remaining CPU time: 170.99 s c =============================================================================== c | 10 | 800 1059 184400 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3525 c Elapsed CPU time: 9.09362 s Remaining CPU time: 170.906 s c =============================================================================== c | 10 | 800 1060 185100 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3524 c Elapsed CPU time: 9.1776 s Remaining CPU time: 170.822 s c =============================================================================== c | 10 | 800 1061 185800 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3523 c Elapsed CPU time: 9.24859 s Remaining CPU time: 170.751 s c =============================================================================== c | 10 | 800 1062 186500 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3522 c Elapsed CPU time: 9.32858 s Remaining CPU time: 170.671 s c =============================================================================== c | 10 | 800 1063 187200 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3521 c Elapsed CPU time: 9.41257 s Remaining CPU time: 170.587 s c =============================================================================== c | 10 | 800 1064 187900 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3520 c Elapsed CPU time: 9.49056 s Remaining CPU time: 170.509 s c =============================================================================== c | 10 | 800 1065 188600 | 5000 10 137 | 0.000 % | c =============================================================================== c New solution: 3519 c Elapsed CPU time: 9.56954 s Remaining CPU time: 170.43 s c =============================================================================== c | 11 | 800 1066 189300 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3518 c Elapsed CPU time: 9.65153 s Remaining CPU time: 170.348 s c =============================================================================== c | 11 | 800 1067 190000 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3517 c Elapsed CPU time: 9.73552 s Remaining CPU time: 170.264 s c =============================================================================== c | 11 | 800 1068 190700 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3516 c Elapsed CPU time: 9.82151 s Remaining CPU time: 170.178 s c =============================================================================== c | 11 | 800 1069 191400 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3515 c Elapsed CPU time: 9.90049 s Remaining CPU time: 170.1 s c =============================================================================== c | 11 | 800 1070 192100 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3514 c Elapsed CPU time: 9.98448 s Remaining CPU time: 170.016 s c =============================================================================== c | 11 | 800 1071 192800 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3513 c Elapsed CPU time: 10.0655 s Remaining CPU time: 169.935 s c =============================================================================== c | 11 | 800 1072 193500 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3512 c Elapsed CPU time: 10.1505 s Remaining CPU time: 169.85 s c =============================================================================== c | 11 | 800 1073 194200 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3511 c Elapsed CPU time: 10.2444 s Remaining CPU time: 169.756 s c =============================================================================== c | 11 | 800 1074 194900 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3510 c Elapsed CPU time: 10.3274 s Remaining CPU time: 169.673 s c =============================================================================== c | 11 | 800 1075 195600 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3509 c Elapsed CPU time: 10.4164 s Remaining CPU time: 169.584 s c =============================================================================== c | 11 | 800 1076 196300 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3508 c Elapsed CPU time: 10.5044 s Remaining CPU time: 169.496 s c =============================================================================== c | 11 | 800 1077 197000 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3507 c Elapsed CPU time: 10.5924 s Remaining CPU time: 169.408 s c =============================================================================== c | 11 | 800 1078 197700 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3506 c Elapsed CPU time: 10.6824 s Remaining CPU time: 169.318 s c =============================================================================== c | 11 | 800 1079 198400 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3505 c Elapsed CPU time: 10.7704 s Remaining CPU time: 169.23 s c =============================================================================== c | 11 | 800 1080 199100 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3504 c Elapsed CPU time: 10.8653 s Remaining CPU time: 169.135 s c =============================================================================== c | 11 | 800 1081 199800 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3503 c Elapsed CPU time: 10.9663 s Remaining CPU time: 169.034 s c =============================================================================== c | 11 | 800 1082 200500 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3502 c Elapsed CPU time: 11.0533 s Remaining CPU time: 168.947 s c =============================================================================== c | 11 | 800 1083 201200 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3501 c Elapsed CPU time: 11.1413 s Remaining CPU time: 168.859 s c =============================================================================== c | 11 | 800 1084 201900 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3500 c Elapsed CPU time: 11.2313 s Remaining CPU time: 168.769 s c =============================================================================== c | 11 | 800 1085 202600 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3499 c Elapsed CPU time: 11.3243 s Remaining CPU time: 168.676 s c =============================================================================== c | 11 | 800 1086 203300 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3498 c Elapsed CPU time: 11.4123 s Remaining CPU time: 168.588 s c =============================================================================== c | 11 | 800 1087 204000 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3497 c Elapsed CPU time: 11.4983 s Remaining CPU time: 168.502 s c =============================================================================== c | 11 | 800 1088 204700 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3496 c Elapsed CPU time: 11.5932 s Remaining CPU time: 168.407 s c =============================================================================== c | 11 | 800 1089 205400 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3495 c Elapsed CPU time: 11.6862 s Remaining CPU time: 168.314 s c =============================================================================== c | 11 | 800 1090 206100 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3494 c Elapsed CPU time: 11.7732 s Remaining CPU time: 168.227 s c =============================================================================== c | 11 | 800 1091 206800 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3493 c Elapsed CPU time: 11.8562 s Remaining CPU time: 168.144 s c =============================================================================== c | 11 | 800 1092 207500 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3492 c Elapsed CPU time: 11.9402 s Remaining CPU time: 168.06 s c =============================================================================== c | 11 | 800 1093 208200 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3491 c Elapsed CPU time: 12.0372 s Remaining CPU time: 167.963 s c =============================================================================== c | 11 | 800 1094 208900 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3490 c Elapsed CPU time: 12.1372 s Remaining CPU time: 167.863 s c =============================================================================== c | 11 | 800 1095 209600 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3489 c Elapsed CPU time: 12.2431 s Remaining CPU time: 167.757 s c =============================================================================== c | 11 | 800 1096 210300 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3488 c Elapsed CPU time: 12.3411 s Remaining CPU time: 167.659 s c =============================================================================== c | 11 | 800 1097 211000 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3487 c Elapsed CPU time: 12.4381 s Remaining CPU time: 167.562 s c =============================================================================== c | 11 | 800 1098 211700 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3486 c Elapsed CPU time: 12.5291 s Remaining CPU time: 167.471 s c =============================================================================== c | 11 | 800 1099 212400 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3485 c Elapsed CPU time: 12.6251 s Remaining CPU time: 167.375 s c =============================================================================== c | 11 | 800 1100 213100 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3484 c Elapsed CPU time: 12.7211 s Remaining CPU time: 167.279 s c =============================================================================== c | 11 | 800 1101 213800 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3483 c Elapsed CPU time: 12.825 s Remaining CPU time: 167.175 s c =============================================================================== c | 11 | 800 1102 214500 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3482 c Elapsed CPU time: 12.916 s Remaining CPU time: 167.084 s c =============================================================================== c | 11 | 800 1103 215200 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3481 c Elapsed CPU time: 13.006 s Remaining CPU time: 166.994 s c =============================================================================== c | 11 | 800 1104 215900 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3480 c Elapsed CPU time: 13.106 s Remaining CPU time: 166.894 s c =============================================================================== c | 11 | 800 1105 216600 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3479 c Elapsed CPU time: 13.201 s Remaining CPU time: 166.799 s c =============================================================================== c | 11 | 800 1106 217300 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3478 c Elapsed CPU time: 13.309 s Remaining CPU time: 166.691 s c =============================================================================== c | 11 | 800 1107 218000 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3477 c Elapsed CPU time: 13.407 s Remaining CPU time: 166.593 s c =============================================================================== c | 11 | 800 1108 218700 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3476 c Elapsed CPU time: 13.5079 s Remaining CPU time: 166.492 s c =============================================================================== c | 11 | 800 1109 219400 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3475 c Elapsed CPU time: 13.5979 s Remaining CPU time: 166.402 s c =============================================================================== c | 11 | 800 1110 220100 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3474 c Elapsed CPU time: 13.6939 s Remaining CPU time: 166.306 s c =============================================================================== c | 11 | 800 1111 220800 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3473 c Elapsed CPU time: 13.7859 s Remaining CPU time: 166.214 s c =============================================================================== c | 11 | 800 1112 221500 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3472 c Elapsed CPU time: 13.8759 s Remaining CPU time: 166.124 s c =============================================================================== c | 11 | 800 1113 222200 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3471 c Elapsed CPU time: 13.9699 s Remaining CPU time: 166.03 s c =============================================================================== c | 11 | 800 1114 222900 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3470 c Elapsed CPU time: 14.0629 s Remaining CPU time: 165.937 s c =============================================================================== c | 11 | 800 1115 223600 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3469 c Elapsed CPU time: 14.1568 s Remaining CPU time: 165.843 s c =============================================================================== c | 11 | 800 1116 224300 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3468 c Elapsed CPU time: 14.2538 s Remaining CPU time: 165.746 s c =============================================================================== c | 11 | 800 1117 225000 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3467 c Elapsed CPU time: 14.3518 s Remaining CPU time: 165.648 s c =============================================================================== c | 11 | 800 1118 225700 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3466 c Elapsed CPU time: 14.4468 s Remaining CPU time: 165.553 s c =============================================================================== c | 11 | 800 1119 226400 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3465 c Elapsed CPU time: 14.5388 s Remaining CPU time: 165.461 s c =============================================================================== c | 11 | 800 1120 227100 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3464 c Elapsed CPU time: 14.6408 s Remaining CPU time: 165.359 s c =============================================================================== c | 11 | 800 1121 227800 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3463 c Elapsed CPU time: 14.7468 s Remaining CPU time: 165.253 s c =============================================================================== c | 11 | 800 1122 228500 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3462 c Elapsed CPU time: 14.8447 s Remaining CPU time: 165.155 s c =============================================================================== c | 11 | 800 1123 229200 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3461 c Elapsed CPU time: 14.9447 s Remaining CPU time: 165.055 s c =============================================================================== c | 11 | 800 1124 229900 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3460 c Elapsed CPU time: 15.0417 s Remaining CPU time: 164.958 s c =============================================================================== c | 11 | 800 1125 230600 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3459 c Elapsed CPU time: 15.1447 s Remaining CPU time: 164.855 s c =============================================================================== c | 11 | 800 1126 231300 | 5000 11 125 | 0.000 % | c =============================================================================== c New solution: 3458 c Elapsed CPU time: 15.2467 s Remaining CPU time: 164.753 s c =============================================================================== c | 12 | 800 1127 232000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3457 c Elapsed CPU time: 15.3527 s Remaining CPU time: 164.647 s c =============================================================================== c | 12 | 800 1128 232700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3456 c Elapsed CPU time: 15.4616 s Remaining CPU time: 164.538 s c =============================================================================== c | 12 | 800 1129 233400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3455 c Elapsed CPU time: 15.5626 s Remaining CPU time: 164.437 s c =============================================================================== c | 12 | 800 1130 234100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3454 c Elapsed CPU time: 15.6626 s Remaining CPU time: 164.337 s c =============================================================================== c | 12 | 800 1131 234800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3453 c Elapsed CPU time: 15.7666 s Remaining CPU time: 164.233 s c =============================================================================== c | 12 | 800 1132 235500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3452 c Elapsed CPU time: 15.8636 s Remaining CPU time: 164.136 s c =============================================================================== c | 12 | 800 1133 236200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3451 c Elapsed CPU time: 15.9766 s Remaining CPU time: 164.023 s c =============================================================================== c | 12 | 800 1134 236900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3450 c Elapsed CPU time: 16.0876 s Remaining CPU time: 163.912 s c =============================================================================== c | 12 | 800 1135 237600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3449 c Elapsed CPU time: 16.1935 s Remaining CPU time: 163.806 s c =============================================================================== c | 12 | 800 1136 238300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3448 c Elapsed CPU time: 16.3025 s Remaining CPU time: 163.697 s c =============================================================================== c | 12 | 800 1137 239000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3447 c Elapsed CPU time: 16.4095 s Remaining CPU time: 163.59 s c =============================================================================== c | 12 | 800 1138 239700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3446 c Elapsed CPU time: 16.5185 s Remaining CPU time: 163.482 s c =============================================================================== c | 12 | 800 1139 240400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3445 c Elapsed CPU time: 16.6255 s Remaining CPU time: 163.375 s c =============================================================================== c | 12 | 800 1140 241100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3444 c Elapsed CPU time: 16.7255 s Remaining CPU time: 163.275 s c =============================================================================== c | 12 | 800 1141 241800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3443 c Elapsed CPU time: 16.8394 s Remaining CPU time: 163.161 s c =============================================================================== c | 12 | 800 1142 242500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3442 c Elapsed CPU time: 16.9554 s Remaining CPU time: 163.045 s c =============================================================================== c | 12 | 800 1143 243200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3441 c Elapsed CPU time: 17.0704 s Remaining CPU time: 162.93 s c =============================================================================== c | 12 | 800 1144 243900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3440 c Elapsed CPU time: 17.1984 s Remaining CPU time: 162.802 s c =============================================================================== c | 12 | 800 1145 244600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3439 c Elapsed CPU time: 17.3244 s Remaining CPU time: 162.676 s c =============================================================================== c | 12 | 800 1146 245300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3438 c Elapsed CPU time: 17.4333 s Remaining CPU time: 162.567 s c =============================================================================== c | 12 | 800 1147 246000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3437 c Elapsed CPU time: 17.5453 s Remaining CPU time: 162.455 s c =============================================================================== c | 12 | 800 1148 246700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3436 c Elapsed CPU time: 17.6563 s Remaining CPU time: 162.344 s c =============================================================================== c | 12 | 800 1149 247400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3435 c Elapsed CPU time: 17.7733 s Remaining CPU time: 162.227 s c =============================================================================== c | 12 | 800 1150 248100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3434 c Elapsed CPU time: 17.8863 s Remaining CPU time: 162.114 s c =============================================================================== c | 12 | 800 1151 248800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3433 c Elapsed CPU time: 17.9963 s Remaining CPU time: 162.004 s c =============================================================================== c | 12 | 800 1152 249500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3432 c Elapsed CPU time: 18.0992 s Remaining CPU time: 161.901 s c =============================================================================== c | 12 | 800 1153 250200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3431 c Elapsed CPU time: 18.2022 s Remaining CPU time: 161.798 s c =============================================================================== c | 12 | 800 1154 250900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3430 c Elapsed CPU time: 18.3072 s Remaining CPU time: 161.693 s c =============================================================================== c | 12 | 800 1155 251600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3429 c Elapsed CPU time: 18.4092 s Remaining CPU time: 161.591 s c =============================================================================== c | 12 | 800 1156 252300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3428 c Elapsed CPU time: 18.5332 s Remaining CPU time: 161.467 s c =============================================================================== c | 12 | 800 1157 253000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3427 c Elapsed CPU time: 18.6422 s Remaining CPU time: 161.358 s c =============================================================================== c | 12 | 800 1158 253700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3426 c Elapsed CPU time: 18.7451 s Remaining CPU time: 161.255 s c =============================================================================== c | 12 | 800 1159 254400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3425 c Elapsed CPU time: 18.8621 s Remaining CPU time: 161.138 s c =============================================================================== c | 12 | 800 1160 255100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3424 c Elapsed CPU time: 18.9761 s Remaining CPU time: 161.024 s c =============================================================================== c | 12 | 800 1161 255800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3423 c Elapsed CPU time: 19.0881 s Remaining CPU time: 160.912 s c =============================================================================== c | 12 | 800 1162 256500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3422 c Elapsed CPU time: 19.1991 s Remaining CPU time: 160.801 s c =============================================================================== c | 12 | 800 1163 257200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3421 c Elapsed CPU time: 19.3031 s Remaining CPU time: 160.697 s c =============================================================================== c | 12 | 800 1164 257900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3420 c Elapsed CPU time: 19.413 s Remaining CPU time: 160.587 s c =============================================================================== c | 12 | 800 1165 258600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3419 c Elapsed CPU time: 19.521 s Remaining CPU time: 160.479 s c =============================================================================== c | 12 | 800 1166 259300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3418 c Elapsed CPU time: 19.628 s Remaining CPU time: 160.372 s c =============================================================================== c | 12 | 800 1167 260000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3417 c Elapsed CPU time: 19.738 s Remaining CPU time: 160.262 s c =============================================================================== c | 12 | 800 1168 260700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3416 c Elapsed CPU time: 19.846 s Remaining CPU time: 160.154 s c =============================================================================== c | 12 | 800 1169 261400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3415 c Elapsed CPU time: 19.959 s Remaining CPU time: 160.041 s c =============================================================================== c | 12 | 800 1170 262100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3414 c Elapsed CPU time: 20.0649 s Remaining CPU time: 159.935 s c =============================================================================== c | 12 | 800 1171 262800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3413 c Elapsed CPU time: 20.1749 s Remaining CPU time: 159.825 s c =============================================================================== c | 13 | 800 1172 263500 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3412 c Elapsed CPU time: 20.2899 s Remaining CPU time: 159.71 s c =============================================================================== c | 13 | 800 1173 264200 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3411 c Elapsed CPU time: 20.4179 s Remaining CPU time: 159.582 s c =============================================================================== c | 13 | 800 1174 264900 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3410 c Elapsed CPU time: 20.5299 s Remaining CPU time: 159.47 s c =============================================================================== c | 13 | 800 1175 265600 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3409 c Elapsed CPU time: 20.6419 s Remaining CPU time: 159.358 s c =============================================================================== c | 13 | 800 1176 266300 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3408 c Elapsed CPU time: 20.7588 s Remaining CPU time: 159.241 s c =============================================================================== c | 13 | 800 1177 267000 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3407 c Elapsed CPU time: 20.8728 s Remaining CPU time: 159.127 s c =============================================================================== c | 13 | 800 1178 267700 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3406 c Elapsed CPU time: 20.9828 s Remaining CPU time: 159.017 s c =============================================================================== c | 13 | 800 1179 268400 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3405 c Elapsed CPU time: 21.1058 s Remaining CPU time: 158.894 s c =============================================================================== c | 13 | 800 1180 269100 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3404 c Elapsed CPU time: 21.2238 s Remaining CPU time: 158.776 s c =============================================================================== c | 13 | 800 1181 269800 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3403 c Elapsed CPU time: 21.3358 s Remaining CPU time: 158.664 s c =============================================================================== c | 13 | 800 1182 270500 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3402 c Elapsed CPU time: 21.4447 s Remaining CPU time: 158.555 s c =============================================================================== c | 13 | 800 1183 271200 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3401 c Elapsed CPU time: 21.5747 s Remaining CPU time: 158.425 s c =============================================================================== c | 13 | 800 1184 271900 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3400 c Elapsed CPU time: 21.6957 s Remaining CPU time: 158.304 s c =============================================================================== c | 13 | 800 1185 272600 | 5000 13 107 | 0.000 % | c =============================================================================== c New solution: 3399 c Elapsed CPU time: 21.8167 s Remaining CPU time: 158.183 s c =============================================================================== c | 14 | 800 1186 273300 | 5000 14 100 | 0.000 % | c =============================================================================== c New solution: 3398 c Elapsed CPU time: 21.9417 s Remaining CPU time: 158.058 s c =============================================================================== c | 15 | 800 1187 274000 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3397 c Elapsed CPU time: 22.0586 s Remaining CPU time: 157.941 s c =============================================================================== c | 15 | 800 1188 274700 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3396 c Elapsed CPU time: 22.1776 s Remaining CPU time: 157.822 s c =============================================================================== c | 15 | 800 1189 275400 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3395 c Elapsed CPU time: 22.3036 s Remaining CPU time: 157.696 s c =============================================================================== c | 15 | 800 1190 276100 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3394 c Elapsed CPU time: 22.4286 s Remaining CPU time: 157.571 s c =============================================================================== c | 15 | 800 1191 276800 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3393 c Elapsed CPU time: 22.5516 s Remaining CPU time: 157.448 s c =============================================================================== c | 15 | 800 1192 277500 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3392 c Elapsed CPU time: 22.6736 s Remaining CPU time: 157.326 s c =============================================================================== c | 15 | 800 1193 278200 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3391 c Elapsed CPU time: 22.7985 s Remaining CPU time: 157.201 s c =============================================================================== c | 15 | 800 1194 278900 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3390 c Elapsed CPU time: 22.9185 s Remaining CPU time: 157.081 s c =============================================================================== c | 15 | 800 1195 279600 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3389 c Elapsed CPU time: 23.0335 s Remaining CPU time: 156.967 s c =============================================================================== c | 15 | 800 1196 280300 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3388 c Elapsed CPU time: 23.1535 s Remaining CPU time: 156.847 s c =============================================================================== c | 15 | 800 1197 281000 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3387 c Elapsed CPU time: 23.2725 s Remaining CPU time: 156.728 s c =============================================================================== c | 15 | 800 1198 281700 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3386 c Elapsed CPU time: 23.3984 s Remaining CPU time: 156.602 s c =============================================================================== c | 15 | 800 1199 282400 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3385 c Elapsed CPU time: 23.5234 s Remaining CPU time: 156.477 s c =============================================================================== c | 15 | 800 1200 283100 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3384 c Elapsed CPU time: 23.6424 s Remaining CPU time: 156.358 s c =============================================================================== c | 15 | 800 1201 283800 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3383 c Elapsed CPU time: 23.7644 s Remaining CPU time: 156.236 s c =============================================================================== c | 15 | 800 1202 284500 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3382 c Elapsed CPU time: 23.8934 s Remaining CPU time: 156.107 s c =============================================================================== c | 15 | 800 1203 285200 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3381 c Elapsed CPU time: 24.0193 s Remaining CPU time: 155.981 s c =============================================================================== c | 15 | 800 1204 285900 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3380 c Elapsed CPU time: 24.1483 s Remaining CPU time: 155.852 s c =============================================================================== c | 15 | 800 1205 286600 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3379 c Elapsed CPU time: 24.2713 s Remaining CPU time: 155.729 s c =============================================================================== c | 15 | 800 1206 287300 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3378 c Elapsed CPU time: 24.3963 s Remaining CPU time: 155.604 s c =============================================================================== c | 15 | 800 1207 288000 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3377 c Elapsed CPU time: 24.5203 s Remaining CPU time: 155.48 s c =============================================================================== c | 15 | 800 1208 288700 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3376 c Elapsed CPU time: 24.6553 s Remaining CPU time: 155.345 s c =============================================================================== c | 15 | 800 1209 289400 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3375 c Elapsed CPU time: 24.7812 s Remaining CPU time: 155.219 s c =============================================================================== c | 15 | 800 1210 290100 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3374 c Elapsed CPU time: 24.9112 s Remaining CPU time: 155.089 s c =============================================================================== c | 15 | 800 1211 290800 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3373 c Elapsed CPU time: 25.0362 s Remaining CPU time: 154.964 s c =============================================================================== c | 15 | 800 1212 291500 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3372 c Elapsed CPU time: 25.1682 s Remaining CPU time: 154.832 s c =============================================================================== c | 15 | 800 1213 292200 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3371 c Elapsed CPU time: 25.2972 s Remaining CPU time: 154.703 s c =============================================================================== c | 15 | 800 1214 292900 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3370 c Elapsed CPU time: 25.4261 s Remaining CPU time: 154.574 s c =============================================================================== c | 15 | 800 1215 293600 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3369 c Elapsed CPU time: 25.5551 s Remaining CPU time: 154.445 s c =============================================================================== c | 15 | 800 1216 294300 | 5000 15 134 | 0.000 % | c =============================================================================== c New solution: 3368 c Elapsed CPU time: 25.6851 s Remaining CPU time: 154.315 s c =============================================================================== c | 17 | 800 1217 295000 | 5000 17 119 | 0.000 % | c =============================================================================== c New solution: 3367 c Elapsed CPU time: 25.8201 s Remaining CPU time: 154.18 s c =============================================================================== c | 17 | 800 1218 295700 | 5000 17 119 | 0.000 % | c =============================================================================== c New solution: 3366 c Elapsed CPU time: 25.9431 s Remaining CPU time: 154.057 s c =============================================================================== c | 17 | 800 1219 296400 | 5000 17 119 | 0.000 % | c =============================================================================== c New solution: 3365 c Elapsed CPU time: 26.066 s Remaining CPU time: 153.934 s c =============================================================================== c | 17 | 800 1220 297100 | 5000 17 119 | 0.000 % | c =============================================================================== c New solution: 3364 c Elapsed CPU time: 26.197 s Remaining CPU time: 153.803 s c =============================================================================== c | 17 | 800 1221 297800 | 5000 17 119 | 0.000 % | c =============================================================================== c New solution: 3363 c Elapsed CPU time: 26.338 s Remaining CPU time: 153.662 s c =============================================================================== c | 18 | 800 1222 298500 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3362 c Elapsed CPU time: 26.468 s Remaining CPU time: 153.532 s c =============================================================================== c | 18 | 800 1223 299200 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3361 c Elapsed CPU time: 26.595 s Remaining CPU time: 153.405 s c =============================================================================== c | 18 | 800 1224 299900 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3360 c Elapsed CPU time: 26.7189 s Remaining CPU time: 153.281 s c =============================================================================== c | 18 | 800 1225 300600 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3359 c Elapsed CPU time: 26.8479 s Remaining CPU time: 153.152 s c =============================================================================== c | 18 | 800 1226 301300 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3358 c Elapsed CPU time: 26.9829 s Remaining CPU time: 153.017 s c =============================================================================== c | 18 | 800 1227 302000 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3357 c Elapsed CPU time: 27.1219 s Remaining CPU time: 152.878 s c =============================================================================== c | 18 | 800 1228 302700 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3356 c Elapsed CPU time: 27.2609 s Remaining CPU time: 152.739 s c =============================================================================== c | 18 | 800 1229 303400 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3355 c Elapsed CPU time: 27.4038 s Remaining CPU time: 152.596 s c =============================================================================== c | 18 | 800 1230 304100 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3354 c Elapsed CPU time: 27.5358 s Remaining CPU time: 152.464 s c =============================================================================== c | 18 | 800 1231 304800 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3353 c Elapsed CPU time: 27.6818 s Remaining CPU time: 152.318 s c =============================================================================== c | 18 | 800 1232 305500 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3352 c Elapsed CPU time: 27.8268 s Remaining CPU time: 152.173 s c =============================================================================== c | 18 | 800 1233 306200 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3351 c Elapsed CPU time: 27.9577 s Remaining CPU time: 152.042 s c =============================================================================== c | 18 | 800 1234 306900 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 28.0987 s Remaining CPU time: 151.901 s c =============================================================================== c | 18 | 800 1235 307600 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 28.2327 s Remaining CPU time: 151.767 s c =============================================================================== c | 18 | 800 1236 308300 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 28.3747 s Remaining CPU time: 151.625 s c =============================================================================== c | 18 | 800 1237 309000 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 28.5147 s Remaining CPU time: 151.485 s c =============================================================================== c | 18 | 800 1238 309700 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 28.6546 s Remaining CPU time: 151.345 s c =============================================================================== c | 18 | 800 1239 310400 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 28.7916 s Remaining CPU time: 151.208 s c =============================================================================== c | 18 | 800 1240 311100 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 28.9246 s Remaining CPU time: 151.075 s c =============================================================================== c | 18 | 800 1241 311800 | 5000 18 113 | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 29.0636 s Remaining CPU time: 150.936 s c =============================================================================== c | 19 | 800 1242 312500 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 29.1936 s Remaining CPU time: 150.806 s c =============================================================================== c | 19 | 800 1243 313200 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 29.3315 s Remaining CPU time: 150.668 s c =============================================================================== c | 19 | 800 1244 313900 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 29.4735 s Remaining CPU time: 150.526 s c =============================================================================== c | 19 | 800 1245 314600 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 29.6115 s Remaining CPU time: 150.389 s c =============================================================================== c | 19 | 800 1246 315300 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 29.7515 s Remaining CPU time: 150.249 s c =============================================================================== c | 19 | 800 1247 316000 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 29.8975 s Remaining CPU time: 150.103 s c =============================================================================== c | 19 | 800 1248 316700 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 30.0504 s Remaining CPU time: 149.95 s c =============================================================================== c | 19 | 800 1249 317400 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 30.1864 s Remaining CPU time: 149.814 s c =============================================================================== c | 19 | 800 1250 318100 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 30.3284 s Remaining CPU time: 149.672 s c =============================================================================== c | 19 | 800 1251 318800 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 30.4634 s Remaining CPU time: 149.537 s c =============================================================================== c | 19 | 800 1252 319500 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 30.5963 s Remaining CPU time: 149.404 s c =============================================================================== c | 19 | 800 1253 320200 | 5000 19 139 | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 30.7413 s Remaining CPU time: 149.259 s c =============================================================================== c | 20 | 800 1254 320900 | 5000 20 132 | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 30.8853 s Remaining CPU time: 149.115 s c =============================================================================== c | 20 | 800 1255 321600 | 5000 20 132 | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 31.0333 s Remaining CPU time: 148.967 s c =============================================================================== c | 20 | 800 1256 322300 | 5000 20 132 | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 31.1663 s Remaining CPU time: 148.834 s c =============================================================================== c | 20 | 800 1257 323000 | 5000 20 132 | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 31.3052 s Remaining CPU time: 148.695 s c =============================================================================== c | 22 | 800 1258 323700 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 31.4482 s Remaining CPU time: 148.552 s c =============================================================================== c | 22 | 800 1259 324400 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 31.5982 s Remaining CPU time: 148.402 s c =============================================================================== c | 22 | 800 1260 325100 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 31.7452 s Remaining CPU time: 148.255 s c =============================================================================== c | 22 | 800 1261 325800 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 31.8912 s Remaining CPU time: 148.109 s c =============================================================================== c | 22 | 800 1262 326500 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 32.0351 s Remaining CPU time: 147.965 s c =============================================================================== c | 22 | 800 1263 327200 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 32.1721 s Remaining CPU time: 147.828 s c =============================================================================== c | 22 | 800 1264 327900 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 32.3181 s Remaining CPU time: 147.682 s c =============================================================================== c | 22 | 800 1265 328600 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 32.4551 s Remaining CPU time: 147.545 s c =============================================================================== c | 22 | 800 1266 329300 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 32.591 s Remaining CPU time: 147.409 s c =============================================================================== c | 22 | 800 1267 330000 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 32.734 s Remaining CPU time: 147.266 s c =============================================================================== c | 22 | 800 1268 330700 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 32.881 s Remaining CPU time: 147.119 s c =============================================================================== c | 22 | 800 1269 331400 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 33.027 s Remaining CPU time: 146.973 s c =============================================================================== c | 22 | 800 1270 332100 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 33.175 s Remaining CPU time: 146.825 s c =============================================================================== c | 22 | 800 1271 332800 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 33.3239 s Remaining CPU time: 146.676 s c =============================================================================== c | 22 | 800 1272 333500 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 33.4719 s Remaining CPU time: 146.528 s c =============================================================================== c | 22 | 800 1273 334200 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 33.6159 s Remaining CPU time: 146.384 s c =============================================================================== c | 22 | 800 1274 334900 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 33.7709 s Remaining CPU time: 146.229 s c =============================================================================== c | 22 | 800 1275 335600 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 33.9188 s Remaining CPU time: 146.081 s c =============================================================================== c | 22 | 800 1276 336300 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 34.0618 s Remaining CPU time: 145.938 s c =============================================================================== c | 22 | 800 1277 337000 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 34.2108 s Remaining CPU time: 145.789 s c =============================================================================== c | 22 | 800 1278 337700 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 34.3608 s Remaining CPU time: 145.639 s c =============================================================================== c | 22 | 800 1279 338400 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 34.5208 s Remaining CPU time: 145.479 s c =============================================================================== c | 22 | 800 1280 339100 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 34.6807 s Remaining CPU time: 145.319 s c =============================================================================== c | 22 | 800 1281 339800 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 34.8277 s Remaining CPU time: 145.172 s c =============================================================================== c | 22 | 800 1282 340500 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 34.9657 s Remaining CPU time: 145.034 s c =============================================================================== c | 22 | 800 1283 341200 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 35.1247 s Remaining CPU time: 144.875 s c =============================================================================== c | 22 | 800 1284 341900 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 35.2666 s Remaining CPU time: 144.733 s c =============================================================================== c | 22 | 800 1285 342600 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 35.4306 s Remaining CPU time: 144.569 s c =============================================================================== c | 22 | 800 1286 343300 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 35.5736 s Remaining CPU time: 144.426 s c =============================================================================== c | 22 | 800 1287 344000 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 35.7166 s Remaining CPU time: 144.283 s c =============================================================================== c | 22 | 800 1288 344700 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 35.8645 s Remaining CPU time: 144.135 s c =============================================================================== c | 22 | 800 1289 345400 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 36.0155 s Remaining CPU time: 143.984 s c =============================================================================== c | 22 | 800 1290 346100 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 36.1765 s Remaining CPU time: 143.823 s c =============================================================================== c | 22 | 800 1291 346800 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 36.3275 s Remaining CPU time: 143.673 s c =============================================================================== c | 22 | 800 1292 347500 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 36.4785 s Remaining CPU time: 143.522 s c =============================================================================== c | 22 | 800 1293 348200 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 36.6164 s Remaining CPU time: 143.384 s c =============================================================================== c | 22 | 800 1294 348900 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 36.7764 s Remaining CPU time: 143.224 s c =============================================================================== c | 22 | 800 1295 349600 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 36.9324 s Remaining CPU time: 143.068 s c =============================================================================== c | 22 | 800 1296 350300 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 37.0934 s Remaining CPU time: 142.907 s c =============================================================================== c | 22 | 800 1297 351000 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 37.2563 s Remaining CPU time: 142.744 s c =============================================================================== c | 22 | 800 1298 351700 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 37.4203 s Remaining CPU time: 142.58 s c =============================================================================== c | 22 | 800 1299 352400 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 37.5813 s Remaining CPU time: 142.419 s c =============================================================================== c | 22 | 800 1300 353100 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 37.7643 s Remaining CPU time: 142.236 s c =============================================================================== c | 22 | 800 1301 353800 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 37.9172 s Remaining CPU time: 142.083 s c =============================================================================== c | 22 | 800 1302 354500 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 38.0812 s Remaining CPU time: 141.919 s c =============================================================================== c | 22 | 800 1303 355200 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 38.2392 s Remaining CPU time: 141.761 s c =============================================================================== c | 22 | 800 1304 355900 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 38.3922 s Remaining CPU time: 141.608 s c =============================================================================== c | 22 | 800 1305 356600 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 38.5501 s Remaining CPU time: 141.45 s c =============================================================================== c | 22 | 800 1306 357300 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 38.7061 s Remaining CPU time: 141.294 s c =============================================================================== c | 22 | 800 1307 358000 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 38.8641 s Remaining CPU time: 141.136 s c =============================================================================== c | 22 | 800 1308 358700 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 39.0291 s Remaining CPU time: 140.971 s c =============================================================================== c | 22 | 800 1309 359400 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 39.197 s Remaining CPU time: 140.803 s c =============================================================================== c | 22 | 800 1310 360100 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 39.364 s Remaining CPU time: 140.636 s c =============================================================================== c | 22 | 800 1311 360800 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 39.527 s Remaining CPU time: 140.473 s c =============================================================================== c | 22 | 800 1312 361500 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 39.695 s Remaining CPU time: 140.305 s c =============================================================================== c | 22 | 800 1313 362200 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 39.8519 s Remaining CPU time: 140.148 s c =============================================================================== c | 22 | 800 1314 362900 | 5000 22 121 | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 40.0159 s Remaining CPU time: 139.984 s c =============================================================================== c | 23 | 800 1315 363600 | 5000 23 141 | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 40.1759 s Remaining CPU time: 139.824 s c =============================================================================== c | 23 | 800 1316 364300 | 5000 23 141 | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 40.3399 s Remaining CPU time: 139.66 s c =============================================================================== c | 23 | 800 1317 365000 | 5000 23 141 | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 40.4968 s Remaining CPU time: 139.503 s c =============================================================================== c | 24 | 800 1318 365700 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 40.6578 s Remaining CPU time: 139.342 s c =============================================================================== c | 24 | 800 1319 366400 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 40.8308 s Remaining CPU time: 139.169 s c =============================================================================== c | 24 | 800 1320 367100 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 41.0078 s Remaining CPU time: 138.992 s c =============================================================================== c | 24 | 800 1321 367800 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 41.1797 s Remaining CPU time: 138.82 s c =============================================================================== c | 24 | 800 1322 368500 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 41.3427 s Remaining CPU time: 138.657 s c =============================================================================== c | 24 | 800 1323 369200 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 41.5067 s Remaining CPU time: 138.493 s c =============================================================================== c | 24 | 800 1324 369900 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 41.6747 s Remaining CPU time: 138.325 s c =============================================================================== c | 24 | 800 1325 370600 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 41.8236 s Remaining CPU time: 138.176 s c =============================================================================== c | 24 | 800 1326 371300 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 41.9946 s Remaining CPU time: 138.005 s c =============================================================================== c | 24 | 800 1327 372000 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 42.1616 s Remaining CPU time: 137.838 s c =============================================================================== c | 24 | 800 1328 372700 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 42.3396 s Remaining CPU time: 137.66 s c =============================================================================== c | 24 | 800 1329 373400 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 42.5055 s Remaining CPU time: 137.494 s c =============================================================================== c | 24 | 800 1330 374100 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 42.6775 s Remaining CPU time: 137.322 s c =============================================================================== c | 24 | 800 1331 374800 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 42.8435 s Remaining CPU time: 137.157 s c =============================================================================== c | 24 | 800 1332 375500 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 43.0165 s Remaining CPU time: 136.984 s c =============================================================================== c | 24 | 800 1333 376200 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 43.1814 s Remaining CPU time: 136.819 s c =============================================================================== c | 24 | 800 1334 376900 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 43.3474 s Remaining CPU time: 136.653 s c =============================================================================== c | 24 | 800 1335 377600 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 43.5144 s Remaining CPU time: 136.486 s c =============================================================================== c | 24 | 800 1336 378300 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 43.6854 s Remaining CPU time: 136.315 s c =============================================================================== c | 24 | 800 1337 379000 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 43.8573 s Remaining CPU time: 136.143 s c =============================================================================== c | 24 | 800 1338 379700 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 44.0163 s Remaining CPU time: 135.984 s c =============================================================================== c | 24 | 800 1339 380400 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 44.1793 s Remaining CPU time: 135.821 s c =============================================================================== c | 24 | 800 1340 381100 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 44.3653 s Remaining CPU time: 135.635 s c =============================================================================== c | 24 | 800 1341 381800 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 44.5342 s Remaining CPU time: 135.466 s c =============================================================================== c | 24 | 800 1342 382500 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 44.7022 s Remaining CPU time: 135.298 s c =============================================================================== c | 24 | 800 1343 383200 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 44.8702 s Remaining CPU time: 135.13 s c =============================================================================== c | 24 | 800 1344 383900 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 45.0472 s Remaining CPU time: 134.953 s c =============================================================================== c | 24 | 800 1345 384600 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 45.2161 s Remaining CPU time: 134.784 s c =============================================================================== c | 24 | 800 1346 385300 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 45.3971 s Remaining CPU time: 134.603 s c =============================================================================== c | 24 | 800 1347 386000 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 45.5821 s Remaining CPU time: 134.418 s c =============================================================================== c | 24 | 800 1348 386700 | 5000 24 160 | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 45.762 s Remaining CPU time: 134.238 s c =============================================================================== c | 25 | 800 1349 387400 | 5000 25 154 | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 45.933 s Remaining CPU time: 134.067 s c =============================================================================== c | 25 | 800 1350 388100 | 5000 25 154 | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 46.098 s Remaining CPU time: 133.902 s c =============================================================================== c | 25 | 800 1351 388800 | 5000 25 154 | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 46.274 s Remaining CPU time: 133.726 s c =============================================================================== c | 26 | 800 1352 389500 | 5000 26 148 | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 46.4419 s Remaining CPU time: 133.558 s c =============================================================================== c | 27 | 800 1353 390200 | 5000 27 143 | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 46.6229 s Remaining CPU time: 133.377 s c =============================================================================== c | 28 | 800 1354 390900 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 46.8039 s Remaining CPU time: 133.196 s c =============================================================================== c | 28 | 800 1355 391600 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 46.9629 s Remaining CPU time: 133.037 s c =============================================================================== c | 28 | 800 1356 392300 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 47.1258 s Remaining CPU time: 132.874 s c =============================================================================== c | 28 | 800 1357 393000 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 47.2898 s Remaining CPU time: 132.71 s c =============================================================================== c | 28 | 800 1358 393700 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 47.4648 s Remaining CPU time: 132.535 s c =============================================================================== c | 28 | 800 1359 394400 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 47.6398 s Remaining CPU time: 132.36 s c =============================================================================== c | 28 | 800 1360 395100 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 47.8097 s Remaining CPU time: 132.19 s c =============================================================================== c | 28 | 800 1361 395800 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 47.9767 s Remaining CPU time: 132.023 s c =============================================================================== c | 28 | 800 1362 396500 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 48.1487 s Remaining CPU time: 131.851 s c =============================================================================== c | 28 | 800 1363 397200 | 5000 28 138 | 0.000 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 48.3097 s Remaining CPU time: 131.69 s c =============================================================================== c | 31 | 800 1364 397900 | 5000 31 126 | 0.000 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 48.4716 s Remaining CPU time: 131.528 s c =============================================================================== c | 32 | 800 1365 398600 | 5000 32 122 | 0.000 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 48.6446 s Remaining CPU time: 131.355 s c =============================================================================== c | 32 | 800 1366 399300 | 5000 32 122 | 0.000 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 48.8186 s Remaining CPU time: 131.181 s c =============================================================================== c | 32 | 800 1367 400000 | 5000 32 122 | 0.000 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 48.9866 s Remaining CPU time: 131.013 s c =============================================================================== c | 32 | 800 1368 400700 | 5000 32 122 | 0.000 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 49.1555 s Remaining CPU time: 130.844 s c =============================================================================== c | 32 | 800 1369 401400 | 5000 32 122 | 0.000 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 49.3255 s Remaining CPU time: 130.674 s c =============================================================================== c | 32 | 800 1370 402100 | 5000 32 122 | 0.000 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 49.4925 s Remaining CPU time: 130.508 s c =============================================================================== c | 32 | 800 1371 402800 | 5000 32 122 | 0.000 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 49.6734 s Remaining CPU time: 130.327 s c =============================================================================== c | 32 | 800 1372 403500 | 5000 32 122 | 0.000 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 49.8424 s Remaining CPU time: 130.158 s c =============================================================================== c | 33 | 800 1373 404200 | 5000 33 119 | 0.000 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 50.0094 s Remaining CPU time: 129.991 s c =============================================================================== c | 34 | 800 1374 404900 | 5000 34 132 | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 50.1824 s Remaining CPU time: 129.818 s c =============================================================================== c | 34 | 800 1375 405600 | 5000 34 132 | 0.000 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 50.3573 s Remaining CPU time: 129.643 s c =============================================================================== c | 34 | 800 1376 406300 | 5000 34 132 | 0.000 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 50.5423 s Remaining CPU time: 129.458 s c =============================================================================== c | 35 | 800 1377 407000 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 50.7203 s Remaining CPU time: 129.28 s c =============================================================================== c | 35 | 800 1378 407700 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 50.8943 s Remaining CPU time: 129.106 s c =============================================================================== c | 35 | 800 1379 408400 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 51.0752 s Remaining CPU time: 128.925 s c =============================================================================== c | 35 | 800 1380 409100 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 51.2492 s Remaining CPU time: 128.751 s c =============================================================================== c | 35 | 800 1381 409800 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 51.4282 s Remaining CPU time: 128.572 s c =============================================================================== c | 35 | 800 1382 410500 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 51.6182 s Remaining CPU time: 128.382 s c =============================================================================== c | 35 | 800 1383 411200 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 51.7981 s Remaining CPU time: 128.202 s c =============================================================================== c | 35 | 800 1384 411900 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 51.9881 s Remaining CPU time: 128.012 s c =============================================================================== c | 35 | 800 1385 412600 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 52.1711 s Remaining CPU time: 127.829 s c =============================================================================== c | 35 | 800 1386 413300 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 52.343 s Remaining CPU time: 127.657 s c =============================================================================== c | 35 | 800 1387 414000 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 52.515 s Remaining CPU time: 127.485 s c =============================================================================== c | 35 | 800 1388 414700 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 52.69 s Remaining CPU time: 127.31 s c =============================================================================== c | 35 | 800 1389 415400 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 52.868 s Remaining CPU time: 127.132 s c =============================================================================== c | 35 | 800 1390 416100 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 53.0509 s Remaining CPU time: 126.949 s c =============================================================================== c | 35 | 800 1391 416800 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 53.2249 s Remaining CPU time: 126.775 s c =============================================================================== c | 35 | 800 1392 417500 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 53.4079 s Remaining CPU time: 126.592 s c =============================================================================== c | 35 | 800 1393 418200 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 53.5959 s Remaining CPU time: 126.404 s c =============================================================================== c | 35 | 800 1394 418900 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 53.7678 s Remaining CPU time: 126.232 s c =============================================================================== c | 35 | 800 1395 419600 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 53.9448 s Remaining CPU time: 126.055 s c =============================================================================== c | 35 | 800 1396 420300 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 54.1228 s Remaining CPU time: 125.877 s c =============================================================================== c | 35 | 800 1397 421000 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 54.3067 s Remaining CPU time: 125.693 s c =============================================================================== c | 35 | 800 1398 421700 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 54.4897 s Remaining CPU time: 125.51 s c =============================================================================== c | 35 | 800 1399 422400 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 54.6757 s Remaining CPU time: 125.324 s c =============================================================================== c | 35 | 800 1400 423100 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 54.8707 s Remaining CPU time: 125.129 s c =============================================================================== c | 35 | 800 1401 423800 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 55.0436 s Remaining CPU time: 124.956 s c =============================================================================== c | 35 | 800 1402 424500 | 5000 35 145 | 0.000 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 55.2316 s Remaining CPU time: 124.768 s c =============================================================================== c | 36 | 800 1403 425200 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 55.4156 s Remaining CPU time: 124.584 s c =============================================================================== c | 36 | 800 1404 425900 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 55.5985 s Remaining CPU time: 124.401 s c =============================================================================== c | 36 | 800 1405 426600 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 55.7815 s Remaining CPU time: 124.218 s c =============================================================================== c | 36 | 800 1406 427300 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 55.9585 s Remaining CPU time: 124.042 s c =============================================================================== c | 36 | 800 1407 428000 | 5000 36 142 | 0.000 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 56.1475 s Remaining CPU time: 123.853 s c =============================================================================== c | 37 | 800 1408 428700 | 5000 37 138 | 0.000 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 56.3354 s Remaining CPU time: 123.665 s c =============================================================================== c | 37 | 800 1409 429400 | 5000 37 138 | 0.000 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 56.5294 s Remaining CPU time: 123.471 s c =============================================================================== c | 38 | 800 1410 430100 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 56.7134 s Remaining CPU time: 123.287 s c =============================================================================== c | 38 | 800 1411 430800 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 56.9003 s Remaining CPU time: 123.1 s c =============================================================================== c | 38 | 800 1412 431500 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 57.1063 s Remaining CPU time: 122.894 s c =============================================================================== c | 38 | 800 1413 432200 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 57.3003 s Remaining CPU time: 122.7 s c =============================================================================== c | 38 | 800 1414 432900 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 57.4963 s Remaining CPU time: 122.504 s c =============================================================================== c | 38 | 800 1415 433600 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 57.6832 s Remaining CPU time: 122.317 s c =============================================================================== c | 38 | 800 1416 434300 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 57.8782 s Remaining CPU time: 122.122 s c =============================================================================== c | 38 | 800 1417 435000 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 58.0772 s Remaining CPU time: 121.923 s c =============================================================================== c | 38 | 800 1418 435700 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 58.2731 s Remaining CPU time: 121.727 s c =============================================================================== c | 38 | 800 1419 436400 | 5000 38 134 | 0.000 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 58.4861 s Remaining CPU time: 121.514 s c =============================================================================== c | 41 | 800 1420 437100 | 5000 41 126 | 0.000 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 58.6831 s Remaining CPU time: 121.317 s c =============================================================================== c | 41 | 800 1421 437800 | 5000 41 126 | 0.000 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 58.88 s Remaining CPU time: 121.12 s c =============================================================================== c | 41 | 800 1422 438500 | 5000 41 126 | 0.000 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 59.093 s Remaining CPU time: 120.907 s c =============================================================================== c | 41 | 800 1423 439200 | 5000 41 126 | 0.000 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 59.285 s Remaining CPU time: 120.715 s c =============================================================================== c | 42 | 800 1424 439900 | 5000 42 136 | 0.000 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 59.471 s Remaining CPU time: 120.529 s c =============================================================================== c | 42 | 800 1425 440600 | 5000 42 136 | 0.000 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 59.6659 s Remaining CPU time: 120.334 s c =============================================================================== c | 44 | 800 1426 441300 | 5000 44 156 | 0.000 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 59.8489 s Remaining CPU time: 120.151 s c =============================================================================== c | 45 | 800 1427 442000 | 5000 45 165 | 0.000 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 60.0349 s Remaining CPU time: 119.965 s c =============================================================================== c | 46 | 800 1428 442700 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 60.2178 s Remaining CPU time: 119.782 s c =============================================================================== c | 46 | 800 1429 443400 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 60.4088 s Remaining CPU time: 119.591 s c =============================================================================== c | 46 | 800 1430 444100 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 60.6128 s Remaining CPU time: 119.387 s c =============================================================================== c | 46 | 800 1431 444800 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 60.7918 s Remaining CPU time: 119.208 s c =============================================================================== c | 46 | 800 1432 445500 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 60.9957 s Remaining CPU time: 119.004 s c =============================================================================== c | 46 | 800 1433 446200 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 61.1997 s Remaining CPU time: 118.8 s c =============================================================================== c | 46 | 800 1434 446900 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 61.4027 s Remaining CPU time: 118.597 s c =============================================================================== c | 46 | 800 1435 447600 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 61.6116 s Remaining CPU time: 118.388 s c =============================================================================== c | 46 | 800 1436 448300 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 61.8076 s Remaining CPU time: 118.192 s c =============================================================================== c | 46 | 800 1437 449000 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 61.9946 s Remaining CPU time: 118.005 s c =============================================================================== c | 46 | 800 1438 449700 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 62.1755 s Remaining CPU time: 117.824 s c =============================================================================== c | 46 | 800 1439 450400 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 62.3865 s Remaining CPU time: 117.613 s c =============================================================================== c | 46 | 800 1440 451100 | 5000 46 162 | 0.000 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 62.5805 s Remaining CPU time: 117.42 s c =============================================================================== c | 47 | 800 1441 451800 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 62.7715 s Remaining CPU time: 117.229 s c =============================================================================== c | 47 | 800 1442 452500 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 62.9764 s Remaining CPU time: 117.024 s c =============================================================================== c | 47 | 800 1443 453200 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 63.1724 s Remaining CPU time: 116.828 s c =============================================================================== c | 47 | 800 1444 453900 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 63.3644 s Remaining CPU time: 116.636 s c =============================================================================== c | 47 | 800 1445 454600 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 63.5553 s Remaining CPU time: 116.445 s c =============================================================================== c | 47 | 800 1446 455300 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3138 c Elapsed CPU time: 63.7583 s Remaining CPU time: 116.242 s c =============================================================================== c | 47 | 800 1447 456000 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3137 c Elapsed CPU time: 63.9643 s Remaining CPU time: 116.036 s c =============================================================================== c | 47 | 800 1448 456700 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3136 c Elapsed CPU time: 64.1622 s Remaining CPU time: 115.838 s c =============================================================================== c | 47 | 800 1449 457400 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3135 c Elapsed CPU time: 64.3502 s Remaining CPU time: 115.65 s c =============================================================================== c | 47 | 800 1450 458100 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3134 c Elapsed CPU time: 64.5382 s Remaining CPU time: 115.462 s c =============================================================================== c | 47 | 800 1451 458800 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 64.7252 s Remaining CPU time: 115.275 s c =============================================================================== c | 47 | 800 1452 459500 | 5000 47 159 | 0.000 % | c =============================================================================== c New solution: 3132 c Elapsed CPU time: 64.9331 s Remaining CPU time: 115.067 s c =============================================================================== c | 48 | 800 1453 460200 | 5000 48 167 | 0.000 % | c =============================================================================== c New solution: 3131 c Elapsed CPU time: 65.1291 s Remaining CPU time: 114.871 s c =============================================================================== c | 49 | 800 1454 460900 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 65.3371 s Remaining CPU time: 114.663 s c =============================================================================== c | 49 | 800 1455 461600 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 65.552 s Remaining CPU time: 114.448 s c =============================================================================== c | 49 | 800 1456 462300 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 65.759 s Remaining CPU time: 114.241 s c =============================================================================== c | 49 | 800 1457 463000 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3127 c Elapsed CPU time: 65.951 s Remaining CPU time: 114.049 s c =============================================================================== c | 49 | 800 1458 463700 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3126 c Elapsed CPU time: 66.1569 s Remaining CPU time: 113.843 s c =============================================================================== c | 49 | 800 1459 464400 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3125 c Elapsed CPU time: 66.3619 s Remaining CPU time: 113.638 s c =============================================================================== c | 49 | 800 1460 465100 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3124 c Elapsed CPU time: 66.5599 s Remaining CPU time: 113.44 s c =============================================================================== c | 49 | 800 1461 465800 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3123 c Elapsed CPU time: 66.7698 s Remaining CPU time: 113.23 s c =============================================================================== c | 49 | 800 1462 466500 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3122 c Elapsed CPU time: 66.9718 s Remaining CPU time: 113.028 s c =============================================================================== c | 49 | 800 1463 467200 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3121 c Elapsed CPU time: 67.1718 s Remaining CPU time: 112.828 s c =============================================================================== c | 49 | 800 1464 467900 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3120 c Elapsed CPU time: 67.3728 s Remaining CPU time: 112.627 s c =============================================================================== c | 49 | 800 1465 468600 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3119 c Elapsed CPU time: 67.5847 s Remaining CPU time: 112.415 s c =============================================================================== c | 49 | 800 1466 469300 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3118 c Elapsed CPU time: 67.8087 s Remaining CPU time: 112.191 s c =============================================================================== c | 49 | 800 1467 470000 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3117 c Elapsed CPU time: 68.0307 s Remaining CPU time: 111.969 s c =============================================================================== c | 49 | 800 1468 470700 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3116 c Elapsed CPU time: 68.2196 s Remaining CPU time: 111.78 s c =============================================================================== c | 49 | 800 1469 471400 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3115 c Elapsed CPU time: 68.4156 s Remaining CPU time: 111.584 s c =============================================================================== c | 49 | 800 1470 472100 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3114 c Elapsed CPU time: 68.6256 s Remaining CPU time: 111.374 s c =============================================================================== c | 49 | 800 1471 472800 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3113 c Elapsed CPU time: 68.8255 s Remaining CPU time: 111.174 s c =============================================================================== c | 49 | 800 1472 473500 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3112 c Elapsed CPU time: 69.0215 s Remaining CPU time: 110.978 s c =============================================================================== c | 49 | 800 1473 474200 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3111 c Elapsed CPU time: 69.2205 s Remaining CPU time: 110.78 s c =============================================================================== c | 49 | 800 1474 474900 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3110 c Elapsed CPU time: 69.4284 s Remaining CPU time: 110.572 s c =============================================================================== c | 49 | 800 1475 475600 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3109 c Elapsed CPU time: 69.6544 s Remaining CPU time: 110.346 s c =============================================================================== c | 49 | 800 1476 476300 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3108 c Elapsed CPU time: 69.8774 s Remaining CPU time: 110.123 s c =============================================================================== c | 49 | 800 1477 477000 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3107 c Elapsed CPU time: 70.0753 s Remaining CPU time: 109.925 s c =============================================================================== c | 49 | 800 1478 477700 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3106 c Elapsed CPU time: 70.2923 s Remaining CPU time: 109.708 s c =============================================================================== c | 49 | 800 1479 478400 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3105 c Elapsed CPU time: 70.5183 s Remaining CPU time: 109.482 s c =============================================================================== c | 49 | 800 1480 479100 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3104 c Elapsed CPU time: 70.7382 s Remaining CPU time: 109.262 s c =============================================================================== c | 49 | 800 1481 479800 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3103 c Elapsed CPU time: 70.9512 s Remaining CPU time: 109.049 s c =============================================================================== c | 49 | 800 1482 480500 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3102 c Elapsed CPU time: 71.1722 s Remaining CPU time: 108.828 s c =============================================================================== c | 49 | 800 1483 481200 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3101 c Elapsed CPU time: 71.3961 s Remaining CPU time: 108.604 s c =============================================================================== c | 49 | 800 1484 481900 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3100 c Elapsed CPU time: 71.6181 s Remaining CPU time: 108.382 s c =============================================================================== c | 49 | 800 1485 482600 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3099 c Elapsed CPU time: 71.8391 s Remaining CPU time: 108.161 s c =============================================================================== c | 49 | 800 1486 483300 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3098 c Elapsed CPU time: 72.06 s Remaining CPU time: 107.94 s c =============================================================================== c | 49 | 800 1487 484000 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3097 c Elapsed CPU time: 72.274 s Remaining CPU time: 107.726 s c =============================================================================== c | 49 | 800 1488 484700 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3096 c Elapsed CPU time: 72.495 s Remaining CPU time: 107.505 s c =============================================================================== c | 49 | 800 1489 485400 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3095 c Elapsed CPU time: 72.7239 s Remaining CPU time: 107.276 s c =============================================================================== c | 49 | 800 1490 486100 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3094 c Elapsed CPU time: 72.9359 s Remaining CPU time: 107.064 s c =============================================================================== c | 49 | 800 1491 486800 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3093 c Elapsed CPU time: 73.1389 s Remaining CPU time: 106.861 s c =============================================================================== c | 49 | 800 1492 487500 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3092 c Elapsed CPU time: 73.3439 s Remaining CPU time: 106.656 s c =============================================================================== c | 49 | 800 1493 488200 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3091 c Elapsed CPU time: 73.5558 s Remaining CPU time: 106.444 s c =============================================================================== c | 49 | 800 1494 488900 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3090 c Elapsed CPU time: 73.7598 s Remaining CPU time: 106.24 s c =============================================================================== c | 49 | 800 1495 489600 | 5000 49 164 | 0.000 % | c =============================================================================== c New solution: 3089 c Elapsed CPU time: 73.9788 s Remaining CPU time: 106.021 s c =============================================================================== c | 50 | 800 1496 490300 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3088 c Elapsed CPU time: 74.1767 s Remaining CPU time: 105.823 s c =============================================================================== c | 50 | 800 1497 491000 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3087 c Elapsed CPU time: 74.3927 s Remaining CPU time: 105.607 s c =============================================================================== c | 50 | 800 1498 491700 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3086 c Elapsed CPU time: 74.5887 s Remaining CPU time: 105.411 s c =============================================================================== c | 50 | 800 1499 492400 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3085 c Elapsed CPU time: 74.7936 s Remaining CPU time: 105.206 s c =============================================================================== c | 50 | 800 1500 493100 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3084 c Elapsed CPU time: 75.0006 s Remaining CPU time: 104.999 s c =============================================================================== c | 50 | 800 1501 493800 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3083 c Elapsed CPU time: 75.2316 s Remaining CPU time: 104.768 s c =============================================================================== c | 50 | 800 1502 494500 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3082 c Elapsed CPU time: 75.4445 s Remaining CPU time: 104.555 s c =============================================================================== c | 50 | 800 1503 495200 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3081 c Elapsed CPU time: 75.6585 s Remaining CPU time: 104.342 s c =============================================================================== c | 50 | 800 1504 495900 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3080 c Elapsed CPU time: 75.8665 s Remaining CPU time: 104.134 s c =============================================================================== c | 50 | 800 1505 496600 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3079 c Elapsed CPU time: 76.0644 s Remaining CPU time: 103.936 s c =============================================================================== c | 50 | 800 1506 497300 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3078 c Elapsed CPU time: 76.2924 s Remaining CPU time: 103.708 s c =============================================================================== c | 50 | 800 1507 498000 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3077 c Elapsed CPU time: 76.5044 s Remaining CPU time: 103.496 s c =============================================================================== c | 50 | 800 1508 498700 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3076 c Elapsed CPU time: 76.7403 s Remaining CPU time: 103.26 s c =============================================================================== c | 50 | 800 1509 499400 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3075 c Elapsed CPU time: 76.9663 s Remaining CPU time: 103.034 s c =============================================================================== c | 50 | 800 1510 500100 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3074 c Elapsed CPU time: 77.1813 s Remaining CPU time: 102.819 s c =============================================================================== c | 50 | 800 1511 500800 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3073 c Elapsed CPU time: 77.4112 s Remaining CPU time: 102.589 s c =============================================================================== c | 50 | 800 1512 501500 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3072 c Elapsed CPU time: 77.6262 s Remaining CPU time: 102.374 s c =============================================================================== c | 50 | 800 1513 502200 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3071 c Elapsed CPU time: 77.8682 s Remaining CPU time: 102.132 s c =============================================================================== c | 50 | 800 1514 502900 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3070 c Elapsed CPU time: 78.1001 s Remaining CPU time: 101.9 s c =============================================================================== c | 50 | 800 1515 503600 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3069 c Elapsed CPU time: 78.3111 s Remaining CPU time: 101.689 s c =============================================================================== c | 50 | 800 1516 504300 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3068 c Elapsed CPU time: 78.5231 s Remaining CPU time: 101.477 s c =============================================================================== c | 50 | 800 1517 505000 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3067 c Elapsed CPU time: 78.728 s Remaining CPU time: 101.272 s c =============================================================================== c | 50 | 800 1518 505700 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3066 c Elapsed CPU time: 78.94 s Remaining CPU time: 101.06 s c =============================================================================== c | 50 | 800 1519 506400 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3065 c Elapsed CPU time: 79.171 s Remaining CPU time: 100.829 s c =============================================================================== c | 50 | 800 1520 507100 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3064 c Elapsed CPU time: 79.4159 s Remaining CPU time: 100.584 s c =============================================================================== c | 50 | 800 1521 507800 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3063 c Elapsed CPU time: 79.6249 s Remaining CPU time: 100.375 s c =============================================================================== c | 50 | 800 1522 508500 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3062 c Elapsed CPU time: 79.8529 s Remaining CPU time: 100.147 s c =============================================================================== c | 50 | 800 1523 509200 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3061 c Elapsed CPU time: 80.0708 s Remaining CPU time: 99.9292 s c =============================================================================== c | 50 | 800 1524 509900 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3060 c Elapsed CPU time: 80.2838 s Remaining CPU time: 99.7162 s c =============================================================================== c | 50 | 800 1525 510600 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3059 c Elapsed CPU time: 80.5088 s Remaining CPU time: 99.4912 s c =============================================================================== c | 50 | 800 1526 511300 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3058 c Elapsed CPU time: 80.7187 s Remaining CPU time: 99.2813 s c =============================================================================== c | 50 | 800 1527 512000 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3057 c Elapsed CPU time: 80.9317 s Remaining CPU time: 99.0683 s c =============================================================================== c | 50 | 800 1528 512700 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3056 c Elapsed CPU time: 81.1527 s Remaining CPU time: 98.8473 s c =============================================================================== c | 50 | 800 1529 513400 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3055 c Elapsed CPU time: 81.3556 s Remaining CPU time: 98.6444 s c =============================================================================== c | 50 | 800 1530 514100 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3054 c Elapsed CPU time: 81.5716 s Remaining CPU time: 98.4284 s c =============================================================================== c | 50 | 800 1531 514800 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3053 c Elapsed CPU time: 81.7926 s Remaining CPU time: 98.2074 s c =============================================================================== c | 50 | 800 1532 515500 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3052 c Elapsed CPU time: 82.0005 s Remaining CPU time: 97.9995 s c =============================================================================== c | 50 | 800 1533 516200 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3051 c Elapsed CPU time: 82.2215 s Remaining CPU time: 97.7785 s c =============================================================================== c | 50 | 800 1534 516900 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3050 c Elapsed CPU time: 82.4335 s Remaining CPU time: 97.5665 s c =============================================================================== c | 50 | 800 1535 517600 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3049 c Elapsed CPU time: 82.6514 s Remaining CPU time: 97.3486 s c =============================================================================== c | 50 | 800 1536 518300 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3048 c Elapsed CPU time: 82.8974 s Remaining CPU time: 97.1026 s c =============================================================================== c | 50 | 800 1537 519000 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3047 c Elapsed CPU time: 83.1304 s Remaining CPU time: 96.8696 s c =============================================================================== c | 50 | 800 1538 519700 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3046 c Elapsed CPU time: 83.3533 s Remaining CPU time: 96.6467 s c =============================================================================== c | 50 | 800 1539 520400 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3045 c Elapsed CPU time: 83.5653 s Remaining CPU time: 96.4347 s c =============================================================================== c | 50 | 800 1540 521100 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3044 c Elapsed CPU time: 83.7843 s Remaining CPU time: 96.2157 s c =============================================================================== c | 50 | 800 1541 521800 | 5000 50 161 | 0.000 % | c =============================================================================== c New solution: 3043 c Elapsed CPU time: 84.0292 s Remaining CPU time: 95.9708 s c =============================================================================== c | 51 | 800 1542 522500 | 5000 51 158 | 0.000 % | c =============================================================================== c New solution: 3042 c Elapsed CPU time: 84.2392 s Remaining CPU time: 95.7608 s c =============================================================================== c | 51 | 800 1543 523200 | 5000 51 158 | 0.000 % | c =============================================================================== c New solution: 3041 c Elapsed CPU time: 84.4732 s Remaining CPU time: 95.5268 s c =============================================================================== c | 52 | 800 1544 523900 | 5000 52 155 | 0.000 % | c =============================================================================== c New solution: 3040 c Elapsed CPU time: 84.7071 s Remaining CPU time: 95.2929 s c =============================================================================== c | 53 | 800 1545 524600 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3039 c Elapsed CPU time: 84.9391 s Remaining CPU time: 95.0609 s c =============================================================================== c | 53 | 800 1546 525300 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3038 c Elapsed CPU time: 85.1591 s Remaining CPU time: 94.8409 s c =============================================================================== c | 53 | 800 1547 526000 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3037 c Elapsed CPU time: 85.377 s Remaining CPU time: 94.623 s c =============================================================================== c | 53 | 800 1548 526700 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3036 c Elapsed CPU time: 85.59 s Remaining CPU time: 94.41 s c =============================================================================== c | 53 | 800 1549 527400 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3035 c Elapsed CPU time: 85.805 s Remaining CPU time: 94.195 s c =============================================================================== c | 53 | 800 1550 528100 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3034 c Elapsed CPU time: 86.0289 s Remaining CPU time: 93.9711 s c =============================================================================== c | 53 | 800 1551 528800 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3033 c Elapsed CPU time: 86.2559 s Remaining CPU time: 93.7441 s c =============================================================================== c | 53 | 800 1552 529500 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3032 c Elapsed CPU time: 86.5178 s Remaining CPU time: 93.4822 s c =============================================================================== c | 53 | 800 1553 530200 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3031 c Elapsed CPU time: 86.7578 s Remaining CPU time: 93.2422 s c =============================================================================== c | 53 | 800 1554 530900 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3030 c Elapsed CPU time: 86.9678 s Remaining CPU time: 93.0322 s c =============================================================================== c | 53 | 800 1555 531600 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3029 c Elapsed CPU time: 87.1867 s Remaining CPU time: 92.8133 s c =============================================================================== c | 53 | 800 1556 532300 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3028 c Elapsed CPU time: 87.4087 s Remaining CPU time: 92.5913 s c =============================================================================== c | 53 | 800 1557 533000 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3027 c Elapsed CPU time: 87.6367 s Remaining CPU time: 92.3633 s c =============================================================================== c | 53 | 800 1558 533700 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3026 c Elapsed CPU time: 87.8476 s Remaining CPU time: 92.1524 s c =============================================================================== c | 53 | 800 1559 534400 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3025 c Elapsed CPU time: 88.0656 s Remaining CPU time: 91.9344 s c =============================================================================== c | 53 | 800 1560 535100 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3024 c Elapsed CPU time: 88.2986 s Remaining CPU time: 91.7014 s c =============================================================================== c | 53 | 800 1561 535800 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3023 c Elapsed CPU time: 88.5185 s Remaining CPU time: 91.4815 s c =============================================================================== c | 53 | 800 1562 536500 | 5000 53 152 | 0.000 % | c =============================================================================== c New solution: 3022 c Elapsed CPU time: 88.7375 s Remaining CPU time: 91.2625 s c =============================================================================== c | 57 | 800 1563 537200 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3021 c Elapsed CPU time: 88.9705 s Remaining CPU time: 91.0295 s c =============================================================================== c | 57 | 800 1564 537900 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3020 c Elapsed CPU time: 89.1954 s Remaining CPU time: 90.8046 s c =============================================================================== c | 57 | 800 1565 538600 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3019 c Elapsed CPU time: 89.4244 s Remaining CPU time: 90.5756 s c =============================================================================== c | 57 | 800 1566 539300 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3018 c Elapsed CPU time: 89.6504 s Remaining CPU time: 90.3496 s c =============================================================================== c | 57 | 800 1567 540000 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3017 c Elapsed CPU time: 89.8703 s Remaining CPU time: 90.1297 s c =============================================================================== c | 57 | 800 1568 540700 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3016 c Elapsed CPU time: 90.1043 s Remaining CPU time: 89.8957 s c =============================================================================== c | 57 | 800 1569 541400 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3015 c Elapsed CPU time: 90.3363 s Remaining CPU time: 89.6637 s c =============================================================================== c | 57 | 800 1570 542100 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3014 c Elapsed CPU time: 90.5602 s Remaining CPU time: 89.4398 s c =============================================================================== c | 57 | 800 1571 542800 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3013 c Elapsed CPU time: 90.7902 s Remaining CPU time: 89.2098 s c =============================================================================== c | 57 | 800 1572 543500 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3012 c Elapsed CPU time: 91.0172 s Remaining CPU time: 88.9828 s c =============================================================================== c | 57 | 800 1573 544200 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3011 c Elapsed CPU time: 91.2511 s Remaining CPU time: 88.7489 s c =============================================================================== c | 57 | 800 1574 544900 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3010 c Elapsed CPU time: 91.4781 s Remaining CPU time: 88.5219 s c =============================================================================== c | 57 | 800 1575 545600 | 5000 57 143 | 0.000 % | c =============================================================================== c New solution: 3009 c Elapsed CPU time: 91.7151 s Remaining CPU time: 88.2849 s c =============================================================================== c | 60 | 800 1576 546300 | 5000 60 154 | 0.000 % | c =============================================================================== c New solution: 3008 c Elapsed CPU time: 91.948 s Remaining CPU time: 88.052 s c =============================================================================== c | 60 | 800 1577 547000 | 5000 60 154 | 0.000 % | c =============================================================================== c New solution: 3007 c Elapsed CPU time: 92.196 s Remaining CPU time: 87.804 s c =============================================================================== c | 60 | 800 1578 547700 | 5000 60 154 | 0.000 % | c =============================================================================== c New solution: 3006 c Elapsed CPU time: 92.4619 s Remaining CPU time: 87.5381 s c =============================================================================== c | 65 | 800 1579 548400 | 5000 65 143 | 0.000 % | c =============================================================================== c New solution: 3005 c Elapsed CPU time: 92.7049 s Remaining CPU time: 87.2951 s c =============================================================================== c | 65 | 800 1580 549100 | 5000 65 143 | 0.000 % | c =============================================================================== c New solution: 3004 c Elapsed CPU time: 92.9529 s Remaining CPU time: 87.0471 s c =============================================================================== c | 65 | 800 1581 549800 | 5000 65 143 | 0.000 % | c =============================================================================== c New solution: 3003 c Elapsed CPU time: 93.1738 s Remaining CPU time: 86.8262 s c =============================================================================== c | 66 | 800 1582 550500 | 5000 66 149 | 0.000 % | c =============================================================================== c New solution: 3002 c Elapsed CPU time: 93.4178 s Remaining CPU time: 86.5822 s c =============================================================================== c | 66 | 800 1583 551200 | 5000 66 149 | 0.000 % | c =============================================================================== c New solution: 3001 c Elapsed CPU time: 93.6588 s Remaining CPU time: 86.3412 s c =============================================================================== c | 67 | 800 1584 551900 | 5000 67 147 | 0.000 % | c =============================================================================== c New solution: 3000 c Elapsed CPU time: 93.8847 s Remaining CPU time: 86.1153 s c =============================================================================== c | 68 | 800 1585 552600 | 5000 68 145 | 0.000 % | c =============================================================================== c New solution: 2999 c Elapsed CPU time: 94.1167 s Remaining CPU time: 85.8833 s c =============================================================================== c | 68 | 800 1586 553300 | 5000 68 145 | 0.000 % | c =============================================================================== c New solution: 2998 c Elapsed CPU time: 94.3507 s Remaining CPU time: 85.6493 s c =============================================================================== c | 70 | 800 1587 554000 | 5000 70 156 | 0.000 % | c =============================================================================== c New solution: 2997 c Elapsed CPU time: 94.6006 s Remaining CPU time: 85.3994 s c =============================================================================== c | 71 | 800 1588 554700 | 5000 71 154 | 0.000 % | c =============================================================================== c New solution: 2996 c Elapsed CPU time: 94.8426 s Remaining CPU time: 85.1574 s c =============================================================================== c | 72 | 800 1589 555400 | 5000 72 159 | 0.000 % | c =============================================================================== c New solution: 2995 c Elapsed CPU time: 95.0835 s Remaining CPU time: 84.9165 s c =============================================================================== c | 72 | 800 1590 556100 | 5000 72 159 | 0.000 % | c =============================================================================== c New solution: 2994 c Elapsed CPU time: 95.3295 s Remaining CPU time: 84.6705 s c =============================================================================== c | 73 | 800 1591 556800 | 5000 73 157 | 0.000 % | c =============================================================================== c New solution: 2993 c Elapsed CPU time: 95.6085 s Remaining CPU time: 84.3915 s c =============================================================================== c | 76 | 800 1592 557500 | 5000 76 159 | 0.000 % | c =============================================================================== c New solution: 2992 c Elapsed CPU time: 95.8334 s Remaining CPU time: 84.1666 s c =============================================================================== c | 76 | 800 1593 558200 | 5000 76 159 | 0.000 % | c =============================================================================== c New solution: 2991 c Elapsed CPU time: 96.0694 s Remaining CPU time: 83.9306 s c =============================================================================== c | 78 | 800 1594 558900 | 5000 78 168 | 0.000 % | c =============================================================================== c New solution: 2990 c Elapsed CPU time: 96.3184 s Remaining CPU time: 83.6816 s c =============================================================================== c | 79 | 800 1595 559600 | 5000 79 173 | 0.000 % | c =============================================================================== c New solution: 2989 c Elapsed CPU time: 96.5413 s Remaining CPU time: 83.4587 s c =============================================================================== c | 79 | 800 1596 560300 | 5000 79 173 | 0.000 % | c =============================================================================== c New solution: 2988 c Elapsed CPU time: 96.7583 s Remaining CPU time: 83.2417 s c =============================================================================== c | 79 | 800 1597 561000 | 5000 79 173 | 0.000 % | c =============================================================================== c New solution: 2987 c Elapsed CPU time: 97.0073 s Remaining CPU time: 82.9927 s c =============================================================================== c | 79 | 800 1598 561700 | 5000 79 173 | 0.000 % | c =============================================================================== c New solution: 2986 c Elapsed CPU time: 97.2472 s Remaining CPU time: 82.7528 s c =============================================================================== c | 80 | 800 1599 562400 | 5000 80 171 | 0.000 % | c =============================================================================== c New solution: 2985 c Elapsed CPU time: 97.5002 s Remaining CPU time: 82.4998 s c =============================================================================== c | 82 | 800 1600 563100 | 5000 82 180 | 0.000 % | c =============================================================================== c New solution: 2984 c Elapsed CPU time: 97.7501 s Remaining CPU time: 82.2499 s c =============================================================================== c | 84 | 800 1601 563800 | 5000 84 176 | 0.000 % | c =============================================================================== c New solution: 2983 c Elapsed CPU time: 97.9981 s Remaining CPU time: 82.0019 s c =============================================================================== c | 84 | 800 1602 564500 | 5000 84 176 | 0.000 % | c =============================================================================== c New solution: 2982 c Elapsed CPU time: 98.2391 s Remaining CPU time: 81.7609 s c =============================================================================== c | 84 | 800 1603 565200 | 5000 84 176 | 0.000 % | c =============================================================================== c New solution: 2981 c Elapsed CPU time: 98.476 s Remaining CPU time: 81.524 s c =============================================================================== c | 84 | 800 1604 565900 | 5000 84 176 | 0.000 % | c =============================================================================== c New solution: 2980 c Elapsed CPU time: 98.723 s Remaining CPU time: 81.277 s c =============================================================================== c | 87 | 800 1605 566600 | 5000 87 188 | 0.000 % | c =============================================================================== c New solution: 2979 c Elapsed CPU time: 98.961 s Remaining CPU time: 81.039 s c =============================================================================== c | 88 | 800 1606 567300 | 5000 88 192 | 0.000 % | c =============================================================================== c New solution: 2978 c Elapsed CPU time: 99.2089 s Remaining CPU time: 80.7911 s c =============================================================================== c | 89 | 800 1607 568000 | 5000 89 196 | 0.000 % | c =============================================================================== c New solution: 2977 c Elapsed CPU time: 99.4469 s Remaining CPU time: 80.5531 s c =============================================================================== c | 89 | 800 1608 568700 | 5000 89 196 | 0.000 % | c =============================================================================== c New solution: 2976 c Elapsed CPU time: 99.6888 s Remaining CPU time: 80.3112 s c =============================================================================== c | 89 | 800 1609 569400 | 5000 89 196 | 0.000 % | c =============================================================================== c New solution: 2975 c Elapsed CPU time: 99.9378 s Remaining CPU time: 80.0622 s c =============================================================================== c | 90 | 800 1610 570100 | 5000 90 194 | 0.000 % | c =============================================================================== c New solution: 2974 c Elapsed CPU time: 100.162 s Remaining CPU time: 79.8382 s c =============================================================================== c | 92 | 800 1611 570800 | 5000 92 190 | 0.000 % | c =============================================================================== c New solution: 2973 c Elapsed CPU time: 100.533 s Remaining CPU time: 79.4673 s c =============================================================================== c | 109 | 800 1612 571500 | 5000 109 235 | 0.000 % | c =============================================================================== c New solution: 2972 c Elapsed CPU time: 100.762 s Remaining CPU time: 79.2383 s c =============================================================================== c | 109 | 800 1613 572200 | 5000 109 235 | 0.000 % | c =============================================================================== c New solution: 2971 c Elapsed CPU time: 101.009 s Remaining CPU time: 78.9914 s c =============================================================================== c | 109 | 800 1614 572900 | 5000 109 235 | 0.000 % | c =============================================================================== c New solution: 2970 c Elapsed CPU time: 101.253 s Remaining CPU time: 78.7474 s c =============================================================================== c | 110 | 800 1615 573600 | 5000 110 233 | 0.000 % | c =============================================================================== c New solution: 2969 c Elapsed CPU time: 101.481 s Remaining CPU time: 78.5194 s c =============================================================================== c | 111 | 800 1616 574300 | 5000 111 231 | 0.000 % | c =============================================================================== c New solution: 2968 c Elapsed CPU time: 101.72 s Remaining CPU time: 78.2805 s c =============================================================================== c | 111 | 800 1617 575000 | 5000 111 231 | 0.000 % | c =============================================================================== c New solution: 2967 c Elapsed CPU time: 101.964 s Remaining CPU time: 78.0355 s c =============================================================================== c | 111 | 800 1618 575700 | 5000 111 231 | 0.000 % | c =============================================================================== c New solution: 2966 c Elapsed CPU time: 102.205 s Remaining CPU time: 77.7945 s c =============================================================================== c | 113 | 800 1619 576400 | 5000 113 227 | 0.000 % | c =============================================================================== c New solution: 2965 c Elapsed CPU time: 102.45 s Remaining CPU time: 77.5496 s c =============================================================================== c | 113 | 800 1620 577100 | 5000 113 227 | 0.000 % | c =============================================================================== c New solution: 2964 c Elapsed CPU time: 102.712 s Remaining CPU time: 77.2876 s c =============================================================================== c | 114 | 800 1621 577800 | 5000 114 225 | 0.000 % | c =============================================================================== c New solution: 2963 c Elapsed CPU time: 102.965 s Remaining CPU time: 77.0347 s c =============================================================================== c | 114 | 800 1622 578500 | 5000 114 225 | 0.000 % | c =============================================================================== c New solution: 2962 c Elapsed CPU time: 103.208 s Remaining CPU time: 76.7917 s c =============================================================================== c | 114 | 800 1623 579200 | 5000 114 225 | 0.000 % | c =============================================================================== c New solution: 2961 c Elapsed CPU time: 103.458 s Remaining CPU time: 76.5417 s c =============================================================================== c | 114 | 800 1624 579900 | 5000 114 225 | 0.000 % | c =============================================================================== c New solution: 2960 c Elapsed CPU time: 103.699 s Remaining CPU time: 76.3008 s c =============================================================================== c | 114 | 800 1625 580600 | 5000 114 225 | 0.000 % | c =============================================================================== c New solution: 2959 c Elapsed CPU time: 103.932 s Remaining CPU time: 76.0678 s c =============================================================================== c | 114 | 800 1626 581300 | 5000 114 225 | 0.000 % | c =============================================================================== c New solution: 2958 c Elapsed CPU time: 104.152 s Remaining CPU time: 75.8478 s c =============================================================================== c | 114 | 800 1627 582000 | 5000 114 225 | 0.000 % | c =============================================================================== c New solution: 2957 c Elapsed CPU time: 104.387 s Remaining CPU time: 75.6129 s c =============================================================================== c | 114 | 800 1628 582700 | 5000 114 225 | 0.000 % | c =============================================================================== c New solution: 2956 c Elapsed CPU time: 104.648 s Remaining CPU time: 75.3519 s c =============================================================================== c | 118 | 800 1629 583400 | 5000 118 222 | 0.000 % | c =============================================================================== c New solution: 2955 c Elapsed CPU time: 104.878 s Remaining CPU time: 75.1219 s c =============================================================================== c | 119 | 800 1630 584100 | 5000 119 221 | 0.000 % | c =============================================================================== c New solution: 2954 c Elapsed CPU time: 105.115 s Remaining CPU time: 74.885 s c =============================================================================== c | 119 | 800 1631 584800 | 5000 119 221 | 0.000 % | c =============================================================================== c New solution: 2953 c Elapsed CPU time: 105.352 s Remaining CPU time: 74.648 s c =============================================================================== c | 121 | 800 1632 585500 | 5000 121 217 | 0.000 % | c =============================================================================== c New solution: 2952 c Elapsed CPU time: 105.592 s Remaining CPU time: 74.4081 s c =============================================================================== c | 121 | 800 1633 586200 | 5000 121 217 | 0.000 % | c =============================================================================== c New solution: 2951 c Elapsed CPU time: 105.84 s Remaining CPU time: 74.1601 s c =============================================================================== c | 121 | 800 1634 586900 | 5000 121 217 | 0.000 % | c =============================================================================== c New solution: 2950 c Elapsed CPU time: 106.075 s Remaining CPU time: 73.9251 s c =============================================================================== c | 121 | 800 1635 587600 | 5000 121 217 | 0.000 % | c =============================================================================== c New solution: 2949 c Elapsed CPU time: 106.316 s Remaining CPU time: 73.6842 s c =============================================================================== c | 121 | 800 1636 588300 | 5000 121 217 | 0.000 % | c =============================================================================== c New solution: 2948 c Elapsed CPU time: 106.594 s Remaining CPU time: 73.4062 s c =============================================================================== c | 123 | 800 1637 589000 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2947 c Elapsed CPU time: 106.842 s Remaining CPU time: 73.1582 s c =============================================================================== c | 123 | 800 1638 589700 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2946 c Elapsed CPU time: 107.089 s Remaining CPU time: 72.9113 s c =============================================================================== c | 123 | 800 1639 590400 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2945 c Elapsed CPU time: 107.334 s Remaining CPU time: 72.6663 s c =============================================================================== c | 123 | 800 1640 591100 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2944 c Elapsed CPU time: 107.588 s Remaining CPU time: 72.4124 s c =============================================================================== c | 123 | 800 1641 591800 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2943 c Elapsed CPU time: 107.853 s Remaining CPU time: 72.1474 s c =============================================================================== c | 123 | 800 1642 592500 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2942 c Elapsed CPU time: 108.089 s Remaining CPU time: 71.9114 s c =============================================================================== c | 123 | 800 1643 593200 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2941 c Elapsed CPU time: 108.339 s Remaining CPU time: 71.6615 s c =============================================================================== c | 123 | 800 1644 593900 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2940 c Elapsed CPU time: 108.569 s Remaining CPU time: 71.4305 s c =============================================================================== c | 123 | 800 1645 594600 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2939 c Elapsed CPU time: 108.82 s Remaining CPU time: 71.1795 s c =============================================================================== c | 123 | 800 1646 595300 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2938 c Elapsed CPU time: 109.071 s Remaining CPU time: 70.9286 s c =============================================================================== c | 123 | 800 1647 596000 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2937 c Elapsed CPU time: 109.336 s Remaining CPU time: 70.6636 s c =============================================================================== c | 123 | 800 1648 596700 | 5000 123 218 | 0.000 % | c =============================================================================== c New solution: 2936 c Elapsed CPU time: 109.619 s Remaining CPU time: 70.3807 s c =============================================================================== c | 125 | 800 1649 597400 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2935 c Elapsed CPU time: 109.866 s Remaining CPU time: 70.1337 s c =============================================================================== c | 125 | 800 1650 598100 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2934 c Elapsed CPU time: 110.127 s Remaining CPU time: 69.8727 s c =============================================================================== c | 125 | 800 1651 598800 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2933 c Elapsed CPU time: 110.379 s Remaining CPU time: 69.6208 s c =============================================================================== c | 125 | 800 1652 599500 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2932 c Elapsed CPU time: 110.621 s Remaining CPU time: 69.3788 s c =============================================================================== c | 125 | 800 1653 600200 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2931 c Elapsed CPU time: 110.857 s Remaining CPU time: 69.1429 s c =============================================================================== c | 125 | 800 1654 600900 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2930 c Elapsed CPU time: 111.118 s Remaining CPU time: 68.8819 s c =============================================================================== c | 125 | 800 1655 601600 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2929 c Elapsed CPU time: 111.37 s Remaining CPU time: 68.6299 s c =============================================================================== c | 125 | 800 1656 602300 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2928 c Elapsed CPU time: 111.619 s Remaining CPU time: 68.381 s c =============================================================================== c | 125 | 800 1657 603000 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2927 c Elapsed CPU time: 111.859 s Remaining CPU time: 68.141 s c =============================================================================== c | 125 | 800 1658 603700 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2926 c Elapsed CPU time: 112.103 s Remaining CPU time: 67.897 s c =============================================================================== c | 125 | 800 1659 604400 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2925 c Elapsed CPU time: 112.342 s Remaining CPU time: 67.6581 s c =============================================================================== c | 125 | 800 1660 605100 | 5000 125 223 | 0.000 % | c =============================================================================== c New solution: 2924 c Elapsed CPU time: 112.578 s Remaining CPU time: 67.4221 s c =============================================================================== c | 127 | 800 1661 605800 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2923 c Elapsed CPU time: 112.817 s Remaining CPU time: 67.1832 s c =============================================================================== c | 127 | 800 1662 606500 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2922 c Elapsed CPU time: 113.069 s Remaining CPU time: 66.9312 s c =============================================================================== c | 127 | 800 1663 607200 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2921 c Elapsed CPU time: 113.341 s Remaining CPU time: 66.6592 s c =============================================================================== c | 127 | 800 1664 607900 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2920 c Elapsed CPU time: 113.595 s Remaining CPU time: 66.4053 s c =============================================================================== c | 127 | 800 1665 608600 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2919 c Elapsed CPU time: 113.843 s Remaining CPU time: 66.1573 s c =============================================================================== c | 127 | 800 1666 609300 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2918 c Elapsed CPU time: 114.099 s Remaining CPU time: 65.9013 s c =============================================================================== c | 127 | 800 1667 610000 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2917 c Elapsed CPU time: 114.343 s Remaining CPU time: 65.6574 s c =============================================================================== c | 127 | 800 1668 610700 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2916 c Elapsed CPU time: 114.607 s Remaining CPU time: 65.3934 s c =============================================================================== c | 127 | 800 1669 611400 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2915 c Elapsed CPU time: 114.863 s Remaining CPU time: 65.1375 s c =============================================================================== c | 127 | 800 1670 612100 | 5000 127 220 | 0.000 % | c =============================================================================== c New solution: 2914 c Elapsed CPU time: 115.12 s Remaining CPU time: 64.8795 s c =============================================================================== c | 128 | 800 1671 612800 | 5000 128 218 | 0.000 % | c =============================================================================== c New solution: 2913 c Elapsed CPU time: 115.373 s Remaining CPU time: 64.6265 s c =============================================================================== c | 128 | 800 1672 613500 | 5000 128 218 | 0.000 % | c =============================================================================== c New solution: 2912 c Elapsed CPU time: 115.621 s Remaining CPU time: 64.3786 s c =============================================================================== c | 128 | 800 1673 614200 | 5000 128 218 | 0.000 % | c =============================================================================== c New solution: 2911 c Elapsed CPU time: 115.872 s Remaining CPU time: 64.1276 s c =============================================================================== c | 128 | 800 1674 614900 | 5000 128 218 | 0.000 % | c =============================================================================== c New solution: 2910 c Elapsed CPU time: 116.116 s Remaining CPU time: 63.8837 s c =============================================================================== c | 128 | 800 1675 615600 | 5000 128 218 | 0.000 % | c =============================================================================== c New solution: 2909 c Elapsed CPU time: 116.368 s Remaining CPU time: 63.6317 s c =============================================================================== c | 128 | 800 1676 616300 | 5000 128 218 | 0.000 % | c =============================================================================== c New solution: 2908 c Elapsed CPU time: 116.616 s Remaining CPU time: 63.3837 s c =============================================================================== c | 128 | 800 1677 617000 | 5000 128 218 | 0.000 % | c =============================================================================== c New solution: 2907 c Elapsed CPU time: 116.865 s Remaining CPU time: 63.1348 s c =============================================================================== c | 128 | 800 1678 617700 | 5000 128 218 | 0.000 % | c =============================================================================== c New solution: 2906 c Elapsed CPU time: 117.126 s Remaining CPU time: 62.8738 s c =============================================================================== c | 129 | 800 1679 618400 | 5000 129 217 | 0.000 % | c =============================================================================== c New solution: 2905 c Elapsed CPU time: 117.392 s Remaining CPU time: 62.6078 s c =============================================================================== c | 129 | 800 1680 619100 | 5000 129 217 | 0.000 % | c =============================================================================== c New solution: 2904 c Elapsed CPU time: 117.651 s Remaining CPU time: 62.3489 s c =============================================================================== c | 129 | 800 1681 619800 | 5000 129 217 | 0.000 % | c =============================================================================== c New solution: 2903 c Elapsed CPU time: 117.9 s Remaining CPU time: 62.0999 s c =============================================================================== c | 129 | 800 1682 620500 | 5000 129 217 | 0.000 % | c =============================================================================== c New solution: 2902 c Elapsed CPU time: 118.149 s Remaining CPU time: 61.851 s c =============================================================================== c | 131 | 800 1683 621200 | 5000 131 214 | 0.000 % | c =============================================================================== c New solution: 2901 c Elapsed CPU time: 118.386 s Remaining CPU time: 61.614 s c =============================================================================== c | 131 | 800 1684 621900 | 5000 131 214 | 0.000 % | c =============================================================================== c New solution: 2900 c Elapsed CPU time: 118.639 s Remaining CPU time: 61.361 s c =============================================================================== c | 131 | 800 1685 622600 | 5000 131 214 | 0.000 % | c =============================================================================== c New solution: 2899 c Elapsed CPU time: 118.9 s Remaining CPU time: 61.1001 s c =============================================================================== c | 131 | 800 1686 623300 | 5000 131 214 | 0.000 % | c =============================================================================== c New solution: 2898 c Elapsed CPU time: 119.146 s Remaining CPU time: 60.8541 s c =============================================================================== c | 131 | 800 1687 624000 | 5000 131 214 | 0.000 % | c =============================================================================== c New solution: 2897 c Elapsed CPU time: 119.409 s Remaining CPU time: 60.5912 s c =============================================================================== c | 132 | 800 1688 624700 | 5000 132 216 | 0.000 % | c =============================================================================== c New solution: 2896 c Elapsed CPU time: 119.669 s Remaining CPU time: 60.3312 s c =============================================================================== c | 132 | 800 1689 625400 | 5000 132 216 | 0.000 % | c =============================================================================== c New solution: 2895 c Elapsed CPU time: 119.929 s Remaining CPU time: 60.0712 s c =============================================================================== c | 138 | 800 1690 626100 | 5000 138 207 | 0.000 % | c =============================================================================== c New solution: 2894 c Elapsed CPU time: 120.239 s Remaining CPU time: 59.7613 s c =============================================================================== c | 142 | 800 1691 626800 | 5000 142 216 | 0.000 % | c =============================================================================== c New solution: 2893 c Elapsed CPU time: 120.491 s Remaining CPU time: 59.5093 s c =============================================================================== c | 142 | 800 1692 627500 | 5000 142 216 | 0.000 % | c =============================================================================== c New solution: 2892 c Elapsed CPU time: 120.758 s Remaining CPU time: 59.2424 s c =============================================================================== c | 142 | 800 1693 628200 | 5000 142 216 | 0.000 % | c =============================================================================== c New solution: 2891 c Elapsed CPU time: 121.019 s Remaining CPU time: 58.9814 s c =============================================================================== c | 142 | 800 1694 628900 | 5000 142 216 | 0.000 % | c =============================================================================== c New solution: 2890 c Elapsed CPU time: 121.292 s Remaining CPU time: 58.7084 s c =============================================================================== c | 142 | 800 1695 629600 | 5000 142 216 | 0.000 % | c =============================================================================== c New solution: 2889 c Elapsed CPU time: 121.55 s Remaining CPU time: 58.4505 s c =============================================================================== c | 142 | 800 1696 630300 | 5000 142 216 | 0.000 % | c =============================================================================== c New solution: 2888 c Elapsed CPU time: 121.794 s Remaining CPU time: 58.2055 s c =============================================================================== c | 142 | 800 1697 631000 | 5000 142 216 | 0.000 % | c =============================================================================== c New solution: 2887 c Elapsed CPU time: 122.06 s Remaining CPU time: 57.9396 s c =============================================================================== c | 142 | 800 1698 631700 | 5000 142 216 | 0.000 % | c =============================================================================== c New solution: 2886 c Elapsed CPU time: 122.319 s Remaining CPU time: 57.6806 s c =============================================================================== c | 142 | 800 1699 632400 | 5000 142 216 | 0.000 % | c =============================================================================== c New solution: 2885 c Elapsed CPU time: 122.588 s Remaining CPU time: 57.4116 s c =============================================================================== c | 143 | 800 1700 633100 | 5000 143 215 | 0.000 % | c =============================================================================== c New solution: 2884 c Elapsed CPU time: 122.863 s Remaining CPU time: 57.1367 s c =============================================================================== c | 143 | 800 1701 633800 | 5000 143 215 | 0.000 % | c =============================================================================== c New solution: 2883 c Elapsed CPU time: 123.136 s Remaining CPU time: 56.8637 s c =============================================================================== c | 143 | 800 1702 634500 | 5000 143 215 | 0.000 % | c =============================================================================== c New solution: 2882 c Elapsed CPU time: 123.411 s Remaining CPU time: 56.5888 s c =============================================================================== c | 143 | 800 1703 635200 | 5000 143 215 | 0.000 % | c =============================================================================== c New solution: 2881 c Elapsed CPU time: 123.67 s Remaining CPU time: 56.3298 s c =============================================================================== c | 143 | 800 1704 635900 | 5000 143 215 | 0.000 % | c =============================================================================== c New solution: 2880 c Elapsed CPU time: 123.932 s Remaining CPU time: 56.0678 s c =============================================================================== c | 143 | 800 1705 636600 | 5000 143 215 | 0.000 % | c =============================================================================== c New solution: 2879 c Elapsed CPU time: 124.205 s Remaining CPU time: 55.7949 s c =============================================================================== c | 144 | 800 1706 637300 | 5000 144 213 | 0.000 % | c =============================================================================== c New solution: 2878 c Elapsed CPU time: 124.483 s Remaining CPU time: 55.5169 s c =============================================================================== c | 144 | 800 1707 638000 | 5000 144 213 | 0.000 % | c =============================================================================== c New solution: 2877 c Elapsed CPU time: 124.735 s Remaining CPU time: 55.265 s c =============================================================================== c | 144 | 800 1708 638700 | 5000 144 213 | 0.000 % | c =============================================================================== c New solution: 2876 c Elapsed CPU time: 124.98 s Remaining CPU time: 55.02 s c =============================================================================== c | 144 | 800 1709 639400 | 5000 144 213 | 0.000 % | c =============================================================================== c New solution: 2875 c Elapsed CPU time: 125.239 s Remaining CPU time: 54.761 s c =============================================================================== c | 144 | 800 1710 640100 | 5000 144 213 | 0.000 % | c =============================================================================== c New solution: 2874 c Elapsed CPU time: 125.484 s Remaining CPU time: 54.5161 s c =============================================================================== c | 144 | 800 1711 640800 | 5000 144 213 | 0.000 % | c =============================================================================== c New solution: 2873 c Elapsed CPU time: 125.75 s Remaining CPU time: 54.2501 s c =============================================================================== c | 144 | 800 1712 641500 | 5000 144 213 | 0.000 % | c =============================================================================== c New solution: 2872 c Elapsed CPU time: 126.024 s Remaining CPU time: 53.9762 s c =============================================================================== c | 145 | 800 1713 642200 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2871 c Elapsed CPU time: 126.286 s Remaining CPU time: 53.7142 s c =============================================================================== c | 145 | 800 1714 642900 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2870 c Elapsed CPU time: 126.553 s Remaining CPU time: 53.4472 s c =============================================================================== c | 145 | 800 1715 643600 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2869 c Elapsed CPU time: 126.835 s Remaining CPU time: 53.1653 s c =============================================================================== c | 145 | 800 1716 644300 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2868 c Elapsed CPU time: 127.1 s Remaining CPU time: 52.9003 s c =============================================================================== c | 145 | 800 1717 645000 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2867 c Elapsed CPU time: 127.37 s Remaining CPU time: 52.6304 s c =============================================================================== c | 145 | 800 1718 645700 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2866 c Elapsed CPU time: 127.638 s Remaining CPU time: 52.3624 s c =============================================================================== c | 145 | 800 1719 646400 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2865 c Elapsed CPU time: 127.901 s Remaining CPU time: 52.0994 s c =============================================================================== c | 145 | 800 1720 647100 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2864 c Elapsed CPU time: 128.162 s Remaining CPU time: 51.8385 s c =============================================================================== c | 145 | 800 1721 647800 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2863 c Elapsed CPU time: 128.403 s Remaining CPU time: 51.5965 s c =============================================================================== c | 145 | 800 1722 648500 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2862 c Elapsed CPU time: 128.667 s Remaining CPU time: 51.3326 s c =============================================================================== c | 145 | 800 1723 649200 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2861 c Elapsed CPU time: 128.915 s Remaining CPU time: 51.0846 s c =============================================================================== c | 145 | 800 1724 649900 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2860 c Elapsed CPU time: 129.199 s Remaining CPU time: 50.8006 s c =============================================================================== c | 145 | 800 1725 650600 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2859 c Elapsed CPU time: 129.465 s Remaining CPU time: 50.5347 s c =============================================================================== c | 145 | 800 1726 651300 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2858 c Elapsed CPU time: 129.75 s Remaining CPU time: 50.2497 s c =============================================================================== c | 145 | 800 1727 652000 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2857 c Elapsed CPU time: 130.014 s Remaining CPU time: 49.9858 s c =============================================================================== c | 145 | 800 1728 652700 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2856 c Elapsed CPU time: 130.292 s Remaining CPU time: 49.7078 s c =============================================================================== c | 145 | 800 1729 653400 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2855 c Elapsed CPU time: 130.558 s Remaining CPU time: 49.4418 s c =============================================================================== c | 145 | 800 1730 654100 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2854 c Elapsed CPU time: 130.827 s Remaining CPU time: 49.1729 s c =============================================================================== c | 145 | 800 1731 654800 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2853 c Elapsed CPU time: 131.096 s Remaining CPU time: 48.9039 s c =============================================================================== c | 145 | 800 1732 655500 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2852 c Elapsed CPU time: 131.367 s Remaining CPU time: 48.633 s c =============================================================================== c | 145 | 800 1733 656200 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2851 c Elapsed CPU time: 131.619 s Remaining CPU time: 48.381 s c =============================================================================== c | 145 | 800 1734 656900 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 131.899 s Remaining CPU time: 48.1011 s c =============================================================================== c | 145 | 800 1735 657600 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 132.161 s Remaining CPU time: 47.8391 s c =============================================================================== c | 145 | 800 1736 658300 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 132.427 s Remaining CPU time: 47.5731 s c =============================================================================== c | 145 | 800 1737 659000 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 132.691 s Remaining CPU time: 47.3092 s c =============================================================================== c | 145 | 800 1738 659700 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 132.971 s Remaining CPU time: 47.0292 s c =============================================================================== c | 145 | 800 1739 660400 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 133.256 s Remaining CPU time: 46.7443 s c =============================================================================== c | 145 | 800 1740 661100 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 133.537 s Remaining CPU time: 46.4633 s c =============================================================================== c | 145 | 800 1741 661800 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 133.814 s Remaining CPU time: 46.1863 s c =============================================================================== c | 145 | 800 1742 662500 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 134.099 s Remaining CPU time: 45.9014 s c =============================================================================== c | 145 | 800 1743 663200 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 134.398 s Remaining CPU time: 45.6024 s c =============================================================================== c | 145 | 800 1744 663900 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 134.667 s Remaining CPU time: 45.3335 s c =============================================================================== c | 145 | 800 1745 664600 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 134.939 s Remaining CPU time: 45.0605 s c =============================================================================== c | 145 | 800 1746 665300 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 135.205 s Remaining CPU time: 44.7946 s c =============================================================================== c | 145 | 800 1747 666000 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2837 c Elapsed CPU time: 135.484 s Remaining CPU time: 44.5156 s c =============================================================================== c | 145 | 800 1748 666700 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 135.75 s Remaining CPU time: 44.2496 s c =============================================================================== c | 145 | 800 1749 667400 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 136.036 s Remaining CPU time: 43.9637 s c =============================================================================== c | 145 | 800 1750 668100 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 136.296 s Remaining CPU time: 43.7037 s c =============================================================================== c | 145 | 800 1751 668800 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 136.553 s Remaining CPU time: 43.4468 s c =============================================================================== c | 145 | 800 1752 669500 | 5000 145 212 | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 136.812 s Remaining CPU time: 43.1878 s c =============================================================================== c | 147 | 800 1753 670200 | 5000 147 209 | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 137.098 s Remaining CPU time: 42.9018 s c =============================================================================== c | 147 | 800 1754 670900 | 5000 147 209 | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 137.37 s Remaining CPU time: 42.6299 s c =============================================================================== c | 149 | 800 1755 671600 | 5000 149 207 | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 137.639 s Remaining CPU time: 42.3609 s c =============================================================================== c | 149 | 800 1756 672300 | 5000 149 207 | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 137.892 s Remaining CPU time: 42.108 s c =============================================================================== c | 149 | 800 1757 673000 | 5000 149 207 | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 138.184 s Remaining CPU time: 41.816 s c =============================================================================== c | 149 | 800 1758 673700 | 5000 149 207 | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 138.454 s Remaining CPU time: 41.546 s c =============================================================================== c | 149 | 800 1759 674400 | 5000 149 207 | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 138.734 s Remaining CPU time: 41.2661 s c =============================================================================== c | 149 | 800 1760 675100 | 5000 149 207 | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 139.003 s Remaining CPU time: 40.9971 s c =============================================================================== c | 149 | 800 1761 675800 | 5000 149 207 | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 139.273 s Remaining CPU time: 40.7272 s c =============================================================================== c | 149 | 800 1762 676500 | 5000 149 207 | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 139.539 s Remaining CPU time: 40.4612 s c =============================================================================== c | 149 | 800 1763 677200 | 5000 149 207 | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 139.843 s Remaining CPU time: 40.1573 s c =============================================================================== c | 152 | 800 1764 677900 | 5000 152 203 | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 140.118 s Remaining CPU time: 39.8823 s c =============================================================================== c | 152 | 800 1765 678600 | 5000 152 203 | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 140.38 s Remaining CPU time: 39.6203 s c =============================================================================== c | 152 | 800 1766 679300 | 5000 152 203 | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 140.641 s Remaining CPU time: 39.3594 s c =============================================================================== c | 152 | 800 1767 680000 | 5000 152 203 | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 140.93 s Remaining CPU time: 39.0704 s c =============================================================================== c | 152 | 800 1768 680700 | 5000 152 203 | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 141.194 s Remaining CPU time: 38.8065 s c =============================================================================== c | 152 | 800 1769 681400 | 5000 152 203 | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 141.472 s Remaining CPU time: 38.5275 s c =============================================================================== c | 152 | 800 1770 682100 | 5000 152 203 | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 141.757 s Remaining CPU time: 38.2426 s c =============================================================================== c | 152 | 800 1771 682800 | 5000 152 203 | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 142.04 s Remaining CPU time: 37.9596 s c =============================================================================== c | 152 | 800 1772 683500 | 5000 152 203 | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 142.317 s Remaining CPU time: 37.6826 s c =============================================================================== c | 153 | 800 1773 684200 | 5000 153 201 | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 142.582 s Remaining CPU time: 37.4177 s c =============================================================================== c | 153 | 800 1774 684900 | 5000 153 201 | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 142.853 s Remaining CPU time: 37.1467 s c =============================================================================== c | 154 | 800 1775 685600 | 5000 154 200 | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 143.144 s Remaining CPU time: 36.8558 s c =============================================================================== c | 155 | 800 1776 686300 | 5000 155 199 | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 143.452 s Remaining CPU time: 36.5478 s c =============================================================================== c | 156 | 800 1777 687000 | 5000 156 198 | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 143.744 s Remaining CPU time: 36.2559 s c =============================================================================== c | 157 | 800 1778 687700 | 5000 157 200 | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 144.11 s Remaining CPU time: 35.8899 s c =============================================================================== c | 166 | 800 1779 688400 | 5000 166 208 | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 144.384 s Remaining CPU time: 35.6159 s c =============================================================================== c | 166 | 800 1780 689100 | 5000 166 208 | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 144.882 s Remaining CPU time: 35.118 s c =============================================================================== c | 184 | 800 1781 689800 | 5000 184 232 | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 145.179 s Remaining CPU time: 34.8211 s c =============================================================================== c | 185 | 800 1782 690500 | 5000 185 234 | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 145.48 s Remaining CPU time: 34.5201 s c =============================================================================== c | 186 | 800 1783 691200 | 5000 186 236 | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 145.748 s Remaining CPU time: 34.2522 s c =============================================================================== c | 186 | 800 1784 691900 | 5000 186 236 | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 146.033 s Remaining CPU time: 33.9672 s c =============================================================================== c | 190 | 800 1785 692600 | 5000 190 231 | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 146.329 s Remaining CPU time: 33.6712 s c =============================================================================== c | 191 | 800 1786 693300 | 5000 191 232 | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 146.618 s Remaining CPU time: 33.3823 s c =============================================================================== c | 192 | 800 1787 694000 | 5000 192 231 | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 146.897 s Remaining CPU time: 33.1033 s c =============================================================================== c | 194 | 800 1788 694700 | 5000 194 229 | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 147.201 s Remaining CPU time: 32.7994 s c =============================================================================== c | 197 | 800 1789 695400 | 5000 197 226 | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 147.487 s Remaining CPU time: 32.5134 s c =============================================================================== c | 197 | 800 1790 696100 | 5000 197 226 | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 147.763 s Remaining CPU time: 32.2375 s c =============================================================================== c | 198 | 800 1791 696800 | 5000 198 224 | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 148.038 s Remaining CPU time: 31.9615 s c =============================================================================== c | 204 | 800 1792 697500 | 5000 204 218 | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 148.58 s Remaining CPU time: 31.4196 s c =============================================================================== c | 256 | 800 1793 698200 | 5000 256 274 | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 148.851 s Remaining CPU time: 31.1486 s c =============================================================================== c | 257 | 800 1794 698900 | 5000 257 273 | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 149.139 s Remaining CPU time: 30.8607 s c =============================================================================== c | 259 | 800 1795 699600 | 5000 259 271 | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 149.4 s Remaining CPU time: 30.5997 s c =============================================================================== c | 263 | 800 1796 700300 | 5000 263 267 | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 149.705 s Remaining CPU time: 30.2948 s c =============================================================================== c | 263 | 800 1797 701000 | 5000 263 267 | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 150.014 s Remaining CPU time: 29.9858 s c =============================================================================== c | 264 | 800 1798 701700 | 5000 264 266 | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 150.297 s Remaining CPU time: 29.7028 s c =============================================================================== c | 264 | 800 1799 702400 | 5000 264 266 | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 150.576 s Remaining CPU time: 29.4239 s c =============================================================================== c | 264 | 800 1800 703100 | 5000 264 266 | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 150.864 s Remaining CPU time: 29.1359 s c =============================================================================== c | 264 | 800 1801 703800 | 5000 264 266 | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 151.137 s Remaining CPU time: 28.863 s c =============================================================================== c | 264 | 800 1802 704500 | 5000 264 266 | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 151.454 s Remaining CPU time: 28.546 s c =============================================================================== c | 274 | 800 1803 705200 | 5000 274 266 | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 151.732 s Remaining CPU time: 28.2681 s c =============================================================================== c | 276 | 800 1804 705900 | 5000 276 264 | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 152.059 s Remaining CPU time: 27.9411 s c =============================================================================== c | 278 | 800 1805 706600 | 5000 278 266 | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 152.397 s Remaining CPU time: 27.6032 s c =============================================================================== c | 283 | 800 1806 707300 | 5000 283 268 | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 152.664 s Remaining CPU time: 27.3362 s c =============================================================================== c | 283 | 800 1807 708000 | 5000 283 268 | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 152.93 s Remaining CPU time: 27.0702 s c =============================================================================== c | 285 | 800 1808 708700 | 5000 285 267 | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 153.229 s Remaining CPU time: 26.7713 s c =============================================================================== c | 285 | 800 1809 709400 | 5000 285 267 | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 153.519 s Remaining CPU time: 26.4813 s c =============================================================================== c | 285 | 800 1810 710100 | 5000 285 267 | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 153.813 s Remaining CPU time: 26.1874 s c =============================================================================== c | 285 | 800 1811 710800 | 5000 285 267 | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 154.082 s Remaining CPU time: 25.9184 s c =============================================================================== c | 285 | 800 1812 711500 | 5000 285 267 | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 154.352 s Remaining CPU time: 25.6485 s c =============================================================================== c | 285 | 800 1813 712200 | 5000 285 267 | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 154.69 s Remaining CPU time: 25.3095 s c =============================================================================== c | 287 | 800 1814 712900 | 5000 287 267 | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 154.959 s Remaining CPU time: 25.0406 s c =============================================================================== c | 288 | 800 1815 713600 | 5000 288 266 | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 155.32 s Remaining CPU time: 24.6796 s c =============================================================================== c | 290 | 800 1816 714300 | 5000 290 267 | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 155.606 s Remaining CPU time: 24.3937 s c =============================================================================== c | 291 | 800 1817 715000 | 5000 291 267 | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 155.915 s Remaining CPU time: 24.0847 s c =============================================================================== c | 291 | 800 1818 715700 | 5000 291 267 | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 156.191 s Remaining CPU time: 23.8087 s c =============================================================================== c | 294 | 800 1819 716400 | 5000 294 264 | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 156.492 s Remaining CPU time: 23.5078 s c =============================================================================== c | 294 | 800 1820 717100 | 5000 294 264 | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 156.79 s Remaining CPU time: 23.2098 s c =============================================================================== c | 295 | 800 1821 717800 | 5000 295 265 | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 157.153 s Remaining CPU time: 22.8469 s c =============================================================================== c | 304 | 800 1822 718500 | 5000 304 264 | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 157.428 s Remaining CPU time: 22.5719 s c =============================================================================== c | 304 | 800 1823 719200 | 5000 304 264 | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 157.705 s Remaining CPU time: 22.295 s c =============================================================================== c | 309 | 800 1824 719900 | 5000 309 260 | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 158.015 s Remaining CPU time: 21.985 s c =============================================================================== c | 311 | 800 1825 720600 | 5000 311 262 | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 158.296 s Remaining CPU time: 21.7041 s c =============================================================================== c | 311 | 800 1826 721300 | 5000 311 262 | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 158.596 s Remaining CPU time: 21.4041 s c =============================================================================== c | 311 | 800 1827 722000 | 5000 311 262 | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 158.901 s Remaining CPU time: 21.0992 s c =============================================================================== c | 314 | 800 1828 722700 | 5000 314 259 | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 159.181 s Remaining CPU time: 20.8192 s c =============================================================================== c | 315 | 800 1829 723400 | 5000 315 259 | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 159.512 s Remaining CPU time: 20.4882 s c =============================================================================== c | 318 | 800 1830 724100 | 5000 318 261 | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 159.802 s Remaining CPU time: 20.1983 s c =============================================================================== c | 319 | 800 1831 724800 | 5000 319 262 | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 160.103 s Remaining CPU time: 19.8973 s c =============================================================================== c | 320 | 800 1832 725500 | 5000 320 262 | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 160.405 s Remaining CPU time: 19.5954 s c =============================================================================== c | 320 | 800 1833 726200 | 5000 320 262 | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 160.732 s Remaining CPU time: 19.2684 s c =============================================================================== c | 322 | 800 1834 726900 | 5000 322 262 | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 161.045 s Remaining CPU time: 18.9555 s c =============================================================================== c | 324 | 800 1835 727600 | 5000 324 264 | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 161.317 s Remaining CPU time: 18.6825 s c =============================================================================== c | 325 | 800 1836 728300 | 5000 325 263 | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 161.608 s Remaining CPU time: 18.3916 s c =============================================================================== c | 328 | 800 1837 729000 | 5000 328 261 | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 161.943 s Remaining CPU time: 18.0566 s c =============================================================================== c | 332 | 800 1838 729700 | 5000 332 258 | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 162.401 s Remaining CPU time: 17.5987 s c =============================================================================== c | 347 | 800 1839 730400 | 5000 347 267 | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 162.677 s Remaining CPU time: 17.3227 s c =============================================================================== c | 347 | 800 1840 731100 | 5000 347 267 | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 162.966 s Remaining CPU time: 17.0338 s c =============================================================================== c | 347 | 800 1841 731800 | 5000 347 267 | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 163.248 s Remaining CPU time: 16.7518 s c =============================================================================== c | 347 | 800 1842 732500 | 5000 347 267 | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 163.526 s Remaining CPU time: 16.4739 s c =============================================================================== c | 347 | 800 1843 733200 | 5000 347 267 | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 163.813 s Remaining CPU time: 16.1869 s c =============================================================================== c | 347 | 800 1844 733900 | 5000 347 267 | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 164.136 s Remaining CPU time: 15.864 s c =============================================================================== c | 348 | 800 1845 734600 | 5000 348 266 | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 164.422 s Remaining CPU time: 15.578 s c =============================================================================== c | 348 | 800 1846 735300 | 5000 348 266 | 0.000 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 164.7 s Remaining CPU time: 15.3 s c =============================================================================== c | 348 | 800 1847 736000 | 5000 348 266 | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 165.003 s Remaining CPU time: 14.9971 s c =============================================================================== c | 348 | 800 1848 736700 | 5000 348 266 | 0.000 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 165.285 s Remaining CPU time: 14.7151 s c =============================================================================== c | 348 | 800 1849 737400 | 5000 348 266 | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 165.56 s Remaining CPU time: 14.4402 s c =============================================================================== c | 349 | 800 1850 738100 | 5000 349 266 | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 165.843 s Remaining CPU time: 14.1572 s c =============================================================================== c | 349 | 800 1851 738800 | 5000 349 266 | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 166.125 s Remaining CPU time: 13.8753 s c =============================================================================== c | 354 | 800 1852 739500 | 5000 354 262 | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 166.412 s Remaining CPU time: 13.5883 s c =============================================================================== c | 354 | 800 1853 740200 | 5000 354 262 | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 166.746 s Remaining CPU time: 13.2543 s c =============================================================================== c | 355 | 800 1854 740900 | 5000 355 261 | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 167.028 s Remaining CPU time: 12.9724 s c =============================================================================== c | 355 | 800 1855 741600 | 5000 355 261 | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 167.302 s Remaining CPU time: 12.6984 s c =============================================================================== c | 356 | 800 1856 742300 | 5000 356 261 | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 167.605 s Remaining CPU time: 12.3955 s c =============================================================================== c | 356 | 800 1857 743000 | 5000 356 261 | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 167.883 s Remaining CPU time: 12.1165 s c =============================================================================== c | 356 | 800 1858 743700 | 5000 356 261 | 0.000 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 168.177 s Remaining CPU time: 11.8226 s c =============================================================================== c | 357 | 800 1859 744400 | 5000 357 260 | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 168.446 s Remaining CPU time: 11.5536 s c =============================================================================== c | 359 | 800 1860 745100 | 5000 359 259 | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 168.726 s Remaining CPU time: 11.2737 s c =============================================================================== c | 359 | 800 1861 745800 | 5000 359 259 | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 169.024 s Remaining CPU time: 10.9757 s c =============================================================================== c | 359 | 800 1862 746500 | 5000 359 259 | 0.000 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 169.307 s Remaining CPU time: 10.6927 s c =============================================================================== c | 359 | 800 1863 747200 | 5000 359 259 | 0.000 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 169.601 s Remaining CPU time: 10.3988 s c =============================================================================== c | 359 | 800 1864 747900 | 5000 359 259 | 0.000 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 169.899 s Remaining CPU time: 10.1008 s c =============================================================================== c | 360 | 800 1865 748600 | 5000 360 258 | 0.000 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 170.197 s Remaining CPU time: 9.80287 s c =============================================================================== c | 362 | 800 1866 749300 | 5000 362 259 | 0.000 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 170.488 s Remaining CPU time: 9.51192 s c =============================================================================== c | 364 | 800 1867 750000 | 5000 364 259 | 0.000 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 170.769 s Remaining CPU time: 9.23096 s c =============================================================================== c | 365 | 800 1868 750700 | 5000 365 258 | 0.000 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 171.062 s Remaining CPU time: 8.93801 s c =============================================================================== c | 365 | 800 1869 751400 | 5000 365 258 | 0.000 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 171.369 s Remaining CPU time: 8.63105 s c =============================================================================== c | 368 | 800 1870 752100 | 5000 368 260 | 0.000 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 171.663 s Remaining CPU time: 8.3371 s c =============================================================================== c | 369 | 800 1871 752800 | 5000 369 260 | 0.000 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 171.99 s Remaining CPU time: 8.01015 s c =============================================================================== c | 372 | 800 1872 753500 | 5000 372 260 | 0.000 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 172.318 s Remaining CPU time: 7.6822 s c =============================================================================== c | 376 | 800 1873 754200 | 5000 376 258 | 0.000 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 172.622 s Remaining CPU time: 7.37824 s c =============================================================================== c | 377 | 800 1874 754900 | 5000 377 258 | 0.000 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 172.922 s Remaining CPU time: 7.07829 s c =============================================================================== c | 379 | 800 1875 755600 | 5000 379 258 | 0.000 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 173.237 s Remaining CPU time: 6.76334 s c =============================================================================== c | 385 | 800 1876 756300 | 5000 385 255 | 0.000 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 173.555 s Remaining CPU time: 6.44538 s c =============================================================================== c | 388 | 800 1877 757000 | 5000 388 253 | 0.000 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 173.93 s Remaining CPU time: 6.07044 s c =============================================================================== c | 394 | 800 1878 757700 | 5000 394 256 | 0.000 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 174.211 s Remaining CPU time: 5.78949 s c =============================================================================== c | 399 | 800 1879 758400 | 5000 399 253 | 0.000 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 174.527 s Remaining CPU time: 5.47253 s c =============================================================================== c | 400 | 800 1880 759100 | 5000 400 254 | 0.000 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 174.852 s Remaining CPU time: 5.14758 s c =============================================================================== c | 401 | 800 1881 759800 | 5000 401 255 | 0.000 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 175.198 s Remaining CPU time: 4.80164 s c =============================================================================== c | 404 | 800 1882 760500 | 5000 404 255 | 0.000 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 175.557 s Remaining CPU time: 4.44269 s c =============================================================================== c | 408 | 800 1883 761200 | 5000 408 256 | 0.000 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 175.892 s Remaining CPU time: 4.10774 s c =============================================================================== c | 410 | 800 1884 761900 | 5000 410 258 | 0.000 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 176.312 s Remaining CPU time: 3.6878 s c =============================================================================== c | 425 | 800 1885 762600 | 5000 425 266 | 0.000 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 176.826 s Remaining CPU time: 3.17388 s c =============================================================================== c | 437 | 800 1886 763300 | 5000 437 271 | 0.000 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 177.135 s Remaining CPU time: 2.86493 s c =============================================================================== c | 440 | 800 1887 764000 | 5000 440 271 | 0.000 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 177.561 s Remaining CPU time: 2.43899 s c =============================================================================== c | 447 | 800 1888 764700 | 5000 447 273 | 0.000 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 177.868 s Remaining CPU time: 2.13204 s c =============================================================================== c | 449 | 800 1889 765400 | 5000 449 272 | 0.000 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 178.162 s Remaining CPU time: 1.83809 s c =============================================================================== c | 451 | 800 1890 766100 | 5000 451 273 | 0.000 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 178.45 s Remaining CPU time: 1.55013 s c =============================================================================== c | 451 | 800 1891 766800 | 5000 451 273 | 0.000 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 178.752 s Remaining CPU time: 1.24818 s c =============================================================================== c | 454 | 800 1892 767500 | 5000 454 272 | 0.000 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 179.038 s Remaining CPU time: 0.962218 s c =============================================================================== c | 461 | 800 1893 768200 | 5000 461 269 | 0.000 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 179.342 s Remaining CPU time: 0.658265 s c =============================================================================== c | 462 | 800 1894 768900 | 5000 462 269 | 0.000 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 179.743 s Remaining CPU time: 0.257326 s c =============================================================================== c | 468 | 800 1895 769600 | 5000 468 271 | 0.000 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 180.045 s Remaining CPU time: -0.044629 s c =============================================================================== c | 470 | 800 1896 770300 | 5000 470 271 | 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 2597 3100 | 5000 0 nan | 0.000 % | c | 102 | 97 2597 3100 | 5500 102 31 | 88.125 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 431 2873 3459 | 5000 0 nan | 0.000 % | c | 100 | 430 2873 3459 | 5500 28 15 | 61.015 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 837 3200 3957 | 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 | 1109 3433 4306 | 5000 0 nan | 0.000 % | c | 101 | 1109 3433 4306 | 5500 101 47 | 35.896 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1536 3728 4974 | 5000 0 nan | 0.000 % | c | 100 | 1536 3728 4974 | 5500 100 41 | 26.962 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1961 4015 5666 | 5000 0 nan | 0.000 % | c | 101 | 1961 4015 5666 | 5500 101 33 | 20.991 % | c | 251 | 1958 4015 5666 | 6050 159 28 | 21.193 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2371 4308 6357 | 5000 0 nan | 0.000 % | c | 101 | 2371 4308 6357 | 5500 101 33 | 16.895 % | c | 253 | 2370 4308 6357 | 6050 102 26 | 16.930 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2866 4602 7301 | 5000 0 nan | 0.000 % | c | 101 | 2866 4602 7301 | 5500 101 40 | 13.388 % | c | 252 | 2865 4602 7301 | 6050 83 16 | 13.418 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3395 4894 8496 | 5000 0 nan | 0.000 % | c | 100 | 3395 4894 8496 | 5500 100 34 | 10.090 % | c | 250 | 3395 4894 8496 | 6050 250 31 | 10.090 % | c | 475 | 3395 4894 8496 | 6655 475 41 | 10.090 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4096 5163 10221 | 5000 0 nan | 0.000 % | c | 101 | 4096 5163 10221 | 5500 101 27 | 7.204 % | c | 251 | 4096 5163 10221 | 6050 251 27 | 7.204 % | c | 476 | 4096 5163 10221 | 6655 476 36 | 7.204 % | c | 814 | 4094 5163 10221 | 7320 381 26 | 7.250 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5003 5380 12675 | 5000 0 nan | 0.000 % | c | 100 | 5003 5380 12675 | 5500 100 60 | 4.432 % | c | 250 | 5003 5380 12675 | 6050 250 36 | 4.432 % | c | 475 | 5003 5380 12675 | 6655 475 28 | 4.432 % | c | 812 | 5003 5380 12675 | 7320 812 26 | 4.432 % | c | 1319 | 5003 5380 12675 | 8052 1319 30 | 4.432 % | c | 2078 | 5002 5380 12675 | 8857 1219 20 | 4.451 % | c | 3217 | 5001 5380 12675 | 9743 1504 17 | 4.470 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6587 5556 16333 | 5000 0 nan | 0.000 % | c | 102 | 6587 5556 16333 | 5500 102 63 | 2.646 % | c | 252 | 6587 5556 16333 | 6050 252 32 | 2.646 % | c | 477 | 6587 5556 16333 | 6655 477 25 | 2.646 % | c | 814 | 6587 5556 16333 | 7320 814 23 | 2.646 % | c | 1320 | 6587 5556 16333 | 8052 1320 22 | 2.646 % | c | 2079 | 6587 5556 16333 | 8857 2079 25 | 2.646 % | c | 3219 | 6587 5556 16333 | 9743 3219 35 | 2.646 % | c | 4927 | 6587 5556 16333 | 10717 4927 55 | 2.647 % | c | 7491 | 6587 5556 16333 | 11789 7491 47 | 2.646 % | c | 11337 | 6587 5556 16333 | 12968 11337 48 | 2.646 % | c | 17106 | 6587 5556 16333 | 14265 10519 35 | 2.646 % | c | 25755 | 6585 5556 16333 | 15692 6712 26 | 2.675 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8969 5677 146367 | 5000 0 nan | 0.000 % | c | 101 | 8969 5677 146367 | 5500 101 30 | 1.331 % | c | 251 | 8969 5677 146367 | 6050 251 16 | 1.331 % | c | 477 | 8969 5677 146367 | 6655 477 21 | 1.331 % | c | 815 | 8969 5677 146367 | 7320 815 21 | 1.331 % | c | 1321 | 8969 5677 146367 | 8052 1321 40 | 1.331 % | c | 2082 | 8969 5677 146367 | 8857 2082 41 | 1.331 % | c | 3221 | 8969 5677 146367 | 9743 3221 53 | 1.331 % | c | 4929 | 8969 5677 146367 | 10717 4929 41 | 1.331 % | c | 7491 | 8969 5677 146367 | 11789 7491 39 | 1.331 % | c | 11335 | 8969 5677 146367 | 12968 11335 35 | 1.331 % | c | 17103 | 8969 5677 146367 | 14265 9898 88 | 1.331 % | c | 25752 | 8968 5677 146367 | 15692 11334 52 | 1.342 % | c | 38728 | 8968 5677 146367 | 17261 8194 21 | 1.342 % | c | 58189 | 8967 5677 146367 | 18987 10940 37 | 1.353 % | c | 87381 | 8967 5677 146367 | 20886 11384 20 | 1.353 % | c | 131170 | 8966 5677 146367 | 22974 10630 25 | 1.364 % | c | 196855 | 8964 5677 146367 | 25272 20800 29 | 1.386 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11996 5749 436510 | 5000 0 nan | 0.000 % | c | 100 | 11996 5749 436510 | 5500 100 44 | 0.588 % | c | 252 | 11996 5749 436510 | 6050 252 22 | 0.588 % | c | 477 | 11996 5749 436510 | 6655 477 25 | 0.588 % | c | 815 | 11996 5749 436510 | 7320 815 19 | 0.588 % | c | 1321 | 11996 5749 436510 | 8052 1321 21 | 0.588 % | c | 2080 | 11996 5749 436510 | 8857 2080 20 | 0.588 % | c | 3219 | 11996 5749 436510 | 9743 3219 24 | 0.588 % | c | 4929 | 11996 5749 436510 | 10717 4929 36 | 0.588 % | c | 7492 | 11996 5749 436510 | 11789 7492 59 | 0.588 % | c | 11337 | 11996 5749 436510 | 12968 11337 70 | 0.588 % | c | 17103 | 11996 5749 436510 | 14265 9247 104 | 0.588 % | c | 25752 | 11996 5749 436510 | 15692 10161 99 | 0.588 % | c | 38728 | 11996 5749 436510 | 17261 13617 209 | 0.588 % | c | 58190 | 11996 5749 436510 | 18987 14054 303 | 0.588 % | c | 87385 | 11996 5749 436510 | 20886 13250 101 | 0.588 % | c | 131175 | 11996 5749 436510 | 22974 23437 179 | 0.588 % | c | 196861 | 11996 5749 436510 | 25272 17015 67 | 0.588 % | c | 295388 | 11996 5749 436510 | 27799 23179 213 | 0.588 % |