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 | 2978 3002 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 2978 3003 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 2978 3004 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 2978 3005 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 2978 3006 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2978 3007 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 2978 3008 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 2978 3009 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 1 | 2978 3010 31650 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 1 | 2978 3011 34500 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 1 | 2978 3012 37350 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 1 | 2978 3013 40200 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 1 | 2978 3014 43050 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s c =============================================================================== c | 1 | 2978 3015 45900 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2837 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 1 | 2978 3016 48750 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 1 | 2978 3017 51600 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 1 | 2978 3018 54450 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 1 | 2978 3019 57300 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 1 | 2978 3020 60150 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 0.185971 s Remaining CPU time: 179.814 s c =============================================================================== c | 1 | 2978 3021 63000 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 1 | 2978 3022 65850 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s c =============================================================================== c | 1 | 2978 3023 68700 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 1 | 2978 3024 71550 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 1 | 2978 3025 74400 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 1 | 2978 3026 77250 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 1 | 2978 3027 80100 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 1 | 2978 3028 82950 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 0.379942 s Remaining CPU time: 179.62 s c =============================================================================== c | 1 | 2978 3029 85800 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 1 | 2978 3030 88650 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 1 | 2978 3031 91500 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 1 | 2978 3032 94350 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 1 | 2978 3033 97200 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 0.545917 s Remaining CPU time: 179.454 s c =============================================================================== c | 1 | 2978 3034 100050 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 1 | 2978 3035 102900 | 5000 1 2845 | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 0.622905 s Remaining CPU time: 179.377 s c =============================================================================== c | 2 | 2978 3036 105750 | 5000 2 2832 | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 0.662899 s Remaining CPU time: 179.337 s c =============================================================================== c | 2 | 2978 3037 108600 | 5000 2 2832 | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s c =============================================================================== c | 2 | 2978 3038 111450 | 5000 2 2832 | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 0.749886 s Remaining CPU time: 179.25 s c =============================================================================== c | 3 | 2978 3039 114300 | 5000 3 1889 | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 0.795879 s Remaining CPU time: 179.204 s c =============================================================================== c | 3 | 2978 3040 117150 | 5000 3 1889 | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 0.840872 s Remaining CPU time: 179.159 s c =============================================================================== c | 3 | 2978 3041 120000 | 5000 3 1889 | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 0.888864 s Remaining CPU time: 179.111 s c =============================================================================== c | 3 | 2978 3042 122850 | 5000 3 1889 | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 0.941856 s Remaining CPU time: 179.058 s c =============================================================================== c | 4 | 2978 3043 125700 | 5000 4 2120 | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 4 | 2978 3044 128550 | 5000 4 2120 | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 1.05084 s Remaining CPU time: 178.949 s c =============================================================================== c | 4 | 2978 3045 131400 | 5000 4 2120 | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 1.10383 s Remaining CPU time: 178.896 s c =============================================================================== c | 4 | 2978 3046 134250 | 5000 4 2120 | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 4 | 2978 3047 137100 | 5000 4 2120 | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 5 | 2978 3048 139950 | 5000 5 2257 | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 1.27781 s Remaining CPU time: 178.722 s c =============================================================================== c | 5 | 2978 3049 142800 | 5000 5 2257 | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 1.3378 s Remaining CPU time: 178.662 s c =============================================================================== c | 5 | 2978 3050 145650 | 5000 5 2257 | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 1.40279 s Remaining CPU time: 178.597 s c =============================================================================== c | 5 | 2978 3051 148500 | 5000 5 2257 | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 1.46778 s Remaining CPU time: 178.532 s c =============================================================================== c | 8 | 2978 3052 151350 | 5000 8 2462 | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 1.53477 s Remaining CPU time: 178.465 s c =============================================================================== c | 10 | 2978 3053 154200 | 5000 10 2530 | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 1.60276 s Remaining CPU time: 178.397 s c =============================================================================== c | 10 | 2978 3054 157050 | 5000 10 2530 | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 1.67075 s Remaining CPU time: 178.329 s c =============================================================================== c | 10 | 2978 3055 159900 | 5000 10 2530 | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 1.74274 s Remaining CPU time: 178.257 s c =============================================================================== c | 11 | 2978 3056 162750 | 5000 11 2554 | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 1.81772 s Remaining CPU time: 178.182 s c =============================================================================== c | 11 | 2978 3057 165600 | 5000 11 2554 | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 11 | 2978 3058 168450 | 5000 11 2554 | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 1.9667 s Remaining CPU time: 178.033 s c =============================================================================== c | 11 | 2978 3059 171300 | 5000 11 2554 | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 2.04269 s Remaining CPU time: 177.957 s c =============================================================================== c | 12 | 2978 3060 174150 | 5000 12 2574 | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 2.12068 s Remaining CPU time: 177.879 s c =============================================================================== c | 12 | 2978 3061 177000 | 5000 12 2574 | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 2.20267 s Remaining CPU time: 177.797 s c =============================================================================== c | 13 | 2978 3062 179850 | 5000 13 2591 | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 2.28665 s Remaining CPU time: 177.713 s c =============================================================================== c | 15 | 2978 3063 182700 | 5000 15 2618 | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 2.37064 s Remaining CPU time: 177.629 s c =============================================================================== c | 15 | 2978 3064 185550 | 5000 15 2618 | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 2.48162 s Remaining CPU time: 177.518 s c =============================================================================== c | 34 | 2978 3065 188400 | 5000 34 2714 | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 2.56861 s Remaining CPU time: 177.431 s c =============================================================================== c | 34 | 2978 3066 191250 | 5000 34 2714 | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 2.6626 s Remaining CPU time: 177.337 s c =============================================================================== c | 38 | 2978 3067 194100 | 5000 38 2722 | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 2.75458 s Remaining CPU time: 177.245 s c =============================================================================== c | 39 | 2978 3068 196950 | 5000 39 2724 | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 2.84557 s Remaining CPU time: 177.154 s c =============================================================================== c | 39 | 2978 3069 199800 | 5000 39 2724 | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 2.94055 s Remaining CPU time: 177.059 s c =============================================================================== c | 42 | 2978 3070 202650 | 5000 42 2728 | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 3.03754 s Remaining CPU time: 176.962 s c =============================================================================== c | 42 | 2978 3071 205500 | 5000 42 2728 | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 3.13252 s Remaining CPU time: 176.867 s c =============================================================================== c | 43 | 2978 3072 208350 | 5000 43 2729 | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 3.23151 s Remaining CPU time: 176.768 s c =============================================================================== c | 46 | 2978 3073 211200 | 5000 46 2733 | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 3.33649 s Remaining CPU time: 176.664 s c =============================================================================== c | 49 | 2978 3074 214050 | 5000 49 2736 | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 3.44248 s Remaining CPU time: 176.558 s c =============================================================================== c | 50 | 2978 3075 216900 | 5000 50 2737 | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 3.57146 s Remaining CPU time: 176.429 s c =============================================================================== c | 80 | 2978 3076 219750 | 5000 80 2718 | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 3.68844 s Remaining CPU time: 176.312 s c =============================================================================== c | 91 | 2978 3077 222600 | 5000 91 2725 | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 3.86641 s Remaining CPU time: 176.134 s c =============================================================================== c | 144 | 2978 3078 225450 | 5000 144 2745 | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 3.98039 s Remaining CPU time: 176.02 s c =============================================================================== c | 146 | 2978 3079 228300 | 5000 146 2745 | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 4.12237 s Remaining CPU time: 175.878 s c =============================================================================== c | 172 | 2978 3080 231150 | 5000 172 2750 | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 4.28235 s Remaining CPU time: 175.718 s c =============================================================================== c | 211 | 2978 3081 234000 | 5000 211 2754 | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 4.39933 s Remaining CPU time: 175.601 s c =============================================================================== c | 215 | 2978 3082 236850 | 5000 215 2754 | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 4.51831 s Remaining CPU time: 175.482 s c =============================================================================== c | 217 | 2978 3083 239700 | 5000 217 2755 | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 4.63929 s Remaining CPU time: 175.361 s c =============================================================================== c | 220 | 2978 3084 242550 | 5000 220 2755 | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 4.77627 s Remaining CPU time: 175.224 s c =============================================================================== c | 232 | 2978 3085 245400 | 5000 232 2756 | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 4.90525 s Remaining CPU time: 175.095 s c =============================================================================== c | 240 | 2978 3086 248250 | 5000 240 2756 | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 5.04523 s Remaining CPU time: 174.955 s c =============================================================================== c | 255 | 2978 3087 251100 | 5000 255 2757 | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 5.17421 s Remaining CPU time: 174.826 s c =============================================================================== c | 259 | 2978 3088 253950 | 5000 259 2757 | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 5.33419 s Remaining CPU time: 174.666 s c =============================================================================== c | 299 | 2978 3089 256800 | 5000 299 2758 | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 5.52716 s Remaining CPU time: 174.473 s c =============================================================================== c | 379 | 2978 3090 259650 | 5000 379 2760 | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 5.67414 s Remaining CPU time: 174.326 s c =============================================================================== c | 392 | 2978 3091 262500 | 5000 392 2753 | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 5.81412 s Remaining CPU time: 174.186 s c =============================================================================== c | 400 | 2978 3092 265350 | 5000 400 2753 | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 5.96909 s Remaining CPU time: 174.031 s c =============================================================================== c | 428 | 2978 3093 268200 | 5000 428 2754 | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 6.10907 s Remaining CPU time: 173.891 s c =============================================================================== c | 433 | 2978 3094 271050 | 5000 433 2754 | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 6.24705 s Remaining CPU time: 173.753 s c =============================================================================== c | 435 | 2978 3095 273900 | 5000 435 2754 | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 6.41402 s Remaining CPU time: 173.586 s c =============================================================================== c | 470 | 2978 3096 276750 | 5000 470 2754 | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 6.573 s Remaining CPU time: 173.427 s c =============================================================================== c | 493 | 2978 3097 279600 | 5000 493 2754 | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 6.73298 s Remaining CPU time: 173.267 s c =============================================================================== c | 516 | 2978 3098 282450 | 5000 516 2754 | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 6.89995 s Remaining CPU time: 173.1 s c =============================================================================== c | 544 | 2978 3099 285300 | 5000 544 2755 | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 7.06693 s Remaining CPU time: 172.933 s c =============================================================================== c | 567 | 2978 3100 288150 | 5000 567 2755 | 0.000 % | c | 667 | 2978 3100 288150 | 5500 667 2755 | 0.733 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 7.47286 s Remaining CPU time: 172.527 s c =============================================================================== c | 706 | 2978 3101 291000 | 5000 706 2755 | 0.733 % | c | 806 | 2978 3101 291000 | 5500 806 2754 | 0.733 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 7.9008 s Remaining CPU time: 172.099 s c =============================================================================== c | 838 | 2978 3102 293850 | 5000 838 2754 | 0.733 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 8.11876 s Remaining CPU time: 171.881 s c =============================================================================== c | 914 | 2978 3103 296700 | 5000 914 2754 | 0.733 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 8.28574 s Remaining CPU time: 171.714 s c =============================================================================== c | 935 | 2978 3104 299550 | 5000 935 2754 | 0.733 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 8.48871 s Remaining CPU time: 171.511 s c =============================================================================== c | 975 | 2978 3105 302400 | 5000 975 2754 | 0.733 % | c | 1075 | 2978 3105 302400 | 5500 1075 2754 | 0.733 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 9.02863 s Remaining CPU time: 170.971 s c =============================================================================== c | 1167 | 2978 3106 305250 | 5000 1167 2753 | 0.733 % | c | 1267 | 2978 3106 305250 | 5500 1267 2753 | 0.733 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 9.53555 s Remaining CPU time: 170.464 s c =============================================================================== c | 1329 | 2978 3107 308100 | 5000 1329 2753 | 0.733 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 9.75152 s Remaining CPU time: 170.248 s c =============================================================================== c | 1365 | 2978 3108 310950 | 5000 1365 2753 | 0.733 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 9.95949 s Remaining CPU time: 170.041 s c =============================================================================== c | 1407 | 2978 3109 313800 | 5000 1407 2752 | 0.733 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 10.2374 s Remaining CPU time: 169.763 s c =============================================================================== c | 1501 | 2978 3110 316650 | 5000 1501 2752 | 0.733 % | c | 1601 | 2978 3110 316650 | 5500 1601 2751 | 0.733 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 10.7524 s Remaining CPU time: 169.248 s c =============================================================================== c | 1648 | 2978 3111 319500 | 5000 1648 2751 | 0.733 % | c | 1748 | 2978 3111 319500 | 5500 1748 2751 | 0.733 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 11.2783 s Remaining CPU time: 168.722 s c =============================================================================== c | 1805 | 2978 3112 322350 | 5000 1805 2751 | 0.733 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 11.4893 s Remaining CPU time: 168.511 s c =============================================================================== c | 1851 | 2978 3113 325200 | 5000 1851 2750 | 0.733 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 11.7122 s Remaining CPU time: 168.288 s c =============================================================================== c | 1884 | 2978 3114 328050 | 5000 1884 2750 | 0.733 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 11.9442 s Remaining CPU time: 168.056 s c =============================================================================== c | 1947 | 2978 3115 330900 | 5000 1947 2750 | 0.733 % | c | 2047 | 2978 3115 330900 | 5500 2047 2749 | 0.733 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 12.4261 s Remaining CPU time: 167.574 s c =============================================================================== c | 2078 | 2978 3116 333750 | 5000 2078 2749 | 0.733 % | c | 2179 | 2978 3116 333750 | 5500 2179 2749 | 0.733 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 13.012 s Remaining CPU time: 166.988 s c =============================================================================== c | 2273 | 2978 3117 336600 | 5000 2273 2747 | 0.733 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 13.265 s Remaining CPU time: 166.735 s c =============================================================================== c | 2327 | 2978 3118 339450 | 5000 2327 2747 | 0.733 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 13.473 s Remaining CPU time: 166.527 s c =============================================================================== c | 2359 | 2978 3119 342300 | 5000 2359 2747 | 0.733 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 13.6919 s Remaining CPU time: 166.308 s c =============================================================================== c | 2380 | 2978 3120 345150 | 5000 2380 2747 | 0.733 % | c | 2480 | 2978 3120 345150 | 5500 2480 2746 | 0.733 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 14.2298 s Remaining CPU time: 165.77 s c =============================================================================== c | 2512 | 2978 3121 348000 | 5000 2512 2746 | 0.733 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 14.4958 s Remaining CPU time: 165.504 s c =============================================================================== c | 2593 | 2978 3122 350850 | 5000 2593 2746 | 0.733 % | c | 2693 | 2978 3122 350850 | 5500 2693 2745 | 0.733 % | c | 2844 | 2978 3122 350850 | 6050 2844 2744 | 0.733 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 15.3337 s Remaining CPU time: 164.666 s c =============================================================================== c | 2876 | 2978 3123 353700 | 5000 2876 2744 | 0.733 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 15.5626 s Remaining CPU time: 164.437 s c =============================================================================== c | 2912 | 2978 3124 356550 | 5000 2912 2744 | 0.733 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 15.8526 s Remaining CPU time: 164.147 s c =============================================================================== c | 2998 | 2978 3125 359400 | 5000 2998 2744 | 0.733 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 16.1086 s Remaining CPU time: 163.891 s c =============================================================================== c | 3058 | 2978 3126 362250 | 5000 3058 2743 | 0.733 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 16.3285 s Remaining CPU time: 163.671 s c =============================================================================== c | 3090 | 2978 3127 365100 | 5000 3090 2743 | 0.733 % | c | 3190 | 2978 3127 365100 | 5500 3190 2742 | 0.733 % | c | 3340 | 2978 3127 365100 | 6050 3340 2741 | 0.733 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 17.1234 s Remaining CPU time: 162.877 s c =============================================================================== c | 3342 | 2978 3128 367950 | 5000 3342 2741 | 0.733 % | c | 3442 | 2978 3128 367950 | 5500 3442 2741 | 0.733 % | c | 3593 | 2978 3128 367950 | 6050 3593 2740 | 0.733 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 18.0533 s Remaining CPU time: 161.947 s c =============================================================================== c | 3647 | 2978 3129 370800 | 5000 3647 2740 | 0.733 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 18.3472 s Remaining CPU time: 161.653 s c =============================================================================== c | 3709 | 2978 3130 373650 | 5000 3709 2740 | 0.733 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 18.5742 s Remaining CPU time: 161.426 s c =============================================================================== c | 3728 | 2978 3131 376500 | 5000 3728 2740 | 0.733 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 18.8391 s Remaining CPU time: 161.161 s c =============================================================================== c | 3767 | 2978 3132 379350 | 5000 3767 2740 | 0.733 % | c | 3868 | 2978 3132 379350 | 5500 3868 2739 | 0.733 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 19.487 s Remaining CPU time: 160.513 s c =============================================================================== c | 3948 | 2978 3133 382200 | 5000 3948 2739 | 0.733 % | c | 4048 | 2978 3133 382200 | 5500 4048 2738 | 0.733 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 20.2149 s Remaining CPU time: 159.785 s c =============================================================================== c | 4129 | 2978 3134 385050 | 5000 4129 2738 | 0.733 % | c | 4229 | 2978 3134 385050 | 5500 4229 2738 | 0.733 % | c | 4380 | 2978 3134 385050 | 6050 4380 2737 | 0.733 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 21.2288 s Remaining CPU time: 158.771 s c =============================================================================== c | 4508 | 2978 3135 387900 | 5000 4508 2736 | 0.733 % | c | 4608 | 2978 3135 387900 | 5500 4608 2736 | 0.733 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 21.7927 s Remaining CPU time: 158.207 s c =============================================================================== c | 4647 | 2978 3136 390750 | 5000 4647 2736 | 0.733 % | c | 4747 | 2978 3136 390750 | 5500 4747 2736 | 0.733 % | c | 4897 | 2978 3136 390750 | 6050 4897 2735 | 0.733 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 22.7005 s Remaining CPU time: 157.299 s c =============================================================================== c | 4925 | 2978 3137 393600 | 5000 4925 2735 | 0.733 % | c | 5025 | 2978 3137 393600 | 5500 5025 2735 | 0.733 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 23.3554 s Remaining CPU time: 156.645 s c =============================================================================== c | 5169 | 2978 3138 396450 | 5000 5169 2734 | 0.733 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 23.6134 s Remaining CPU time: 156.387 s c =============================================================================== c | 5201 | 2978 3139 399300 | 5000 2617 2720 | 0.733 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 23.9534 s Remaining CPU time: 156.047 s c =============================================================================== c | 5289 | 2978 3140 402150 | 5000 2705 2719 | 0.733 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 24.1773 s Remaining CPU time: 155.823 s c =============================================================================== c | 5297 | 2978 3141 405000 | 5000 2713 2719 | 0.733 % | c | 5398 | 2978 3141 405000 | 5500 2814 2719 | 0.733 % | c | 5548 | 2978 3141 405000 | 6050 2964 2719 | 0.733 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 25.4191 s Remaining CPU time: 154.581 s c =============================================================================== c | 5722 | 2978 3142 407850 | 5000 3138 2719 | 0.733 % | c | 5823 | 2978 3142 407850 | 5500 3239 2718 | 0.733 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 26.03 s Remaining CPU time: 153.97 s c =============================================================================== c | 5871 | 2978 3143 410700 | 5000 3287 2718 | 0.733 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 26.312 s Remaining CPU time: 153.688 s c =============================================================================== c | 5936 | 2978 3144 413550 | 5000 3352 2718 | 0.733 % | c | 6036 | 2978 3144 413550 | 5500 3452 2718 | 0.733 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 26.9379 s Remaining CPU time: 153.062 s c =============================================================================== c | 6092 | 2978 3145 416400 | 5000 3508 2718 | 0.733 % | c | 6192 | 2978 3145 416400 | 5500 3608 2718 | 0.733 % | c | 6342 | 2978 3145 416400 | 6050 3758 2717 | 0.733 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 28.1067 s Remaining CPU time: 151.893 s c =============================================================================== c | 6527 | 2978 3146 419250 | 5000 3943 2717 | 0.733 % | c | 6627 | 2978 3146 419250 | 5500 4043 2717 | 0.733 % | c | 6777 | 2978 3146 419250 | 6050 4193 2716 | 0.733 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 29.2675 s Remaining CPU time: 150.732 s c =============================================================================== c | 6958 | 2978 3147 422100 | 5000 4374 2715 | 0.733 % | c | 7059 | 2978 3147 422100 | 5500 4475 2715 | 0.733 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 29.8615 s Remaining CPU time: 150.139 s c =============================================================================== c | 7098 | 2978 3148 424950 | 5000 4514 2715 | 0.733 % | c | 7198 | 2978 3148 424950 | 5500 4614 2715 | 0.733 % | c | 7348 | 2978 3148 424950 | 6050 4764 2715 | 0.733 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 30.9183 s Remaining CPU time: 149.082 s c =============================================================================== c | 7461 | 2978 3149 427800 | 5000 4877 2714 | 0.733 % | c | 7561 | 2978 3149 427800 | 5500 4977 2714 | 0.733 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 31.7522 s Remaining CPU time: 148.248 s c =============================================================================== c | 7709 | 2978 3150 430650 | 5000 5125 2714 | 0.733 % | c | 7809 | 2978 3150 430650 | 5500 2663 2704 | 0.733 % | c | 7959 | 2978 3150 430650 | 6050 2813 2704 | 0.733 % | c | 8185 | 2978 3150 430650 | 6655 3039 2704 | 0.733 % | c | 8522 | 2978 3150 430650 | 7320 3376 2704 | 0.733 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 34.4958 s Remaining CPU time: 145.504 s c =============================================================================== c | 8846 | 2978 3151 433500 | 5000 3700 2704 | 0.733 % | c | 8946 | 2978 3151 433500 | 5500 3800 2704 | 0.733 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 35.0777 s Remaining CPU time: 144.922 s c =============================================================================== c | 8978 | 2978 3152 436350 | 5000 3832 2704 | 0.733 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 35.3716 s Remaining CPU time: 144.628 s c =============================================================================== c | 9043 | 2978 3153 439200 | 5000 3897 2704 | 0.733 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 35.6766 s Remaining CPU time: 144.323 s c =============================================================================== c | 9115 | 2978 3154 442050 | 5000 3969 2704 | 0.733 % | c | 9216 | 2978 3154 442050 | 5500 4070 2704 | 0.733 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 36.3525 s Remaining CPU time: 143.648 s c =============================================================================== c | 9252 | 2978 3155 444900 | 5000 4106 2704 | 0.733 % | c | 9352 | 2978 3155 444900 | 5500 4206 2704 | 0.733 % | c | 9502 | 2978 3155 444900 | 6050 4356 2704 | 0.733 % | c | 9727 | 2978 3155 444900 | 6655 4581 2704 | 0.733 % | c | 10064 | 2978 3155 444900 | 7320 4918 2703 | 0.733 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 38.8121 s Remaining CPU time: 141.188 s c =============================================================================== c | 10332 | 2978 3156 447750 | 5000 5186 2703 | 0.733 % | c | 10432 | 2978 3156 447750 | 5500 2693 2697 | 0.733 % | c | 10582 | 2978 3156 447750 | 6050 2843 2697 | 0.733 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 40.1159 s Remaining CPU time: 139.884 s c =============================================================================== c | 10756 | 2978 3157 450600 | 5000 3017 2696 | 0.733 % | c | 10856 | 2978 3157 450600 | 5500 3117 2695 | 0.733 % | c | 11006 | 2978 3157 450600 | 6050 3267 2695 | 0.733 % | c | 11232 | 2978 3157 450600 | 6655 3493 2696 | 0.733 % | c | 11569 | 2978 3157 450600 | 7320 3830 2696 | 0.733 % | c | 12075 | 2978 3157 450600 | 8052 4336 2695 | 0.733 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 43.7613 s Remaining CPU time: 136.239 s c =============================================================================== c | 12227 | 2978 3158 453450 | 5000 4488 2695 | 0.733 % | c | 12328 | 2978 3158 453450 | 5500 4589 2695 | 0.733 % | c | 12480 | 2978 3158 453450 | 6050 4741 2695 | 0.733 % | c | 12706 | 2978 3158 453450 | 6655 4967 2695 | 0.733 % | c | 13044 | 2978 3158 453450 | 7320 5305 2694 | 0.733 % | c | 13550 | 2978 3158 453450 | 8052 5811 2694 | 0.733 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 48.3846 s Remaining CPU time: 131.615 s c =============================================================================== c | 14210 | 2978 3159 456300 | 5000 6471 2694 | 0.733 % | c | 14311 | 2978 3159 456300 | 5500 3337 2688 | 0.733 % | c | 14462 | 2978 3159 456300 | 6050 3488 2688 | 0.733 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 49.8004 s Remaining CPU time: 130.2 s c =============================================================================== c | 14645 | 2978 3160 459150 | 5000 3671 2689 | 0.733 % | c | 14745 | 2978 3160 459150 | 5500 3771 2689 | 0.733 % | c | 14895 | 2978 3160 459150 | 6050 3921 2689 | 0.733 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 51.2432 s Remaining CPU time: 128.757 s c =============================================================================== c | 15117 | 2978 3161 462000 | 5000 4143 2689 | 0.733 % | c | 15217 | 2978 3161 462000 | 5500 4243 2689 | 0.733 % | c | 15367 | 2978 3161 462000 | 6050 4393 2690 | 0.733 % | c | 15592 | 2978 3161 462000 | 6655 4618 2690 | 0.733 % | c | 15930 | 2978 3161 462000 | 7320 4956 2690 | 0.733 % | c | 16436 | 2978 3161 462000 | 8052 5462 2690 | 0.733 % | c | 17195 | 2978 3161 462000 | 8857 6221 2691 | 0.733 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 59.009 s Remaining CPU time: 120.991 s c =============================================================================== c | 18070 | 2978 3162 464850 | 5000 7096 2691 | 0.733 % | c | 18170 | 2978 3162 464850 | 5500 3648 2687 | 0.733 % | c | 18321 | 2978 3162 464850 | 6050 3799 2687 | 0.733 % | c | 18547 | 2978 3162 464850 | 6655 4025 2687 | 0.733 % | c | 18884 | 2978 3162 464850 | 7320 4362 2688 | 0.733 % | c | 19390 | 2978 3162 464850 | 8052 4868 2688 | 0.733 % | c | 20149 | 2978 3162 464850 | 8857 5627 2688 | 0.733 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 63.9303 s Remaining CPU time: 116.07 s c =============================================================================== c | 20367 | 2978 3163 467700 | 5000 5845 2688 | 0.733 % | c | 20467 | 2978 3163 467700 | 5500 3023 2683 | 0.733 % | c | 20617 | 2978 3163 467700 | 6050 3173 2684 | 0.733 % | c | 20843 | 2978 3163 467700 | 6655 3399 2684 | 0.733 % | c | 21180 | 2978 3163 467700 | 7320 3736 2685 | 0.733 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 67.0808 s Remaining CPU time: 112.919 s c =============================================================================== c | 21287 | 2978 3164 470550 | 5000 3843 2685 | 0.733 % | c | 21387 | 2978 3164 470550 | 5500 3943 2685 | 0.733 % | c | 21539 | 2978 3164 470550 | 6050 4095 2685 | 0.733 % | c | 21764 | 2978 3164 470550 | 6655 4320 2685 | 0.733 % | c | 22101 | 2978 3164 470550 | 7320 4657 2685 | 0.733 % | c | 22609 | 2978 3164 470550 | 8052 5165 2686 | 0.733 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 71.8351 s Remaining CPU time: 108.165 s c =============================================================================== c | 23297 | 2978 3165 473400 | 5000 5853 2687 | 0.733 % | c | 23399 | 2978 3165 473400 | 5500 3029 2681 | 0.733 % | c | 23549 | 2978 3165 473400 | 6050 3179 2682 | 0.733 % | c | 23775 | 2978 3165 473400 | 6655 3405 2682 | 0.733 % | c | 24112 | 2978 3165 473400 | 7320 3742 2683 | 0.733 % | c | 24618 | 2978 3165 473400 | 8052 4248 2684 | 0.733 % | c | 25377 | 2978 3165 473400 | 8857 5007 2684 | 0.733 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 77.0983 s Remaining CPU time: 102.902 s c =============================================================================== c | 25776 | 2978 3166 476250 | 5000 5406 2684 | 0.733 % | c | 25876 | 2978 3166 476250 | 5500 2803 2681 | 0.733 % | c | 26026 | 2978 3166 476250 | 6050 2953 2681 | 0.733 % | c | 26251 | 2978 3166 476250 | 6655 3178 2682 | 0.733 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 79.12 s Remaining CPU time: 100.88 s c =============================================================================== c | 26448 | 2978 3167 479100 | 5000 3375 2682 | 0.733 % | c | 26549 | 2978 3167 479100 | 5500 3476 2682 | 0.733 % | c | 26700 | 2978 3167 479100 | 6050 3627 2683 | 0.733 % | c | 26925 | 2978 3167 479100 | 6655 3852 2682 | 0.733 % | c | 27262 | 2978 3167 479100 | 7320 4189 2683 | 0.733 % | c | 27769 | 2978 3167 479100 | 8052 4696 2683 | 0.733 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 82.4835 s Remaining CPU time: 97.5165 s c =============================================================================== c | 27838 | 2978 3168 481950 | 5000 4765 2683 | 0.733 % | c | 27938 | 2978 3168 481950 | 5500 4865 2683 | 0.733 % | c | 28088 | 2978 3168 481950 | 6050 5015 2683 | 0.733 % | c | 28313 | 2978 3168 481950 | 6655 5240 2684 | 0.733 % | c | 28650 | 2978 3168 481950 | 7320 5577 2684 | 0.733 % | c | 29157 | 2978 3168 481950 | 8052 6084 2684 | 0.733 % | c | 29916 | 2978 3168 481950 | 8857 6843 2684 | 0.733 % | c | 31055 | 2978 3168 481950 | 9743 7982 2685 | 0.733 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 89.9523 s Remaining CPU time: 90.0477 s c =============================================================================== c | 31172 | 2978 3169 484800 | 5000 8099 2685 | 0.733 % | c | 31272 | 2978 3169 484800 | 5500 4150 2681 | 0.733 % | c | 31422 | 2978 3169 484800 | 6050 4300 2681 | 0.733 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 91.3431 s Remaining CPU time: 88.6569 s c =============================================================================== c | 31488 | 2978 3170 487650 | 5000 4366 2681 | 0.733 % | c | 31589 | 2978 3170 487650 | 5500 4467 2681 | 0.733 % | c | 31739 | 2978 3170 487650 | 6050 4617 2681 | 0.733 % | c | 31964 | 2978 3170 487650 | 6655 4842 2682 | 0.733 % | c | 32301 | 2978 3170 487650 | 7320 5179 2682 | 0.733 % | c | 32807 | 2978 3170 487650 | 8052 5685 2682 | 0.733 % | c | 33568 | 2978 3170 487650 | 8857 6446 2682 | 0.733 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 97.6582 s Remaining CPU time: 82.3418 s c =============================================================================== c | 34283 | 2978 3171 490500 | 5000 7161 2682 | 0.733 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 98.1631 s Remaining CPU time: 81.8369 s c =============================================================================== c | 34373 | 2978 3172 493350 | 5000 3671 2678 | 0.733 % | c | 34473 | 2978 3172 493350 | 5500 3771 2678 | 0.733 % | c | 34623 | 2978 3172 493350 | 6050 3921 2679 | 0.733 % | c | 34850 | 2978 3172 493350 | 6655 4148 2679 | 0.733 % | c | 35187 | 2978 3172 493350 | 7320 4485 2679 | 0.733 % |