c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3000 | c | Number Clauses: 3000 | 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 | 2992 3008 8822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 2992 3009 11672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 2992 3010 14522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 2992 3011 17372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2992 3012 20222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 2992 3013 23072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 2992 3014 25922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 2992 3015 28772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s c =============================================================================== c | 0 | 2992 3016 31622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 2992 3017 34472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 2992 3018 37322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 2992 3019 40172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 2992 3020 43022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 2992 3021 45872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2837 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 0 | 2992 3022 48722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 2992 3023 51572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 0 | 2992 3024 54422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 2992 3025 57272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 2992 3026 60122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 0 | 2992 3027 62972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 0 | 2992 3028 65822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s c =============================================================================== c | 0 | 2992 3029 68672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 0 | 2992 3030 71522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 0 | 2992 3031 74372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 0 | 2992 3032 77222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 0.287956 s Remaining CPU time: 179.712 s c =============================================================================== c | 0 | 2992 3033 80072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s c =============================================================================== c | 0 | 2992 3034 82922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 2992 3035 85772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 0.357945 s Remaining CPU time: 179.642 s c =============================================================================== c | 0 | 2992 3036 88622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 0.384941 s Remaining CPU time: 179.615 s c =============================================================================== c | 0 | 2992 3037 91472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 0.407937 s Remaining CPU time: 179.592 s c =============================================================================== c | 0 | 2992 3038 94322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 0 | 2992 3039 97172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 0.463929 s Remaining CPU time: 179.536 s c =============================================================================== c | 0 | 2992 3040 100022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 0.494924 s Remaining CPU time: 179.505 s c =============================================================================== c | 0 | 2992 3041 102872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 0.527919 s Remaining CPU time: 179.472 s c =============================================================================== c | 0 | 2992 3042 105722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 0.561914 s Remaining CPU time: 179.438 s c =============================================================================== c | 0 | 2992 3043 108572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 0.594909 s Remaining CPU time: 179.405 s c =============================================================================== c | 0 | 2992 3044 111422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 0.631903 s Remaining CPU time: 179.368 s c =============================================================================== c | 0 | 2992 3045 114272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 0.669898 s Remaining CPU time: 179.33 s c =============================================================================== c | 0 | 2992 3046 117122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 0 | 2992 3047 119972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 0.748886 s Remaining CPU time: 179.251 s c =============================================================================== c | 0 | 2992 3048 122822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 0.792879 s Remaining CPU time: 179.207 s c =============================================================================== c | 0 | 2992 3049 125672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 0.838872 s Remaining CPU time: 179.161 s c =============================================================================== c | 0 | 2992 3050 128522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 0 | 2992 3051 131372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 0.934857 s Remaining CPU time: 179.065 s c =============================================================================== c | 0 | 2992 3052 134222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 0.98585 s Remaining CPU time: 179.014 s c =============================================================================== c | 0 | 2992 3053 137072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 1.03884 s Remaining CPU time: 178.961 s c =============================================================================== c | 0 | 2992 3054 139922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 1.09483 s Remaining CPU time: 178.905 s c =============================================================================== c | 0 | 2992 3055 142772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 0 | 2992 3056 145622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 1.21081 s Remaining CPU time: 178.789 s c =============================================================================== c | 0 | 2992 3057 148472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 1.27281 s Remaining CPU time: 178.727 s c =============================================================================== c | 0 | 2992 3058 151322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 1.3358 s Remaining CPU time: 178.664 s c =============================================================================== c | 0 | 2992 3059 154172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 1.39879 s Remaining CPU time: 178.601 s c =============================================================================== c | 0 | 2992 3060 157022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 1.46378 s Remaining CPU time: 178.536 s c =============================================================================== c | 0 | 2992 3061 159872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 1.53077 s Remaining CPU time: 178.469 s c =============================================================================== c | 0 | 2992 3062 162722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s c =============================================================================== c | 0 | 2992 3063 165572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 1.66875 s Remaining CPU time: 178.331 s c =============================================================================== c | 0 | 2992 3064 168422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 1.73774 s Remaining CPU time: 178.262 s c =============================================================================== c | 0 | 2992 3065 171272 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 1.80972 s Remaining CPU time: 178.19 s c =============================================================================== c | 0 | 2992 3066 174122 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 1.88371 s Remaining CPU time: 178.116 s c =============================================================================== c | 0 | 2992 3067 176972 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 1.9647 s Remaining CPU time: 178.035 s c =============================================================================== c | 0 | 2992 3068 179822 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 2.04369 s Remaining CPU time: 177.956 s c =============================================================================== c | 0 | 2992 3069 182672 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 2.12668 s Remaining CPU time: 177.873 s c =============================================================================== c | 0 | 2992 3070 185522 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 2.21166 s Remaining CPU time: 177.788 s c =============================================================================== c | 0 | 2992 3071 188372 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 2.29865 s Remaining CPU time: 177.701 s c =============================================================================== c | 0 | 2992 3072 191222 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 2.38364 s Remaining CPU time: 177.616 s c =============================================================================== c | 0 | 2992 3073 194072 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 2.47062 s Remaining CPU time: 177.529 s c =============================================================================== c | 0 | 2992 3074 196922 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 2.56061 s Remaining CPU time: 177.439 s c =============================================================================== c | 0 | 2992 3075 199772 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 2.6546 s Remaining CPU time: 177.345 s c =============================================================================== c | 0 | 2992 3076 202622 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 2.74758 s Remaining CPU time: 177.252 s c =============================================================================== c | 0 | 2992 3077 205472 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 2.84357 s Remaining CPU time: 177.156 s c =============================================================================== c | 0 | 2992 3078 208322 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 2.94055 s Remaining CPU time: 177.059 s c =============================================================================== c | 0 | 2992 3079 211172 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 3.04354 s Remaining CPU time: 176.956 s c =============================================================================== c | 0 | 2992 3080 214022 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 3.14552 s Remaining CPU time: 176.854 s c =============================================================================== c | 0 | 2992 3081 216872 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 3.24851 s Remaining CPU time: 176.751 s c =============================================================================== c | 0 | 2992 3082 219722 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 3.35449 s Remaining CPU time: 176.646 s c =============================================================================== c | 0 | 2992 3083 222572 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 3.46647 s Remaining CPU time: 176.534 s c =============================================================================== c | 0 | 2992 3084 225422 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 3.58146 s Remaining CPU time: 176.419 s c =============================================================================== c | 1 | 2992 3085 228272 | 5000 1 2776 | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 3.69544 s Remaining CPU time: 176.305 s c =============================================================================== c | 1 | 2992 3086 231122 | 5000 1 2776 | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 3.81042 s Remaining CPU time: 176.19 s c =============================================================================== c | 1 | 2992 3087 233972 | 5000 1 2776 | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 3.9274 s Remaining CPU time: 176.073 s c =============================================================================== c | 1 | 2992 3088 236822 | 5000 1 2776 | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 4.04638 s Remaining CPU time: 175.954 s c =============================================================================== c | 1 | 2992 3089 239672 | 5000 1 2776 | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 4.16737 s Remaining CPU time: 175.833 s c =============================================================================== c | 1 | 2992 3090 242522 | 5000 1 2776 | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 4.28935 s Remaining CPU time: 175.711 s c =============================================================================== c | 1 | 2992 3091 245372 | 5000 1 2776 | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 4.41133 s Remaining CPU time: 175.589 s c =============================================================================== c | 1 | 2992 3092 248222 | 5000 1 2776 | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 4.53731 s Remaining CPU time: 175.463 s c =============================================================================== c | 1 | 2992 3093 251072 | 5000 1 2776 | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 4.66529 s Remaining CPU time: 175.335 s c =============================================================================== c | 2 | 2992 3094 253922 | 5000 2 2772 | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 4.80127 s Remaining CPU time: 175.199 s c =============================================================================== c | 2 | 2992 3095 256772 | 5000 2 2772 | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 4.93925 s Remaining CPU time: 175.061 s c =============================================================================== c | 2 | 2992 3096 259622 | 5000 2 2772 | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 5.08623 s Remaining CPU time: 174.914 s c =============================================================================== c | 2 | 2992 3097 262472 | 5000 2 2772 | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 5.2422 s Remaining CPU time: 174.758 s c =============================================================================== c | 2 | 2992 3098 265322 | 5000 2 2772 | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 5.39918 s Remaining CPU time: 174.601 s c =============================================================================== c | 3 | 2992 3099 268172 | 5000 3 2768 | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 5.54816 s Remaining CPU time: 174.452 s c =============================================================================== c | 3 | 2992 3100 271022 | 5000 3 2768 | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 5.70013 s Remaining CPU time: 174.3 s c =============================================================================== c | 3 | 2992 3101 273872 | 5000 3 2768 | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 5.85611 s Remaining CPU time: 174.144 s c =============================================================================== c | 4 | 2992 3102 276722 | 5000 4 2766 | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 6.00609 s Remaining CPU time: 173.994 s c =============================================================================== c | 4 | 2992 3103 279572 | 5000 4 2766 | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 6.16006 s Remaining CPU time: 173.84 s c =============================================================================== c | 5 | 2992 3104 282422 | 5000 5 2764 | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 6.31104 s Remaining CPU time: 173.689 s c =============================================================================== c | 7 | 2992 3105 285272 | 5000 7 2762 | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 6.46902 s Remaining CPU time: 173.531 s c =============================================================================== c | 11 | 2992 3106 288122 | 5000 11 2759 | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 6.63599 s Remaining CPU time: 173.364 s c =============================================================================== c | 11 | 2992 3107 290972 | 5000 11 2759 | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 6.80696 s Remaining CPU time: 173.193 s c =============================================================================== c | 16 | 2992 3108 293822 | 5000 16 2757 | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 6.97494 s Remaining CPU time: 173.025 s c =============================================================================== c | 16 | 2992 3109 296672 | 5000 16 2757 | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 7.14291 s Remaining CPU time: 172.857 s c =============================================================================== c | 16 | 2992 3110 299522 | 5000 16 2757 | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 7.31589 s Remaining CPU time: 172.684 s c =============================================================================== c | 17 | 2992 3111 302372 | 5000 17 2595 | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 7.49586 s Remaining CPU time: 172.504 s c =============================================================================== c | 21 | 2992 3112 305222 | 5000 21 2624 | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 7.66583 s Remaining CPU time: 172.334 s c =============================================================================== c | 22 | 2992 3113 308072 | 5000 22 2630 | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 7.85581 s Remaining CPU time: 172.144 s c =============================================================================== c | 22 | 2992 3114 310922 | 5000 22 2630 | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 8.03978 s Remaining CPU time: 171.96 s c =============================================================================== c | 22 | 2992 3115 313772 | 5000 22 2630 | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 8.21975 s Remaining CPU time: 171.78 s c =============================================================================== c | 22 | 2992 3116 316622 | 5000 22 2630 | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 8.40872 s Remaining CPU time: 171.591 s c =============================================================================== c | 32 | 2992 3117 319472 | 5000 32 2665 | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 8.60069 s Remaining CPU time: 171.399 s c =============================================================================== c | 32 | 2992 3118 322322 | 5000 32 2665 | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 8.79166 s Remaining CPU time: 171.208 s c =============================================================================== c | 36 | 2992 3119 325172 | 5000 36 2674 | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 8.97264 s Remaining CPU time: 171.027 s c =============================================================================== c | 36 | 2992 3120 328022 | 5000 36 2674 | 0.000 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 9.14961 s Remaining CPU time: 170.85 s c =============================================================================== c | 36 | 2992 3121 330872 | 5000 36 2674 | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 9.33058 s Remaining CPU time: 170.669 s c =============================================================================== c | 43 | 2992 3122 333722 | 5000 43 2684 | 0.000 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 9.51255 s Remaining CPU time: 170.487 s c =============================================================================== c | 43 | 2992 3123 336572 | 5000 43 2684 | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 9.69453 s Remaining CPU time: 170.305 s c =============================================================================== c | 47 | 2992 3124 339422 | 5000 47 2689 | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 9.8815 s Remaining CPU time: 170.119 s c =============================================================================== c | 47 | 2992 3125 342272 | 5000 47 2689 | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 10.0825 s Remaining CPU time: 169.918 s c =============================================================================== c | 47 | 2992 3126 345122 | 5000 47 2689 | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 10.2874 s Remaining CPU time: 169.713 s c =============================================================================== c | 47 | 2992 3127 347972 | 5000 47 2689 | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 10.5094 s Remaining CPU time: 169.491 s c =============================================================================== c | 61 | 2992 3128 350822 | 5000 61 2699 | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 10.7314 s Remaining CPU time: 169.269 s c =============================================================================== c | 61 | 2992 3129 353672 | 5000 61 2699 | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 10.9463 s Remaining CPU time: 169.054 s c =============================================================================== c | 61 | 2992 3130 356522 | 5000 61 2699 | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 11.1543 s Remaining CPU time: 168.846 s c =============================================================================== c | 61 | 2992 3131 359372 | 5000 61 2699 | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 11.4113 s Remaining CPU time: 168.589 s c =============================================================================== c | 95 | 2992 3132 362222 | 5000 95 2710 | 0.000 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 11.6422 s Remaining CPU time: 168.358 s c =============================================================================== c | 102 | 2992 3133 365072 | 5000 102 2711 | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 11.8872 s Remaining CPU time: 168.113 s c =============================================================================== c | 102 | 2992 3134 367922 | 5000 102 2711 | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 12.1342 s Remaining CPU time: 167.866 s c =============================================================================== c | 124 | 2992 3135 370772 | 5000 124 2714 | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 12.3531 s Remaining CPU time: 167.647 s c =============================================================================== c | 128 | 2992 3136 373622 | 5000 128 2714 | 0.000 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 12.5791 s Remaining CPU time: 167.421 s c =============================================================================== c | 151 | 2992 3137 376472 | 5000 151 2716 | 0.000 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 12.7911 s Remaining CPU time: 167.209 s c =============================================================================== c | 151 | 2992 3138 379322 | 5000 151 2716 | 0.000 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 13.028 s Remaining CPU time: 166.972 s c =============================================================================== c | 180 | 2992 3139 382172 | 5000 180 2717 | 0.000 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 13.258 s Remaining CPU time: 166.742 s c =============================================================================== c | 180 | 2992 3140 385022 | 5000 180 2717 | 0.000 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 13.5209 s Remaining CPU time: 166.479 s c =============================================================================== c | 202 | 2992 3141 387872 | 5000 202 2717 | 0.000 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 13.8379 s Remaining CPU time: 166.162 s c =============================================================================== c | 250 | 2992 3142 390722 | 5000 250 2718 | 0.000 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 14.0919 s Remaining CPU time: 165.908 s c =============================================================================== c | 256 | 2992 3143 393572 | 5000 256 2718 | 0.000 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 14.3678 s Remaining CPU time: 165.632 s c =============================================================================== c | 292 | 2992 3144 396422 | 5000 292 2718 | 0.000 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 14.6308 s Remaining CPU time: 165.369 s c =============================================================================== c | 297 | 2992 3145 399272 | 5000 297 2718 | 0.000 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 14.8677 s Remaining CPU time: 165.132 s c =============================================================================== c | 298 | 2992 3146 402122 | 5000 298 2718 | 0.000 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 15.1197 s Remaining CPU time: 164.88 s c =============================================================================== c | 319 | 2992 3147 404972 | 5000 319 2717 | 0.000 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 15.3757 s Remaining CPU time: 164.624 s c =============================================================================== c | 334 | 2992 3148 407822 | 5000 334 2717 | 0.000 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 15.6116 s Remaining CPU time: 164.388 s c =============================================================================== c | 336 | 2992 3149 410672 | 5000 336 2717 | 0.000 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 15.9646 s Remaining CPU time: 164.035 s c =============================================================================== c | 403 | 2992 3150 413522 | 5000 403 2709 | 0.000 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 16.3335 s Remaining CPU time: 163.666 s c =============================================================================== c | 499 | 2992 3151 416372 | 5000 499 2710 | 0.000 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 16.5765 s Remaining CPU time: 163.424 s c =============================================================================== c | 515 | 2992 3152 419222 | 5000 515 2710 | 0.000 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 16.8174 s Remaining CPU time: 163.183 s c =============================================================================== c | 525 | 2992 3153 422072 | 5000 525 2710 | 0.000 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 17.0464 s Remaining CPU time: 162.954 s c =============================================================================== c | 525 | 2992 3154 424922 | 5000 525 2710 | 0.000 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 17.2844 s Remaining CPU time: 162.716 s c =============================================================================== c | 533 | 2992 3155 427772 | 5000 533 2709 | 0.000 % | c | 634 | 2992 3155 427772 | 5500 634 2709 | 0.267 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 18.0013 s Remaining CPU time: 161.999 s c =============================================================================== c | 681 | 2992 3156 430622 | 5000 681 2709 | 0.267 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 18.2462 s Remaining CPU time: 161.754 s c =============================================================================== c | 691 | 2992 3157 433472 | 5000 691 2709 | 0.267 % | c | 791 | 2992 3157 433472 | 5500 791 2708 | 0.267 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 18.8771 s Remaining CPU time: 161.123 s c =============================================================================== c | 844 | 2992 3158 436322 | 5000 844 2708 | 0.267 % | c | 944 | 2992 3158 436322 | 5500 944 2704 | 0.267 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 19.583 s Remaining CPU time: 160.417 s c =============================================================================== c | 989 | 2992 3159 439172 | 5000 989 2704 | 0.267 % | c | 1089 | 2992 3159 439172 | 5500 1089 2704 | 0.267 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 20.2089 s Remaining CPU time: 159.791 s c =============================================================================== c | 1116 | 2992 3160 442022 | 5000 1116 2704 | 0.267 % | c | 1217 | 2992 3160 442022 | 5500 1217 2703 | 0.267 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 20.8878 s Remaining CPU time: 159.112 s c =============================================================================== c | 1238 | 2992 3161 444872 | 5000 1238 2703 | 0.267 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 21.1688 s Remaining CPU time: 158.831 s c =============================================================================== c | 1266 | 2992 3162 447722 | 5000 1266 2701 | 0.267 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 21.4357 s Remaining CPU time: 158.564 s c =============================================================================== c | 1299 | 2992 3163 450572 | 5000 1299 2701 | 0.267 % | c | 1399 | 2992 3163 450572 | 5500 1399 2699 | 0.267 % | c | 1550 | 2992 3163 450572 | 6050 1550 2699 | 0.267 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 22.8665 s Remaining CPU time: 157.133 s c =============================================================================== c | 1757 | 2992 3164 453422 | 5000 1757 2697 | 0.267 % | c | 1857 | 2992 3164 453422 | 5500 1857 2697 | 0.267 % | c | 2007 | 2992 3164 453422 | 6050 2007 2697 | 0.267 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 24.0333 s Remaining CPU time: 155.967 s c =============================================================================== c | 2054 | 2992 3165 456272 | 5000 2054 2697 | 0.267 % | c | 2154 | 2992 3165 456272 | 5500 2154 2697 | 0.267 % | c | 2304 | 2992 3165 456272 | 6050 2304 2697 | 0.267 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 25.1572 s Remaining CPU time: 154.843 s c =============================================================================== c | 2364 | 2992 3166 459122 | 5000 2364 2697 | 0.267 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 25.4231 s Remaining CPU time: 154.577 s c =============================================================================== c | 2376 | 2992 3167 461972 | 5000 2376 2697 | 0.267 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 25.7121 s Remaining CPU time: 154.288 s c =============================================================================== c | 2412 | 2992 3168 464822 | 5000 2412 2697 | 0.267 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 25.98 s Remaining CPU time: 154.02 s c =============================================================================== c | 2426 | 2992 3169 467672 | 5000 2426 2697 | 0.267 % | c | 2526 | 2992 3169 467672 | 5500 2526 2696 | 0.267 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 26.7759 s Remaining CPU time: 153.224 s c =============================================================================== c | 2613 | 2992 3170 470522 | 5000 2613 2696 | 0.267 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 27.0859 s Remaining CPU time: 152.914 s c =============================================================================== c | 2638 | 2992 3171 473372 | 5000 2638 2696 | 0.267 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 27.3748 s Remaining CPU time: 152.625 s c =============================================================================== c | 2673 | 2992 3172 476222 | 5000 2673 2696 | 0.267 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 27.6888 s Remaining CPU time: 152.311 s c =============================================================================== c | 2708 | 2992 3173 479072 | 5000 2708 2696 | 0.267 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 28.0147 s Remaining CPU time: 151.985 s c =============================================================================== c | 2773 | 2992 3174 481922 | 5000 2773 2696 | 0.267 % | c | 2874 | 2992 3174 481922 | 5500 2874 2695 | 0.267 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 28.8016 s Remaining CPU time: 151.198 s c =============================================================================== c | 2962 | 2992 3175 484772 | 5000 2962 2695 | 0.267 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 29.0906 s Remaining CPU time: 150.909 s c =============================================================================== c | 2982 | 2992 3176 487622 | 5000 2982 2695 | 0.267 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 29.4075 s Remaining CPU time: 150.592 s c =============================================================================== c | 3036 | 2992 3177 490472 | 5000 3036 2695 | 0.267 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 29.7075 s Remaining CPU time: 150.293 s c =============================================================================== c | 3055 | 2992 3178 493322 | 5000 3055 2695 | 0.267 % | c =============================================================================== c New solution: 2680 c Elapsed CPU time: 29.9864 s Remaining CPU time: 150.014 s c =============================================================================== c | 3063 | 2992 3179 496172 | 5000 3063 2695 | 0.267 % | c | 3164 | 2992 3179 496172 | 5500 3164 2694 | 0.267 % | c | 3314 | 2992 3179 496172 | 6050 3314 2694 | 0.267 % | c =============================================================================== c New solution: 2679 c Elapsed CPU time: 31.4492 s Remaining CPU time: 148.551 s c =============================================================================== c | 3475 | 2992 3180 499022 | 5000 3475 2693 | 0.267 % | c | 3575 | 2992 3180 499022 | 5500 3575 2693 | 0.267 % | c =============================================================================== c New solution: 2678 c Elapsed CPU time: 32.1841 s Remaining CPU time: 147.816 s c =============================================================================== c | 3592 | 2992 3181 501872 | 5000 3592 2693 | 0.267 % | c =============================================================================== c New solution: 2677 c Elapsed CPU time: 32.4861 s Remaining CPU time: 147.514 s c =============================================================================== c | 3616 | 2992 3182 504722 | 5000 3616 2693 | 0.267 % | c | 3717 | 2992 3182 504722 | 5500 3717 2692 | 0.267 % | c | 3868 | 2992 3182 504722 | 6050 3868 2692 | 0.267 % | c | 4093 | 2992 3182 504722 | 6655 4093 2691 | 0.267 % | c =============================================================================== c New solution: 2676 c Elapsed CPU time: 34.2988 s Remaining CPU time: 145.701 s c =============================================================================== c | 4134 | 2992 3183 507572 | 5000 4134 2691 | 0.267 % | c | 4234 | 2992 3183 507572 | 5500 4234 2691 | 0.267 % | c =============================================================================== c New solution: 2675 c Elapsed CPU time: 35.1387 s Remaining CPU time: 144.861 s c =============================================================================== c | 4283 | 2992 3184 510422 | 5000 4283 2690 | 0.267 % | c | 4385 | 2992 3184 510422 | 5500 4385 2690 | 0.267 % | c =============================================================================== c New solution: 2674 c Elapsed CPU time: 36.0065 s Remaining CPU time: 143.993 s c =============================================================================== c | 4505 | 2992 3185 513272 | 5000 4505 2690 | 0.267 % | c =============================================================================== c New solution: 2673 c Elapsed CPU time: 36.2905 s Remaining CPU time: 143.71 s c =============================================================================== c | 4505 | 2992 3186 516122 | 5000 4505 2690 | 0.267 % | c | 4605 | 2992 3186 516122 | 5500 4605 2689 | 0.267 % | c | 4755 | 2992 3186 516122 | 6050 4755 2689 | 0.267 % | c | 4981 | 2992 3186 516122 | 6655 4981 2688 | 0.267 % | c | 5318 | 2992 3186 516122 | 7320 5318 2687 | 0.267 % | c | 5824 | 2992 3186 516122 | 8052 5824 2686 | 0.267 % | c | 6584 | 2992 3186 516122 | 8857 6584 2685 | 0.267 % | c =============================================================================== c New solution: 2672 c Elapsed CPU time: 43.0425 s Remaining CPU time: 136.958 s c =============================================================================== c | 7123 | 2992 3187 518972 | 5000 7123 2684 | 0.267 % | c | 7223 | 2992 3187 518972 | 5500 3662 2672 | 0.267 % | c | 7374 | 2992 3187 518972 | 6050 3813 2672 | 0.267 % | c =============================================================================== c New solution: 2671 c Elapsed CPU time: 44.4542 s Remaining CPU time: 135.546 s c =============================================================================== c | 7485 | 2992 3188 521822 | 5000 3924 2672 | 0.267 % | c | 7585 | 2992 3188 521822 | 5500 4024 2672 | 0.267 % | c | 7735 | 2992 3188 521822 | 6050 4174 2672 | 0.267 % | c | 7961 | 2992 3188 521822 | 6655 4400 2672 | 0.267 % | c | 8298 | 2992 3188 521822 | 7320 4737 2672 | 0.267 % | c =============================================================================== c New solution: 2670 c Elapsed CPU time: 48.0267 s Remaining CPU time: 131.973 s c =============================================================================== c | 8745 | 2992 3189 524672 | 5000 5184 2672 | 0.267 % | c | 8845 | 2992 3189 524672 | 5500 2692 2666 | 0.267 % | c | 8996 | 2992 3189 524672 | 6050 2843 2667 | 0.267 % | c | 9222 | 2992 3189 524672 | 6655 3069 2666 | 0.267 % | c | 9561 | 2992 3189 524672 | 7320 3408 2664 | 0.267 % | c | 10067 | 2992 3189 524672 | 8052 3914 2664 | 0.267 % | c | 10828 | 2992 3189 524672 | 8857 4675 2666 | 0.267 % | c =============================================================================== c New solution: 2669 c Elapsed CPU time: 53.6358 s Remaining CPU time: 126.364 s c =============================================================================== c | 11032 | 2992 3190 527522 | 5000 4879 2666 | 0.267 % | c | 11132 | 2992 3190 527522 | 5500 4979 2666 | 0.267 % | c | 11282 | 2992 3190 527522 | 6050 5129 2666 | 0.267 % | c | 11507 | 2992 3190 527522 | 6655 5354 2666 | 0.267 % | c | 11844 | 2992 3190 527522 | 7320 5691 2666 | 0.267 % | c | 12350 | 2992 3190 527522 | 8052 6197 2665 | 0.267 % | c | 13110 | 2992 3190 527522 | 8857 6957 2666 | 0.267 % | c | 14249 | 2992 3190 527522 | 9743 8096 2667 | 0.267 % | c =============================================================================== c New solution: 2668 c Elapsed CPU time: 62.4445 s Remaining CPU time: 117.555 s c =============================================================================== c | 14604 | 2992 3191 530372 | 5000 8451 2667 | 0.267 % | c | 14705 | 2992 3191 530372 | 5500 4327 2663 | 0.267 % | c | 14855 | 2992 3191 530372 | 6050 4477 2663 | 0.267 % | c | 15080 | 2992 3191 530372 | 6655 4702 2663 | 0.267 % | c | 15417 | 2992 3191 530372 | 7320 5039 2664 | 0.267 % | c =============================================================================== c New solution: 2667 c Elapsed CPU time: 65.757 s Remaining CPU time: 114.243 s c =============================================================================== c | 15574 | 2992 3192 533222 | 5000 5196 2664 | 0.267 % | c | 15674 | 2992 3192 533222 | 5500 2698 2657 | 0.267 % | c | 15825 | 2992 3192 533222 | 6050 2849 2658 | 0.267 % | c =============================================================================== c New solution: 2666 c Elapsed CPU time: 67.0108 s Remaining CPU time: 112.989 s c =============================================================================== c | 15867 | 2992 3193 536072 | 5000 2891 2658 | 0.267 % | c | 15967 | 2992 3193 536072 | 5500 2991 2658 | 0.267 % | c | 16118 | 2992 3193 536072 | 6050 3142 2659 | 0.267 % | c =============================================================================== c New solution: 2665 c Elapsed CPU time: 68.6296 s Remaining CPU time: 111.37 s c =============================================================================== c | 16339 | 2992 3194 538922 | 5000 3363 2659 | 0.267 % | c | 16439 | 2992 3194 538922 | 5500 3463 2660 | 0.267 % | c | 16589 | 2992 3194 538922 | 6050 3613 2660 | 0.267 % | c | 16815 | 2992 3194 538922 | 6655 3839 2660 | 0.267 % | c | 17154 | 2992 3194 538922 | 7320 4178 2661 | 0.267 % | c | 17660 | 2992 3194 538922 | 8052 4684 2661 | 0.267 % | c | 18419 | 2992 3194 538922 | 8857 5443 2662 | 0.267 % | c | 19558 | 2992 3194 538922 | 9743 6582 2663 | 0.267 % | c | 21266 | 2992 3194 538922 | 10717 8290 2663 | 0.267 % | c =============================================================================== c New solution: 2664 c Elapsed CPU time: 82.9454 s Remaining CPU time: 97.0546 s c =============================================================================== c | 22089 | 2992 3195 541772 | 5000 9113 2664 | 0.267 % | c | 22190 | 2992 3195 541772 | 5500 4658 2660 | 0.267 % | c | 22340 | 2992 3195 541772 | 6050 4808 2661 | 0.267 % | c | 22565 | 2992 3195 541772 | 6655 5033 2661 | 0.267 % | c =============================================================================== c New solution: 2663 c Elapsed CPU time: 84.5901 s Remaining CPU time: 95.4099 s c =============================================================================== c | 22644 | 2992 3196 544622 | 5000 5112 2661 | 0.267 % | c | 22744 | 2992 3196 544622 | 5500 2656 2659 | 0.267 % | c | 22894 | 2992 3196 544622 | 6050 2806 2660 | 0.267 % | c =============================================================================== c New solution: 2662 c Elapsed CPU time: 85.9889 s Remaining CPU time: 94.0111 s c =============================================================================== c | 22989 | 2992 3197 547472 | 5000 2901 2660 | 0.267 % | c =============================================================================== c New solution: 2661 c Elapsed CPU time: 86.3419 s Remaining CPU time: 93.6581 s c =============================================================================== c | 23086 | 2992 3198 550322 | 5000 2998 2660 | 0.267 % | c | 23186 | 2992 3198 550322 | 5500 3098 2660 | 0.267 % | c =============================================================================== c New solution: 2660 c Elapsed CPU time: 87.1917 s Remaining CPU time: 92.8083 s c =============================================================================== c | 23335 | 2992 3199 553172 | 5000 3247 2660 | 0.267 % | c =============================================================================== c New solution: 2659 c Elapsed CPU time: 87.4847 s Remaining CPU time: 92.5153 s c =============================================================================== c | 23389 | 2992 3200 556022 | 5000 3301 2660 | 0.267 % | c | 23489 | 2992 3200 556022 | 5500 3401 2660 | 0.267 % | c | 23640 | 2992 3200 556022 | 6050 3552 2660 | 0.267 % | c | 23866 | 2992 3200 556022 | 6655 3778 2660 | 0.267 % | c | 24203 | 2992 3200 556022 | 7320 4115 2660 | 0.267 % | c | 24709 | 2992 3200 556022 | 8052 4621 2660 | 0.267 % | c | 25468 | 2992 3200 556022 | 8857 5380 2660 | 0.267 % | c | 26608 | 2992 3200 556022 | 9743 6520 2660 | 0.267 % | c | 28318 | 2992 3200 556022 | 10717 8230 2659 | 0.267 % | c | 30881 | 2992 3200 556022 | 11789 10793 2658 | 0.267 % | c =============================================================================== c New solution: 2658 c Elapsed CPU time: 108.208 s Remaining CPU time: 71.7925 s c =============================================================================== c | 32931 | 2992 3201 558872 | 5000 12843 2658 | 0.267 % | c | 33032 | 2992 3201 558872 | 5500 3312 2647 | 0.267 % | c | 33182 | 2992 3201 558872 | 6050 3462 2647 | 0.267 % | c | 33408 | 2992 3201 558872 | 6655 3688 2648 | 0.267 % | c | 33746 | 2992 3201 558872 | 7320 4026 2649 | 0.267 % | c | 34252 | 2992 3201 558872 | 8052 4532 2650 | 0.267 % | c | 35011 | 2992 3201 558872 | 8857 5291 2651 | 0.267 % |