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 | 2976 3011 8826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2976 3012 11676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 2976 3013 14526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 2976 3014 17376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 2976 3015 20226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s c =============================================================================== c | 0 | 2976 3016 23076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 2976 3017 25926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 2976 3018 28776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 2976 3019 31626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 2976 3020 34476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 2976 3021 37326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 0 | 2976 3022 40176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2839 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 2976 3023 43026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s c =============================================================================== c | 0 | 2976 3024 45876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2837 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 2976 3025 48726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 2976 3026 51576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 2976 3027 54426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 0.161975 s Remaining CPU time: 179.838 s c =============================================================================== c | 0 | 2976 3028 57276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 0.176973 s Remaining CPU time: 179.823 s c =============================================================================== c | 0 | 2976 3029 60126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 0.19297 s Remaining CPU time: 179.807 s c =============================================================================== c | 0 | 2976 3030 62976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 0.208968 s Remaining CPU time: 179.791 s c =============================================================================== c | 0 | 2976 3031 65826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 0.225965 s Remaining CPU time: 179.774 s c =============================================================================== c | 0 | 2976 3032 68676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 2976 3033 71526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 0 | 2976 3034 74376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s c =============================================================================== c | 0 | 2976 3035 77226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 0 | 2976 3036 80076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 0.338948 s Remaining CPU time: 179.661 s c =============================================================================== c | 0 | 2976 3037 82926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 0.364944 s Remaining CPU time: 179.635 s c =============================================================================== c | 0 | 2976 3038 85776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 0.394939 s Remaining CPU time: 179.605 s c =============================================================================== c | 0 | 2976 3039 88626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 0 | 2976 3040 91476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 0 | 2976 3041 94326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 0 | 2976 3042 97176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 0.518921 s Remaining CPU time: 179.481 s c =============================================================================== c | 0 | 2976 3043 100026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 0 | 2976 3044 102876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 0.583911 s Remaining CPU time: 179.416 s c =============================================================================== c | 0 | 2976 3045 105726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 0.618905 s Remaining CPU time: 179.381 s c =============================================================================== c | 0 | 2976 3046 108576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 0 | 2976 3047 111426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 0.694894 s Remaining CPU time: 179.305 s c =============================================================================== c | 0 | 2976 3048 114276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 0.736887 s Remaining CPU time: 179.263 s c =============================================================================== c | 0 | 2976 3049 117126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 0.777881 s Remaining CPU time: 179.222 s c =============================================================================== c | 0 | 2976 3050 119976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 0.815875 s Remaining CPU time: 179.184 s c =============================================================================== c | 0 | 2976 3051 122826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 0.859869 s Remaining CPU time: 179.14 s c =============================================================================== c | 0 | 2976 3052 125676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 0.905862 s Remaining CPU time: 179.094 s c =============================================================================== c | 0 | 2976 3053 128526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 0.955854 s Remaining CPU time: 179.044 s c =============================================================================== c | 0 | 2976 3054 131376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 1.00685 s Remaining CPU time: 178.993 s c =============================================================================== c | 0 | 2976 3055 134226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 1.05784 s Remaining CPU time: 178.942 s c =============================================================================== c | 0 | 2976 3056 137076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 1.11083 s Remaining CPU time: 178.889 s c =============================================================================== c | 0 | 2976 3057 139926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 1.16082 s Remaining CPU time: 178.839 s c =============================================================================== c | 0 | 2976 3058 142776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 1.21681 s Remaining CPU time: 178.783 s c =============================================================================== c | 0 | 2976 3059 145626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 1.27381 s Remaining CPU time: 178.726 s c =============================================================================== c | 0 | 2976 3060 148476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 1.3318 s Remaining CPU time: 178.668 s c =============================================================================== c | 0 | 2976 3061 151326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 1.38979 s Remaining CPU time: 178.61 s c =============================================================================== c | 0 | 2976 3062 154176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 1.45078 s Remaining CPU time: 178.549 s c =============================================================================== c | 0 | 2976 3063 157026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s c =============================================================================== c | 0 | 2976 3064 159876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 1.57876 s Remaining CPU time: 178.421 s c =============================================================================== c | 0 | 2976 3065 162726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s c =============================================================================== c | 0 | 2976 3066 165576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 1.70974 s Remaining CPU time: 178.29 s c =============================================================================== c | 0 | 2976 3067 168426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 1.77773 s Remaining CPU time: 178.222 s c =============================================================================== c | 0 | 2976 3068 171276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 1.85072 s Remaining CPU time: 178.149 s c =============================================================================== c | 0 | 2976 3069 174126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 1.92471 s Remaining CPU time: 178.075 s c =============================================================================== c | 0 | 2976 3070 176976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 1.9987 s Remaining CPU time: 178.001 s c =============================================================================== c | 0 | 2976 3071 179826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 2.07668 s Remaining CPU time: 177.923 s c =============================================================================== c | 0 | 2976 3072 182676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 2.15367 s Remaining CPU time: 177.846 s c =============================================================================== c | 0 | 2976 3073 185526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 2.22966 s Remaining CPU time: 177.77 s c =============================================================================== c | 0 | 2976 3074 188376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 2.31265 s Remaining CPU time: 177.687 s c =============================================================================== c | 0 | 2976 3075 191226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 2.39563 s Remaining CPU time: 177.604 s c =============================================================================== c | 0 | 2976 3076 194076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 2.48262 s Remaining CPU time: 177.517 s c =============================================================================== c | 0 | 2976 3077 196926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 2.56961 s Remaining CPU time: 177.43 s c =============================================================================== c | 0 | 2976 3078 199776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 2.66559 s Remaining CPU time: 177.334 s c =============================================================================== c | 0 | 2976 3079 202626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 2.76258 s Remaining CPU time: 177.237 s c =============================================================================== c | 0 | 2976 3080 205476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 2.85357 s Remaining CPU time: 177.146 s c =============================================================================== c | 0 | 2976 3081 208326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 2.94955 s Remaining CPU time: 177.05 s c =============================================================================== c | 0 | 2976 3082 211176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 3.04854 s Remaining CPU time: 176.951 s c =============================================================================== c | 0 | 2976 3083 214026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 3.15052 s Remaining CPU time: 176.849 s c =============================================================================== c | 0 | 2976 3084 216876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 3.2545 s Remaining CPU time: 176.745 s c =============================================================================== c | 0 | 2976 3085 219726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 3.35549 s Remaining CPU time: 176.645 s c =============================================================================== c | 0 | 2976 3086 222576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 3.46147 s Remaining CPU time: 176.539 s c =============================================================================== c | 0 | 2976 3087 225426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 3.56946 s Remaining CPU time: 176.431 s c =============================================================================== c | 0 | 2976 3088 228276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 3.67544 s Remaining CPU time: 176.325 s c =============================================================================== c | 0 | 2976 3089 231126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 3.78542 s Remaining CPU time: 176.215 s c =============================================================================== c | 0 | 2976 3090 233976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 3.89541 s Remaining CPU time: 176.105 s c =============================================================================== c | 0 | 2976 3091 236826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 4.01139 s Remaining CPU time: 175.989 s c =============================================================================== c | 0 | 2976 3092 239676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 4.12437 s Remaining CPU time: 175.876 s c =============================================================================== c | 0 | 2976 3093 242526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 4.24036 s Remaining CPU time: 175.76 s c =============================================================================== c | 0 | 2976 3094 245376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 4.35734 s Remaining CPU time: 175.643 s c =============================================================================== c | 0 | 2976 3095 248226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 4.47632 s Remaining CPU time: 175.524 s c =============================================================================== c | 0 | 2976 3096 251076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 4.5983 s Remaining CPU time: 175.402 s c =============================================================================== c | 0 | 2976 3097 253926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 4.72428 s Remaining CPU time: 175.276 s c =============================================================================== c | 0 | 2976 3098 256776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 4.85226 s Remaining CPU time: 175.148 s c =============================================================================== c | 0 | 2976 3099 259626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 4.98024 s Remaining CPU time: 175.02 s c =============================================================================== c | 0 | 2976 3100 262476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 5.10722 s Remaining CPU time: 174.893 s c =============================================================================== c | 0 | 2976 3101 265326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 5.2382 s Remaining CPU time: 174.762 s c =============================================================================== c | 0 | 2976 3102 268176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 5.37118 s Remaining CPU time: 174.629 s c =============================================================================== c | 0 | 2976 3103 271026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 5.50016 s Remaining CPU time: 174.5 s c =============================================================================== c | 0 | 2976 3104 273876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 5.63814 s Remaining CPU time: 174.362 s c =============================================================================== c | 0 | 2976 3105 276726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 5.77612 s Remaining CPU time: 174.224 s c =============================================================================== c | 0 | 2976 3106 279576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 5.9131 s Remaining CPU time: 174.087 s c =============================================================================== c | 0 | 2976 3107 282426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 6.05408 s Remaining CPU time: 173.946 s c =============================================================================== c | 0 | 2976 3108 285276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 6.19806 s Remaining CPU time: 173.802 s c =============================================================================== c | 0 | 2976 3109 288126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 6.34104 s Remaining CPU time: 173.659 s c =============================================================================== c | 0 | 2976 3110 290976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 6.48501 s Remaining CPU time: 173.515 s c =============================================================================== c | 0 | 2976 3111 293826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 6.63099 s Remaining CPU time: 173.369 s c =============================================================================== c | 0 | 2976 3112 296676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 6.78397 s Remaining CPU time: 173.216 s c =============================================================================== c | 0 | 2976 3113 299526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 6.93394 s Remaining CPU time: 173.066 s c =============================================================================== c | 0 | 2976 3114 302376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 7.08792 s Remaining CPU time: 172.912 s c =============================================================================== c | 0 | 2976 3115 305226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 7.2449 s Remaining CPU time: 172.755 s c =============================================================================== c | 0 | 2976 3116 308076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 7.39987 s Remaining CPU time: 172.6 s c =============================================================================== c | 0 | 2976 3117 310926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 7.55585 s Remaining CPU time: 172.444 s c =============================================================================== c | 0 | 2976 3118 313776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 7.71683 s Remaining CPU time: 172.283 s c =============================================================================== c | 0 | 2976 3119 316626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 7.8768 s Remaining CPU time: 172.123 s c =============================================================================== c | 0 | 2976 3120 319476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 8.03978 s Remaining CPU time: 171.96 s c =============================================================================== c | 0 | 2976 3121 322326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 8.20575 s Remaining CPU time: 171.794 s c =============================================================================== c | 0 | 2976 3122 325176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 8.37373 s Remaining CPU time: 171.626 s c =============================================================================== c | 0 | 2976 3123 328026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 8.5457 s Remaining CPU time: 171.454 s c =============================================================================== c | 0 | 2976 3124 330876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 8.71567 s Remaining CPU time: 171.284 s c =============================================================================== c | 0 | 2976 3125 333726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 8.88865 s Remaining CPU time: 171.111 s c =============================================================================== c | 0 | 2976 3126 336576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 9.06162 s Remaining CPU time: 170.938 s c =============================================================================== c | 0 | 2976 3127 339426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 9.2376 s Remaining CPU time: 170.762 s c =============================================================================== c | 0 | 2976 3128 342276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 9.41457 s Remaining CPU time: 170.585 s c =============================================================================== c | 0 | 2976 3129 345126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 9.59254 s Remaining CPU time: 170.407 s c =============================================================================== c | 0 | 2976 3130 347976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 9.77351 s Remaining CPU time: 170.226 s c =============================================================================== c | 0 | 2976 3131 350826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 9.95649 s Remaining CPU time: 170.044 s c =============================================================================== c | 0 | 2976 3132 353676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 10.1415 s Remaining CPU time: 169.859 s c =============================================================================== c | 0 | 2976 3133 356526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 10.3384 s Remaining CPU time: 169.662 s c =============================================================================== c | 0 | 2976 3134 359376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 10.5394 s Remaining CPU time: 169.461 s c =============================================================================== c | 0 | 2976 3135 362226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 10.7414 s Remaining CPU time: 169.259 s c =============================================================================== c | 0 | 2976 3136 365076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 10.9413 s Remaining CPU time: 169.059 s c =============================================================================== c | 0 | 2976 3137 367926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 11.1453 s Remaining CPU time: 168.855 s c =============================================================================== c | 0 | 2976 3138 370776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 11.3483 s Remaining CPU time: 168.652 s c =============================================================================== c | 0 | 2976 3139 373626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 11.5542 s Remaining CPU time: 168.446 s c =============================================================================== c | 0 | 2976 3140 376476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 11.7582 s Remaining CPU time: 168.242 s c =============================================================================== c | 0 | 2976 3141 379326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 11.9632 s Remaining CPU time: 168.037 s c =============================================================================== c | 0 | 2976 3142 382176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 12.1692 s Remaining CPU time: 167.831 s c =============================================================================== c | 0 | 2976 3143 385026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 12.3811 s Remaining CPU time: 167.619 s c =============================================================================== c | 0 | 2976 3144 387876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 12.5941 s Remaining CPU time: 167.406 s c =============================================================================== c | 0 | 2976 3145 390726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 12.8081 s Remaining CPU time: 167.192 s c =============================================================================== c | 0 | 2976 3146 393576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 13.018 s Remaining CPU time: 166.982 s c =============================================================================== c | 0 | 2976 3147 396426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 13.232 s Remaining CPU time: 166.768 s c =============================================================================== c | 0 | 2976 3148 399276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 13.45 s Remaining CPU time: 166.55 s c =============================================================================== c | 0 | 2976 3149 402126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 13.6669 s Remaining CPU time: 166.333 s c =============================================================================== c | 0 | 2976 3150 404976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 13.8899 s Remaining CPU time: 166.11 s c =============================================================================== c | 0 | 2976 3151 407826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 14.1129 s Remaining CPU time: 165.887 s c =============================================================================== c | 0 | 2976 3152 410676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 14.3398 s Remaining CPU time: 165.66 s c =============================================================================== c | 0 | 2976 3153 413526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 14.5648 s Remaining CPU time: 165.435 s c =============================================================================== c | 0 | 2976 3154 416376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 14.7898 s Remaining CPU time: 165.21 s c =============================================================================== c | 0 | 2976 3155 419226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 15.0177 s Remaining CPU time: 164.982 s c =============================================================================== c | 0 | 2976 3156 422076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 15.2497 s Remaining CPU time: 164.75 s c =============================================================================== c | 0 | 2976 3157 424926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 15.4836 s Remaining CPU time: 164.516 s c =============================================================================== c | 0 | 2976 3158 427776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 15.7186 s Remaining CPU time: 164.281 s c =============================================================================== c | 0 | 2976 3159 430626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 15.9556 s Remaining CPU time: 164.044 s c =============================================================================== c | 0 | 2976 3160 433476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 16.1915 s Remaining CPU time: 163.808 s c =============================================================================== c | 0 | 2976 3161 436326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 16.4305 s Remaining CPU time: 163.569 s c =============================================================================== c | 0 | 2976 3162 439176 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 16.6725 s Remaining CPU time: 163.328 s c =============================================================================== c | 0 | 2976 3163 442026 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 16.9124 s Remaining CPU time: 163.088 s c =============================================================================== c | 0 | 2976 3164 444876 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 17.1554 s Remaining CPU time: 162.845 s c =============================================================================== c | 0 | 2976 3165 447726 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 17.4014 s Remaining CPU time: 162.599 s c =============================================================================== c | 0 | 2976 3166 450576 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 17.6463 s Remaining CPU time: 162.354 s c =============================================================================== c | 0 | 2976 3167 453426 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 17.8943 s Remaining CPU time: 162.106 s c =============================================================================== c | 0 | 2976 3168 456276 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 18.1432 s Remaining CPU time: 161.857 s c =============================================================================== c | 0 | 2976 3169 459126 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 18.3972 s Remaining CPU time: 161.603 s c =============================================================================== c | 0 | 2976 3170 461976 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 18.6532 s Remaining CPU time: 161.347 s c =============================================================================== c | 0 | 2976 3171 464826 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 18.9121 s Remaining CPU time: 161.088 s c =============================================================================== c | 0 | 2976 3172 467676 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 19.1731 s Remaining CPU time: 160.827 s c =============================================================================== c | 0 | 2976 3173 470526 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 19.435 s Remaining CPU time: 160.565 s c =============================================================================== c | 0 | 2976 3174 473376 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 19.701 s Remaining CPU time: 160.299 s c =============================================================================== c | 0 | 2976 3175 476226 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 19.967 s Remaining CPU time: 160.033 s c =============================================================================== c | 0 | 2976 3176 479076 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 20.2339 s Remaining CPU time: 159.766 s c =============================================================================== c | 0 | 2976 3177 481926 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 20.5039 s Remaining CPU time: 159.496 s c =============================================================================== c | 0 | 2976 3178 484776 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 20.7738 s Remaining CPU time: 159.226 s c =============================================================================== c | 0 | 2976 3179 487626 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 21.0468 s Remaining CPU time: 158.953 s c =============================================================================== c | 0 | 2976 3180 490476 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 21.3208 s Remaining CPU time: 158.679 s c =============================================================================== c | 0 | 2976 3181 493326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2680 c Elapsed CPU time: 21.6037 s Remaining CPU time: 158.396 s c =============================================================================== c | 1 | 2976 3182 496176 | 5000 1 2682 | 0.000 % | c =============================================================================== c New solution: 2679 c Elapsed CPU time: 21.8817 s Remaining CPU time: 158.118 s c =============================================================================== c | 1 | 2976 3183 499026 | 5000 1 2682 | 0.000 % | c =============================================================================== c New solution: 2678 c Elapsed CPU time: 22.1666 s Remaining CPU time: 157.833 s c =============================================================================== c | 6 | 2976 3184 501876 | 5000 6 2681 | 0.000 % | c =============================================================================== c New solution: 2677 c Elapsed CPU time: 22.4506 s Remaining CPU time: 157.549 s c =============================================================================== c | 6 | 2976 3185 504726 | 5000 6 2681 | 0.000 % | c =============================================================================== c New solution: 2676 c Elapsed CPU time: 22.7305 s Remaining CPU time: 157.269 s c =============================================================================== c | 6 | 2976 3186 507576 | 5000 6 2681 | 0.000 % | c =============================================================================== c New solution: 2675 c Elapsed CPU time: 23.0145 s Remaining CPU time: 156.985 s c =============================================================================== c | 9 | 2976 3187 510426 | 5000 9 2679 | 0.000 % | c =============================================================================== c New solution: 2674 c Elapsed CPU time: 23.2985 s Remaining CPU time: 156.702 s c =============================================================================== c | 10 | 2976 3188 513276 | 5000 10 2679 | 0.000 % | c =============================================================================== c New solution: 2673 c Elapsed CPU time: 23.6174 s Remaining CPU time: 156.383 s c =============================================================================== c | 23 | 2976 3189 516126 | 5000 23 2677 | 0.000 % | c =============================================================================== c New solution: 2672 c Elapsed CPU time: 23.9134 s Remaining CPU time: 156.087 s c =============================================================================== c | 28 | 2976 3190 518976 | 5000 28 2677 | 0.000 % | c =============================================================================== c New solution: 2671 c Elapsed CPU time: 24.2163 s Remaining CPU time: 155.784 s c =============================================================================== c | 32 | 2976 3191 521826 | 5000 32 2676 | 0.000 % | c =============================================================================== c New solution: 2670 c Elapsed CPU time: 24.5303 s Remaining CPU time: 155.47 s c =============================================================================== c | 36 | 2976 3192 524676 | 5000 36 2676 | 0.000 % | c =============================================================================== c New solution: 2669 c Elapsed CPU time: 24.9732 s Remaining CPU time: 155.027 s c =============================================================================== c | 110 | 2976 3193 527526 | 5000 110 2673 | 0.000 % | c =============================================================================== c New solution: 2668 c Elapsed CPU time: 25.2692 s Remaining CPU time: 154.731 s c =============================================================================== c | 121 | 2976 3194 530376 | 5000 121 2673 | 0.000 % | c =============================================================================== c New solution: 2667 c Elapsed CPU time: 25.5601 s Remaining CPU time: 154.44 s c =============================================================================== c | 124 | 2976 3195 533226 | 5000 124 2673 | 0.000 % | c =============================================================================== c New solution: 2666 c Elapsed CPU time: 25.8531 s Remaining CPU time: 154.147 s c =============================================================================== c | 124 | 2976 3196 536076 | 5000 124 2673 | 0.000 % | c =============================================================================== c New solution: 2665 c Elapsed CPU time: 26.147 s Remaining CPU time: 153.853 s c =============================================================================== c | 124 | 2976 3197 538926 | 5000 124 2673 | 0.000 % | c =============================================================================== c New solution: 2664 c Elapsed CPU time: 26.445 s Remaining CPU time: 153.555 s c =============================================================================== c | 124 | 2976 3198 541776 | 5000 124 2673 | 0.000 % | c =============================================================================== c New solution: 2663 c Elapsed CPU time: 26.7449 s Remaining CPU time: 153.255 s c =============================================================================== c | 131 | 2976 3199 544626 | 5000 131 2672 | 0.000 % | c =============================================================================== c New solution: 2662 c Elapsed CPU time: 27.1259 s Remaining CPU time: 152.874 s c =============================================================================== c | 158 | 2976 3200 547476 | 5000 158 2671 | 0.000 % | c =============================================================================== c New solution: 2661 c Elapsed CPU time: 27.4298 s Remaining CPU time: 152.57 s c =============================================================================== c | 161 | 2976 3201 550326 | 5000 161 2671 | 0.000 % | c =============================================================================== c New solution: 2660 c Elapsed CPU time: 27.7338 s Remaining CPU time: 152.266 s c =============================================================================== c | 163 | 2976 3202 553176 | 5000 163 2671 | 0.000 % | c =============================================================================== c New solution: 2659 c Elapsed CPU time: 28.0437 s Remaining CPU time: 151.956 s c =============================================================================== c | 171 | 2976 3203 556026 | 5000 171 2670 | 0.000 % | c =============================================================================== c New solution: 2658 c Elapsed CPU time: 28.3577 s Remaining CPU time: 151.642 s c =============================================================================== c | 184 | 2976 3204 558876 | 5000 184 2670 | 0.000 % | c =============================================================================== c New solution: 2657 c Elapsed CPU time: 28.6656 s Remaining CPU time: 151.334 s c =============================================================================== c | 184 | 2976 3205 561726 | 5000 184 2670 | 0.000 % | c | 284 | 2976 3205 561726 | 5500 284 2666 | 0.800 % | c =============================================================================== c New solution: 2656 c Elapsed CPU time: 29.4515 s Remaining CPU time: 150.548 s c =============================================================================== c | 298 | 2976 3206 564576 | 5000 298 2665 | 0.800 % | c =============================================================================== c New solution: 2655 c Elapsed CPU time: 29.8365 s Remaining CPU time: 150.164 s c =============================================================================== c | 371 | 2976 3207 567426 | 5000 371 2664 | 0.800 % | c =============================================================================== c New solution: 2654 c Elapsed CPU time: 30.1694 s Remaining CPU time: 149.831 s c =============================================================================== c | 398 | 2976 3208 570276 | 5000 398 2663 | 0.800 % | c | 498 | 2976 3208 570276 | 5500 498 2662 | 0.800 % | c =============================================================================== c New solution: 2653 c Elapsed CPU time: 30.9953 s Remaining CPU time: 149.005 s c =============================================================================== c | 532 | 2976 3209 573126 | 5000 532 2661 | 0.800 % | c | 632 | 2976 3209 573126 | 5500 632 2660 | 0.800 % | c =============================================================================== c New solution: 2652 c Elapsed CPU time: 31.9991 s Remaining CPU time: 148.001 s c =============================================================================== c | 737 | 2976 3210 575976 | 5000 737 2660 | 0.800 % | c =============================================================================== c New solution: 2651 c Elapsed CPU time: 32.4481 s Remaining CPU time: 147.552 s c =============================================================================== c | 814 | 2976 3211 578826 | 5000 814 2659 | 0.800 % | c =============================================================================== c New solution: 2650 c Elapsed CPU time: 32.787 s Remaining CPU time: 147.213 s c =============================================================================== c | 826 | 2976 3212 581676 | 5000 826 2659 | 0.800 % | c =============================================================================== c New solution: 2649 c Elapsed CPU time: 33.162 s Remaining CPU time: 146.838 s c =============================================================================== c | 853 | 2976 3213 584526 | 5000 853 2659 | 0.800 % | c =============================================================================== c New solution: 2648 c Elapsed CPU time: 33.5149 s Remaining CPU time: 146.485 s c =============================================================================== c | 889 | 2976 3214 587376 | 5000 889 2658 | 0.800 % | c =============================================================================== c New solution: 2647 c Elapsed CPU time: 33.9128 s Remaining CPU time: 146.087 s c =============================================================================== c | 922 | 2976 3215 590226 | 5000 922 2658 | 0.800 % | c =============================================================================== c New solution: 2646 c Elapsed CPU time: 34.2928 s Remaining CPU time: 145.707 s c =============================================================================== c | 976 | 2976 3216 593076 | 5000 976 2655 | 0.800 % | c =============================================================================== c New solution: 2645 c Elapsed CPU time: 34.6727 s Remaining CPU time: 145.327 s c =============================================================================== c | 1014 | 2976 3217 595926 | 5000 1014 2655 | 0.800 % | c | 1116 | 2976 3217 595926 | 5500 1116 2654 | 0.800 % | c =============================================================================== c New solution: 2644 c Elapsed CPU time: 35.4246 s Remaining CPU time: 144.575 s c =============================================================================== c | 1129 | 2976 3218 598776 | 5000 1129 2654 | 0.800 % | c | 1230 | 2976 3218 598776 | 5500 1230 2653 | 0.800 % | c =============================================================================== c New solution: 2643 c Elapsed CPU time: 36.3695 s Remaining CPU time: 143.631 s c =============================================================================== c | 1346 | 2976 3219 601626 | 5000 1346 2652 | 0.800 % | c | 1447 | 2976 3219 601626 | 5500 1447 2652 | 0.800 % | c =============================================================================== c New solution: 2642 c Elapsed CPU time: 37.2843 s Remaining CPU time: 142.716 s c =============================================================================== c | 1471 | 2976 3220 604476 | 5000 1471 2652 | 0.800 % | c =============================================================================== c New solution: 2641 c Elapsed CPU time: 37.6953 s Remaining CPU time: 142.305 s c =============================================================================== c | 1534 | 2976 3221 607326 | 5000 1534 2650 | 0.800 % | c | 1634 | 2976 3221 607326 | 5500 1634 2649 | 0.800 % | c | 1784 | 2976 3221 607326 | 6050 1784 2649 | 0.800 % | c =============================================================================== c New solution: 2640 c Elapsed CPU time: 39.0101 s Remaining CPU time: 140.99 s c =============================================================================== c | 1816 | 2976 3222 610176 | 5000 1816 2649 | 0.800 % | c =============================================================================== c New solution: 2639 c Elapsed CPU time: 39.399 s Remaining CPU time: 140.601 s c =============================================================================== c | 1871 | 2976 3223 613026 | 5000 1871 2648 | 0.800 % | c | 1971 | 2976 3223 613026 | 5500 1971 2648 | 0.800 % | c | 2122 | 2976 3223 613026 | 6050 2122 2647 | 0.800 % | c =============================================================================== c New solution: 2638 c Elapsed CPU time: 40.7148 s Remaining CPU time: 139.285 s c =============================================================================== c | 2186 | 2976 3224 615876 | 5000 2186 2647 | 0.800 % | c =============================================================================== c New solution: 2637 c Elapsed CPU time: 41.1018 s Remaining CPU time: 138.898 s c =============================================================================== c | 2224 | 2976 3225 618726 | 5000 2224 2647 | 0.800 % | c =============================================================================== c New solution: 2636 c Elapsed CPU time: 41.4607 s Remaining CPU time: 138.539 s c =============================================================================== c | 2231 | 2976 3226 621576 | 5000 2231 2647 | 0.800 % | c =============================================================================== c New solution: 2635 c Elapsed CPU time: 41.8136 s Remaining CPU time: 138.186 s c =============================================================================== c | 2240 | 2976 3227 624426 | 5000 2240 2647 | 0.800 % | c =============================================================================== c New solution: 2634 c Elapsed CPU time: 42.2346 s Remaining CPU time: 137.765 s c =============================================================================== c | 2268 | 2976 3228 627276 | 5000 2268 2647 | 0.800 % | c =============================================================================== c New solution: 2633 c Elapsed CPU time: 42.7045 s Remaining CPU time: 137.295 s c =============================================================================== c | 2365 | 2976 3229 630126 | 5000 2365 2646 | 0.800 % | c =============================================================================== c New solution: 2632 c Elapsed CPU time: 43.1144 s Remaining CPU time: 136.886 s c =============================================================================== c | 2403 | 2976 3230 632976 | 5000 2403 2646 | 0.800 % | c =============================================================================== c New solution: 2631 c Elapsed CPU time: 43.5554 s Remaining CPU time: 136.445 s c =============================================================================== c | 2471 | 2976 3231 635826 | 5000 2471 2646 | 0.800 % | c | 2571 | 2976 3231 635826 | 5500 2571 2645 | 0.800 % | c =============================================================================== c New solution: 2630 c Elapsed CPU time: 44.6362 s Remaining CPU time: 135.364 s c =============================================================================== c | 2655 | 2976 3232 638676 | 5000 2655 2645 | 0.800 % | c =============================================================================== c New solution: 2629 c Elapsed CPU time: 45.1321 s Remaining CPU time: 134.868 s c =============================================================================== c | 2723 | 2976 3233 641526 | 5000 2723 2645 | 0.800 % | c | 2823 | 2976 3233 641526 | 5500 2823 2644 | 0.800 % | c | 2974 | 2976 3233 641526 | 6050 2974 2643 | 0.800 % | c =============================================================================== c New solution: 2628 c Elapsed CPU time: 46.6879 s Remaining CPU time: 133.312 s c =============================================================================== c | 3015 | 2976 3234 644376 | 5000 3015 2643 | 0.800 % | c =============================================================================== c New solution: 2627 c Elapsed CPU time: 47.0978 s Remaining CPU time: 132.902 s c =============================================================================== c | 3071 | 2976 3235 647226 | 5000 3071 2643 | 0.800 % | c =============================================================================== c New solution: 2626 c Elapsed CPU time: 47.4798 s Remaining CPU time: 132.52 s c =============================================================================== c | 3095 | 2976 3236 650076 | 5000 3095 2643 | 0.800 % | c =============================================================================== c New solution: 2625 c Elapsed CPU time: 47.8747 s Remaining CPU time: 132.125 s c =============================================================================== c | 3117 | 2976 3237 652926 | 5000 3117 2643 | 0.800 % | c =============================================================================== c New solution: 2624 c Elapsed CPU time: 48.2647 s Remaining CPU time: 131.735 s c =============================================================================== c | 3143 | 2976 3238 655776 | 5000 3143 2643 | 0.800 % | c | 3243 | 2976 3238 655776 | 5500 3243 2642 | 0.800 % | c =============================================================================== c New solution: 2623 c Elapsed CPU time: 49.3455 s Remaining CPU time: 130.655 s c =============================================================================== c | 3318 | 2976 3239 658626 | 5000 3318 2642 | 0.800 % | c =============================================================================== c New solution: 2622 c Elapsed CPU time: 49.8734 s Remaining CPU time: 130.127 s c =============================================================================== c | 3400 | 2976 3240 661476 | 5000 3400 2641 | 0.800 % | c =============================================================================== c New solution: 2621 c Elapsed CPU time: 50.3433 s Remaining CPU time: 129.657 s c =============================================================================== c | 3480 | 2976 3241 664326 | 5000 3480 2641 | 0.800 % | c =============================================================================== c New solution: 2620 c Elapsed CPU time: 50.8323 s Remaining CPU time: 129.168 s c =============================================================================== c | 3551 | 2976 3242 667176 | 5000 3551 2641 | 0.800 % | c | 3652 | 2976 3242 667176 | 5500 3652 2640 | 0.800 % | c | 3802 | 2976 3242 667176 | 6050 3802 2639 | 0.800 % | c =============================================================================== c New solution: 2619 c Elapsed CPU time: 52.547 s Remaining CPU time: 127.453 s c =============================================================================== c | 3862 | 2976 3243 670026 | 5000 3862 2639 | 0.800 % | c | 3962 | 2976 3243 670026 | 5500 3962 2639 | 0.800 % | c =============================================================================== c New solution: 2618 c Elapsed CPU time: 53.8608 s Remaining CPU time: 126.139 s c =============================================================================== c | 4067 | 2976 3244 672876 | 5000 4067 2638 | 0.800 % | c | 4167 | 2976 3244 672876 | 5500 4167 2637 | 0.800 % | c | 4318 | 2976 3244 672876 | 6050 4318 2636 | 0.800 % | c =============================================================================== c New solution: 2617 c Elapsed CPU time: 55.3696 s Remaining CPU time: 124.63 s c =============================================================================== c | 4371 | 2976 3245 675726 | 5000 4371 2636 | 0.800 % | c | 4471 | 2976 3245 675726 | 5500 4471 2636 | 0.800 % | c =============================================================================== c New solution: 2616 c Elapsed CPU time: 56.2315 s Remaining CPU time: 123.769 s c =============================================================================== c | 4504 | 2976 3246 678576 | 5000 4504 2636 | 0.800 % | c =============================================================================== c New solution: 2615 c Elapsed CPU time: 56.6714 s Remaining CPU time: 123.329 s c =============================================================================== c | 4550 | 2976 3247 681426 | 5000 4550 2636 | 0.800 % | c | 4650 | 2976 3247 681426 | 5500 4650 2635 | 0.800 % | c =============================================================================== c New solution: 2614 c Elapsed CPU time: 57.6882 s Remaining CPU time: 122.312 s c =============================================================================== c | 4774 | 2976 3248 684276 | 5000 4774 2635 | 0.800 % | c | 4875 | 2976 3248 684276 | 5500 4875 2634 | 0.800 % | c =============================================================================== c New solution: 2613 c Elapsed CPU time: 58.7751 s Remaining CPU time: 121.225 s c =============================================================================== c | 4955 | 2976 3249 687126 | 5000 4955 2634 | 0.800 % | c | 5055 | 2976 3249 687126 | 5500 5055 2634 | 0.800 % | c =============================================================================== c New solution: 2612 c Elapsed CPU time: 59.6569 s Remaining CPU time: 120.343 s c =============================================================================== c | 5080 | 2976 3250 689976 | 5000 5080 2633 | 0.800 % | c =============================================================================== c New solution: 2611 c Elapsed CPU time: 60.0109 s Remaining CPU time: 119.989 s c =============================================================================== c | 5122 | 2976 3251 692826 | 5000 2582 2619 | 0.800 % | c | 5223 | 2976 3251 692826 | 5500 2683 2618 | 0.800 % | c =============================================================================== c New solution: 2610 c Elapsed CPU time: 60.8597 s Remaining CPU time: 119.14 s c =============================================================================== c | 5299 | 2976 3252 695676 | 5000 2759 2618 | 0.800 % | c =============================================================================== c New solution: 2609 c Elapsed CPU time: 61.2187 s Remaining CPU time: 118.781 s c =============================================================================== c | 5356 | 2976 3253 698526 | 5000 2816 2618 | 0.800 % | c =============================================================================== c New solution: 2608 c Elapsed CPU time: 61.6456 s Remaining CPU time: 118.354 s c =============================================================================== c | 5449 | 2976 3254 701376 | 5000 2909 2618 | 0.800 % | c | 5550 | 2976 3254 701376 | 5500 3010 2617 | 0.800 % | c | 5700 | 2976 3254 701376 | 6050 3160 2617 | 0.800 % | c | 5925 | 2976 3254 701376 | 6655 3385 2616 | 0.800 % | c =============================================================================== c New solution: 2607 c Elapsed CPU time: 63.9313 s Remaining CPU time: 116.069 s c =============================================================================== c | 6090 | 2976 3255 704226 | 5000 3550 2616 | 0.800 % | c =============================================================================== c New solution: 2606 c Elapsed CPU time: 64.2972 s Remaining CPU time: 115.703 s c =============================================================================== c | 6152 | 2976 3256 707076 | 5000 3612 2616 | 0.800 % | c | 6253 | 2976 3256 707076 | 5500 3713 2616 | 0.800 % | c | 6403 | 2976 3256 707076 | 6050 3863 2615 | 0.800 % | c | 6629 | 2976 3256 707076 | 6655 4089 2615 | 0.800 % | c | 6966 | 2976 3256 707076 | 7320 4426 2615 | 0.800 % | c | 7473 | 2976 3256 707076 | 8052 4933 2614 | 0.800 % | c =============================================================================== c New solution: 2605 c Elapsed CPU time: 68.7935 s Remaining CPU time: 111.206 s c =============================================================================== c | 7657 | 2976 3257 709926 | 5000 5117 2614 | 0.800 % | c =============================================================================== c New solution: 2604 c Elapsed CPU time: 69.2435 s Remaining CPU time: 110.757 s c =============================================================================== c | 7751 | 2976 3258 712776 | 5000 2653 2605 | 0.800 % | c | 7851 | 2976 3258 712776 | 5500 2753 2605 | 0.800 % | c | 8001 | 2976 3258 712776 | 6050 2903 2605 | 0.800 % | c | 8227 | 2976 3258 712776 | 6655 3129 2605 | 0.800 % | c =============================================================================== c New solution: 2603 c Elapsed CPU time: 71.6811 s Remaining CPU time: 108.319 s c =============================================================================== c | 8362 | 2976 3259 715626 | 5000 3264 2605 | 0.800 % | c | 8462 | 2976 3259 715626 | 5500 3364 2605 | 0.800 % | c =============================================================================== c New solution: 2602 c Elapsed CPU time: 72.7409 s Remaining CPU time: 107.259 s c =============================================================================== c | 8597 | 2976 3260 718476 | 5000 3499 2605 | 0.800 % | c | 8697 | 2976 3260 718476 | 5500 3599 2605 | 0.800 % | c | 8848 | 2976 3260 718476 | 6050 3750 2605 | 0.800 % | c =============================================================================== c New solution: 2601 c Elapsed CPU time: 74.2847 s Remaining CPU time: 105.715 s c =============================================================================== c | 8931 | 2976 3261 721326 | 5000 3833 2605 | 0.800 % | c =============================================================================== c New solution: 2600 c Elapsed CPU time: 74.7176 s Remaining CPU time: 105.282 s c =============================================================================== c | 9003 | 2976 3262 724176 | 5000 3905 2605 | 0.800 % | c =============================================================================== c New solution: 2599 c Elapsed CPU time: 75.0946 s Remaining CPU time: 104.905 s c =============================================================================== c | 9034 | 2976 3263 727026 | 5000 3936 2605 | 0.800 % | c | 9137 | 2976 3263 727026 | 5500 4039 2605 | 0.800 % | c =============================================================================== c New solution: 2598 c Elapsed CPU time: 76.2834 s Remaining CPU time: 103.717 s c =============================================================================== c | 9226 | 2976 3264 729876 | 5000 4128 2605 | 0.800 % | c | 9326 | 2976 3264 729876 | 5500 4228 2605 | 0.800 % | c | 9476 | 2976 3264 729876 | 6050 4378 2604 | 0.800 % | c =============================================================================== c New solution: 2597 c Elapsed CPU time: 78.1141 s Remaining CPU time: 101.886 s c =============================================================================== c | 9501 | 2976 3265 732726 | 5000 4403 2604 | 0.800 % | c | 9602 | 2976 3265 732726 | 5500 4504 2604 | 0.800 % | c =============================================================================== c New solution: 2596 c Elapsed CPU time: 79.012 s Remaining CPU time: 100.988 s c =============================================================================== c | 9618 | 2976 3266 735576 | 5000 4520 2604 | 0.800 % | c =============================================================================== c New solution: 2595 c Elapsed CPU time: 79.3749 s Remaining CPU time: 100.625 s c =============================================================================== c | 9648 | 2976 3267 738426 | 5000 4550 2604 | 0.800 % | c =============================================================================== c New solution: 2594 c Elapsed CPU time: 79.7159 s Remaining CPU time: 100.284 s c =============================================================================== c | 9658 | 2976 3268 741276 | 5000 4560 2604 | 0.800 % | c =============================================================================== c New solution: 2593 c Elapsed CPU time: 80.0688 s Remaining CPU time: 99.9312 s c =============================================================================== c | 9666 | 2976 3269 744126 | 5000 4568 2604 | 0.800 % | c | 9766 | 2976 3269 744126 | 5500 4668 2604 | 0.800 % | c | 9917 | 2976 3269 744126 | 6050 4819 2604 | 0.800 % | c =============================================================================== c New solution: 2592 c Elapsed CPU time: 81.8716 s Remaining CPU time: 98.1284 s c =============================================================================== c | 9980 | 2976 3270 746976 | 5000 4882 2604 | 0.800 % | c =============================================================================== c New solution: 2591 c Elapsed CPU time: 82.2595 s Remaining CPU time: 97.7405 s c =============================================================================== c | 10041 | 2976 3271 749826 | 5000 4943 2603 | 0.800 % | c | 10141 | 2976 3271 749826 | 5500 5043 2603 | 0.800 % | c | 10292 | 2976 3271 749826 | 6050 5194 2603 | 0.800 % | c | 10518 | 2976 3271 749826 | 6655 5420 2602 | 0.800 % | c =============================================================================== c New solution: 2590 c Elapsed CPU time: 84.7041 s Remaining CPU time: 95.2959 s c =============================================================================== c | 10594 | 2976 3272 752676 | 5000 5496 2602 | 0.800 % | c | 10694 | 2976 3272 752676 | 5500 2848 2596 | 0.800 % | c =============================================================================== c New solution: 2589 c Elapsed CPU time: 85.9839 s Remaining CPU time: 94.0161 s c =============================================================================== c | 10819 | 2976 3273 755526 | 5000 2973 2596 | 0.800 % | c | 10919 | 2976 3273 755526 | 5500 3073 2595 | 0.800 % | c | 11069 | 2976 3273 755526 | 6050 3223 2595 | 0.800 % | c =============================================================================== c New solution: 2588 c Elapsed CPU time: 87.6087 s Remaining CPU time: 92.3913 s c =============================================================================== c | 11154 | 2976 3274 758376 | 5000 3308 2595 | 0.800 % | c | 11254 | 2976 3274 758376 | 5500 3408 2595 | 0.800 % | c | 11404 | 2976 3274 758376 | 6050 3558 2595 | 0.800 % | c | 11630 | 2976 3274 758376 | 6655 3784 2594 | 0.800 % | c | 11967 | 2976 3274 758376 | 7320 4121 2594 | 0.800 % | c | 12473 | 2976 3274 758376 | 8052 4627 2594 | 0.800 % | c =============================================================================== c New solution: 2587 c Elapsed CPU time: 92.5869 s Remaining CPU time: 87.4131 s c =============================================================================== c | 12887 | 2976 3275 761226 | 5000 5041 2593 | 0.800 % | c | 12987 | 2976 3275 761226 | 5500 2621 2586 | 0.800 % | c | 13137 | 2976 3275 761226 | 6050 2771 2586 | 0.800 % | c | 13362 | 2976 3275 761226 | 6655 2996 2587 | 0.800 % | c | 13699 | 2976 3275 761226 | 7320 3333 2587 | 0.800 % | c =============================================================================== c New solution: 2586 c Elapsed CPU time: 96.8963 s Remaining CPU time: 83.1037 s c =============================================================================== c | 14001 | 2976 3276 764076 | 5000 3635 2586 | 0.800 % | c | 14101 | 2976 3276 764076 | 5500 3735 2586 | 0.800 % | c | 14252 | 2976 3276 764076 | 6050 3886 2586 | 0.800 % | c | 14478 | 2976 3276 764076 | 6655 4112 2586 | 0.800 % | c | 14815 | 2976 3276 764076 | 7320 4449 2587 | 0.800 % | c | 15322 | 2976 3276 764076 | 8052 4956 2587 | 0.800 % | c | 16081 | 2976 3276 764076 | 8857 5715 2586 | 0.800 % | c | 17221 | 2976 3276 764076 | 9743 6855 2586 | 0.800 % | c | 18930 | 2976 3276 764076 | 10717 8564 2586 | 0.800 % | c | 21492 | 2976 3276 764076 | 11789 11126 2587 | 0.800 % | c | 25336 | 2976 3276 764076 | 12968 7760 2585 | 0.800 % | c | 31102 | 2976 3276 764076 | 14265 13526 2585 | 0.800 % |