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 | 2996 3003 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2850 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 2996 3004 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2849 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 2996 3005 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2848 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 2996 3006 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2847 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2996 3007 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2846 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 2996 3008 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2845 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 0 | 2996 3009 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2844 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 2996 3010 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2843 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 2996 3011 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2842 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 0 | 2996 3012 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2841 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 0 | 2996 3013 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2840 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s c =============================================================================== c | 0 | 2996 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 | 2996 3015 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2838 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 2996 3016 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2837 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 2996 3017 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2836 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 2996 3018 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2835 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 2996 3019 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2834 c Elapsed CPU time: 0.142978 s Remaining CPU time: 179.857 s c =============================================================================== c | 0 | 2996 3020 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2833 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 2996 3021 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2832 c Elapsed CPU time: 0.166974 s Remaining CPU time: 179.833 s c =============================================================================== c | 0 | 2996 3022 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2831 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s c =============================================================================== c | 0 | 2996 3023 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2830 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 2996 3024 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2829 c Elapsed CPU time: 0.215967 s Remaining CPU time: 179.784 s c =============================================================================== c | 0 | 2996 3025 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2828 c Elapsed CPU time: 0.232964 s Remaining CPU time: 179.767 s c =============================================================================== c | 0 | 2996 3026 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2827 c Elapsed CPU time: 0.249962 s Remaining CPU time: 179.75 s c =============================================================================== c | 0 | 2996 3027 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2826 c Elapsed CPU time: 0.265959 s Remaining CPU time: 179.734 s c =============================================================================== c | 0 | 2996 3028 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2825 c Elapsed CPU time: 0.285956 s Remaining CPU time: 179.714 s c =============================================================================== c | 0 | 2996 3029 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2824 c Elapsed CPU time: 0.306953 s Remaining CPU time: 179.693 s c =============================================================================== c | 0 | 2996 3030 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2823 c Elapsed CPU time: 0.329949 s Remaining CPU time: 179.67 s c =============================================================================== c | 0 | 2996 3031 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2822 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 0 | 2996 3032 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2821 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 0 | 2996 3033 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2820 c Elapsed CPU time: 0.400939 s Remaining CPU time: 179.599 s c =============================================================================== c | 0 | 2996 3034 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2819 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 0 | 2996 3035 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2818 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 2996 3036 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2817 c Elapsed CPU time: 0.476927 s Remaining CPU time: 179.523 s c =============================================================================== c | 0 | 2996 3037 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2816 c Elapsed CPU time: 0.503923 s Remaining CPU time: 179.496 s c =============================================================================== c | 0 | 2996 3038 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2815 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 0 | 2996 3039 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2814 c Elapsed CPU time: 0.558915 s Remaining CPU time: 179.441 s c =============================================================================== c | 0 | 2996 3040 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2813 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 0 | 2996 3041 117150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2812 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 0 | 2996 3042 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2811 c Elapsed CPU time: 0.6549 s Remaining CPU time: 179.345 s c =============================================================================== c | 0 | 2996 3043 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2810 c Elapsed CPU time: 0.689895 s Remaining CPU time: 179.31 s c =============================================================================== c | 0 | 2996 3044 125700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2809 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 0 | 2996 3045 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2808 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s c =============================================================================== c | 0 | 2996 3046 131400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2807 c Elapsed CPU time: 0.804877 s Remaining CPU time: 179.195 s c =============================================================================== c | 0 | 2996 3047 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2806 c Elapsed CPU time: 0.842871 s Remaining CPU time: 179.157 s c =============================================================================== c | 0 | 2996 3048 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2805 c Elapsed CPU time: 0.884865 s Remaining CPU time: 179.115 s c =============================================================================== c | 0 | 2996 3049 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2804 c Elapsed CPU time: 0.927858 s Remaining CPU time: 179.072 s c =============================================================================== c | 0 | 2996 3050 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2803 c Elapsed CPU time: 0.968852 s Remaining CPU time: 179.031 s c =============================================================================== c | 0 | 2996 3051 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2802 c Elapsed CPU time: 1.01385 s Remaining CPU time: 178.986 s c =============================================================================== c | 0 | 2996 3052 148500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2801 c Elapsed CPU time: 1.05984 s Remaining CPU time: 178.94 s c =============================================================================== c | 0 | 2996 3053 151350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2800 c Elapsed CPU time: 1.10483 s Remaining CPU time: 178.895 s c =============================================================================== c | 0 | 2996 3054 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2799 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s c =============================================================================== c | 0 | 2996 3055 157050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2798 c Elapsed CPU time: 1.20482 s Remaining CPU time: 178.795 s c =============================================================================== c | 0 | 2996 3056 159900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2797 c Elapsed CPU time: 1.25181 s Remaining CPU time: 178.748 s c =============================================================================== c | 0 | 2996 3057 162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2796 c Elapsed CPU time: 1.3018 s Remaining CPU time: 178.698 s c =============================================================================== c | 0 | 2996 3058 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2795 c Elapsed CPU time: 1.35479 s Remaining CPU time: 178.645 s c =============================================================================== c | 0 | 2996 3059 168450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2794 c Elapsed CPU time: 1.41678 s Remaining CPU time: 178.583 s c =============================================================================== c | 0 | 2996 3060 171300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2793 c Elapsed CPU time: 1.48177 s Remaining CPU time: 178.518 s c =============================================================================== c | 0 | 2996 3061 174150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2792 c Elapsed CPU time: 1.54676 s Remaining CPU time: 178.453 s c =============================================================================== c | 0 | 2996 3062 177000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2791 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s c =============================================================================== c | 0 | 2996 3063 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2790 c Elapsed CPU time: 1.68174 s Remaining CPU time: 178.318 s c =============================================================================== c | 0 | 2996 3064 182700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2789 c Elapsed CPU time: 1.74773 s Remaining CPU time: 178.252 s c =============================================================================== c | 0 | 2996 3065 185550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2788 c Elapsed CPU time: 1.82272 s Remaining CPU time: 178.177 s c =============================================================================== c | 0 | 2996 3066 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2787 c Elapsed CPU time: 1.89771 s Remaining CPU time: 178.102 s c =============================================================================== c | 0 | 2996 3067 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2786 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 0 | 2996 3068 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2785 c Elapsed CPU time: 2.05669 s Remaining CPU time: 177.943 s c =============================================================================== c | 0 | 2996 3069 196950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2784 c Elapsed CPU time: 2.13867 s Remaining CPU time: 177.861 s c =============================================================================== c | 0 | 2996 3070 199800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2783 c Elapsed CPU time: 2.21966 s Remaining CPU time: 177.78 s c =============================================================================== c | 0 | 2996 3071 202650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2782 c Elapsed CPU time: 2.30465 s Remaining CPU time: 177.695 s c =============================================================================== c | 0 | 2996 3072 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2781 c Elapsed CPU time: 2.38464 s Remaining CPU time: 177.615 s c =============================================================================== c | 0 | 2996 3073 208350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2780 c Elapsed CPU time: 2.46962 s Remaining CPU time: 177.53 s c =============================================================================== c | 0 | 2996 3074 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2779 c Elapsed CPU time: 2.55761 s Remaining CPU time: 177.442 s c =============================================================================== c | 0 | 2996 3075 214050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2778 c Elapsed CPU time: 2.6456 s Remaining CPU time: 177.354 s c =============================================================================== c | 0 | 2996 3076 216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2777 c Elapsed CPU time: 2.73358 s Remaining CPU time: 177.266 s c =============================================================================== c | 0 | 2996 3077 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2776 c Elapsed CPU time: 2.82157 s Remaining CPU time: 177.178 s c =============================================================================== c | 0 | 2996 3078 222600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2775 c Elapsed CPU time: 2.91156 s Remaining CPU time: 177.088 s c =============================================================================== c | 0 | 2996 3079 225450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2774 c Elapsed CPU time: 3.00054 s Remaining CPU time: 176.999 s c =============================================================================== c | 0 | 2996 3080 228300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2773 c Elapsed CPU time: 3.09553 s Remaining CPU time: 176.904 s c =============================================================================== c | 0 | 2996 3081 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2772 c Elapsed CPU time: 3.19051 s Remaining CPU time: 176.809 s c =============================================================================== c | 0 | 2996 3082 234000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2771 c Elapsed CPU time: 3.2875 s Remaining CPU time: 176.713 s c =============================================================================== c | 0 | 2996 3083 236850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2770 c Elapsed CPU time: 3.38449 s Remaining CPU time: 176.616 s c =============================================================================== c | 0 | 2996 3084 239700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2769 c Elapsed CPU time: 3.48547 s Remaining CPU time: 176.515 s c =============================================================================== c | 0 | 2996 3085 242550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2768 c Elapsed CPU time: 3.58446 s Remaining CPU time: 176.416 s c =============================================================================== c | 0 | 2996 3086 245400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2767 c Elapsed CPU time: 3.68744 s Remaining CPU time: 176.313 s c =============================================================================== c | 0 | 2996 3087 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2766 c Elapsed CPU time: 3.78942 s Remaining CPU time: 176.211 s c =============================================================================== c | 0 | 2996 3088 251100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2765 c Elapsed CPU time: 3.89341 s Remaining CPU time: 176.107 s c =============================================================================== c | 0 | 2996 3089 253950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2764 c Elapsed CPU time: 3.99439 s Remaining CPU time: 176.006 s c =============================================================================== c | 0 | 2996 3090 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2763 c Elapsed CPU time: 4.10138 s Remaining CPU time: 175.899 s c =============================================================================== c | 0 | 2996 3091 259650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2762 c Elapsed CPU time: 4.20736 s Remaining CPU time: 175.793 s c =============================================================================== c | 0 | 2996 3092 262500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2761 c Elapsed CPU time: 4.31434 s Remaining CPU time: 175.686 s c =============================================================================== c | 0 | 2996 3093 265350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2760 c Elapsed CPU time: 4.42333 s Remaining CPU time: 175.577 s c =============================================================================== c | 0 | 2996 3094 268200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2759 c Elapsed CPU time: 4.53231 s Remaining CPU time: 175.468 s c =============================================================================== c | 0 | 2996 3095 271050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2758 c Elapsed CPU time: 4.64229 s Remaining CPU time: 175.358 s c =============================================================================== c | 0 | 2996 3096 273900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2757 c Elapsed CPU time: 4.75628 s Remaining CPU time: 175.244 s c =============================================================================== c | 0 | 2996 3097 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2756 c Elapsed CPU time: 4.86526 s Remaining CPU time: 175.135 s c =============================================================================== c | 0 | 2996 3098 279600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2755 c Elapsed CPU time: 4.97924 s Remaining CPU time: 175.021 s c =============================================================================== c | 0 | 2996 3099 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2754 c Elapsed CPU time: 5.10822 s Remaining CPU time: 174.892 s c =============================================================================== c | 0 | 2996 3100 285300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2753 c Elapsed CPU time: 5.2372 s Remaining CPU time: 174.763 s c =============================================================================== c | 0 | 2996 3101 288150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2752 c Elapsed CPU time: 5.36518 s Remaining CPU time: 174.635 s c =============================================================================== c | 0 | 2996 3102 291000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2751 c Elapsed CPU time: 5.49616 s Remaining CPU time: 174.504 s c =============================================================================== c | 0 | 2996 3103 293850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2750 c Elapsed CPU time: 5.62315 s Remaining CPU time: 174.377 s c =============================================================================== c | 0 | 2996 3104 296700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2749 c Elapsed CPU time: 5.75213 s Remaining CPU time: 174.248 s c =============================================================================== c | 0 | 2996 3105 299550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2748 c Elapsed CPU time: 5.8811 s Remaining CPU time: 174.119 s c =============================================================================== c | 0 | 2996 3106 302400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2747 c Elapsed CPU time: 6.01408 s Remaining CPU time: 173.986 s c =============================================================================== c | 0 | 2996 3107 305250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2746 c Elapsed CPU time: 6.15006 s Remaining CPU time: 173.85 s c =============================================================================== c | 0 | 2996 3108 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2745 c Elapsed CPU time: 6.28604 s Remaining CPU time: 173.714 s c =============================================================================== c | 0 | 2996 3109 310950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2744 c Elapsed CPU time: 6.42302 s Remaining CPU time: 173.577 s c =============================================================================== c | 0 | 2996 3110 313800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2743 c Elapsed CPU time: 6.561 s Remaining CPU time: 173.439 s c =============================================================================== c | 0 | 2996 3111 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2742 c Elapsed CPU time: 6.69598 s Remaining CPU time: 173.304 s c =============================================================================== c | 0 | 2996 3112 319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2741 c Elapsed CPU time: 6.83296 s Remaining CPU time: 173.167 s c =============================================================================== c | 0 | 2996 3113 322350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2740 c Elapsed CPU time: 6.97194 s Remaining CPU time: 173.028 s c =============================================================================== c | 0 | 2996 3114 325200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2739 c Elapsed CPU time: 7.11192 s Remaining CPU time: 172.888 s c =============================================================================== c | 0 | 2996 3115 328050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2738 c Elapsed CPU time: 7.2549 s Remaining CPU time: 172.745 s c =============================================================================== c | 0 | 2996 3116 330900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2737 c Elapsed CPU time: 7.39787 s Remaining CPU time: 172.602 s c =============================================================================== c | 0 | 2996 3117 333750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2736 c Elapsed CPU time: 7.54185 s Remaining CPU time: 172.458 s c =============================================================================== c | 0 | 2996 3118 336600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2735 c Elapsed CPU time: 7.68783 s Remaining CPU time: 172.312 s c =============================================================================== c | 0 | 2996 3119 339450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2734 c Elapsed CPU time: 7.83381 s Remaining CPU time: 172.166 s c =============================================================================== c | 0 | 2996 3120 342300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2733 c Elapsed CPU time: 7.98079 s Remaining CPU time: 172.019 s c =============================================================================== c | 0 | 2996 3121 345150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2732 c Elapsed CPU time: 8.12676 s Remaining CPU time: 171.873 s c =============================================================================== c | 0 | 2996 3122 348000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2731 c Elapsed CPU time: 8.27574 s Remaining CPU time: 171.724 s c =============================================================================== c | 0 | 2996 3123 350850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2730 c Elapsed CPU time: 8.42572 s Remaining CPU time: 171.574 s c =============================================================================== c | 0 | 2996 3124 353700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2729 c Elapsed CPU time: 8.5777 s Remaining CPU time: 171.422 s c =============================================================================== c | 0 | 2996 3125 356550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2728 c Elapsed CPU time: 8.72467 s Remaining CPU time: 171.275 s c =============================================================================== c | 0 | 2996 3126 359400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2727 c Elapsed CPU time: 8.87865 s Remaining CPU time: 171.121 s c =============================================================================== c | 0 | 2996 3127 362250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2726 c Elapsed CPU time: 9.03063 s Remaining CPU time: 170.969 s c =============================================================================== c | 0 | 2996 3128 365100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2725 c Elapsed CPU time: 9.1866 s Remaining CPU time: 170.813 s c =============================================================================== c | 0 | 2996 3129 367950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2724 c Elapsed CPU time: 9.34358 s Remaining CPU time: 170.656 s c =============================================================================== c | 0 | 2996 3130 370800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2723 c Elapsed CPU time: 9.50356 s Remaining CPU time: 170.496 s c =============================================================================== c | 2 | 2996 3131 373650 | 5000 2 2725 | 0.000 % | c =============================================================================== c New solution: 2722 c Elapsed CPU time: 9.66253 s Remaining CPU time: 170.337 s c =============================================================================== c | 2 | 2996 3132 376500 | 5000 2 2725 | 0.000 % | c =============================================================================== c New solution: 2721 c Elapsed CPU time: 9.8355 s Remaining CPU time: 170.164 s c =============================================================================== c | 2 | 2996 3133 379350 | 5000 2 2725 | 0.000 % | c =============================================================================== c New solution: 2720 c Elapsed CPU time: 9.99548 s Remaining CPU time: 170.005 s c =============================================================================== c | 2 | 2996 3134 382200 | 5000 2 2725 | 0.000 % | c =============================================================================== c New solution: 2719 c Elapsed CPU time: 10.1495 s Remaining CPU time: 169.851 s c =============================================================================== c | 2 | 2996 3135 385050 | 5000 2 2725 | 0.000 % | c =============================================================================== c New solution: 2718 c Elapsed CPU time: 10.3264 s Remaining CPU time: 169.674 s c =============================================================================== c | 2 | 2996 3136 387900 | 5000 2 2725 | 0.000 % | c =============================================================================== c New solution: 2717 c Elapsed CPU time: 10.4904 s Remaining CPU time: 169.51 s c =============================================================================== c | 2 | 2996 3137 390750 | 5000 2 2725 | 0.000 % | c =============================================================================== c New solution: 2716 c Elapsed CPU time: 10.6524 s Remaining CPU time: 169.348 s c =============================================================================== c | 2 | 2996 3138 393600 | 5000 2 2725 | 0.000 % | c =============================================================================== c New solution: 2715 c Elapsed CPU time: 10.8444 s Remaining CPU time: 169.156 s c =============================================================================== c | 4 | 2996 3139 396450 | 5000 4 2721 | 0.000 % | c =============================================================================== c New solution: 2714 c Elapsed CPU time: 11.0523 s Remaining CPU time: 168.948 s c =============================================================================== c | 5 | 2996 3140 399300 | 5000 5 2720 | 0.000 % | c =============================================================================== c New solution: 2713 c Elapsed CPU time: 11.2603 s Remaining CPU time: 168.74 s c =============================================================================== c | 5 | 2996 3141 402150 | 5000 5 2720 | 0.000 % | c =============================================================================== c New solution: 2712 c Elapsed CPU time: 11.4483 s Remaining CPU time: 168.552 s c =============================================================================== c | 5 | 2996 3142 405000 | 5000 5 2720 | 0.000 % | c =============================================================================== c New solution: 2711 c Elapsed CPU time: 11.6242 s Remaining CPU time: 168.376 s c =============================================================================== c | 5 | 2996 3143 407850 | 5000 5 2720 | 0.000 % | c =============================================================================== c New solution: 2710 c Elapsed CPU time: 11.8022 s Remaining CPU time: 168.198 s c =============================================================================== c | 10 | 2996 3144 410700 | 5000 10 2716 | 0.000 % | c =============================================================================== c New solution: 2709 c Elapsed CPU time: 11.9892 s Remaining CPU time: 168.011 s c =============================================================================== c | 10 | 2996 3145 413550 | 5000 10 2716 | 0.000 % | c =============================================================================== c New solution: 2708 c Elapsed CPU time: 12.1741 s Remaining CPU time: 167.826 s c =============================================================================== c | 19 | 2996 3146 416400 | 5000 19 2713 | 0.000 % | c =============================================================================== c New solution: 2707 c Elapsed CPU time: 12.3551 s Remaining CPU time: 167.645 s c =============================================================================== c | 26 | 2996 3147 419250 | 5000 26 2712 | 0.000 % | c =============================================================================== c New solution: 2706 c Elapsed CPU time: 12.5391 s Remaining CPU time: 167.461 s c =============================================================================== c | 29 | 2996 3148 422100 | 5000 29 2712 | 0.000 % | c =============================================================================== c New solution: 2705 c Elapsed CPU time: 12.7291 s Remaining CPU time: 167.271 s c =============================================================================== c | 29 | 2996 3149 424950 | 5000 29 2712 | 0.000 % | c =============================================================================== c New solution: 2704 c Elapsed CPU time: 12.908 s Remaining CPU time: 167.092 s c =============================================================================== c | 37 | 2996 3150 427800 | 5000 37 2710 | 0.000 % | c =============================================================================== c New solution: 2703 c Elapsed CPU time: 13.083 s Remaining CPU time: 166.917 s c =============================================================================== c | 39 | 2996 3151 430650 | 5000 39 2710 | 0.000 % | c =============================================================================== c New solution: 2702 c Elapsed CPU time: 13.261 s Remaining CPU time: 166.739 s c =============================================================================== c | 40 | 2996 3152 433500 | 5000 40 2710 | 0.000 % | c =============================================================================== c New solution: 2701 c Elapsed CPU time: 13.446 s Remaining CPU time: 166.554 s c =============================================================================== c | 45 | 2996 3153 436350 | 5000 45 2709 | 0.000 % | c =============================================================================== c New solution: 2700 c Elapsed CPU time: 13.6249 s Remaining CPU time: 166.375 s c =============================================================================== c | 45 | 2996 3154 439200 | 5000 45 2709 | 0.000 % | c =============================================================================== c New solution: 2699 c Elapsed CPU time: 13.8209 s Remaining CPU time: 166.179 s c =============================================================================== c | 66 | 2996 3155 442050 | 5000 66 2707 | 0.000 % | c =============================================================================== c New solution: 2698 c Elapsed CPU time: 14.0329 s Remaining CPU time: 165.967 s c =============================================================================== c | 101 | 2996 3156 444900 | 5000 101 2705 | 0.000 % | c =============================================================================== c New solution: 2697 c Elapsed CPU time: 14.2358 s Remaining CPU time: 165.764 s c =============================================================================== c | 124 | 2996 3157 447750 | 5000 124 2704 | 0.000 % | c =============================================================================== c New solution: 2696 c Elapsed CPU time: 14.4238 s Remaining CPU time: 165.576 s c =============================================================================== c | 130 | 2996 3158 450600 | 5000 130 2704 | 0.000 % | c =============================================================================== c New solution: 2695 c Elapsed CPU time: 14.6138 s Remaining CPU time: 165.386 s c =============================================================================== c | 136 | 2996 3159 453450 | 5000 136 2703 | 0.000 % | c =============================================================================== c New solution: 2694 c Elapsed CPU time: 14.8047 s Remaining CPU time: 165.195 s c =============================================================================== c | 138 | 2996 3160 456300 | 5000 138 2684 | 0.000 % | c =============================================================================== c New solution: 2693 c Elapsed CPU time: 15.0557 s Remaining CPU time: 164.944 s c =============================================================================== c | 215 | 2996 3161 459150 | 5000 215 2688 | 0.000 % | c =============================================================================== c New solution: 2692 c Elapsed CPU time: 15.3167 s Remaining CPU time: 164.683 s c =============================================================================== c | 254 | 2996 3162 462000 | 5000 254 2689 | 0.000 % | c =============================================================================== c New solution: 2691 c Elapsed CPU time: 15.5306 s Remaining CPU time: 164.469 s c =============================================================================== c | 273 | 2996 3163 464850 | 5000 273 2689 | 0.000 % | c =============================================================================== c New solution: 2690 c Elapsed CPU time: 15.7346 s Remaining CPU time: 164.265 s c =============================================================================== c | 287 | 2996 3164 467700 | 5000 287 2689 | 0.000 % | c | 387 | 2996 3164 467700 | 5500 387 2690 | 0.133 % | c =============================================================================== c New solution: 2689 c Elapsed CPU time: 16.3215 s Remaining CPU time: 163.678 s c =============================================================================== c | 427 | 2996 3165 470550 | 5000 427 2690 | 0.133 % | c =============================================================================== c New solution: 2688 c Elapsed CPU time: 16.5345 s Remaining CPU time: 163.466 s c =============================================================================== c | 452 | 2996 3166 473400 | 5000 452 2690 | 0.133 % | c =============================================================================== c New solution: 2687 c Elapsed CPU time: 16.7585 s Remaining CPU time: 163.242 s c =============================================================================== c | 459 | 2996 3167 476250 | 5000 459 2690 | 0.133 % | c =============================================================================== c New solution: 2686 c Elapsed CPU time: 17.1294 s Remaining CPU time: 162.871 s c =============================================================================== c | 508 | 2996 3168 479100 | 5000 508 2690 | 0.133 % | c =============================================================================== c New solution: 2685 c Elapsed CPU time: 17.3784 s Remaining CPU time: 162.622 s c =============================================================================== c | 543 | 2996 3169 481950 | 5000 543 2689 | 0.133 % | c =============================================================================== c New solution: 2684 c Elapsed CPU time: 17.6083 s Remaining CPU time: 162.392 s c =============================================================================== c | 578 | 2996 3170 484800 | 5000 578 2689 | 0.133 % | c =============================================================================== c New solution: 2683 c Elapsed CPU time: 17.8483 s Remaining CPU time: 162.152 s c =============================================================================== c | 604 | 2996 3171 487650 | 5000 604 2689 | 0.133 % | c =============================================================================== c New solution: 2682 c Elapsed CPU time: 18.1142 s Remaining CPU time: 161.886 s c =============================================================================== c | 636 | 2996 3172 490500 | 5000 636 2689 | 0.133 % | c =============================================================================== c New solution: 2681 c Elapsed CPU time: 18.3322 s Remaining CPU time: 161.668 s c =============================================================================== c | 653 | 2996 3173 493350 | 5000 653 2689 | 0.133 % | c =============================================================================== c New solution: 2680 c Elapsed CPU time: 18.5872 s Remaining CPU time: 161.413 s c =============================================================================== c | 713 | 2996 3174 496200 | 5000 713 2688 | 0.133 % | c =============================================================================== c New solution: 2679 c Elapsed CPU time: 18.8301 s Remaining CPU time: 161.17 s c =============================================================================== c | 744 | 2996 3175 499050 | 5000 744 2688 | 0.133 % | c | 844 | 2996 3175 499050 | 5500 844 2687 | 0.133 % | c =============================================================================== c New solution: 2678 c Elapsed CPU time: 19.432 s Remaining CPU time: 160.568 s c =============================================================================== c | 903 | 2996 3176 501900 | 5000 903 2686 | 0.133 % | c =============================================================================== c New solution: 2677 c Elapsed CPU time: 19.674 s Remaining CPU time: 160.326 s c =============================================================================== c | 934 | 2996 3177 504750 | 5000 934 2686 | 0.133 % | c =============================================================================== c New solution: 2676 c Elapsed CPU time: 19.914 s Remaining CPU time: 160.086 s c =============================================================================== c | 949 | 2996 3178 507600 | 5000 949 2686 | 0.133 % | c =============================================================================== c New solution: 2675 c Elapsed CPU time: 20.1279 s Remaining CPU time: 159.872 s c =============================================================================== c | 952 | 2996 3179 510450 | 5000 952 2686 | 0.133 % | c =============================================================================== c New solution: 2674 c Elapsed CPU time: 20.3549 s Remaining CPU time: 159.645 s c =============================================================================== c | 970 | 2996 3180 513300 | 5000 970 2686 | 0.133 % | c =============================================================================== c New solution: 2673 c Elapsed CPU time: 20.6839 s Remaining CPU time: 159.316 s c =============================================================================== c | 1016 | 2996 3181 516150 | 5000 1016 2685 | 0.133 % | c =============================================================================== c New solution: 2672 c Elapsed CPU time: 20.9788 s Remaining CPU time: 159.021 s c =============================================================================== c | 1056 | 2996 3182 519000 | 5000 1056 2685 | 0.133 % | c | 1156 | 2996 3182 519000 | 5500 1156 2684 | 0.133 % | c =============================================================================== c New solution: 2671 c Elapsed CPU time: 21.6817 s Remaining CPU time: 158.318 s c =============================================================================== c | 1211 | 2996 3183 521850 | 5000 1211 2684 | 0.133 % | c | 1311 | 2996 3183 521850 | 5500 1311 2683 | 0.133 % | c | 1461 | 2996 3183 521850 | 6050 1461 2682 | 0.133 % | c =============================================================================== c New solution: 2670 c Elapsed CPU time: 22.9905 s Remaining CPU time: 157.009 s c =============================================================================== c | 1550 | 2996 3184 524700 | 5000 1550 2681 | 0.133 % | c =============================================================================== c New solution: 2669 c Elapsed CPU time: 23.3275 s Remaining CPU time: 156.673 s c =============================================================================== c | 1624 | 2996 3185 527550 | 5000 1624 2681 | 0.133 % | c =============================================================================== c New solution: 2668 c Elapsed CPU time: 23.5724 s Remaining CPU time: 156.428 s c =============================================================================== c | 1648 | 2996 3186 530400 | 5000 1648 2681 | 0.133 % | c | 1748 | 2996 3186 530400 | 5500 1748 2680 | 0.133 % | c | 1898 | 2996 3186 530400 | 6050 1898 2679 | 0.133 % | c =============================================================================== c New solution: 2667 c Elapsed CPU time: 24.7012 s Remaining CPU time: 155.299 s c =============================================================================== c | 1960 | 2996 3187 533250 | 5000 1960 2679 | 0.133 % | c =============================================================================== c New solution: 2666 c Elapsed CPU time: 25.1022 s Remaining CPU time: 154.898 s c =============================================================================== c | 2044 | 2996 3188 536100 | 5000 2044 2678 | 0.133 % | c =============================================================================== c New solution: 2665 c Elapsed CPU time: 25.3831 s Remaining CPU time: 154.617 s c =============================================================================== c | 2095 | 2996 3189 538950 | 5000 2095 2678 | 0.133 % | c | 2195 | 2996 3189 538950 | 5500 2195 2678 | 0.133 % | c | 2345 | 2996 3189 538950 | 6050 2345 2677 | 0.133 % | c =============================================================================== c New solution: 2664 c Elapsed CPU time: 26.6729 s Remaining CPU time: 153.327 s c =============================================================================== c | 2510 | 2996 3190 541800 | 5000 2510 2676 | 0.133 % | c =============================================================================== c New solution: 2663 c Elapsed CPU time: 26.9479 s Remaining CPU time: 153.052 s c =============================================================================== c | 2564 | 2996 3191 544650 | 5000 2564 2676 | 0.133 % | c | 2665 | 2996 3191 544650 | 5500 2665 2676 | 0.133 % | c | 2815 | 2996 3191 544650 | 6050 2815 2675 | 0.133 % | c | 3041 | 2996 3191 544650 | 6655 3041 2674 | 0.133 % | c =============================================================================== c New solution: 2662 c Elapsed CPU time: 28.8576 s Remaining CPU time: 151.142 s c =============================================================================== c | 3192 | 2996 3192 547500 | 5000 3192 2674 | 0.133 % | c =============================================================================== c New solution: 2661 c Elapsed CPU time: 29.1586 s Remaining CPU time: 150.841 s c =============================================================================== c | 3240 | 2996 3193 550350 | 5000 3240 2673 | 0.133 % | c =============================================================================== c New solution: 2660 c Elapsed CPU time: 29.4925 s Remaining CPU time: 150.507 s c =============================================================================== c | 3307 | 2996 3194 553200 | 5000 3307 2673 | 0.133 % | c | 3407 | 2996 3194 553200 | 5500 3407 2672 | 0.133 % | c | 3557 | 2996 3194 553200 | 6050 3557 2672 | 0.133 % | c =============================================================================== c New solution: 2659 c Elapsed CPU time: 30.5963 s Remaining CPU time: 149.404 s c =============================================================================== c | 3618 | 2996 3195 556050 | 5000 3618 2672 | 0.133 % | c =============================================================================== c New solution: 2658 c Elapsed CPU time: 30.8523 s Remaining CPU time: 149.148 s c =============================================================================== c | 3639 | 2996 3196 558900 | 5000 3639 2672 | 0.133 % | c =============================================================================== c New solution: 2657 c Elapsed CPU time: 31.1463 s Remaining CPU time: 148.854 s c =============================================================================== c | 3678 | 2996 3197 561750 | 5000 3678 2671 | 0.133 % | c | 3778 | 2996 3197 561750 | 5500 3778 2671 | 0.133 % | c | 3928 | 2996 3197 561750 | 6050 3928 2671 | 0.133 % | c =============================================================================== c New solution: 2656 c Elapsed CPU time: 32.2901 s Remaining CPU time: 147.71 s c =============================================================================== c | 4015 | 2996 3198 564600 | 5000 4015 2670 | 0.133 % | c | 4115 | 2996 3198 564600 | 5500 4115 2670 | 0.133 % | c | 4265 | 2996 3198 564600 | 6050 4265 2669 | 0.133 % | c | 4490 | 2996 3198 564600 | 6655 4490 2668 | 0.133 % | c =============================================================================== c New solution: 2655 c Elapsed CPU time: 34.1748 s Remaining CPU time: 145.825 s c =============================================================================== c | 4593 | 2996 3199 567450 | 5000 4593 2668 | 0.133 % | c | 4693 | 2996 3199 567450 | 5500 4693 2668 | 0.133 % | c | 4843 | 2996 3199 567450 | 6050 4843 2668 | 0.133 % | c | 5068 | 2996 3199 567450 | 6655 5068 2667 | 0.133 % | c =============================================================================== c New solution: 2654 c Elapsed CPU time: 36.1695 s Remaining CPU time: 143.83 s c =============================================================================== c | 5393 | 2996 3200 570300 | 5000 5393 2666 | 0.133 % | c | 5494 | 2996 3200 570300 | 5500 2798 2656 | 0.133 % | c | 5644 | 2996 3200 570300 | 6050 2948 2656 | 0.133 % | c =============================================================================== c New solution: 2653 c Elapsed CPU time: 37.4673 s Remaining CPU time: 142.533 s c =============================================================================== c | 5678 | 2996 3201 573150 | 5000 2982 2656 | 0.133 % | c | 5778 | 2996 3201 573150 | 5500 3082 2656 | 0.133 % | c | 5928 | 2996 3201 573150 | 6050 3232 2656 | 0.133 % | c | 6153 | 2996 3201 573150 | 6655 3457 2656 | 0.133 % | c | 6490 | 2996 3201 573150 | 7320 3794 2656 | 0.133 % | c | 6996 | 2996 3201 573150 | 8052 4300 2656 | 0.133 % | c | 7755 | 2996 3201 573150 | 8857 5059 2655 | 0.133 % | c =============================================================================== c New solution: 2652 c Elapsed CPU time: 42.4825 s Remaining CPU time: 137.517 s c =============================================================================== c | 7903 | 2996 3202 576000 | 5000 5207 2655 | 0.133 % | c | 8003 | 2996 3202 576000 | 5500 2704 2652 | 0.133 % | c | 8153 | 2996 3202 576000 | 6050 2854 2652 | 0.133 % | c | 8378 | 2996 3202 576000 | 6655 3079 2652 | 0.133 % | c | 8715 | 2996 3202 576000 | 7320 3416 2652 | 0.133 % | c =============================================================================== c New solution: 2651 c Elapsed CPU time: 45.3371 s Remaining CPU time: 134.663 s c =============================================================================== c | 9173 | 2996 3203 578850 | 5000 3874 2652 | 0.133 % | c | 9273 | 2996 3203 578850 | 5500 3974 2652 | 0.133 % | c | 9423 | 2996 3203 578850 | 6050 4124 2652 | 0.133 % | c | 9648 | 2996 3203 578850 | 6655 4349 2652 | 0.133 % | c | 9985 | 2996 3203 578850 | 7320 4686 2652 | 0.133 % | c | 10491 | 2996 3203 578850 | 8052 5192 2652 | 0.133 % | c =============================================================================== c New solution: 2650 c Elapsed CPU time: 48.5216 s Remaining CPU time: 131.478 s c =============================================================================== c | 10571 | 2996 3204 581700 | 5000 5272 2652 | 0.133 % | c | 10671 | 2996 3204 581700 | 5500 2736 2649 | 0.133 % | c | 10821 | 2996 3204 581700 | 6050 2886 2649 | 0.133 % | c =============================================================================== c New solution: 2649 c Elapsed CPU time: 49.8444 s Remaining CPU time: 130.156 s c =============================================================================== c | 11002 | 2996 3205 584550 | 5000 3067 2649 | 0.133 % | c | 11102 | 2996 3205 584550 | 5500 3167 2649 | 0.133 % | c | 11252 | 2996 3205 584550 | 6050 3317 2649 | 0.133 % | c =============================================================================== c New solution: 2648 c Elapsed CPU time: 51.1302 s Remaining CPU time: 128.87 s c =============================================================================== c | 11392 | 2996 3206 587400 | 5000 3457 2649 | 0.133 % | c | 11492 | 2996 3206 587400 | 5500 3557 2649 | 0.133 % | c | 11642 | 2996 3206 587400 | 6050 3707 2649 | 0.133 % | c =============================================================================== c New solution: 2647 c Elapsed CPU time: 52.298 s Remaining CPU time: 127.702 s c =============================================================================== c | 11699 | 2996 3207 590250 | 5000 3764 2649 | 0.133 % | c | 11799 | 2996 3207 590250 | 5500 3864 2649 | 0.133 % | c =============================================================================== c New solution: 2646 c Elapsed CPU time: 53.0349 s Remaining CPU time: 126.965 s c =============================================================================== c | 11841 | 2996 3208 593100 | 5000 3906 2649 | 0.133 % | c | 11941 | 2996 3208 593100 | 5500 4006 2649 | 0.133 % | c =============================================================================== c New solution: 2645 c Elapsed CPU time: 53.9588 s Remaining CPU time: 126.041 s c =============================================================================== c | 12085 | 2996 3209 595950 | 5000 4150 2649 | 0.133 % | c | 12185 | 2996 3209 595950 | 5500 4250 2649 | 0.133 % | c | 12335 | 2996 3209 595950 | 6050 4400 2649 | 0.133 % | c | 12560 | 2996 3209 595950 | 6655 4625 2649 | 0.133 % | c | 12897 | 2996 3209 595950 | 7320 4962 2649 | 0.133 % | c =============================================================================== c New solution: 2644 c Elapsed CPU time: 56.5864 s Remaining CPU time: 123.414 s c =============================================================================== c | 12952 | 2996 3210 598800 | 5000 5017 2649 | 0.133 % | c | 13052 | 2996 3210 598800 | 5500 2609 2645 | 0.133 % | c | 13202 | 2996 3210 598800 | 6050 2759 2645 | 0.133 % | c | 13427 | 2996 3210 598800 | 6655 2984 2645 | 0.133 % | c | 13765 | 2996 3210 598800 | 7320 3322 2645 | 0.133 % | c =============================================================================== c New solution: 2643 c Elapsed CPU time: 59.219 s Remaining CPU time: 120.781 s c =============================================================================== c | 14022 | 2996 3211 601650 | 5000 3579 2645 | 0.133 % | c =============================================================================== c New solution: 2642 c Elapsed CPU time: 59.522 s Remaining CPU time: 120.478 s c =============================================================================== c | 14060 | 2996 3212 604500 | 5000 3617 2645 | 0.133 % | c | 14160 | 2996 3212 604500 | 5500 3717 2645 | 0.133 % | c | 14310 | 2996 3212 604500 | 6050 3867 2645 | 0.133 % | c =============================================================================== c New solution: 2641 c Elapsed CPU time: 60.8078 s Remaining CPU time: 119.192 s c =============================================================================== c | 14401 | 2996 3213 607350 | 5000 3958 2645 | 0.133 % | c | 14501 | 2996 3213 607350 | 5500 4058 2645 | 0.133 % | c =============================================================================== c New solution: 2640 c Elapsed CPU time: 61.4997 s Remaining CPU time: 118.5 s c =============================================================================== c | 14556 | 2996 3214 610200 | 5000 4113 2645 | 0.133 % | c | 14657 | 2996 3214 610200 | 5500 4214 2645 | 0.133 % | c | 14808 | 2996 3214 610200 | 6050 4365 2644 | 0.133 % | c | 15033 | 2996 3214 610200 | 6655 4590 2644 | 0.133 % | c | 15371 | 2996 3214 610200 | 7320 4928 2644 | 0.133 % | c =============================================================================== c New solution: 2639 c Elapsed CPU time: 65.2001 s Remaining CPU time: 114.8 s c =============================================================================== c | 15516 | 2996 3215 613050 | 5000 5073 2644 | 0.133 % | c | 15616 | 2996 3215 613050 | 5500 2637 2639 | 0.133 % | c =============================================================================== c New solution: 2638 c Elapsed CPU time: 66.1089 s Remaining CPU time: 113.891 s c =============================================================================== c | 15685 | 2996 3216 615900 | 5000 2706 2639 | 0.133 % | c | 15785 | 2996 3216 615900 | 5500 2806 2639 | 0.133 % | c =============================================================================== c New solution: 2637 c Elapsed CPU time: 66.9078 s Remaining CPU time: 113.092 s c =============================================================================== c | 15791 | 2996 3217 618750 | 5000 2812 2639 | 0.133 % | c =============================================================================== c New solution: 2636 c Elapsed CPU time: 67.3288 s Remaining CPU time: 112.671 s c =============================================================================== c | 15883 | 2996 3218 621600 | 5000 2904 2639 | 0.133 % | c | 15985 | 2996 3218 621600 | 5500 3006 2639 | 0.133 % | c | 16135 | 2996 3218 621600 | 6050 3156 2639 | 0.133 % | c =============================================================================== c New solution: 2635 c Elapsed CPU time: 68.5436 s Remaining CPU time: 111.456 s c =============================================================================== c | 16184 | 2996 3219 624450 | 5000 3205 2639 | 0.133 % | c | 16284 | 2996 3219 624450 | 5500 3305 2639 | 0.133 % | c | 16435 | 2996 3219 624450 | 6050 3456 2638 | 0.133 % | c | 16660 | 2996 3219 624450 | 6655 3681 2638 | 0.133 % | c =============================================================================== c New solution: 2634 c Elapsed CPU time: 70.9642 s Remaining CPU time: 109.036 s c =============================================================================== c | 16828 | 2996 3220 627300 | 5000 3849 2638 | 0.133 % | c | 16930 | 2996 3220 627300 | 5500 3951 2638 | 0.133 % | c =============================================================================== c New solution: 2633 c Elapsed CPU time: 71.7831 s Remaining CPU time: 108.217 s c =============================================================================== c | 16956 | 2996 3221 630150 | 5000 3977 2638 | 0.133 % | c =============================================================================== c New solution: 2632 c Elapsed CPU time: 72.082 s Remaining CPU time: 107.918 s c =============================================================================== c | 16969 | 2996 3222 633000 | 5000 3990 2638 | 0.133 % | c =============================================================================== c New solution: 2631 c Elapsed CPU time: 72.526 s Remaining CPU time: 107.474 s c =============================================================================== c | 17027 | 2996 3223 635850 | 5000 4048 2638 | 0.133 % | c | 17127 | 2996 3223 635850 | 5500 4148 2638 | 0.133 % | c =============================================================================== c New solution: 2630 c Elapsed CPU time: 73.2999 s Remaining CPU time: 106.7 s c =============================================================================== c | 17204 | 2996 3224 638700 | 5000 4225 2638 | 0.133 % | c =============================================================================== c New solution: 2629 c Elapsed CPU time: 73.5848 s Remaining CPU time: 106.415 s c =============================================================================== c | 17212 | 2996 3225 641550 | 5000 4233 2638 | 0.133 % | c | 17312 | 2996 3225 641550 | 5500 4333 2638 | 0.133 % | c | 17462 | 2996 3225 641550 | 6050 4483 2637 | 0.133 % | c | 17687 | 2996 3225 641550 | 6655 4708 2637 | 0.133 % | c =============================================================================== c New solution: 2628 c Elapsed CPU time: 75.4785 s Remaining CPU time: 104.521 s c =============================================================================== c | 17774 | 2996 3226 644400 | 5000 4795 2637 | 0.133 % | c =============================================================================== c New solution: 2627 c Elapsed CPU time: 75.7925 s Remaining CPU time: 104.208 s c =============================================================================== c | 17808 | 2996 3227 647250 | 5000 4829 2637 | 0.133 % | c | 17908 | 2996 3227 647250 | 5500 4929 2637 | 0.133 % | c =============================================================================== c New solution: 2626 c Elapsed CPU time: 76.5804 s Remaining CPU time: 103.42 s c =============================================================================== c | 17987 | 2996 3228 650100 | 5000 5008 2637 | 0.133 % | c =============================================================================== c New solution: 2625 c Elapsed CPU time: 76.9443 s Remaining CPU time: 103.056 s c =============================================================================== c | 18028 | 2996 3229 652950 | 5000 2545 2630 | 0.133 % | c =============================================================================== c New solution: 2624 c Elapsed CPU time: 77.2533 s Remaining CPU time: 102.747 s c =============================================================================== c | 18063 | 2996 3230 655800 | 5000 2580 2630 | 0.133 % | c =============================================================================== c New solution: 2623 c Elapsed CPU time: 77.5882 s Remaining CPU time: 102.412 s c =============================================================================== c | 18108 | 2996 3231 658650 | 5000 2625 2630 | 0.133 % | c | 18208 | 2996 3231 658650 | 5500 2725 2629 | 0.133 % | c | 18358 | 2996 3231 658650 | 6050 2875 2629 | 0.133 % | c =============================================================================== c New solution: 2622 c Elapsed CPU time: 78.845 s Remaining CPU time: 101.155 s c =============================================================================== c | 18456 | 2996 3232 661500 | 5000 2973 2629 | 0.133 % | c | 18556 | 2996 3232 661500 | 5500 3073 2629 | 0.133 % | c | 18706 | 2996 3232 661500 | 6050 3223 2629 | 0.133 % | c | 18931 | 2996 3232 661500 | 6655 3448 2628 | 0.133 % | c | 19268 | 2996 3232 661500 | 7320 3785 2628 | 0.133 % | c =============================================================================== c New solution: 2621 c Elapsed CPU time: 81.7376 s Remaining CPU time: 98.2624 s c =============================================================================== c | 19347 | 2996 3233 664350 | 5000 3864 2628 | 0.133 % | c =============================================================================== c New solution: 2620 c Elapsed CPU time: 82.0565 s Remaining CPU time: 97.9435 s c =============================================================================== c | 19374 | 2996 3234 667200 | 5000 3891 2628 | 0.133 % | c | 19474 | 2996 3234 667200 | 5500 3991 2628 | 0.133 % | c | 19624 | 2996 3234 667200 | 6050 4141 2627 | 0.133 % | c | 19850 | 2996 3234 667200 | 6655 4367 2627 | 0.133 % | c | 20188 | 2996 3234 667200 | 7320 4705 2627 | 0.133 % | c =============================================================================== c New solution: 2619 c Elapsed CPU time: 85.415 s Remaining CPU time: 94.585 s c =============================================================================== c | 20295 | 2996 3235 670050 | 5000 4812 2627 | 0.133 % | c =============================================================================== c New solution: 2618 c Elapsed CPU time: 85.9219 s Remaining CPU time: 94.0781 s c =============================================================================== c | 20366 | 2996 3236 672900 | 5000 4883 2627 | 0.133 % | c | 20466 | 2996 3236 672900 | 5500 4983 2626 | 0.133 % | c =============================================================================== c New solution: 2617 c Elapsed CPU time: 86.8468 s Remaining CPU time: 93.1532 s c =============================================================================== c | 20548 | 2996 3237 675750 | 5000 5065 2626 | 0.133 % | c | 20648 | 2996 3237 675750 | 5500 2633 2619 | 0.133 % | c | 20798 | 2996 3237 675750 | 6050 2783 2619 | 0.133 % | c =============================================================================== c New solution: 2616 c Elapsed CPU time: 88.3266 s Remaining CPU time: 91.6734 s c =============================================================================== c | 20907 | 2996 3238 678600 | 5000 2892 2619 | 0.133 % | c | 21009 | 2996 3238 678600 | 5500 2994 2619 | 0.133 % | c | 21160 | 2996 3238 678600 | 6050 3145 2619 | 0.133 % | c | 21385 | 2996 3238 678600 | 6655 3370 2619 | 0.133 % | c | 21722 | 2996 3238 678600 | 7320 3707 2619 | 0.133 % | c | 22229 | 2996 3238 678600 | 8052 4214 2618 | 0.133 % | c =============================================================================== c New solution: 2615 c Elapsed CPU time: 93.6208 s Remaining CPU time: 86.3792 s c =============================================================================== c | 22311 | 2996 3239 681450 | 5000 4296 2618 | 0.133 % | c =============================================================================== c New solution: 2614 c Elapsed CPU time: 94.0597 s Remaining CPU time: 85.9403 s c =============================================================================== c | 22379 | 2996 3240 684300 | 5000 4364 2618 | 0.133 % | c | 22479 | 2996 3240 684300 | 5500 4464 2618 | 0.133 % | c | 22629 | 2996 3240 684300 | 6050 4614 2617 | 0.133 % | c =============================================================================== c New solution: 2613 c Elapsed CPU time: 95.5835 s Remaining CPU time: 84.4165 s c =============================================================================== c | 22812 | 2996 3241 687150 | 5000 4797 2617 | 0.133 % | c | 22912 | 2996 3241 687150 | 5500 4897 2617 | 0.133 % | c | 23062 | 2996 3241 687150 | 6050 5047 2617 | 0.133 % | c | 23287 | 2996 3241 687150 | 6655 5272 2617 | 0.133 % | c | 23624 | 2996 3241 687150 | 7320 5609 2617 | 0.133 % | c =============================================================================== c New solution: 2612 c Elapsed CPU time: 98.748 s Remaining CPU time: 81.252 s c =============================================================================== c | 23921 | 2996 3242 690000 | 5000 5906 2617 | 0.133 % | c | 24021 | 2996 3242 690000 | 5500 3053 2612 | 0.133 % | c | 24171 | 2996 3242 690000 | 6050 3203 2612 | 0.133 % | c | 24397 | 2996 3242 690000 | 6655 3429 2612 | 0.133 % | c | 24736 | 2996 3242 690000 | 7320 3768 2612 | 0.133 % | c =============================================================================== c New solution: 2611 c Elapsed CPU time: 102.415 s Remaining CPU time: 77.5846 s c =============================================================================== c | 25041 | 2996 3243 692850 | 5000 4073 2612 | 0.133 % | c | 25142 | 2996 3243 692850 | 5500 4174 2612 | 0.133 % | c | 25292 | 2996 3243 692850 | 6050 4324 2612 | 0.133 % | c =============================================================================== c New solution: 2610 c Elapsed CPU time: 103.644 s Remaining CPU time: 76.3558 s c =============================================================================== c | 25405 | 2996 3244 695700 | 5000 4437 2612 | 0.133 % | c | 25506 | 2996 3244 695700 | 5500 4538 2612 | 0.133 % | c | 25656 | 2996 3244 695700 | 6050 4688 2612 | 0.133 % | c | 25882 | 2996 3244 695700 | 6655 4914 2612 | 0.133 % | c | 26220 | 2996 3244 695700 | 7320 5252 2612 | 0.133 % | c | 26726 | 2996 3244 695700 | 8052 5758 2612 | 0.133 % | c | 27485 | 2996 3244 695700 | 8857 6517 2612 | 0.133 % | c | 28624 | 2996 3244 695700 | 9743 7656 2612 | 0.133 % | c =============================================================================== c New solution: 2609 c Elapsed CPU time: 113.763 s Remaining CPU time: 66.2373 s c =============================================================================== c | 29460 | 2996 3245 698550 | 5000 8492 2612 | 0.133 % | c | 29560 | 2996 3245 698550 | 5500 4346 2608 | 0.133 % | c | 29711 | 2996 3245 698550 | 6050 4497 2608 | 0.133 % | c | 29936 | 2996 3245 698550 | 6655 4722 2608 | 0.133 % | c | 30273 | 2996 3245 698550 | 7320 5059 2608 | 0.133 % | c | 30779 | 2996 3245 698550 | 8052 5565 2609 | 0.133 % | c =============================================================================== c New solution: 2608 c Elapsed CPU time: 118.46 s Remaining CPU time: 61.54 s c =============================================================================== c | 31035 | 2996 3246 701400 | 5000 5821 2609 | 0.133 % | c | 31135 | 2996 3246 701400 | 5500 3011 2605 | 0.133 % | c =============================================================================== c New solution: 2607 c Elapsed CPU time: 119.584 s Remaining CPU time: 60.4162 s c =============================================================================== c | 31265 | 2996 3247 704250 | 5000 3141 2606 | 0.133 % | c | 31365 | 2996 3247 704250 | 5500 3241 2606 | 0.133 % | c | 31517 | 2996 3247 704250 | 6050 3393 2606 | 0.133 % | c | 31743 | 2996 3247 704250 | 6655 3619 2606 | 0.133 % | c | 32081 | 2996 3247 704250 | 7320 3957 2606 | 0.133 % | c | 32587 | 2996 3247 704250 | 8052 4463 2606 | 0.133 % | c | 33347 | 2996 3247 704250 | 8857 5223 2606 | 0.133 % | c | 34486 | 2996 3247 704250 | 9743 6362 2606 | 0.133 % |