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 | 2977 3003 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 2977 3004 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 0 | 2977 3005 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 2977 3006 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 2977 3007 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 0 | 2977 3008 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 2977 3009 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s c =============================================================================== c | 0 | 2977 3010 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 0.057991 s Remaining CPU time: 179.942 s c =============================================================================== c | 0 | 2977 3011 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 2977 3012 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s c =============================================================================== c | 0 | 2977 3013 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 2977 3014 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 2977 3015 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 2977 3016 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 | 2977 3017 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 0.123981 s Remaining CPU time: 179.876 s c =============================================================================== c | 0 | 2977 3018 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 0.136979 s Remaining CPU time: 179.863 s c =============================================================================== c | 0 | 2977 3019 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 2977 3020 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 2977 3021 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 2977 3022 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s c =============================================================================== c | 0 | 2977 3023 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 2977 3024 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s c =============================================================================== c | 0 | 2977 3025 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 0.252961 s Remaining CPU time: 179.747 s c =============================================================================== c | 0 | 2977 3026 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 0.273958 s Remaining CPU time: 179.726 s c =============================================================================== c | 0 | 2977 3027 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 0.295955 s Remaining CPU time: 179.704 s c =============================================================================== c | 0 | 2977 3028 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 0 | 2977 3029 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 0.340948 s Remaining CPU time: 179.659 s c =============================================================================== c | 0 | 2977 3030 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 2977 3031 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 0.39294 s Remaining CPU time: 179.607 s c =============================================================================== c | 0 | 2977 3032 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 0 | 2977 3033 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 0.448931 s Remaining CPU time: 179.551 s c =============================================================================== c | 0 | 2977 3034 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 0 | 2977 3035 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 0 | 2977 3036 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 0.542917 s Remaining CPU time: 179.457 s c =============================================================================== c | 0 | 2977 3037 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 0.575912 s Remaining CPU time: 179.424 s c =============================================================================== c | 0 | 2977 3038 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 0 | 2977 3039 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s c =============================================================================== c | 0 | 2977 3040 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 0 | 2977 3041 117150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s c =============================================================================== c | 0 | 2977 3042 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 0 | 2977 3043 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 0.802877 s Remaining CPU time: 179.197 s c =============================================================================== c | 0 | 2977 3044 125700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 0 | 2977 3045 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 0.894863 s Remaining CPU time: 179.105 s c =============================================================================== c | 0 | 2977 3046 131400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 0.941856 s Remaining CPU time: 179.058 s c =============================================================================== c | 0 | 2977 3047 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s c =============================================================================== c | 0 | 2977 3048 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 1.04184 s Remaining CPU time: 178.958 s c =============================================================================== c | 0 | 2977 3049 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 1.09583 s Remaining CPU time: 178.904 s c =============================================================================== c | 0 | 2977 3050 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 0 | 2977 3051 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s c =============================================================================== c | 0 | 2977 3052 148500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 1.26881 s Remaining CPU time: 178.731 s c =============================================================================== c | 0 | 2977 3053 151350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 1.3308 s Remaining CPU time: 178.669 s c =============================================================================== c | 0 | 2977 3054 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 1.39479 s Remaining CPU time: 178.605 s c =============================================================================== c | 0 | 2977 3055 157050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 1.46178 s Remaining CPU time: 178.538 s c =============================================================================== c | 0 | 2977 3056 159900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 1.52877 s Remaining CPU time: 178.471 s c =============================================================================== c | 0 | 2977 3057 162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 1.59876 s Remaining CPU time: 178.401 s c =============================================================================== c | 0 | 2977 3058 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 1.66775 s Remaining CPU time: 178.332 s c =============================================================================== c | 0 | 2977 3059 168450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 1.73874 s Remaining CPU time: 178.261 s c =============================================================================== c | 0 | 2977 3060 171300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 1.81172 s Remaining CPU time: 178.188 s c =============================================================================== c | 0 | 2977 3061 174150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 1.88771 s Remaining CPU time: 178.112 s c =============================================================================== c | 0 | 2977 3062 177000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 1.9657 s Remaining CPU time: 178.034 s c =============================================================================== c | 0 | 2977 3063 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 2.04469 s Remaining CPU time: 177.955 s c =============================================================================== c | 0 | 2977 3064 182700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 2.12668 s Remaining CPU time: 177.873 s c =============================================================================== c | 0 | 2977 3065 185550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 2.20766 s Remaining CPU time: 177.792 s c =============================================================================== c | 0 | 2977 3066 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 2.29165 s Remaining CPU time: 177.708 s c =============================================================================== c | 0 | 2977 3067 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 0 | 2977 3068 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 2.46362 s Remaining CPU time: 177.536 s c =============================================================================== c | 0 | 2977 3069 196950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 2.55161 s Remaining CPU time: 177.448 s c =============================================================================== c | 0 | 2977 3070 199800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 2.6426 s Remaining CPU time: 177.357 s c =============================================================================== c | 0 | 2977 3071 202650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 2.73658 s Remaining CPU time: 177.263 s c =============================================================================== c | 0 | 2977 3072 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 2.83257 s Remaining CPU time: 177.167 s c =============================================================================== c | 0 | 2977 3073 208350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 2.92755 s Remaining CPU time: 177.072 s c =============================================================================== c | 0 | 2977 3074 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 3.02654 s Remaining CPU time: 176.973 s c =============================================================================== c | 0 | 2977 3075 214050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 3.12552 s Remaining CPU time: 176.874 s c =============================================================================== c | 0 | 2977 3076 216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 3.22951 s Remaining CPU time: 176.77 s c =============================================================================== c | 0 | 2977 3077 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 3.33349 s Remaining CPU time: 176.667 s c =============================================================================== c | 0 | 2977 3078 222600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 3.44048 s Remaining CPU time: 176.56 s c =============================================================================== c | 1 | 2977 3079 225450 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 3.54946 s Remaining CPU time: 176.451 s c =============================================================================== c | 1 | 2977 3080 228300 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 3.66144 s Remaining CPU time: 176.339 s c =============================================================================== c | 1 | 2977 3081 231150 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 3.77543 s Remaining CPU time: 176.225 s c =============================================================================== c | 1 | 2977 3082 234000 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 3.89241 s Remaining CPU time: 176.108 s c =============================================================================== c | 1 | 2977 3083 236850 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 4.01939 s Remaining CPU time: 175.981 s c =============================================================================== c | 1 | 2977 3084 239700 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 4.14337 s Remaining CPU time: 175.857 s c =============================================================================== c | 2 | 2977 3085 242550 | 5000 2 1390 | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 4.26935 s Remaining CPU time: 175.731 s c =============================================================================== c | 2 | 2977 3086 245400 | 5000 2 1390 | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 4.40633 s Remaining CPU time: 175.594 s c =============================================================================== c | 2 | 2977 3087 248250 | 5000 2 1390 | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 4.54531 s Remaining CPU time: 175.455 s c =============================================================================== c | 4 | 2977 3088 251100 | 5000 4 2079 | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 4.68529 s Remaining CPU time: 175.315 s c =============================================================================== c | 4 | 2977 3089 253950 | 5000 4 2079 | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 4.82227 s Remaining CPU time: 175.178 s c =============================================================================== c | 4 | 2977 3090 256800 | 5000 4 2079 | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 4.96124 s Remaining CPU time: 175.039 s c =============================================================================== c | 4 | 2977 3091 259650 | 5000 4 2079 | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 5.10522 s Remaining CPU time: 174.895 s c =============================================================================== c | 6 | 2977 3092 262500 | 5000 6 2307 | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 5.2512 s Remaining CPU time: 174.749 s c =============================================================================== c | 6 | 2977 3093 265350 | 5000 6 2307 | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 5.39018 s Remaining CPU time: 174.61 s c =============================================================================== c | 6 | 2977 3094 268200 | 5000 6 2307 | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 5.53816 s Remaining CPU time: 174.462 s c =============================================================================== c | 11 | 2977 3095 271050 | 5000 11 2513 | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 5.69613 s Remaining CPU time: 174.304 s c =============================================================================== c | 25 | 2977 3096 273900 | 5000 25 2652 | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 5.84911 s Remaining CPU time: 174.151 s c =============================================================================== c | 32 | 2977 3097 276750 | 5000 32 2675 | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 6.00509 s Remaining CPU time: 173.995 s c =============================================================================== c | 39 | 2977 3098 279600 | 5000 39 2690 | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 6.16006 s Remaining CPU time: 173.84 s c =============================================================================== c | 42 | 2977 3099 282450 | 5000 42 2695 | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 6.32104 s Remaining CPU time: 173.679 s c =============================================================================== c | 48 | 2977 3100 285300 | 5000 48 2702 | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 6.48101 s Remaining CPU time: 173.519 s c =============================================================================== c | 49 | 2977 3101 288150 | 5000 49 2647 | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 6.63899 s Remaining CPU time: 173.361 s c =============================================================================== c | 50 | 2977 3102 291000 | 5000 50 2650 | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 6.80396 s Remaining CPU time: 173.196 s c =============================================================================== c | 52 | 2977 3103 293850 | 5000 52 2654 | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 6.96694 s Remaining CPU time: 173.033 s c =============================================================================== c | 53 | 2977 3104 296700 | 5000 53 2655 | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 7.13791 s Remaining CPU time: 172.862 s c =============================================================================== c | 67 | 2977 3105 299550 | 5000 67 2634 | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 7.29989 s Remaining CPU time: 172.7 s c =============================================================================== c | 67 | 2977 3106 302400 | 5000 67 2634 | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 7.46387 s Remaining CPU time: 172.536 s c =============================================================================== c | 67 | 2977 3107 305250 | 5000 67 2634 | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 7.64084 s Remaining CPU time: 172.359 s c =============================================================================== c | 68 | 2977 3108 308100 | 5000 68 2636 | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 7.82581 s Remaining CPU time: 172.174 s c =============================================================================== c | 70 | 2977 3109 310950 | 5000 70 2639 | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 8.01978 s Remaining CPU time: 171.98 s c =============================================================================== c | 71 | 2977 3110 313800 | 5000 71 2641 | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 8.21075 s Remaining CPU time: 171.789 s c =============================================================================== c | 71 | 2977 3111 316650 | 5000 71 2641 | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 8.40572 s Remaining CPU time: 171.594 s c =============================================================================== c | 79 | 2977 3112 319500 | 5000 79 2651 | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 8.59269 s Remaining CPU time: 171.407 s c =============================================================================== c | 79 | 2977 3113 322350 | 5000 79 2651 | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 8.78067 s Remaining CPU time: 171.219 s c =============================================================================== c | 80 | 2977 3114 325200 | 5000 80 2652 | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 8.97164 s Remaining CPU time: 171.028 s c =============================================================================== c | 80 | 2977 3115 328050 | 5000 80 2652 | 0.000 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 9.16461 s Remaining CPU time: 170.835 s c =============================================================================== c | 80 | 2977 3116 330900 | 5000 80 2652 | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 9.35558 s Remaining CPU time: 170.644 s c =============================================================================== c | 80 | 2977 3117 333750 | 5000 80 2652 | 0.000 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 9.56155 s Remaining CPU time: 170.438 s c =============================================================================== c | 94 | 2977 3118 336600 | 5000 94 2665 | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 9.82151 s Remaining CPU time: 170.178 s c =============================================================================== c | 137 | 2977 3119 339450 | 5000 137 2688 | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 10.0455 s Remaining CPU time: 169.955 s c =============================================================================== c | 168 | 2977 3120 342300 | 5000 168 2697 | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 10.2384 s Remaining CPU time: 169.762 s c =============================================================================== c | 175 | 2977 3121 345150 | 5000 175 2698 | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 10.4544 s Remaining CPU time: 169.546 s c =============================================================================== c | 196 | 2977 3122 348000 | 5000 196 2702 | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 10.6484 s Remaining CPU time: 169.352 s c =============================================================================== c | 196 | 2977 3123 350850 | 5000 196 2702 | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 10.8633 s Remaining CPU time: 169.137 s c =============================================================================== c | 221 | 2977 3124 353700 | 5000 221 2705 | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 11.0623 s Remaining CPU time: 168.938 s c =============================================================================== c | 226 | 2977 3125 356550 | 5000 226 2706 | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 11.2833 s Remaining CPU time: 168.717 s c =============================================================================== c | 234 | 2977 3126 359400 | 5000 234 2707 | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 11.4983 s Remaining CPU time: 168.502 s c =============================================================================== c | 239 | 2977 3127 362250 | 5000 239 2707 | 0.000 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 11.8382 s Remaining CPU time: 168.162 s c =============================================================================== c | 335 | 2977 3128 365100 | 5000 335 2713 | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 12.0732 s Remaining CPU time: 167.927 s c =============================================================================== c | 360 | 2977 3129 367950 | 5000 360 2714 | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 12.3251 s Remaining CPU time: 167.675 s c =============================================================================== c | 381 | 2977 3130 370800 | 5000 381 2715 | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 12.5321 s Remaining CPU time: 167.468 s c =============================================================================== c | 385 | 2977 3131 373650 | 5000 385 2715 | 0.000 % | c | 485 | 2977 3131 373650 | 5500 485 2711 | 0.767 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 13.098 s Remaining CPU time: 166.902 s c =============================================================================== c | 503 | 2977 3132 376500 | 5000 503 2712 | 0.767 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 13.312 s Remaining CPU time: 166.688 s c =============================================================================== c | 506 | 2977 3133 379350 | 5000 506 2712 | 0.767 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 13.5289 s Remaining CPU time: 166.471 s c =============================================================================== c | 515 | 2977 3134 382200 | 5000 515 2712 | 0.767 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 13.7769 s Remaining CPU time: 166.223 s c =============================================================================== c | 549 | 2977 3135 385050 | 5000 549 2713 | 0.767 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 14.0279 s Remaining CPU time: 165.972 s c =============================================================================== c | 567 | 2977 3136 387900 | 5000 567 2713 | 0.767 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 14.2868 s Remaining CPU time: 165.713 s c =============================================================================== c | 579 | 2977 3137 390750 | 5000 579 2713 | 0.767 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 14.6428 s Remaining CPU time: 165.357 s c =============================================================================== c | 632 | 2977 3138 393600 | 5000 632 2713 | 0.767 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 14.8527 s Remaining CPU time: 165.147 s c =============================================================================== c | 635 | 2977 3139 396450 | 5000 635 2713 | 0.767 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 15.0857 s Remaining CPU time: 164.914 s c =============================================================================== c | 660 | 2977 3140 399300 | 5000 660 2714 | 0.767 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 15.3037 s Remaining CPU time: 164.696 s c =============================================================================== c | 663 | 2977 3141 402150 | 5000 663 2714 | 0.767 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 15.6186 s Remaining CPU time: 164.381 s c =============================================================================== c | 720 | 2977 3142 405000 | 5000 720 2714 | 0.767 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 15.8516 s Remaining CPU time: 164.148 s c =============================================================================== c | 740 | 2977 3143 407850 | 5000 740 2714 | 0.767 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 16.0726 s Remaining CPU time: 163.927 s c =============================================================================== c | 740 | 2977 3144 410700 | 5000 740 2714 | 0.767 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 16.2995 s Remaining CPU time: 163.7 s c =============================================================================== c | 745 | 2977 3145 413550 | 5000 745 2714 | 0.767 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 16.5755 s Remaining CPU time: 163.425 s c =============================================================================== c | 779 | 2977 3146 416400 | 5000 779 2713 | 0.767 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 16.8434 s Remaining CPU time: 163.157 s c =============================================================================== c | 808 | 2977 3147 419250 | 5000 808 2713 | 0.767 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 17.0734 s Remaining CPU time: 162.927 s c =============================================================================== c | 817 | 2977 3148 422100 | 5000 817 2713 | 0.767 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 17.3404 s Remaining CPU time: 162.66 s c =============================================================================== c | 838 | 2977 3149 424950 | 5000 838 2713 | 0.767 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 17.5833 s Remaining CPU time: 162.417 s c =============================================================================== c | 852 | 2977 3150 427800 | 5000 852 2713 | 0.767 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 17.8293 s Remaining CPU time: 162.171 s c =============================================================================== c | 873 | 2977 3151 430650 | 5000 873 2713 | 0.767 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 18.0852 s Remaining CPU time: 161.915 s c =============================================================================== c | 897 | 2977 3152 433500 | 5000 897 2712 | 0.767 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 18.3262 s Remaining CPU time: 161.674 s c =============================================================================== c | 903 | 2977 3153 436350 | 5000 903 2712 | 0.767 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 18.5822 s Remaining CPU time: 161.418 s c =============================================================================== c | 923 | 2977 3154 439200 | 5000 923 2712 | 0.767 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 18.8841 s Remaining CPU time: 161.116 s c =============================================================================== c | 972 | 2977 3155 442050 | 5000 972 2712 | 0.767 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 19.1711 s Remaining CPU time: 160.829 s c =============================================================================== c | 997 | 2977 3156 444900 | 5000 997 2711 | 0.767 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 19.422 s Remaining CPU time: 160.578 s c =============================================================================== c | 1007 | 2977 3157 447750 | 5000 1007 2711 | 0.767 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 19.689 s Remaining CPU time: 160.311 s c =============================================================================== c | 1024 | 2977 3158 450600 | 5000 1024 2711 | 0.767 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 19.948 s Remaining CPU time: 160.052 s c =============================================================================== c | 1037 | 2977 3159 453450 | 5000 1037 2711 | 0.767 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 20.2239 s Remaining CPU time: 159.776 s c =============================================================================== c | 1073 | 2977 3160 456300 | 5000 1073 2710 | 0.767 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 20.4969 s Remaining CPU time: 159.503 s c =============================================================================== c | 1098 | 2977 3161 459150 | 5000 1098 2710 | 0.767 % | c | 1199 | 2977 3161 459150 | 5500 1199 2709 | 0.767 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 21.1228 s Remaining CPU time: 158.877 s c =============================================================================== c | 1199 | 2977 3162 462000 | 5000 1199 2709 | 0.767 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 21.4027 s Remaining CPU time: 158.597 s c =============================================================================== c | 1221 | 2977 3163 464850 | 5000 1221 2708 | 0.767 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 21.6647 s Remaining CPU time: 158.335 s c =============================================================================== c | 1228 | 2977 3164 467700 | 5000 1228 2708 | 0.767 % | c | 1330 | 2977 3164 467700 | 5500 1330 2707 | 0.767 % | c | 1481 | 2977 3164 467700 | 6050 1481 2705 | 0.767 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 22.9705 s Remaining CPU time: 157.029 s c =============================================================================== c | 1627 | 2977 3165 470550 | 5000 1627 2704 | 0.767 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 23.2565 s Remaining CPU time: 156.744 s c =============================================================================== c | 1653 | 2977 3166 473400 | 5000 1653 2704 | 0.767 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 23.5594 s Remaining CPU time: 156.441 s c =============================================================================== c | 1693 | 2977 3167 476250 | 5000 1693 2704 | 0.767 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 23.9464 s Remaining CPU time: 156.054 s c =============================================================================== c | 1782 | 2977 3168 479100 | 5000 1782 2703 | 0.767 % | c | 1882 | 2977 3168 479100 | 5500 1882 2702 | 0.767 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 24.6692 s Remaining CPU time: 155.331 s c =============================================================================== c | 1946 | 2977 3169 481950 | 5000 1946 2702 | 0.767 % | c | 2046 | 2977 3169 481950 | 5500 2046 2701 | 0.767 % | c | 2196 | 2977 3169 481950 | 6050 2196 2700 | 0.767 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 26.143 s Remaining CPU time: 153.857 s c =============================================================================== c | 2315 | 2977 3170 484800 | 5000 2315 2699 | 0.767 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 26.522 s Remaining CPU time: 153.478 s c =============================================================================== c | 2391 | 2977 3171 487650 | 5000 2391 2699 | 0.767 % | c | 2491 | 2977 3171 487650 | 5500 2491 2698 | 0.767 % | c | 2641 | 2977 3171 487650 | 6050 2641 2697 | 0.767 % | c | 2867 | 2977 3171 487650 | 6655 2867 2696 | 0.767 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 28.7276 s Remaining CPU time: 151.272 s c =============================================================================== c | 3030 | 2977 3172 490500 | 5000 3030 2696 | 0.767 % | c | 3131 | 2977 3172 490500 | 5500 3131 2695 | 0.767 % | c | 3282 | 2977 3172 490500 | 6050 3282 2695 | 0.767 % | c | 3507 | 2977 3172 490500 | 6655 3507 2694 | 0.767 % | c | 3844 | 2977 3172 490500 | 7320 3844 2693 | 0.767 % | c | 4350 | 2977 3172 490500 | 8052 4350 2692 | 0.767 % | c | 5109 | 2977 3172 490500 | 8857 5109 2691 | 0.767 % | c | 6248 | 2977 3172 490500 | 9743 6248 2689 | 0.767 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 38.5011 s Remaining CPU time: 141.499 s c =============================================================================== c | 7832 | 2977 3173 493350 | 5000 7832 2688 | 0.767 % | c | 7932 | 2977 3173 493350 | 5500 4016 2680 | 0.767 % | c | 8083 | 2977 3173 493350 | 6050 4167 2680 | 0.767 % | c | 8308 | 2977 3173 493350 | 6655 4392 2680 | 0.767 % | c | 8646 | 2977 3173 493350 | 7320 4730 2681 | 0.767 % | c | 9153 | 2977 3173 493350 | 8052 5237 2681 | 0.767 % | c | 9913 | 2977 3173 493350 | 8857 5997 2681 | 0.767 % | c | 11052 | 2977 3173 493350 | 9743 7136 2681 | 0.767 % | c | 12761 | 2977 3173 493350 | 10717 8845 2682 | 0.767 % | c | 15323 | 2977 3173 493350 | 11789 11407 2682 | 0.767 % | c | 19167 | 2977 3173 493350 | 12968 7996 2681 | 0.767 % | c | 24933 | 2977 3173 493350 | 14265 13762 2681 | 0.767 % | c | 33582 | 2977 3173 493350 | 15692 13922 2682 | 0.767 % |