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 | 2985 3001 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 2985 3002 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 2985 3003 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 2985 3004 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 0 | 2985 3005 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 2985 3006 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 2985 3007 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 2985 3008 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 2985 3009 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 2985 3010 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 2985 3011 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 0 | 2985 3012 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 2985 3013 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 0.104984 s Remaining CPU time: 179.895 s c =============================================================================== c | 0 | 2985 3014 45900 | 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 | 2985 3015 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s c =============================================================================== c | 0 | 2985 3016 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 0.132979 s Remaining CPU time: 179.867 s c =============================================================================== c | 0 | 2985 3017 54450 | 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 | 2985 3018 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 0 | 2985 3019 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 0 | 2985 3020 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 0 | 2985 3021 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 2985 3022 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 0 | 2985 3023 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 0.244962 s Remaining CPU time: 179.755 s c =============================================================================== c | 0 | 2985 3024 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 0.26196 s Remaining CPU time: 179.738 s c =============================================================================== c | 0 | 2985 3025 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 0.283956 s Remaining CPU time: 179.716 s c =============================================================================== c | 0 | 2985 3026 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 2985 3027 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s c =============================================================================== c | 0 | 2985 3028 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 0.354946 s Remaining CPU time: 179.645 s c =============================================================================== c | 0 | 2985 3029 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 0.381941 s Remaining CPU time: 179.618 s c =============================================================================== c | 0 | 2985 3030 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 0 | 2985 3031 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 0.437933 s Remaining CPU time: 179.562 s c =============================================================================== c | 0 | 2985 3032 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 0.469928 s Remaining CPU time: 179.53 s c =============================================================================== c | 0 | 2985 3033 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 0.500923 s Remaining CPU time: 179.499 s c =============================================================================== c | 0 | 2985 3034 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 0 | 2985 3035 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 0.566913 s Remaining CPU time: 179.433 s c =============================================================================== c | 0 | 2985 3036 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 0 | 2985 3037 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 0.636903 s Remaining CPU time: 179.363 s c =============================================================================== c | 0 | 2985 3038 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 0 | 2985 3039 117150 | 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 | 2985 3040 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 0 | 2985 3041 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 0.794879 s Remaining CPU time: 179.205 s c =============================================================================== c | 0 | 2985 3042 125700 | 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 | 2985 3043 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 0 | 2985 3044 131400 | 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 | 2985 3045 134250 | 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 | 2985 3046 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 0 | 2985 3047 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 1.09083 s Remaining CPU time: 178.909 s c =============================================================================== c | 0 | 2985 3048 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 1.14682 s Remaining CPU time: 178.853 s c =============================================================================== c | 0 | 2985 3049 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 1.20582 s Remaining CPU time: 178.794 s c =============================================================================== c | 0 | 2985 3050 148500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 1.26481 s Remaining CPU time: 178.735 s c =============================================================================== c | 0 | 2985 3051 151350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 1.3208 s Remaining CPU time: 178.679 s c =============================================================================== c | 0 | 2985 3052 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s c =============================================================================== c | 0 | 2985 3053 157050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 1.44678 s Remaining CPU time: 178.553 s c =============================================================================== c | 0 | 2985 3054 159900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 1.50977 s Remaining CPU time: 178.49 s c =============================================================================== c | 0 | 2985 3055 162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 1.57676 s Remaining CPU time: 178.423 s c =============================================================================== c | 0 | 2985 3056 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 1.64575 s Remaining CPU time: 178.354 s c =============================================================================== c | 0 | 2985 3057 168450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 1.71374 s Remaining CPU time: 178.286 s c =============================================================================== c | 0 | 2985 3058 171300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 1.78373 s Remaining CPU time: 178.216 s c =============================================================================== c | 0 | 2985 3059 174150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 1.85572 s Remaining CPU time: 178.144 s c =============================================================================== c | 0 | 2985 3060 177000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 1.93071 s Remaining CPU time: 178.069 s c =============================================================================== c | 0 | 2985 3061 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 2.00669 s Remaining CPU time: 177.993 s c =============================================================================== c | 0 | 2985 3062 182700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 2.08368 s Remaining CPU time: 177.916 s c =============================================================================== c | 0 | 2985 3063 185550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 2.16567 s Remaining CPU time: 177.834 s c =============================================================================== c | 0 | 2985 3064 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 2.24866 s Remaining CPU time: 177.751 s c =============================================================================== c | 0 | 2985 3065 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 2.33065 s Remaining CPU time: 177.669 s c =============================================================================== c | 0 | 2985 3066 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 2.41763 s Remaining CPU time: 177.582 s c =============================================================================== c | 0 | 2985 3067 196950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 2.50262 s Remaining CPU time: 177.497 s c =============================================================================== c | 0 | 2985 3068 199800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 2.59161 s Remaining CPU time: 177.408 s c =============================================================================== c | 0 | 2985 3069 202650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 2.67959 s Remaining CPU time: 177.32 s c =============================================================================== c | 0 | 2985 3070 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 2.77158 s Remaining CPU time: 177.228 s c =============================================================================== c | 0 | 2985 3071 208350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 2.86256 s Remaining CPU time: 177.137 s c =============================================================================== c | 0 | 2985 3072 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 2.95655 s Remaining CPU time: 177.043 s c =============================================================================== c | 0 | 2985 3073 214050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 3.05253 s Remaining CPU time: 176.947 s c =============================================================================== c | 0 | 2985 3074 216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 3.14852 s Remaining CPU time: 176.851 s c =============================================================================== c | 0 | 2985 3075 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 3.24851 s Remaining CPU time: 176.751 s c =============================================================================== c | 0 | 2985 3076 222600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 3.35049 s Remaining CPU time: 176.65 s c =============================================================================== c | 0 | 2985 3077 225450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 3.45347 s Remaining CPU time: 176.547 s c =============================================================================== c | 0 | 2985 3078 228300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 3.55846 s Remaining CPU time: 176.442 s c =============================================================================== c | 0 | 2985 3079 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 3.66344 s Remaining CPU time: 176.337 s c =============================================================================== c | 0 | 2985 3080 234000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 3.76743 s Remaining CPU time: 176.233 s c =============================================================================== c | 0 | 2985 3081 236850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 3.87741 s Remaining CPU time: 176.123 s c =============================================================================== c | 0 | 2985 3082 239700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 3.98839 s Remaining CPU time: 176.012 s c =============================================================================== c | 0 | 2985 3083 242550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 4.10338 s Remaining CPU time: 175.897 s c =============================================================================== c | 0 | 2985 3084 245400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 4.22036 s Remaining CPU time: 175.78 s c =============================================================================== c | 0 | 2985 3085 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 4.33734 s Remaining CPU time: 175.663 s c =============================================================================== c | 0 | 2985 3086 251100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 4.45632 s Remaining CPU time: 175.544 s c =============================================================================== c | 0 | 2985 3087 253950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 4.5753 s Remaining CPU time: 175.425 s c =============================================================================== c | 0 | 2985 3088 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 4.69629 s Remaining CPU time: 175.304 s c =============================================================================== c | 0 | 2985 3089 259650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 4.82027 s Remaining CPU time: 175.18 s c =============================================================================== c | 0 | 2985 3090 262500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 4.94425 s Remaining CPU time: 175.056 s c =============================================================================== c | 0 | 2985 3091 265350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 5.06823 s Remaining CPU time: 174.932 s c =============================================================================== c | 0 | 2985 3092 268200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 5.19521 s Remaining CPU time: 174.805 s c =============================================================================== c | 0 | 2985 3093 271050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 5.32519 s Remaining CPU time: 174.675 s c =============================================================================== c | 0 | 2985 3094 273900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 5.46117 s Remaining CPU time: 174.539 s c =============================================================================== c | 0 | 2985 3095 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 5.59615 s Remaining CPU time: 174.404 s c =============================================================================== c | 0 | 2985 3096 279600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 5.73313 s Remaining CPU time: 174.267 s c =============================================================================== c | 0 | 2985 3097 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 5.87011 s Remaining CPU time: 174.13 s c =============================================================================== c | 0 | 2985 3098 285300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 6.01209 s Remaining CPU time: 173.988 s c =============================================================================== c | 0 | 2985 3099 288150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 6.15606 s Remaining CPU time: 173.844 s c =============================================================================== c | 0 | 2985 3100 291000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 6.30104 s Remaining CPU time: 173.699 s c =============================================================================== c | 0 | 2985 3101 293850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 6.45002 s Remaining CPU time: 173.55 s c =============================================================================== c | 0 | 2985 3102 296700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 6.599 s Remaining CPU time: 173.401 s c =============================================================================== c | 0 | 2985 3103 299550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 6.74997 s Remaining CPU time: 173.25 s c =============================================================================== c | 0 | 2985 3104 302400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 6.90495 s Remaining CPU time: 173.095 s c =============================================================================== c | 0 | 2985 3105 305250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 7.06193 s Remaining CPU time: 172.938 s c =============================================================================== c | 0 | 2985 3106 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 7.2189 s Remaining CPU time: 172.781 s c =============================================================================== c | 0 | 2985 3107 310950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 7.37888 s Remaining CPU time: 172.621 s c =============================================================================== c | 0 | 2985 3108 313800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 7.54185 s Remaining CPU time: 172.458 s c =============================================================================== c | 1 | 2985 3109 316650 | 5000 1 2745 | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 7.70883 s Remaining CPU time: 172.291 s c =============================================================================== c | 1 | 2985 3110 319500 | 5000 1 2745 | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 7.8878 s Remaining CPU time: 172.112 s c =============================================================================== c | 2 | 2985 3111 322350 | 5000 2 2744 | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 8.07777 s Remaining CPU time: 171.922 s c =============================================================================== c | 2 | 2985 3112 325200 | 5000 2 2744 | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 8.26274 s Remaining CPU time: 171.737 s c =============================================================================== c | 2 | 2985 3113 328050 | 5000 2 2744 | 0.000 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 8.44971 s Remaining CPU time: 171.55 s c =============================================================================== c | 2 | 2985 3114 330900 | 5000 2 2744 | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 8.63569 s Remaining CPU time: 171.364 s c =============================================================================== c | 2 | 2985 3115 333750 | 5000 2 2744 | 0.000 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 8.82066 s Remaining CPU time: 171.179 s c =============================================================================== c | 2 | 2985 3116 336600 | 5000 2 2744 | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 9.01063 s Remaining CPU time: 170.989 s c =============================================================================== c | 2 | 2985 3117 339450 | 5000 2 2744 | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 9.2006 s Remaining CPU time: 170.799 s c =============================================================================== c | 6 | 2985 3118 342300 | 5000 6 2739 | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 9.38357 s Remaining CPU time: 170.616 s c =============================================================================== c | 6 | 2985 3119 345150 | 5000 6 2739 | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 9.57154 s Remaining CPU time: 170.428 s c =============================================================================== c | 6 | 2985 3120 348000 | 5000 6 2739 | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 9.75452 s Remaining CPU time: 170.245 s c =============================================================================== c | 6 | 2985 3121 350850 | 5000 6 2739 | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 9.94549 s Remaining CPU time: 170.055 s c =============================================================================== c | 7 | 2985 3122 353700 | 5000 7 2738 | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 10.1385 s Remaining CPU time: 169.862 s c =============================================================================== c | 7 | 2985 3123 356550 | 5000 7 2738 | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 10.3294 s Remaining CPU time: 169.671 s c =============================================================================== c | 8 | 2985 3124 359400 | 5000 8 2737 | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 10.5364 s Remaining CPU time: 169.464 s c =============================================================================== c | 12 | 2985 3125 362250 | 5000 12 2734 | 0.000 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 10.7374 s Remaining CPU time: 169.263 s c =============================================================================== c | 12 | 2985 3126 365100 | 5000 12 2734 | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 10.9383 s Remaining CPU time: 169.062 s c =============================================================================== c | 12 | 2985 3127 367950 | 5000 12 2734 | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 11.1453 s Remaining CPU time: 168.855 s c =============================================================================== c | 14 | 2985 3128 370800 | 5000 14 2733 | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 11.3513 s Remaining CPU time: 168.649 s c =============================================================================== c | 19 | 2985 3129 373650 | 5000 19 2731 | 0.000 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 11.5642 s Remaining CPU time: 168.436 s c =============================================================================== c | 19 | 2985 3130 376500 | 5000 19 2731 | 0.000 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 11.7692 s Remaining CPU time: 168.231 s c =============================================================================== c | 24 | 2985 3131 379350 | 5000 24 2729 | 0.000 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 11.9732 s Remaining CPU time: 168.027 s c =============================================================================== c | 24 | 2985 3132 382200 | 5000 24 2729 | 0.000 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 12.1831 s Remaining CPU time: 167.817 s c =============================================================================== c | 27 | 2985 3133 385050 | 5000 27 2728 | 0.000 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 12.4191 s Remaining CPU time: 167.581 s c =============================================================================== c | 27 | 2985 3134 387900 | 5000 27 2728 | 0.000 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 12.6491 s Remaining CPU time: 167.351 s c =============================================================================== c | 27 | 2985 3135 390750 | 5000 27 2728 | 0.000 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 12.879 s Remaining CPU time: 167.121 s c =============================================================================== c | 27 | 2985 3136 393600 | 5000 27 2728 | 0.000 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 13.127 s Remaining CPU time: 166.873 s c =============================================================================== c | 56 | 2985 3137 396450 | 5000 56 2723 | 0.000 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 13.35 s Remaining CPU time: 166.65 s c =============================================================================== c | 62 | 2985 3138 399300 | 5000 62 2722 | 0.000 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 13.5869 s Remaining CPU time: 166.413 s c =============================================================================== c | 78 | 2985 3139 402150 | 5000 78 2721 | 0.000 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 13.8269 s Remaining CPU time: 166.173 s c =============================================================================== c | 90 | 2985 3140 405000 | 5000 90 2720 | 0.000 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 14.1448 s Remaining CPU time: 165.855 s c =============================================================================== c | 134 | 2985 3141 407850 | 5000 134 2718 | 0.000 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 14.3698 s Remaining CPU time: 165.63 s c =============================================================================== c | 143 | 2985 3142 410700 | 5000 143 2717 | 0.000 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 14.6238 s Remaining CPU time: 165.376 s c =============================================================================== c | 143 | 2985 3143 413550 | 5000 143 2717 | 0.000 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 14.8867 s Remaining CPU time: 165.113 s c =============================================================================== c | 155 | 2985 3144 416400 | 5000 155 2717 | 0.000 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 15.2307 s Remaining CPU time: 164.769 s c =============================================================================== c | 215 | 2985 3145 419250 | 5000 215 2715 | 0.000 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 15.5206 s Remaining CPU time: 164.479 s c =============================================================================== c | 262 | 2985 3146 422100 | 5000 262 2714 | 0.000 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 15.7706 s Remaining CPU time: 164.229 s c =============================================================================== c | 278 | 2985 3147 424950 | 5000 278 2713 | 0.000 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 16.0326 s Remaining CPU time: 163.967 s c =============================================================================== c | 300 | 2985 3148 427800 | 5000 300 2713 | 0.000 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 16.4085 s Remaining CPU time: 163.591 s c =============================================================================== c | 358 | 2985 3149 430650 | 5000 358 2712 | 0.000 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 16.6695 s Remaining CPU time: 163.331 s c =============================================================================== c | 376 | 2985 3150 433500 | 5000 376 2711 | 0.000 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 16.9444 s Remaining CPU time: 163.056 s c =============================================================================== c | 392 | 2985 3151 436350 | 5000 392 2711 | 0.000 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 17.2494 s Remaining CPU time: 162.751 s c =============================================================================== c | 418 | 2985 3152 439200 | 5000 418 2711 | 0.000 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 17.5173 s Remaining CPU time: 162.483 s c =============================================================================== c | 439 | 2985 3153 442050 | 5000 439 2710 | 0.000 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 17.8153 s Remaining CPU time: 162.185 s c =============================================================================== c | 454 | 2985 3154 444900 | 5000 454 2710 | 0.000 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 18.0813 s Remaining CPU time: 161.919 s c =============================================================================== c | 454 | 2985 3155 447750 | 5000 454 2710 | 0.000 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 18.4002 s Remaining CPU time: 161.6 s c =============================================================================== c | 476 | 2985 3156 450600 | 5000 476 2709 | 0.000 % | c | 576 | 2985 3156 450600 | 5500 576 2707 | 0.500 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 19.1551 s Remaining CPU time: 160.845 s c =============================================================================== c | 592 | 2985 3157 453450 | 5000 592 2707 | 0.500 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 19.472 s Remaining CPU time: 160.528 s c =============================================================================== c | 655 | 2985 3158 456300 | 5000 655 2702 | 0.500 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 19.803 s Remaining CPU time: 160.197 s c =============================================================================== c | 700 | 2985 3159 459150 | 5000 700 2701 | 0.500 % | c | 800 | 2985 3159 459150 | 5500 800 2701 | 0.500 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 20.5559 s Remaining CPU time: 159.444 s c =============================================================================== c | 858 | 2985 3160 462000 | 5000 858 2700 | 0.500 % | c | 959 | 2985 3160 462000 | 5500 959 2699 | 0.500 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 21.2148 s Remaining CPU time: 158.785 s c =============================================================================== c | 978 | 2985 3161 464850 | 5000 978 2699 | 0.500 % | c | 1078 | 2985 3161 464850 | 5500 1078 2699 | 0.500 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 21.9487 s Remaining CPU time: 158.051 s c =============================================================================== c | 1121 | 2985 3162 467700 | 5000 1121 2698 | 0.500 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 22.3076 s Remaining CPU time: 157.692 s c =============================================================================== c | 1189 | 2985 3163 470550 | 5000 1189 2698 | 0.500 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 22.6126 s Remaining CPU time: 157.387 s c =============================================================================== c | 1224 | 2985 3164 473400 | 5000 1224 2698 | 0.500 % | c | 1325 | 2985 3164 473400 | 5500 1325 2697 | 0.500 % | c | 1475 | 2985 3164 473400 | 6050 1475 2696 | 0.500 % | c | 1701 | 2985 3164 473400 | 6655 1701 2696 | 0.500 % | c | 2038 | 2985 3164 473400 | 7320 2038 2693 | 0.500 % | c | 2544 | 2985 3164 473400 | 8052 2544 2692 | 0.500 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 26.339 s Remaining CPU time: 153.661 s c =============================================================================== c | 2586 | 2985 3165 476250 | 5000 2586 2692 | 0.500 % | c | 2687 | 2985 3165 476250 | 5500 2687 2692 | 0.500 % | c | 2837 | 2985 3165 476250 | 6050 2837 2692 | 0.500 % | c | 3062 | 2985 3165 476250 | 6655 3062 2692 | 0.500 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 28.4637 s Remaining CPU time: 151.536 s c =============================================================================== c | 3261 | 2985 3166 479100 | 5000 3261 2692 | 0.500 % | c | 3361 | 2985 3166 479100 | 5500 3361 2692 | 0.500 % | c | 3511 | 2985 3166 479100 | 6050 3511 2691 | 0.500 % | c | 3736 | 2985 3166 479100 | 6655 3736 2691 | 0.500 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 30.4294 s Remaining CPU time: 149.571 s c =============================================================================== c | 4008 | 2985 3167 481950 | 5000 4008 2691 | 0.500 % | c | 4108 | 2985 3167 481950 | 5500 4108 2691 | 0.500 % | c | 4259 | 2985 3167 481950 | 6050 4259 2691 | 0.500 % | c | 4485 | 2985 3167 481950 | 6655 4485 2690 | 0.500 % | c | 4822 | 2985 3167 481950 | 7320 4822 2690 | 0.500 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 33.018 s Remaining CPU time: 146.982 s c =============================================================================== c | 4957 | 2985 3168 484800 | 5000 4957 2690 | 0.500 % | c | 5057 | 2985 3168 484800 | 5500 5057 2690 | 0.500 % | c | 5207 | 2985 3168 484800 | 6050 5207 2690 | 0.500 % | c | 5432 | 2985 3168 484800 | 6655 5432 2690 | 0.500 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 34.7837 s Remaining CPU time: 145.216 s c =============================================================================== c | 5479 | 2985 3169 487650 | 5000 5479 2690 | 0.500 % | c | 5580 | 2985 3169 487650 | 5500 2841 2685 | 0.500 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 35.5136 s Remaining CPU time: 144.486 s c =============================================================================== c | 5624 | 2985 3170 490500 | 5000 2885 2685 | 0.500 % | c | 5725 | 2985 3170 490500 | 5500 2986 2685 | 0.500 % | c | 5875 | 2985 3170 490500 | 6050 3136 2685 | 0.500 % | c | 6100 | 2985 3170 490500 | 6655 3361 2685 | 0.500 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 37.5143 s Remaining CPU time: 142.486 s c =============================================================================== c | 6248 | 2985 3171 493350 | 5000 3509 2685 | 0.500 % | c | 6348 | 2985 3171 493350 | 5500 3609 2685 | 0.500 % | c | 6498 | 2985 3171 493350 | 6050 3759 2685 | 0.500 % | c | 6724 | 2985 3171 493350 | 6655 3985 2685 | 0.500 % | c =============================================================================== c New solution: 2680 c Elapsed CPU time: 39.261 s Remaining CPU time: 140.739 s c =============================================================================== c | 6780 | 2985 3172 496200 | 5000 4041 2685 | 0.500 % | c =============================================================================== c New solution: 2679 c Elapsed CPU time: 39.596 s Remaining CPU time: 140.404 s c =============================================================================== c | 6841 | 2985 3173 499050 | 5000 4102 2685 | 0.500 % | c =============================================================================== c New solution: 2678 c Elapsed CPU time: 39.9899 s Remaining CPU time: 140.01 s c =============================================================================== c | 6905 | 2985 3174 501900 | 5000 4166 2685 | 0.500 % | c | 7005 | 2985 3174 501900 | 5500 4266 2685 | 0.500 % | c =============================================================================== c New solution: 2677 c Elapsed CPU time: 40.7838 s Remaining CPU time: 139.216 s c =============================================================================== c | 7093 | 2985 3175 504750 | 5000 4354 2684 | 0.500 % | c =============================================================================== c New solution: 2676 c Elapsed CPU time: 41.0938 s Remaining CPU time: 138.906 s c =============================================================================== c | 7122 | 2985 3176 507600 | 5000 4383 2684 | 0.500 % | c =============================================================================== c New solution: 2675 c Elapsed CPU time: 41.4217 s Remaining CPU time: 138.578 s c =============================================================================== c | 7176 | 2985 3177 510450 | 5000 4437 2684 | 0.500 % | c | 7276 | 2985 3177 510450 | 5500 4537 2683 | 0.500 % | c | 7426 | 2985 3177 510450 | 6050 4687 2683 | 0.500 % | c =============================================================================== c New solution: 2674 c Elapsed CPU time: 42.7465 s Remaining CPU time: 137.253 s c =============================================================================== c | 7489 | 2985 3178 513300 | 5000 4750 2683 | 0.500 % | c | 7590 | 2985 3178 513300 | 5500 4851 2683 | 0.500 % | c | 7740 | 2985 3178 513300 | 6050 5001 2682 | 0.500 % | c =============================================================================== c New solution: 2673 c Elapsed CPU time: 44.0923 s Remaining CPU time: 135.908 s c =============================================================================== c | 7764 | 2985 3179 516150 | 5000 5025 2682 | 0.500 % | c | 7866 | 2985 3179 516150 | 5500 2615 2676 | 0.500 % | c | 8016 | 2985 3179 516150 | 6050 2765 2676 | 0.500 % | c | 8241 | 2985 3179 516150 | 6655 2990 2676 | 0.500 % | c =============================================================================== c New solution: 2672 c Elapsed CPU time: 46.033 s Remaining CPU time: 133.967 s c =============================================================================== c | 8561 | 2985 3180 519000 | 5000 3310 2676 | 0.500 % | c =============================================================================== c New solution: 2671 c Elapsed CPU time: 46.4139 s Remaining CPU time: 133.586 s c =============================================================================== c | 8628 | 2985 3181 521850 | 5000 3377 2676 | 0.500 % | c | 8728 | 2985 3181 521850 | 5500 3477 2674 | 0.500 % | c | 8880 | 2985 3181 521850 | 6050 3629 2674 | 0.500 % | c =============================================================================== c New solution: 2670 c Elapsed CPU time: 47.5658 s Remaining CPU time: 132.434 s c =============================================================================== c | 8932 | 2985 3182 524700 | 5000 3681 2674 | 0.500 % | c =============================================================================== c New solution: 2669 c Elapsed CPU time: 47.9107 s Remaining CPU time: 132.089 s c =============================================================================== c | 8989 | 2985 3183 527550 | 5000 3738 2674 | 0.500 % | c | 9089 | 2985 3183 527550 | 5500 3838 2674 | 0.500 % | c =============================================================================== c New solution: 2668 c Elapsed CPU time: 48.6216 s Remaining CPU time: 131.378 s c =============================================================================== c | 9109 | 2985 3184 530400 | 5000 3858 2674 | 0.500 % | c | 9209 | 2985 3184 530400 | 5500 3958 2674 | 0.500 % | c | 9359 | 2985 3184 530400 | 6050 4108 2674 | 0.500 % | c | 9584 | 2985 3184 530400 | 6655 4333 2673 | 0.500 % | c =============================================================================== c New solution: 2667 c Elapsed CPU time: 50.6383 s Remaining CPU time: 129.362 s c =============================================================================== c | 9769 | 2985 3185 533250 | 5000 4518 2673 | 0.500 % | c | 9869 | 2985 3185 533250 | 5500 4618 2673 | 0.500 % | c =============================================================================== c New solution: 2666 c Elapsed CPU time: 51.4372 s Remaining CPU time: 128.563 s c =============================================================================== c | 9970 | 2985 3186 536100 | 5000 4719 2673 | 0.500 % | c | 10070 | 2985 3186 536100 | 5500 4819 2673 | 0.500 % | c =============================================================================== c New solution: 2665 c Elapsed CPU time: 52.2191 s Remaining CPU time: 127.781 s c =============================================================================== c | 10119 | 2985 3187 538950 | 5000 4868 2673 | 0.500 % | c | 10219 | 2985 3187 538950 | 5500 4968 2673 | 0.500 % | c | 10369 | 2985 3187 538950 | 6050 5118 2673 | 0.500 % | c =============================================================================== c New solution: 2664 c Elapsed CPU time: 53.4999 s Remaining CPU time: 126.5 s c =============================================================================== c | 10433 | 2985 3188 541800 | 5000 5182 2672 | 0.500 % | c | 10533 | 2985 3188 541800 | 5500 2691 2664 | 0.500 % | c | 10683 | 2985 3188 541800 | 6050 2841 2664 | 0.500 % | c | 10908 | 2985 3188 541800 | 6655 3066 2664 | 0.500 % | c =============================================================================== c New solution: 2663 c Elapsed CPU time: 55.4566 s Remaining CPU time: 124.543 s c =============================================================================== c | 11055 | 2985 3189 544650 | 5000 3213 2664 | 0.500 % | c =============================================================================== c New solution: 2662 c Elapsed CPU time: 55.8015 s Remaining CPU time: 124.198 s c =============================================================================== c | 11093 | 2985 3190 547500 | 5000 3251 2664 | 0.500 % | c | 11193 | 2985 3190 547500 | 5500 3351 2664 | 0.500 % | c | 11343 | 2985 3190 547500 | 6050 3501 2664 | 0.500 % | c | 11568 | 2985 3190 547500 | 6655 3726 2664 | 0.500 % | c | 11905 | 2985 3190 547500 | 7320 4063 2664 | 0.500 % | c =============================================================================== c New solution: 2661 c Elapsed CPU time: 58.6961 s Remaining CPU time: 121.304 s c =============================================================================== c | 12015 | 2985 3191 550350 | 5000 4173 2664 | 0.500 % | c | 12115 | 2985 3191 550350 | 5500 4273 2664 | 0.500 % | c | 12265 | 2985 3191 550350 | 6050 4423 2664 | 0.500 % | c =============================================================================== c New solution: 2660 c Elapsed CPU time: 60.1039 s Remaining CPU time: 119.896 s c =============================================================================== c | 12359 | 2985 3192 553200 | 5000 4517 2664 | 0.500 % | c | 12459 | 2985 3192 553200 | 5500 4617 2664 | 0.500 % | c =============================================================================== c New solution: 2659 c Elapsed CPU time: 60.8438 s Remaining CPU time: 119.156 s c =============================================================================== c | 12482 | 2985 3193 556050 | 5000 4640 2664 | 0.500 % | c =============================================================================== c New solution: 2658 c Elapsed CPU time: 61.1607 s Remaining CPU time: 118.839 s c =============================================================================== c | 12486 | 2985 3194 558900 | 5000 4644 2664 | 0.500 % | c =============================================================================== c New solution: 2657 c Elapsed CPU time: 61.4717 s Remaining CPU time: 118.528 s c =============================================================================== c | 12486 | 2985 3195 561750 | 5000 4644 2664 | 0.500 % | c =============================================================================== c New solution: 2656 c Elapsed CPU time: 61.7896 s Remaining CPU time: 118.21 s c =============================================================================== c | 12529 | 2985 3196 564600 | 5000 4687 2664 | 0.500 % | c | 12629 | 2985 3196 564600 | 5500 4787 2664 | 0.500 % | c | 12780 | 2985 3196 564600 | 6050 4938 2663 | 0.500 % | c | 13005 | 2985 3196 564600 | 6655 5163 2663 | 0.500 % | c =============================================================================== c New solution: 2655 c Elapsed CPU time: 63.4404 s Remaining CPU time: 116.56 s c =============================================================================== c | 13006 | 2985 3197 567450 | 5000 5164 2663 | 0.500 % | c =============================================================================== c New solution: 2654 c Elapsed CPU time: 63.7703 s Remaining CPU time: 116.23 s c =============================================================================== c | 13012 | 2985 3198 570300 | 5000 2588 2656 | 0.500 % | c =============================================================================== c New solution: 2653 c Elapsed CPU time: 64.1033 s Remaining CPU time: 115.897 s c =============================================================================== c | 13032 | 2985 3199 573150 | 5000 2608 2656 | 0.500 % | c | 13132 | 2985 3199 573150 | 5500 2708 2656 | 0.500 % | c | 13282 | 2985 3199 573150 | 6050 2858 2656 | 0.500 % | c =============================================================================== c New solution: 2652 c Elapsed CPU time: 65.4151 s Remaining CPU time: 114.585 s c =============================================================================== c | 13314 | 2985 3200 576000 | 5000 2890 2656 | 0.500 % | c | 13414 | 2985 3200 576000 | 5500 2990 2656 | 0.500 % | c =============================================================================== c New solution: 2651 c Elapsed CPU time: 66.2389 s Remaining CPU time: 113.761 s c =============================================================================== c | 13511 | 2985 3201 578850 | 5000 3087 2656 | 0.500 % | c =============================================================================== c New solution: 2650 c Elapsed CPU time: 66.5909 s Remaining CPU time: 113.409 s c =============================================================================== c | 13543 | 2985 3202 581700 | 5000 3119 2656 | 0.500 % | c | 13643 | 2985 3202 581700 | 5500 3219 2656 | 0.500 % | c =============================================================================== c New solution: 2649 c Elapsed CPU time: 67.4237 s Remaining CPU time: 112.576 s c =============================================================================== c | 13677 | 2985 3203 584550 | 5000 3253 2656 | 0.500 % | c | 13777 | 2985 3203 584550 | 5500 3353 2656 | 0.500 % | c | 13927 | 2985 3203 584550 | 6050 3503 2655 | 0.500 % | c =============================================================================== c New solution: 2648 c Elapsed CPU time: 68.8665 s Remaining CPU time: 111.133 s c =============================================================================== c | 14086 | 2985 3204 587400 | 5000 3662 2655 | 0.500 % | c | 14187 | 2985 3204 587400 | 5500 3763 2655 | 0.500 % | c | 14337 | 2985 3204 587400 | 6050 3913 2654 | 0.500 % | c =============================================================================== c New solution: 2647 c Elapsed CPU time: 70.1503 s Remaining CPU time: 109.85 s c =============================================================================== c | 14378 | 2985 3205 590250 | 5000 3954 2654 | 0.500 % | c | 14479 | 2985 3205 590250 | 5500 4055 2654 | 0.500 % | c | 14629 | 2985 3205 590250 | 6050 4205 2654 | 0.500 % | c =============================================================================== c New solution: 2646 c Elapsed CPU time: 71.4911 s Remaining CPU time: 108.509 s c =============================================================================== c | 14685 | 2985 3206 593100 | 5000 4261 2654 | 0.500 % | c =============================================================================== c New solution: 2645 c Elapsed CPU time: 71.8691 s Remaining CPU time: 108.131 s c =============================================================================== c | 14731 | 2985 3207 595950 | 5000 4307 2654 | 0.500 % | c =============================================================================== c New solution: 2644 c Elapsed CPU time: 72.208 s Remaining CPU time: 107.792 s c =============================================================================== c | 14737 | 2985 3208 598800 | 5000 4313 2654 | 0.500 % | c | 14837 | 2985 3208 598800 | 5500 4413 2653 | 0.500 % | c | 14987 | 2985 3208 598800 | 6050 4563 2653 | 0.500 % | c | 15212 | 2985 3208 598800 | 6655 4788 2653 | 0.500 % | c | 15549 | 2985 3208 598800 | 7320 5125 2652 | 0.500 % | c | 16055 | 2985 3208 598800 | 8052 5631 2652 | 0.500 % | c =============================================================================== c New solution: 2643 c Elapsed CPU time: 76.2764 s Remaining CPU time: 103.724 s c =============================================================================== c | 16636 | 2985 3209 601650 | 5000 6212 2651 | 0.500 % | c =============================================================================== c New solution: 2642 c Elapsed CPU time: 76.6503 s Remaining CPU time: 103.35 s c =============================================================================== c | 16649 | 2985 3210 604500 | 5000 3119 2641 | 0.500 % | c =============================================================================== c New solution: 2641 c Elapsed CPU time: 77.0463 s Remaining CPU time: 102.954 s c =============================================================================== c | 16699 | 2985 3211 607350 | 5000 3169 2642 | 0.500 % | c =============================================================================== c New solution: 2640 c Elapsed CPU time: 77.4412 s Remaining CPU time: 102.559 s c =============================================================================== c | 16747 | 2985 3212 610200 | 5000 3217 2642 | 0.500 % | c =============================================================================== c New solution: 2639 c Elapsed CPU time: 77.8302 s Remaining CPU time: 102.17 s c =============================================================================== c | 16791 | 2985 3213 613050 | 5000 3261 2642 | 0.500 % | c =============================================================================== c New solution: 2638 c Elapsed CPU time: 78.2281 s Remaining CPU time: 101.772 s c =============================================================================== c | 16845 | 2985 3214 615900 | 5000 3315 2641 | 0.500 % | c | 16947 | 2985 3214 615900 | 5500 3417 2641 | 0.500 % | c | 17097 | 2985 3214 615900 | 6050 3567 2641 | 0.500 % | c | 17322 | 2985 3214 615900 | 6655 3792 2641 | 0.500 % | c =============================================================================== c New solution: 2637 c Elapsed CPU time: 80.2318 s Remaining CPU time: 99.7682 s c =============================================================================== c | 17340 | 2985 3215 618750 | 5000 3810 2640 | 0.500 % | c | 17441 | 2985 3215 618750 | 5500 3911 2640 | 0.500 % | c =============================================================================== c New solution: 2636 c Elapsed CPU time: 81.0537 s Remaining CPU time: 98.9463 s c =============================================================================== c | 17455 | 2985 3216 621600 | 5000 3925 2640 | 0.500 % | c =============================================================================== c New solution: 2635 c Elapsed CPU time: 81.4266 s Remaining CPU time: 98.5734 s c =============================================================================== c | 17465 | 2985 3217 624450 | 5000 3935 2640 | 0.500 % | c | 17565 | 2985 3217 624450 | 5500 4035 2640 | 0.500 % | c | 17716 | 2985 3217 624450 | 6050 4186 2640 | 0.500 % | c | 17942 | 2985 3217 624450 | 6655 4412 2639 | 0.500 % | c =============================================================================== c New solution: 2634 c Elapsed CPU time: 83.4473 s Remaining CPU time: 96.5527 s c =============================================================================== c | 18026 | 2985 3218 627300 | 5000 4496 2639 | 0.500 % | c | 18126 | 2985 3218 627300 | 5500 4596 2639 | 0.500 % | c =============================================================================== c New solution: 2633 c Elapsed CPU time: 84.5262 s Remaining CPU time: 95.4738 s c =============================================================================== c | 18197 | 2985 3219 630150 | 5000 4667 2639 | 0.500 % | c | 18297 | 2985 3219 630150 | 5500 4767 2639 | 0.500 % | c | 18447 | 2985 3219 630150 | 6050 4917 2639 | 0.500 % | c | 18673 | 2985 3219 630150 | 6655 5143 2639 | 0.500 % | c =============================================================================== c New solution: 2632 c Elapsed CPU time: 86.8238 s Remaining CPU time: 93.1762 s c =============================================================================== c | 18685 | 2985 3220 633000 | 5000 5155 2639 | 0.500 % | c | 18785 | 2985 3220 633000 | 5500 2678 2631 | 0.500 % | c =============================================================================== c New solution: 2631 c Elapsed CPU time: 87.7507 s Remaining CPU time: 92.2493 s c =============================================================================== c | 18873 | 2985 3221 635850 | 5000 2766 2631 | 0.500 % | c | 18973 | 2985 3221 635850 | 5500 2866 2631 | 0.500 % | c | 19123 | 2985 3221 635850 | 6050 3016 2631 | 0.500 % | c | 19348 | 2985 3221 635850 | 6655 3241 2631 | 0.500 % | c | 19685 | 2985 3221 635850 | 7320 3578 2631 | 0.500 % | c =============================================================================== c New solution: 2630 c Elapsed CPU time: 91.2011 s Remaining CPU time: 88.7989 s c =============================================================================== c | 19875 | 2985 3222 638700 | 5000 3768 2631 | 0.500 % | c | 19975 | 2985 3222 638700 | 5500 3868 2631 | 0.500 % | c | 20126 | 2985 3222 638700 | 6050 4019 2631 | 0.500 % | c | 20351 | 2985 3222 638700 | 6655 4244 2631 | 0.500 % | c | 20688 | 2985 3222 638700 | 7320 4581 2631 | 0.500 % | c | 21196 | 2985 3222 638700 | 8052 5089 2631 | 0.500 % | c =============================================================================== c New solution: 2629 c Elapsed CPU time: 96.1274 s Remaining CPU time: 83.8726 s c =============================================================================== c | 21474 | 2985 3223 641550 | 5000 5367 2631 | 0.500 % | c | 21574 | 2985 3223 641550 | 5500 2784 2623 | 0.500 % | c | 21724 | 2985 3223 641550 | 6050 2934 2623 | 0.500 % | c | 21949 | 2985 3223 641550 | 6655 3159 2624 | 0.500 % | c | 22286 | 2985 3223 641550 | 7320 3496 2624 | 0.500 % | c | 22792 | 2985 3223 641550 | 8052 4002 2625 | 0.500 % | c =============================================================================== c New solution: 2628 c Elapsed CPU time: 100.108 s Remaining CPU time: 79.8922 s c =============================================================================== c | 22904 | 2985 3224 644400 | 5000 4114 2625 | 0.500 % | c | 23004 | 2985 3224 644400 | 5500 4214 2625 | 0.500 % | c =============================================================================== c New solution: 2627 c Elapsed CPU time: 101.114 s Remaining CPU time: 78.8864 s c =============================================================================== c | 23031 | 2985 3225 647250 | 5000 4241 2625 | 0.500 % | c | 23132 | 2985 3225 647250 | 5500 4342 2625 | 0.500 % | c =============================================================================== c New solution: 2626 c Elapsed CPU time: 101.972 s Remaining CPU time: 78.0275 s c =============================================================================== c | 23147 | 2985 3226 650100 | 5000 4357 2625 | 0.500 % | c =============================================================================== c New solution: 2625 c Elapsed CPU time: 102.351 s Remaining CPU time: 77.6486 s c =============================================================================== c | 23159 | 2985 3227 652950 | 5000 4369 2625 | 0.500 % | c | 23259 | 2985 3227 652950 | 5500 4469 2625 | 0.500 % | c | 23409 | 2985 3227 652950 | 6050 4619 2625 | 0.500 % | c =============================================================================== c New solution: 2624 c Elapsed CPU time: 103.837 s Remaining CPU time: 76.1628 s c =============================================================================== c | 23496 | 2985 3228 655800 | 5000 4706 2625 | 0.500 % | c =============================================================================== c New solution: 2623 c Elapsed CPU time: 104.236 s Remaining CPU time: 75.7638 s c =============================================================================== c | 23528 | 2985 3229 658650 | 5000 4738 2625 | 0.500 % | c =============================================================================== c New solution: 2622 c Elapsed CPU time: 104.664 s Remaining CPU time: 75.3359 s c =============================================================================== c | 23567 | 2985 3230 661500 | 5000 4777 2625 | 0.500 % | c =============================================================================== c New solution: 2621 c Elapsed CPU time: 105.222 s Remaining CPU time: 74.778 s c =============================================================================== c | 23663 | 2985 3231 664350 | 5000 4873 2625 | 0.500 % | c | 23763 | 2985 3231 664350 | 5500 4973 2625 | 0.500 % | c =============================================================================== c New solution: 2620 c Elapsed CPU time: 106.226 s Remaining CPU time: 73.7741 s c =============================================================================== c | 23821 | 2985 3232 667200 | 5000 5031 2625 | 0.500 % | c | 23921 | 2985 3232 667200 | 5500 2616 2620 | 0.500 % | c =============================================================================== c New solution: 2619 c Elapsed CPU time: 107.218 s Remaining CPU time: 72.7823 s c =============================================================================== c | 23990 | 2985 3233 670050 | 5000 2685 2620 | 0.500 % | c | 24091 | 2985 3233 670050 | 5500 2786 2620 | 0.500 % | c | 24242 | 2985 3233 670050 | 6050 2937 2620 | 0.500 % | c | 24467 | 2985 3233 670050 | 6655 3162 2620 | 0.500 % | c =============================================================================== c New solution: 2618 c Elapsed CPU time: 109.545 s Remaining CPU time: 70.4547 s c =============================================================================== c | 24511 | 2985 3234 672900 | 5000 3206 2620 | 0.500 % | c | 24612 | 2985 3234 672900 | 5500 3307 2620 | 0.500 % | c =============================================================================== c New solution: 2617 c Elapsed CPU time: 110.638 s Remaining CPU time: 69.3618 s c =============================================================================== c | 24729 | 2985 3235 675750 | 5000 3424 2620 | 0.500 % | c =============================================================================== c New solution: 2616 c Elapsed CPU time: 111.109 s Remaining CPU time: 68.8909 s c =============================================================================== c | 24786 | 2985 3236 678600 | 5000 3481 2619 | 0.500 % | c | 24886 | 2985 3236 678600 | 5500 3581 2619 | 0.500 % | c | 25036 | 2985 3236 678600 | 6050 3731 2619 | 0.500 % | c | 25263 | 2985 3236 678600 | 6655 3958 2618 | 0.500 % | c | 25600 | 2985 3236 678600 | 7320 4295 2618 | 0.500 % | c =============================================================================== c New solution: 2615 c Elapsed CPU time: 115.14 s Remaining CPU time: 64.8595 s c =============================================================================== c | 25897 | 2985 3237 681450 | 5000 4592 2618 | 0.500 % | c | 25997 | 2985 3237 681450 | 5500 4692 2618 | 0.500 % | c | 26147 | 2985 3237 681450 | 6050 4842 2618 | 0.500 % | c =============================================================================== c New solution: 2614 c Elapsed CPU time: 116.789 s Remaining CPU time: 63.2108 s c =============================================================================== c | 26233 | 2985 3238 684300 | 5000 4928 2618 | 0.500 % | c =============================================================================== c New solution: 2613 c Elapsed CPU time: 117.347 s Remaining CPU time: 62.6528 s c =============================================================================== c | 26294 | 2985 3239 687150 | 5000 4989 2618 | 0.500 % | c =============================================================================== c New solution: 2612 c Elapsed CPU time: 117.829 s Remaining CPU time: 62.1709 s c =============================================================================== c | 26369 | 2985 3240 690000 | 5000 5064 2618 | 0.500 % | c | 26470 | 2985 3240 690000 | 5500 2633 2608 | 0.500 % | c =============================================================================== c New solution: 2611 c Elapsed CPU time: 118.951 s Remaining CPU time: 61.0491 s c =============================================================================== c | 26505 | 2985 3241 692850 | 5000 2668 2608 | 0.500 % | c | 26606 | 2985 3241 692850 | 5500 2769 2608 | 0.500 % | c | 26757 | 2985 3241 692850 | 6050 2920 2609 | 0.500 % | c | 26982 | 2985 3241 692850 | 6655 3145 2609 | 0.500 % | c | 27319 | 2985 3241 692850 | 7320 3482 2609 | 0.500 % | c =============================================================================== c New solution: 2610 c Elapsed CPU time: 122.829 s Remaining CPU time: 57.1707 s c =============================================================================== c | 27723 | 2985 3242 695700 | 5000 3886 2609 | 0.500 % | c | 27823 | 2985 3242 695700 | 5500 3986 2609 | 0.500 % | c | 27973 | 2985 3242 695700 | 6050 4136 2609 | 0.500 % | c | 28199 | 2985 3242 695700 | 6655 4362 2609 | 0.500 % | c | 28536 | 2985 3242 695700 | 7320 4699 2609 | 0.500 % | c | 29043 | 2985 3242 695700 | 8052 5206 2609 | 0.500 % | c =============================================================================== c New solution: 2609 c Elapsed CPU time: 127.005 s Remaining CPU time: 52.9953 s c =============================================================================== c | 29110 | 2985 3243 698550 | 5000 5273 2609 | 0.500 % | c | 29210 | 2985 3243 698550 | 5500 2737 2601 | 0.500 % | c =============================================================================== c New solution: 2608 c Elapsed CPU time: 128.145 s Remaining CPU time: 51.8555 s c =============================================================================== c | 29284 | 2985 3244 701400 | 5000 2811 2601 | 0.500 % | c | 29385 | 2985 3244 701400 | 5500 2912 2601 | 0.500 % | c | 29536 | 2985 3244 701400 | 6050 3063 2602 | 0.500 % | c | 29762 | 2985 3244 701400 | 6655 3289 2602 | 0.500 % | c | 30100 | 2985 3244 701400 | 7320 3627 2603 | 0.500 % | c | 30606 | 2985 3244 701400 | 8052 4133 2604 | 0.500 % | c | 31365 | 2985 3244 701400 | 8857 4892 2605 | 0.500 % | c | 32504 | 2985 3244 701400 | 9743 6031 2606 | 0.500 % | c | 34213 | 2985 3244 701400 | 10717 7740 2606 | 0.500 % |