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: 3756 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 800 801 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3748 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 0 | 800 802 4500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3746 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 800 803 5200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3744 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 800 804 5900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3740 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 800 805 6600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3737 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 800 806 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3733 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 800 807 8000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3731 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 800 808 8700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3730 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 800 809 9400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3727 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 800 810 10100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3723 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 800 811 10800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3720 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 800 812 11500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3719 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 800 813 12200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3718 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 800 814 12900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3715 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 800 815 13600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3712 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 800 816 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3710 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 800 817 15000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3709 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 800 818 15700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3706 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 800 819 16400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3704 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 800 820 17100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3702 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 800 821 17800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3701 c Elapsed CPU time: 0.078987 s Remaining CPU time: 179.921 s c =============================================================================== c | 0 | 800 822 18500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3700 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 800 823 19200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3699 c Elapsed CPU time: 0.090986 s Remaining CPU time: 179.909 s c =============================================================================== c | 0 | 800 824 19900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3698 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 0 | 800 825 20600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3697 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 800 826 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3696 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 800 827 22000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3693 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 800 828 22700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3691 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 800 829 23400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3687 c Elapsed CPU time: 0.12598 s Remaining CPU time: 179.874 s c =============================================================================== c | 0 | 800 830 24100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3686 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 800 831 24800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3685 c Elapsed CPU time: 0.137979 s Remaining CPU time: 179.862 s c =============================================================================== c | 0 | 800 832 25500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3684 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 800 833 26200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3682 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 0 | 800 834 26900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3681 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s c =============================================================================== c | 0 | 800 835 27600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3678 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 0 | 800 836 28300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3675 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 800 837 29000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3674 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 800 838 29700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3672 c Elapsed CPU time: 0.180972 s Remaining CPU time: 179.819 s c =============================================================================== c | 0 | 800 839 30400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3670 c Elapsed CPU time: 0.186971 s Remaining CPU time: 179.813 s c =============================================================================== c | 0 | 800 840 31100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3669 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 800 841 31800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3666 c Elapsed CPU time: 0.201969 s Remaining CPU time: 179.798 s c =============================================================================== c | 0 | 800 842 32500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3662 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s c =============================================================================== c | 0 | 800 843 33200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3661 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 800 844 33900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3660 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 0 | 800 845 34600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3659 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 0 | 800 846 35300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3656 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 800 847 36000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3653 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 800 848 36700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3651 c Elapsed CPU time: 0.254961 s Remaining CPU time: 179.745 s c =============================================================================== c | 0 | 800 849 37400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3650 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 800 850 38100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3649 c Elapsed CPU time: 0.272958 s Remaining CPU time: 179.727 s c =============================================================================== c | 0 | 800 851 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3648 c Elapsed CPU time: 0.280957 s Remaining CPU time: 179.719 s c =============================================================================== c | 0 | 800 852 39500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3647 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 800 853 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3642 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s c =============================================================================== c | 0 | 800 854 40900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3641 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 800 855 41600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3640 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 800 856 42300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3639 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 0 | 800 857 43000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3637 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 0 | 800 858 43700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3636 c Elapsed CPU time: 0.349946 s Remaining CPU time: 179.65 s c =============================================================================== c | 0 | 800 859 44400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3634 c Elapsed CPU time: 0.359945 s Remaining CPU time: 179.64 s c =============================================================================== c | 0 | 800 860 45100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3633 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 0 | 800 861 45800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3632 c Elapsed CPU time: 0.382941 s Remaining CPU time: 179.617 s c =============================================================================== c | 0 | 800 862 46500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3631 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s c =============================================================================== c | 0 | 800 863 47200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3628 c Elapsed CPU time: 0.403938 s Remaining CPU time: 179.596 s c =============================================================================== c | 0 | 800 864 47900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3626 c Elapsed CPU time: 0.416936 s Remaining CPU time: 179.583 s c =============================================================================== c | 0 | 800 865 48600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3622 c Elapsed CPU time: 0.428934 s Remaining CPU time: 179.571 s c =============================================================================== c | 0 | 800 866 49300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3621 c Elapsed CPU time: 0.442932 s Remaining CPU time: 179.557 s c =============================================================================== c | 0 | 800 867 50000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3620 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 0 | 800 868 50700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3618 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 800 869 51400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3616 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 0 | 800 870 52100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3615 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 0 | 800 871 52800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3612 c Elapsed CPU time: 0.508922 s Remaining CPU time: 179.491 s c =============================================================================== c | 0 | 800 872 53500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3609 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 0 | 800 873 54200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3608 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 0 | 800 874 54900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3603 c Elapsed CPU time: 0.555915 s Remaining CPU time: 179.444 s c =============================================================================== c | 0 | 800 875 55600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3601 c Elapsed CPU time: 0.569913 s Remaining CPU time: 179.43 s c =============================================================================== c | 0 | 800 876 56300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3600 c Elapsed CPU time: 0.584911 s Remaining CPU time: 179.415 s c =============================================================================== c | 0 | 800 877 57000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3596 c Elapsed CPU time: 0.598908 s Remaining CPU time: 179.401 s c =============================================================================== c | 0 | 800 878 57700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3592 c Elapsed CPU time: 0.615906 s Remaining CPU time: 179.384 s c =============================================================================== c | 0 | 800 879 58400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3587 c Elapsed CPU time: 0.632903 s Remaining CPU time: 179.367 s c =============================================================================== c | 0 | 800 880 59100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3585 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 0 | 800 881 59800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3584 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 0 | 800 882 60500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3583 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 0 | 800 883 61200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3581 c Elapsed CPU time: 0.700893 s Remaining CPU time: 179.299 s c =============================================================================== c | 0 | 800 884 61900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3580 c Elapsed CPU time: 0.71789 s Remaining CPU time: 179.282 s c =============================================================================== c | 0 | 800 885 62600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3579 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 0 | 800 886 63300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3578 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 0 | 800 887 64000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3577 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 0 | 800 888 64700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3574 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s c =============================================================================== c | 0 | 800 889 65400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3573 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 0 | 800 890 66100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3572 c Elapsed CPU time: 0.829873 s Remaining CPU time: 179.17 s c =============================================================================== c | 0 | 800 891 66800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3569 c Elapsed CPU time: 0.84887 s Remaining CPU time: 179.151 s c =============================================================================== c | 0 | 800 892 67500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3568 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 0 | 800 893 68200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3567 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 0 | 800 894 68900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3566 c Elapsed CPU time: 0.907861 s Remaining CPU time: 179.092 s c =============================================================================== c | 0 | 800 895 69600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3564 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 0 | 800 896 70300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3561 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 0 | 800 897 71000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3560 c Elapsed CPU time: 0.968852 s Remaining CPU time: 179.031 s c =============================================================================== c | 0 | 800 898 71700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3559 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 0 | 800 899 72400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3558 c Elapsed CPU time: 1.01285 s Remaining CPU time: 178.987 s c =============================================================================== c | 0 | 800 900 73100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3557 c Elapsed CPU time: 1.03484 s Remaining CPU time: 178.965 s c =============================================================================== c | 0 | 800 901 73800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3555 c Elapsed CPU time: 1.06084 s Remaining CPU time: 178.939 s c =============================================================================== c | 0 | 800 902 74500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3552 c Elapsed CPU time: 1.08683 s Remaining CPU time: 178.913 s c =============================================================================== c | 0 | 800 903 75200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3549 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 0 | 800 904 75900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3548 c Elapsed CPU time: 1.14083 s Remaining CPU time: 178.859 s c =============================================================================== c | 0 | 800 905 76600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3544 c Elapsed CPU time: 1.16682 s Remaining CPU time: 178.833 s c =============================================================================== c | 0 | 800 906 77300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3543 c Elapsed CPU time: 1.19582 s Remaining CPU time: 178.804 s c =============================================================================== c | 0 | 800 907 78000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3542 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s c =============================================================================== c | 0 | 800 908 78700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3541 c Elapsed CPU time: 1.25281 s Remaining CPU time: 178.747 s c =============================================================================== c | 0 | 800 909 79400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3540 c Elapsed CPU time: 1.2808 s Remaining CPU time: 178.719 s c =============================================================================== c | 0 | 800 910 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3537 c Elapsed CPU time: 1.3108 s Remaining CPU time: 178.689 s c =============================================================================== c | 0 | 800 911 80800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3534 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 0 | 800 912 81500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3533 c Elapsed CPU time: 1.37179 s Remaining CPU time: 178.628 s c =============================================================================== c | 0 | 800 913 82200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3531 c Elapsed CPU time: 1.40279 s Remaining CPU time: 178.597 s c =============================================================================== c | 0 | 800 914 82900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3530 c Elapsed CPU time: 1.43378 s Remaining CPU time: 178.566 s c =============================================================================== c | 0 | 800 915 83600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3529 c Elapsed CPU time: 1.46478 s Remaining CPU time: 178.535 s c =============================================================================== c | 0 | 800 916 84300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3528 c Elapsed CPU time: 1.49977 s Remaining CPU time: 178.5 s c =============================================================================== c | 0 | 800 917 85000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3526 c Elapsed CPU time: 1.53677 s Remaining CPU time: 178.463 s c =============================================================================== c | 0 | 800 918 85700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3524 c Elapsed CPU time: 1.57276 s Remaining CPU time: 178.427 s c =============================================================================== c | 0 | 800 919 86400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3522 c Elapsed CPU time: 1.60776 s Remaining CPU time: 178.392 s c =============================================================================== c | 0 | 800 920 87100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3521 c Elapsed CPU time: 1.64475 s Remaining CPU time: 178.355 s c =============================================================================== c | 0 | 800 921 87800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3518 c Elapsed CPU time: 1.67974 s Remaining CPU time: 178.32 s c =============================================================================== c | 0 | 800 922 88500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3515 c Elapsed CPU time: 1.71674 s Remaining CPU time: 178.283 s c =============================================================================== c | 0 | 800 923 89200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3513 c Elapsed CPU time: 1.75473 s Remaining CPU time: 178.245 s c =============================================================================== c | 0 | 800 924 89900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3512 c Elapsed CPU time: 1.79273 s Remaining CPU time: 178.207 s c =============================================================================== c | 0 | 800 925 90600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3507 c Elapsed CPU time: 1.83072 s Remaining CPU time: 178.169 s c =============================================================================== c | 0 | 800 926 91300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3505 c Elapsed CPU time: 1.86871 s Remaining CPU time: 178.131 s c =============================================================================== c | 0 | 800 927 92000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3504 c Elapsed CPU time: 1.90971 s Remaining CPU time: 178.09 s c =============================================================================== c | 0 | 800 928 92700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3503 c Elapsed CPU time: 1.9467 s Remaining CPU time: 178.053 s c =============================================================================== c | 0 | 800 929 93400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3502 c Elapsed CPU time: 1.9867 s Remaining CPU time: 178.013 s c =============================================================================== c | 0 | 800 930 94100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3500 c Elapsed CPU time: 2.02469 s Remaining CPU time: 177.975 s c =============================================================================== c | 0 | 800 931 94800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3498 c Elapsed CPU time: 2.06569 s Remaining CPU time: 177.934 s c =============================================================================== c | 0 | 800 932 95500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3497 c Elapsed CPU time: 2.10768 s Remaining CPU time: 177.892 s c =============================================================================== c | 0 | 800 933 96200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3496 c Elapsed CPU time: 2.14667 s Remaining CPU time: 177.853 s c =============================================================================== c | 0 | 800 934 96900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3495 c Elapsed CPU time: 2.18667 s Remaining CPU time: 177.813 s c =============================================================================== c | 0 | 800 935 97600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3493 c Elapsed CPU time: 2.22766 s Remaining CPU time: 177.772 s c =============================================================================== c | 0 | 800 936 98300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3492 c Elapsed CPU time: 2.27065 s Remaining CPU time: 177.729 s c =============================================================================== c | 0 | 800 937 99000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3488 c Elapsed CPU time: 2.30965 s Remaining CPU time: 177.69 s c =============================================================================== c | 0 | 800 938 99700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3486 c Elapsed CPU time: 2.35164 s Remaining CPU time: 177.648 s c =============================================================================== c | 0 | 800 939 100400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3483 c Elapsed CPU time: 2.39164 s Remaining CPU time: 177.608 s c =============================================================================== c | 0 | 800 940 101100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3482 c Elapsed CPU time: 2.43863 s Remaining CPU time: 177.561 s c =============================================================================== c | 0 | 800 941 101800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3480 c Elapsed CPU time: 2.48362 s Remaining CPU time: 177.516 s c =============================================================================== c | 0 | 800 942 102500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3479 c Elapsed CPU time: 2.52761 s Remaining CPU time: 177.472 s c =============================================================================== c | 0 | 800 943 103200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3478 c Elapsed CPU time: 2.56861 s Remaining CPU time: 177.431 s c =============================================================================== c | 0 | 800 944 103900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3477 c Elapsed CPU time: 2.6136 s Remaining CPU time: 177.386 s c =============================================================================== c | 0 | 800 945 104600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3476 c Elapsed CPU time: 2.6586 s Remaining CPU time: 177.341 s c =============================================================================== c | 0 | 800 946 105300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3474 c Elapsed CPU time: 2.70559 s Remaining CPU time: 177.294 s c =============================================================================== c | 0 | 800 947 106000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3472 c Elapsed CPU time: 2.74858 s Remaining CPU time: 177.251 s c =============================================================================== c | 0 | 800 948 106700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3471 c Elapsed CPU time: 2.79358 s Remaining CPU time: 177.206 s c =============================================================================== c | 0 | 800 949 107400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3469 c Elapsed CPU time: 2.84357 s Remaining CPU time: 177.156 s c =============================================================================== c | 0 | 800 950 108100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3468 c Elapsed CPU time: 2.89156 s Remaining CPU time: 177.108 s c =============================================================================== c | 0 | 800 951 108800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3467 c Elapsed CPU time: 2.93955 s Remaining CPU time: 177.06 s c =============================================================================== c | 0 | 800 952 109500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3466 c Elapsed CPU time: 2.98555 s Remaining CPU time: 177.014 s c =============================================================================== c | 0 | 800 953 110200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3465 c Elapsed CPU time: 3.03454 s Remaining CPU time: 176.965 s c =============================================================================== c | 0 | 800 954 110900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3464 c Elapsed CPU time: 3.08353 s Remaining CPU time: 176.916 s c =============================================================================== c | 0 | 800 955 111600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3463 c Elapsed CPU time: 3.13252 s Remaining CPU time: 176.867 s c =============================================================================== c | 0 | 800 956 112300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3461 c Elapsed CPU time: 3.18252 s Remaining CPU time: 176.817 s c =============================================================================== c | 0 | 800 957 113000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3460 c Elapsed CPU time: 3.23151 s Remaining CPU time: 176.768 s c =============================================================================== c | 0 | 800 958 113700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3459 c Elapsed CPU time: 3.2805 s Remaining CPU time: 176.719 s c =============================================================================== c | 0 | 800 959 114400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3455 c Elapsed CPU time: 3.32849 s Remaining CPU time: 176.672 s c =============================================================================== c | 0 | 800 960 115100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3453 c Elapsed CPU time: 3.37649 s Remaining CPU time: 176.624 s c =============================================================================== c | 0 | 800 961 115800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3452 c Elapsed CPU time: 3.42648 s Remaining CPU time: 176.574 s c =============================================================================== c | 0 | 800 962 116500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3450 c Elapsed CPU time: 3.47647 s Remaining CPU time: 176.524 s c =============================================================================== c | 0 | 800 963 117200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3445 c Elapsed CPU time: 3.52746 s Remaining CPU time: 176.473 s c =============================================================================== c | 0 | 800 964 117900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3444 c Elapsed CPU time: 3.58146 s Remaining CPU time: 176.419 s c =============================================================================== c | 0 | 800 965 118600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3443 c Elapsed CPU time: 3.63345 s Remaining CPU time: 176.367 s c =============================================================================== c | 0 | 800 966 119300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3442 c Elapsed CPU time: 3.68844 s Remaining CPU time: 176.312 s c =============================================================================== c | 0 | 800 967 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3441 c Elapsed CPU time: 3.73943 s Remaining CPU time: 176.261 s c =============================================================================== c | 0 | 800 968 120700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3440 c Elapsed CPU time: 3.79242 s Remaining CPU time: 176.208 s c =============================================================================== c | 0 | 800 969 121400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3438 c Elapsed CPU time: 3.84342 s Remaining CPU time: 176.157 s c =============================================================================== c | 0 | 800 970 122100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3435 c Elapsed CPU time: 3.89641 s Remaining CPU time: 176.104 s c =============================================================================== c | 0 | 800 971 122800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3432 c Elapsed CPU time: 3.9504 s Remaining CPU time: 176.05 s c =============================================================================== c | 0 | 800 972 123500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3430 c Elapsed CPU time: 4.00539 s Remaining CPU time: 175.995 s c =============================================================================== c | 0 | 800 973 124200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3428 c Elapsed CPU time: 4.05938 s Remaining CPU time: 175.941 s c =============================================================================== c | 0 | 800 974 124900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3427 c Elapsed CPU time: 4.11237 s Remaining CPU time: 175.888 s c =============================================================================== c | 0 | 800 975 125600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3425 c Elapsed CPU time: 4.16337 s Remaining CPU time: 175.837 s c =============================================================================== c | 0 | 800 976 126300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3423 c Elapsed CPU time: 4.21736 s Remaining CPU time: 175.783 s c =============================================================================== c | 0 | 800 977 127000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3422 c Elapsed CPU time: 4.27435 s Remaining CPU time: 175.726 s c =============================================================================== c | 0 | 800 978 127700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3420 c Elapsed CPU time: 4.33034 s Remaining CPU time: 175.67 s c =============================================================================== c | 0 | 800 979 128400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3417 c Elapsed CPU time: 4.38633 s Remaining CPU time: 175.614 s c =============================================================================== c | 0 | 800 980 129100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3416 c Elapsed CPU time: 4.44232 s Remaining CPU time: 175.558 s c =============================================================================== c | 0 | 800 981 129800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3414 c Elapsed CPU time: 4.50131 s Remaining CPU time: 175.499 s c =============================================================================== c | 0 | 800 982 130500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3413 c Elapsed CPU time: 4.55931 s Remaining CPU time: 175.441 s c =============================================================================== c | 0 | 800 983 131200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3411 c Elapsed CPU time: 4.6183 s Remaining CPU time: 175.382 s c =============================================================================== c | 0 | 800 984 131900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3409 c Elapsed CPU time: 4.67829 s Remaining CPU time: 175.322 s c =============================================================================== c | 0 | 800 985 132600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3408 c Elapsed CPU time: 4.74128 s Remaining CPU time: 175.259 s c =============================================================================== c | 0 | 800 986 133300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3407 c Elapsed CPU time: 4.80227 s Remaining CPU time: 175.198 s c =============================================================================== c | 0 | 800 987 134000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3406 c Elapsed CPU time: 4.86026 s Remaining CPU time: 175.14 s c =============================================================================== c | 0 | 800 988 134700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3405 c Elapsed CPU time: 4.91725 s Remaining CPU time: 175.083 s c =============================================================================== c | 0 | 800 989 135400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3404 c Elapsed CPU time: 4.98024 s Remaining CPU time: 175.02 s c =============================================================================== c | 0 | 800 990 136100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3403 c Elapsed CPU time: 5.03823 s Remaining CPU time: 174.962 s c =============================================================================== c | 0 | 800 991 136800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3402 c Elapsed CPU time: 5.09922 s Remaining CPU time: 174.901 s c =============================================================================== c | 0 | 800 992 137500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3401 c Elapsed CPU time: 5.16021 s Remaining CPU time: 174.84 s c =============================================================================== c | 0 | 800 993 138200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3400 c Elapsed CPU time: 5.22321 s Remaining CPU time: 174.777 s c =============================================================================== c | 0 | 800 994 138900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3399 c Elapsed CPU time: 5.2862 s Remaining CPU time: 174.714 s c =============================================================================== c | 0 | 800 995 139600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3398 c Elapsed CPU time: 5.34519 s Remaining CPU time: 174.655 s c =============================================================================== c | 0 | 800 996 140300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3397 c Elapsed CPU time: 5.40918 s Remaining CPU time: 174.591 s c =============================================================================== c | 0 | 800 997 141000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3394 c Elapsed CPU time: 5.47117 s Remaining CPU time: 174.529 s c =============================================================================== c | 0 | 800 998 141700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3391 c Elapsed CPU time: 5.53216 s Remaining CPU time: 174.468 s c =============================================================================== c | 0 | 800 999 142400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3389 c Elapsed CPU time: 5.59415 s Remaining CPU time: 174.406 s c =============================================================================== c | 0 | 800 1000 143100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3388 c Elapsed CPU time: 5.65814 s Remaining CPU time: 174.342 s c =============================================================================== c | 0 | 800 1001 143800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3387 c Elapsed CPU time: 5.72213 s Remaining CPU time: 174.278 s c =============================================================================== c | 0 | 800 1002 144500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3384 c Elapsed CPU time: 5.78512 s Remaining CPU time: 174.215 s c =============================================================================== c | 0 | 800 1003 145200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3383 c Elapsed CPU time: 5.85211 s Remaining CPU time: 174.148 s c =============================================================================== c | 0 | 800 1004 145900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3382 c Elapsed CPU time: 5.9191 s Remaining CPU time: 174.081 s c =============================================================================== c | 0 | 800 1005 146600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3380 c Elapsed CPU time: 5.98609 s Remaining CPU time: 174.014 s c =============================================================================== c | 0 | 800 1006 147300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3378 c Elapsed CPU time: 6.05208 s Remaining CPU time: 173.948 s c =============================================================================== c | 0 | 800 1007 148000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3377 c Elapsed CPU time: 6.11807 s Remaining CPU time: 173.882 s c =============================================================================== c | 0 | 800 1008 148700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3374 c Elapsed CPU time: 6.18306 s Remaining CPU time: 173.817 s c =============================================================================== c | 0 | 800 1009 149400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3371 c Elapsed CPU time: 6.24705 s Remaining CPU time: 173.753 s c =============================================================================== c | 0 | 800 1010 150100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3369 c Elapsed CPU time: 6.31604 s Remaining CPU time: 173.684 s c =============================================================================== c | 0 | 800 1011 150800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 3367 c Elapsed CPU time: 6.39103 s Remaining CPU time: 173.609 s c =============================================================================== c | 2 | 800 1012 151500 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3366 c Elapsed CPU time: 6.46202 s Remaining CPU time: 173.538 s c =============================================================================== c | 2 | 800 1013 152200 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3365 c Elapsed CPU time: 6.53801 s Remaining CPU time: 173.462 s c =============================================================================== c | 2 | 800 1014 152900 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3364 c Elapsed CPU time: 6.61899 s Remaining CPU time: 173.381 s c =============================================================================== c | 2 | 800 1015 153600 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3363 c Elapsed CPU time: 6.69398 s Remaining CPU time: 173.306 s c =============================================================================== c | 2 | 800 1016 154300 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3362 c Elapsed CPU time: 6.76897 s Remaining CPU time: 173.231 s c =============================================================================== c | 2 | 800 1017 155000 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3361 c Elapsed CPU time: 6.84296 s Remaining CPU time: 173.157 s c =============================================================================== c | 2 | 800 1018 155700 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3360 c Elapsed CPU time: 6.91695 s Remaining CPU time: 173.083 s c =============================================================================== c | 2 | 800 1019 156400 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3359 c Elapsed CPU time: 7.00094 s Remaining CPU time: 172.999 s c =============================================================================== c | 2 | 800 1020 157100 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3358 c Elapsed CPU time: 7.07992 s Remaining CPU time: 172.92 s c =============================================================================== c | 2 | 800 1021 157800 | 5000 2 648 | 0.000 % | c =============================================================================== c New solution: 3357 c Elapsed CPU time: 7.15891 s Remaining CPU time: 172.841 s c =============================================================================== c | 3 | 800 1022 158500 | 5000 3 434 | 0.000 % | c =============================================================================== c New solution: 3356 c Elapsed CPU time: 7.2379 s Remaining CPU time: 172.762 s c =============================================================================== c | 3 | 800 1023 159200 | 5000 3 434 | 0.000 % | c =============================================================================== c New solution: 3355 c Elapsed CPU time: 7.31289 s Remaining CPU time: 172.687 s c =============================================================================== c | 3 | 800 1024 159900 | 5000 3 434 | 0.000 % | c =============================================================================== c New solution: 3354 c Elapsed CPU time: 7.39188 s Remaining CPU time: 172.608 s c =============================================================================== c | 3 | 800 1025 160600 | 5000 3 434 | 0.000 % | c =============================================================================== c New solution: 3353 c Elapsed CPU time: 7.47486 s Remaining CPU time: 172.525 s c =============================================================================== c | 3 | 800 1026 161300 | 5000 3 434 | 0.000 % | c =============================================================================== c New solution: 3352 c Elapsed CPU time: 7.55485 s Remaining CPU time: 172.445 s c =============================================================================== c | 3 | 800 1027 162000 | 5000 3 434 | 0.000 % | c =============================================================================== c New solution: 3351 c Elapsed CPU time: 7.63384 s Remaining CPU time: 172.366 s c =============================================================================== c | 3 | 800 1028 162700 | 5000 3 434 | 0.000 % | c =============================================================================== c New solution: 3350 c Elapsed CPU time: 7.71483 s Remaining CPU time: 172.285 s c =============================================================================== c | 3 | 800 1029 163400 | 5000 3 434 | 0.000 % | c =============================================================================== c New solution: 3349 c Elapsed CPU time: 7.79382 s Remaining CPU time: 172.206 s c =============================================================================== c | 3 | 800 1030 164100 | 5000 3 434 | 0.000 % | c =============================================================================== c New solution: 3348 c Elapsed CPU time: 7.8768 s Remaining CPU time: 172.123 s c =============================================================================== c | 4 | 800 1031 164800 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3347 c Elapsed CPU time: 7.95579 s Remaining CPU time: 172.044 s c =============================================================================== c | 4 | 800 1032 165500 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3346 c Elapsed CPU time: 8.03678 s Remaining CPU time: 171.963 s c =============================================================================== c | 4 | 800 1033 166200 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3345 c Elapsed CPU time: 8.12176 s Remaining CPU time: 171.878 s c =============================================================================== c | 4 | 800 1034 166900 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3344 c Elapsed CPU time: 8.20175 s Remaining CPU time: 171.798 s c =============================================================================== c | 4 | 800 1035 167600 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3343 c Elapsed CPU time: 8.29274 s Remaining CPU time: 171.707 s c =============================================================================== c | 4 | 800 1036 168300 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3342 c Elapsed CPU time: 8.37173 s Remaining CPU time: 171.628 s c =============================================================================== c | 4 | 800 1037 169000 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3341 c Elapsed CPU time: 8.45871 s Remaining CPU time: 171.541 s c =============================================================================== c | 4 | 800 1038 169700 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3340 c Elapsed CPU time: 8.5397 s Remaining CPU time: 171.46 s c =============================================================================== c | 4 | 800 1039 170400 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3339 c Elapsed CPU time: 8.62269 s Remaining CPU time: 171.377 s c =============================================================================== c | 4 | 800 1040 171100 | 5000 4 327 | 0.000 % | c =============================================================================== c New solution: 3338 c Elapsed CPU time: 8.71567 s Remaining CPU time: 171.284 s c =============================================================================== c | 5 | 800 1041 171800 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3337 c Elapsed CPU time: 8.80366 s Remaining CPU time: 171.196 s c =============================================================================== c | 5 | 800 1042 172500 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3336 c Elapsed CPU time: 8.89265 s Remaining CPU time: 171.107 s c =============================================================================== c | 5 | 800 1043 173200 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3335 c Elapsed CPU time: 8.98463 s Remaining CPU time: 171.015 s c =============================================================================== c | 5 | 800 1044 173900 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3334 c Elapsed CPU time: 9.07762 s Remaining CPU time: 170.922 s c =============================================================================== c | 5 | 800 1045 174600 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3333 c Elapsed CPU time: 9.16561 s Remaining CPU time: 170.834 s c =============================================================================== c | 5 | 800 1046 175300 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3332 c Elapsed CPU time: 9.25359 s Remaining CPU time: 170.746 s c =============================================================================== c | 5 | 800 1047 176000 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3331 c Elapsed CPU time: 9.34558 s Remaining CPU time: 170.654 s c =============================================================================== c | 5 | 800 1048 176700 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3330 c Elapsed CPU time: 9.43557 s Remaining CPU time: 170.564 s c =============================================================================== c | 5 | 800 1049 177400 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3329 c Elapsed CPU time: 9.52755 s Remaining CPU time: 170.472 s c =============================================================================== c | 5 | 800 1050 178100 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3328 c Elapsed CPU time: 9.62154 s Remaining CPU time: 170.378 s c =============================================================================== c | 5 | 800 1051 178800 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3327 c Elapsed CPU time: 9.71552 s Remaining CPU time: 170.284 s c =============================================================================== c | 5 | 800 1052 179500 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3326 c Elapsed CPU time: 9.80751 s Remaining CPU time: 170.192 s c =============================================================================== c | 5 | 800 1053 180200 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3325 c Elapsed CPU time: 9.90549 s Remaining CPU time: 170.095 s c =============================================================================== c | 5 | 800 1054 180900 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3324 c Elapsed CPU time: 9.99548 s Remaining CPU time: 170.005 s c =============================================================================== c | 5 | 800 1055 181600 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3323 c Elapsed CPU time: 10.0865 s Remaining CPU time: 169.914 s c =============================================================================== c | 5 | 800 1056 182300 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3322 c Elapsed CPU time: 10.1775 s Remaining CPU time: 169.823 s c =============================================================================== c | 5 | 800 1057 183000 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3321 c Elapsed CPU time: 10.2744 s Remaining CPU time: 169.726 s c =============================================================================== c | 5 | 800 1058 183700 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3320 c Elapsed CPU time: 10.3614 s Remaining CPU time: 169.639 s c =============================================================================== c | 5 | 800 1059 184400 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3319 c Elapsed CPU time: 10.4514 s Remaining CPU time: 169.549 s c =============================================================================== c | 5 | 800 1060 185100 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3318 c Elapsed CPU time: 10.5414 s Remaining CPU time: 169.459 s c =============================================================================== c | 5 | 800 1061 185800 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3317 c Elapsed CPU time: 10.6294 s Remaining CPU time: 169.371 s c =============================================================================== c | 5 | 800 1062 186500 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3316 c Elapsed CPU time: 10.7174 s Remaining CPU time: 169.283 s c =============================================================================== c | 5 | 800 1063 187200 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3315 c Elapsed CPU time: 10.8154 s Remaining CPU time: 169.185 s c =============================================================================== c | 5 | 800 1064 187900 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3314 c Elapsed CPU time: 10.9093 s Remaining CPU time: 169.091 s c =============================================================================== c | 5 | 800 1065 188600 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3313 c Elapsed CPU time: 11.0033 s Remaining CPU time: 168.997 s c =============================================================================== c | 5 | 800 1066 189300 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3312 c Elapsed CPU time: 11.0983 s Remaining CPU time: 168.902 s c =============================================================================== c | 5 | 800 1067 190000 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3311 c Elapsed CPU time: 11.1923 s Remaining CPU time: 168.808 s c =============================================================================== c | 5 | 800 1068 190700 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3310 c Elapsed CPU time: 11.2923 s Remaining CPU time: 168.708 s c =============================================================================== c | 5 | 800 1069 191400 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3309 c Elapsed CPU time: 11.3873 s Remaining CPU time: 168.613 s c =============================================================================== c | 5 | 800 1070 192100 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3308 c Elapsed CPU time: 11.4923 s Remaining CPU time: 168.508 s c =============================================================================== c | 5 | 800 1071 192800 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3307 c Elapsed CPU time: 11.5842 s Remaining CPU time: 168.416 s c =============================================================================== c | 5 | 800 1072 193500 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3306 c Elapsed CPU time: 11.6802 s Remaining CPU time: 168.32 s c =============================================================================== c | 5 | 800 1073 194200 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3305 c Elapsed CPU time: 11.7812 s Remaining CPU time: 168.219 s c =============================================================================== c | 5 | 800 1074 194900 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3304 c Elapsed CPU time: 11.8832 s Remaining CPU time: 168.117 s c =============================================================================== c | 5 | 800 1075 195600 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3303 c Elapsed CPU time: 11.9842 s Remaining CPU time: 168.016 s c =============================================================================== c | 5 | 800 1076 196300 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3302 c Elapsed CPU time: 12.0852 s Remaining CPU time: 167.915 s c =============================================================================== c | 5 | 800 1077 197000 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3301 c Elapsed CPU time: 12.1851 s Remaining CPU time: 167.815 s c =============================================================================== c | 5 | 800 1078 197700 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3300 c Elapsed CPU time: 12.2831 s Remaining CPU time: 167.717 s c =============================================================================== c | 5 | 800 1079 198400 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3299 c Elapsed CPU time: 12.3821 s Remaining CPU time: 167.618 s c =============================================================================== c | 5 | 800 1080 199100 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3298 c Elapsed CPU time: 12.4791 s Remaining CPU time: 167.521 s c =============================================================================== c | 5 | 800 1081 199800 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3297 c Elapsed CPU time: 12.5811 s Remaining CPU time: 167.419 s c =============================================================================== c | 5 | 800 1082 200500 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3296 c Elapsed CPU time: 12.6791 s Remaining CPU time: 167.321 s c =============================================================================== c | 5 | 800 1083 201200 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3295 c Elapsed CPU time: 12.7761 s Remaining CPU time: 167.224 s c =============================================================================== c | 5 | 800 1084 201900 | 5000 5 263 | 0.000 % | c =============================================================================== c New solution: 3294 c Elapsed CPU time: 12.88 s Remaining CPU time: 167.12 s c =============================================================================== c | 6 | 800 1085 202600 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3293 c Elapsed CPU time: 12.98 s Remaining CPU time: 167.02 s c =============================================================================== c | 6 | 800 1086 203300 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3292 c Elapsed CPU time: 13.076 s Remaining CPU time: 166.924 s c =============================================================================== c | 6 | 800 1087 204000 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3291 c Elapsed CPU time: 13.177 s Remaining CPU time: 166.823 s c =============================================================================== c | 6 | 800 1088 204700 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3290 c Elapsed CPU time: 13.284 s Remaining CPU time: 166.716 s c =============================================================================== c | 6 | 800 1089 205400 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3289 c Elapsed CPU time: 13.391 s Remaining CPU time: 166.609 s c =============================================================================== c | 6 | 800 1090 206100 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3288 c Elapsed CPU time: 13.5029 s Remaining CPU time: 166.497 s c =============================================================================== c | 6 | 800 1091 206800 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3287 c Elapsed CPU time: 13.6089 s Remaining CPU time: 166.391 s c =============================================================================== c | 6 | 800 1092 207500 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3286 c Elapsed CPU time: 13.7189 s Remaining CPU time: 166.281 s c =============================================================================== c | 6 | 800 1093 208200 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3285 c Elapsed CPU time: 13.8269 s Remaining CPU time: 166.173 s c =============================================================================== c | 6 | 800 1094 208900 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3284 c Elapsed CPU time: 13.9349 s Remaining CPU time: 166.065 s c =============================================================================== c | 6 | 800 1095 209600 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3283 c Elapsed CPU time: 14.0409 s Remaining CPU time: 165.959 s c =============================================================================== c | 6 | 800 1096 210300 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3282 c Elapsed CPU time: 14.1438 s Remaining CPU time: 165.856 s c =============================================================================== c | 6 | 800 1097 211000 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3281 c Elapsed CPU time: 14.2578 s Remaining CPU time: 165.742 s c =============================================================================== c | 6 | 800 1098 211700 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3280 c Elapsed CPU time: 14.3688 s Remaining CPU time: 165.631 s c =============================================================================== c | 6 | 800 1099 212400 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3279 c Elapsed CPU time: 14.4868 s Remaining CPU time: 165.513 s c =============================================================================== c | 6 | 800 1100 213100 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3278 c Elapsed CPU time: 14.5948 s Remaining CPU time: 165.405 s c =============================================================================== c | 6 | 800 1101 213800 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3277 c Elapsed CPU time: 14.7078 s Remaining CPU time: 165.292 s c =============================================================================== c | 6 | 800 1102 214500 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3276 c Elapsed CPU time: 14.8237 s Remaining CPU time: 165.176 s c =============================================================================== c | 6 | 800 1103 215200 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3275 c Elapsed CPU time: 14.9347 s Remaining CPU time: 165.065 s c =============================================================================== c | 6 | 800 1104 215900 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3274 c Elapsed CPU time: 15.0467 s Remaining CPU time: 164.953 s c =============================================================================== c | 6 | 800 1105 216600 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3273 c Elapsed CPU time: 15.1617 s Remaining CPU time: 164.838 s c =============================================================================== c | 6 | 800 1106 217300 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3272 c Elapsed CPU time: 15.2717 s Remaining CPU time: 164.728 s c =============================================================================== c | 6 | 800 1107 218000 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3271 c Elapsed CPU time: 15.3857 s Remaining CPU time: 164.614 s c =============================================================================== c | 6 | 800 1108 218700 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3270 c Elapsed CPU time: 15.5006 s Remaining CPU time: 164.499 s c =============================================================================== c | 6 | 800 1109 219400 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3269 c Elapsed CPU time: 15.6136 s Remaining CPU time: 164.386 s c =============================================================================== c | 6 | 800 1110 220100 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3268 c Elapsed CPU time: 15.7306 s Remaining CPU time: 164.269 s c =============================================================================== c | 6 | 800 1111 220800 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3267 c Elapsed CPU time: 15.8416 s Remaining CPU time: 164.158 s c =============================================================================== c | 6 | 800 1112 221500 | 5000 6 220 | 0.000 % | c =============================================================================== c New solution: 3266 c Elapsed CPU time: 15.9566 s Remaining CPU time: 164.043 s c =============================================================================== c | 7 | 800 1113 222200 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3265 c Elapsed CPU time: 16.0756 s Remaining CPU time: 163.924 s c =============================================================================== c | 7 | 800 1114 222900 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3264 c Elapsed CPU time: 16.1865 s Remaining CPU time: 163.813 s c =============================================================================== c | 7 | 800 1115 223600 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3263 c Elapsed CPU time: 16.2985 s Remaining CPU time: 163.701 s c =============================================================================== c | 7 | 800 1116 224300 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3262 c Elapsed CPU time: 16.4225 s Remaining CPU time: 163.577 s c =============================================================================== c | 7 | 800 1117 225000 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3261 c Elapsed CPU time: 16.5385 s Remaining CPU time: 163.462 s c =============================================================================== c | 7 | 800 1118 225700 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3260 c Elapsed CPU time: 16.6605 s Remaining CPU time: 163.34 s c =============================================================================== c | 7 | 800 1119 226400 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3259 c Elapsed CPU time: 16.7784 s Remaining CPU time: 163.222 s c =============================================================================== c | 7 | 800 1120 227100 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3258 c Elapsed CPU time: 16.8914 s Remaining CPU time: 163.109 s c =============================================================================== c | 7 | 800 1121 227800 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3257 c Elapsed CPU time: 17.0084 s Remaining CPU time: 162.992 s c =============================================================================== c | 7 | 800 1122 228500 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3256 c Elapsed CPU time: 17.1274 s Remaining CPU time: 162.873 s c =============================================================================== c | 7 | 800 1123 229200 | 5000 7 189 | 0.000 % | c =============================================================================== c New solution: 3255 c Elapsed CPU time: 17.2474 s Remaining CPU time: 162.753 s c =============================================================================== c | 8 | 800 1124 229900 | 5000 8 166 | 0.000 % | c =============================================================================== c New solution: 3254 c Elapsed CPU time: 17.3664 s Remaining CPU time: 162.634 s c =============================================================================== c | 8 | 800 1125 230600 | 5000 8 166 | 0.000 % | c =============================================================================== c New solution: 3253 c Elapsed CPU time: 17.4893 s Remaining CPU time: 162.511 s c =============================================================================== c | 8 | 800 1126 231300 | 5000 8 166 | 0.000 % | c =============================================================================== c New solution: 3252 c Elapsed CPU time: 17.6153 s Remaining CPU time: 162.385 s c =============================================================================== c | 8 | 800 1127 232000 | 5000 8 166 | 0.000 % | c =============================================================================== c New solution: 3251 c Elapsed CPU time: 17.7403 s Remaining CPU time: 162.26 s c =============================================================================== c | 8 | 800 1128 232700 | 5000 8 166 | 0.000 % | c =============================================================================== c New solution: 3250 c Elapsed CPU time: 17.8633 s Remaining CPU time: 162.137 s c =============================================================================== c | 8 | 800 1129 233400 | 5000 8 166 | 0.000 % | c =============================================================================== c New solution: 3249 c Elapsed CPU time: 17.9793 s Remaining CPU time: 162.021 s c =============================================================================== c | 9 | 800 1130 234100 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3248 c Elapsed CPU time: 18.1062 s Remaining CPU time: 161.894 s c =============================================================================== c | 9 | 800 1131 234800 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3247 c Elapsed CPU time: 18.2352 s Remaining CPU time: 161.765 s c =============================================================================== c | 9 | 800 1132 235500 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3246 c Elapsed CPU time: 18.3612 s Remaining CPU time: 161.639 s c =============================================================================== c | 9 | 800 1133 236200 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3245 c Elapsed CPU time: 18.4872 s Remaining CPU time: 161.513 s c =============================================================================== c | 9 | 800 1134 236900 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3244 c Elapsed CPU time: 18.6152 s Remaining CPU time: 161.385 s c =============================================================================== c | 9 | 800 1135 237600 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3243 c Elapsed CPU time: 18.7412 s Remaining CPU time: 161.259 s c =============================================================================== c | 9 | 800 1136 238300 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3242 c Elapsed CPU time: 18.8641 s Remaining CPU time: 161.136 s c =============================================================================== c | 9 | 800 1137 239000 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3241 c Elapsed CPU time: 18.9831 s Remaining CPU time: 161.017 s c =============================================================================== c | 9 | 800 1138 239700 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3240 c Elapsed CPU time: 19.1001 s Remaining CPU time: 160.9 s c =============================================================================== c | 9 | 800 1139 240400 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3239 c Elapsed CPU time: 19.2261 s Remaining CPU time: 160.774 s c =============================================================================== c | 9 | 800 1140 241100 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3238 c Elapsed CPU time: 19.3541 s Remaining CPU time: 160.646 s c =============================================================================== c | 9 | 800 1141 241800 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3237 c Elapsed CPU time: 19.479 s Remaining CPU time: 160.521 s c =============================================================================== c | 9 | 800 1142 242500 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3236 c Elapsed CPU time: 19.602 s Remaining CPU time: 160.398 s c =============================================================================== c | 9 | 800 1143 243200 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3235 c Elapsed CPU time: 19.726 s Remaining CPU time: 160.274 s c =============================================================================== c | 9 | 800 1144 243900 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3234 c Elapsed CPU time: 19.858 s Remaining CPU time: 160.142 s c =============================================================================== c | 9 | 800 1145 244600 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3233 c Elapsed CPU time: 19.985 s Remaining CPU time: 160.015 s c =============================================================================== c | 9 | 800 1146 245300 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3232 c Elapsed CPU time: 20.1149 s Remaining CPU time: 159.885 s c =============================================================================== c | 9 | 800 1147 246000 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3231 c Elapsed CPU time: 20.2509 s Remaining CPU time: 159.749 s c =============================================================================== c | 9 | 800 1148 246700 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3230 c Elapsed CPU time: 20.3889 s Remaining CPU time: 159.611 s c =============================================================================== c | 9 | 800 1149 247400 | 5000 9 148 | 0.000 % | c =============================================================================== c New solution: 3229 c Elapsed CPU time: 20.5139 s Remaining CPU time: 159.486 s c =============================================================================== c | 10 | 800 1150 248100 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3228 c Elapsed CPU time: 20.6419 s Remaining CPU time: 159.358 s c =============================================================================== c | 10 | 800 1151 248800 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3227 c Elapsed CPU time: 20.7758 s Remaining CPU time: 159.224 s c =============================================================================== c | 10 | 800 1152 249500 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3226 c Elapsed CPU time: 20.9078 s Remaining CPU time: 159.092 s c =============================================================================== c | 10 | 800 1153 250200 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3225 c Elapsed CPU time: 21.0428 s Remaining CPU time: 158.957 s c =============================================================================== c | 10 | 800 1154 250900 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3224 c Elapsed CPU time: 21.1848 s Remaining CPU time: 158.815 s c =============================================================================== c | 10 | 800 1155 251600 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3223 c Elapsed CPU time: 21.3218 s Remaining CPU time: 158.678 s c =============================================================================== c | 10 | 800 1156 252300 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3222 c Elapsed CPU time: 21.4577 s Remaining CPU time: 158.542 s c =============================================================================== c | 10 | 800 1157 253000 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3221 c Elapsed CPU time: 21.6017 s Remaining CPU time: 158.398 s c =============================================================================== c | 10 | 800 1158 253700 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3220 c Elapsed CPU time: 21.7437 s Remaining CPU time: 158.256 s c =============================================================================== c | 10 | 800 1159 254400 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3219 c Elapsed CPU time: 21.8877 s Remaining CPU time: 158.112 s c =============================================================================== c | 10 | 800 1160 255100 | 5000 10 134 | 0.000 % | c =============================================================================== c New solution: 3218 c Elapsed CPU time: 22.0207 s Remaining CPU time: 157.979 s c =============================================================================== c | 11 | 800 1161 255800 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3217 c Elapsed CPU time: 22.1576 s Remaining CPU time: 157.842 s c =============================================================================== c | 11 | 800 1162 256500 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3216 c Elapsed CPU time: 22.2966 s Remaining CPU time: 157.703 s c =============================================================================== c | 11 | 800 1163 257200 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3215 c Elapsed CPU time: 22.4306 s Remaining CPU time: 157.569 s c =============================================================================== c | 11 | 800 1164 257900 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3214 c Elapsed CPU time: 22.5626 s Remaining CPU time: 157.437 s c =============================================================================== c | 11 | 800 1165 258600 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3213 c Elapsed CPU time: 22.7005 s Remaining CPU time: 157.299 s c =============================================================================== c | 11 | 800 1166 259300 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3212 c Elapsed CPU time: 22.8355 s Remaining CPU time: 157.164 s c =============================================================================== c | 11 | 800 1167 260000 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3211 c Elapsed CPU time: 22.9785 s Remaining CPU time: 157.021 s c =============================================================================== c | 11 | 800 1168 260700 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3210 c Elapsed CPU time: 23.1145 s Remaining CPU time: 156.886 s c =============================================================================== c | 11 | 800 1169 261400 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3209 c Elapsed CPU time: 23.2535 s Remaining CPU time: 156.747 s c =============================================================================== c | 11 | 800 1170 262100 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3208 c Elapsed CPU time: 23.3944 s Remaining CPU time: 156.606 s c =============================================================================== c | 11 | 800 1171 262800 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3207 c Elapsed CPU time: 23.5394 s Remaining CPU time: 156.461 s c =============================================================================== c | 11 | 800 1172 263500 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3206 c Elapsed CPU time: 23.6884 s Remaining CPU time: 156.312 s c =============================================================================== c | 11 | 800 1173 264200 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3205 c Elapsed CPU time: 23.8244 s Remaining CPU time: 156.176 s c =============================================================================== c | 11 | 800 1174 264900 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3204 c Elapsed CPU time: 23.9664 s Remaining CPU time: 156.034 s c =============================================================================== c | 11 | 800 1175 265600 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3203 c Elapsed CPU time: 24.1113 s Remaining CPU time: 155.889 s c =============================================================================== c | 11 | 800 1176 266300 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3202 c Elapsed CPU time: 24.2473 s Remaining CPU time: 155.753 s c =============================================================================== c | 11 | 800 1177 267000 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3201 c Elapsed CPU time: 24.3903 s Remaining CPU time: 155.61 s c =============================================================================== c | 11 | 800 1178 267700 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3200 c Elapsed CPU time: 24.5333 s Remaining CPU time: 155.467 s c =============================================================================== c | 11 | 800 1179 268400 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3199 c Elapsed CPU time: 24.6832 s Remaining CPU time: 155.317 s c =============================================================================== c | 11 | 800 1180 269100 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3198 c Elapsed CPU time: 24.8272 s Remaining CPU time: 155.173 s c =============================================================================== c | 11 | 800 1181 269800 | 5000 11 122 | 0.000 % | c =============================================================================== c New solution: 3197 c Elapsed CPU time: 24.9762 s Remaining CPU time: 155.024 s c =============================================================================== c | 12 | 800 1182 270500 | 5000 12 164 | 0.000 % | c =============================================================================== c New solution: 3196 c Elapsed CPU time: 25.1162 s Remaining CPU time: 154.884 s c =============================================================================== c | 12 | 800 1183 271200 | 5000 12 164 | 0.000 % | c =============================================================================== c New solution: 3195 c Elapsed CPU time: 25.2642 s Remaining CPU time: 154.736 s c =============================================================================== c | 12 | 800 1184 271900 | 5000 12 164 | 0.000 % | c =============================================================================== c New solution: 3194 c Elapsed CPU time: 25.4151 s Remaining CPU time: 154.585 s c =============================================================================== c | 12 | 800 1185 272600 | 5000 12 164 | 0.000 % | c =============================================================================== c New solution: 3193 c Elapsed CPU time: 25.5571 s Remaining CPU time: 154.443 s c =============================================================================== c | 12 | 800 1186 273300 | 5000 12 164 | 0.000 % | c =============================================================================== c New solution: 3192 c Elapsed CPU time: 25.6981 s Remaining CPU time: 154.302 s c =============================================================================== c | 12 | 800 1187 274000 | 5000 12 164 | 0.000 % | c =============================================================================== c New solution: 3191 c Elapsed CPU time: 25.8481 s Remaining CPU time: 154.152 s c =============================================================================== c | 12 | 800 1188 274700 | 5000 12 164 | 0.000 % | c =============================================================================== c New solution: 3190 c Elapsed CPU time: 25.999 s Remaining CPU time: 154.001 s c =============================================================================== c | 13 | 800 1189 275400 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3189 c Elapsed CPU time: 26.154 s Remaining CPU time: 153.846 s c =============================================================================== c | 13 | 800 1190 276100 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3188 c Elapsed CPU time: 26.308 s Remaining CPU time: 153.692 s c =============================================================================== c | 13 | 800 1191 276800 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3187 c Elapsed CPU time: 26.468 s Remaining CPU time: 153.532 s c =============================================================================== c | 13 | 800 1192 277500 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3186 c Elapsed CPU time: 26.613 s Remaining CPU time: 153.387 s c =============================================================================== c | 13 | 800 1193 278200 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3185 c Elapsed CPU time: 26.7679 s Remaining CPU time: 153.232 s c =============================================================================== c | 13 | 800 1194 278900 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3184 c Elapsed CPU time: 26.9139 s Remaining CPU time: 153.086 s c =============================================================================== c | 13 | 800 1195 279600 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3183 c Elapsed CPU time: 27.0669 s Remaining CPU time: 152.933 s c =============================================================================== c | 13 | 800 1196 280300 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3182 c Elapsed CPU time: 27.2089 s Remaining CPU time: 152.791 s c =============================================================================== c | 13 | 800 1197 281000 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3181 c Elapsed CPU time: 27.3608 s Remaining CPU time: 152.639 s c =============================================================================== c | 13 | 800 1198 281700 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3180 c Elapsed CPU time: 27.5118 s Remaining CPU time: 152.488 s c =============================================================================== c | 13 | 800 1199 282400 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3179 c Elapsed CPU time: 27.6598 s Remaining CPU time: 152.34 s c =============================================================================== c | 13 | 800 1200 283100 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3178 c Elapsed CPU time: 27.8048 s Remaining CPU time: 152.195 s c =============================================================================== c | 13 | 800 1201 283800 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3177 c Elapsed CPU time: 27.9498 s Remaining CPU time: 152.05 s c =============================================================================== c | 13 | 800 1202 284500 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3176 c Elapsed CPU time: 28.1017 s Remaining CPU time: 151.898 s c =============================================================================== c | 13 | 800 1203 285200 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3175 c Elapsed CPU time: 28.2527 s Remaining CPU time: 151.747 s c =============================================================================== c | 13 | 800 1204 285900 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3174 c Elapsed CPU time: 28.4097 s Remaining CPU time: 151.59 s c =============================================================================== c | 13 | 800 1205 286600 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3173 c Elapsed CPU time: 28.5627 s Remaining CPU time: 151.437 s c =============================================================================== c | 13 | 800 1206 287300 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3172 c Elapsed CPU time: 28.7186 s Remaining CPU time: 151.281 s c =============================================================================== c | 13 | 800 1207 288000 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3171 c Elapsed CPU time: 28.8716 s Remaining CPU time: 151.128 s c =============================================================================== c | 13 | 800 1208 288700 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3170 c Elapsed CPU time: 29.0306 s Remaining CPU time: 150.969 s c =============================================================================== c | 13 | 800 1209 289400 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3169 c Elapsed CPU time: 29.1976 s Remaining CPU time: 150.802 s c =============================================================================== c | 13 | 800 1210 290100 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3168 c Elapsed CPU time: 29.3585 s Remaining CPU time: 150.641 s c =============================================================================== c | 13 | 800 1211 290800 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3167 c Elapsed CPU time: 29.5165 s Remaining CPU time: 150.483 s c =============================================================================== c | 13 | 800 1212 291500 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3166 c Elapsed CPU time: 29.6635 s Remaining CPU time: 150.337 s c =============================================================================== c | 13 | 800 1213 292200 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3165 c Elapsed CPU time: 29.8175 s Remaining CPU time: 150.183 s c =============================================================================== c | 13 | 800 1214 292900 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3164 c Elapsed CPU time: 29.9774 s Remaining CPU time: 150.023 s c =============================================================================== c | 13 | 800 1215 293600 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3163 c Elapsed CPU time: 30.1364 s Remaining CPU time: 149.864 s c =============================================================================== c | 13 | 800 1216 294300 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3162 c Elapsed CPU time: 30.3044 s Remaining CPU time: 149.696 s c =============================================================================== c | 13 | 800 1217 295000 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3161 c Elapsed CPU time: 30.4714 s Remaining CPU time: 149.529 s c =============================================================================== c | 13 | 800 1218 295700 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3160 c Elapsed CPU time: 30.6383 s Remaining CPU time: 149.362 s c =============================================================================== c | 13 | 800 1219 296400 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3159 c Elapsed CPU time: 30.8003 s Remaining CPU time: 149.2 s c =============================================================================== c | 13 | 800 1220 297100 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3158 c Elapsed CPU time: 30.9673 s Remaining CPU time: 149.033 s c =============================================================================== c | 13 | 800 1221 297800 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3157 c Elapsed CPU time: 31.1313 s Remaining CPU time: 148.869 s c =============================================================================== c | 13 | 800 1222 298500 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3156 c Elapsed CPU time: 31.3012 s Remaining CPU time: 148.699 s c =============================================================================== c | 13 | 800 1223 299200 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3155 c Elapsed CPU time: 31.4632 s Remaining CPU time: 148.537 s c =============================================================================== c | 13 | 800 1224 299900 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3154 c Elapsed CPU time: 31.6222 s Remaining CPU time: 148.378 s c =============================================================================== c | 13 | 800 1225 300600 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3153 c Elapsed CPU time: 31.7952 s Remaining CPU time: 148.205 s c =============================================================================== c | 13 | 800 1226 301300 | 5000 13 199 | 0.000 % | c =============================================================================== c New solution: 3152 c Elapsed CPU time: 31.9561 s Remaining CPU time: 148.044 s c =============================================================================== c | 14 | 800 1227 302000 | 5000 14 185 | 0.000 % | c =============================================================================== c New solution: 3151 c Elapsed CPU time: 32.1221 s Remaining CPU time: 147.878 s c =============================================================================== c | 14 | 800 1228 302700 | 5000 14 185 | 0.000 % | c =============================================================================== c New solution: 3150 c Elapsed CPU time: 32.2931 s Remaining CPU time: 147.707 s c =============================================================================== c | 14 | 800 1229 303400 | 5000 14 185 | 0.000 % | c =============================================================================== c New solution: 3149 c Elapsed CPU time: 32.4561 s Remaining CPU time: 147.544 s c =============================================================================== c | 14 | 800 1230 304100 | 5000 14 185 | 0.000 % | c =============================================================================== c New solution: 3148 c Elapsed CPU time: 32.624 s Remaining CPU time: 147.376 s c =============================================================================== c | 14 | 800 1231 304800 | 5000 14 185 | 0.000 % | c =============================================================================== c New solution: 3147 c Elapsed CPU time: 32.786 s Remaining CPU time: 147.214 s c =============================================================================== c | 14 | 800 1232 305500 | 5000 14 185 | 0.000 % | c =============================================================================== c New solution: 3146 c Elapsed CPU time: 32.947 s Remaining CPU time: 147.053 s c =============================================================================== c | 14 | 800 1233 306200 | 5000 14 185 | 0.000 % | c =============================================================================== c New solution: 3145 c Elapsed CPU time: 33.126 s Remaining CPU time: 146.874 s c =============================================================================== c | 16 | 800 1234 306900 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3144 c Elapsed CPU time: 33.2959 s Remaining CPU time: 146.704 s c =============================================================================== c | 16 | 800 1235 307600 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3143 c Elapsed CPU time: 33.4719 s Remaining CPU time: 146.528 s c =============================================================================== c | 16 | 800 1236 308300 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3142 c Elapsed CPU time: 33.6419 s Remaining CPU time: 146.358 s c =============================================================================== c | 16 | 800 1237 309000 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3141 c Elapsed CPU time: 33.8189 s Remaining CPU time: 146.181 s c =============================================================================== c | 16 | 800 1238 309700 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3140 c Elapsed CPU time: 33.9808 s Remaining CPU time: 146.019 s c =============================================================================== c | 16 | 800 1239 310400 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3139 c Elapsed CPU time: 34.1478 s Remaining CPU time: 145.852 s c =============================================================================== c | 16 | 800 1240 311100 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3138 c Elapsed CPU time: 34.3218 s Remaining CPU time: 145.678 s c =============================================================================== c | 16 | 800 1241 311800 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3137 c Elapsed CPU time: 34.4888 s Remaining CPU time: 145.511 s c =============================================================================== c | 16 | 800 1242 312500 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3136 c Elapsed CPU time: 34.6547 s Remaining CPU time: 145.345 s c =============================================================================== c | 16 | 800 1243 313200 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3135 c Elapsed CPU time: 34.8177 s Remaining CPU time: 145.182 s c =============================================================================== c | 16 | 800 1244 313900 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3134 c Elapsed CPU time: 34.9867 s Remaining CPU time: 145.013 s c =============================================================================== c | 16 | 800 1245 314600 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3133 c Elapsed CPU time: 35.1497 s Remaining CPU time: 144.85 s c =============================================================================== c | 16 | 800 1246 315300 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3132 c Elapsed CPU time: 35.3206 s Remaining CPU time: 144.679 s c =============================================================================== c | 16 | 800 1247 316000 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3131 c Elapsed CPU time: 35.5026 s Remaining CPU time: 144.497 s c =============================================================================== c | 16 | 800 1248 316700 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3130 c Elapsed CPU time: 35.6836 s Remaining CPU time: 144.316 s c =============================================================================== c | 16 | 800 1249 317400 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3129 c Elapsed CPU time: 35.8585 s Remaining CPU time: 144.141 s c =============================================================================== c | 16 | 800 1250 318100 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3128 c Elapsed CPU time: 36.0205 s Remaining CPU time: 143.979 s c =============================================================================== c | 16 | 800 1251 318800 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3127 c Elapsed CPU time: 36.2005 s Remaining CPU time: 143.8 s c =============================================================================== c | 16 | 800 1252 319500 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3126 c Elapsed CPU time: 36.3735 s Remaining CPU time: 143.627 s c =============================================================================== c | 16 | 800 1253 320200 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3125 c Elapsed CPU time: 36.5424 s Remaining CPU time: 143.458 s c =============================================================================== c | 16 | 800 1254 320900 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3124 c Elapsed CPU time: 36.7164 s Remaining CPU time: 143.284 s c =============================================================================== c | 16 | 800 1255 321600 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3123 c Elapsed CPU time: 36.8914 s Remaining CPU time: 143.109 s c =============================================================================== c | 16 | 800 1256 322300 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3122 c Elapsed CPU time: 37.0734 s Remaining CPU time: 142.927 s c =============================================================================== c | 16 | 800 1257 323000 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3121 c Elapsed CPU time: 37.2573 s Remaining CPU time: 142.743 s c =============================================================================== c | 16 | 800 1258 323700 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3120 c Elapsed CPU time: 37.4293 s Remaining CPU time: 142.571 s c =============================================================================== c | 16 | 800 1259 324400 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3119 c Elapsed CPU time: 37.6023 s Remaining CPU time: 142.398 s c =============================================================================== c | 16 | 800 1260 325100 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3118 c Elapsed CPU time: 37.7783 s Remaining CPU time: 142.222 s c =============================================================================== c | 16 | 800 1261 325800 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3117 c Elapsed CPU time: 37.9482 s Remaining CPU time: 142.052 s c =============================================================================== c | 16 | 800 1262 326500 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3116 c Elapsed CPU time: 38.1192 s Remaining CPU time: 141.881 s c =============================================================================== c | 16 | 800 1263 327200 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3115 c Elapsed CPU time: 38.2912 s Remaining CPU time: 141.709 s c =============================================================================== c | 16 | 800 1264 327900 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3114 c Elapsed CPU time: 38.4672 s Remaining CPU time: 141.533 s c =============================================================================== c | 16 | 800 1265 328600 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3113 c Elapsed CPU time: 38.6391 s Remaining CPU time: 141.361 s c =============================================================================== c | 16 | 800 1266 329300 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3112 c Elapsed CPU time: 38.8151 s Remaining CPU time: 141.185 s c =============================================================================== c | 16 | 800 1267 330000 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3111 c Elapsed CPU time: 38.9871 s Remaining CPU time: 141.013 s c =============================================================================== c | 16 | 800 1268 330700 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3110 c Elapsed CPU time: 39.17 s Remaining CPU time: 140.83 s c =============================================================================== c | 16 | 800 1269 331400 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3109 c Elapsed CPU time: 39.351 s Remaining CPU time: 140.649 s c =============================================================================== c | 16 | 800 1270 332100 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3108 c Elapsed CPU time: 39.534 s Remaining CPU time: 140.466 s c =============================================================================== c | 16 | 800 1271 332800 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3107 c Elapsed CPU time: 39.718 s Remaining CPU time: 140.282 s c =============================================================================== c | 16 | 800 1272 333500 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3106 c Elapsed CPU time: 39.9029 s Remaining CPU time: 140.097 s c =============================================================================== c | 16 | 800 1273 334200 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3105 c Elapsed CPU time: 40.0859 s Remaining CPU time: 139.914 s c =============================================================================== c | 16 | 800 1274 334900 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3104 c Elapsed CPU time: 40.2719 s Remaining CPU time: 139.728 s c =============================================================================== c | 16 | 800 1275 335600 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3103 c Elapsed CPU time: 40.4698 s Remaining CPU time: 139.53 s c =============================================================================== c | 16 | 800 1276 336300 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3102 c Elapsed CPU time: 40.6518 s Remaining CPU time: 139.348 s c =============================================================================== c | 16 | 800 1277 337000 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3101 c Elapsed CPU time: 40.8368 s Remaining CPU time: 139.163 s c =============================================================================== c | 16 | 800 1278 337700 | 5000 16 200 | 0.000 % | c =============================================================================== c New solution: 3100 c Elapsed CPU time: 41.0278 s Remaining CPU time: 138.972 s c =============================================================================== c | 17 | 800 1279 338400 | 5000 17 189 | 0.000 % | c =============================================================================== c New solution: 3099 c Elapsed CPU time: 41.2127 s Remaining CPU time: 138.787 s c =============================================================================== c | 17 | 800 1280 339100 | 5000 17 189 | 0.000 % | c =============================================================================== c New solution: 3098 c Elapsed CPU time: 41.4007 s Remaining CPU time: 138.599 s c =============================================================================== c | 18 | 800 1281 339800 | 5000 18 179 | 0.000 % | c =============================================================================== c New solution: 3097 c Elapsed CPU time: 41.5787 s Remaining CPU time: 138.421 s c =============================================================================== c | 18 | 800 1282 340500 | 5000 18 179 | 0.000 % | c =============================================================================== c New solution: 3096 c Elapsed CPU time: 41.7577 s Remaining CPU time: 138.242 s c =============================================================================== c | 18 | 800 1283 341200 | 5000 18 179 | 0.000 % | c =============================================================================== c New solution: 3095 c Elapsed CPU time: 41.9406 s Remaining CPU time: 138.059 s c =============================================================================== c | 19 | 800 1284 341900 | 5000 19 170 | 0.000 % | c =============================================================================== c New solution: 3094 c Elapsed CPU time: 42.1326 s Remaining CPU time: 137.867 s c =============================================================================== c | 19 | 800 1285 342600 | 5000 19 170 | 0.000 % | c =============================================================================== c New solution: 3093 c Elapsed CPU time: 42.3206 s Remaining CPU time: 137.679 s c =============================================================================== c | 19 | 800 1286 343300 | 5000 19 170 | 0.000 % | c =============================================================================== c New solution: 3092 c Elapsed CPU time: 42.5005 s Remaining CPU time: 137.499 s c =============================================================================== c | 20 | 800 1287 344000 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3091 c Elapsed CPU time: 42.6915 s Remaining CPU time: 137.308 s c =============================================================================== c | 20 | 800 1288 344700 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3090 c Elapsed CPU time: 42.8855 s Remaining CPU time: 137.115 s c =============================================================================== c | 20 | 800 1289 345400 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3089 c Elapsed CPU time: 43.0775 s Remaining CPU time: 136.923 s c =============================================================================== c | 20 | 800 1290 346100 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3088 c Elapsed CPU time: 43.2554 s Remaining CPU time: 136.745 s c =============================================================================== c | 20 | 800 1291 346800 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3087 c Elapsed CPU time: 43.4434 s Remaining CPU time: 136.557 s c =============================================================================== c | 20 | 800 1292 347500 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3086 c Elapsed CPU time: 43.6304 s Remaining CPU time: 136.37 s c =============================================================================== c | 20 | 800 1293 348200 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3085 c Elapsed CPU time: 43.8083 s Remaining CPU time: 136.192 s c =============================================================================== c | 20 | 800 1294 348900 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3084 c Elapsed CPU time: 43.9933 s Remaining CPU time: 136.007 s c =============================================================================== c | 20 | 800 1295 349600 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3083 c Elapsed CPU time: 44.1733 s Remaining CPU time: 135.827 s c =============================================================================== c | 20 | 800 1296 350300 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3082 c Elapsed CPU time: 44.3553 s Remaining CPU time: 135.645 s c =============================================================================== c | 20 | 800 1297 351000 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3081 c Elapsed CPU time: 44.5432 s Remaining CPU time: 135.457 s c =============================================================================== c | 20 | 800 1298 351700 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3080 c Elapsed CPU time: 44.7372 s Remaining CPU time: 135.263 s c =============================================================================== c | 20 | 800 1299 352400 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3079 c Elapsed CPU time: 44.9282 s Remaining CPU time: 135.072 s c =============================================================================== c | 20 | 800 1300 353100 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3078 c Elapsed CPU time: 45.1201 s Remaining CPU time: 134.88 s c =============================================================================== c | 20 | 800 1301 353800 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3077 c Elapsed CPU time: 45.3131 s Remaining CPU time: 134.687 s c =============================================================================== c | 20 | 800 1302 354500 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3076 c Elapsed CPU time: 45.5001 s Remaining CPU time: 134.5 s c =============================================================================== c | 20 | 800 1303 355200 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3075 c Elapsed CPU time: 45.6841 s Remaining CPU time: 134.316 s c =============================================================================== c | 20 | 800 1304 355900 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3074 c Elapsed CPU time: 45.875 s Remaining CPU time: 134.125 s c =============================================================================== c | 20 | 800 1305 356600 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3073 c Elapsed CPU time: 46.063 s Remaining CPU time: 133.937 s c =============================================================================== c | 20 | 800 1306 357300 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3072 c Elapsed CPU time: 46.273 s Remaining CPU time: 133.727 s c =============================================================================== c | 20 | 800 1307 358000 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3071 c Elapsed CPU time: 46.4659 s Remaining CPU time: 133.534 s c =============================================================================== c | 20 | 800 1308 358700 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3070 c Elapsed CPU time: 46.6669 s Remaining CPU time: 133.333 s c =============================================================================== c | 20 | 800 1309 359400 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3069 c Elapsed CPU time: 46.8749 s Remaining CPU time: 133.125 s c =============================================================================== c | 20 | 800 1310 360100 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3068 c Elapsed CPU time: 47.0778 s Remaining CPU time: 132.922 s c =============================================================================== c | 20 | 800 1311 360800 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3067 c Elapsed CPU time: 47.2768 s Remaining CPU time: 132.723 s c =============================================================================== c | 20 | 800 1312 361500 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3066 c Elapsed CPU time: 47.4728 s Remaining CPU time: 132.527 s c =============================================================================== c | 20 | 800 1313 362200 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3065 c Elapsed CPU time: 47.6698 s Remaining CPU time: 132.33 s c =============================================================================== c | 20 | 800 1314 362900 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3064 c Elapsed CPU time: 47.8557 s Remaining CPU time: 132.144 s c =============================================================================== c | 20 | 800 1315 363600 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3063 c Elapsed CPU time: 48.0517 s Remaining CPU time: 131.948 s c =============================================================================== c | 20 | 800 1316 364300 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3062 c Elapsed CPU time: 48.2507 s Remaining CPU time: 131.749 s c =============================================================================== c | 20 | 800 1317 365000 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3061 c Elapsed CPU time: 48.4666 s Remaining CPU time: 131.533 s c =============================================================================== c | 20 | 800 1318 365700 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3060 c Elapsed CPU time: 48.6756 s Remaining CPU time: 131.324 s c =============================================================================== c | 20 | 800 1319 366400 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3059 c Elapsed CPU time: 48.8796 s Remaining CPU time: 131.12 s c =============================================================================== c | 20 | 800 1320 367100 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3058 c Elapsed CPU time: 49.0835 s Remaining CPU time: 130.916 s c =============================================================================== c | 20 | 800 1321 367800 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3057 c Elapsed CPU time: 49.2805 s Remaining CPU time: 130.719 s c =============================================================================== c | 20 | 800 1322 368500 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3056 c Elapsed CPU time: 49.4935 s Remaining CPU time: 130.507 s c =============================================================================== c | 20 | 800 1323 369200 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3055 c Elapsed CPU time: 49.6994 s Remaining CPU time: 130.301 s c =============================================================================== c | 20 | 800 1324 369900 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3054 c Elapsed CPU time: 49.8994 s Remaining CPU time: 130.101 s c =============================================================================== c | 20 | 800 1325 370600 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3053 c Elapsed CPU time: 50.1094 s Remaining CPU time: 129.891 s c =============================================================================== c | 20 | 800 1326 371300 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3052 c Elapsed CPU time: 50.3014 s Remaining CPU time: 129.699 s c =============================================================================== c | 20 | 800 1327 372000 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3051 c Elapsed CPU time: 50.4933 s Remaining CPU time: 129.507 s c =============================================================================== c | 20 | 800 1328 372700 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3050 c Elapsed CPU time: 50.6933 s Remaining CPU time: 129.307 s c =============================================================================== c | 20 | 800 1329 373400 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3049 c Elapsed CPU time: 50.8993 s Remaining CPU time: 129.101 s c =============================================================================== c | 20 | 800 1330 374100 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3048 c Elapsed CPU time: 51.1032 s Remaining CPU time: 128.897 s c =============================================================================== c | 20 | 800 1331 374800 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3047 c Elapsed CPU time: 51.3082 s Remaining CPU time: 128.692 s c =============================================================================== c | 20 | 800 1332 375500 | 5000 20 191 | 0.000 % | c =============================================================================== c New solution: 3046 c Elapsed CPU time: 51.5202 s Remaining CPU time: 128.48 s c =============================================================================== c | 21 | 800 1333 376200 | 5000 21 182 | 0.000 % | c =============================================================================== c New solution: 3045 c Elapsed CPU time: 51.7301 s Remaining CPU time: 128.27 s c =============================================================================== c | 21 | 800 1334 376900 | 5000 21 182 | 0.000 % | c =============================================================================== c New solution: 3044 c Elapsed CPU time: 51.9461 s Remaining CPU time: 128.054 s c =============================================================================== c | 21 | 800 1335 377600 | 5000 21 182 | 0.000 % | c =============================================================================== c New solution: 3043 c Elapsed CPU time: 52.1481 s Remaining CPU time: 127.852 s c =============================================================================== c | 23 | 800 1336 378300 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3042 c Elapsed CPU time: 52.355 s Remaining CPU time: 127.645 s c =============================================================================== c | 23 | 800 1337 379000 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3041 c Elapsed CPU time: 52.548 s Remaining CPU time: 127.452 s c =============================================================================== c | 23 | 800 1338 379700 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3040 c Elapsed CPU time: 52.755 s Remaining CPU time: 127.245 s c =============================================================================== c | 23 | 800 1339 380400 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3039 c Elapsed CPU time: 52.9569 s Remaining CPU time: 127.043 s c =============================================================================== c | 23 | 800 1340 381100 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3038 c Elapsed CPU time: 53.1699 s Remaining CPU time: 126.83 s c =============================================================================== c | 23 | 800 1341 381800 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3037 c Elapsed CPU time: 53.3699 s Remaining CPU time: 126.63 s c =============================================================================== c | 23 | 800 1342 382500 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3036 c Elapsed CPU time: 53.5749 s Remaining CPU time: 126.425 s c =============================================================================== c | 23 | 800 1343 383200 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3035 c Elapsed CPU time: 53.7898 s Remaining CPU time: 126.21 s c =============================================================================== c | 23 | 800 1344 383900 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3034 c Elapsed CPU time: 53.9928 s Remaining CPU time: 126.007 s c =============================================================================== c | 23 | 800 1345 384600 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3033 c Elapsed CPU time: 54.1998 s Remaining CPU time: 125.8 s c =============================================================================== c | 23 | 800 1346 385300 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3032 c Elapsed CPU time: 54.3997 s Remaining CPU time: 125.6 s c =============================================================================== c | 23 | 800 1347 386000 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3031 c Elapsed CPU time: 54.6207 s Remaining CPU time: 125.379 s c =============================================================================== c | 23 | 800 1348 386700 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3030 c Elapsed CPU time: 54.8347 s Remaining CPU time: 125.165 s c =============================================================================== c | 23 | 800 1349 387400 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3029 c Elapsed CPU time: 55.0456 s Remaining CPU time: 124.954 s c =============================================================================== c | 23 | 800 1350 388100 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3028 c Elapsed CPU time: 55.2556 s Remaining CPU time: 124.744 s c =============================================================================== c | 23 | 800 1351 388800 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3027 c Elapsed CPU time: 55.4606 s Remaining CPU time: 124.539 s c =============================================================================== c | 23 | 800 1352 389500 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3026 c Elapsed CPU time: 55.6765 s Remaining CPU time: 124.323 s c =============================================================================== c | 23 | 800 1353 390200 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3025 c Elapsed CPU time: 55.8905 s Remaining CPU time: 124.109 s c =============================================================================== c | 23 | 800 1354 390900 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3024 c Elapsed CPU time: 56.1165 s Remaining CPU time: 123.884 s c =============================================================================== c | 23 | 800 1355 391600 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3023 c Elapsed CPU time: 56.3344 s Remaining CPU time: 123.666 s c =============================================================================== c | 23 | 800 1356 392300 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3022 c Elapsed CPU time: 56.5464 s Remaining CPU time: 123.454 s c =============================================================================== c | 23 | 800 1357 393000 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3021 c Elapsed CPU time: 56.7634 s Remaining CPU time: 123.237 s c =============================================================================== c | 23 | 800 1358 393700 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3020 c Elapsed CPU time: 56.9823 s Remaining CPU time: 123.018 s c =============================================================================== c | 23 | 800 1359 394400 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3019 c Elapsed CPU time: 57.1993 s Remaining CPU time: 122.801 s c =============================================================================== c | 23 | 800 1360 395100 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3018 c Elapsed CPU time: 57.4173 s Remaining CPU time: 122.583 s c =============================================================================== c | 23 | 800 1361 395800 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3017 c Elapsed CPU time: 57.6202 s Remaining CPU time: 122.38 s c =============================================================================== c | 23 | 800 1362 396500 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3016 c Elapsed CPU time: 57.8502 s Remaining CPU time: 122.15 s c =============================================================================== c | 23 | 800 1363 397200 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3015 c Elapsed CPU time: 58.0762 s Remaining CPU time: 121.924 s c =============================================================================== c | 23 | 800 1364 397900 | 5000 23 193 | 0.000 % | c =============================================================================== c New solution: 3014 c Elapsed CPU time: 58.2981 s Remaining CPU time: 121.702 s c =============================================================================== c | 24 | 800 1365 398600 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3013 c Elapsed CPU time: 58.5161 s Remaining CPU time: 121.484 s c =============================================================================== c | 24 | 800 1366 399300 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3012 c Elapsed CPU time: 58.7341 s Remaining CPU time: 121.266 s c =============================================================================== c | 24 | 800 1367 400000 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3011 c Elapsed CPU time: 58.946 s Remaining CPU time: 121.054 s c =============================================================================== c | 24 | 800 1368 400700 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3010 c Elapsed CPU time: 59.173 s Remaining CPU time: 120.827 s c =============================================================================== c | 24 | 800 1369 401400 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3009 c Elapsed CPU time: 59.391 s Remaining CPU time: 120.609 s c =============================================================================== c | 24 | 800 1370 402100 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3008 c Elapsed CPU time: 59.6059 s Remaining CPU time: 120.394 s c =============================================================================== c | 24 | 800 1371 402800 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3007 c Elapsed CPU time: 59.8339 s Remaining CPU time: 120.166 s c =============================================================================== c | 24 | 800 1372 403500 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3006 c Elapsed CPU time: 60.0469 s Remaining CPU time: 119.953 s c =============================================================================== c | 24 | 800 1373 404200 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3005 c Elapsed CPU time: 60.2648 s Remaining CPU time: 119.735 s c =============================================================================== c | 24 | 800 1374 404900 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3004 c Elapsed CPU time: 60.4838 s Remaining CPU time: 119.516 s c =============================================================================== c | 24 | 800 1375 405600 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3003 c Elapsed CPU time: 60.7118 s Remaining CPU time: 119.288 s c =============================================================================== c | 24 | 800 1376 406300 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3002 c Elapsed CPU time: 60.9387 s Remaining CPU time: 119.061 s c =============================================================================== c | 24 | 800 1377 407000 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3001 c Elapsed CPU time: 61.1597 s Remaining CPU time: 118.84 s c =============================================================================== c | 24 | 800 1378 407700 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 3000 c Elapsed CPU time: 61.3927 s Remaining CPU time: 118.607 s c =============================================================================== c | 24 | 800 1379 408400 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 2999 c Elapsed CPU time: 61.6236 s Remaining CPU time: 118.376 s c =============================================================================== c | 24 | 800 1380 409100 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 2998 c Elapsed CPU time: 61.8456 s Remaining CPU time: 118.154 s c =============================================================================== c | 24 | 800 1381 409800 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 2997 c Elapsed CPU time: 62.0836 s Remaining CPU time: 117.916 s c =============================================================================== c | 24 | 800 1382 410500 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 2996 c Elapsed CPU time: 62.3095 s Remaining CPU time: 117.69 s c =============================================================================== c | 24 | 800 1383 411200 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 2995 c Elapsed CPU time: 62.5475 s Remaining CPU time: 117.453 s c =============================================================================== c | 24 | 800 1384 411900 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 2994 c Elapsed CPU time: 62.7725 s Remaining CPU time: 117.228 s c =============================================================================== c | 24 | 800 1385 412600 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 2993 c Elapsed CPU time: 63.0124 s Remaining CPU time: 116.988 s c =============================================================================== c | 24 | 800 1386 413300 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 2992 c Elapsed CPU time: 63.2314 s Remaining CPU time: 116.769 s c =============================================================================== c | 24 | 800 1387 414000 | 5000 24 185 | 0.000 % | c =============================================================================== c New solution: 2991 c Elapsed CPU time: 63.4594 s Remaining CPU time: 116.541 s c =============================================================================== c | 25 | 800 1388 414700 | 5000 25 178 | 0.000 % | c =============================================================================== c New solution: 2990 c Elapsed CPU time: 63.6933 s Remaining CPU time: 116.307 s c =============================================================================== c | 25 | 800 1389 415400 | 5000 25 178 | 0.000 % | c =============================================================================== c New solution: 2989 c Elapsed CPU time: 63.9223 s Remaining CPU time: 116.078 s c =============================================================================== c | 25 | 800 1390 416100 | 5000 25 178 | 0.000 % | c =============================================================================== c New solution: 2988 c Elapsed CPU time: 64.1532 s Remaining CPU time: 115.847 s c =============================================================================== c | 25 | 800 1391 416800 | 5000 25 178 | 0.000 % | c =============================================================================== c New solution: 2987 c Elapsed CPU time: 64.3892 s Remaining CPU time: 115.611 s c =============================================================================== c | 25 | 800 1392 417500 | 5000 25 178 | 0.000 % | c =============================================================================== c New solution: 2986 c Elapsed CPU time: 64.6172 s Remaining CPU time: 115.383 s c =============================================================================== c | 25 | 800 1393 418200 | 5000 25 178 | 0.000 % | c =============================================================================== c New solution: 2985 c Elapsed CPU time: 64.8481 s Remaining CPU time: 115.152 s c =============================================================================== c | 25 | 800 1394 418900 | 5000 25 178 | 0.000 % | c =============================================================================== c New solution: 2984 c Elapsed CPU time: 65.0721 s Remaining CPU time: 114.928 s c =============================================================================== c | 26 | 800 1395 419600 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2983 c Elapsed CPU time: 65.2921 s Remaining CPU time: 114.708 s c =============================================================================== c | 26 | 800 1396 420300 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2982 c Elapsed CPU time: 65.51 s Remaining CPU time: 114.49 s c =============================================================================== c | 26 | 800 1397 421000 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2981 c Elapsed CPU time: 65.752 s Remaining CPU time: 114.248 s c =============================================================================== c | 26 | 800 1398 421700 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2980 c Elapsed CPU time: 65.985 s Remaining CPU time: 114.015 s c =============================================================================== c | 26 | 800 1399 422400 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2979 c Elapsed CPU time: 66.2159 s Remaining CPU time: 113.784 s c =============================================================================== c | 26 | 800 1400 423100 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2978 c Elapsed CPU time: 66.4499 s Remaining CPU time: 113.55 s c =============================================================================== c | 26 | 800 1401 423800 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2977 c Elapsed CPU time: 66.6679 s Remaining CPU time: 113.332 s c =============================================================================== c | 26 | 800 1402 424500 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2976 c Elapsed CPU time: 66.8928 s Remaining CPU time: 113.107 s c =============================================================================== c | 26 | 800 1403 425200 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2975 c Elapsed CPU time: 67.1188 s Remaining CPU time: 112.881 s c =============================================================================== c | 26 | 800 1404 425900 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2974 c Elapsed CPU time: 67.3518 s Remaining CPU time: 112.648 s c =============================================================================== c | 26 | 800 1405 426600 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2973 c Elapsed CPU time: 67.5767 s Remaining CPU time: 112.423 s c =============================================================================== c | 26 | 800 1406 427300 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2972 c Elapsed CPU time: 67.8007 s Remaining CPU time: 112.199 s c =============================================================================== c | 26 | 800 1407 428000 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2971 c Elapsed CPU time: 68.0447 s Remaining CPU time: 111.955 s c =============================================================================== c | 26 | 800 1408 428700 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2970 c Elapsed CPU time: 68.2696 s Remaining CPU time: 111.73 s c =============================================================================== c | 26 | 800 1409 429400 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2969 c Elapsed CPU time: 68.5096 s Remaining CPU time: 111.49 s c =============================================================================== c | 26 | 800 1410 430100 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2968 c Elapsed CPU time: 68.7395 s Remaining CPU time: 111.26 s c =============================================================================== c | 26 | 800 1411 430800 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2967 c Elapsed CPU time: 68.9775 s Remaining CPU time: 111.022 s c =============================================================================== c | 26 | 800 1412 431500 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2966 c Elapsed CPU time: 69.2155 s Remaining CPU time: 110.785 s c =============================================================================== c | 26 | 800 1413 432200 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2965 c Elapsed CPU time: 69.4424 s Remaining CPU time: 110.558 s c =============================================================================== c | 26 | 800 1414 432900 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2964 c Elapsed CPU time: 69.6604 s Remaining CPU time: 110.34 s c =============================================================================== c | 26 | 800 1415 433600 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2963 c Elapsed CPU time: 69.8904 s Remaining CPU time: 110.11 s c =============================================================================== c | 26 | 800 1416 434300 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2962 c Elapsed CPU time: 70.1113 s Remaining CPU time: 109.889 s c =============================================================================== c | 26 | 800 1417 435000 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2961 c Elapsed CPU time: 70.3543 s Remaining CPU time: 109.646 s c =============================================================================== c | 26 | 800 1418 435700 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2960 c Elapsed CPU time: 70.6003 s Remaining CPU time: 109.4 s c =============================================================================== c | 26 | 800 1419 436400 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2959 c Elapsed CPU time: 70.8252 s Remaining CPU time: 109.175 s c =============================================================================== c | 26 | 800 1420 437100 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2958 c Elapsed CPU time: 71.0642 s Remaining CPU time: 108.936 s c =============================================================================== c | 26 | 800 1421 437800 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2957 c Elapsed CPU time: 71.3172 s Remaining CPU time: 108.683 s c =============================================================================== c | 26 | 800 1422 438500 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2956 c Elapsed CPU time: 71.5601 s Remaining CPU time: 108.44 s c =============================================================================== c | 26 | 800 1423 439200 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2955 c Elapsed CPU time: 71.7801 s Remaining CPU time: 108.22 s c =============================================================================== c | 26 | 800 1424 439900 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2954 c Elapsed CPU time: 72.032 s Remaining CPU time: 107.968 s c =============================================================================== c | 26 | 800 1425 440600 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2953 c Elapsed CPU time: 72.271 s Remaining CPU time: 107.729 s c =============================================================================== c | 26 | 800 1426 441300 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2952 c Elapsed CPU time: 72.499 s Remaining CPU time: 107.501 s c =============================================================================== c | 26 | 800 1427 442000 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2951 c Elapsed CPU time: 72.7399 s Remaining CPU time: 107.26 s c =============================================================================== c | 26 | 800 1428 442700 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2950 c Elapsed CPU time: 72.9799 s Remaining CPU time: 107.02 s c =============================================================================== c | 26 | 800 1429 443400 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2949 c Elapsed CPU time: 73.2139 s Remaining CPU time: 106.786 s c =============================================================================== c | 26 | 800 1430 444100 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2948 c Elapsed CPU time: 73.4678 s Remaining CPU time: 106.532 s c =============================================================================== c | 26 | 800 1431 444800 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2947 c Elapsed CPU time: 73.7118 s Remaining CPU time: 106.288 s c =============================================================================== c | 26 | 800 1432 445500 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2946 c Elapsed CPU time: 73.9578 s Remaining CPU time: 106.042 s c =============================================================================== c | 26 | 800 1433 446200 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2945 c Elapsed CPU time: 74.2087 s Remaining CPU time: 105.791 s c =============================================================================== c | 26 | 800 1434 446900 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2944 c Elapsed CPU time: 74.4387 s Remaining CPU time: 105.561 s c =============================================================================== c | 26 | 800 1435 447600 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2943 c Elapsed CPU time: 74.6906 s Remaining CPU time: 105.309 s c =============================================================================== c | 26 | 800 1436 448300 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2942 c Elapsed CPU time: 74.9386 s Remaining CPU time: 105.061 s c =============================================================================== c | 26 | 800 1437 449000 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2941 c Elapsed CPU time: 75.1826 s Remaining CPU time: 104.817 s c =============================================================================== c | 26 | 800 1438 449700 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2940 c Elapsed CPU time: 75.4255 s Remaining CPU time: 104.574 s c =============================================================================== c | 26 | 800 1439 450400 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2939 c Elapsed CPU time: 75.6575 s Remaining CPU time: 104.343 s c =============================================================================== c | 26 | 800 1440 451100 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2938 c Elapsed CPU time: 75.9025 s Remaining CPU time: 104.098 s c =============================================================================== c | 26 | 800 1441 451800 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2937 c Elapsed CPU time: 76.1344 s Remaining CPU time: 103.866 s c =============================================================================== c | 26 | 800 1442 452500 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2936 c Elapsed CPU time: 76.3794 s Remaining CPU time: 103.621 s c =============================================================================== c | 26 | 800 1443 453200 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2935 c Elapsed CPU time: 76.6214 s Remaining CPU time: 103.379 s c =============================================================================== c | 26 | 800 1444 453900 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2934 c Elapsed CPU time: 76.8703 s Remaining CPU time: 103.13 s c =============================================================================== c | 26 | 800 1445 454600 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2933 c Elapsed CPU time: 77.1253 s Remaining CPU time: 102.875 s c =============================================================================== c | 26 | 800 1446 455300 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2932 c Elapsed CPU time: 77.3782 s Remaining CPU time: 102.622 s c =============================================================================== c | 26 | 800 1447 456000 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2931 c Elapsed CPU time: 77.6282 s Remaining CPU time: 102.372 s c =============================================================================== c | 26 | 800 1448 456700 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2930 c Elapsed CPU time: 77.8862 s Remaining CPU time: 102.114 s c =============================================================================== c | 26 | 800 1449 457400 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2929 c Elapsed CPU time: 78.1291 s Remaining CPU time: 101.871 s c =============================================================================== c | 26 | 800 1450 458100 | 5000 26 171 | 0.000 % | c =============================================================================== c New solution: 2928 c Elapsed CPU time: 78.3721 s Remaining CPU time: 101.628 s c =============================================================================== c | 27 | 800 1451 458800 | 5000 27 186 | 0.000 % | c =============================================================================== c New solution: 2927 c Elapsed CPU time: 78.6011 s Remaining CPU time: 101.399 s c =============================================================================== c | 27 | 800 1452 459500 | 5000 27 186 | 0.000 % | c =============================================================================== c New solution: 2926 c Elapsed CPU time: 78.851 s Remaining CPU time: 101.149 s c =============================================================================== c | 27 | 800 1453 460200 | 5000 27 186 | 0.000 % | c =============================================================================== c New solution: 2925 c Elapsed CPU time: 79.099 s Remaining CPU time: 100.901 s c =============================================================================== c | 27 | 800 1454 460900 | 5000 27 186 | 0.000 % | c =============================================================================== c New solution: 2924 c Elapsed CPU time: 79.3519 s Remaining CPU time: 100.648 s c =============================================================================== c | 28 | 800 1455 461600 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2923 c Elapsed CPU time: 79.5859 s Remaining CPU time: 100.414 s c =============================================================================== c | 28 | 800 1456 462300 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2922 c Elapsed CPU time: 79.8409 s Remaining CPU time: 100.159 s c =============================================================================== c | 28 | 800 1457 463000 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2921 c Elapsed CPU time: 80.0938 s Remaining CPU time: 99.9062 s c =============================================================================== c | 28 | 800 1458 463700 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2920 c Elapsed CPU time: 80.3478 s Remaining CPU time: 99.6522 s c =============================================================================== c | 28 | 800 1459 464400 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2919 c Elapsed CPU time: 80.5877 s Remaining CPU time: 99.4123 s c =============================================================================== c | 28 | 800 1460 465100 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2918 c Elapsed CPU time: 80.8437 s Remaining CPU time: 99.1563 s c =============================================================================== c | 28 | 800 1461 465800 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2917 c Elapsed CPU time: 81.0917 s Remaining CPU time: 98.9083 s c =============================================================================== c | 28 | 800 1462 466500 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2916 c Elapsed CPU time: 81.3366 s Remaining CPU time: 98.6634 s c =============================================================================== c | 28 | 800 1463 467200 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2915 c Elapsed CPU time: 81.5956 s Remaining CPU time: 98.4044 s c =============================================================================== c | 28 | 800 1464 467900 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2914 c Elapsed CPU time: 81.8506 s Remaining CPU time: 98.1494 s c =============================================================================== c | 28 | 800 1465 468600 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2913 c Elapsed CPU time: 82.0935 s Remaining CPU time: 97.9065 s c =============================================================================== c | 28 | 800 1466 469300 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2912 c Elapsed CPU time: 82.3585 s Remaining CPU time: 97.6415 s c =============================================================================== c | 28 | 800 1467 470000 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2911 c Elapsed CPU time: 82.6024 s Remaining CPU time: 97.3976 s c =============================================================================== c | 28 | 800 1468 470700 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2910 c Elapsed CPU time: 82.8664 s Remaining CPU time: 97.1336 s c =============================================================================== c | 28 | 800 1469 471400 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2909 c Elapsed CPU time: 83.1384 s Remaining CPU time: 96.8616 s c =============================================================================== c | 28 | 800 1470 472100 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2908 c Elapsed CPU time: 83.4033 s Remaining CPU time: 96.5967 s c =============================================================================== c | 28 | 800 1471 472800 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2907 c Elapsed CPU time: 83.6573 s Remaining CPU time: 96.3427 s c =============================================================================== c | 28 | 800 1472 473500 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2906 c Elapsed CPU time: 83.9002 s Remaining CPU time: 96.0998 s c =============================================================================== c | 28 | 800 1473 474200 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2905 c Elapsed CPU time: 84.1542 s Remaining CPU time: 95.8458 s c =============================================================================== c | 28 | 800 1474 474900 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2904 c Elapsed CPU time: 84.4102 s Remaining CPU time: 95.5898 s c =============================================================================== c | 28 | 800 1475 475600 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2903 c Elapsed CPU time: 84.6621 s Remaining CPU time: 95.3379 s c =============================================================================== c | 28 | 800 1476 476300 | 5000 28 199 | 0.000 % | c =============================================================================== c New solution: 2902 c Elapsed CPU time: 84.9171 s Remaining CPU time: 95.0829 s c =============================================================================== c | 29 | 800 1477 477000 | 5000 29 192 | 0.000 % | c =============================================================================== c New solution: 2901 c Elapsed CPU time: 85.1661 s Remaining CPU time: 94.8339 s c =============================================================================== c | 29 | 800 1478 477700 | 5000 29 192 | 0.000 % | c =============================================================================== c New solution: 2900 c Elapsed CPU time: 85.426 s Remaining CPU time: 94.574 s c =============================================================================== c | 29 | 800 1479 478400 | 5000 29 192 | 0.000 % | c =============================================================================== c New solution: 2899 c Elapsed CPU time: 85.679 s Remaining CPU time: 94.321 s c =============================================================================== c | 29 | 800 1480 479100 | 5000 29 192 | 0.000 % | c =============================================================================== c New solution: 2898 c Elapsed CPU time: 85.9409 s Remaining CPU time: 94.0591 s c =============================================================================== c | 29 | 800 1481 479800 | 5000 29 192 | 0.000 % | c =============================================================================== c New solution: 2897 c Elapsed CPU time: 86.1989 s Remaining CPU time: 93.8011 s c =============================================================================== c | 29 | 800 1482 480500 | 5000 29 192 | 0.000 % | c =============================================================================== c New solution: 2896 c Elapsed CPU time: 86.4589 s Remaining CPU time: 93.5411 s c =============================================================================== c | 29 | 800 1483 481200 | 5000 29 192 | 0.000 % | c =============================================================================== c New solution: 2895 c Elapsed CPU time: 86.7188 s Remaining CPU time: 93.2812 s c =============================================================================== c | 30 | 800 1484 481900 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2894 c Elapsed CPU time: 86.9738 s Remaining CPU time: 93.0262 s c =============================================================================== c | 30 | 800 1485 482600 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2893 c Elapsed CPU time: 87.2367 s Remaining CPU time: 92.7633 s c =============================================================================== c | 30 | 800 1486 483300 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2892 c Elapsed CPU time: 87.4987 s Remaining CPU time: 92.5013 s c =============================================================================== c | 30 | 800 1487 484000 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2891 c Elapsed CPU time: 87.7547 s Remaining CPU time: 92.2453 s c =============================================================================== c | 30 | 800 1488 484700 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2890 c Elapsed CPU time: 88.0046 s Remaining CPU time: 91.9954 s c =============================================================================== c | 30 | 800 1489 485400 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2889 c Elapsed CPU time: 88.2676 s Remaining CPU time: 91.7324 s c =============================================================================== c | 30 | 800 1490 486100 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2888 c Elapsed CPU time: 88.5325 s Remaining CPU time: 91.4675 s c =============================================================================== c | 30 | 800 1491 486800 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2887 c Elapsed CPU time: 88.7815 s Remaining CPU time: 91.2185 s c =============================================================================== c | 30 | 800 1492 487500 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2886 c Elapsed CPU time: 89.0565 s Remaining CPU time: 90.9435 s c =============================================================================== c | 30 | 800 1493 488200 | 5000 30 186 | 0.000 % | c =============================================================================== c New solution: 2885 c Elapsed CPU time: 89.3264 s Remaining CPU time: 90.6736 s c =============================================================================== c | 31 | 800 1494 488900 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2884 c Elapsed CPU time: 89.5904 s Remaining CPU time: 90.4096 s c =============================================================================== c | 31 | 800 1495 489600 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2883 c Elapsed CPU time: 89.8573 s Remaining CPU time: 90.1427 s c =============================================================================== c | 31 | 800 1496 490300 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2882 c Elapsed CPU time: 90.1253 s Remaining CPU time: 89.8747 s c =============================================================================== c | 31 | 800 1497 491000 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2881 c Elapsed CPU time: 90.3663 s Remaining CPU time: 89.6337 s c =============================================================================== c | 31 | 800 1498 491700 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2880 c Elapsed CPU time: 90.6192 s Remaining CPU time: 89.3808 s c =============================================================================== c | 31 | 800 1499 492400 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2879 c Elapsed CPU time: 90.9072 s Remaining CPU time: 89.0928 s c =============================================================================== c | 31 | 800 1500 493100 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2878 c Elapsed CPU time: 91.1891 s Remaining CPU time: 88.8109 s c =============================================================================== c | 31 | 800 1501 493800 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2877 c Elapsed CPU time: 91.4561 s Remaining CPU time: 88.5439 s c =============================================================================== c | 31 | 800 1502 494500 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2876 c Elapsed CPU time: 91.7311 s Remaining CPU time: 88.2689 s c =============================================================================== c | 31 | 800 1503 495200 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2875 c Elapsed CPU time: 91.999 s Remaining CPU time: 88.001 s c =============================================================================== c | 31 | 800 1504 495900 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2874 c Elapsed CPU time: 92.261 s Remaining CPU time: 87.739 s c =============================================================================== c | 31 | 800 1505 496600 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2873 c Elapsed CPU time: 92.5359 s Remaining CPU time: 87.4641 s c =============================================================================== c | 31 | 800 1506 497300 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2872 c Elapsed CPU time: 92.7959 s Remaining CPU time: 87.2041 s c =============================================================================== c | 31 | 800 1507 498000 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2871 c Elapsed CPU time: 93.0738 s Remaining CPU time: 86.9262 s c =============================================================================== c | 31 | 800 1508 498700 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2870 c Elapsed CPU time: 93.3328 s Remaining CPU time: 86.6672 s c =============================================================================== c | 31 | 800 1509 499400 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2869 c Elapsed CPU time: 93.5868 s Remaining CPU time: 86.4132 s c =============================================================================== c | 31 | 800 1510 500100 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2868 c Elapsed CPU time: 93.8417 s Remaining CPU time: 86.1583 s c =============================================================================== c | 31 | 800 1511 500800 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2867 c Elapsed CPU time: 94.1107 s Remaining CPU time: 85.8893 s c =============================================================================== c | 31 | 800 1512 501500 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2866 c Elapsed CPU time: 94.3807 s Remaining CPU time: 85.6193 s c =============================================================================== c | 31 | 800 1513 502200 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2865 c Elapsed CPU time: 94.6476 s Remaining CPU time: 85.3524 s c =============================================================================== c | 31 | 800 1514 502900 | 5000 31 180 | 0.000 % | c =============================================================================== c New solution: 2864 c Elapsed CPU time: 94.9226 s Remaining CPU time: 85.0774 s c =============================================================================== c | 32 | 800 1515 503600 | 5000 32 192 | 0.000 % | c =============================================================================== c New solution: 2863 c Elapsed CPU time: 95.2095 s Remaining CPU time: 84.7905 s c =============================================================================== c | 32 | 800 1516 504300 | 5000 32 192 | 0.000 % | c =============================================================================== c New solution: 2862 c Elapsed CPU time: 95.4885 s Remaining CPU time: 84.5115 s c =============================================================================== c | 32 | 800 1517 505000 | 5000 32 192 | 0.000 % | c =============================================================================== c New solution: 2861 c Elapsed CPU time: 95.7424 s Remaining CPU time: 84.2576 s c =============================================================================== c | 33 | 800 1518 505700 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2860 c Elapsed CPU time: 96.0104 s Remaining CPU time: 83.9896 s c =============================================================================== c | 33 | 800 1519 506400 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2859 c Elapsed CPU time: 96.2764 s Remaining CPU time: 83.7236 s c =============================================================================== c | 33 | 800 1520 507100 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2858 c Elapsed CPU time: 96.5503 s Remaining CPU time: 83.4497 s c =============================================================================== c | 33 | 800 1521 507800 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2857 c Elapsed CPU time: 96.8103 s Remaining CPU time: 83.1897 s c =============================================================================== c | 33 | 800 1522 508500 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2856 c Elapsed CPU time: 97.0892 s Remaining CPU time: 82.9108 s c =============================================================================== c | 33 | 800 1523 509200 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2855 c Elapsed CPU time: 97.3842 s Remaining CPU time: 82.6158 s c =============================================================================== c | 33 | 800 1524 509900 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2854 c Elapsed CPU time: 97.6472 s Remaining CPU time: 82.3528 s c =============================================================================== c | 33 | 800 1525 510600 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2853 c Elapsed CPU time: 97.9061 s Remaining CPU time: 82.0939 s c =============================================================================== c | 33 | 800 1526 511300 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2852 c Elapsed CPU time: 98.1811 s Remaining CPU time: 81.8189 s c =============================================================================== c | 33 | 800 1527 512000 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2851 c Elapsed CPU time: 98.439 s Remaining CPU time: 81.561 s c =============================================================================== c | 33 | 800 1528 512700 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 98.711 s Remaining CPU time: 81.289 s c =============================================================================== c | 33 | 800 1529 513400 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 98.9929 s Remaining CPU time: 81.0071 s c =============================================================================== c | 33 | 800 1530 514100 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 99.2639 s Remaining CPU time: 80.7361 s c =============================================================================== c | 33 | 800 1531 514800 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 99.5279 s Remaining CPU time: 80.4721 s c =============================================================================== c | 33 | 800 1532 515500 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 99.7998 s Remaining CPU time: 80.2002 s c =============================================================================== c | 33 | 800 1533 516200 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 100.089 s Remaining CPU time: 79.9112 s c =============================================================================== c | 33 | 800 1534 516900 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 100.367 s Remaining CPU time: 79.6333 s c =============================================================================== c | 33 | 800 1535 517600 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 100.643 s Remaining CPU time: 79.3573 s c =============================================================================== c | 33 | 800 1536 518300 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 100.918 s Remaining CPU time: 79.0823 s c =============================================================================== c | 33 | 800 1537 519000 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 101.197 s Remaining CPU time: 78.8034 s c =============================================================================== c | 33 | 800 1538 519700 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 101.457 s Remaining CPU time: 78.5434 s c =============================================================================== c | 33 | 800 1539 520400 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 101.74 s Remaining CPU time: 78.2605 s c =============================================================================== c | 33 | 800 1540 521100 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 102.023 s Remaining CPU time: 77.9765 s c =============================================================================== c | 33 | 800 1541 521800 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2837 c Elapsed CPU time: 102.302 s Remaining CPU time: 77.6976 s c =============================================================================== c | 33 | 800 1542 522500 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 102.584 s Remaining CPU time: 77.4156 s c =============================================================================== c | 33 | 800 1543 523200 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 102.854 s Remaining CPU time: 77.1456 s c =============================================================================== c | 33 | 800 1544 523900 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 103.136 s Remaining CPU time: 76.8637 s c =============================================================================== c | 33 | 800 1545 524600 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 103.408 s Remaining CPU time: 76.5917 s c =============================================================================== c | 33 | 800 1546 525300 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 103.678 s Remaining CPU time: 76.3218 s c =============================================================================== c | 33 | 800 1547 526000 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 103.969 s Remaining CPU time: 76.0308 s c =============================================================================== c | 33 | 800 1548 526700 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 104.256 s Remaining CPU time: 75.7438 s c =============================================================================== c | 33 | 800 1549 527400 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 104.532 s Remaining CPU time: 75.4679 s c =============================================================================== c | 33 | 800 1550 528100 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 104.804 s Remaining CPU time: 75.1959 s c =============================================================================== c | 33 | 800 1551 528800 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 105.089 s Remaining CPU time: 74.911 s c =============================================================================== c | 33 | 800 1552 529500 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 105.363 s Remaining CPU time: 74.637 s c =============================================================================== c | 33 | 800 1553 530200 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 105.626 s Remaining CPU time: 74.3741 s c =============================================================================== c | 33 | 800 1554 530900 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 105.926 s Remaining CPU time: 74.0741 s c =============================================================================== c | 33 | 800 1555 531600 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 106.217 s Remaining CPU time: 73.7831 s c =============================================================================== c | 33 | 800 1556 532300 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 106.504 s Remaining CPU time: 73.4962 s c =============================================================================== c | 33 | 800 1557 533000 | 5000 33 186 | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 106.808 s Remaining CPU time: 73.1922 s c =============================================================================== c | 35 | 800 1558 533700 | 5000 35 176 | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 107.087 s Remaining CPU time: 72.9133 s c =============================================================================== c | 36 | 800 1559 534400 | 5000 36 172 | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 107.38 s Remaining CPU time: 72.6203 s c =============================================================================== c | 36 | 800 1560 535100 | 5000 36 172 | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 107.668 s Remaining CPU time: 72.3324 s c =============================================================================== c | 36 | 800 1561 535800 | 5000 36 172 | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 107.934 s Remaining CPU time: 72.0664 s c =============================================================================== c | 37 | 800 1562 536500 | 5000 37 167 | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 108.214 s Remaining CPU time: 71.7865 s c =============================================================================== c | 37 | 800 1563 537200 | 5000 37 167 | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 108.513 s Remaining CPU time: 71.4875 s c =============================================================================== c | 37 | 800 1564 537900 | 5000 37 167 | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 108.822 s Remaining CPU time: 71.1775 s c =============================================================================== c | 38 | 800 1565 538600 | 5000 38 163 | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 109.093 s Remaining CPU time: 70.9066 s c =============================================================================== c | 38 | 800 1566 539300 | 5000 38 163 | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 109.373 s Remaining CPU time: 70.6266 s c =============================================================================== c | 38 | 800 1567 540000 | 5000 38 163 | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 109.657 s Remaining CPU time: 70.3427 s c =============================================================================== c | 39 | 800 1568 540700 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 109.933 s Remaining CPU time: 70.0667 s c =============================================================================== c | 39 | 800 1569 541400 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 110.228 s Remaining CPU time: 69.7718 s c =============================================================================== c | 39 | 800 1570 542100 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 110.507 s Remaining CPU time: 69.4928 s c =============================================================================== c | 39 | 800 1571 542800 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 110.78 s Remaining CPU time: 69.2198 s c =============================================================================== c | 39 | 800 1572 543500 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 111.052 s Remaining CPU time: 68.9479 s c =============================================================================== c | 39 | 800 1573 544200 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 111.338 s Remaining CPU time: 68.6619 s c =============================================================================== c | 39 | 800 1574 544900 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 111.636 s Remaining CPU time: 68.364 s c =============================================================================== c | 39 | 800 1575 545600 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 111.912 s Remaining CPU time: 68.088 s c =============================================================================== c | 39 | 800 1576 546300 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 112.197 s Remaining CPU time: 67.8031 s c =============================================================================== c | 39 | 800 1577 547000 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 112.47 s Remaining CPU time: 67.5301 s c =============================================================================== c | 39 | 800 1578 547700 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 112.757 s Remaining CPU time: 67.2431 s c =============================================================================== c | 39 | 800 1579 548400 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 113.037 s Remaining CPU time: 66.9632 s c =============================================================================== c | 39 | 800 1580 549100 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 113.3 s Remaining CPU time: 66.7002 s c =============================================================================== c | 39 | 800 1581 549800 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 113.585 s Remaining CPU time: 66.4153 s c =============================================================================== c | 39 | 800 1582 550500 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 113.875 s Remaining CPU time: 66.1253 s c =============================================================================== c | 39 | 800 1583 551200 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 114.187 s Remaining CPU time: 65.8134 s c =============================================================================== c | 39 | 800 1584 551900 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 114.476 s Remaining CPU time: 65.5244 s c =============================================================================== c | 39 | 800 1585 552600 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 114.766 s Remaining CPU time: 65.2344 s c =============================================================================== c | 39 | 800 1586 553300 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 115.069 s Remaining CPU time: 64.9315 s c =============================================================================== c | 39 | 800 1587 554000 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 115.368 s Remaining CPU time: 64.6315 s c =============================================================================== c | 39 | 800 1588 554700 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 115.649 s Remaining CPU time: 64.3506 s c =============================================================================== c | 39 | 800 1589 555400 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 115.939 s Remaining CPU time: 64.0606 s c =============================================================================== c | 39 | 800 1590 556100 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 116.234 s Remaining CPU time: 63.7657 s c =============================================================================== c | 39 | 800 1591 556800 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 116.52 s Remaining CPU time: 63.4797 s c =============================================================================== c | 39 | 800 1592 557500 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 116.799 s Remaining CPU time: 63.2008 s c =============================================================================== c | 39 | 800 1593 558200 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 117.084 s Remaining CPU time: 62.9158 s c =============================================================================== c | 39 | 800 1594 558900 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 117.373 s Remaining CPU time: 62.6268 s c =============================================================================== c | 39 | 800 1595 559600 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 117.658 s Remaining CPU time: 62.3419 s c =============================================================================== c | 39 | 800 1596 560300 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 117.951 s Remaining CPU time: 62.0489 s c =============================================================================== c | 39 | 800 1597 561000 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 118.251 s Remaining CPU time: 61.749 s c =============================================================================== c | 39 | 800 1598 561700 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 118.548 s Remaining CPU time: 61.452 s c =============================================================================== c | 39 | 800 1599 562400 | 5000 39 159 | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 118.836 s Remaining CPU time: 61.1641 s c =============================================================================== c | 40 | 800 1600 563100 | 5000 40 156 | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 119.13 s Remaining CPU time: 60.8701 s c =============================================================================== c | 40 | 800 1601 563800 | 5000 40 156 | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 119.424 s Remaining CPU time: 60.5762 s c =============================================================================== c | 42 | 800 1602 564500 | 5000 42 149 | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 119.706 s Remaining CPU time: 60.2942 s c =============================================================================== c | 42 | 800 1603 565200 | 5000 42 149 | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 119.99 s Remaining CPU time: 60.0102 s c =============================================================================== c | 42 | 800 1604 565900 | 5000 42 149 | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 120.265 s Remaining CPU time: 59.7353 s c =============================================================================== c | 43 | 800 1605 566600 | 5000 43 146 | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 120.555 s Remaining CPU time: 59.4453 s c =============================================================================== c | 44 | 800 1606 567300 | 5000 44 143 | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 120.829 s Remaining CPU time: 59.1714 s c =============================================================================== c | 44 | 800 1607 568000 | 5000 44 143 | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 121.114 s Remaining CPU time: 58.8864 s c =============================================================================== c | 44 | 800 1608 568700 | 5000 44 143 | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 121.408 s Remaining CPU time: 58.5925 s c =============================================================================== c | 44 | 800 1609 569400 | 5000 44 143 | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 121.703 s Remaining CPU time: 58.2965 s c =============================================================================== c | 44 | 800 1610 570100 | 5000 44 143 | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 122.023 s Remaining CPU time: 57.9766 s c =============================================================================== c | 46 | 800 1611 570800 | 5000 46 160 | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 122.331 s Remaining CPU time: 57.6686 s c =============================================================================== c | 46 | 800 1612 571500 | 5000 46 160 | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 122.644 s Remaining CPU time: 57.3556 s c =============================================================================== c | 46 | 800 1613 572200 | 5000 46 160 | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 122.934 s Remaining CPU time: 57.0657 s c =============================================================================== c | 46 | 800 1614 572900 | 5000 46 160 | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 123.223 s Remaining CPU time: 56.7767 s c =============================================================================== c | 47 | 800 1615 573600 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 123.521 s Remaining CPU time: 56.4788 s c =============================================================================== c | 47 | 800 1616 574300 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 123.812 s Remaining CPU time: 56.1878 s c =============================================================================== c | 47 | 800 1617 575000 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 124.13 s Remaining CPU time: 55.8699 s c =============================================================================== c | 47 | 800 1618 575700 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 124.435 s Remaining CPU time: 55.5649 s c =============================================================================== c | 47 | 800 1619 576400 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 124.732 s Remaining CPU time: 55.268 s c =============================================================================== c | 47 | 800 1620 577100 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 125.045 s Remaining CPU time: 54.955 s c =============================================================================== c | 47 | 800 1621 577800 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 125.352 s Remaining CPU time: 54.6481 s c =============================================================================== c | 47 | 800 1622 578500 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 125.661 s Remaining CPU time: 54.3391 s c =============================================================================== c | 47 | 800 1623 579200 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 125.937 s Remaining CPU time: 54.0631 s c =============================================================================== c | 47 | 800 1624 579900 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 126.25 s Remaining CPU time: 53.7502 s c =============================================================================== c | 47 | 800 1625 580600 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 126.565 s Remaining CPU time: 53.4352 s c =============================================================================== c | 47 | 800 1626 581300 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 126.87 s Remaining CPU time: 53.1303 s c =============================================================================== c | 47 | 800 1627 582000 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 127.171 s Remaining CPU time: 52.8293 s c =============================================================================== c | 47 | 800 1628 582700 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 127.469 s Remaining CPU time: 52.5314 s c =============================================================================== c | 47 | 800 1629 583400 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 127.759 s Remaining CPU time: 52.2414 s c =============================================================================== c | 47 | 800 1630 584100 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 128.057 s Remaining CPU time: 51.9435 s c =============================================================================== c | 47 | 800 1631 584800 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 128.355 s Remaining CPU time: 51.6445 s c =============================================================================== c | 47 | 800 1632 585500 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 128.657 s Remaining CPU time: 51.3426 s c =============================================================================== c | 47 | 800 1633 586200 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 128.969 s Remaining CPU time: 51.0306 s c =============================================================================== c | 47 | 800 1634 586900 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 129.273 s Remaining CPU time: 50.7267 s c =============================================================================== c | 47 | 800 1635 587600 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 129.587 s Remaining CPU time: 50.4127 s c =============================================================================== c | 47 | 800 1636 588300 | 5000 47 168 | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 129.908 s Remaining CPU time: 50.0917 s c =============================================================================== c | 49 | 800 1637 589000 | 5000 49 161 | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 130.166 s Remaining CPU time: 49.8338 s c =============================================================================== c | 49 | 800 1638 589700 | 5000 49 161 | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 130.413 s Remaining CPU time: 49.5868 s c =============================================================================== c | 49 | 800 1639 590400 | 5000 49 161 | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 130.643 s Remaining CPU time: 49.3569 s c =============================================================================== c | 49 | 800 1640 591100 | 5000 49 161 | 0.000 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 130.864 s Remaining CPU time: 49.1359 s c =============================================================================== c | 49 | 800 1641 591800 | 5000 49 161 | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 131.106 s Remaining CPU time: 48.8939 s c =============================================================================== c | 49 | 800 1642 592500 | 5000 49 161 | 0.000 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 131.365 s Remaining CPU time: 48.635 s c =============================================================================== c | 49 | 800 1643 593200 | 5000 49 161 | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 131.615 s Remaining CPU time: 48.385 s c =============================================================================== c | 50 | 800 1644 593900 | 5000 50 158 | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 131.881 s Remaining CPU time: 48.119 s c =============================================================================== c | 50 | 800 1645 594600 | 5000 50 158 | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 132.171 s Remaining CPU time: 47.8291 s c =============================================================================== c | 50 | 800 1646 595300 | 5000 50 158 | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 132.416 s Remaining CPU time: 47.5841 s c =============================================================================== c | 50 | 800 1647 596000 | 5000 50 158 | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 132.661 s Remaining CPU time: 47.3392 s c =============================================================================== c | 50 | 800 1648 596700 | 5000 50 158 | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 132.907 s Remaining CPU time: 47.0932 s c =============================================================================== c | 50 | 800 1649 597400 | 5000 50 158 | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 133.172 s Remaining CPU time: 46.8282 s c =============================================================================== c | 50 | 800 1650 598100 | 5000 50 158 | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 133.434 s Remaining CPU time: 46.5663 s c =============================================================================== c | 50 | 800 1651 598800 | 5000 50 158 | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 133.666 s Remaining CPU time: 46.3343 s c =============================================================================== c | 50 | 800 1652 599500 | 5000 50 158 | 0.000 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 133.903 s Remaining CPU time: 46.0974 s c =============================================================================== c | 51 | 800 1653 600200 | 5000 51 155 | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 134.162 s Remaining CPU time: 45.8384 s c =============================================================================== c | 52 | 800 1654 600900 | 5000 52 163 | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 134.398 s Remaining CPU time: 45.6024 s c =============================================================================== c | 52 | 800 1655 601600 | 5000 52 163 | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 134.66 s Remaining CPU time: 45.3405 s c =============================================================================== c | 52 | 800 1656 602300 | 5000 52 163 | 0.000 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 134.91 s Remaining CPU time: 45.0895 s c =============================================================================== c | 52 | 800 1657 603000 | 5000 52 163 | 0.000 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 135.145 s Remaining CPU time: 44.8545 s c =============================================================================== c | 52 | 800 1658 603700 | 5000 52 163 | 0.000 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 135.412 s Remaining CPU time: 44.5876 s c =============================================================================== c | 53 | 800 1659 604400 | 5000 53 169 | 0.000 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 135.653 s Remaining CPU time: 44.3466 s c =============================================================================== c | 53 | 800 1660 605100 | 5000 53 169 | 0.000 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 135.914 s Remaining CPU time: 44.0857 s c =============================================================================== c | 53 | 800 1661 605800 | 5000 53 169 | 0.000 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 136.179 s Remaining CPU time: 43.8207 s c =============================================================================== c | 53 | 800 1662 606500 | 5000 53 169 | 0.000 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 136.427 s Remaining CPU time: 43.5727 s c =============================================================================== c | 53 | 800 1663 607200 | 5000 53 169 | 0.000 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 136.688 s Remaining CPU time: 43.3118 s c =============================================================================== c | 53 | 800 1664 607900 | 5000 53 169 | 0.000 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 136.938 s Remaining CPU time: 43.0618 s c =============================================================================== c | 53 | 800 1665 608600 | 5000 53 169 | 0.000 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 137.199 s Remaining CPU time: 42.8009 s c =============================================================================== c | 53 | 800 1666 609300 | 5000 53 169 | 0.000 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 137.458 s Remaining CPU time: 42.5419 s c =============================================================================== c | 54 | 800 1667 610000 | 5000 54 176 | 0.000 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 137.72 s Remaining CPU time: 42.2799 s c =============================================================================== c | 55 | 800 1668 610700 | 5000 55 183 | 0.000 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 137.977 s Remaining CPU time: 42.023 s c =============================================================================== c | 55 | 800 1669 611400 | 5000 55 183 | 0.000 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 138.222 s Remaining CPU time: 41.778 s c =============================================================================== c | 55 | 800 1670 612100 | 5000 55 183 | 0.000 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 138.469 s Remaining CPU time: 41.5311 s c =============================================================================== c | 55 | 800 1671 612800 | 5000 55 183 | 0.000 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 138.715 s Remaining CPU time: 41.2851 s c =============================================================================== c | 55 | 800 1672 613500 | 5000 55 183 | 0.000 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 138.97 s Remaining CPU time: 41.0301 s c =============================================================================== c | 55 | 800 1673 614200 | 5000 55 183 | 0.000 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 139.235 s Remaining CPU time: 40.7652 s c =============================================================================== c | 56 | 800 1674 614900 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 139.48 s Remaining CPU time: 40.5202 s c =============================================================================== c | 56 | 800 1675 615600 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 139.723 s Remaining CPU time: 40.2772 s c =============================================================================== c | 56 | 800 1676 616300 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 139.995 s Remaining CPU time: 40.0053 s c =============================================================================== c | 56 | 800 1677 617000 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 140.283 s Remaining CPU time: 39.7173 s c =============================================================================== c | 56 | 800 1678 617700 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 140.55 s Remaining CPU time: 39.4504 s c =============================================================================== c | 56 | 800 1679 618400 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 140.817 s Remaining CPU time: 39.1834 s c =============================================================================== c | 56 | 800 1680 619100 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 141.073 s Remaining CPU time: 38.9274 s c =============================================================================== c | 56 | 800 1681 619800 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 141.318 s Remaining CPU time: 38.6825 s c =============================================================================== c | 56 | 800 1682 620500 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 141.574 s Remaining CPU time: 38.4255 s c =============================================================================== c | 56 | 800 1683 621200 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 141.805 s Remaining CPU time: 38.1946 s c =============================================================================== c | 56 | 800 1684 621900 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 142.055 s Remaining CPU time: 37.9446 s c =============================================================================== c | 56 | 800 1685 622600 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 142.313 s Remaining CPU time: 37.6866 s c =============================================================================== c | 56 | 800 1686 623300 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 142.567 s Remaining CPU time: 37.4327 s c =============================================================================== c | 56 | 800 1687 624000 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 142.801 s Remaining CPU time: 37.1987 s c =============================================================================== c | 56 | 800 1688 624700 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 143.062 s Remaining CPU time: 36.9377 s c =============================================================================== c | 56 | 800 1689 625400 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 143.316 s Remaining CPU time: 36.6838 s c =============================================================================== c | 56 | 800 1690 626100 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 143.571 s Remaining CPU time: 36.4288 s c =============================================================================== c | 56 | 800 1691 626800 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 143.824 s Remaining CPU time: 36.1759 s c =============================================================================== c | 56 | 800 1692 627500 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 144.066 s Remaining CPU time: 35.9339 s c =============================================================================== c | 56 | 800 1693 628200 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 144.335 s Remaining CPU time: 35.6649 s c =============================================================================== c | 56 | 800 1694 628900 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 144.6 s Remaining CPU time: 35.4 s c =============================================================================== c | 56 | 800 1695 629600 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 144.847 s Remaining CPU time: 35.153 s c =============================================================================== c | 56 | 800 1696 630300 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 145.104 s Remaining CPU time: 34.8961 s c =============================================================================== c | 56 | 800 1697 631000 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 145.37 s Remaining CPU time: 34.6301 s c =============================================================================== c | 56 | 800 1698 631700 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2680 c Elapsed CPU time: 145.613 s Remaining CPU time: 34.3871 s c =============================================================================== c | 56 | 800 1699 632400 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2679 c Elapsed CPU time: 145.866 s Remaining CPU time: 34.1342 s c =============================================================================== c | 56 | 800 1700 633100 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2678 c Elapsed CPU time: 146.119 s Remaining CPU time: 33.8812 s c =============================================================================== c | 56 | 800 1701 633800 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2677 c Elapsed CPU time: 146.384 s Remaining CPU time: 33.6163 s c =============================================================================== c | 56 | 800 1702 634500 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2676 c Elapsed CPU time: 146.63 s Remaining CPU time: 33.3703 s c =============================================================================== c | 56 | 800 1703 635200 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2675 c Elapsed CPU time: 146.894 s Remaining CPU time: 33.1063 s c =============================================================================== c | 56 | 800 1704 635900 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2674 c Elapsed CPU time: 147.164 s Remaining CPU time: 32.8364 s c =============================================================================== c | 56 | 800 1705 636600 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2673 c Elapsed CPU time: 147.41 s Remaining CPU time: 32.5904 s c =============================================================================== c | 56 | 800 1706 637300 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2672 c Elapsed CPU time: 147.67 s Remaining CPU time: 32.3305 s c =============================================================================== c | 56 | 800 1707 638000 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2671 c Elapsed CPU time: 147.924 s Remaining CPU time: 32.0765 s c =============================================================================== c | 56 | 800 1708 638700 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2670 c Elapsed CPU time: 148.185 s Remaining CPU time: 31.8145 s c =============================================================================== c | 56 | 800 1709 639400 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2669 c Elapsed CPU time: 148.45 s Remaining CPU time: 31.5496 s c =============================================================================== c | 56 | 800 1710 640100 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2668 c Elapsed CPU time: 148.713 s Remaining CPU time: 31.2866 s c =============================================================================== c | 56 | 800 1711 640800 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2667 c Elapsed CPU time: 148.982 s Remaining CPU time: 31.0176 s c =============================================================================== c | 56 | 800 1712 641500 | 5000 56 179 | 0.000 % | c =============================================================================== c New solution: 2666 c Elapsed CPU time: 149.245 s Remaining CPU time: 30.7547 s c =============================================================================== c | 57 | 800 1713 642200 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2665 c Elapsed CPU time: 149.51 s Remaining CPU time: 30.4897 s c =============================================================================== c | 57 | 800 1714 642900 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2664 c Elapsed CPU time: 149.772 s Remaining CPU time: 30.2278 s c =============================================================================== c | 57 | 800 1715 643600 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2663 c Elapsed CPU time: 150.037 s Remaining CPU time: 29.9628 s c =============================================================================== c | 57 | 800 1716 644300 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2662 c Elapsed CPU time: 150.274 s Remaining CPU time: 29.7258 s c =============================================================================== c | 57 | 800 1717 645000 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2661 c Elapsed CPU time: 150.521 s Remaining CPU time: 29.4789 s c =============================================================================== c | 57 | 800 1718 645700 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2660 c Elapsed CPU time: 150.769 s Remaining CPU time: 29.2309 s c =============================================================================== c | 57 | 800 1719 646400 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2659 c Elapsed CPU time: 151.012 s Remaining CPU time: 28.988 s c =============================================================================== c | 57 | 800 1720 647100 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2658 c Elapsed CPU time: 151.268 s Remaining CPU time: 28.732 s c =============================================================================== c | 57 | 800 1721 647800 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2657 c Elapsed CPU time: 151.506 s Remaining CPU time: 28.494 s c =============================================================================== c | 57 | 800 1722 648500 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2656 c Elapsed CPU time: 151.775 s Remaining CPU time: 28.2251 s c =============================================================================== c | 57 | 800 1723 649200 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2655 c Elapsed CPU time: 152.024 s Remaining CPU time: 27.9761 s c =============================================================================== c | 57 | 800 1724 649900 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2654 c Elapsed CPU time: 152.299 s Remaining CPU time: 27.7012 s c =============================================================================== c | 57 | 800 1725 650600 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2653 c Elapsed CPU time: 152.562 s Remaining CPU time: 27.4382 s c =============================================================================== c | 57 | 800 1726 651300 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2652 c Elapsed CPU time: 152.817 s Remaining CPU time: 27.1832 s c =============================================================================== c | 57 | 800 1727 652000 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2651 c Elapsed CPU time: 153.071 s Remaining CPU time: 26.9293 s c =============================================================================== c | 57 | 800 1728 652700 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2650 c Elapsed CPU time: 153.354 s Remaining CPU time: 26.6463 s c =============================================================================== c | 57 | 800 1729 653400 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2649 c Elapsed CPU time: 153.604 s Remaining CPU time: 26.3964 s c =============================================================================== c | 57 | 800 1730 654100 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2648 c Elapsed CPU time: 153.879 s Remaining CPU time: 26.1214 s c =============================================================================== c | 57 | 800 1731 654800 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2647 c Elapsed CPU time: 154.129 s Remaining CPU time: 25.8714 s c =============================================================================== c | 57 | 800 1732 655500 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2646 c Elapsed CPU time: 154.4 s Remaining CPU time: 25.6005 s c =============================================================================== c | 57 | 800 1733 656200 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2645 c Elapsed CPU time: 154.65 s Remaining CPU time: 25.3495 s c =============================================================================== c | 57 | 800 1734 656900 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2644 c Elapsed CPU time: 154.923 s Remaining CPU time: 25.0766 s c =============================================================================== c | 57 | 800 1735 657600 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2643 c Elapsed CPU time: 155.223 s Remaining CPU time: 24.7766 s c =============================================================================== c | 57 | 800 1736 658300 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2642 c Elapsed CPU time: 155.5 s Remaining CPU time: 24.4996 s c =============================================================================== c | 57 | 800 1737 659000 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2641 c Elapsed CPU time: 155.79 s Remaining CPU time: 24.2097 s c =============================================================================== c | 57 | 800 1738 659700 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2640 c Elapsed CPU time: 156.052 s Remaining CPU time: 23.9477 s c =============================================================================== c | 57 | 800 1739 660400 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2639 c Elapsed CPU time: 156.326 s Remaining CPU time: 23.6738 s c =============================================================================== c | 57 | 800 1740 661100 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2638 c Elapsed CPU time: 156.616 s Remaining CPU time: 23.3838 s c =============================================================================== c | 57 | 800 1741 661800 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2637 c Elapsed CPU time: 156.894 s Remaining CPU time: 23.1059 s c =============================================================================== c | 57 | 800 1742 662500 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2636 c Elapsed CPU time: 157.151 s Remaining CPU time: 22.8489 s c =============================================================================== c | 57 | 800 1743 663200 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2635 c Elapsed CPU time: 157.414 s Remaining CPU time: 22.5859 s c =============================================================================== c | 57 | 800 1744 663900 | 5000 57 176 | 0.000 % | c =============================================================================== c New solution: 2634 c Elapsed CPU time: 157.686 s Remaining CPU time: 22.314 s c =============================================================================== c | 60 | 800 1745 664600 | 5000 60 169 | 0.000 % | c =============================================================================== c New solution: 2633 c Elapsed CPU time: 157.956 s Remaining CPU time: 22.044 s c =============================================================================== c | 60 | 800 1746 665300 | 5000 60 169 | 0.000 % | c =============================================================================== c New solution: 2632 c Elapsed CPU time: 158.224 s Remaining CPU time: 21.7761 s c =============================================================================== c | 60 | 800 1747 666000 | 5000 60 169 | 0.000 % | c =============================================================================== c New solution: 2631 c Elapsed CPU time: 158.463 s Remaining CPU time: 21.5371 s c =============================================================================== c | 61 | 800 1748 666700 | 5000 61 166 | 0.000 % | c =============================================================================== c New solution: 2630 c Elapsed CPU time: 158.721 s Remaining CPU time: 21.2791 s c =============================================================================== c | 63 | 800 1749 667400 | 5000 63 169 | 0.000 % | c =============================================================================== c New solution: 2629 c Elapsed CPU time: 158.98 s Remaining CPU time: 21.0202 s c =============================================================================== c | 64 | 800 1750 668100 | 5000 64 174 | 0.000 % | c =============================================================================== c New solution: 2628 c Elapsed CPU time: 159.263 s Remaining CPU time: 20.7372 s c =============================================================================== c | 65 | 800 1751 668800 | 5000 65 179 | 0.000 % | c =============================================================================== c New solution: 2627 c Elapsed CPU time: 159.574 s Remaining CPU time: 20.4263 s c =============================================================================== c | 66 | 800 1752 669500 | 5000 66 177 | 0.000 % | c =============================================================================== c New solution: 2626 c Elapsed CPU time: 159.853 s Remaining CPU time: 20.1473 s c =============================================================================== c | 66 | 800 1753 670200 | 5000 66 177 | 0.000 % | c =============================================================================== c New solution: 2625 c Elapsed CPU time: 160.133 s Remaining CPU time: 19.8673 s c =============================================================================== c | 67 | 800 1754 670900 | 5000 67 182 | 0.000 % | c =============================================================================== c New solution: 2624 c Elapsed CPU time: 160.387 s Remaining CPU time: 19.6134 s c =============================================================================== c | 68 | 800 1755 671600 | 5000 68 179 | 0.000 % | c =============================================================================== c New solution: 2623 c Elapsed CPU time: 160.645 s Remaining CPU time: 19.3554 s c =============================================================================== c | 68 | 800 1756 672300 | 5000 68 179 | 0.000 % | c =============================================================================== c New solution: 2622 c Elapsed CPU time: 160.949 s Remaining CPU time: 19.0515 s c =============================================================================== c | 72 | 800 1757 673000 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2621 c Elapsed CPU time: 161.225 s Remaining CPU time: 18.7745 s c =============================================================================== c | 72 | 800 1758 673700 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2620 c Elapsed CPU time: 161.482 s Remaining CPU time: 18.5175 s c =============================================================================== c | 72 | 800 1759 674400 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2619 c Elapsed CPU time: 161.733 s Remaining CPU time: 18.2666 s c =============================================================================== c | 72 | 800 1760 675100 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2618 c Elapsed CPU time: 161.997 s Remaining CPU time: 18.0026 s c =============================================================================== c | 72 | 800 1761 675800 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2617 c Elapsed CPU time: 162.261 s Remaining CPU time: 17.7387 s c =============================================================================== c | 72 | 800 1762 676500 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2616 c Elapsed CPU time: 162.518 s Remaining CPU time: 17.4817 s c =============================================================================== c | 72 | 800 1763 677200 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2615 c Elapsed CPU time: 162.812 s Remaining CPU time: 17.1878 s c =============================================================================== c | 72 | 800 1764 677900 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2614 c Elapsed CPU time: 163.091 s Remaining CPU time: 16.9088 s c =============================================================================== c | 72 | 800 1765 678600 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2613 c Elapsed CPU time: 163.369 s Remaining CPU time: 16.6308 s c =============================================================================== c | 72 | 800 1766 679300 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2612 c Elapsed CPU time: 163.65 s Remaining CPU time: 16.3499 s c =============================================================================== c | 72 | 800 1767 680000 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2611 c Elapsed CPU time: 163.927 s Remaining CPU time: 16.0729 s c =============================================================================== c | 72 | 800 1768 680700 | 5000 72 191 | 0.000 % | c =============================================================================== c New solution: 2610 c Elapsed CPU time: 164.175 s Remaining CPU time: 15.825 s c =============================================================================== c | 73 | 800 1769 681400 | 5000 73 188 | 0.000 % | c =============================================================================== c New solution: 2609 c Elapsed CPU time: 164.456 s Remaining CPU time: 15.544 s c =============================================================================== c | 73 | 800 1770 682100 | 5000 73 188 | 0.000 % | c =============================================================================== c New solution: 2608 c Elapsed CPU time: 164.74 s Remaining CPU time: 15.26 s c =============================================================================== c | 73 | 800 1771 682800 | 5000 73 188 | 0.000 % | c =============================================================================== c New solution: 2607 c Elapsed CPU time: 165.038 s Remaining CPU time: 14.9621 s c =============================================================================== c | 73 | 800 1772 683500 | 5000 73 188 | 0.000 % | c =============================================================================== c New solution: 2606 c Elapsed CPU time: 165.343 s Remaining CPU time: 14.6571 s c =============================================================================== c | 74 | 800 1773 684200 | 5000 74 186 | 0.000 % | c =============================================================================== c New solution: 2605 c Elapsed CPU time: 165.609 s Remaining CPU time: 14.3912 s c =============================================================================== c | 74 | 800 1774 684900 | 5000 74 186 | 0.000 % | c =============================================================================== c New solution: 2604 c Elapsed CPU time: 165.907 s Remaining CPU time: 14.0932 s c =============================================================================== c | 74 | 800 1775 685600 | 5000 74 186 | 0.000 % | c =============================================================================== c New solution: 2603 c Elapsed CPU time: 166.216 s Remaining CPU time: 13.7843 s c =============================================================================== c | 74 | 800 1776 686300 | 5000 74 186 | 0.000 % | c =============================================================================== c New solution: 2602 c Elapsed CPU time: 166.486 s Remaining CPU time: 13.5143 s c =============================================================================== c | 74 | 800 1777 687000 | 5000 74 186 | 0.000 % | c =============================================================================== c New solution: 2601 c Elapsed CPU time: 166.76 s Remaining CPU time: 13.2404 s c =============================================================================== c | 75 | 800 1778 687700 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2600 c Elapsed CPU time: 167.039 s Remaining CPU time: 12.9614 s c =============================================================================== c | 75 | 800 1779 688400 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2599 c Elapsed CPU time: 167.317 s Remaining CPU time: 12.6834 s c =============================================================================== c | 75 | 800 1780 689100 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2598 c Elapsed CPU time: 167.599 s Remaining CPU time: 12.4015 s c =============================================================================== c | 75 | 800 1781 689800 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2597 c Elapsed CPU time: 167.884 s Remaining CPU time: 12.1155 s c =============================================================================== c | 75 | 800 1782 690500 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2596 c Elapsed CPU time: 168.143 s Remaining CPU time: 11.8566 s c =============================================================================== c | 75 | 800 1783 691200 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2595 c Elapsed CPU time: 168.423 s Remaining CPU time: 11.5766 s c =============================================================================== c | 75 | 800 1784 691900 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2594 c Elapsed CPU time: 168.695 s Remaining CPU time: 11.3046 s c =============================================================================== c | 75 | 800 1785 692600 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2593 c Elapsed CPU time: 168.98 s Remaining CPU time: 11.0197 s c =============================================================================== c | 75 | 800 1786 693300 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2592 c Elapsed CPU time: 169.259 s Remaining CPU time: 10.7407 s c =============================================================================== c | 75 | 800 1787 694000 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2591 c Elapsed CPU time: 169.531 s Remaining CPU time: 10.4688 s c =============================================================================== c | 75 | 800 1788 694700 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2590 c Elapsed CPU time: 169.798 s Remaining CPU time: 10.2018 s c =============================================================================== c | 75 | 800 1789 695400 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2589 c Elapsed CPU time: 170.089 s Remaining CPU time: 9.91086 s c =============================================================================== c | 75 | 800 1790 696100 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2588 c Elapsed CPU time: 170.353 s Remaining CPU time: 9.6469 s c =============================================================================== c | 75 | 800 1791 696800 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2587 c Elapsed CPU time: 170.615 s Remaining CPU time: 9.38494 s c =============================================================================== c | 75 | 800 1792 697500 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2586 c Elapsed CPU time: 170.882 s Remaining CPU time: 9.11798 s c =============================================================================== c | 75 | 800 1793 698200 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2585 c Elapsed CPU time: 171.136 s Remaining CPU time: 8.86402 s c =============================================================================== c | 75 | 800 1794 698900 | 5000 75 183 | 0.000 % | c =============================================================================== c New solution: 2584 c Elapsed CPU time: 171.418 s Remaining CPU time: 8.58206 s c =============================================================================== c | 76 | 800 1795 699600 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2583 c Elapsed CPU time: 171.688 s Remaining CPU time: 8.3121 s c =============================================================================== c | 76 | 800 1796 700300 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2582 c Elapsed CPU time: 171.978 s Remaining CPU time: 8.02214 s c =============================================================================== c | 76 | 800 1797 701000 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2581 c Elapsed CPU time: 172.272 s Remaining CPU time: 7.72819 s c =============================================================================== c | 76 | 800 1798 701700 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2580 c Elapsed CPU time: 172.56 s Remaining CPU time: 7.44023 s c =============================================================================== c | 76 | 800 1799 702400 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2579 c Elapsed CPU time: 172.825 s Remaining CPU time: 7.17527 s c =============================================================================== c | 76 | 800 1800 703100 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2578 c Elapsed CPU time: 173.124 s Remaining CPU time: 6.87632 s c =============================================================================== c | 76 | 800 1801 703800 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2577 c Elapsed CPU time: 173.414 s Remaining CPU time: 6.58636 s c =============================================================================== c | 76 | 800 1802 704500 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2576 c Elapsed CPU time: 173.695 s Remaining CPU time: 6.30541 s c =============================================================================== c | 76 | 800 1803 705200 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2575 c Elapsed CPU time: 173.95 s Remaining CPU time: 6.05044 s c =============================================================================== c | 76 | 800 1804 705900 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2574 c Elapsed CPU time: 174.216 s Remaining CPU time: 5.78448 s c =============================================================================== c | 76 | 800 1805 706600 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2573 c Elapsed CPU time: 174.503 s Remaining CPU time: 5.49653 s c =============================================================================== c | 76 | 800 1806 707300 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2572 c Elapsed CPU time: 174.791 s Remaining CPU time: 5.20857 s c =============================================================================== c | 76 | 800 1807 708000 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2571 c Elapsed CPU time: 175.071 s Remaining CPU time: 4.92862 s c =============================================================================== c | 76 | 800 1808 708700 | 5000 76 181 | 0.000 % | c =============================================================================== c New solution: 2570 c Elapsed CPU time: 175.355 s Remaining CPU time: 4.64466 s c =============================================================================== c | 77 | 800 1809 709400 | 5000 77 179 | 0.000 % | c =============================================================================== c New solution: 2569 c Elapsed CPU time: 175.624 s Remaining CPU time: 4.3757 s c =============================================================================== c | 78 | 800 1810 710100 | 5000 78 177 | 0.000 % | c =============================================================================== c New solution: 2568 c Elapsed CPU time: 175.909 s Remaining CPU time: 4.09074 s c =============================================================================== c | 78 | 800 1811 710800 | 5000 78 177 | 0.000 % | c =============================================================================== c New solution: 2567 c Elapsed CPU time: 176.201 s Remaining CPU time: 3.79879 s c =============================================================================== c | 78 | 800 1812 711500 | 5000 78 177 | 0.000 % | c =============================================================================== c New solution: 2566 c Elapsed CPU time: 176.46 s Remaining CPU time: 3.53983 s c =============================================================================== c | 79 | 800 1813 712200 | 5000 79 174 | 0.000 % | c =============================================================================== c New solution: 2565 c Elapsed CPU time: 176.734 s Remaining CPU time: 3.26587 s c =============================================================================== c | 79 | 800 1814 712900 | 5000 79 174 | 0.000 % | c =============================================================================== c New solution: 2564 c Elapsed CPU time: 177.004 s Remaining CPU time: 2.99591 s c =============================================================================== c | 79 | 800 1815 713600 | 5000 79 174 | 0.000 % | c =============================================================================== c New solution: 2563 c Elapsed CPU time: 177.286 s Remaining CPU time: 2.71395 s c =============================================================================== c | 79 | 800 1816 714300 | 5000 79 174 | 0.000 % | c =============================================================================== c New solution: 2562 c Elapsed CPU time: 177.562 s Remaining CPU time: 2.43799 s c =============================================================================== c | 79 | 800 1817 715000 | 5000 79 174 | 0.000 % | c =============================================================================== c New solution: 2561 c Elapsed CPU time: 177.861 s Remaining CPU time: 2.13904 s c =============================================================================== c | 80 | 800 1818 715700 | 5000 80 172 | 0.000 % | c =============================================================================== c New solution: 2560 c Elapsed CPU time: 178.132 s Remaining CPU time: 1.86808 s c =============================================================================== c | 80 | 800 1819 716400 | 5000 80 172 | 0.000 % | c =============================================================================== c New solution: 2559 c Elapsed CPU time: 178.41 s Remaining CPU time: 1.59012 s c =============================================================================== c | 80 | 800 1820 717100 | 5000 80 172 | 0.000 % | c =============================================================================== c New solution: 2558 c Elapsed CPU time: 178.71 s Remaining CPU time: 1.29017 s c =============================================================================== c | 80 | 800 1821 717800 | 5000 80 172 | 0.000 % | c =============================================================================== c New solution: 2557 c Elapsed CPU time: 178.994 s Remaining CPU time: 1.00621 s c =============================================================================== c | 80 | 800 1822 718500 | 5000 80 172 | 0.000 % | c =============================================================================== c New solution: 2556 c Elapsed CPU time: 179.295 s Remaining CPU time: 0.705257 s c =============================================================================== c | 80 | 800 1823 719200 | 5000 80 172 | 0.000 % | c =============================================================================== c New solution: 2555 c Elapsed CPU time: 179.588 s Remaining CPU time: 0.412302 s c =============================================================================== c | 80 | 800 1824 719900 | 5000 80 172 | 0.000 % | c =============================================================================== c New solution: 2554 c Elapsed CPU time: 179.889 s Remaining CPU time: 0.111348 s c =============================================================================== c | 81 | 800 1825 720600 | 5000 81 170 | 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 2526 3100 | 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 | 362 2739 3387 | 5000 0 nan | 0.000 % | c | 102 | 361 2739 3387 | 5500 102 49 | 65.188 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 747 3037 3850 | 5000 0 nan | 0.000 % | c | 103 | 747 3037 3850 | 5500 103 66 | 46.026 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1130 3312 4377 | 5000 0 nan | 0.000 % | c | 100 | 1130 3312 4377 | 5500 100 40 | 34.607 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1404 3524 4782 | 5000 0 nan | 0.000 % | c | 100 | 1404 3524 4782 | 5500 100 40 | 28.803 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1748 3770 5351 | 5000 0 nan | 0.000 % | c | 101 | 1748 3770 5351 | 5500 101 54 | 23.333 % | c | 253 | 1747 3770 5351 | 6050 122 29 | 23.377 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2235 4073 6210 | 5000 0 nan | 0.000 % | c | 102 | 2235 4073 6210 | 5500 102 33 | 17.831 % | c | 254 | 2235 4073 6210 | 6050 254 32 | 17.831 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2776 4409 7223 | 5000 0 nan | 0.000 % | c | 100 | 2776 4409 7223 | 5500 100 35 | 13.439 % | c | 250 | 2776 4409 7223 | 6050 250 32 | 13.439 % | c | 476 | 2774 4409 7223 | 6655 369 36 | 13.502 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3404 4715 8622 | 5000 0 nan | 0.000 % | c | 101 | 3404 4715 8622 | 5500 101 49 | 9.636 % | c | 252 | 3404 4715 8622 | 6050 252 38 | 9.636 % | c | 477 | 3403 4715 8622 | 6655 355 42 | 9.663 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4109 4963 10388 | 5000 0 nan | 0.000 % | c | 100 | 4109 4963 10388 | 5500 100 32 | 6.677 % | c | 250 | 4109 4963 10388 | 6050 250 31 | 6.677 % | c | 475 | 4109 4963 10388 | 6655 475 29 | 6.677 % | c | 813 | 4109 4963 10388 | 7320 813 29 | 6.677 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4973 5171 12518 | 5000 0 nan | 0.000 % | c | 100 | 4973 5171 12518 | 5500 100 26 | 4.439 % | c | 250 | 4973 5171 12518 | 6050 250 24 | 4.439 % | c | 476 | 4973 5171 12518 | 6655 476 24 | 4.439 % | c | 813 | 4973 5171 12518 | 7320 813 28 | 4.439 % | c | 1319 | 4973 5171 12518 | 8052 1319 33 | 4.439 % | c | 2078 | 4973 5171 12518 | 8857 2078 47 | 4.439 % | c | 3218 | 4973 5171 12518 | 9743 3218 42 | 4.439 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6459 5341 16042 | 5000 0 nan | 0.000 % | c | 100 | 6459 5341 16042 | 5500 100 27 | 2.594 % | c | 251 | 6459 5341 16042 | 6050 251 20 | 2.594 % | c | 477 | 6459 5341 16042 | 6655 477 24 | 2.594 % | c | 814 | 6459 5341 16042 | 7320 814 21 | 2.594 % | c | 1322 | 6459 5341 16042 | 8052 1322 28 | 2.594 % | c | 2081 | 6459 5341 16042 | 8857 2081 37 | 2.594 % | c | 3223 | 6459 5341 16042 | 9743 3223 29 | 2.594 % | c | 4931 | 6459 5341 16042 | 10717 4931 41 | 2.594 % | c | 7493 | 6458 5341 16042 | 11789 6183 29 | 2.609 % | c | 11338 | 6458 5341 16042 | 12968 10028 32 | 2.609 % | c | 17104 | 6458 5341 16042 | 14265 9202 52 | 2.609 % | c | 25753 | 6457 5341 16042 | 15692 6700 25 | 2.624 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8870 5457 167090 | 5000 0 nan | 0.000 % | c | 101 | 8870 5457 167090 | 5500 101 37 | 1.280 % | c | 252 | 8870 5457 167090 | 6050 252 20 | 1.280 % | c | 478 | 8870 5457 167090 | 6655 478 16 | 1.280 % | c | 815 | 8870 5457 167090 | 7320 815 26 | 1.280 % | c | 1321 | 8870 5457 167090 | 8052 1321 28 | 1.280 % | c | 2080 | 8870 5457 167090 | 8857 2080 26 | 1.280 % | c | 3219 | 8870 5457 167090 | 9743 3219 28 | 1.280 % | c | 4927 | 8870 5457 167090 | 10717 4927 33 | 1.280 % | c | 7490 | 8870 5457 167090 | 11789 7490 40 | 1.280 % | c | 11337 | 8870 5457 167090 | 12968 11337 46 | 1.280 % | c | 17103 | 8870 5457 167090 | 14265 10518 72 | 1.280 % | c | 25752 | 8870 5457 167090 | 15692 11614 88 | 1.280 % | c | 38727 | 8870 5457 167090 | 17261 8635 22 | 1.280 % | c | 58188 | 8870 5457 167090 | 18987 10375 27 | 1.280 % | c | 87381 | 8870 5457 167090 | 20886 10752 21 | 1.280 % | c | 131171 | 8870 5457 167090 | 22974 11979 43 | 1.280 % | c | 196855 | 8869 5457 167090 | 25272 18697 24 | 1.291 % | c | 295384 | 8868 5457 167090 | 27799 21715 27 | 1.302 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11777 5534 398756 | 5000 0 nan | 0.000 % | c | 100 | 11777 5534 398756 | 5500 100 44 | 0.633 % | c | 250 | 11777 5534 398756 | 6050 250 24 | 0.633 % | c | 475 | 11777 5534 398756 | 6655 475 19 | 0.633 % | c | 812 | 11777 5534 398756 | 7320 812 29 | 0.633 % | c | 1319 | 11777 5534 398756 | 8052 1319 22 | 0.633 % | c | 2080 | 11777 5534 398756 | 8857 2080 31 | 0.633 % | c | 3220 | 11777 5534 398756 | 9743 3220 34 | 0.633 % | c | 4929 | 11777 5534 398756 | 10717 4929 46 | 0.633 % | c | 7494 | 11776 5534 398756 | 11789 6212 35 | 0.641 % | c | 11338 | 11776 5534 398756 | 12968 10056 57 | 0.641 % | c | 17104 | 11776 5534 398756 | 14265 8790 55 | 0.641 % | c | 25754 | 11776 5534 398756 | 15692 17440 127 | 0.641 % | c | 38729 | 11776 5534 398756 | 17261 13026 75 | 0.641 % | c | 58191 | 11776 5534 398756 | 18987 12846 241 | 0.641 % | c | 87383 | 11776 5534 398756 | 20886 12395 44 | 0.641 % | c | 131172 | 11775 5534 398756 | 22974 13588 42 | 0.650 % | c | 196858 | 11775 5534 398756 | 25272 13662 256 | 0.650 % | c | 295388 | 11775 5534 398756 | 27799 19499 75 | 0.650 % | c Memory used : 379.48 MB c CPU time : 1800 s c c Total CPU time: 1800 s