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: 3779 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: 3778 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 1 | 800 802 4500 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3775 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 1 | 800 803 5200 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3774 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 1 | 800 804 5900 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3772 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 1 | 800 805 6600 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3767 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 1 | 800 806 7300 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3763 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 1 | 800 807 8000 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3760 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 1 | 800 808 8700 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3755 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 1 | 800 809 9400 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3752 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 1 | 800 810 10100 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3751 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 1 | 800 811 10800 | 5000 1 3 | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 2 | 800 812 11500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 2 | 800 813 12200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3743 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 2 | 800 814 12900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3742 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 2 | 800 815 13600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3741 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 2 | 800 816 14300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3739 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 2 | 800 817 15000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3736 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 2 | 800 818 15700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 2 | 800 819 16400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3732 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 2 | 800 820 17100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 2 | 800 821 17800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 2 | 800 822 18500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3726 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 2 | 800 823 19200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3724 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 2 | 800 824 19900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3722 c Elapsed CPU time: 0.098984 s Remaining CPU time: 179.901 s c =============================================================================== c | 2 | 800 825 20600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 2 | 800 826 21300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 2 | 800 827 22000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3716 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s c =============================================================================== c | 2 | 800 828 22700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3714 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 2 | 800 829 23400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3713 c Elapsed CPU time: 0.12898 s Remaining CPU time: 179.871 s c =============================================================================== c | 2 | 800 830 24100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 2 | 800 831 24800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 2 | 800 832 25500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3708 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 2 | 800 833 26200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3707 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 2 | 800 834 26900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3703 c Elapsed CPU time: 0.163975 s Remaining CPU time: 179.836 s c =============================================================================== c | 2 | 800 835 27600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 2 | 800 836 28300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 0.178972 s Remaining CPU time: 179.821 s c =============================================================================== c | 2 | 800 837 29000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 2 | 800 838 29700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 2 | 800 839 30400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3695 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 2 | 800 840 31100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3690 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 2 | 800 841 31800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3689 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s c =============================================================================== c | 2 | 800 842 32500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3688 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 2 | 800 843 33200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 2 | 800 844 33900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 2 | 800 845 34600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 2 | 800 846 35300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 0.263959 s Remaining CPU time: 179.736 s c =============================================================================== c | 2 | 800 847 36000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3680 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 2 | 800 848 36700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 0.281957 s Remaining CPU time: 179.718 s c =============================================================================== c | 2 | 800 849 37400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3677 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 2 | 800 850 38100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 2 | 800 851 38800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s c =============================================================================== c | 2 | 800 852 39500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3673 c Elapsed CPU time: 0.32395 s Remaining CPU time: 179.676 s c =============================================================================== c | 2 | 800 853 40200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 0.334949 s Remaining CPU time: 179.665 s c =============================================================================== c | 2 | 800 854 40900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3671 c Elapsed CPU time: 0.345947 s Remaining CPU time: 179.654 s c =============================================================================== c | 2 | 800 855 41600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 2 | 800 856 42300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 0.369943 s Remaining CPU time: 179.63 s c =============================================================================== c | 2 | 800 857 43000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3665 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 2 | 800 858 43700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3663 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 2 | 800 859 44400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 2 | 800 860 45100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3658 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 2 | 800 861 45800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 0.430934 s Remaining CPU time: 179.569 s c =============================================================================== c | 2 | 800 862 46500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3655 c Elapsed CPU time: 0.441932 s Remaining CPU time: 179.558 s c =============================================================================== c | 2 | 800 863 47200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 0.45693 s Remaining CPU time: 179.543 s c =============================================================================== c | 2 | 800 864 47900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3652 c Elapsed CPU time: 0.472928 s Remaining CPU time: 179.527 s c =============================================================================== c | 2 | 800 865 48600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 0.490925 s Remaining CPU time: 179.509 s c =============================================================================== c | 2 | 800 866 49300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 0.507922 s Remaining CPU time: 179.492 s c =============================================================================== c | 2 | 800 867 50000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s c =============================================================================== c | 2 | 800 868 50700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 2 | 800 869 51400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 2 | 800 870 52100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3646 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 2 | 800 871 52800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3645 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 2 | 800 872 53500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3644 c Elapsed CPU time: 0.613906 s Remaining CPU time: 179.386 s c =============================================================================== c | 2 | 800 873 54200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3643 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 2 | 800 874 54900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 0.650901 s Remaining CPU time: 179.349 s c =============================================================================== c | 2 | 800 875 55600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 0.668898 s Remaining CPU time: 179.331 s c =============================================================================== c | 2 | 800 876 56300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 2 | 800 877 57000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 0.709892 s Remaining CPU time: 179.29 s c =============================================================================== c | 2 | 800 878 57700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3638 c Elapsed CPU time: 0.730888 s Remaining CPU time: 179.269 s c =============================================================================== c | 2 | 800 879 58400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 0.751885 s Remaining CPU time: 179.248 s c =============================================================================== c | 2 | 800 880 59100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 0.773882 s Remaining CPU time: 179.226 s c =============================================================================== c | 2 | 800 881 59800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3635 c Elapsed CPU time: 0.793879 s Remaining CPU time: 179.206 s c =============================================================================== c | 2 | 800 882 60500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3634 c Elapsed CPU time: 0.814876 s Remaining CPU time: 179.185 s c =============================================================================== c | 2 | 800 883 61200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3633 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 2 | 800 884 61900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3632 c Elapsed CPU time: 0.85387 s Remaining CPU time: 179.146 s c =============================================================================== c | 2 | 800 885 62600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3631 c Elapsed CPU time: 0.874867 s Remaining CPU time: 179.125 s c =============================================================================== c | 2 | 800 886 63300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3630 c Elapsed CPU time: 0.897863 s Remaining CPU time: 179.102 s c =============================================================================== c | 2 | 800 887 64000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3629 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s c =============================================================================== c | 2 | 800 888 64700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3628 c Elapsed CPU time: 0.942856 s Remaining CPU time: 179.057 s c =============================================================================== c | 2 | 800 889 65400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3625 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 2 | 800 890 66100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3624 c Elapsed CPU time: 0.990849 s Remaining CPU time: 179.009 s c =============================================================================== c | 2 | 800 891 66800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3623 c Elapsed CPU time: 1.01484 s Remaining CPU time: 178.985 s c =============================================================================== c | 2 | 800 892 67500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3621 c Elapsed CPU time: 1.03984 s Remaining CPU time: 178.96 s c =============================================================================== c | 2 | 800 893 68200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3620 c Elapsed CPU time: 1.06484 s Remaining CPU time: 178.935 s c =============================================================================== c | 2 | 800 894 68900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3619 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 2 | 800 895 69600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3618 c Elapsed CPU time: 1.11583 s Remaining CPU time: 178.884 s c =============================================================================== c | 2 | 800 896 70300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3617 c Elapsed CPU time: 1.14283 s Remaining CPU time: 178.857 s c =============================================================================== c | 2 | 800 897 71000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3616 c Elapsed CPU time: 1.16882 s Remaining CPU time: 178.831 s c =============================================================================== c | 2 | 800 898 71700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3615 c Elapsed CPU time: 1.19382 s Remaining CPU time: 178.806 s c =============================================================================== c | 2 | 800 899 72400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3614 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 2 | 800 900 73100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3612 c Elapsed CPU time: 1.24481 s Remaining CPU time: 178.755 s c =============================================================================== c | 2 | 800 901 73800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3611 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 2 | 800 902 74500 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3609 c Elapsed CPU time: 1.3038 s Remaining CPU time: 178.696 s c =============================================================================== c | 2 | 800 903 75200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3607 c Elapsed CPU time: 1.3348 s Remaining CPU time: 178.665 s c =============================================================================== c | 2 | 800 904 75900 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3606 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 2 | 800 905 76600 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3605 c Elapsed CPU time: 1.39379 s Remaining CPU time: 178.606 s c =============================================================================== c | 2 | 800 906 77300 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3604 c Elapsed CPU time: 1.42278 s Remaining CPU time: 178.577 s c =============================================================================== c | 2 | 800 907 78000 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3603 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 2 | 800 908 78700 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3601 c Elapsed CPU time: 1.48177 s Remaining CPU time: 178.518 s c =============================================================================== c | 2 | 800 909 79400 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3600 c Elapsed CPU time: 1.51177 s Remaining CPU time: 178.488 s c =============================================================================== c | 2 | 800 910 80100 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3597 c Elapsed CPU time: 1.54177 s Remaining CPU time: 178.458 s c =============================================================================== c | 2 | 800 911 80800 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 3596 c Elapsed CPU time: 1.57376 s Remaining CPU time: 178.426 s c =============================================================================== c | 3 | 800 912 81500 | 5000 3 228 | 0.000 % | c =============================================================================== c New solution: 3595 c Elapsed CPU time: 1.60476 s Remaining CPU time: 178.395 s c =============================================================================== c | 3 | 800 913 82200 | 5000 3 228 | 0.000 % | c =============================================================================== c New solution: 3594 c Elapsed CPU time: 1.63475 s Remaining CPU time: 178.365 s c =============================================================================== c | 3 | 800 914 82900 | 5000 3 228 | 0.000 % | c =============================================================================== c New solution: 3593 c Elapsed CPU time: 1.66575 s Remaining CPU time: 178.334 s c =============================================================================== c | 4 | 800 915 83600 | 5000 4 172 | 0.000 % | c =============================================================================== c New solution: 3592 c Elapsed CPU time: 1.69974 s Remaining CPU time: 178.3 s c =============================================================================== c | 5 | 800 916 84300 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3591 c Elapsed CPU time: 1.73174 s Remaining CPU time: 178.268 s c =============================================================================== c | 5 | 800 917 85000 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3590 c Elapsed CPU time: 1.76373 s Remaining CPU time: 178.236 s c =============================================================================== c | 5 | 800 918 85700 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3589 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 5 | 800 919 86400 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3588 c Elapsed CPU time: 1.83072 s Remaining CPU time: 178.169 s c =============================================================================== c | 5 | 800 920 87100 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3587 c Elapsed CPU time: 1.86772 s Remaining CPU time: 178.132 s c =============================================================================== c | 5 | 800 921 87800 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3586 c Elapsed CPU time: 1.90371 s Remaining CPU time: 178.096 s c =============================================================================== c | 5 | 800 922 88500 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3585 c Elapsed CPU time: 1.93971 s Remaining CPU time: 178.06 s c =============================================================================== c | 5 | 800 923 89200 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3584 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 5 | 800 924 89900 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3583 c Elapsed CPU time: 2.01369 s Remaining CPU time: 177.986 s c =============================================================================== c | 5 | 800 925 90600 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3582 c Elapsed CPU time: 2.05269 s Remaining CPU time: 177.947 s c =============================================================================== c | 5 | 800 926 91300 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3581 c Elapsed CPU time: 2.09368 s Remaining CPU time: 177.906 s c =============================================================================== c | 5 | 800 927 92000 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3580 c Elapsed CPU time: 2.13468 s Remaining CPU time: 177.865 s c =============================================================================== c | 5 | 800 928 92700 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3579 c Elapsed CPU time: 2.17467 s Remaining CPU time: 177.825 s c =============================================================================== c | 5 | 800 929 93400 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3578 c Elapsed CPU time: 2.21466 s Remaining CPU time: 177.785 s c =============================================================================== c | 5 | 800 930 94100 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3577 c Elapsed CPU time: 2.25466 s Remaining CPU time: 177.745 s c =============================================================================== c | 5 | 800 931 94800 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3575 c Elapsed CPU time: 2.29565 s Remaining CPU time: 177.704 s c =============================================================================== c | 5 | 800 932 95500 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3574 c Elapsed CPU time: 2.33365 s Remaining CPU time: 177.666 s c =============================================================================== c | 5 | 800 933 96200 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3573 c Elapsed CPU time: 2.37264 s Remaining CPU time: 177.627 s c =============================================================================== c | 5 | 800 934 96900 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3572 c Elapsed CPU time: 2.41663 s Remaining CPU time: 177.583 s c =============================================================================== c | 5 | 800 935 97600 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3571 c Elapsed CPU time: 2.45763 s Remaining CPU time: 177.542 s c =============================================================================== c | 5 | 800 936 98300 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3570 c Elapsed CPU time: 2.49562 s Remaining CPU time: 177.504 s c =============================================================================== c | 5 | 800 937 99000 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3569 c Elapsed CPU time: 2.53161 s Remaining CPU time: 177.468 s c =============================================================================== c | 5 | 800 938 99700 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3568 c Elapsed CPU time: 2.57161 s Remaining CPU time: 177.428 s c =============================================================================== c | 5 | 800 939 100400 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3567 c Elapsed CPU time: 2.6146 s Remaining CPU time: 177.385 s c =============================================================================== c | 5 | 800 940 101100 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3566 c Elapsed CPU time: 2.65959 s Remaining CPU time: 177.34 s c =============================================================================== c | 5 | 800 941 101800 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3565 c Elapsed CPU time: 2.70259 s Remaining CPU time: 177.297 s c =============================================================================== c | 5 | 800 942 102500 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3564 c Elapsed CPU time: 2.74558 s Remaining CPU time: 177.254 s c =============================================================================== c | 5 | 800 943 103200 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3563 c Elapsed CPU time: 2.78858 s Remaining CPU time: 177.211 s c =============================================================================== c | 5 | 800 944 103900 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3562 c Elapsed CPU time: 2.83657 s Remaining CPU time: 177.163 s c =============================================================================== c | 5 | 800 945 104600 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3561 c Elapsed CPU time: 2.88756 s Remaining CPU time: 177.112 s c =============================================================================== c | 5 | 800 946 105300 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3560 c Elapsed CPU time: 2.93855 s Remaining CPU time: 177.061 s c =============================================================================== c | 5 | 800 947 106000 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3559 c Elapsed CPU time: 2.98754 s Remaining CPU time: 177.012 s c =============================================================================== c | 5 | 800 948 106700 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3558 c Elapsed CPU time: 3.03854 s Remaining CPU time: 176.961 s c =============================================================================== c | 5 | 800 949 107400 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3557 c Elapsed CPU time: 3.08853 s Remaining CPU time: 176.911 s c =============================================================================== c | 5 | 800 950 108100 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3555 c Elapsed CPU time: 3.13952 s Remaining CPU time: 176.86 s c =============================================================================== c | 5 | 800 951 108800 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3554 c Elapsed CPU time: 3.18651 s Remaining CPU time: 176.813 s c =============================================================================== c | 5 | 800 952 109500 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3553 c Elapsed CPU time: 3.23251 s Remaining CPU time: 176.767 s c =============================================================================== c | 5 | 800 953 110200 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3551 c Elapsed CPU time: 3.2845 s Remaining CPU time: 176.715 s c =============================================================================== c | 5 | 800 954 110900 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3550 c Elapsed CPU time: 3.33349 s Remaining CPU time: 176.667 s c =============================================================================== c | 5 | 800 955 111600 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3549 c Elapsed CPU time: 3.38049 s Remaining CPU time: 176.62 s c =============================================================================== c | 5 | 800 956 112300 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3548 c Elapsed CPU time: 3.43348 s Remaining CPU time: 176.567 s c =============================================================================== c | 5 | 800 957 113000 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3547 c Elapsed CPU time: 3.48347 s Remaining CPU time: 176.517 s c =============================================================================== c | 5 | 800 958 113700 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3546 c Elapsed CPU time: 3.53546 s Remaining CPU time: 176.465 s c =============================================================================== c | 5 | 800 959 114400 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3545 c Elapsed CPU time: 3.58745 s Remaining CPU time: 176.413 s c =============================================================================== c | 5 | 800 960 115100 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3544 c Elapsed CPU time: 3.63845 s Remaining CPU time: 176.362 s c =============================================================================== c | 5 | 800 961 115800 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3543 c Elapsed CPU time: 3.68744 s Remaining CPU time: 176.313 s c =============================================================================== c | 5 | 800 962 116500 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3542 c Elapsed CPU time: 3.74143 s Remaining CPU time: 176.259 s c =============================================================================== c | 5 | 800 963 117200 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3541 c Elapsed CPU time: 3.79342 s Remaining CPU time: 176.207 s c =============================================================================== c | 5 | 800 964 117900 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3540 c Elapsed CPU time: 3.84042 s Remaining CPU time: 176.16 s c =============================================================================== c | 5 | 800 965 118600 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3539 c Elapsed CPU time: 3.89441 s Remaining CPU time: 176.106 s c =============================================================================== c | 5 | 800 966 119300 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3538 c Elapsed CPU time: 3.9504 s Remaining CPU time: 176.05 s c =============================================================================== c | 5 | 800 967 120000 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3537 c Elapsed CPU time: 4.00639 s Remaining CPU time: 175.994 s c =============================================================================== c | 5 | 800 968 120700 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3536 c Elapsed CPU time: 4.05838 s Remaining CPU time: 175.942 s c =============================================================================== c | 5 | 800 969 121400 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3535 c Elapsed CPU time: 4.11237 s Remaining CPU time: 175.888 s c =============================================================================== c | 5 | 800 970 122100 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3534 c Elapsed CPU time: 4.16837 s Remaining CPU time: 175.832 s c =============================================================================== c | 5 | 800 971 122800 | 5000 5 139 | 0.000 % | c =============================================================================== c New solution: 3533 c Elapsed CPU time: 4.23136 s Remaining CPU time: 175.769 s c =============================================================================== c | 6 | 800 972 123500 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3532 c Elapsed CPU time: 4.28735 s Remaining CPU time: 175.713 s c =============================================================================== c | 6 | 800 973 124200 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3531 c Elapsed CPU time: 4.33934 s Remaining CPU time: 175.661 s c =============================================================================== c | 6 | 800 974 124900 | 5000 6 116 | 0.000 % | c =============================================================================== c New solution: 3530 c Elapsed CPU time: 4.39333 s Remaining CPU time: 175.607 s c =============================================================================== c | 7 | 800 975 125600 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3529 c Elapsed CPU time: 4.45332 s Remaining CPU time: 175.547 s c =============================================================================== c | 7 | 800 976 126300 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3528 c Elapsed CPU time: 4.50831 s Remaining CPU time: 175.492 s c =============================================================================== c | 7 | 800 977 127000 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3527 c Elapsed CPU time: 4.57031 s Remaining CPU time: 175.43 s c =============================================================================== c | 7 | 800 978 127700 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3526 c Elapsed CPU time: 4.6363 s Remaining CPU time: 175.364 s c =============================================================================== c | 7 | 800 979 128400 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3525 c Elapsed CPU time: 4.69329 s Remaining CPU time: 175.307 s c =============================================================================== c | 7 | 800 980 129100 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3524 c Elapsed CPU time: 4.75828 s Remaining CPU time: 175.242 s c =============================================================================== c | 7 | 800 981 129800 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3523 c Elapsed CPU time: 4.81627 s Remaining CPU time: 175.184 s c =============================================================================== c | 7 | 800 982 130500 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3522 c Elapsed CPU time: 4.87326 s Remaining CPU time: 175.127 s c =============================================================================== c | 7 | 800 983 131200 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3520 c Elapsed CPU time: 4.93125 s Remaining CPU time: 175.069 s c =============================================================================== c | 7 | 800 984 131900 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3519 c Elapsed CPU time: 4.99024 s Remaining CPU time: 175.01 s c =============================================================================== c | 7 | 800 985 132600 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3518 c Elapsed CPU time: 5.05123 s Remaining CPU time: 174.949 s c =============================================================================== c | 7 | 800 986 133300 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3517 c Elapsed CPU time: 5.11422 s Remaining CPU time: 174.886 s c =============================================================================== c | 7 | 800 987 134000 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3516 c Elapsed CPU time: 5.17221 s Remaining CPU time: 174.828 s c =============================================================================== c | 7 | 800 988 134700 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3515 c Elapsed CPU time: 5.2382 s Remaining CPU time: 174.762 s c =============================================================================== c | 7 | 800 989 135400 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3514 c Elapsed CPU time: 5.30219 s Remaining CPU time: 174.698 s c =============================================================================== c | 7 | 800 990 136100 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3513 c Elapsed CPU time: 5.36318 s Remaining CPU time: 174.637 s c =============================================================================== c | 7 | 800 991 136800 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3512 c Elapsed CPU time: 5.42717 s Remaining CPU time: 174.573 s c =============================================================================== c | 7 | 800 992 137500 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3511 c Elapsed CPU time: 5.48717 s Remaining CPU time: 174.513 s c =============================================================================== c | 7 | 800 993 138200 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3510 c Elapsed CPU time: 5.54616 s Remaining CPU time: 174.454 s c =============================================================================== c | 7 | 800 994 138900 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3509 c Elapsed CPU time: 5.61415 s Remaining CPU time: 174.386 s c =============================================================================== c | 7 | 800 995 139600 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3508 c Elapsed CPU time: 5.68114 s Remaining CPU time: 174.319 s c =============================================================================== c | 7 | 800 996 140300 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3507 c Elapsed CPU time: 5.74713 s Remaining CPU time: 174.253 s c =============================================================================== c | 7 | 800 997 141000 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3506 c Elapsed CPU time: 5.81112 s Remaining CPU time: 174.189 s c =============================================================================== c | 7 | 800 998 141700 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3505 c Elapsed CPU time: 5.88011 s Remaining CPU time: 174.12 s c =============================================================================== c | 7 | 800 999 142400 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3504 c Elapsed CPU time: 5.9501 s Remaining CPU time: 174.05 s c =============================================================================== c | 7 | 800 1000 143100 | 5000 7 100 | 0.000 % | c =============================================================================== c New solution: 3503 c Elapsed CPU time: 6.01609 s Remaining CPU time: 173.984 s c =============================================================================== c | 8 | 800 1001 143800 | 5000 8 88 | 0.000 % | c =============================================================================== c New solution: 3502 c Elapsed CPU time: 6.08507 s Remaining CPU time: 173.915 s c =============================================================================== c | 8 | 800 1002 144500 | 5000 8 88 | 0.000 % | c =============================================================================== c New solution: 3501 c Elapsed CPU time: 6.15006 s Remaining CPU time: 173.85 s c =============================================================================== c | 8 | 800 1003 145200 | 5000 8 88 | 0.000 % | c =============================================================================== c New solution: 3500 c Elapsed CPU time: 6.22005 s Remaining CPU time: 173.78 s c =============================================================================== c | 8 | 800 1004 145900 | 5000 8 88 | 0.000 % | c =============================================================================== c New solution: 3499 c Elapsed CPU time: 6.29204 s Remaining CPU time: 173.708 s c =============================================================================== c | 8 | 800 1005 146600 | 5000 8 88 | 0.000 % | c =============================================================================== c New solution: 3498 c Elapsed CPU time: 6.35803 s Remaining CPU time: 173.642 s c =============================================================================== c | 8 | 800 1006 147300 | 5000 8 88 | 0.000 % | c =============================================================================== c New solution: 3497 c Elapsed CPU time: 6.42602 s Remaining CPU time: 173.574 s c =============================================================================== c | 9 | 800 1007 148000 | 5000 9 79 | 0.000 % | c =============================================================================== c New solution: 3496 c Elapsed CPU time: 6.49901 s Remaining CPU time: 173.501 s c =============================================================================== c | 9 | 800 1008 148700 | 5000 9 79 | 0.000 % | c =============================================================================== c New solution: 3495 c Elapsed CPU time: 6.568 s Remaining CPU time: 173.432 s c =============================================================================== c | 10 | 800 1009 149400 | 5000 10 72 | 0.000 % | c =============================================================================== c New solution: 3494 c Elapsed CPU time: 6.64299 s Remaining CPU time: 173.357 s c =============================================================================== c | 11 | 800 1010 150100 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3493 c Elapsed CPU time: 6.71798 s Remaining CPU time: 173.282 s c =============================================================================== c | 11 | 800 1011 150800 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3492 c Elapsed CPU time: 6.79197 s Remaining CPU time: 173.208 s c =============================================================================== c | 11 | 800 1012 151500 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3491 c Elapsed CPU time: 6.86696 s Remaining CPU time: 173.133 s c =============================================================================== c | 11 | 800 1013 152200 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3490 c Elapsed CPU time: 6.93994 s Remaining CPU time: 173.06 s c =============================================================================== c | 11 | 800 1014 152900 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3489 c Elapsed CPU time: 7.01793 s Remaining CPU time: 172.982 s c =============================================================================== c | 11 | 800 1015 153600 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3488 c Elapsed CPU time: 7.09292 s Remaining CPU time: 172.907 s c =============================================================================== c | 11 | 800 1016 154300 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3487 c Elapsed CPU time: 7.16991 s Remaining CPU time: 172.83 s c =============================================================================== c | 11 | 800 1017 155000 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3486 c Elapsed CPU time: 7.2469 s Remaining CPU time: 172.753 s c =============================================================================== c | 11 | 800 1018 155700 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3485 c Elapsed CPU time: 7.32888 s Remaining CPU time: 172.671 s c =============================================================================== c | 11 | 800 1019 156400 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3484 c Elapsed CPU time: 7.40887 s Remaining CPU time: 172.591 s c =============================================================================== c | 11 | 800 1020 157100 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3483 c Elapsed CPU time: 7.48686 s Remaining CPU time: 172.513 s c =============================================================================== c | 11 | 800 1021 157800 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3482 c Elapsed CPU time: 7.56185 s Remaining CPU time: 172.438 s c =============================================================================== c | 11 | 800 1022 158500 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3481 c Elapsed CPU time: 7.63784 s Remaining CPU time: 172.362 s c =============================================================================== c | 11 | 800 1023 159200 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3480 c Elapsed CPU time: 7.72083 s Remaining CPU time: 172.279 s c =============================================================================== c | 11 | 800 1024 159900 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3479 c Elapsed CPU time: 7.79881 s Remaining CPU time: 172.201 s c =============================================================================== c | 11 | 800 1025 160600 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3478 c Elapsed CPU time: 7.8738 s Remaining CPU time: 172.126 s c =============================================================================== c | 11 | 800 1026 161300 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3477 c Elapsed CPU time: 7.95379 s Remaining CPU time: 172.046 s c =============================================================================== c | 11 | 800 1027 162000 | 5000 11 126 | 0.000 % | c =============================================================================== c New solution: 3476 c Elapsed CPU time: 8.03278 s Remaining CPU time: 171.967 s c =============================================================================== c | 12 | 800 1028 162700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3475 c Elapsed CPU time: 8.11377 s Remaining CPU time: 171.886 s c =============================================================================== c | 12 | 800 1029 163400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3474 c Elapsed CPU time: 8.19575 s Remaining CPU time: 171.804 s c =============================================================================== c | 12 | 800 1030 164100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3473 c Elapsed CPU time: 8.27774 s Remaining CPU time: 171.722 s c =============================================================================== c | 12 | 800 1031 164800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3472 c Elapsed CPU time: 8.35673 s Remaining CPU time: 171.643 s c =============================================================================== c | 12 | 800 1032 165500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3471 c Elapsed CPU time: 8.43572 s Remaining CPU time: 171.564 s c =============================================================================== c | 12 | 800 1033 166200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3470 c Elapsed CPU time: 8.5167 s Remaining CPU time: 171.483 s c =============================================================================== c | 12 | 800 1034 166900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3469 c Elapsed CPU time: 8.59869 s Remaining CPU time: 171.401 s c =============================================================================== c | 12 | 800 1035 167600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3468 c Elapsed CPU time: 8.68868 s Remaining CPU time: 171.311 s c =============================================================================== c | 12 | 800 1036 168300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3467 c Elapsed CPU time: 8.77567 s Remaining CPU time: 171.224 s c =============================================================================== c | 12 | 800 1037 169000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3466 c Elapsed CPU time: 8.86465 s Remaining CPU time: 171.135 s c =============================================================================== c | 12 | 800 1038 169700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3465 c Elapsed CPU time: 8.95564 s Remaining CPU time: 171.044 s c =============================================================================== c | 12 | 800 1039 170400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3464 c Elapsed CPU time: 9.04662 s Remaining CPU time: 170.953 s c =============================================================================== c | 12 | 800 1040 171100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3463 c Elapsed CPU time: 9.14261 s Remaining CPU time: 170.857 s c =============================================================================== c | 12 | 800 1041 171800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3462 c Elapsed CPU time: 9.2316 s Remaining CPU time: 170.768 s c =============================================================================== c | 12 | 800 1042 172500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3461 c Elapsed CPU time: 9.32658 s Remaining CPU time: 170.673 s c =============================================================================== c | 12 | 800 1043 173200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3460 c Elapsed CPU time: 9.42057 s Remaining CPU time: 170.579 s c =============================================================================== c | 12 | 800 1044 173900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3459 c Elapsed CPU time: 9.50755 s Remaining CPU time: 170.492 s c =============================================================================== c | 12 | 800 1045 174600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3458 c Elapsed CPU time: 9.59954 s Remaining CPU time: 170.4 s c =============================================================================== c | 12 | 800 1046 175300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3457 c Elapsed CPU time: 9.69753 s Remaining CPU time: 170.302 s c =============================================================================== c | 12 | 800 1047 176000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3456 c Elapsed CPU time: 9.78551 s Remaining CPU time: 170.214 s c =============================================================================== c | 12 | 800 1048 176700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3455 c Elapsed CPU time: 9.8795 s Remaining CPU time: 170.121 s c =============================================================================== c | 12 | 800 1049 177400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3454 c Elapsed CPU time: 9.97448 s Remaining CPU time: 170.026 s c =============================================================================== c | 12 | 800 1050 178100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3453 c Elapsed CPU time: 10.0775 s Remaining CPU time: 169.923 s c =============================================================================== c | 12 | 800 1051 178800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3452 c Elapsed CPU time: 10.1815 s Remaining CPU time: 169.819 s c =============================================================================== c | 12 | 800 1052 179500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3451 c Elapsed CPU time: 10.2744 s Remaining CPU time: 169.726 s c =============================================================================== c | 12 | 800 1053 180200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3450 c Elapsed CPU time: 10.3644 s Remaining CPU time: 169.636 s c =============================================================================== c | 12 | 800 1054 180900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3449 c Elapsed CPU time: 10.4544 s Remaining CPU time: 169.546 s c =============================================================================== c | 12 | 800 1055 181600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3448 c Elapsed CPU time: 10.5504 s Remaining CPU time: 169.45 s c =============================================================================== c | 12 | 800 1056 182300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3447 c Elapsed CPU time: 10.6444 s Remaining CPU time: 169.356 s c =============================================================================== c | 12 | 800 1057 183000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3446 c Elapsed CPU time: 10.7424 s Remaining CPU time: 169.258 s c =============================================================================== c | 12 | 800 1058 183700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3445 c Elapsed CPU time: 10.8384 s Remaining CPU time: 169.162 s c =============================================================================== c | 12 | 800 1059 184400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3444 c Elapsed CPU time: 10.9323 s Remaining CPU time: 169.068 s c =============================================================================== c | 12 | 800 1060 185100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3443 c Elapsed CPU time: 11.0293 s Remaining CPU time: 168.971 s c =============================================================================== c | 12 | 800 1061 185800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3442 c Elapsed CPU time: 11.1273 s Remaining CPU time: 168.873 s c =============================================================================== c | 12 | 800 1062 186500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3441 c Elapsed CPU time: 11.2263 s Remaining CPU time: 168.774 s c =============================================================================== c | 12 | 800 1063 187200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3440 c Elapsed CPU time: 11.3233 s Remaining CPU time: 168.677 s c =============================================================================== c | 12 | 800 1064 187900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3439 c Elapsed CPU time: 11.4243 s Remaining CPU time: 168.576 s c =============================================================================== c | 12 | 800 1065 188600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3438 c Elapsed CPU time: 11.5192 s Remaining CPU time: 168.481 s c =============================================================================== c | 12 | 800 1066 189300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3437 c Elapsed CPU time: 11.6192 s Remaining CPU time: 168.381 s c =============================================================================== c | 12 | 800 1067 190000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3436 c Elapsed CPU time: 11.7232 s Remaining CPU time: 168.277 s c =============================================================================== c | 12 | 800 1068 190700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3435 c Elapsed CPU time: 11.8162 s Remaining CPU time: 168.184 s c =============================================================================== c | 12 | 800 1069 191400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3434 c Elapsed CPU time: 11.9182 s Remaining CPU time: 168.082 s c =============================================================================== c | 12 | 800 1070 192100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3433 c Elapsed CPU time: 12.0162 s Remaining CPU time: 167.984 s c =============================================================================== c | 12 | 800 1071 192800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3432 c Elapsed CPU time: 12.1122 s Remaining CPU time: 167.888 s c =============================================================================== c | 12 | 800 1072 193500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3431 c Elapsed CPU time: 12.2061 s Remaining CPU time: 167.794 s c =============================================================================== c | 12 | 800 1073 194200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3430 c Elapsed CPU time: 12.3071 s Remaining CPU time: 167.693 s c =============================================================================== c | 12 | 800 1074 194900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3429 c Elapsed CPU time: 12.4051 s Remaining CPU time: 167.595 s c =============================================================================== c | 12 | 800 1075 195600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3428 c Elapsed CPU time: 12.5091 s Remaining CPU time: 167.491 s c =============================================================================== c | 12 | 800 1076 196300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3427 c Elapsed CPU time: 12.6091 s Remaining CPU time: 167.391 s c =============================================================================== c | 12 | 800 1077 197000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3426 c Elapsed CPU time: 12.7121 s Remaining CPU time: 167.288 s c =============================================================================== c | 12 | 800 1078 197700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3425 c Elapsed CPU time: 12.827 s Remaining CPU time: 167.173 s c =============================================================================== c | 12 | 800 1079 198400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3424 c Elapsed CPU time: 12.933 s Remaining CPU time: 167.067 s c =============================================================================== c | 12 | 800 1080 199100 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3423 c Elapsed CPU time: 13.044 s Remaining CPU time: 166.956 s c =============================================================================== c | 12 | 800 1081 199800 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3422 c Elapsed CPU time: 13.151 s Remaining CPU time: 166.849 s c =============================================================================== c | 12 | 800 1082 200500 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3421 c Elapsed CPU time: 13.258 s Remaining CPU time: 166.742 s c =============================================================================== c | 12 | 800 1083 201200 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3420 c Elapsed CPU time: 13.367 s Remaining CPU time: 166.633 s c =============================================================================== c | 12 | 800 1084 201900 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3419 c Elapsed CPU time: 13.474 s Remaining CPU time: 166.526 s c =============================================================================== c | 12 | 800 1085 202600 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3418 c Elapsed CPU time: 13.5759 s Remaining CPU time: 166.424 s c =============================================================================== c | 12 | 800 1086 203300 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3417 c Elapsed CPU time: 13.6879 s Remaining CPU time: 166.312 s c =============================================================================== c | 12 | 800 1087 204000 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3416 c Elapsed CPU time: 13.7979 s Remaining CPU time: 166.202 s c =============================================================================== c | 12 | 800 1088 204700 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3415 c Elapsed CPU time: 13.9129 s Remaining CPU time: 166.087 s c =============================================================================== c | 12 | 800 1089 205400 | 5000 12 116 | 0.000 % | c =============================================================================== c New solution: 3414 c Elapsed CPU time: 14.0269 s Remaining CPU time: 165.973 s c =============================================================================== c | 13 | 800 1090 206100 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3413 c Elapsed CPU time: 14.1448 s Remaining CPU time: 165.855 s c =============================================================================== c | 13 | 800 1091 206800 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3412 c Elapsed CPU time: 14.2588 s Remaining CPU time: 165.741 s c =============================================================================== c | 13 | 800 1092 207500 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3411 c Elapsed CPU time: 14.3668 s Remaining CPU time: 165.633 s c =============================================================================== c | 13 | 800 1093 208200 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3410 c Elapsed CPU time: 14.4778 s Remaining CPU time: 165.522 s c =============================================================================== c | 13 | 800 1094 208900 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3409 c Elapsed CPU time: 14.5888 s Remaining CPU time: 165.411 s c =============================================================================== c | 13 | 800 1095 209600 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3408 c Elapsed CPU time: 14.6978 s Remaining CPU time: 165.302 s c =============================================================================== c | 13 | 800 1096 210300 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3407 c Elapsed CPU time: 14.8077 s Remaining CPU time: 165.192 s c =============================================================================== c | 13 | 800 1097 211000 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3406 c Elapsed CPU time: 14.9237 s Remaining CPU time: 165.076 s c =============================================================================== c | 13 | 800 1098 211700 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3405 c Elapsed CPU time: 15.0367 s Remaining CPU time: 164.963 s c =============================================================================== c | 13 | 800 1099 212400 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3404 c Elapsed CPU time: 15.1467 s Remaining CPU time: 164.853 s c =============================================================================== c | 13 | 800 1100 213100 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3403 c Elapsed CPU time: 15.2607 s Remaining CPU time: 164.739 s c =============================================================================== c | 13 | 800 1101 213800 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3402 c Elapsed CPU time: 15.3827 s Remaining CPU time: 164.617 s c =============================================================================== c | 13 | 800 1102 214500 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3401 c Elapsed CPU time: 15.5086 s Remaining CPU time: 164.491 s c =============================================================================== c | 13 | 800 1103 215200 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3400 c Elapsed CPU time: 15.6306 s Remaining CPU time: 164.369 s c =============================================================================== c | 13 | 800 1104 215900 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3399 c Elapsed CPU time: 15.7546 s Remaining CPU time: 164.245 s c =============================================================================== c | 13 | 800 1105 216600 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3398 c Elapsed CPU time: 15.8746 s Remaining CPU time: 164.125 s c =============================================================================== c | 13 | 800 1106 217300 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3397 c Elapsed CPU time: 15.9956 s Remaining CPU time: 164.004 s c =============================================================================== c | 13 | 800 1107 218000 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3396 c Elapsed CPU time: 16.1116 s Remaining CPU time: 163.888 s c =============================================================================== c | 13 | 800 1108 218700 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3395 c Elapsed CPU time: 16.2225 s Remaining CPU time: 163.777 s c =============================================================================== c | 13 | 800 1109 219400 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3394 c Elapsed CPU time: 16.3415 s Remaining CPU time: 163.658 s c =============================================================================== c | 13 | 800 1110 220100 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3393 c Elapsed CPU time: 16.4605 s Remaining CPU time: 163.54 s c =============================================================================== c | 13 | 800 1111 220800 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3392 c Elapsed CPU time: 16.5865 s Remaining CPU time: 163.414 s c =============================================================================== c | 13 | 800 1112 221500 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3391 c Elapsed CPU time: 16.7105 s Remaining CPU time: 163.29 s c =============================================================================== c | 13 | 800 1113 222200 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3390 c Elapsed CPU time: 16.8294 s Remaining CPU time: 163.171 s c =============================================================================== c | 13 | 800 1114 222900 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3389 c Elapsed CPU time: 16.9424 s Remaining CPU time: 163.058 s c =============================================================================== c | 13 | 800 1115 223600 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3388 c Elapsed CPU time: 17.0634 s Remaining CPU time: 162.937 s c =============================================================================== c | 13 | 800 1116 224300 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3387 c Elapsed CPU time: 17.1954 s Remaining CPU time: 162.805 s c =============================================================================== c | 13 | 800 1117 225000 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3386 c Elapsed CPU time: 17.3174 s Remaining CPU time: 162.683 s c =============================================================================== c | 13 | 800 1118 225700 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3385 c Elapsed CPU time: 17.4383 s Remaining CPU time: 162.562 s c =============================================================================== c | 13 | 800 1119 226400 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3384 c Elapsed CPU time: 17.5583 s Remaining CPU time: 162.442 s c =============================================================================== c | 13 | 800 1120 227100 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3383 c Elapsed CPU time: 17.6793 s Remaining CPU time: 162.321 s c =============================================================================== c | 13 | 800 1121 227800 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3382 c Elapsed CPU time: 17.7983 s Remaining CPU time: 162.202 s c =============================================================================== c | 13 | 800 1122 228500 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3381 c Elapsed CPU time: 17.9213 s Remaining CPU time: 162.079 s c =============================================================================== c | 13 | 800 1123 229200 | 5000 13 108 | 0.000 % | c =============================================================================== c New solution: 3380 c Elapsed CPU time: 18.0463 s Remaining CPU time: 161.954 s c =============================================================================== c | 14 | 800 1124 229900 | 5000 14 101 | 0.000 % | c =============================================================================== c New solution: 3379 c Elapsed CPU time: 18.1762 s Remaining CPU time: 161.824 s c =============================================================================== c | 14 | 800 1125 230600 | 5000 14 101 | 0.000 % | c =============================================================================== c New solution: 3378 c Elapsed CPU time: 18.3052 s Remaining CPU time: 161.695 s c =============================================================================== c | 14 | 800 1126 231300 | 5000 14 101 | 0.000 % | c =============================================================================== c New solution: 3377 c Elapsed CPU time: 18.4352 s Remaining CPU time: 161.565 s c =============================================================================== c | 14 | 800 1127 232000 | 5000 14 101 | 0.000 % | c =============================================================================== c New solution: 3376 c Elapsed CPU time: 18.5602 s Remaining CPU time: 161.44 s c =============================================================================== c | 14 | 800 1128 232700 | 5000 14 101 | 0.000 % | c =============================================================================== c New solution: 3375 c Elapsed CPU time: 18.6912 s Remaining CPU time: 161.309 s c =============================================================================== c | 14 | 800 1129 233400 | 5000 14 101 | 0.000 % | c =============================================================================== c New solution: 3374 c Elapsed CPU time: 18.8431 s Remaining CPU time: 161.157 s c =============================================================================== c | 16 | 800 1130 234100 | 5000 16 89 | 0.000 % | c =============================================================================== c New solution: 3373 c Elapsed CPU time: 18.9741 s Remaining CPU time: 161.026 s c =============================================================================== c | 16 | 800 1131 234800 | 5000 16 89 | 0.000 % | c =============================================================================== c New solution: 3372 c Elapsed CPU time: 19.0981 s Remaining CPU time: 160.902 s c =============================================================================== c | 16 | 800 1132 235500 | 5000 16 89 | 0.000 % | c =============================================================================== c New solution: 3371 c Elapsed CPU time: 19.2181 s Remaining CPU time: 160.782 s c =============================================================================== c | 17 | 800 1133 236200 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3370 c Elapsed CPU time: 19.3531 s Remaining CPU time: 160.647 s c =============================================================================== c | 17 | 800 1134 236900 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3369 c Elapsed CPU time: 19.475 s Remaining CPU time: 160.525 s c =============================================================================== c | 17 | 800 1135 237600 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3368 c Elapsed CPU time: 19.61 s Remaining CPU time: 160.39 s c =============================================================================== c | 17 | 800 1136 238300 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3367 c Elapsed CPU time: 19.73 s Remaining CPU time: 160.27 s c =============================================================================== c | 17 | 800 1137 239000 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3366 c Elapsed CPU time: 19.854 s Remaining CPU time: 160.146 s c =============================================================================== c | 17 | 800 1138 239700 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3365 c Elapsed CPU time: 19.979 s Remaining CPU time: 160.021 s c =============================================================================== c | 17 | 800 1139 240400 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3364 c Elapsed CPU time: 20.1089 s Remaining CPU time: 159.891 s c =============================================================================== c | 17 | 800 1140 241100 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3363 c Elapsed CPU time: 20.2359 s Remaining CPU time: 159.764 s c =============================================================================== c | 17 | 800 1141 241800 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3362 c Elapsed CPU time: 20.3579 s Remaining CPU time: 159.642 s c =============================================================================== c | 17 | 800 1142 242500 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3361 c Elapsed CPU time: 20.4839 s Remaining CPU time: 159.516 s c =============================================================================== c | 17 | 800 1143 243200 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3360 c Elapsed CPU time: 20.6159 s Remaining CPU time: 159.384 s c =============================================================================== c | 17 | 800 1144 243900 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3359 c Elapsed CPU time: 20.7458 s Remaining CPU time: 159.254 s c =============================================================================== c | 17 | 800 1145 244600 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3358 c Elapsed CPU time: 20.8798 s Remaining CPU time: 159.12 s c =============================================================================== c | 17 | 800 1146 245300 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3357 c Elapsed CPU time: 21.0118 s Remaining CPU time: 158.988 s c =============================================================================== c | 17 | 800 1147 246000 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3356 c Elapsed CPU time: 21.1428 s Remaining CPU time: 158.857 s c =============================================================================== c | 17 | 800 1148 246700 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3355 c Elapsed CPU time: 21.2748 s Remaining CPU time: 158.725 s c =============================================================================== c | 17 | 800 1149 247400 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3354 c Elapsed CPU time: 21.4067 s Remaining CPU time: 158.593 s c =============================================================================== c | 17 | 800 1150 248100 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3353 c Elapsed CPU time: 21.5357 s Remaining CPU time: 158.464 s c =============================================================================== c | 17 | 800 1151 248800 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3352 c Elapsed CPU time: 21.6727 s Remaining CPU time: 158.327 s c =============================================================================== c | 17 | 800 1152 249500 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3351 c Elapsed CPU time: 21.8047 s Remaining CPU time: 158.195 s c =============================================================================== c | 17 | 800 1153 250200 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 21.9367 s Remaining CPU time: 158.063 s c =============================================================================== c | 17 | 800 1154 250900 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 22.0666 s Remaining CPU time: 157.933 s c =============================================================================== c | 17 | 800 1155 251600 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 22.2046 s Remaining CPU time: 157.795 s c =============================================================================== c | 17 | 800 1156 252300 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 22.3456 s Remaining CPU time: 157.654 s c =============================================================================== c | 17 | 800 1157 253000 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 22.4836 s Remaining CPU time: 157.516 s c =============================================================================== c | 17 | 800 1158 253700 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 22.6226 s Remaining CPU time: 157.377 s c =============================================================================== c | 17 | 800 1159 254400 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 22.7605 s Remaining CPU time: 157.239 s c =============================================================================== c | 17 | 800 1160 255100 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 22.9045 s Remaining CPU time: 157.095 s c =============================================================================== c | 17 | 800 1161 255800 | 5000 17 121 | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 23.0415 s Remaining CPU time: 156.959 s c =============================================================================== c | 18 | 800 1162 256500 | 5000 18 115 | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 23.1795 s Remaining CPU time: 156.821 s c =============================================================================== c | 18 | 800 1163 257200 | 5000 18 115 | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 23.3245 s Remaining CPU time: 156.676 s c =============================================================================== c | 18 | 800 1164 257900 | 5000 18 115 | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 23.4554 s Remaining CPU time: 156.545 s c =============================================================================== c | 19 | 800 1165 258600 | 5000 19 109 | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 23.5964 s Remaining CPU time: 156.404 s c =============================================================================== c | 19 | 800 1166 259300 | 5000 19 109 | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 23.7414 s Remaining CPU time: 156.259 s c =============================================================================== c | 19 | 800 1167 260000 | 5000 19 109 | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 23.8894 s Remaining CPU time: 156.111 s c =============================================================================== c | 19 | 800 1168 260700 | 5000 19 109 | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 24.0363 s Remaining CPU time: 155.964 s c =============================================================================== c | 20 | 800 1169 261400 | 5000 20 104 | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 24.1783 s Remaining CPU time: 155.822 s c =============================================================================== c | 20 | 800 1170 262100 | 5000 20 104 | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 24.3263 s Remaining CPU time: 155.674 s c =============================================================================== c | 21 | 800 1171 262800 | 5000 21 99 | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 24.4733 s Remaining CPU time: 155.527 s c =============================================================================== c | 21 | 800 1172 263500 | 5000 21 99 | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 24.6203 s Remaining CPU time: 155.38 s c =============================================================================== c | 21 | 800 1173 264200 | 5000 21 99 | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 24.7652 s Remaining CPU time: 155.235 s c =============================================================================== c | 21 | 800 1174 264900 | 5000 21 99 | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 24.9142 s Remaining CPU time: 155.086 s c =============================================================================== c | 22 | 800 1175 265600 | 5000 22 95 | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 25.0492 s Remaining CPU time: 154.951 s c =============================================================================== c | 22 | 800 1176 266300 | 5000 22 95 | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 25.1982 s Remaining CPU time: 154.802 s c =============================================================================== c | 22 | 800 1177 267000 | 5000 22 95 | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 25.3411 s Remaining CPU time: 154.659 s c =============================================================================== c | 22 | 800 1178 267700 | 5000 22 95 | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 25.4901 s Remaining CPU time: 154.51 s c =============================================================================== c | 23 | 800 1179 268400 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 25.6421 s Remaining CPU time: 154.358 s c =============================================================================== c | 23 | 800 1180 269100 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 25.7951 s Remaining CPU time: 154.205 s c =============================================================================== c | 23 | 800 1181 269800 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 25.9481 s Remaining CPU time: 154.052 s c =============================================================================== c | 23 | 800 1182 270500 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 26.095 s Remaining CPU time: 153.905 s c =============================================================================== c | 23 | 800 1183 271200 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 26.234 s Remaining CPU time: 153.766 s c =============================================================================== c | 23 | 800 1184 271900 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 26.378 s Remaining CPU time: 153.622 s c =============================================================================== c | 23 | 800 1185 272600 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 26.518 s Remaining CPU time: 153.482 s c =============================================================================== c | 23 | 800 1186 273300 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 26.6689 s Remaining CPU time: 153.331 s c =============================================================================== c | 23 | 800 1187 274000 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 26.8119 s Remaining CPU time: 153.188 s c =============================================================================== c | 23 | 800 1188 274700 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 26.9649 s Remaining CPU time: 153.035 s c =============================================================================== c | 23 | 800 1189 275400 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 27.1249 s Remaining CPU time: 152.875 s c =============================================================================== c | 23 | 800 1190 276100 | 5000 23 91 | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 27.2849 s Remaining CPU time: 152.715 s c =============================================================================== c | 24 | 800 1191 276800 | 5000 24 113 | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 27.4308 s Remaining CPU time: 152.569 s c =============================================================================== c | 24 | 800 1192 277500 | 5000 24 113 | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 27.5878 s Remaining CPU time: 152.412 s c =============================================================================== c | 24 | 800 1193 278200 | 5000 24 113 | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 27.7458 s Remaining CPU time: 152.254 s c =============================================================================== c | 24 | 800 1194 278900 | 5000 24 113 | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 27.9018 s Remaining CPU time: 152.098 s c =============================================================================== c | 24 | 800 1195 279600 | 5000 24 113 | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 28.0507 s Remaining CPU time: 151.949 s c =============================================================================== c | 24 | 800 1196 280300 | 5000 24 113 | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 28.1967 s Remaining CPU time: 151.803 s c =============================================================================== c | 24 | 800 1197 281000 | 5000 24 113 | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 28.3467 s Remaining CPU time: 151.653 s c =============================================================================== c | 25 | 800 1198 281700 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 28.5047 s Remaining CPU time: 151.495 s c =============================================================================== c | 25 | 800 1199 282400 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 28.6656 s Remaining CPU time: 151.334 s c =============================================================================== c | 25 | 800 1200 283100 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 28.8216 s Remaining CPU time: 151.178 s c =============================================================================== c | 25 | 800 1201 283800 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 28.9716 s Remaining CPU time: 151.028 s c =============================================================================== c | 25 | 800 1202 284500 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 29.1226 s Remaining CPU time: 150.877 s c =============================================================================== c | 25 | 800 1203 285200 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 29.2795 s Remaining CPU time: 150.72 s c =============================================================================== c | 25 | 800 1204 285900 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 29.4425 s Remaining CPU time: 150.557 s c =============================================================================== c | 25 | 800 1205 286600 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 29.6025 s Remaining CPU time: 150.398 s c =============================================================================== c | 25 | 800 1206 287300 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 29.7645 s Remaining CPU time: 150.236 s c =============================================================================== c | 25 | 800 1207 288000 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 29.9264 s Remaining CPU time: 150.074 s c =============================================================================== c | 25 | 800 1208 288700 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 30.0844 s Remaining CPU time: 149.916 s c =============================================================================== c | 25 | 800 1209 289400 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 30.2414 s Remaining CPU time: 149.759 s c =============================================================================== c | 25 | 800 1210 290100 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 30.3874 s Remaining CPU time: 149.613 s c =============================================================================== c | 25 | 800 1211 290800 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 30.5394 s Remaining CPU time: 149.461 s c =============================================================================== c | 25 | 800 1212 291500 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 30.6943 s Remaining CPU time: 149.306 s c =============================================================================== c | 25 | 800 1213 292200 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 30.8563 s Remaining CPU time: 149.144 s c =============================================================================== c | 25 | 800 1214 292900 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 31.0143 s Remaining CPU time: 148.986 s c =============================================================================== c | 25 | 800 1215 293600 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 31.1783 s Remaining CPU time: 148.822 s c =============================================================================== c | 25 | 800 1216 294300 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 31.3452 s Remaining CPU time: 148.655 s c =============================================================================== c | 25 | 800 1217 295000 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 31.5072 s Remaining CPU time: 148.493 s c =============================================================================== c | 25 | 800 1218 295700 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 31.6702 s Remaining CPU time: 148.33 s c =============================================================================== c | 25 | 800 1219 296400 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 31.8322 s Remaining CPU time: 148.168 s c =============================================================================== c | 25 | 800 1220 297100 | 5000 25 134 | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 31.9911 s Remaining CPU time: 148.009 s c =============================================================================== c | 26 | 800 1221 297800 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 32.1421 s Remaining CPU time: 147.858 s c =============================================================================== c | 26 | 800 1222 298500 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 32.3061 s Remaining CPU time: 147.694 s c =============================================================================== c | 26 | 800 1223 299200 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 32.4741 s Remaining CPU time: 147.526 s c =============================================================================== c | 26 | 800 1224 299900 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 32.645 s Remaining CPU time: 147.355 s c =============================================================================== c | 26 | 800 1225 300600 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 32.813 s Remaining CPU time: 147.187 s c =============================================================================== c | 26 | 800 1226 301300 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 32.971 s Remaining CPU time: 147.029 s c =============================================================================== c | 26 | 800 1227 302000 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 33.134 s Remaining CPU time: 146.866 s c =============================================================================== c | 26 | 800 1228 302700 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 33.2959 s Remaining CPU time: 146.704 s c =============================================================================== c | 26 | 800 1229 303400 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 33.4619 s Remaining CPU time: 146.538 s c =============================================================================== c | 26 | 800 1230 304100 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 33.6309 s Remaining CPU time: 146.369 s c =============================================================================== c | 26 | 800 1231 304800 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 33.7949 s Remaining CPU time: 146.205 s c =============================================================================== c | 26 | 800 1232 305500 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 33.9648 s Remaining CPU time: 146.035 s c =============================================================================== c | 26 | 800 1233 306200 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 34.1468 s Remaining CPU time: 145.853 s c =============================================================================== c | 26 | 800 1234 306900 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 34.3128 s Remaining CPU time: 145.687 s c =============================================================================== c | 26 | 800 1235 307600 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 34.4798 s Remaining CPU time: 145.52 s c =============================================================================== c | 26 | 800 1236 308300 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 34.6467 s Remaining CPU time: 145.353 s c =============================================================================== c | 26 | 800 1237 309000 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 34.8207 s Remaining CPU time: 145.179 s c =============================================================================== c | 26 | 800 1238 309700 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 34.9987 s Remaining CPU time: 145.001 s c =============================================================================== c | 26 | 800 1239 310400 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 35.1697 s Remaining CPU time: 144.83 s c =============================================================================== c | 26 | 800 1240 311100 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 35.3346 s Remaining CPU time: 144.665 s c =============================================================================== c | 26 | 800 1241 311800 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 35.5036 s Remaining CPU time: 144.496 s c =============================================================================== c | 26 | 800 1242 312500 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 35.6706 s Remaining CPU time: 144.329 s c =============================================================================== c | 26 | 800 1243 313200 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 35.8356 s Remaining CPU time: 144.164 s c =============================================================================== c | 26 | 800 1244 313900 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 36.0125 s Remaining CPU time: 143.987 s c =============================================================================== c | 26 | 800 1245 314600 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 36.1835 s Remaining CPU time: 143.817 s c =============================================================================== c | 26 | 800 1246 315300 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 36.3545 s Remaining CPU time: 143.646 s c =============================================================================== c | 26 | 800 1247 316000 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 36.5264 s Remaining CPU time: 143.474 s c =============================================================================== c | 26 | 800 1248 316700 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 36.6974 s Remaining CPU time: 143.303 s c =============================================================================== c | 26 | 800 1249 317400 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 36.8734 s Remaining CPU time: 143.127 s c =============================================================================== c | 26 | 800 1250 318100 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 37.0494 s Remaining CPU time: 142.951 s c =============================================================================== c | 26 | 800 1251 318800 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 37.2233 s Remaining CPU time: 142.777 s c =============================================================================== c | 26 | 800 1252 319500 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 37.3983 s Remaining CPU time: 142.602 s c =============================================================================== c | 26 | 800 1253 320200 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 37.5743 s Remaining CPU time: 142.426 s c =============================================================================== c | 26 | 800 1254 320900 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 37.7483 s Remaining CPU time: 142.252 s c =============================================================================== c | 26 | 800 1255 321600 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 37.9252 s Remaining CPU time: 142.075 s c =============================================================================== c | 26 | 800 1256 322300 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 38.0992 s Remaining CPU time: 141.901 s c =============================================================================== c | 26 | 800 1257 323000 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 38.2732 s Remaining CPU time: 141.727 s c =============================================================================== c | 26 | 800 1258 323700 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 38.4532 s Remaining CPU time: 141.547 s c =============================================================================== c | 26 | 800 1259 324400 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 38.6411 s Remaining CPU time: 141.359 s c =============================================================================== c | 26 | 800 1260 325100 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 38.8181 s Remaining CPU time: 141.182 s c =============================================================================== c | 26 | 800 1261 325800 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 38.9931 s Remaining CPU time: 141.007 s c =============================================================================== c | 26 | 800 1262 326500 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 39.165 s Remaining CPU time: 140.835 s c =============================================================================== c | 26 | 800 1263 327200 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 39.346 s Remaining CPU time: 140.654 s c =============================================================================== c | 26 | 800 1264 327900 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 39.525 s Remaining CPU time: 140.475 s c =============================================================================== c | 26 | 800 1265 328600 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 39.697 s Remaining CPU time: 140.303 s c =============================================================================== c | 26 | 800 1266 329300 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 39.8769 s Remaining CPU time: 140.123 s c =============================================================================== c | 26 | 800 1267 330000 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 40.0479 s Remaining CPU time: 139.952 s c =============================================================================== c | 26 | 800 1268 330700 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 40.2319 s Remaining CPU time: 139.768 s c =============================================================================== c | 26 | 800 1269 331400 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 40.4199 s Remaining CPU time: 139.58 s c =============================================================================== c | 26 | 800 1270 332100 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 40.6108 s Remaining CPU time: 139.389 s c =============================================================================== c | 26 | 800 1271 332800 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 40.8068 s Remaining CPU time: 139.193 s c =============================================================================== c | 26 | 800 1272 333500 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 40.9888 s Remaining CPU time: 139.011 s c =============================================================================== c | 26 | 800 1273 334200 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 41.1597 s Remaining CPU time: 138.84 s c =============================================================================== c | 26 | 800 1274 334900 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 41.3397 s Remaining CPU time: 138.66 s c =============================================================================== c | 26 | 800 1275 335600 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 41.5267 s Remaining CPU time: 138.473 s c =============================================================================== c | 26 | 800 1276 336300 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 41.7097 s Remaining CPU time: 138.29 s c =============================================================================== c | 26 | 800 1277 337000 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 41.8946 s Remaining CPU time: 138.105 s c =============================================================================== c | 26 | 800 1278 337700 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 42.0876 s Remaining CPU time: 137.912 s c =============================================================================== c | 26 | 800 1279 338400 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 42.2646 s Remaining CPU time: 137.735 s c =============================================================================== c | 26 | 800 1280 339100 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 42.4515 s Remaining CPU time: 137.548 s c =============================================================================== c | 26 | 800 1281 339800 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 42.6315 s Remaining CPU time: 137.368 s c =============================================================================== c | 26 | 800 1282 340500 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 42.8165 s Remaining CPU time: 137.184 s c =============================================================================== c | 26 | 800 1283 341200 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 43.0015 s Remaining CPU time: 136.999 s c =============================================================================== c | 26 | 800 1284 341900 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 43.1894 s Remaining CPU time: 136.811 s c =============================================================================== c | 26 | 800 1285 342600 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 43.3724 s Remaining CPU time: 136.628 s c =============================================================================== c | 26 | 800 1286 343300 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 43.5614 s Remaining CPU time: 136.439 s c =============================================================================== c | 26 | 800 1287 344000 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 43.7553 s Remaining CPU time: 136.245 s c =============================================================================== c | 26 | 800 1288 344700 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 43.9473 s Remaining CPU time: 136.053 s c =============================================================================== c | 26 | 800 1289 345400 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 44.1433 s Remaining CPU time: 135.857 s c =============================================================================== c | 26 | 800 1290 346100 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 44.3353 s Remaining CPU time: 135.665 s c =============================================================================== c | 26 | 800 1291 346800 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 44.5322 s Remaining CPU time: 135.468 s c =============================================================================== c | 26 | 800 1292 347500 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 44.7212 s Remaining CPU time: 135.279 s c =============================================================================== c | 26 | 800 1293 348200 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 44.9092 s Remaining CPU time: 135.091 s c =============================================================================== c | 26 | 800 1294 348900 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 45.0901 s Remaining CPU time: 134.91 s c =============================================================================== c | 26 | 800 1295 349600 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 45.2831 s Remaining CPU time: 134.717 s c =============================================================================== c | 26 | 800 1296 350300 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 45.4781 s Remaining CPU time: 134.522 s c =============================================================================== c | 26 | 800 1297 351000 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 45.6771 s Remaining CPU time: 134.323 s c =============================================================================== c | 26 | 800 1298 351700 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 45.874 s Remaining CPU time: 134.126 s c =============================================================================== c | 26 | 800 1299 352400 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 46.067 s Remaining CPU time: 133.933 s c =============================================================================== c | 26 | 800 1300 353100 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 46.268 s Remaining CPU time: 133.732 s c =============================================================================== c | 26 | 800 1301 353800 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 46.4669 s Remaining CPU time: 133.533 s c =============================================================================== c | 26 | 800 1302 354500 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 46.6629 s Remaining CPU time: 133.337 s c =============================================================================== c | 26 | 800 1303 355200 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 46.8599 s Remaining CPU time: 133.14 s c =============================================================================== c | 26 | 800 1304 355900 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 47.0588 s Remaining CPU time: 132.941 s c =============================================================================== c | 26 | 800 1305 356600 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 47.2498 s Remaining CPU time: 132.75 s c =============================================================================== c | 26 | 800 1306 357300 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 47.4398 s Remaining CPU time: 132.56 s c =============================================================================== c | 26 | 800 1307 358000 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 47.6448 s Remaining CPU time: 132.355 s c =============================================================================== c | 26 | 800 1308 358700 | 5000 26 153 | 0.000 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 47.8417 s Remaining CPU time: 132.158 s c =============================================================================== c | 27 | 800 1309 359400 | 5000 27 147 | 0.000 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 48.0377 s Remaining CPU time: 131.962 s c =============================================================================== c | 27 | 800 1310 360100 | 5000 27 147 | 0.000 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 48.2417 s Remaining CPU time: 131.758 s c =============================================================================== c | 27 | 800 1311 360800 | 5000 27 147 | 0.000 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 48.4516 s Remaining CPU time: 131.548 s c =============================================================================== c | 27 | 800 1312 361500 | 5000 27 147 | 0.000 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 48.6476 s Remaining CPU time: 131.352 s c =============================================================================== c | 27 | 800 1313 362200 | 5000 27 147 | 0.000 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 48.8496 s Remaining CPU time: 131.15 s c =============================================================================== c | 28 | 800 1314 362900 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 49.0435 s Remaining CPU time: 130.956 s c =============================================================================== c | 28 | 800 1315 363600 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 49.2285 s Remaining CPU time: 130.771 s c =============================================================================== c | 28 | 800 1316 364300 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 49.4315 s Remaining CPU time: 130.569 s c =============================================================================== c | 28 | 800 1317 365000 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 49.6275 s Remaining CPU time: 130.373 s c =============================================================================== c | 28 | 800 1318 365700 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 49.8374 s Remaining CPU time: 130.163 s c =============================================================================== c | 28 | 800 1319 366400 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 50.0454 s Remaining CPU time: 129.955 s c =============================================================================== c | 28 | 800 1320 367100 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 50.2504 s Remaining CPU time: 129.75 s c =============================================================================== c | 28 | 800 1321 367800 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 50.4493 s Remaining CPU time: 129.551 s c =============================================================================== c | 28 | 800 1322 368500 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 50.6483 s Remaining CPU time: 129.352 s c =============================================================================== c | 28 | 800 1323 369200 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 50.8463 s Remaining CPU time: 129.154 s c =============================================================================== c | 28 | 800 1324 369900 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 51.0452 s Remaining CPU time: 128.955 s c =============================================================================== c | 28 | 800 1325 370600 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 51.2432 s Remaining CPU time: 128.757 s c =============================================================================== c | 28 | 800 1326 371300 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 51.4392 s Remaining CPU time: 128.561 s c =============================================================================== c | 28 | 800 1327 372000 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 51.6391 s Remaining CPU time: 128.361 s c =============================================================================== c | 28 | 800 1328 372700 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 51.8391 s Remaining CPU time: 128.161 s c =============================================================================== c | 28 | 800 1329 373400 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 52.0451 s Remaining CPU time: 127.955 s c =============================================================================== c | 28 | 800 1330 374100 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 52.2661 s Remaining CPU time: 127.734 s c =============================================================================== c | 28 | 800 1331 374800 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 52.468 s Remaining CPU time: 127.532 s c =============================================================================== c | 28 | 800 1332 375500 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 52.667 s Remaining CPU time: 127.333 s c =============================================================================== c | 28 | 800 1333 376200 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 52.868 s Remaining CPU time: 127.132 s c =============================================================================== c | 28 | 800 1334 376900 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 53.0779 s Remaining CPU time: 126.922 s c =============================================================================== c | 28 | 800 1335 377600 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 53.2809 s Remaining CPU time: 126.719 s c =============================================================================== c | 28 | 800 1336 378300 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 53.4929 s Remaining CPU time: 126.507 s c =============================================================================== c | 28 | 800 1337 379000 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 53.7008 s Remaining CPU time: 126.299 s c =============================================================================== c | 28 | 800 1338 379700 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 53.9128 s Remaining CPU time: 126.087 s c =============================================================================== c | 28 | 800 1339 380400 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 54.1328 s Remaining CPU time: 125.867 s c =============================================================================== c | 28 | 800 1340 381100 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 54.3287 s Remaining CPU time: 125.671 s c =============================================================================== c | 28 | 800 1341 381800 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 54.5437 s Remaining CPU time: 125.456 s c =============================================================================== c | 28 | 800 1342 382500 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 54.7497 s Remaining CPU time: 125.25 s c =============================================================================== c | 28 | 800 1343 383200 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 54.9636 s Remaining CPU time: 125.036 s c =============================================================================== c | 28 | 800 1344 383900 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 55.1726 s Remaining CPU time: 124.827 s c =============================================================================== c | 28 | 800 1345 384600 | 5000 28 142 | 0.000 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 55.3816 s Remaining CPU time: 124.618 s c =============================================================================== c | 29 | 800 1346 385300 | 5000 29 137 | 0.000 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 55.5885 s Remaining CPU time: 124.411 s c =============================================================================== c | 29 | 800 1347 386000 | 5000 29 137 | 0.000 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 55.8045 s Remaining CPU time: 124.195 s c =============================================================================== c | 30 | 800 1348 386700 | 5000 30 133 | 0.000 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 56.0185 s Remaining CPU time: 123.982 s c =============================================================================== c | 30 | 800 1349 387400 | 5000 30 133 | 0.000 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 56.2275 s Remaining CPU time: 123.773 s c =============================================================================== c | 30 | 800 1350 388100 | 5000 30 133 | 0.000 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 56.4364 s Remaining CPU time: 123.564 s c =============================================================================== c | 31 | 800 1351 388800 | 5000 31 129 | 0.000 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 56.6464 s Remaining CPU time: 123.354 s c =============================================================================== c | 31 | 800 1352 389500 | 5000 31 129 | 0.000 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 56.8724 s Remaining CPU time: 123.128 s c =============================================================================== c | 31 | 800 1353 390200 | 5000 31 129 | 0.000 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 57.0943 s Remaining CPU time: 122.906 s c =============================================================================== c | 31 | 800 1354 390900 | 5000 31 129 | 0.000 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 57.3043 s Remaining CPU time: 122.696 s c =============================================================================== c | 31 | 800 1355 391600 | 5000 31 129 | 0.000 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 57.5193 s Remaining CPU time: 122.481 s c =============================================================================== c | 31 | 800 1356 392300 | 5000 31 129 | 0.000 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 57.7282 s Remaining CPU time: 122.272 s c =============================================================================== c | 32 | 800 1357 393000 | 5000 32 125 | 0.000 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 57.9422 s Remaining CPU time: 122.058 s c =============================================================================== c | 32 | 800 1358 393700 | 5000 32 125 | 0.000 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 58.1602 s Remaining CPU time: 121.84 s c =============================================================================== c | 32 | 800 1359 394400 | 5000 32 125 | 0.000 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 58.3711 s Remaining CPU time: 121.629 s c =============================================================================== c | 32 | 800 1360 395100 | 5000 32 125 | 0.000 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 58.5801 s Remaining CPU time: 121.42 s c =============================================================================== c | 33 | 800 1361 395800 | 5000 33 122 | 0.000 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 58.7851 s Remaining CPU time: 121.215 s c =============================================================================== c | 33 | 800 1362 396500 | 5000 33 122 | 0.000 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 58.999 s Remaining CPU time: 121.001 s c =============================================================================== c | 33 | 800 1363 397200 | 5000 33 122 | 0.000 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 59.208 s Remaining CPU time: 120.792 s c =============================================================================== c | 33 | 800 1364 397900 | 5000 33 122 | 0.000 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 59.424 s Remaining CPU time: 120.576 s c =============================================================================== c | 33 | 800 1365 398600 | 5000 33 122 | 0.000 % | c =============================================================================== c New solution: 3138 c Elapsed CPU time: 59.6379 s Remaining CPU time: 120.362 s c =============================================================================== c | 34 | 800 1366 399300 | 5000 34 118 | 0.000 % | c =============================================================================== c New solution: 3137 c Elapsed CPU time: 59.8519 s Remaining CPU time: 120.148 s c =============================================================================== c | 34 | 800 1367 400000 | 5000 34 118 | 0.000 % | c =============================================================================== c New solution: 3136 c Elapsed CPU time: 60.0799 s Remaining CPU time: 119.92 s c =============================================================================== c | 34 | 800 1368 400700 | 5000 34 118 | 0.000 % | c =============================================================================== c New solution: 3135 c Elapsed CPU time: 60.2998 s Remaining CPU time: 119.7 s c =============================================================================== c | 35 | 800 1369 401400 | 5000 35 115 | 0.000 % | c =============================================================================== c New solution: 3134 c Elapsed CPU time: 60.5228 s Remaining CPU time: 119.477 s c =============================================================================== c | 36 | 800 1370 402100 | 5000 36 112 | 0.000 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 60.7418 s Remaining CPU time: 119.258 s c =============================================================================== c | 36 | 800 1371 402800 | 5000 36 112 | 0.000 % | c =============================================================================== c New solution: 3132 c Elapsed CPU time: 60.9597 s Remaining CPU time: 119.04 s c =============================================================================== c | 36 | 800 1372 403500 | 5000 36 112 | 0.000 % | c =============================================================================== c New solution: 3131 c Elapsed CPU time: 61.1787 s Remaining CPU time: 118.821 s c =============================================================================== c | 36 | 800 1373 404200 | 5000 36 112 | 0.000 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 61.4017 s Remaining CPU time: 118.598 s c =============================================================================== c | 36 | 800 1374 404900 | 5000 36 112 | 0.000 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 61.6286 s Remaining CPU time: 118.371 s c =============================================================================== c | 37 | 800 1375 405600 | 5000 37 109 | 0.000 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 61.8506 s Remaining CPU time: 118.149 s c =============================================================================== c | 37 | 800 1376 406300 | 5000 37 109 | 0.000 % | c =============================================================================== c New solution: 3127 c Elapsed CPU time: 62.0606 s Remaining CPU time: 117.939 s c =============================================================================== c | 37 | 800 1377 407000 | 5000 37 109 | 0.000 % | c =============================================================================== c New solution: 3126 c Elapsed CPU time: 62.2875 s Remaining CPU time: 117.712 s c =============================================================================== c | 37 | 800 1378 407700 | 5000 37 109 | 0.000 % | c =============================================================================== c New solution: 3125 c Elapsed CPU time: 62.5135 s Remaining CPU time: 117.487 s c =============================================================================== c | 37 | 800 1379 408400 | 5000 37 109 | 0.000 % | c =============================================================================== c New solution: 3124 c Elapsed CPU time: 62.7245 s Remaining CPU time: 117.276 s c =============================================================================== c | 37 | 800 1380 409100 | 5000 37 109 | 0.000 % | c =============================================================================== c New solution: 3123 c Elapsed CPU time: 62.9394 s Remaining CPU time: 117.061 s c =============================================================================== c | 38 | 800 1381 409800 | 5000 38 107 | 0.000 % | c =============================================================================== c New solution: 3122 c Elapsed CPU time: 63.1634 s Remaining CPU time: 116.837 s c =============================================================================== c | 38 | 800 1382 410500 | 5000 38 107 | 0.000 % | c =============================================================================== c New solution: 3121 c Elapsed CPU time: 63.3954 s Remaining CPU time: 116.605 s c =============================================================================== c | 38 | 800 1383 411200 | 5000 38 107 | 0.000 % | c =============================================================================== c New solution: 3120 c Elapsed CPU time: 63.6183 s Remaining CPU time: 116.382 s c =============================================================================== c | 40 | 800 1384 411900 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3119 c Elapsed CPU time: 63.8543 s Remaining CPU time: 116.146 s c =============================================================================== c | 40 | 800 1385 412600 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3118 c Elapsed CPU time: 64.0853 s Remaining CPU time: 115.915 s c =============================================================================== c | 40 | 800 1386 413300 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3117 c Elapsed CPU time: 64.3082 s Remaining CPU time: 115.692 s c =============================================================================== c | 40 | 800 1387 414000 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3116 c Elapsed CPU time: 64.5422 s Remaining CPU time: 115.458 s c =============================================================================== c | 40 | 800 1388 414700 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3115 c Elapsed CPU time: 64.7582 s Remaining CPU time: 115.242 s c =============================================================================== c | 40 | 800 1389 415400 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3114 c Elapsed CPU time: 64.9761 s Remaining CPU time: 115.024 s c =============================================================================== c | 40 | 800 1390 416100 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3113 c Elapsed CPU time: 65.2021 s Remaining CPU time: 114.798 s c =============================================================================== c | 40 | 800 1391 416800 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3112 c Elapsed CPU time: 65.4251 s Remaining CPU time: 114.575 s c =============================================================================== c | 40 | 800 1392 417500 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3111 c Elapsed CPU time: 65.657 s Remaining CPU time: 114.343 s c =============================================================================== c | 40 | 800 1393 418200 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3110 c Elapsed CPU time: 65.874 s Remaining CPU time: 114.126 s c =============================================================================== c | 40 | 800 1394 418900 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3109 c Elapsed CPU time: 66.1259 s Remaining CPU time: 113.874 s c =============================================================================== c | 40 | 800 1395 419600 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3108 c Elapsed CPU time: 66.3569 s Remaining CPU time: 113.643 s c =============================================================================== c | 40 | 800 1396 420300 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3107 c Elapsed CPU time: 66.5949 s Remaining CPU time: 113.405 s c =============================================================================== c | 40 | 800 1397 421000 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3106 c Elapsed CPU time: 66.8218 s Remaining CPU time: 113.178 s c =============================================================================== c | 40 | 800 1398 421700 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3105 c Elapsed CPU time: 67.0378 s Remaining CPU time: 112.962 s c =============================================================================== c | 40 | 800 1399 422400 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3104 c Elapsed CPU time: 67.2688 s Remaining CPU time: 112.731 s c =============================================================================== c | 40 | 800 1400 423100 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3103 c Elapsed CPU time: 67.4957 s Remaining CPU time: 112.504 s c =============================================================================== c | 40 | 800 1401 423800 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3102 c Elapsed CPU time: 67.7207 s Remaining CPU time: 112.279 s c =============================================================================== c | 40 | 800 1402 424500 | 5000 40 116 | 0.000 % | c =============================================================================== c New solution: 3101 c Elapsed CPU time: 67.9627 s Remaining CPU time: 112.037 s c =============================================================================== c | 41 | 800 1403 425200 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3100 c Elapsed CPU time: 68.1946 s Remaining CPU time: 111.805 s c =============================================================================== c | 41 | 800 1404 425900 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3099 c Elapsed CPU time: 68.4216 s Remaining CPU time: 111.578 s c =============================================================================== c | 41 | 800 1405 426600 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3098 c Elapsed CPU time: 68.6466 s Remaining CPU time: 111.353 s c =============================================================================== c | 41 | 800 1406 427300 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3097 c Elapsed CPU time: 68.8805 s Remaining CPU time: 111.119 s c =============================================================================== c | 41 | 800 1407 428000 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3096 c Elapsed CPU time: 69.0945 s Remaining CPU time: 110.906 s c =============================================================================== c | 41 | 800 1408 428700 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3095 c Elapsed CPU time: 69.3245 s Remaining CPU time: 110.676 s c =============================================================================== c | 41 | 800 1409 429400 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3094 c Elapsed CPU time: 69.5494 s Remaining CPU time: 110.451 s c =============================================================================== c | 41 | 800 1410 430100 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3093 c Elapsed CPU time: 69.7824 s Remaining CPU time: 110.218 s c =============================================================================== c | 41 | 800 1411 430800 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3092 c Elapsed CPU time: 70.0224 s Remaining CPU time: 109.978 s c =============================================================================== c | 41 | 800 1412 431500 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3091 c Elapsed CPU time: 70.2433 s Remaining CPU time: 109.757 s c =============================================================================== c | 41 | 800 1413 432200 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3090 c Elapsed CPU time: 70.4663 s Remaining CPU time: 109.534 s c =============================================================================== c | 41 | 800 1414 432900 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3089 c Elapsed CPU time: 70.6983 s Remaining CPU time: 109.302 s c =============================================================================== c | 41 | 800 1415 433600 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3088 c Elapsed CPU time: 70.9342 s Remaining CPU time: 109.066 s c =============================================================================== c | 41 | 800 1416 434300 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3087 c Elapsed CPU time: 71.1692 s Remaining CPU time: 108.831 s c =============================================================================== c | 41 | 800 1417 435000 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3086 c Elapsed CPU time: 71.4051 s Remaining CPU time: 108.595 s c =============================================================================== c | 41 | 800 1418 435700 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3085 c Elapsed CPU time: 71.6401 s Remaining CPU time: 108.36 s c =============================================================================== c | 41 | 800 1419 436400 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3084 c Elapsed CPU time: 71.8931 s Remaining CPU time: 108.107 s c =============================================================================== c | 41 | 800 1420 437100 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3083 c Elapsed CPU time: 72.13 s Remaining CPU time: 107.87 s c =============================================================================== c | 41 | 800 1421 437800 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3082 c Elapsed CPU time: 72.375 s Remaining CPU time: 107.625 s c =============================================================================== c | 41 | 800 1422 438500 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3081 c Elapsed CPU time: 72.608 s Remaining CPU time: 107.392 s c =============================================================================== c | 41 | 800 1423 439200 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3080 c Elapsed CPU time: 72.8439 s Remaining CPU time: 107.156 s c =============================================================================== c | 41 | 800 1424 439900 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3079 c Elapsed CPU time: 73.0639 s Remaining CPU time: 106.936 s c =============================================================================== c | 41 | 800 1425 440600 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3078 c Elapsed CPU time: 73.2919 s Remaining CPU time: 106.708 s c =============================================================================== c | 41 | 800 1426 441300 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3077 c Elapsed CPU time: 73.5268 s Remaining CPU time: 106.473 s c =============================================================================== c | 41 | 800 1427 442000 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3076 c Elapsed CPU time: 73.7518 s Remaining CPU time: 106.248 s c =============================================================================== c | 41 | 800 1428 442700 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3075 c Elapsed CPU time: 73.9828 s Remaining CPU time: 106.017 s c =============================================================================== c | 41 | 800 1429 443400 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3074 c Elapsed CPU time: 74.2207 s Remaining CPU time: 105.779 s c =============================================================================== c | 41 | 800 1430 444100 | 5000 41 114 | 0.000 % | c =============================================================================== c New solution: 3073 c Elapsed CPU time: 74.4667 s Remaining CPU time: 105.533 s c =============================================================================== c | 42 | 800 1431 444800 | 5000 42 111 | 0.000 % | c =============================================================================== c New solution: 3072 c Elapsed CPU time: 74.7306 s Remaining CPU time: 105.269 s c =============================================================================== c | 43 | 800 1432 445500 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3071 c Elapsed CPU time: 74.9776 s Remaining CPU time: 105.022 s c =============================================================================== c | 43 | 800 1433 446200 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3070 c Elapsed CPU time: 75.2176 s Remaining CPU time: 104.782 s c =============================================================================== c | 43 | 800 1434 446900 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3069 c Elapsed CPU time: 75.4405 s Remaining CPU time: 104.559 s c =============================================================================== c | 43 | 800 1435 447600 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3068 c Elapsed CPU time: 75.6705 s Remaining CPU time: 104.33 s c =============================================================================== c | 43 | 800 1436 448300 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3067 c Elapsed CPU time: 75.9075 s Remaining CPU time: 104.093 s c =============================================================================== c | 43 | 800 1437 449000 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3066 c Elapsed CPU time: 76.1614 s Remaining CPU time: 103.839 s c =============================================================================== c | 43 | 800 1438 449700 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3065 c Elapsed CPU time: 76.4154 s Remaining CPU time: 103.585 s c =============================================================================== c | 43 | 800 1439 450400 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3064 c Elapsed CPU time: 76.6493 s Remaining CPU time: 103.351 s c =============================================================================== c | 43 | 800 1440 451100 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3063 c Elapsed CPU time: 76.8873 s Remaining CPU time: 103.113 s c =============================================================================== c | 43 | 800 1441 451800 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3062 c Elapsed CPU time: 77.1233 s Remaining CPU time: 102.877 s c =============================================================================== c | 43 | 800 1442 452500 | 5000 43 109 | 0.000 % | c =============================================================================== c New solution: 3061 c Elapsed CPU time: 77.3592 s Remaining CPU time: 102.641 s c =============================================================================== c | 44 | 800 1443 453200 | 5000 44 106 | 0.000 % | c =============================================================================== c New solution: 3060 c Elapsed CPU time: 77.6092 s Remaining CPU time: 102.391 s c =============================================================================== c | 44 | 800 1444 453900 | 5000 44 106 | 0.000 % | c =============================================================================== c New solution: 3059 c Elapsed CPU time: 77.8712 s Remaining CPU time: 102.129 s c =============================================================================== c | 45 | 800 1445 454600 | 5000 45 117 | 0.000 % | c =============================================================================== c New solution: 3058 c Elapsed CPU time: 78.1181 s Remaining CPU time: 101.882 s c =============================================================================== c | 45 | 800 1446 455300 | 5000 45 117 | 0.000 % | c =============================================================================== c New solution: 3057 c Elapsed CPU time: 78.3621 s Remaining CPU time: 101.638 s c =============================================================================== c | 45 | 800 1447 456000 | 5000 45 117 | 0.000 % | c =============================================================================== c New solution: 3056 c Elapsed CPU time: 78.616 s Remaining CPU time: 101.384 s c =============================================================================== c | 45 | 800 1448 456700 | 5000 45 117 | 0.000 % | c =============================================================================== c New solution: 3055 c Elapsed CPU time: 78.86 s Remaining CPU time: 101.14 s c =============================================================================== c | 45 | 800 1449 457400 | 5000 45 117 | 0.000 % | c =============================================================================== c New solution: 3054 c Elapsed CPU time: 79.093 s Remaining CPU time: 100.907 s c =============================================================================== c | 45 | 800 1450 458100 | 5000 45 117 | 0.000 % | c =============================================================================== c New solution: 3053 c Elapsed CPU time: 79.3409 s Remaining CPU time: 100.659 s c =============================================================================== c | 45 | 800 1451 458800 | 5000 45 117 | 0.000 % | c =============================================================================== c New solution: 3052 c Elapsed CPU time: 79.5839 s Remaining CPU time: 100.416 s c =============================================================================== c | 45 | 800 1452 459500 | 5000 45 117 | 0.000 % | c =============================================================================== c New solution: 3051 c Elapsed CPU time: 79.8319 s Remaining CPU time: 100.168 s c =============================================================================== c | 46 | 800 1453 460200 | 5000 46 114 | 0.000 % | c =============================================================================== c New solution: 3050 c Elapsed CPU time: 80.0668 s Remaining CPU time: 99.9332 s c =============================================================================== c | 46 | 800 1454 460900 | 5000 46 114 | 0.000 % | c =============================================================================== c New solution: 3049 c Elapsed CPU time: 80.3118 s Remaining CPU time: 99.6882 s c =============================================================================== c | 46 | 800 1455 461600 | 5000 46 114 | 0.000 % | c =============================================================================== c New solution: 3048 c Elapsed CPU time: 80.5638 s Remaining CPU time: 99.4362 s c =============================================================================== c | 46 | 800 1456 462300 | 5000 46 114 | 0.000 % | c =============================================================================== c New solution: 3047 c Elapsed CPU time: 80.8087 s Remaining CPU time: 99.1913 s c =============================================================================== c | 46 | 800 1457 463000 | 5000 46 114 | 0.000 % | c =============================================================================== c New solution: 3046 c Elapsed CPU time: 81.0577 s Remaining CPU time: 98.9423 s c =============================================================================== c | 46 | 800 1458 463700 | 5000 46 114 | 0.000 % | c =============================================================================== c New solution: 3045 c Elapsed CPU time: 81.3066 s Remaining CPU time: 98.6934 s c =============================================================================== c | 46 | 800 1459 464400 | 5000 46 114 | 0.000 % | c =============================================================================== c New solution: 3044 c Elapsed CPU time: 81.5596 s Remaining CPU time: 98.4404 s c =============================================================================== c | 46 | 800 1460 465100 | 5000 46 114 | 0.000 % | c =============================================================================== c New solution: 3043 c Elapsed CPU time: 81.7996 s Remaining CPU time: 98.2004 s c =============================================================================== c | 46 | 800 1461 465800 | 5000 46 114 | 0.000 % | c =============================================================================== c New solution: 3042 c Elapsed CPU time: 82.0675 s Remaining CPU time: 97.9325 s c =============================================================================== c | 48 | 800 1462 466500 | 5000 48 122 | 0.000 % | c =============================================================================== c New solution: 3041 c Elapsed CPU time: 82.3175 s Remaining CPU time: 97.6825 s c =============================================================================== c | 48 | 800 1463 467200 | 5000 48 122 | 0.000 % | c =============================================================================== c New solution: 3040 c Elapsed CPU time: 82.5804 s Remaining CPU time: 97.4196 s c =============================================================================== c | 48 | 800 1464 467900 | 5000 48 122 | 0.000 % | c =============================================================================== c New solution: 3039 c Elapsed CPU time: 82.8314 s Remaining CPU time: 97.1686 s c =============================================================================== c | 48 | 800 1465 468600 | 5000 48 122 | 0.000 % | c =============================================================================== c New solution: 3038 c Elapsed CPU time: 83.0984 s Remaining CPU time: 96.9016 s c =============================================================================== c | 49 | 800 1466 469300 | 5000 49 120 | 0.000 % | c =============================================================================== c New solution: 3037 c Elapsed CPU time: 83.3753 s Remaining CPU time: 96.6247 s c =============================================================================== c | 50 | 800 1467 470000 | 5000 50 129 | 0.000 % | c =============================================================================== c New solution: 3036 c Elapsed CPU time: 83.6433 s Remaining CPU time: 96.3567 s c =============================================================================== c | 50 | 800 1468 470700 | 5000 50 129 | 0.000 % | c =============================================================================== c New solution: 3035 c Elapsed CPU time: 83.8992 s Remaining CPU time: 96.1008 s c =============================================================================== c | 52 | 800 1469 471400 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3034 c Elapsed CPU time: 84.1572 s Remaining CPU time: 95.8428 s c =============================================================================== c | 52 | 800 1470 472100 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3033 c Elapsed CPU time: 84.4092 s Remaining CPU time: 95.5908 s c =============================================================================== c | 52 | 800 1471 472800 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3032 c Elapsed CPU time: 84.6761 s Remaining CPU time: 95.3239 s c =============================================================================== c | 52 | 800 1472 473500 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3031 c Elapsed CPU time: 84.9321 s Remaining CPU time: 95.0679 s c =============================================================================== c | 52 | 800 1473 474200 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3030 c Elapsed CPU time: 85.185 s Remaining CPU time: 94.815 s c =============================================================================== c | 52 | 800 1474 474900 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3029 c Elapsed CPU time: 85.422 s Remaining CPU time: 94.578 s c =============================================================================== c | 52 | 800 1475 475600 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3028 c Elapsed CPU time: 85.671 s Remaining CPU time: 94.329 s c =============================================================================== c | 52 | 800 1476 476300 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3027 c Elapsed CPU time: 85.9139 s Remaining CPU time: 94.0861 s c =============================================================================== c | 52 | 800 1477 477000 | 5000 52 135 | 0.000 % | c =============================================================================== c New solution: 3026 c Elapsed CPU time: 86.1649 s Remaining CPU time: 93.8351 s c =============================================================================== c | 53 | 800 1478 477700 | 5000 53 132 | 0.000 % | c =============================================================================== c New solution: 3025 c Elapsed CPU time: 86.4209 s Remaining CPU time: 93.5791 s c =============================================================================== c | 53 | 800 1479 478400 | 5000 53 132 | 0.000 % | c =============================================================================== c New solution: 3024 c Elapsed CPU time: 86.6788 s Remaining CPU time: 93.3212 s c =============================================================================== c | 53 | 800 1480 479100 | 5000 53 132 | 0.000 % | c =============================================================================== c New solution: 3023 c Elapsed CPU time: 86.9428 s Remaining CPU time: 93.0572 s c =============================================================================== c | 53 | 800 1481 479800 | 5000 53 132 | 0.000 % | c =============================================================================== c New solution: 3022 c Elapsed CPU time: 87.1997 s Remaining CPU time: 92.8003 s c =============================================================================== c | 53 | 800 1482 480500 | 5000 53 132 | 0.000 % | c =============================================================================== c New solution: 3021 c Elapsed CPU time: 87.4567 s Remaining CPU time: 92.5433 s c =============================================================================== c | 54 | 800 1483 481200 | 5000 54 130 | 0.000 % | c =============================================================================== c New solution: 3020 c Elapsed CPU time: 87.7177 s Remaining CPU time: 92.2823 s c =============================================================================== c | 55 | 800 1484 481900 | 5000 55 128 | 0.000 % | c =============================================================================== c New solution: 3019 c Elapsed CPU time: 87.9666 s Remaining CPU time: 92.0334 s c =============================================================================== c | 56 | 800 1485 482600 | 5000 56 126 | 0.000 % | c =============================================================================== c New solution: 3018 c Elapsed CPU time: 88.2226 s Remaining CPU time: 91.7774 s c =============================================================================== c | 56 | 800 1486 483300 | 5000 56 126 | 0.000 % | c =============================================================================== c New solution: 3017 c Elapsed CPU time: 88.4755 s Remaining CPU time: 91.5245 s c =============================================================================== c | 56 | 800 1487 484000 | 5000 56 126 | 0.000 % | c =============================================================================== c New solution: 3016 c Elapsed CPU time: 88.7445 s Remaining CPU time: 91.2555 s c =============================================================================== c | 56 | 800 1488 484700 | 5000 56 126 | 0.000 % | c =============================================================================== c New solution: 3015 c Elapsed CPU time: 88.9975 s Remaining CPU time: 91.0025 s c =============================================================================== c | 56 | 800 1489 485400 | 5000 56 126 | 0.000 % | c =============================================================================== c New solution: 3014 c Elapsed CPU time: 89.2504 s Remaining CPU time: 90.7496 s c =============================================================================== c | 57 | 800 1490 486100 | 5000 57 124 | 0.000 % | c =============================================================================== c New solution: 3013 c Elapsed CPU time: 89.5104 s Remaining CPU time: 90.4896 s c =============================================================================== c | 57 | 800 1491 486800 | 5000 57 124 | 0.000 % | c =============================================================================== c New solution: 3012 c Elapsed CPU time: 89.7714 s Remaining CPU time: 90.2286 s c =============================================================================== c | 57 | 800 1492 487500 | 5000 57 124 | 0.000 % | c =============================================================================== c New solution: 3011 c Elapsed CPU time: 90.0313 s Remaining CPU time: 89.9687 s c =============================================================================== c | 58 | 800 1493 488200 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3010 c Elapsed CPU time: 90.2813 s Remaining CPU time: 89.7187 s c =============================================================================== c | 58 | 800 1494 488900 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3009 c Elapsed CPU time: 90.5322 s Remaining CPU time: 89.4678 s c =============================================================================== c | 58 | 800 1495 489600 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3008 c Elapsed CPU time: 90.7852 s Remaining CPU time: 89.2148 s c =============================================================================== c | 58 | 800 1496 490300 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3007 c Elapsed CPU time: 91.0422 s Remaining CPU time: 88.9578 s c =============================================================================== c | 58 | 800 1497 491000 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3006 c Elapsed CPU time: 91.3051 s Remaining CPU time: 88.6949 s c =============================================================================== c | 58 | 800 1498 491700 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3005 c Elapsed CPU time: 91.5611 s Remaining CPU time: 88.4389 s c =============================================================================== c | 58 | 800 1499 492400 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3004 c Elapsed CPU time: 91.835 s Remaining CPU time: 88.165 s c =============================================================================== c | 58 | 800 1500 493100 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3003 c Elapsed CPU time: 92.096 s Remaining CPU time: 87.904 s c =============================================================================== c | 58 | 800 1501 493800 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3002 c Elapsed CPU time: 92.356 s Remaining CPU time: 87.644 s c =============================================================================== c | 58 | 800 1502 494500 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3001 c Elapsed CPU time: 92.6129 s Remaining CPU time: 87.3871 s c =============================================================================== c | 58 | 800 1503 495200 | 5000 58 131 | 0.000 % | c =============================================================================== c New solution: 3000 c Elapsed CPU time: 92.8719 s Remaining CPU time: 87.1281 s c =============================================================================== c | 60 | 800 1504 495900 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 2999 c Elapsed CPU time: 93.1438 s Remaining CPU time: 86.8562 s c =============================================================================== c | 60 | 800 1505 496600 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 2998 c Elapsed CPU time: 93.4168 s Remaining CPU time: 86.5832 s c =============================================================================== c | 60 | 800 1506 497300 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 2997 c Elapsed CPU time: 93.6718 s Remaining CPU time: 86.3282 s c =============================================================================== c | 60 | 800 1507 498000 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 2996 c Elapsed CPU time: 93.9217 s Remaining CPU time: 86.0783 s c =============================================================================== c | 60 | 800 1508 498700 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 2995 c Elapsed CPU time: 94.1787 s Remaining CPU time: 85.8213 s c =============================================================================== c | 60 | 800 1509 499400 | 5000 60 127 | 0.000 % | c =============================================================================== c New solution: 2994 c Elapsed CPU time: 94.4556 s Remaining CPU time: 85.5444 s c =============================================================================== c | 61 | 800 1510 500100 | 5000 61 134 | 0.000 % | c =============================================================================== c New solution: 2993 c Elapsed CPU time: 94.7276 s Remaining CPU time: 85.2724 s c =============================================================================== c | 61 | 800 1511 500800 | 5000 61 134 | 0.000 % | c =============================================================================== c New solution: 2992 c Elapsed CPU time: 94.9936 s Remaining CPU time: 85.0064 s c =============================================================================== c | 61 | 800 1512 501500 | 5000 61 134 | 0.000 % | c =============================================================================== c New solution: 2991 c Elapsed CPU time: 95.2675 s Remaining CPU time: 84.7325 s c =============================================================================== c | 61 | 800 1513 502200 | 5000 61 134 | 0.000 % | c =============================================================================== c New solution: 2990 c Elapsed CPU time: 95.5215 s Remaining CPU time: 84.4785 s c =============================================================================== c | 61 | 800 1514 502900 | 5000 61 134 | 0.000 % | c =============================================================================== c New solution: 2989 c Elapsed CPU time: 95.7804 s Remaining CPU time: 84.2196 s c =============================================================================== c | 61 | 800 1515 503600 | 5000 61 134 | 0.000 % | c =============================================================================== c New solution: 2988 c Elapsed CPU time: 96.0364 s Remaining CPU time: 83.9636 s c =============================================================================== c | 61 | 800 1516 504300 | 5000 61 134 | 0.000 % | c =============================================================================== c New solution: 2987 c Elapsed CPU time: 96.2944 s Remaining CPU time: 83.7056 s c =============================================================================== c | 61 | 800 1517 505000 | 5000 61 134 | 0.000 % | c =============================================================================== c New solution: 2986 c Elapsed CPU time: 96.5613 s Remaining CPU time: 83.4387 s c =============================================================================== c | 63 | 800 1518 505700 | 5000 63 131 | 0.000 % | c =============================================================================== c New solution: 2985 c Elapsed CPU time: 96.8333 s Remaining CPU time: 83.1667 s c =============================================================================== c | 63 | 800 1519 506400 | 5000 63 131 | 0.000 % | c =============================================================================== c New solution: 2984 c Elapsed CPU time: 97.1042 s Remaining CPU time: 82.8958 s c =============================================================================== c | 64 | 800 1520 507100 | 5000 64 137 | 0.000 % | c =============================================================================== c New solution: 2983 c Elapsed CPU time: 97.3742 s Remaining CPU time: 82.6258 s c =============================================================================== c | 64 | 800 1521 507800 | 5000 64 137 | 0.000 % | c =============================================================================== c New solution: 2982 c Elapsed CPU time: 97.6542 s Remaining CPU time: 82.3458 s c =============================================================================== c | 64 | 800 1522 508500 | 5000 64 137 | 0.000 % | c =============================================================================== c New solution: 2981 c Elapsed CPU time: 97.9231 s Remaining CPU time: 82.0769 s c =============================================================================== c | 64 | 800 1523 509200 | 5000 64 137 | 0.000 % | c =============================================================================== c New solution: 2980 c Elapsed CPU time: 98.1801 s Remaining CPU time: 81.8199 s c =============================================================================== c | 65 | 800 1524 509900 | 5000 65 135 | 0.000 % | c =============================================================================== c New solution: 2979 c Elapsed CPU time: 98.444 s Remaining CPU time: 81.556 s c =============================================================================== c | 65 | 800 1525 510600 | 5000 65 135 | 0.000 % | c =============================================================================== c New solution: 2978 c Elapsed CPU time: 98.721 s Remaining CPU time: 81.279 s c =============================================================================== c | 65 | 800 1526 511300 | 5000 65 135 | 0.000 % | c =============================================================================== c New solution: 2977 c Elapsed CPU time: 98.98 s Remaining CPU time: 81.02 s c =============================================================================== c | 65 | 800 1527 512000 | 5000 65 135 | 0.000 % | c =============================================================================== c New solution: 2976 c Elapsed CPU time: 99.2599 s Remaining CPU time: 80.7401 s c =============================================================================== c | 66 | 800 1528 512700 | 5000 66 133 | 0.000 % | c =============================================================================== c New solution: 2975 c Elapsed CPU time: 99.5309 s Remaining CPU time: 80.4691 s c =============================================================================== c | 67 | 800 1529 513400 | 5000 67 131 | 0.000 % | c =============================================================================== c New solution: 2974 c Elapsed CPU time: 99.7898 s Remaining CPU time: 80.2102 s c =============================================================================== c | 67 | 800 1530 514100 | 5000 67 131 | 0.000 % | c =============================================================================== c New solution: 2973 c Elapsed CPU time: 100.07 s Remaining CPU time: 79.9302 s c =============================================================================== c | 67 | 800 1531 514800 | 5000 67 131 | 0.000 % | c =============================================================================== c New solution: 2972 c Elapsed CPU time: 100.345 s Remaining CPU time: 79.6553 s c =============================================================================== c | 67 | 800 1532 515500 | 5000 67 131 | 0.000 % | c =============================================================================== c New solution: 2971 c Elapsed CPU time: 100.602 s Remaining CPU time: 79.3983 s c =============================================================================== c | 67 | 800 1533 516200 | 5000 67 131 | 0.000 % | c =============================================================================== c New solution: 2970 c Elapsed CPU time: 100.883 s Remaining CPU time: 79.1173 s c =============================================================================== c | 67 | 800 1534 516900 | 5000 67 131 | 0.000 % | c =============================================================================== c New solution: 2969 c Elapsed CPU time: 101.159 s Remaining CPU time: 78.8414 s c =============================================================================== c | 67 | 800 1535 517600 | 5000 67 131 | 0.000 % | c =============================================================================== c New solution: 2968 c Elapsed CPU time: 101.446 s Remaining CPU time: 78.5544 s c =============================================================================== c | 68 | 800 1536 518300 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2967 c Elapsed CPU time: 101.717 s Remaining CPU time: 78.2835 s c =============================================================================== c | 68 | 800 1537 519000 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2966 c Elapsed CPU time: 101.991 s Remaining CPU time: 78.0085 s c =============================================================================== c | 68 | 800 1538 519700 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2965 c Elapsed CPU time: 102.257 s Remaining CPU time: 77.7425 s c =============================================================================== c | 68 | 800 1539 520400 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2964 c Elapsed CPU time: 102.516 s Remaining CPU time: 77.4836 s c =============================================================================== c | 68 | 800 1540 521100 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2963 c Elapsed CPU time: 102.792 s Remaining CPU time: 77.2076 s c =============================================================================== c | 68 | 800 1541 521800 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2962 c Elapsed CPU time: 103.062 s Remaining CPU time: 76.9377 s c =============================================================================== c | 68 | 800 1542 522500 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2961 c Elapsed CPU time: 103.336 s Remaining CPU time: 76.6637 s c =============================================================================== c | 68 | 800 1543 523200 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2960 c Elapsed CPU time: 103.604 s Remaining CPU time: 76.3958 s c =============================================================================== c | 68 | 800 1544 523900 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2959 c Elapsed CPU time: 103.883 s Remaining CPU time: 76.1168 s c =============================================================================== c | 68 | 800 1545 524600 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2958 c Elapsed CPU time: 104.156 s Remaining CPU time: 75.8438 s c =============================================================================== c | 68 | 800 1546 525300 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2957 c Elapsed CPU time: 104.454 s Remaining CPU time: 75.5459 s c =============================================================================== c | 68 | 800 1547 526000 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2956 c Elapsed CPU time: 104.731 s Remaining CPU time: 75.2689 s c =============================================================================== c | 68 | 800 1548 526700 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2955 c Elapsed CPU time: 104.998 s Remaining CPU time: 75.002 s c =============================================================================== c | 68 | 800 1549 527400 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2954 c Elapsed CPU time: 105.257 s Remaining CPU time: 74.743 s c =============================================================================== c | 68 | 800 1550 528100 | 5000 68 138 | 0.000 % | c =============================================================================== c New solution: 2953 c Elapsed CPU time: 105.553 s Remaining CPU time: 74.447 s c =============================================================================== c | 70 | 800 1551 528800 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 2952 c Elapsed CPU time: 105.829 s Remaining CPU time: 74.1711 s c =============================================================================== c | 70 | 800 1552 529500 | 5000 70 149 | 0.000 % | c =============================================================================== c New solution: 2951 c Elapsed CPU time: 106.102 s Remaining CPU time: 73.8981 s c =============================================================================== c | 72 | 800 1553 530200 | 5000 72 153 | 0.000 % | c =============================================================================== c New solution: 2950 c Elapsed CPU time: 106.381 s Remaining CPU time: 73.6192 s c =============================================================================== c | 72 | 800 1554 530900 | 5000 72 153 | 0.000 % | c =============================================================================== c New solution: 2949 c Elapsed CPU time: 106.651 s Remaining CPU time: 73.3492 s c =============================================================================== c | 74 | 800 1555 531600 | 5000 74 150 | 0.000 % | c =============================================================================== c New solution: 2948 c Elapsed CPU time: 106.95 s Remaining CPU time: 73.0503 s c =============================================================================== c | 76 | 800 1556 532300 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2947 c Elapsed CPU time: 107.234 s Remaining CPU time: 72.7663 s c =============================================================================== c | 76 | 800 1557 533000 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2946 c Elapsed CPU time: 107.509 s Remaining CPU time: 72.4913 s c =============================================================================== c | 76 | 800 1558 533700 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2945 c Elapsed CPU time: 107.783 s Remaining CPU time: 72.2174 s c =============================================================================== c | 76 | 800 1559 534400 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2944 c Elapsed CPU time: 108.065 s Remaining CPU time: 71.9354 s c =============================================================================== c | 76 | 800 1560 535100 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2943 c Elapsed CPU time: 108.333 s Remaining CPU time: 71.6675 s c =============================================================================== c | 76 | 800 1561 535800 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2942 c Elapsed CPU time: 108.606 s Remaining CPU time: 71.3935 s c =============================================================================== c | 76 | 800 1562 536500 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2941 c Elapsed CPU time: 108.884 s Remaining CPU time: 71.1156 s c =============================================================================== c | 76 | 800 1563 537200 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2940 c Elapsed CPU time: 109.158 s Remaining CPU time: 70.8416 s c =============================================================================== c | 76 | 800 1564 537900 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2939 c Elapsed CPU time: 109.432 s Remaining CPU time: 70.5676 s c =============================================================================== c | 76 | 800 1565 538600 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2938 c Elapsed CPU time: 109.708 s Remaining CPU time: 70.2917 s c =============================================================================== c | 76 | 800 1566 539300 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2937 c Elapsed CPU time: 109.973 s Remaining CPU time: 70.0267 s c =============================================================================== c | 76 | 800 1567 540000 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2936 c Elapsed CPU time: 110.242 s Remaining CPU time: 69.7578 s c =============================================================================== c | 76 | 800 1568 540700 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2935 c Elapsed CPU time: 110.521 s Remaining CPU time: 69.4788 s c =============================================================================== c | 76 | 800 1569 541400 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2934 c Elapsed CPU time: 110.807 s Remaining CPU time: 69.1928 s c =============================================================================== c | 76 | 800 1570 542100 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2933 c Elapsed CPU time: 111.095 s Remaining CPU time: 68.9049 s c =============================================================================== c | 76 | 800 1571 542800 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2932 c Elapsed CPU time: 111.372 s Remaining CPU time: 68.6279 s c =============================================================================== c | 76 | 800 1572 543500 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2931 c Elapsed CPU time: 111.653 s Remaining CPU time: 68.347 s c =============================================================================== c | 76 | 800 1573 544200 | 5000 76 160 | 0.000 % | c =============================================================================== c New solution: 2930 c Elapsed CPU time: 111.931 s Remaining CPU time: 68.069 s c =============================================================================== c | 77 | 800 1574 544900 | 5000 77 158 | 0.000 % | c =============================================================================== c New solution: 2929 c Elapsed CPU time: 112.211 s Remaining CPU time: 67.7891 s c =============================================================================== c | 77 | 800 1575 545600 | 5000 77 158 | 0.000 % | c =============================================================================== c New solution: 2928 c Elapsed CPU time: 112.499 s Remaining CPU time: 67.5011 s c =============================================================================== c | 77 | 800 1576 546300 | 5000 77 158 | 0.000 % | c =============================================================================== c New solution: 2927 c Elapsed CPU time: 112.786 s Remaining CPU time: 67.2141 s c =============================================================================== c | 77 | 800 1577 547000 | 5000 77 158 | 0.000 % | c =============================================================================== c New solution: 2926 c Elapsed CPU time: 113.052 s Remaining CPU time: 66.9482 s c =============================================================================== c | 77 | 800 1578 547700 | 5000 77 158 | 0.000 % | c =============================================================================== c New solution: 2925 c Elapsed CPU time: 113.333 s Remaining CPU time: 66.6672 s c =============================================================================== c | 78 | 800 1579 548400 | 5000 78 156 | 0.000 % | c =============================================================================== c New solution: 2924 c Elapsed CPU time: 113.615 s Remaining CPU time: 66.3853 s c =============================================================================== c | 78 | 800 1580 549100 | 5000 78 156 | 0.000 % | c =============================================================================== c New solution: 2923 c Elapsed CPU time: 113.899 s Remaining CPU time: 66.1013 s c =============================================================================== c | 78 | 800 1581 549800 | 5000 78 156 | 0.000 % | c =============================================================================== c New solution: 2922 c Elapsed CPU time: 114.175 s Remaining CPU time: 65.8254 s c =============================================================================== c | 78 | 800 1582 550500 | 5000 78 156 | 0.000 % | c =============================================================================== c New solution: 2921 c Elapsed CPU time: 114.478 s Remaining CPU time: 65.5224 s c =============================================================================== c | 80 | 800 1583 551200 | 5000 80 159 | 0.000 % | c =============================================================================== c New solution: 2920 c Elapsed CPU time: 114.763 s Remaining CPU time: 65.2374 s c =============================================================================== c | 80 | 800 1584 551900 | 5000 80 159 | 0.000 % | c =============================================================================== c New solution: 2919 c Elapsed CPU time: 115.047 s Remaining CPU time: 64.9535 s c =============================================================================== c | 81 | 800 1585 552600 | 5000 81 157 | 0.000 % | c =============================================================================== c New solution: 2918 c Elapsed CPU time: 115.317 s Remaining CPU time: 64.6825 s c =============================================================================== c | 81 | 800 1586 553300 | 5000 81 157 | 0.000 % | c =============================================================================== c New solution: 2917 c Elapsed CPU time: 115.611 s Remaining CPU time: 64.3886 s c =============================================================================== c | 81 | 800 1587 554000 | 5000 81 157 | 0.000 % | c =============================================================================== c New solution: 2916 c Elapsed CPU time: 115.902 s Remaining CPU time: 64.0976 s c =============================================================================== c | 83 | 800 1588 554700 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2915 c Elapsed CPU time: 116.173 s Remaining CPU time: 63.8267 s c =============================================================================== c | 83 | 800 1589 555400 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2914 c Elapsed CPU time: 116.47 s Remaining CPU time: 63.5297 s c =============================================================================== c | 83 | 800 1590 556100 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2913 c Elapsed CPU time: 116.761 s Remaining CPU time: 63.2388 s c =============================================================================== c | 83 | 800 1591 556800 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2912 c Elapsed CPU time: 117.037 s Remaining CPU time: 62.9628 s c =============================================================================== c | 83 | 800 1592 557500 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2911 c Elapsed CPU time: 117.329 s Remaining CPU time: 62.6708 s c =============================================================================== c | 83 | 800 1593 558200 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2910 c Elapsed CPU time: 117.623 s Remaining CPU time: 62.3769 s c =============================================================================== c | 83 | 800 1594 558900 | 5000 83 154 | 0.000 % | c =============================================================================== c New solution: 2909 c Elapsed CPU time: 117.913 s Remaining CPU time: 62.0869 s c =============================================================================== c | 84 | 800 1595 559600 | 5000 84 152 | 0.000 % | c =============================================================================== c New solution: 2908 c Elapsed CPU time: 118.212 s Remaining CPU time: 61.788 s c =============================================================================== c | 84 | 800 1596 560300 | 5000 84 152 | 0.000 % | c =============================================================================== c New solution: 2907 c Elapsed CPU time: 118.499 s Remaining CPU time: 61.501 s c =============================================================================== c | 85 | 800 1597 561000 | 5000 85 150 | 0.000 % | c =============================================================================== c New solution: 2906 c Elapsed CPU time: 118.795 s Remaining CPU time: 61.2051 s c =============================================================================== c | 85 | 800 1598 561700 | 5000 85 150 | 0.000 % | c =============================================================================== c New solution: 2905 c Elapsed CPU time: 119.087 s Remaining CPU time: 60.9131 s c =============================================================================== c | 85 | 800 1599 562400 | 5000 85 150 | 0.000 % | c =============================================================================== c New solution: 2904 c Elapsed CPU time: 119.377 s Remaining CPU time: 60.6231 s c =============================================================================== c | 85 | 800 1600 563100 | 5000 85 150 | 0.000 % | c =============================================================================== c New solution: 2903 c Elapsed CPU time: 119.68 s Remaining CPU time: 60.3202 s c =============================================================================== c | 85 | 800 1601 563800 | 5000 85 150 | 0.000 % | c =============================================================================== c New solution: 2902 c Elapsed CPU time: 119.995 s Remaining CPU time: 60.0052 s c =============================================================================== c | 85 | 800 1602 564500 | 5000 85 150 | 0.000 % | c =============================================================================== c New solution: 2901 c Elapsed CPU time: 120.287 s Remaining CPU time: 59.7133 s c =============================================================================== c | 85 | 800 1603 565200 | 5000 85 150 | 0.000 % | c =============================================================================== c New solution: 2900 c Elapsed CPU time: 120.575 s Remaining CPU time: 59.4253 s c =============================================================================== c | 85 | 800 1604 565900 | 5000 85 150 | 0.000 % | c =============================================================================== c New solution: 2899 c Elapsed CPU time: 120.874 s Remaining CPU time: 59.1264 s c =============================================================================== c | 85 | 800 1605 566600 | 5000 85 150 | 0.000 % | c =============================================================================== c New solution: 2898 c Elapsed CPU time: 121.172 s Remaining CPU time: 58.8284 s c =============================================================================== c | 86 | 800 1606 567300 | 5000 86 149 | 0.000 % | c =============================================================================== c New solution: 2897 c Elapsed CPU time: 121.453 s Remaining CPU time: 58.5475 s c =============================================================================== c | 86 | 800 1607 568000 | 5000 86 149 | 0.000 % | c =============================================================================== c New solution: 2896 c Elapsed CPU time: 121.756 s Remaining CPU time: 58.2435 s c =============================================================================== c | 90 | 800 1608 568700 | 5000 90 143 | 0.000 % | c =============================================================================== c New solution: 2895 c Elapsed CPU time: 122.05 s Remaining CPU time: 57.9496 s c =============================================================================== c | 90 | 800 1609 569400 | 5000 90 143 | 0.000 % | c =============================================================================== c New solution: 2894 c Elapsed CPU time: 122.373 s Remaining CPU time: 57.6266 s c =============================================================================== c | 95 | 800 1610 570100 | 5000 95 158 | 0.000 % | c =============================================================================== c New solution: 2893 c Elapsed CPU time: 122.68 s Remaining CPU time: 57.3197 s c =============================================================================== c | 96 | 800 1611 570800 | 5000 96 162 | 0.000 % | c =============================================================================== c New solution: 2892 c Elapsed CPU time: 122.987 s Remaining CPU time: 57.0127 s c =============================================================================== c | 96 | 800 1612 571500 | 5000 96 162 | 0.000 % | c =============================================================================== c New solution: 2891 c Elapsed CPU time: 123.285 s Remaining CPU time: 56.7147 s c =============================================================================== c | 97 | 800 1613 572200 | 5000 97 160 | 0.000 % | c =============================================================================== c New solution: 2890 c Elapsed CPU time: 123.565 s Remaining CPU time: 56.4348 s c =============================================================================== c | 97 | 800 1614 572900 | 5000 97 160 | 0.000 % | c =============================================================================== c New solution: 2889 c Elapsed CPU time: 123.882 s Remaining CPU time: 56.1178 s c =============================================================================== c | 97 | 800 1615 573600 | 5000 97 160 | 0.000 % | c =============================================================================== c New solution: 2888 c Elapsed CPU time: 124.189 s Remaining CPU time: 55.8109 s c =============================================================================== c | 97 | 800 1616 574300 | 5000 97 160 | 0.000 % | c =============================================================================== c New solution: 2887 c Elapsed CPU time: 124.488 s Remaining CPU time: 55.5119 s c =============================================================================== c | 98 | 800 1617 575000 | 5000 98 164 | 0.000 % | c =============================================================================== c New solution: 2886 c Elapsed CPU time: 124.787 s Remaining CPU time: 55.213 s c =============================================================================== c | 98 | 800 1618 575700 | 5000 98 164 | 0.000 % | c =============================================================================== c New solution: 2885 c Elapsed CPU time: 125.062 s Remaining CPU time: 54.938 s c =============================================================================== c | 99 | 800 1619 576400 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2884 c Elapsed CPU time: 125.365 s Remaining CPU time: 54.6351 s c =============================================================================== c | 99 | 800 1620 577100 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2883 c Elapsed CPU time: 125.663 s Remaining CPU time: 54.3371 s c =============================================================================== c | 99 | 800 1621 577800 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2882 c Elapsed CPU time: 125.961 s Remaining CPU time: 54.0391 s c =============================================================================== c | 99 | 800 1622 578500 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2881 c Elapsed CPU time: 126.265 s Remaining CPU time: 53.7352 s c =============================================================================== c | 99 | 800 1623 579200 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2880 c Elapsed CPU time: 126.568 s Remaining CPU time: 53.4322 s c =============================================================================== c | 99 | 800 1624 579900 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2879 c Elapsed CPU time: 126.861 s Remaining CPU time: 53.1393 s c =============================================================================== c | 99 | 800 1625 580600 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2878 c Elapsed CPU time: 127.146 s Remaining CPU time: 52.8543 s c =============================================================================== c | 99 | 800 1626 581300 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2877 c Elapsed CPU time: 127.451 s Remaining CPU time: 52.5494 s c =============================================================================== c | 99 | 800 1627 582000 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2876 c Elapsed CPU time: 127.767 s Remaining CPU time: 52.2334 s c =============================================================================== c | 99 | 800 1628 582700 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2875 c Elapsed CPU time: 128.069 s Remaining CPU time: 51.9315 s c =============================================================================== c | 99 | 800 1629 583400 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2874 c Elapsed CPU time: 128.38 s Remaining CPU time: 51.6195 s c =============================================================================== c | 99 | 800 1630 584100 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2873 c Elapsed CPU time: 128.669 s Remaining CPU time: 51.3306 s c =============================================================================== c | 99 | 800 1631 584800 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2872 c Elapsed CPU time: 128.982 s Remaining CPU time: 51.0176 s c =============================================================================== c | 99 | 800 1632 585500 | 5000 99 163 | 0.000 % | c =============================================================================== c New solution: 2871 c Elapsed CPU time: 129.268 s Remaining CPU time: 50.7317 s c =============================================================================== c | 101 | 800 1633 586200 | 5000 101 160 | 0.000 % | c =============================================================================== c New solution: 2870 c Elapsed CPU time: 129.562 s Remaining CPU time: 50.4377 s c =============================================================================== c | 101 | 800 1634 586900 | 5000 101 160 | 0.000 % | c =============================================================================== c New solution: 2869 c Elapsed CPU time: 129.884 s Remaining CPU time: 50.1157 s c =============================================================================== c | 101 | 800 1635 587600 | 5000 101 160 | 0.000 % | c =============================================================================== c New solution: 2868 c Elapsed CPU time: 130.185 s Remaining CPU time: 49.8148 s c =============================================================================== c | 102 | 800 1636 588300 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2867 c Elapsed CPU time: 130.47 s Remaining CPU time: 49.5298 s c =============================================================================== c | 102 | 800 1637 589000 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2866 c Elapsed CPU time: 130.786 s Remaining CPU time: 49.2139 s c =============================================================================== c | 102 | 800 1638 589700 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2865 c Elapsed CPU time: 131.087 s Remaining CPU time: 48.9129 s c =============================================================================== c | 102 | 800 1639 590400 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2864 c Elapsed CPU time: 131.405 s Remaining CPU time: 48.595 s c =============================================================================== c | 102 | 800 1640 591100 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2863 c Elapsed CPU time: 131.713 s Remaining CPU time: 48.287 s c =============================================================================== c | 102 | 800 1641 591800 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2862 c Elapsed CPU time: 132.016 s Remaining CPU time: 47.9841 s c =============================================================================== c | 102 | 800 1642 592500 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2861 c Elapsed CPU time: 132.328 s Remaining CPU time: 47.6721 s c =============================================================================== c | 102 | 800 1643 593200 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2860 c Elapsed CPU time: 132.64 s Remaining CPU time: 47.3602 s c =============================================================================== c | 102 | 800 1644 593900 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2859 c Elapsed CPU time: 132.95 s Remaining CPU time: 47.0502 s c =============================================================================== c | 102 | 800 1645 594600 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2858 c Elapsed CPU time: 133.251 s Remaining CPU time: 46.7493 s c =============================================================================== c | 102 | 800 1646 595300 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2857 c Elapsed CPU time: 133.576 s Remaining CPU time: 46.4243 s c =============================================================================== c | 102 | 800 1647 596000 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2856 c Elapsed CPU time: 133.913 s Remaining CPU time: 46.0874 s c =============================================================================== c | 102 | 800 1648 596700 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2855 c Elapsed CPU time: 134.215 s Remaining CPU time: 45.7854 s c =============================================================================== c | 102 | 800 1649 597400 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2854 c Elapsed CPU time: 134.544 s Remaining CPU time: 45.4565 s c =============================================================================== c | 102 | 800 1650 598100 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2853 c Elapsed CPU time: 134.848 s Remaining CPU time: 45.1515 s c =============================================================================== c | 102 | 800 1651 598800 | 5000 102 158 | 0.000 % | c =============================================================================== c New solution: 2852 c Elapsed CPU time: 135.169 s Remaining CPU time: 44.8305 s c =============================================================================== c | 103 | 800 1652 599500 | 5000 103 157 | 0.000 % | c =============================================================================== c New solution: 2851 c Elapsed CPU time: 135.49 s Remaining CPU time: 44.5096 s c =============================================================================== c | 103 | 800 1653 600200 | 5000 103 157 | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 135.801 s Remaining CPU time: 44.1986 s c =============================================================================== c | 103 | 800 1654 600900 | 5000 103 157 | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 136.128 s Remaining CPU time: 43.8717 s c =============================================================================== c | 103 | 800 1655 601600 | 5000 103 157 | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 136.44 s Remaining CPU time: 43.5597 s c =============================================================================== c | 104 | 800 1656 602300 | 5000 104 155 | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 136.74 s Remaining CPU time: 43.2598 s c =============================================================================== c | 104 | 800 1657 603000 | 5000 104 155 | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 137.053 s Remaining CPU time: 42.9468 s c =============================================================================== c | 104 | 800 1658 603700 | 5000 104 155 | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 137.359 s Remaining CPU time: 42.6409 s c =============================================================================== c | 104 | 800 1659 604400 | 5000 104 155 | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 137.651 s Remaining CPU time: 42.3489 s c =============================================================================== c | 105 | 800 1660 605100 | 5000 105 154 | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 137.954 s Remaining CPU time: 42.046 s c =============================================================================== c | 105 | 800 1661 605800 | 5000 105 154 | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 138.262 s Remaining CPU time: 41.738 s c =============================================================================== c | 107 | 800 1662 606500 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 138.579 s Remaining CPU time: 41.4211 s c =============================================================================== c | 107 | 800 1663 607200 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 138.883 s Remaining CPU time: 41.1171 s c =============================================================================== c | 107 | 800 1664 607900 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 139.197 s Remaining CPU time: 40.8032 s c =============================================================================== c | 107 | 800 1665 608600 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 139.502 s Remaining CPU time: 40.4982 s c =============================================================================== c | 107 | 800 1666 609300 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2837 c Elapsed CPU time: 139.813 s Remaining CPU time: 40.1873 s c =============================================================================== c | 107 | 800 1667 610000 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 140.11 s Remaining CPU time: 39.8903 s c =============================================================================== c | 107 | 800 1668 610700 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 140.413 s Remaining CPU time: 39.5873 s c =============================================================================== c | 107 | 800 1669 611400 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 140.713 s Remaining CPU time: 39.2874 s c =============================================================================== c | 107 | 800 1670 612100 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 141.025 s Remaining CPU time: 38.9754 s c =============================================================================== c | 107 | 800 1671 612800 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 141.351 s Remaining CPU time: 38.6495 s c =============================================================================== c | 107 | 800 1672 613500 | 5000 107 151 | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 141.673 s Remaining CPU time: 38.3265 s c =============================================================================== c | 108 | 800 1673 614200 | 5000 108 150 | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 141.974 s Remaining CPU time: 38.0256 s c =============================================================================== c | 108 | 800 1674 614900 | 5000 108 150 | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 142.298 s Remaining CPU time: 37.7016 s c =============================================================================== c | 108 | 800 1675 615600 | 5000 108 150 | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 142.607 s Remaining CPU time: 37.3927 s c =============================================================================== c | 110 | 800 1676 616300 | 5000 110 147 | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 142.924 s Remaining CPU time: 37.0757 s c =============================================================================== c | 111 | 800 1677 617000 | 5000 111 146 | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 143.249 s Remaining CPU time: 36.7508 s c =============================================================================== c | 111 | 800 1678 617700 | 5000 111 146 | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 143.571 s Remaining CPU time: 36.4288 s c =============================================================================== c | 112 | 800 1679 618400 | 5000 112 145 | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 143.898 s Remaining CPU time: 36.1019 s c =============================================================================== c | 114 | 800 1680 619100 | 5000 114 151 | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 144.24 s Remaining CPU time: 35.7599 s c =============================================================================== c | 114 | 800 1681 619800 | 5000 114 151 | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 144.579 s Remaining CPU time: 35.421 s c =============================================================================== c | 115 | 800 1682 620500 | 5000 115 150 | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 144.888 s Remaining CPU time: 35.112 s c =============================================================================== c | 115 | 800 1683 621200 | 5000 115 150 | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 145.201 s Remaining CPU time: 34.7991 s c =============================================================================== c | 115 | 800 1684 621900 | 5000 115 150 | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 145.515 s Remaining CPU time: 34.4851 s c =============================================================================== c | 115 | 800 1685 622600 | 5000 115 150 | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 145.828 s Remaining CPU time: 34.1722 s c =============================================================================== c | 116 | 800 1686 623300 | 5000 116 149 | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 146.133 s Remaining CPU time: 33.8672 s c =============================================================================== c | 117 | 800 1687 624000 | 5000 117 148 | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 146.48 s Remaining CPU time: 33.5203 s c =============================================================================== c | 118 | 800 1688 624700 | 5000 118 147 | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 146.8 s Remaining CPU time: 33.2003 s c =============================================================================== c | 119 | 800 1689 625400 | 5000 119 146 | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 147.104 s Remaining CPU time: 32.8964 s c =============================================================================== c | 119 | 800 1690 626100 | 5000 119 146 | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 147.418 s Remaining CPU time: 32.5824 s c =============================================================================== c | 120 | 800 1691 626800 | 5000 120 144 | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 147.742 s Remaining CPU time: 32.2585 s c =============================================================================== c | 120 | 800 1692 627500 | 5000 120 144 | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 148.065 s Remaining CPU time: 31.9345 s c =============================================================================== c | 120 | 800 1693 628200 | 5000 120 144 | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 148.368 s Remaining CPU time: 31.6316 s c =============================================================================== c | 120 | 800 1694 628900 | 5000 120 144 | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 148.68 s Remaining CPU time: 31.3196 s c =============================================================================== c | 120 | 800 1695 629600 | 5000 120 144 | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 148.994 s Remaining CPU time: 31.0057 s c =============================================================================== c | 120 | 800 1696 630300 | 5000 120 144 | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 149.353 s Remaining CPU time: 30.6467 s c =============================================================================== c | 122 | 800 1697 631000 | 5000 122 151 | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 149.667 s Remaining CPU time: 30.3328 s c =============================================================================== c | 122 | 800 1698 631700 | 5000 122 151 | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 149.985 s Remaining CPU time: 30.0148 s c =============================================================================== c | 123 | 800 1699 632400 | 5000 123 150 | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 150.315 s Remaining CPU time: 29.6849 s c =============================================================================== c | 123 | 800 1700 633100 | 5000 123 150 | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 150.641 s Remaining CPU time: 29.3589 s c =============================================================================== c | 125 | 800 1701 633800 | 5000 125 147 | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 150.97 s Remaining CPU time: 29.03 s c =============================================================================== c | 126 | 800 1702 634500 | 5000 126 146 | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 151.293 s Remaining CPU time: 28.707 s c =============================================================================== c | 126 | 800 1703 635200 | 5000 126 146 | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 151.629 s Remaining CPU time: 28.3711 s c =============================================================================== c | 127 | 800 1704 635900 | 5000 127 149 | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 151.952 s Remaining CPU time: 28.0481 s c =============================================================================== c | 127 | 800 1705 636600 | 5000 127 149 | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 152.276 s Remaining CPU time: 27.7242 s c =============================================================================== c | 127 | 800 1706 637300 | 5000 127 149 | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 152.598 s Remaining CPU time: 27.4022 s c =============================================================================== c | 127 | 800 1707 638000 | 5000 127 149 | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 152.907 s Remaining CPU time: 27.0932 s c =============================================================================== c | 127 | 800 1708 638700 | 5000 127 149 | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 153.234 s Remaining CPU time: 26.7663 s c =============================================================================== c | 127 | 800 1709 639400 | 5000 127 149 | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 153.546 s Remaining CPU time: 26.4543 s c =============================================================================== c | 127 | 800 1710 640100 | 5000 127 149 | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 153.881 s Remaining CPU time: 26.1194 s c =============================================================================== c | 128 | 800 1711 640800 | 5000 128 148 | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 154.199 s Remaining CPU time: 25.8014 s c =============================================================================== c | 128 | 800 1712 641500 | 5000 128 148 | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 154.518 s Remaining CPU time: 25.4825 s c =============================================================================== c | 128 | 800 1713 642200 | 5000 128 148 | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 154.838 s Remaining CPU time: 25.1615 s c =============================================================================== c | 128 | 800 1714 642900 | 5000 128 148 | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 155.146 s Remaining CPU time: 24.8536 s c =============================================================================== c | 128 | 800 1715 643600 | 5000 128 148 | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 155.465 s Remaining CPU time: 24.5346 s c =============================================================================== c | 128 | 800 1716 644300 | 5000 128 148 | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 155.78 s Remaining CPU time: 24.2197 s c =============================================================================== c | 132 | 800 1717 645000 | 5000 132 144 | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 156.118 s Remaining CPU time: 23.8817 s c =============================================================================== c | 132 | 800 1718 645700 | 5000 132 144 | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 156.426 s Remaining CPU time: 23.5738 s c =============================================================================== c | 132 | 800 1719 646400 | 5000 132 144 | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 156.779 s Remaining CPU time: 23.2208 s c =============================================================================== c | 137 | 800 1720 647100 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 157.099 s Remaining CPU time: 22.9009 s c =============================================================================== c | 137 | 800 1721 647800 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 157.411 s Remaining CPU time: 22.5889 s c =============================================================================== c | 137 | 800 1722 648500 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 157.729 s Remaining CPU time: 22.271 s c =============================================================================== c | 137 | 800 1723 649200 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 158.061 s Remaining CPU time: 21.939 s c =============================================================================== c | 137 | 800 1724 649900 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 158.387 s Remaining CPU time: 21.6131 s c =============================================================================== c | 137 | 800 1725 650600 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 158.704 s Remaining CPU time: 21.2961 s c =============================================================================== c | 137 | 800 1726 651300 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 159.031 s Remaining CPU time: 20.9692 s c =============================================================================== c | 137 | 800 1727 652000 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 159.354 s Remaining CPU time: 20.6462 s c =============================================================================== c | 137 | 800 1728 652700 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 159.668 s Remaining CPU time: 20.3323 s c =============================================================================== c | 137 | 800 1729 653400 | 5000 137 151 | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 159.987 s Remaining CPU time: 20.0133 s c =============================================================================== c | 138 | 800 1730 654100 | 5000 138 150 | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 160.311 s Remaining CPU time: 19.6894 s c =============================================================================== c | 138 | 800 1731 654800 | 5000 138 150 | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 160.652 s Remaining CPU time: 19.3484 s c =============================================================================== c | 138 | 800 1732 655500 | 5000 138 150 | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 160.984 s Remaining CPU time: 19.0165 s c =============================================================================== c | 138 | 800 1733 656200 | 5000 138 150 | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 161.306 s Remaining CPU time: 18.6935 s c =============================================================================== c | 138 | 800 1734 656900 | 5000 138 150 | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 161.614 s Remaining CPU time: 18.3856 s c =============================================================================== c | 139 | 800 1735 657600 | 5000 139 149 | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 161.933 s Remaining CPU time: 18.0666 s c =============================================================================== c | 139 | 800 1736 658300 | 5000 139 149 | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 162.256 s Remaining CPU time: 17.7437 s c =============================================================================== c | 139 | 800 1737 659000 | 5000 139 149 | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 162.574 s Remaining CPU time: 17.4257 s c =============================================================================== c | 139 | 800 1738 659700 | 5000 139 149 | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 162.883 s Remaining CPU time: 17.1168 s c =============================================================================== c | 139 | 800 1739 660400 | 5000 139 149 | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 163.2 s Remaining CPU time: 16.7998 s c =============================================================================== c | 140 | 800 1740 661100 | 5000 140 148 | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 163.527 s Remaining CPU time: 16.4729 s c =============================================================================== c | 140 | 800 1741 661800 | 5000 140 148 | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 163.857 s Remaining CPU time: 16.1429 s c =============================================================================== c | 141 | 800 1742 662500 | 5000 141 147 | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 164.199 s Remaining CPU time: 15.801 s c =============================================================================== c | 141 | 800 1743 663200 | 5000 141 147 | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 164.536 s Remaining CPU time: 15.464 s c =============================================================================== c | 141 | 800 1744 663900 | 5000 141 147 | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 164.867 s Remaining CPU time: 15.1331 s c =============================================================================== c | 141 | 800 1745 664600 | 5000 141 147 | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 165.2 s Remaining CPU time: 14.8001 s c =============================================================================== c | 141 | 800 1746 665300 | 5000 141 147 | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 165.527 s Remaining CPU time: 14.4732 s c =============================================================================== c | 141 | 800 1747 666000 | 5000 141 147 | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 165.84 s Remaining CPU time: 14.1602 s c =============================================================================== c | 142 | 800 1748 666700 | 5000 142 146 | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 166.161 s Remaining CPU time: 13.8393 s c =============================================================================== c | 142 | 800 1749 667400 | 5000 142 146 | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 166.482 s Remaining CPU time: 13.5183 s c =============================================================================== c | 143 | 800 1750 668100 | 5000 143 145 | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 166.821 s Remaining CPU time: 13.1794 s c =============================================================================== c | 143 | 800 1751 668800 | 5000 143 145 | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 167.162 s Remaining CPU time: 12.8384 s c =============================================================================== c | 143 | 800 1752 669500 | 5000 143 145 | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 167.472 s Remaining CPU time: 12.5285 s c =============================================================================== c | 143 | 800 1753 670200 | 5000 143 145 | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 167.779 s Remaining CPU time: 12.2205 s c =============================================================================== c | 143 | 800 1754 670900 | 5000 143 145 | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 168.121 s Remaining CPU time: 11.8786 s c =============================================================================== c | 145 | 800 1755 671600 | 5000 145 143 | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 168.458 s Remaining CPU time: 11.5416 s c =============================================================================== c | 145 | 800 1756 672300 | 5000 145 143 | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 168.776 s Remaining CPU time: 11.2237 s c =============================================================================== c | 145 | 800 1757 673000 | 5000 145 143 | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 169.093 s Remaining CPU time: 10.9067 s c =============================================================================== c | 145 | 800 1758 673700 | 5000 145 143 | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 169.434 s Remaining CPU time: 10.5658 s c =============================================================================== c | 145 | 800 1759 674400 | 5000 145 143 | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 169.756 s Remaining CPU time: 10.2438 s c =============================================================================== c | 145 | 800 1760 675100 | 5000 145 143 | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 170.092 s Remaining CPU time: 9.90786 s c =============================================================================== c | 145 | 800 1761 675800 | 5000 145 143 | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 170.412 s Remaining CPU time: 9.58791 s c =============================================================================== c | 145 | 800 1762 676500 | 5000 145 143 | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 170.75 s Remaining CPU time: 9.24996 s c =============================================================================== c | 146 | 800 1763 677200 | 5000 146 142 | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 171.073 s Remaining CPU time: 8.92701 s c =============================================================================== c | 146 | 800 1764 677900 | 5000 146 142 | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 171.427 s Remaining CPU time: 8.57306 s c =============================================================================== c | 147 | 800 1765 678600 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 171.761 s Remaining CPU time: 8.23911 s c =============================================================================== c | 147 | 800 1766 679300 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 172.098 s Remaining CPU time: 7.90216 s c =============================================================================== c | 147 | 800 1767 680000 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 172.423 s Remaining CPU time: 7.57721 s c =============================================================================== c | 147 | 800 1768 680700 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 172.764 s Remaining CPU time: 7.23627 s c =============================================================================== c | 147 | 800 1769 681400 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 173.12 s Remaining CPU time: 6.88032 s c =============================================================================== c | 147 | 800 1770 682100 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 173.476 s Remaining CPU time: 6.52437 s c =============================================================================== c | 147 | 800 1771 682800 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 173.803 s Remaining CPU time: 6.19742 s c =============================================================================== c | 147 | 800 1772 683500 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 174.15 s Remaining CPU time: 5.85047 s c =============================================================================== c | 147 | 800 1773 684200 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 174.493 s Remaining CPU time: 5.50653 s c =============================================================================== c | 147 | 800 1774 684900 | 5000 147 144 | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 174.853 s Remaining CPU time: 5.14658 s c =============================================================================== c | 148 | 800 1775 685600 | 5000 148 144 | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 175.195 s Remaining CPU time: 4.80463 s c =============================================================================== c | 148 | 800 1776 686300 | 5000 148 144 | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 175.537 s Remaining CPU time: 4.46269 s c =============================================================================== c | 148 | 800 1777 687000 | 5000 148 144 | 0.000 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 175.893 s Remaining CPU time: 4.10674 s c =============================================================================== c | 149 | 800 1778 687700 | 5000 149 146 | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 176.221 s Remaining CPU time: 3.77879 s c =============================================================================== c | 149 | 800 1779 688400 | 5000 149 146 | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 176.571 s Remaining CPU time: 3.42884 s c =============================================================================== c | 150 | 800 1780 689100 | 5000 150 145 | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 176.901 s Remaining CPU time: 3.09889 s c =============================================================================== c | 150 | 800 1781 689800 | 5000 150 145 | 0.000 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 177.238 s Remaining CPU time: 2.76194 s c =============================================================================== c | 150 | 800 1782 690500 | 5000 150 145 | 0.000 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 177.566 s Remaining CPU time: 2.434 s c =============================================================================== c | 150 | 800 1783 691200 | 5000 150 145 | 0.000 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 177.896 s Remaining CPU time: 2.10405 s c =============================================================================== c | 150 | 800 1784 691900 | 5000 150 145 | 0.000 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 178.255 s Remaining CPU time: 1.7451 s c =============================================================================== c | 150 | 800 1785 692600 | 5000 150 145 | 0.000 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 178.585 s Remaining CPU time: 1.41515 s c =============================================================================== c | 150 | 800 1786 693300 | 5000 150 145 | 0.000 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 178.918 s Remaining CPU time: 1.0822 s c =============================================================================== c | 154 | 800 1787 694000 | 5000 154 145 | 0.000 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 179.26 s Remaining CPU time: 0.740252 s c =============================================================================== c | 156 | 800 1788 694700 | 5000 156 143 | 0.000 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 179.593 s Remaining CPU time: 0.407303 s c =============================================================================== c | 156 | 800 1789 695400 | 5000 156 143 | 0.000 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 179.929 s Remaining CPU time: 0.071354 s c =============================================================================== c | 156 | 800 1790 696100 | 5000 156 143 | 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 2492 3103 | 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 | 356 2699 3384 | 5000 0 nan | 0.000 % | c | 100 | 355 2699 3384 | 5500 100 38 | 65.568 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 687 2953 3794 | 5000 0 nan | 0.000 % | c | 100 | 684 2953 3794 | 5500 37 22 | 48.834 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 944 3140 4133 | 5000 0 nan | 0.000 % | c | 101 | 944 3140 4133 | 5500 101 38 | 39.448 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1297 3427 4578 | 5000 0 nan | 0.000 % | c | 102 | 1297 3427 4578 | 5500 102 39 | 31.194 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1665 3670 5157 | 5000 0 nan | 0.000 % | c | 102 | 1663 3670 5157 | 5500 12 21 | 24.887 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2009 3883 5815 | 5000 0 nan | 0.000 % | c | 101 | 2009 3883 5815 | 5500 101 46 | 20.214 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2402 4138 6562 | 5000 0 nan | 0.000 % | c | 100 | 2402 4138 6562 | 5500 100 45 | 16.190 % | c | 250 | 2397 4138 6562 | 6050 38 11 | 16.364 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2901 4417 7600 | 5000 0 nan | 0.000 % | c | 100 | 2901 4417 7600 | 5500 100 65 | 12.541 % | c | 250 | 2901 4417 7600 | 6050 250 43 | 12.542 % | c | 475 | 2897 4417 7600 | 6655 176 45 | 12.662 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3520 4708 8955 | 5000 0 nan | 0.000 % | c | 101 | 3520 4708 8955 | 5500 101 34 | 9.208 % | c | 251 | 3520 4708 8955 | 6050 251 29 | 9.208 % | c | 476 | 3520 4708 8955 | 6655 476 46 | 9.208 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4339 4971 10952 | 5000 0 nan | 0.000 % | c | 101 | 4339 4971 10952 | 5500 101 26 | 6.184 % | c | 252 | 4339 4971 10952 | 6050 252 29 | 6.184 % | c | 478 | 4339 4971 10952 | 6655 478 34 | 6.184 % | c | 815 | 4338 4971 10952 | 7320 542 36 | 6.205 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5278 5186 13212 | 5000 0 nan | 0.000 % | c | 100 | 5278 5186 13212 | 5500 100 26 | 4.106 % | c | 250 | 5278 5186 13212 | 6050 250 24 | 4.106 % | c | 477 | 5278 5186 13212 | 6655 477 32 | 4.106 % | c | 816 | 5278 5186 13212 | 7320 816 31 | 4.106 % | c | 1322 | 5278 5186 13212 | 8052 1322 32 | 4.106 % | c | 2082 | 5278 5186 13212 | 8857 2082 33 | 4.106 % | c | 3221 | 5277 5186 13212 | 9743 1991 27 | 4.124 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6853 5352 16874 | 5000 0 nan | 0.000 % | c | 100 | 6853 5352 16874 | 5500 100 58 | 2.379 % | c | 250 | 6853 5352 16874 | 6050 250 34 | 2.379 % | c | 476 | 6853 5352 16874 | 6655 476 28 | 2.379 % | c | 813 | 6853 5352 16874 | 7320 813 23 | 2.379 % | c | 1319 | 6853 5352 16874 | 8052 1319 26 | 2.379 % | c | 2078 | 6853 5352 16874 | 8857 2078 28 | 2.379 % | c | 3218 | 6853 5352 16874 | 9743 3218 30 | 2.379 % | c | 4927 | 6853 5352 16874 | 10717 4927 34 | 2.379 % | c | 7491 | 6853 5352 16874 | 11789 7491 35 | 2.379 % | c | 11336 | 6853 5352 16874 | 12968 11336 43 | 2.379 % | c | 17103 | 6853 5352 16874 | 14265 10517 55 | 2.379 % | c | 25752 | 6853 5352 16874 | 15692 11924 53 | 2.379 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9282 5459 112011 | 5000 0 nan | 0.000 % | c | 100 | 9282 5459 112011 | 5500 100 53 | 1.129 % | c | 251 | 9282 5459 112011 | 6050 251 29 | 1.129 % | c | 476 | 9282 5459 112011 | 6655 476 36 | 1.129 % | c | 813 | 9282 5459 112011 | 7320 813 47 | 1.129 % | c | 1320 | 9282 5459 112011 | 8052 1320 56 | 1.129 % | c | 2081 | 9282 5459 112011 | 8857 2081 42 | 1.129 % | c | 3220 | 9282 5459 112011 | 9743 3220 44 | 1.129 % | c | 4929 | 9282 5459 112011 | 10717 4929 74 | 1.129 % | c | 7491 | 9282 5459 112011 | 11789 7491 79 | 1.129 % | c | 11335 | 9282 5459 112011 | 12968 11335 74 | 1.129 % | c | 17102 | 9282 5459 112011 | 14265 10536 58 | 1.129 % | c | 25752 | 9282 5459 112011 | 15692 11123 91 | 1.129 % | c | 38726 | 9282 5459 112011 | 17261 15705 63 | 1.129 % | c | 58187 | 9282 5459 112011 | 18987 9012 50 | 1.129 % | c | 87381 | 9281 5459 112011 | 20886 13813 25 | 1.140 % | c | 131171 | 9281 5459 112011 | 22974 15400 57 | 1.140 % | c | 196856 | 9280 5459 112011 | 25272 22874 22 | 1.150 % | c | 295383 | 9277 5459 112011 | 27799 22531 16 | 1.182 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12254 5524 366975 | 5000 0 nan | 0.000 % | c | 101 | 12254 5524 366975 | 5500 101 16 | 0.520 % | c | 251 | 12254 5524 366975 | 6050 251 12 | 0.520 % | c | 476 | 12254 5524 366975 | 6655 476 20 | 0.520 % | c | 813 | 12254 5524 366975 | 7320 813 17 | 0.520 % | c | 1319 | 12254 5524 366975 | 8052 1319 42 | 0.520 % | c | 2078 | 12254 5524 366975 | 8857 2078 45 | 0.520 % | c | 3217 | 12254 5524 366975 | 9743 3217 52 | 0.520 % | c | 4926 | 12254 5524 366975 | 10717 4926 78 | 0.520 % | c | 7489 | 12254 5524 366975 | 11789 7489 61 | 0.520 % | c | 11333 | 12254 5524 366975 | 12968 11333 110 | 0.520 % | c | 17099 | 12254 5524 366975 | 14265 10386 139 | 0.520 % | c | 25748 | 12254 5524 366975 | 15692 11495 120 | 0.520 % | c | 38723 | 12254 5524 366975 | 17261 8607 32 | 0.520 % | c | 58184 | 12254 5524 366975 | 18987 18716 133 | 0.520 % | c | 87376 | 12254 5524 366975 | 20886 19022 28 | 0.520 % | c | 131165 | 12253 5524 366975 | 22974 19442 49 | 0.528 % | c | 196852 | 12253 5524 366975 | 25272 22072 125 | 0.528 % | c | 295378 | 12253 5524 366975 | 27799 26062 110 | 0.528 % | c Memory used : 317.99 MB c CPU time : 1800 s c c Total CPU time: 1800 s