c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 3000 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 3000 | c | Number Clauses: 3000 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2978 3002 8850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15916 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s c =============================================================================== c | 0 | 2978 3003 11700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15908 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 2978 3004 14550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15907 c Elapsed CPU time: 0.109983 s Remaining CPU time: 179.89 s c =============================================================================== c | 0 | 2978 3005 17400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15901 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s c =============================================================================== c | 0 | 2978 3006 20250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15900 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 0 | 2978 3007 23100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15899 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s c =============================================================================== c | 0 | 2978 3008 25950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15898 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s c =============================================================================== c | 0 | 2978 3009 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15897 c Elapsed CPU time: 0.270958 s Remaining CPU time: 179.729 s c =============================================================================== c | 0 | 2978 3010 31650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15896 c Elapsed CPU time: 0.305953 s Remaining CPU time: 179.694 s c =============================================================================== c | 0 | 2978 3011 34500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15895 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s c =============================================================================== c | 0 | 2978 3012 37350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15892 c Elapsed CPU time: 0.375942 s Remaining CPU time: 179.624 s c =============================================================================== c | 0 | 2978 3013 40200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15891 c Elapsed CPU time: 0.411937 s Remaining CPU time: 179.588 s c =============================================================================== c | 0 | 2978 3014 43050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15890 c Elapsed CPU time: 0.447931 s Remaining CPU time: 179.552 s c =============================================================================== c | 0 | 2978 3015 45900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15889 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 0 | 2978 3016 48750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15888 c Elapsed CPU time: 0.52292 s Remaining CPU time: 179.477 s c =============================================================================== c | 0 | 2978 3017 51600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15887 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 0 | 2978 3018 54450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15884 c Elapsed CPU time: 0.597909 s Remaining CPU time: 179.402 s c =============================================================================== c | 0 | 2978 3019 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15883 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s c =============================================================================== c | 0 | 2978 3020 60150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15882 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s c =============================================================================== c | 0 | 2978 3021 63000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15875 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s c =============================================================================== c | 0 | 2978 3022 65850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15869 c Elapsed CPU time: 0.757884 s Remaining CPU time: 179.242 s c =============================================================================== c | 0 | 2978 3023 68700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15867 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 0 | 2978 3024 71550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15860 c Elapsed CPU time: 0.845871 s Remaining CPU time: 179.154 s c =============================================================================== c | 0 | 2978 3025 74400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15858 c Elapsed CPU time: 0.893864 s Remaining CPU time: 179.106 s c =============================================================================== c | 0 | 2978 3026 77250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15853 c Elapsed CPU time: 0.940856 s Remaining CPU time: 179.059 s c =============================================================================== c | 0 | 2978 3027 80100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15852 c Elapsed CPU time: 0.988849 s Remaining CPU time: 179.011 s c =============================================================================== c | 0 | 2978 3028 82950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15851 c Elapsed CPU time: 1.03784 s Remaining CPU time: 178.962 s c =============================================================================== c | 0 | 2978 3029 85800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15850 c Elapsed CPU time: 1.08783 s Remaining CPU time: 178.912 s c =============================================================================== c | 0 | 2978 3030 88650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15849 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 0 | 2978 3031 91500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15847 c Elapsed CPU time: 1.18682 s Remaining CPU time: 178.813 s c =============================================================================== c | 0 | 2978 3032 94350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15845 c Elapsed CPU time: 1.24081 s Remaining CPU time: 178.759 s c =============================================================================== c | 0 | 2978 3033 97200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15844 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s c =============================================================================== c | 0 | 2978 3034 100050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15841 c Elapsed CPU time: 1.34679 s Remaining CPU time: 178.653 s c =============================================================================== c | 0 | 2978 3035 102900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15840 c Elapsed CPU time: 1.40679 s Remaining CPU time: 178.593 s c =============================================================================== c | 0 | 2978 3036 105750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15839 c Elapsed CPU time: 1.46278 s Remaining CPU time: 178.537 s c =============================================================================== c | 0 | 2978 3037 108600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15838 c Elapsed CPU time: 1.52277 s Remaining CPU time: 178.477 s c =============================================================================== c | 0 | 2978 3038 111450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15834 c Elapsed CPU time: 1.58376 s Remaining CPU time: 178.416 s c =============================================================================== c | 0 | 2978 3039 114300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15833 c Elapsed CPU time: 1.64475 s Remaining CPU time: 178.355 s c =============================================================================== c | 0 | 2978 3040 117150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15830 c Elapsed CPU time: 1.70574 s Remaining CPU time: 178.294 s c =============================================================================== c | 0 | 2978 3041 120000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15827 c Elapsed CPU time: 1.76673 s Remaining CPU time: 178.233 s c =============================================================================== c | 0 | 2978 3042 122850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15826 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s c =============================================================================== c | 0 | 2978 3043 125700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15824 c Elapsed CPU time: 1.89771 s Remaining CPU time: 178.102 s c =============================================================================== c | 0 | 2978 3044 128550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15822 c Elapsed CPU time: 1.9637 s Remaining CPU time: 178.036 s c =============================================================================== c | 0 | 2978 3045 131400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15820 c Elapsed CPU time: 2.03269 s Remaining CPU time: 177.967 s c =============================================================================== c | 0 | 2978 3046 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15818 c Elapsed CPU time: 2.09968 s Remaining CPU time: 177.9 s c =============================================================================== c | 0 | 2978 3047 137100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15817 c Elapsed CPU time: 2.17167 s Remaining CPU time: 177.828 s c =============================================================================== c | 0 | 2978 3048 139950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15816 c Elapsed CPU time: 2.24466 s Remaining CPU time: 177.755 s c =============================================================================== c | 0 | 2978 3049 142800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15815 c Elapsed CPU time: 2.31865 s Remaining CPU time: 177.681 s c =============================================================================== c | 0 | 2978 3050 145650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15814 c Elapsed CPU time: 2.39364 s Remaining CPU time: 177.606 s c =============================================================================== c | 0 | 2978 3051 148500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15813 c Elapsed CPU time: 2.46862 s Remaining CPU time: 177.531 s c =============================================================================== c | 0 | 2978 3052 151350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15807 c Elapsed CPU time: 2.54461 s Remaining CPU time: 177.455 s c =============================================================================== c | 0 | 2978 3053 154200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15805 c Elapsed CPU time: 2.6186 s Remaining CPU time: 177.381 s c =============================================================================== c | 0 | 2978 3054 157050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15803 c Elapsed CPU time: 2.69659 s Remaining CPU time: 177.303 s c =============================================================================== c | 0 | 2978 3055 159900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15801 c Elapsed CPU time: 2.77758 s Remaining CPU time: 177.222 s c =============================================================================== c | 0 | 2978 3056 162750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15800 c Elapsed CPU time: 2.86057 s Remaining CPU time: 177.139 s c =============================================================================== c | 0 | 2978 3057 165600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15795 c Elapsed CPU time: 2.94055 s Remaining CPU time: 177.059 s c =============================================================================== c | 0 | 2978 3058 168450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15794 c Elapsed CPU time: 3.02554 s Remaining CPU time: 176.974 s c =============================================================================== c | 0 | 2978 3059 171300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15791 c Elapsed CPU time: 3.10953 s Remaining CPU time: 176.89 s c =============================================================================== c | 0 | 2978 3060 174150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15789 c Elapsed CPU time: 3.19851 s Remaining CPU time: 176.801 s c =============================================================================== c | 0 | 2978 3061 177000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15787 c Elapsed CPU time: 3.2885 s Remaining CPU time: 176.712 s c =============================================================================== c | 0 | 2978 3062 179850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15786 c Elapsed CPU time: 3.37649 s Remaining CPU time: 176.624 s c =============================================================================== c | 0 | 2978 3063 182700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15784 c Elapsed CPU time: 3.46747 s Remaining CPU time: 176.533 s c =============================================================================== c | 0 | 2978 3064 185550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15783 c Elapsed CPU time: 3.56146 s Remaining CPU time: 176.439 s c =============================================================================== c | 0 | 2978 3065 188400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15781 c Elapsed CPU time: 3.65344 s Remaining CPU time: 176.347 s c =============================================================================== c | 0 | 2978 3066 191250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15778 c Elapsed CPU time: 3.74843 s Remaining CPU time: 176.252 s c =============================================================================== c | 0 | 2978 3067 194100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15773 c Elapsed CPU time: 3.84342 s Remaining CPU time: 176.157 s c =============================================================================== c | 0 | 2978 3068 196950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15769 c Elapsed CPU time: 3.9424 s Remaining CPU time: 176.058 s c =============================================================================== c | 0 | 2978 3069 199800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15765 c Elapsed CPU time: 4.04038 s Remaining CPU time: 175.96 s c =============================================================================== c | 0 | 2978 3070 202650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15761 c Elapsed CPU time: 4.14737 s Remaining CPU time: 175.853 s c =============================================================================== c | 0 | 2978 3071 205500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15760 c Elapsed CPU time: 4.24935 s Remaining CPU time: 175.751 s c =============================================================================== c | 0 | 2978 3072 208350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15759 c Elapsed CPU time: 4.35034 s Remaining CPU time: 175.65 s c =============================================================================== c | 0 | 2978 3073 211200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15758 c Elapsed CPU time: 4.45732 s Remaining CPU time: 175.543 s c =============================================================================== c | 0 | 2978 3074 214050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15756 c Elapsed CPU time: 4.56231 s Remaining CPU time: 175.438 s c =============================================================================== c | 0 | 2978 3075 216900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15754 c Elapsed CPU time: 4.66829 s Remaining CPU time: 175.332 s c =============================================================================== c | 0 | 2978 3076 219750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15752 c Elapsed CPU time: 4.77927 s Remaining CPU time: 175.221 s c =============================================================================== c | 0 | 2978 3077 222600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15748 c Elapsed CPU time: 4.88626 s Remaining CPU time: 175.114 s c =============================================================================== c | 0 | 2978 3078 225450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15746 c Elapsed CPU time: 5.00024 s Remaining CPU time: 175 s c =============================================================================== c | 0 | 2978 3079 228300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15742 c Elapsed CPU time: 5.11622 s Remaining CPU time: 174.884 s c =============================================================================== c | 0 | 2978 3080 231150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15739 c Elapsed CPU time: 5.22921 s Remaining CPU time: 174.771 s c =============================================================================== c | 0 | 2978 3081 234000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15738 c Elapsed CPU time: 5.34819 s Remaining CPU time: 174.652 s c =============================================================================== c | 0 | 2978 3082 236850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15737 c Elapsed CPU time: 5.46917 s Remaining CPU time: 174.531 s c =============================================================================== c | 0 | 2978 3083 239700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15736 c Elapsed CPU time: 5.59615 s Remaining CPU time: 174.404 s c =============================================================================== c | 0 | 2978 3084 242550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15733 c Elapsed CPU time: 5.71713 s Remaining CPU time: 174.283 s c =============================================================================== c | 0 | 2978 3085 245400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15731 c Elapsed CPU time: 5.83811 s Remaining CPU time: 174.162 s c =============================================================================== c | 0 | 2978 3086 248250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15730 c Elapsed CPU time: 5.95909 s Remaining CPU time: 174.041 s c =============================================================================== c | 0 | 2978 3087 251100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15728 c Elapsed CPU time: 6.08507 s Remaining CPU time: 173.915 s c =============================================================================== c | 0 | 2978 3088 253950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15724 c Elapsed CPU time: 6.20606 s Remaining CPU time: 173.794 s c =============================================================================== c | 0 | 2978 3089 256800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15722 c Elapsed CPU time: 6.33304 s Remaining CPU time: 173.667 s c =============================================================================== c | 0 | 2978 3090 259650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15721 c Elapsed CPU time: 6.46202 s Remaining CPU time: 173.538 s c =============================================================================== c | 0 | 2978 3091 262500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15719 c Elapsed CPU time: 6.593 s Remaining CPU time: 173.407 s c =============================================================================== c | 0 | 2978 3092 265350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15716 c Elapsed CPU time: 6.72298 s Remaining CPU time: 173.277 s c =============================================================================== c | 0 | 2978 3093 268200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15715 c Elapsed CPU time: 6.86496 s Remaining CPU time: 173.135 s c =============================================================================== c | 0 | 2978 3094 271050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15714 c Elapsed CPU time: 7.00893 s Remaining CPU time: 172.991 s c =============================================================================== c | 0 | 2978 3095 273900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15712 c Elapsed CPU time: 7.15491 s Remaining CPU time: 172.845 s c =============================================================================== c | 0 | 2978 3096 276750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15710 c Elapsed CPU time: 7.29389 s Remaining CPU time: 172.706 s c =============================================================================== c | 0 | 2978 3097 279600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15709 c Elapsed CPU time: 7.44187 s Remaining CPU time: 172.558 s c =============================================================================== c | 0 | 2978 3098 282450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15707 c Elapsed CPU time: 7.58285 s Remaining CPU time: 172.417 s c =============================================================================== c | 0 | 2978 3099 285300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15705 c Elapsed CPU time: 7.72583 s Remaining CPU time: 172.274 s c =============================================================================== c | 0 | 2978 3100 288150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15704 c Elapsed CPU time: 7.8688 s Remaining CPU time: 172.131 s c =============================================================================== c | 0 | 2978 3101 291000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15703 c Elapsed CPU time: 8.01578 s Remaining CPU time: 171.984 s c =============================================================================== c | 0 | 2978 3102 293850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15700 c Elapsed CPU time: 8.16276 s Remaining CPU time: 171.837 s c =============================================================================== c | 0 | 2978 3103 296700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15699 c Elapsed CPU time: 8.31174 s Remaining CPU time: 171.688 s c =============================================================================== c | 0 | 2978 3104 299550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15698 c Elapsed CPU time: 8.46171 s Remaining CPU time: 171.538 s c =============================================================================== c | 0 | 2978 3105 302400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15696 c Elapsed CPU time: 8.61469 s Remaining CPU time: 171.385 s c =============================================================================== c | 0 | 2978 3106 305250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15695 c Elapsed CPU time: 8.76367 s Remaining CPU time: 171.236 s c =============================================================================== c | 0 | 2978 3107 308100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15694 c Elapsed CPU time: 8.91964 s Remaining CPU time: 171.08 s c =============================================================================== c | 0 | 2978 3108 310950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15692 c Elapsed CPU time: 9.06962 s Remaining CPU time: 170.93 s c =============================================================================== c | 0 | 2978 3109 313800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15690 c Elapsed CPU time: 9.2326 s Remaining CPU time: 170.767 s c =============================================================================== c | 0 | 2978 3110 316650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15689 c Elapsed CPU time: 9.39857 s Remaining CPU time: 170.601 s c =============================================================================== c | 0 | 2978 3111 319500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15687 c Elapsed CPU time: 9.55355 s Remaining CPU time: 170.446 s c =============================================================================== c | 0 | 2978 3112 322350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15686 c Elapsed CPU time: 9.72452 s Remaining CPU time: 170.275 s c =============================================================================== c | 0 | 2978 3113 325200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15684 c Elapsed CPU time: 9.8955 s Remaining CPU time: 170.105 s c =============================================================================== c | 0 | 2978 3114 328050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15683 c Elapsed CPU time: 10.0685 s Remaining CPU time: 169.932 s c =============================================================================== c | 0 | 2978 3115 330900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15682 c Elapsed CPU time: 10.2444 s Remaining CPU time: 169.756 s c =============================================================================== c | 0 | 2978 3116 333750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15681 c Elapsed CPU time: 10.4114 s Remaining CPU time: 169.589 s c =============================================================================== c | 0 | 2978 3117 336600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15680 c Elapsed CPU time: 10.5894 s Remaining CPU time: 169.411 s c =============================================================================== c | 0 | 2978 3118 339450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15679 c Elapsed CPU time: 10.7654 s Remaining CPU time: 169.235 s c =============================================================================== c | 0 | 2978 3119 342300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15678 c Elapsed CPU time: 10.9483 s Remaining CPU time: 169.052 s c =============================================================================== c | 0 | 2978 3120 345150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15677 c Elapsed CPU time: 11.1243 s Remaining CPU time: 168.876 s c =============================================================================== c | 0 | 2978 3121 348000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15676 c Elapsed CPU time: 11.3043 s Remaining CPU time: 168.696 s c =============================================================================== c | 0 | 2978 3122 350850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15675 c Elapsed CPU time: 11.4853 s Remaining CPU time: 168.515 s c =============================================================================== c | 0 | 2978 3123 353700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15671 c Elapsed CPU time: 11.6662 s Remaining CPU time: 168.334 s c =============================================================================== c | 0 | 2978 3124 356550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15670 c Elapsed CPU time: 11.8592 s Remaining CPU time: 168.141 s c =============================================================================== c | 0 | 2978 3125 359400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15668 c Elapsed CPU time: 12.0542 s Remaining CPU time: 167.946 s c =============================================================================== c | 0 | 2978 3126 362250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15666 c Elapsed CPU time: 12.2481 s Remaining CPU time: 167.752 s c =============================================================================== c | 0 | 2978 3127 365100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15665 c Elapsed CPU time: 12.4551 s Remaining CPU time: 167.545 s c =============================================================================== c | 0 | 2978 3128 367950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15663 c Elapsed CPU time: 12.6511 s Remaining CPU time: 167.349 s c =============================================================================== c | 0 | 2978 3129 370800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15662 c Elapsed CPU time: 12.849 s Remaining CPU time: 167.151 s c =============================================================================== c | 0 | 2978 3130 373650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15660 c Elapsed CPU time: 13.053 s Remaining CPU time: 166.947 s c =============================================================================== c | 0 | 2978 3131 376500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15659 c Elapsed CPU time: 13.262 s Remaining CPU time: 166.738 s c =============================================================================== c | 0 | 2978 3132 379350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15657 c Elapsed CPU time: 13.464 s Remaining CPU time: 166.536 s c =============================================================================== c | 0 | 2978 3133 382200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15656 c Elapsed CPU time: 13.6689 s Remaining CPU time: 166.331 s c =============================================================================== c | 0 | 2978 3134 385050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15655 c Elapsed CPU time: 13.8759 s Remaining CPU time: 166.124 s c =============================================================================== c | 0 | 2978 3135 387900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15654 c Elapsed CPU time: 14.0839 s Remaining CPU time: 165.916 s c =============================================================================== c | 0 | 2978 3136 390750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15652 c Elapsed CPU time: 14.2928 s Remaining CPU time: 165.707 s c =============================================================================== c | 0 | 2978 3137 393600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15650 c Elapsed CPU time: 14.4978 s Remaining CPU time: 165.502 s c =============================================================================== c | 0 | 2978 3138 396450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15647 c Elapsed CPU time: 14.7088 s Remaining CPU time: 165.291 s c =============================================================================== c | 0 | 2978 3139 399300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15645 c Elapsed CPU time: 14.9207 s Remaining CPU time: 165.079 s c =============================================================================== c | 0 | 2978 3140 402150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15644 c Elapsed CPU time: 15.1387 s Remaining CPU time: 164.861 s c =============================================================================== c | 0 | 2978 3141 405000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15643 c Elapsed CPU time: 15.3527 s Remaining CPU time: 164.647 s c =============================================================================== c | 0 | 2978 3142 407850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15642 c Elapsed CPU time: 15.5806 s Remaining CPU time: 164.419 s c =============================================================================== c | 0 | 2978 3143 410700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15641 c Elapsed CPU time: 15.7916 s Remaining CPU time: 164.208 s c =============================================================================== c | 0 | 2978 3144 413550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15639 c Elapsed CPU time: 16.0186 s Remaining CPU time: 163.981 s c =============================================================================== c | 0 | 2978 3145 416400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15638 c Elapsed CPU time: 16.2335 s Remaining CPU time: 163.766 s c =============================================================================== c | 0 | 2978 3146 419250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15637 c Elapsed CPU time: 16.4485 s Remaining CPU time: 163.552 s c =============================================================================== c | 0 | 2978 3147 422100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15633 c Elapsed CPU time: 16.6695 s Remaining CPU time: 163.331 s c =============================================================================== c | 0 | 2978 3148 424950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15631 c Elapsed CPU time: 16.8854 s Remaining CPU time: 163.115 s c =============================================================================== c | 0 | 2978 3149 427800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15627 c Elapsed CPU time: 17.1044 s Remaining CPU time: 162.896 s c =============================================================================== c | 0 | 2978 3150 430650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15626 c Elapsed CPU time: 17.3234 s Remaining CPU time: 162.677 s c =============================================================================== c | 0 | 2978 3151 433500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15625 c Elapsed CPU time: 17.5573 s Remaining CPU time: 162.443 s c =============================================================================== c | 0 | 2978 3152 436350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15624 c Elapsed CPU time: 17.7833 s Remaining CPU time: 162.217 s c =============================================================================== c | 0 | 2978 3153 439200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15623 c Elapsed CPU time: 18.0123 s Remaining CPU time: 161.988 s c =============================================================================== c | 0 | 2978 3154 442050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15622 c Elapsed CPU time: 18.2382 s Remaining CPU time: 161.762 s c =============================================================================== c | 0 | 2978 3155 444900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15621 c Elapsed CPU time: 18.4742 s Remaining CPU time: 161.526 s c =============================================================================== c | 0 | 2978 3156 447750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15620 c Elapsed CPU time: 18.7202 s Remaining CPU time: 161.28 s c =============================================================================== c | 0 | 2978 3157 450600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15616 c Elapsed CPU time: 18.9721 s Remaining CPU time: 161.028 s c =============================================================================== c | 0 | 2978 3158 453450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15612 c Elapsed CPU time: 19.2211 s Remaining CPU time: 160.779 s c =============================================================================== c | 0 | 2978 3159 456300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15611 c Elapsed CPU time: 19.479 s Remaining CPU time: 160.521 s c =============================================================================== c | 0 | 2978 3160 459150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15610 c Elapsed CPU time: 19.74 s Remaining CPU time: 160.26 s c =============================================================================== c | 0 | 2978 3161 462000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15609 c Elapsed CPU time: 19.993 s Remaining CPU time: 160.007 s c =============================================================================== c | 0 | 2978 3162 464850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15608 c Elapsed CPU time: 20.2509 s Remaining CPU time: 159.749 s c =============================================================================== c | 0 | 2978 3163 467700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15605 c Elapsed CPU time: 20.5019 s Remaining CPU time: 159.498 s c =============================================================================== c | 0 | 2978 3164 470550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15604 c Elapsed CPU time: 20.8048 s Remaining CPU time: 159.195 s c =============================================================================== c | 0 | 2978 3165 473400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15603 c Elapsed CPU time: 21.1028 s Remaining CPU time: 158.897 s c =============================================================================== c | 0 | 2978 3166 476250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15602 c Elapsed CPU time: 21.3897 s Remaining CPU time: 158.61 s c =============================================================================== c | 0 | 2978 3167 479100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15601 c Elapsed CPU time: 21.6827 s Remaining CPU time: 158.317 s c =============================================================================== c | 0 | 2978 3168 481950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15600 c Elapsed CPU time: 22.0337 s Remaining CPU time: 157.966 s c =============================================================================== c | 0 | 2978 3169 484800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15599 c Elapsed CPU time: 22.3816 s Remaining CPU time: 157.618 s c =============================================================================== c | 0 | 2978 3170 487650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15598 c Elapsed CPU time: 22.7285 s Remaining CPU time: 157.271 s c =============================================================================== c | 0 | 2978 3171 490500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15594 c Elapsed CPU time: 23.0705 s Remaining CPU time: 156.93 s c =============================================================================== c | 0 | 2978 3172 493350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15593 c Elapsed CPU time: 23.4194 s Remaining CPU time: 156.581 s c =============================================================================== c | 0 | 2978 3173 496200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15592 c Elapsed CPU time: 23.7604 s Remaining CPU time: 156.24 s c =============================================================================== c | 0 | 2978 3174 499050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15590 c Elapsed CPU time: 24.0953 s Remaining CPU time: 155.905 s c =============================================================================== c | 0 | 2978 3175 501900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15589 c Elapsed CPU time: 24.4353 s Remaining CPU time: 155.565 s c =============================================================================== c | 0 | 2978 3176 504750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15588 c Elapsed CPU time: 24.7722 s Remaining CPU time: 155.228 s c =============================================================================== c | 0 | 2978 3177 507600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15586 c Elapsed CPU time: 25.1072 s Remaining CPU time: 154.893 s c =============================================================================== c | 0 | 2978 3178 510450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15583 c Elapsed CPU time: 25.4511 s Remaining CPU time: 154.549 s c =============================================================================== c | 0 | 2978 3179 513300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15582 c Elapsed CPU time: 25.8401 s Remaining CPU time: 154.16 s c =============================================================================== c | 0 | 2978 3180 516150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15581 c Elapsed CPU time: 26.237 s Remaining CPU time: 153.763 s c =============================================================================== c | 0 | 2978 3181 519000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15580 c Elapsed CPU time: 26.629 s Remaining CPU time: 153.371 s c =============================================================================== c | 0 | 2978 3182 521850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15578 c Elapsed CPU time: 27.0289 s Remaining CPU time: 152.971 s c =============================================================================== c | 0 | 2978 3183 524700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15577 c Elapsed CPU time: 27.4208 s Remaining CPU time: 152.579 s c =============================================================================== c | 0 | 2978 3184 527550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15575 c Elapsed CPU time: 27.8078 s Remaining CPU time: 152.192 s c =============================================================================== c | 0 | 2978 3185 530400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15574 c Elapsed CPU time: 28.1897 s Remaining CPU time: 151.81 s c =============================================================================== c | 0 | 2978 3186 533250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15572 c Elapsed CPU time: 28.5617 s Remaining CPU time: 151.438 s c =============================================================================== c | 0 | 2978 3187 536100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15571 c Elapsed CPU time: 28.9506 s Remaining CPU time: 151.049 s c =============================================================================== c | 0 | 2978 3188 538950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15570 c Elapsed CPU time: 29.3195 s Remaining CPU time: 150.68 s c =============================================================================== c | 0 | 2978 3189 541800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15569 c Elapsed CPU time: 29.6995 s Remaining CPU time: 150.301 s c =============================================================================== c | 0 | 2978 3190 544650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15568 c Elapsed CPU time: 30.0654 s Remaining CPU time: 149.935 s c =============================================================================== c | 0 | 2978 3191 547500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15567 c Elapsed CPU time: 30.4304 s Remaining CPU time: 149.57 s c =============================================================================== c | 0 | 2978 3192 550350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15565 c Elapsed CPU time: 30.8073 s Remaining CPU time: 149.193 s c =============================================================================== c | 0 | 2978 3193 553200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15564 c Elapsed CPU time: 31.1873 s Remaining CPU time: 148.813 s c =============================================================================== c | 0 | 2978 3194 556050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15563 c Elapsed CPU time: 31.5712 s Remaining CPU time: 148.429 s c =============================================================================== c | 0 | 2978 3195 558900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15562 c Elapsed CPU time: 31.9641 s Remaining CPU time: 148.036 s c =============================================================================== c | 0 | 2978 3196 561750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15561 c Elapsed CPU time: 32.3481 s Remaining CPU time: 147.652 s c =============================================================================== c | 0 | 2978 3197 564600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15560 c Elapsed CPU time: 32.731 s Remaining CPU time: 147.269 s c =============================================================================== c | 0 | 2978 3198 567450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15559 c Elapsed CPU time: 33.117 s Remaining CPU time: 146.883 s c =============================================================================== c | 0 | 2978 3199 570300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15557 c Elapsed CPU time: 33.4899 s Remaining CPU time: 146.51 s c =============================================================================== c | 0 | 2978 3200 573150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15555 c Elapsed CPU time: 33.8699 s Remaining CPU time: 146.13 s c =============================================================================== c | 0 | 2978 3201 576000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15553 c Elapsed CPU time: 34.2408 s Remaining CPU time: 145.759 s c =============================================================================== c | 0 | 2978 3202 578850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15552 c Elapsed CPU time: 34.6357 s Remaining CPU time: 145.364 s c =============================================================================== c | 0 | 2978 3203 581700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15549 c Elapsed CPU time: 35.0267 s Remaining CPU time: 144.973 s c =============================================================================== c | 0 | 2978 3204 584550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15546 c Elapsed CPU time: 35.4186 s Remaining CPU time: 144.581 s c =============================================================================== c | 0 | 2978 3205 587400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15544 c Elapsed CPU time: 35.8066 s Remaining CPU time: 144.193 s c =============================================================================== c | 0 | 2978 3206 590250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15541 c Elapsed CPU time: 36.1885 s Remaining CPU time: 143.812 s c =============================================================================== c | 0 | 2978 3207 593100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15539 c Elapsed CPU time: 36.5934 s Remaining CPU time: 143.407 s c =============================================================================== c | 0 | 2978 3208 595950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15537 c Elapsed CPU time: 36.9944 s Remaining CPU time: 143.006 s c =============================================================================== c | 0 | 2978 3209 598800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15536 c Elapsed CPU time: 37.3863 s Remaining CPU time: 142.614 s c =============================================================================== c | 0 | 2978 3210 601650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15535 c Elapsed CPU time: 37.7733 s Remaining CPU time: 142.227 s c =============================================================================== c | 0 | 2978 3211 604500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15533 c Elapsed CPU time: 38.1682 s Remaining CPU time: 141.832 s c =============================================================================== c | 0 | 2978 3212 607350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15532 c Elapsed CPU time: 38.5551 s Remaining CPU time: 141.445 s c =============================================================================== c | 0 | 2978 3213 610200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15530 c Elapsed CPU time: 38.9371 s Remaining CPU time: 141.063 s c =============================================================================== c | 0 | 2978 3214 613050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15529 c Elapsed CPU time: 39.325 s Remaining CPU time: 140.675 s c =============================================================================== c | 0 | 2978 3215 615900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15528 c Elapsed CPU time: 39.715 s Remaining CPU time: 140.285 s c =============================================================================== c | 0 | 2978 3216 618750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15526 c Elapsed CPU time: 40.1029 s Remaining CPU time: 139.897 s c =============================================================================== c | 0 | 2978 3217 621600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15525 c Elapsed CPU time: 40.4868 s Remaining CPU time: 139.513 s c =============================================================================== c | 0 | 2978 3218 624450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15524 c Elapsed CPU time: 40.8828 s Remaining CPU time: 139.117 s c =============================================================================== c | 0 | 2978 3219 627300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15523 c Elapsed CPU time: 41.2587 s Remaining CPU time: 138.741 s c =============================================================================== c | 0 | 2978 3220 630150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15522 c Elapsed CPU time: 41.6387 s Remaining CPU time: 138.361 s c =============================================================================== c | 0 | 2978 3221 633000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15521 c Elapsed CPU time: 42.0256 s Remaining CPU time: 137.974 s c =============================================================================== c | 0 | 2978 3222 635850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15519 c Elapsed CPU time: 42.4056 s Remaining CPU time: 137.594 s c =============================================================================== c | 0 | 2978 3223 638700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15517 c Elapsed CPU time: 42.7815 s Remaining CPU time: 137.219 s c =============================================================================== c | 0 | 2978 3224 641550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15516 c Elapsed CPU time: 43.1694 s Remaining CPU time: 136.831 s c =============================================================================== c | 0 | 2978 3225 644400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15514 c Elapsed CPU time: 43.5574 s Remaining CPU time: 136.443 s c =============================================================================== c | 0 | 2978 3226 647250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15512 c Elapsed CPU time: 43.9613 s Remaining CPU time: 136.039 s c =============================================================================== c | 0 | 2978 3227 650100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15511 c Elapsed CPU time: 44.3693 s Remaining CPU time: 135.631 s c =============================================================================== c | 0 | 2978 3228 652950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15510 c Elapsed CPU time: 44.7822 s Remaining CPU time: 135.218 s c =============================================================================== c | 0 | 2978 3229 655800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15509 c Elapsed CPU time: 45.2021 s Remaining CPU time: 134.798 s c =============================================================================== c | 0 | 2978 3230 658650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15508 c Elapsed CPU time: 45.6181 s Remaining CPU time: 134.382 s c =============================================================================== c | 0 | 2978 3231 661500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15506 c Elapsed CPU time: 46.032 s Remaining CPU time: 133.968 s c =============================================================================== c | 0 | 2978 3232 664350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15505 c Elapsed CPU time: 46.4459 s Remaining CPU time: 133.554 s c =============================================================================== c | 0 | 2978 3233 667200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15504 c Elapsed CPU time: 46.8519 s Remaining CPU time: 133.148 s c =============================================================================== c | 0 | 2978 3234 670050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15503 c Elapsed CPU time: 47.2688 s Remaining CPU time: 132.731 s c =============================================================================== c | 0 | 2978 3235 672900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15502 c Elapsed CPU time: 47.6608 s Remaining CPU time: 132.339 s c =============================================================================== c | 0 | 2978 3236 675750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15501 c Elapsed CPU time: 48.0627 s Remaining CPU time: 131.937 s c =============================================================================== c | 0 | 2978 3237 678600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15500 c Elapsed CPU time: 48.4626 s Remaining CPU time: 131.537 s c =============================================================================== c | 0 | 2978 3238 681450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15498 c Elapsed CPU time: 48.8666 s Remaining CPU time: 131.133 s c =============================================================================== c | 0 | 2978 3239 684300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15497 c Elapsed CPU time: 49.2735 s Remaining CPU time: 130.726 s c =============================================================================== c | 0 | 2978 3240 687150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15496 c Elapsed CPU time: 49.6824 s Remaining CPU time: 130.318 s c =============================================================================== c | 0 | 2978 3241 690000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15495 c Elapsed CPU time: 50.0954 s Remaining CPU time: 129.905 s c =============================================================================== c | 0 | 2978 3242 692850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15494 c Elapsed CPU time: 50.5053 s Remaining CPU time: 129.495 s c =============================================================================== c | 0 | 2978 3243 695700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15493 c Elapsed CPU time: 50.9043 s Remaining CPU time: 129.096 s c =============================================================================== c | 0 | 2978 3244 698550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15492 c Elapsed CPU time: 51.3052 s Remaining CPU time: 128.695 s c =============================================================================== c | 0 | 2978 3245 701400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15491 c Elapsed CPU time: 51.7181 s Remaining CPU time: 128.282 s c =============================================================================== c | 0 | 2978 3246 704250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15490 c Elapsed CPU time: 52.1261 s Remaining CPU time: 127.874 s c =============================================================================== c | 0 | 2978 3247 707100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15489 c Elapsed CPU time: 52.531 s Remaining CPU time: 127.469 s c =============================================================================== c | 0 | 2978 3248 709950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15486 c Elapsed CPU time: 52.936 s Remaining CPU time: 127.064 s c =============================================================================== c | 0 | 2978 3249 712800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15485 c Elapsed CPU time: 53.3409 s Remaining CPU time: 126.659 s c =============================================================================== c | 0 | 2978 3250 715650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15483 c Elapsed CPU time: 53.7618 s Remaining CPU time: 126.238 s c =============================================================================== c | 0 | 2978 3251 718500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15480 c Elapsed CPU time: 54.1758 s Remaining CPU time: 125.824 s c =============================================================================== c | 0 | 2978 3252 721350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15479 c Elapsed CPU time: 54.5827 s Remaining CPU time: 125.417 s c =============================================================================== c | 0 | 2978 3253 724200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15478 c Elapsed CPU time: 54.9916 s Remaining CPU time: 125.008 s c =============================================================================== c | 0 | 2978 3254 727050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15475 c Elapsed CPU time: 55.4076 s Remaining CPU time: 124.592 s c =============================================================================== c | 0 | 2978 3255 729900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15473 c Elapsed CPU time: 55.8325 s Remaining CPU time: 124.167 s c =============================================================================== c | 0 | 2978 3256 732750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15471 c Elapsed CPU time: 56.2724 s Remaining CPU time: 123.728 s c =============================================================================== c | 0 | 2978 3257 735600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15470 c Elapsed CPU time: 56.6954 s Remaining CPU time: 123.305 s c =============================================================================== c | 0 | 2978 3258 738450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15469 c Elapsed CPU time: 57.1173 s Remaining CPU time: 122.883 s c =============================================================================== c | 0 | 2978 3259 741300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15467 c Elapsed CPU time: 57.5293 s Remaining CPU time: 122.471 s c =============================================================================== c | 0 | 2978 3260 744150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15466 c Elapsed CPU time: 57.9542 s Remaining CPU time: 122.046 s c =============================================================================== c | 0 | 2978 3261 747000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15464 c Elapsed CPU time: 58.3681 s Remaining CPU time: 121.632 s c =============================================================================== c | 0 | 2978 3262 749850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15463 c Elapsed CPU time: 58.7951 s Remaining CPU time: 121.205 s c =============================================================================== c | 0 | 2978 3263 752700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15461 c Elapsed CPU time: 59.205 s Remaining CPU time: 120.795 s c =============================================================================== c | 0 | 2978 3264 755550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15460 c Elapsed CPU time: 59.6689 s Remaining CPU time: 120.331 s c =============================================================================== c | 0 | 2978 3265 758400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15459 c Elapsed CPU time: 60.1209 s Remaining CPU time: 119.879 s c =============================================================================== c | 0 | 2978 3266 761250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15458 c Elapsed CPU time: 60.5858 s Remaining CPU time: 119.414 s c =============================================================================== c | 0 | 2978 3267 764100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15457 c Elapsed CPU time: 61.0377 s Remaining CPU time: 118.962 s c =============================================================================== c | 0 | 2978 3268 766950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15456 c Elapsed CPU time: 61.5027 s Remaining CPU time: 118.497 s c =============================================================================== c | 0 | 2978 3269 769800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15453 c Elapsed CPU time: 61.9676 s Remaining CPU time: 118.032 s c =============================================================================== c | 0 | 2978 3270 772650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15452 c Elapsed CPU time: 62.4435 s Remaining CPU time: 117.556 s c =============================================================================== c | 0 | 2978 3271 775500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15451 c Elapsed CPU time: 62.9084 s Remaining CPU time: 117.092 s c =============================================================================== c | 0 | 2978 3272 778350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15450 c Elapsed CPU time: 63.3684 s Remaining CPU time: 116.632 s c =============================================================================== c | 0 | 2978 3273 781200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15447 c Elapsed CPU time: 63.8203 s Remaining CPU time: 116.18 s c =============================================================================== c | 0 | 2978 3274 784050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15445 c Elapsed CPU time: 64.2772 s Remaining CPU time: 115.723 s c =============================================================================== c | 0 | 2978 3275 786900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15442 c Elapsed CPU time: 64.7392 s Remaining CPU time: 115.261 s c =============================================================================== c | 0 | 2978 3276 789750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15440 c Elapsed CPU time: 65.1921 s Remaining CPU time: 114.808 s c =============================================================================== c | 0 | 2978 3277 792600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15438 c Elapsed CPU time: 65.661 s Remaining CPU time: 114.339 s c =============================================================================== c | 0 | 2978 3278 795450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15437 c Elapsed CPU time: 66.1289 s Remaining CPU time: 113.871 s c =============================================================================== c | 0 | 2978 3279 798300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15435 c Elapsed CPU time: 66.5919 s Remaining CPU time: 113.408 s c =============================================================================== c | 0 | 2978 3280 801150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15432 c Elapsed CPU time: 67.0598 s Remaining CPU time: 112.94 s c =============================================================================== c | 0 | 2978 3281 804000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15431 c Elapsed CPU time: 67.5357 s Remaining CPU time: 112.464 s c =============================================================================== c | 0 | 2978 3282 806850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15428 c Elapsed CPU time: 68.0037 s Remaining CPU time: 111.996 s c =============================================================================== c | 0 | 2978 3283 809700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15427 c Elapsed CPU time: 68.4746 s Remaining CPU time: 111.525 s c =============================================================================== c | 0 | 2978 3284 812550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15426 c Elapsed CPU time: 68.9455 s Remaining CPU time: 111.054 s c =============================================================================== c | 0 | 2978 3285 815400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15422 c Elapsed CPU time: 69.4034 s Remaining CPU time: 110.597 s c =============================================================================== c | 0 | 2978 3286 818250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15421 c Elapsed CPU time: 69.8604 s Remaining CPU time: 110.14 s c =============================================================================== c | 0 | 2978 3287 821100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15418 c Elapsed CPU time: 70.3323 s Remaining CPU time: 109.668 s c =============================================================================== c | 0 | 2978 3288 823950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15416 c Elapsed CPU time: 70.7932 s Remaining CPU time: 109.207 s c =============================================================================== c | 0 | 2978 3289 826800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15415 c Elapsed CPU time: 71.2502 s Remaining CPU time: 108.75 s c =============================================================================== c | 0 | 2978 3290 829650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15413 c Elapsed CPU time: 71.7261 s Remaining CPU time: 108.274 s c =============================================================================== c | 0 | 2978 3291 832500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15411 c Elapsed CPU time: 72.193 s Remaining CPU time: 107.807 s c =============================================================================== c | 0 | 2978 3292 835350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15409 c Elapsed CPU time: 72.647 s Remaining CPU time: 107.353 s c =============================================================================== c | 0 | 2978 3293 838200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15408 c Elapsed CPU time: 73.1219 s Remaining CPU time: 106.878 s c =============================================================================== c | 0 | 2978 3294 841050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15407 c Elapsed CPU time: 73.5868 s Remaining CPU time: 106.413 s c =============================================================================== c | 0 | 2978 3295 843900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15406 c Elapsed CPU time: 74.0447 s Remaining CPU time: 105.955 s c =============================================================================== c | 0 | 2978 3296 846750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15403 c Elapsed CPU time: 74.5127 s Remaining CPU time: 105.487 s c =============================================================================== c | 0 | 2978 3297 849600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15402 c Elapsed CPU time: 74.9796 s Remaining CPU time: 105.02 s c =============================================================================== c | 0 | 2978 3298 852450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15400 c Elapsed CPU time: 75.4465 s Remaining CPU time: 104.553 s c =============================================================================== c | 0 | 2978 3299 855300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15399 c Elapsed CPU time: 75.9145 s Remaining CPU time: 104.086 s c =============================================================================== c | 0 | 2978 3300 858150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15397 c Elapsed CPU time: 76.3804 s Remaining CPU time: 103.62 s c =============================================================================== c | 0 | 2978 3301 861000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15394 c Elapsed CPU time: 76.8583 s Remaining CPU time: 103.142 s c =============================================================================== c | 0 | 2978 3302 863850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15393 c Elapsed CPU time: 77.3392 s Remaining CPU time: 102.661 s c =============================================================================== c | 0 | 2978 3303 866700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15391 c Elapsed CPU time: 77.8132 s Remaining CPU time: 102.187 s c =============================================================================== c | 0 | 2978 3304 869550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 15390 c Elapsed CPU time: 78.2921 s Remaining CPU time: 101.708 s c =============================================================================== c | 1 | 2978 3305 872400 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15389 c Elapsed CPU time: 78.769 s Remaining CPU time: 101.231 s c =============================================================================== c | 1 | 2978 3306 875250 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15388 c Elapsed CPU time: 79.239 s Remaining CPU time: 100.761 s c =============================================================================== c | 1 | 2978 3307 878100 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15387 c Elapsed CPU time: 79.7389 s Remaining CPU time: 100.261 s c =============================================================================== c | 1 | 2978 3308 880950 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15386 c Elapsed CPU time: 80.2408 s Remaining CPU time: 99.7592 s c =============================================================================== c | 1 | 2978 3309 883800 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15384 c Elapsed CPU time: 80.7177 s Remaining CPU time: 99.2823 s c =============================================================================== c | 1 | 2978 3310 886650 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15383 c Elapsed CPU time: 81.1997 s Remaining CPU time: 98.8003 s c =============================================================================== c | 1 | 2978 3311 889500 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15381 c Elapsed CPU time: 81.7236 s Remaining CPU time: 98.2764 s c =============================================================================== c | 1 | 2978 3312 892350 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15379 c Elapsed CPU time: 82.2295 s Remaining CPU time: 97.7705 s c =============================================================================== c | 1 | 2978 3313 895200 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15378 c Elapsed CPU time: 82.7704 s Remaining CPU time: 97.2296 s c =============================================================================== c | 1 | 2978 3314 898050 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15377 c Elapsed CPU time: 83.3083 s Remaining CPU time: 96.6917 s c =============================================================================== c | 1 | 2978 3315 900900 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15376 c Elapsed CPU time: 83.8632 s Remaining CPU time: 96.1368 s c =============================================================================== c | 1 | 2978 3316 903750 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15374 c Elapsed CPU time: 84.4262 s Remaining CPU time: 95.5738 s c =============================================================================== c | 1 | 2978 3317 906600 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15373 c Elapsed CPU time: 84.9851 s Remaining CPU time: 95.0149 s c =============================================================================== c | 1 | 2978 3318 909450 | 5000 1 2777 | 0.000 % | c =============================================================================== c New solution: 15372 c Elapsed CPU time: 85.517 s Remaining CPU time: 94.483 s c =============================================================================== c | 2 | 2978 3319 912300 | 5000 2 2775 | 0.000 % | c =============================================================================== c New solution: 15371 c Elapsed CPU time: 86.0309 s Remaining CPU time: 93.9691 s c =============================================================================== c | 3 | 2978 3320 915150 | 5000 3 2774 | 0.000 % | c =============================================================================== c New solution: 15370 c Elapsed CPU time: 86.5368 s Remaining CPU time: 93.4632 s c =============================================================================== c | 3 | 2978 3321 918000 | 5000 3 2774 | 0.000 % | c =============================================================================== c New solution: 15369 c Elapsed CPU time: 87.0478 s Remaining CPU time: 92.9522 s c =============================================================================== c | 4 | 2978 3322 920850 | 5000 4 2774 | 0.000 % | c =============================================================================== c New solution: 15367 c Elapsed CPU time: 87.5617 s Remaining CPU time: 92.4383 s c =============================================================================== c | 5 | 2978 3323 923700 | 5000 5 2773 | 0.000 % | c =============================================================================== c New solution: 15366 c Elapsed CPU time: 88.0536 s Remaining CPU time: 91.9464 s c =============================================================================== c | 5 | 2978 3324 926550 | 5000 5 2773 | 0.000 % | c =============================================================================== c New solution: 15364 c Elapsed CPU time: 88.5455 s Remaining CPU time: 91.4545 s c =============================================================================== c | 5 | 2978 3325 929400 | 5000 5 2773 | 0.000 % | c =============================================================================== c New solution: 15362 c Elapsed CPU time: 89.0375 s Remaining CPU time: 90.9625 s c =============================================================================== c | 5 | 2978 3326 932250 | 5000 5 2773 | 0.000 % | c =============================================================================== c New solution: 15361 c Elapsed CPU time: 89.5474 s Remaining CPU time: 90.4526 s c =============================================================================== c | 5 | 2978 3327 935100 | 5000 5 2773 | 0.000 % | c =============================================================================== c New solution: 15360 c Elapsed CPU time: 90.1053 s Remaining CPU time: 89.8947 s c =============================================================================== c | 7 | 2978 3328 937950 | 5000 7 2773 | 0.000 % | c =============================================================================== c New solution: 15359 c Elapsed CPU time: 90.6802 s Remaining CPU time: 89.3198 s c =============================================================================== c | 9 | 2978 3329 940800 | 5000 9 2772 | 0.000 % | c =============================================================================== c New solution: 15358 c Elapsed CPU time: 91.2621 s Remaining CPU time: 88.7379 s c =============================================================================== c | 10 | 2978 3330 943650 | 5000 10 2772 | 0.000 % | c =============================================================================== c New solution: 15356 c Elapsed CPU time: 91.827 s Remaining CPU time: 88.173 s c =============================================================================== c | 10 | 2978 3331 946500 | 5000 10 2772 | 0.000 % | c =============================================================================== c New solution: 15354 c Elapsed CPU time: 92.4 s Remaining CPU time: 87.6 s c =============================================================================== c | 10 | 2978 3332 949350 | 5000 10 2772 | 0.000 % | c =============================================================================== c New solution: 15353 c Elapsed CPU time: 92.9589 s Remaining CPU time: 87.0411 s c =============================================================================== c | 10 | 2978 3333 952200 | 5000 10 2772 | 0.000 % | c =============================================================================== c New solution: 15352 c Elapsed CPU time: 93.5388 s Remaining CPU time: 86.4612 s c =============================================================================== c | 10 | 2978 3334 955050 | 5000 10 2772 | 0.000 % | c =============================================================================== c New solution: 15350 c Elapsed CPU time: 94.1347 s Remaining CPU time: 85.8653 s c =============================================================================== c | 12 | 2978 3335 957900 | 5000 12 2772 | 0.000 % | c =============================================================================== c New solution: 15348 c Elapsed CPU time: 94.7126 s Remaining CPU time: 85.2874 s c =============================================================================== c | 15 | 2978 3336 960750 | 5000 15 2771 | 0.000 % | c =============================================================================== c New solution: 15347 c Elapsed CPU time: 95.2655 s Remaining CPU time: 84.7345 s c =============================================================================== c | 16 | 2978 3337 963600 | 5000 16 2771 | 0.000 % | c =============================================================================== c New solution: 15346 c Elapsed CPU time: 95.8004 s Remaining CPU time: 84.1996 s c =============================================================================== c | 16 | 2978 3338 966450 | 5000 16 2771 | 0.000 % | c =============================================================================== c New solution: 15344 c Elapsed CPU time: 96.3763 s Remaining CPU time: 83.6237 s c =============================================================================== c | 19 | 2978 3339 969300 | 5000 19 2771 | 0.000 % | c =============================================================================== c New solution: 15343 c Elapsed CPU time: 96.9183 s Remaining CPU time: 83.0817 s c =============================================================================== c | 20 | 2978 3340 972150 | 5000 20 2770 | 0.000 % | c =============================================================================== c New solution: 15342 c Elapsed CPU time: 97.4312 s Remaining CPU time: 82.5688 s c =============================================================================== c | 20 | 2978 3341 975000 | 5000 20 2770 | 0.000 % | c =============================================================================== c New solution: 15341 c Elapsed CPU time: 97.9751 s Remaining CPU time: 82.0249 s c =============================================================================== c | 23 | 2978 3342 977850 | 5000 23 2770 | 0.000 % | c =============================================================================== c New solution: 15339 c Elapsed CPU time: 98.505 s Remaining CPU time: 81.495 s c =============================================================================== c | 27 | 2978 3343 980700 | 5000 27 2769 | 0.000 % | c =============================================================================== c New solution: 15338 c Elapsed CPU time: 99.0359 s Remaining CPU time: 80.9641 s c =============================================================================== c | 30 | 2978 3344 983550 | 5000 30 2769 | 0.000 % | c =============================================================================== c New solution: 15337 c Elapsed CPU time: 99.5829 s Remaining CPU time: 80.4171 s c =============================================================================== c | 30 | 2978 3345 986400 | 5000 30 2769 | 0.000 % | c =============================================================================== c New solution: 15336 c Elapsed CPU time: 100.131 s Remaining CPU time: 79.8692 s c =============================================================================== c | 30 | 2978 3346 989250 | 5000 30 2769 | 0.000 % | c =============================================================================== c New solution: 15335 c Elapsed CPU time: 100.699 s Remaining CPU time: 79.3013 s c =============================================================================== c | 30 | 2978 3347 992100 | 5000 30 2769 | 0.000 % | c =============================================================================== c New solution: 15334 c Elapsed CPU time: 101.297 s Remaining CPU time: 78.7034 s c =============================================================================== c | 30 | 2978 3348 994950 | 5000 30 2769 | 0.000 % | c =============================================================================== c New solution: 15333 c Elapsed CPU time: 101.875 s Remaining CPU time: 78.1255 s c =============================================================================== c | 32 | 2978 3349 997800 | 5000 32 2769 | 0.000 % | c =============================================================================== c New solution: 15332 c Elapsed CPU time: 102.46 s Remaining CPU time: 77.5396 s c =============================================================================== c | 32 | 2978 3350 1000650 | 5000 32 2769 | 0.000 % | c =============================================================================== c New solution: 15331 c Elapsed CPU time: 103.03 s Remaining CPU time: 76.9697 s c =============================================================================== c | 32 | 2978 3351 1003500 | 5000 32 2769 | 0.000 % | c =============================================================================== c New solution: 15330 c Elapsed CPU time: 103.606 s Remaining CPU time: 76.3938 s c =============================================================================== c | 32 | 2978 3352 1006350 | 5000 32 2769 | 0.000 % | c =============================================================================== c New solution: 15329 c Elapsed CPU time: 104.15 s Remaining CPU time: 75.8498 s c =============================================================================== c | 32 | 2978 3353 1009200 | 5000 32 2769 | 0.000 % | c =============================================================================== c New solution: 15328 c Elapsed CPU time: 104.704 s Remaining CPU time: 75.2959 s c =============================================================================== c | 33 | 2978 3354 1012050 | 5000 33 2769 | 0.000 % | c =============================================================================== c New solution: 15326 c Elapsed CPU time: 105.248 s Remaining CPU time: 74.752 s c =============================================================================== c | 33 | 2978 3355 1014900 | 5000 33 2769 | 0.000 % | c =============================================================================== c New solution: 15325 c Elapsed CPU time: 105.808 s Remaining CPU time: 74.1921 s c =============================================================================== c | 33 | 2978 3356 1017750 | 5000 33 2769 | 0.000 % | c =============================================================================== c New solution: 15324 c Elapsed CPU time: 106.365 s Remaining CPU time: 73.6352 s c =============================================================================== c | 33 | 2978 3357 1020600 | 5000 33 2769 | 0.000 % | c =============================================================================== c New solution: 15323 c Elapsed CPU time: 106.937 s Remaining CPU time: 73.0633 s c =============================================================================== c | 33 | 2978 3358 1023450 | 5000 33 2769 | 0.000 % | c =============================================================================== c New solution: 15321 c Elapsed CPU time: 107.53 s Remaining CPU time: 72.4703 s c =============================================================================== c | 35 | 2978 3359 1026300 | 5000 35 2768 | 0.000 % | c =============================================================================== c New solution: 15320 c Elapsed CPU time: 108.13 s Remaining CPU time: 71.8704 s c =============================================================================== c | 35 | 2978 3360 1029150 | 5000 35 2768 | 0.000 % | c =============================================================================== c New solution: 15318 c Elapsed CPU time: 108.762 s Remaining CPU time: 71.2375 s c =============================================================================== c | 35 | 2978 3361 1032000 | 5000 35 2768 | 0.000 % | c =============================================================================== c New solution: 15317 c Elapsed CPU time: 109.364 s Remaining CPU time: 70.6356 s c =============================================================================== c | 38 | 2978 3362 1034850 | 5000 38 2768 | 0.000 % | c =============================================================================== c New solution: 15316 c Elapsed CPU time: 109.967 s Remaining CPU time: 70.0327 s c =============================================================================== c | 40 | 2978 3363 1037700 | 5000 40 2768 | 0.000 % | c =============================================================================== c New solution: 15315 c Elapsed CPU time: 110.556 s Remaining CPU time: 69.4438 s c =============================================================================== c | 40 | 2978 3364 1040550 | 5000 40 2768 | 0.000 % | c =============================================================================== c New solution: 15313 c Elapsed CPU time: 111.167 s Remaining CPU time: 68.8329 s c =============================================================================== c | 40 | 2978 3365 1043400 | 5000 40 2768 | 0.000 % | c =============================================================================== c New solution: 15312 c Elapsed CPU time: 111.771 s Remaining CPU time: 68.229 s c =============================================================================== c | 42 | 2978 3366 1046250 | 5000 42 2768 | 0.000 % | c =============================================================================== c New solution: 15311 c Elapsed CPU time: 112.385 s Remaining CPU time: 67.6151 s c =============================================================================== c | 44 | 2978 3367 1049100 | 5000 44 2767 | 0.000 % | c =============================================================================== c New solution: 15310 c Elapsed CPU time: 112.98 s Remaining CPU time: 67.0202 s c =============================================================================== c | 44 | 2978 3368 1051950 | 5000 44 2767 | 0.000 % | c =============================================================================== c New solution: 15308 c Elapsed CPU time: 113.571 s Remaining CPU time: 66.4293 s c =============================================================================== c | 44 | 2978 3369 1054800 | 5000 44 2767 | 0.000 % | c =============================================================================== c New solution: 15307 c Elapsed CPU time: 114.144 s Remaining CPU time: 65.8564 s c =============================================================================== c | 44 | 2978 3370 1057650 | 5000 44 2767 | 0.000 % | c =============================================================================== c New solution: 15306 c Elapsed CPU time: 114.739 s Remaining CPU time: 65.2614 s c =============================================================================== c | 47 | 2978 3371 1060500 | 5000 47 2767 | 0.000 % | c =============================================================================== c New solution: 15305 c Elapsed CPU time: 115.37 s Remaining CPU time: 64.6295 s c =============================================================================== c | 47 | 2978 3372 1063350 | 5000 47 2767 | 0.000 % | c =============================================================================== c New solution: 15303 c Elapsed CPU time: 116.022 s Remaining CPU time: 63.9776 s c =============================================================================== c | 48 | 2978 3373 1066200 | 5000 48 2767 | 0.000 % | c =============================================================================== c New solution: 15301 c Elapsed CPU time: 116.657 s Remaining CPU time: 63.3427 s c =============================================================================== c | 48 | 2978 3374 1069050 | 5000 48 2767 | 0.000 % | c =============================================================================== c New solution: 15300 c Elapsed CPU time: 117.293 s Remaining CPU time: 62.7068 s c =============================================================================== c | 50 | 2978 3375 1071900 | 5000 50 2767 | 0.000 % | c =============================================================================== c New solution: 15299 c Elapsed CPU time: 117.883 s Remaining CPU time: 62.1169 s c =============================================================================== c | 50 | 2978 3376 1074750 | 5000 50 2767 | 0.000 % | c =============================================================================== c New solution: 15297 c Elapsed CPU time: 118.537 s Remaining CPU time: 61.463 s c =============================================================================== c | 50 | 2978 3377 1077600 | 5000 50 2767 | 0.000 % | c =============================================================================== c New solution: 15295 c Elapsed CPU time: 119.175 s Remaining CPU time: 60.8251 s c =============================================================================== c | 51 | 2978 3378 1080450 | 5000 51 2766 | 0.000 % | c =============================================================================== c New solution: 15294 c Elapsed CPU time: 119.767 s Remaining CPU time: 60.2332 s c =============================================================================== c | 55 | 2978 3379 1083300 | 5000 55 2766 | 0.000 % | c =============================================================================== c New solution: 15293 c Elapsed CPU time: 120.363 s Remaining CPU time: 59.6373 s c =============================================================================== c | 56 | 2978 3380 1086150 | 5000 56 2766 | 0.000 % | c =============================================================================== c New solution: 15292 c Elapsed CPU time: 120.941 s Remaining CPU time: 59.0594 s c =============================================================================== c | 56 | 2978 3381 1089000 | 5000 56 2766 | 0.000 % | c =============================================================================== c New solution: 15291 c Elapsed CPU time: 121.545 s Remaining CPU time: 58.4555 s c =============================================================================== c | 56 | 2978 3382 1091850 | 5000 56 2766 | 0.000 % | c =============================================================================== c New solution: 15290 c Elapsed CPU time: 122.127 s Remaining CPU time: 57.8726 s c =============================================================================== c | 56 | 2978 3383 1094700 | 5000 56 2766 | 0.000 % | c =============================================================================== c New solution: 15289 c Elapsed CPU time: 122.725 s Remaining CPU time: 57.2747 s c =============================================================================== c | 56 | 2978 3384 1097550 | 5000 56 2766 | 0.000 % | c =============================================================================== c New solution: 15288 c Elapsed CPU time: 123.309 s Remaining CPU time: 56.6907 s c =============================================================================== c | 58 | 2978 3385 1100400 | 5000 58 2766 | 0.000 % | c =============================================================================== c New solution: 15287 c Elapsed CPU time: 123.952 s Remaining CPU time: 56.0478 s c =============================================================================== c | 58 | 2978 3386 1103250 | 5000 58 2766 | 0.000 % | c =============================================================================== c New solution: 15286 c Elapsed CPU time: 124.584 s Remaining CPU time: 55.4159 s c =============================================================================== c | 58 | 2978 3387 1106100 | 5000 58 2766 | 0.000 % | c =============================================================================== c New solution: 15285 c Elapsed CPU time: 125.221 s Remaining CPU time: 54.779 s c =============================================================================== c | 58 | 2978 3388 1108950 | 5000 58 2766 | 0.000 % | c =============================================================================== c New solution: 15284 c Elapsed CPU time: 125.84 s Remaining CPU time: 54.1601 s c =============================================================================== c | 58 | 2978 3389 1111800 | 5000 58 2766 | 0.000 % | c =============================================================================== c New solution: 15283 c Elapsed CPU time: 126.446 s Remaining CPU time: 53.5542 s c =============================================================================== c | 60 | 2978 3390 1114650 | 5000 60 2765 | 0.000 % | c =============================================================================== c New solution: 15282 c Elapsed CPU time: 127.058 s Remaining CPU time: 52.9423 s c =============================================================================== c | 60 | 2978 3391 1117500 | 5000 60 2765 | 0.000 % | c =============================================================================== c New solution: 15281 c Elapsed CPU time: 127.697 s Remaining CPU time: 52.3034 s c =============================================================================== c | 64 | 2978 3392 1120350 | 5000 64 2765 | 0.000 % | c =============================================================================== c New solution: 15280 c Elapsed CPU time: 128.413 s Remaining CPU time: 51.5865 s c =============================================================================== c | 65 | 2978 3393 1123200 | 5000 65 2765 | 0.000 % | c =============================================================================== c New solution: 15279 c Elapsed CPU time: 129.165 s Remaining CPU time: 50.8346 s c =============================================================================== c | 69 | 2978 3394 1126050 | 5000 69 2765 | 0.000 % | c =============================================================================== c New solution: 15278 c Elapsed CPU time: 129.852 s Remaining CPU time: 50.1477 s c =============================================================================== c | 69 | 2978 3395 1128900 | 5000 69 2765 | 0.000 % | c =============================================================================== c New solution: 15277 c Elapsed CPU time: 130.532 s Remaining CPU time: 49.4678 s c =============================================================================== c | 69 | 2978 3396 1131750 | 5000 69 2765 | 0.000 % | c =============================================================================== c New solution: 15276 c Elapsed CPU time: 131.224 s Remaining CPU time: 48.7759 s c =============================================================================== c | 69 | 2978 3397 1134600 | 5000 69 2765 | 0.000 % | c =============================================================================== c New solution: 15275 c Elapsed CPU time: 131.919 s Remaining CPU time: 48.0811 s c =============================================================================== c | 70 | 2978 3398 1137450 | 5000 70 2764 | 0.000 % | c =============================================================================== c New solution: 15274 c Elapsed CPU time: 132.573 s Remaining CPU time: 47.4272 s c =============================================================================== c | 70 | 2978 3399 1140300 | 5000 70 2764 | 0.000 % | c =============================================================================== c New solution: 15273 c Elapsed CPU time: 133.237 s Remaining CPU time: 46.7633 s c =============================================================================== c | 78 | 2978 3400 1143150 | 5000 78 2764 | 0.000 % | c =============================================================================== c New solution: 15272 c Elapsed CPU time: 133.885 s Remaining CPU time: 46.1154 s c =============================================================================== c | 78 | 2978 3401 1146000 | 5000 78 2764 | 0.000 % | c =============================================================================== c New solution: 15271 c Elapsed CPU time: 134.542 s Remaining CPU time: 45.4585 s c =============================================================================== c | 78 | 2978 3402 1148850 | 5000 78 2764 | 0.000 % | c =============================================================================== c New solution: 15270 c Elapsed CPU time: 135.176 s Remaining CPU time: 44.8236 s c =============================================================================== c | 78 | 2978 3403 1151700 | 5000 78 2764 | 0.000 % | c =============================================================================== c New solution: 15269 c Elapsed CPU time: 135.836 s Remaining CPU time: 44.1637 s c =============================================================================== c | 80 | 2978 3404 1154550 | 5000 80 2763 | 0.000 % | c =============================================================================== c New solution: 15268 c Elapsed CPU time: 136.512 s Remaining CPU time: 43.4878 s c =============================================================================== c | 80 | 2978 3405 1157400 | 5000 80 2763 | 0.000 % | c =============================================================================== c New solution: 15267 c Elapsed CPU time: 137.203 s Remaining CPU time: 42.7969 s c =============================================================================== c | 80 | 2978 3406 1160250 | 5000 80 2763 | 0.000 % | c =============================================================================== c New solution: 15266 c Elapsed CPU time: 137.855 s Remaining CPU time: 42.145 s c =============================================================================== c | 80 | 2978 3407 1163100 | 5000 80 2763 | 0.000 % | c =============================================================================== c New solution: 15265 c Elapsed CPU time: 138.513 s Remaining CPU time: 41.4871 s c =============================================================================== c | 80 | 2978 3408 1165950 | 5000 80 2763 | 0.000 % | c =============================================================================== c New solution: 15264 c Elapsed CPU time: 139.147 s Remaining CPU time: 40.8532 s c =============================================================================== c | 81 | 2978 3409 1168800 | 5000 81 2763 | 0.000 % | c =============================================================================== c New solution: 15263 c Elapsed CPU time: 139.801 s Remaining CPU time: 40.1993 s c =============================================================================== c | 84 | 2978 3410 1171650 | 5000 84 2763 | 0.000 % | c =============================================================================== c New solution: 15262 c Elapsed CPU time: 140.436 s Remaining CPU time: 39.5643 s c =============================================================================== c | 89 | 2978 3411 1174500 | 5000 89 2762 | 0.000 % | c =============================================================================== c New solution: 15261 c Elapsed CPU time: 141.087 s Remaining CPU time: 38.9134 s c =============================================================================== c | 90 | 2978 3412 1177350 | 5000 90 2762 | 0.000 % | c =============================================================================== c New solution: 15260 c Elapsed CPU time: 141.75 s Remaining CPU time: 38.2495 s c =============================================================================== c | 90 | 2978 3413 1180200 | 5000 90 2762 | 0.000 % | c =============================================================================== c New solution: 15259 c Elapsed CPU time: 142.439 s Remaining CPU time: 37.5607 s c =============================================================================== c | 92 | 2978 3414 1183050 | 5000 92 2762 | 0.000 % | c =============================================================================== c New solution: 15258 c Elapsed CPU time: 143.122 s Remaining CPU time: 36.8778 s c =============================================================================== c | 92 | 2978 3415 1185900 | 5000 92 2762 | 0.000 % | c =============================================================================== c New solution: 15257 c Elapsed CPU time: 143.767 s Remaining CPU time: 36.2329 s c =============================================================================== c | 92 | 2978 3416 1188750 | 5000 92 2762 | 0.000 % | c =============================================================================== c New solution: 15256 c Elapsed CPU time: 144.415 s Remaining CPU time: 35.585 s c =============================================================================== c | 93 | 2978 3417 1191600 | 5000 93 2762 | 0.000 % | c =============================================================================== c New solution: 15255 c Elapsed CPU time: 145.116 s Remaining CPU time: 34.8841 s c =============================================================================== c | 94 | 2978 3418 1194450 | 5000 94 2733 | 0.000 % | c =============================================================================== c New solution: 15254 c Elapsed CPU time: 145.774 s Remaining CPU time: 34.2262 s c =============================================================================== c | 94 | 2978 3419 1197300 | 5000 94 2733 | 0.000 % | c =============================================================================== c New solution: 15253 c Elapsed CPU time: 146.407 s Remaining CPU time: 33.5933 s c =============================================================================== c | 94 | 2978 3420 1200150 | 5000 94 2733 | 0.000 % | c =============================================================================== c New solution: 15252 c Elapsed CPU time: 147.055 s Remaining CPU time: 32.9454 s c =============================================================================== c | 95 | 2978 3421 1203000 | 5000 95 2733 | 0.000 % | c =============================================================================== c New solution: 15251 c Elapsed CPU time: 147.752 s Remaining CPU time: 32.2485 s c =============================================================================== c | 95 | 2978 3422 1205850 | 5000 95 2733 | 0.000 % | c =============================================================================== c New solution: 15250 c Elapsed CPU time: 148.441 s Remaining CPU time: 31.5586 s c =============================================================================== c | 95 | 2978 3423 1208700 | 5000 95 2733 | 0.000 % | c =============================================================================== c New solution: 15249 c Elapsed CPU time: 149.122 s Remaining CPU time: 30.8777 s c =============================================================================== c | 95 | 2978 3424 1211550 | 5000 95 2733 | 0.000 % | c =============================================================================== c New solution: 15248 c Elapsed CPU time: 149.854 s Remaining CPU time: 30.1458 s c =============================================================================== c | 99 | 2978 3425 1214400 | 5000 99 2734 | 0.000 % | c =============================================================================== c New solution: 15247 c Elapsed CPU time: 150.538 s Remaining CPU time: 29.4619 s c =============================================================================== c | 99 | 2978 3426 1217250 | 5000 99 2734 | 0.000 % | c =============================================================================== c New solution: 15246 c Elapsed CPU time: 151.291 s Remaining CPU time: 28.709 s c =============================================================================== c | 103 | 2978 3427 1220100 | 5000 103 2734 | 0.000 % | c =============================================================================== c New solution: 15245 c Elapsed CPU time: 151.999 s Remaining CPU time: 28.0011 s c =============================================================================== c | 103 | 2978 3428 1222950 | 5000 103 2734 | 0.000 % | c =============================================================================== c New solution: 15244 c Elapsed CPU time: 152.666 s Remaining CPU time: 27.3342 s c =============================================================================== c | 103 | 2978 3429 1225800 | 5000 103 2734 | 0.000 % | c =============================================================================== c New solution: 15243 c Elapsed CPU time: 153.357 s Remaining CPU time: 26.6433 s c =============================================================================== c | 104 | 2978 3430 1228650 | 5000 104 2735 | 0.000 % | c =============================================================================== c New solution: 15242 c Elapsed CPU time: 154.02 s Remaining CPU time: 25.9804 s c =============================================================================== c | 104 | 2978 3431 1231500 | 5000 104 2735 | 0.000 % | c =============================================================================== c New solution: 15241 c Elapsed CPU time: 154.749 s Remaining CPU time: 25.2505 s c =============================================================================== c | 104 | 2978 3432 1234350 | 5000 104 2735 | 0.000 % | c =============================================================================== c New solution: 15240 c Elapsed CPU time: 155.483 s Remaining CPU time: 24.5166 s c =============================================================================== c | 104 | 2978 3433 1237200 | 5000 104 2735 | 0.000 % | c =============================================================================== c New solution: 15239 c Elapsed CPU time: 156.18 s Remaining CPU time: 23.8197 s c =============================================================================== c | 107 | 2978 3434 1240050 | 5000 107 2735 | 0.000 % | c =============================================================================== c New solution: 15238 c Elapsed CPU time: 156.868 s Remaining CPU time: 23.1318 s c =============================================================================== c | 109 | 2978 3435 1242900 | 5000 109 2735 | 0.000 % | c =============================================================================== c New solution: 15237 c Elapsed CPU time: 157.592 s Remaining CPU time: 22.408 s c =============================================================================== c | 116 | 2978 3436 1245750 | 5000 116 2736 | 0.000 % | c =============================================================================== c New solution: 15236 c Elapsed CPU time: 158.279 s Remaining CPU time: 21.7211 s c =============================================================================== c | 116 | 2978 3437 1248600 | 5000 116 2736 | 0.000 % | c =============================================================================== c New solution: 15235 c Elapsed CPU time: 158.954 s Remaining CPU time: 21.0462 s c =============================================================================== c | 116 | 2978 3438 1251450 | 5000 116 2736 | 0.000 % | c =============================================================================== c New solution: 15234 c Elapsed CPU time: 159.696 s Remaining CPU time: 20.3043 s c =============================================================================== c | 117 | 2978 3439 1254300 | 5000 117 2736 | 0.000 % | c =============================================================================== c New solution: 15233 c Elapsed CPU time: 160.39 s Remaining CPU time: 19.6104 s c =============================================================================== c | 117 | 2978 3440 1257150 | 5000 117 2736 | 0.000 % | c =============================================================================== c New solution: 15232 c Elapsed CPU time: 161.149 s Remaining CPU time: 18.8515 s c =============================================================================== c | 117 | 2978 3441 1260000 | 5000 117 2736 | 0.000 % | c =============================================================================== c New solution: 15231 c Elapsed CPU time: 161.988 s Remaining CPU time: 18.0116 s c =============================================================================== c | 123 | 2978 3442 1262850 | 5000 123 2737 | 0.000 % | c =============================================================================== c New solution: 15230 c Elapsed CPU time: 162.74 s Remaining CPU time: 17.2597 s c =============================================================================== c | 126 | 2978 3443 1265700 | 5000 126 2737 | 0.000 % | c =============================================================================== c New solution: 15229 c Elapsed CPU time: 163.545 s Remaining CPU time: 16.4549 s c =============================================================================== c | 135 | 2978 3444 1268550 | 5000 135 2738 | 0.000 % | c =============================================================================== c New solution: 15227 c Elapsed CPU time: 164.302 s Remaining CPU time: 15.698 s c =============================================================================== c | 135 | 2978 3445 1271400 | 5000 135 2738 | 0.000 % | c =============================================================================== c New solution: 15226 c Elapsed CPU time: 165.006 s Remaining CPU time: 14.9941 s c =============================================================================== c | 140 | 2978 3446 1274250 | 5000 140 2739 | 0.000 % | c =============================================================================== c New solution: 15224 c Elapsed CPU time: 165.721 s Remaining CPU time: 14.2792 s c =============================================================================== c | 140 | 2978 3447 1277100 | 5000 140 2739 | 0.000 % | c =============================================================================== c New solution: 15223 c Elapsed CPU time: 166.403 s Remaining CPU time: 13.5973 s c =============================================================================== c | 140 | 2978 3448 1279950 | 5000 140 2739 | 0.000 % | c =============================================================================== c New solution: 15222 c Elapsed CPU time: 167.135 s Remaining CPU time: 12.8654 s c =============================================================================== c | 143 | 2978 3449 1282800 | 5000 143 2739 | 0.000 % | c =============================================================================== c New solution: 15221 c Elapsed CPU time: 167.86 s Remaining CPU time: 12.1395 s c =============================================================================== c | 144 | 2978 3450 1285650 | 5000 144 2739 | 0.000 % | c =============================================================================== c New solution: 15220 c Elapsed CPU time: 168.581 s Remaining CPU time: 11.4186 s c =============================================================================== c | 144 | 2978 3451 1288500 | 5000 144 2739 | 0.000 % | c =============================================================================== c New solution: 15219 c Elapsed CPU time: 169.333 s Remaining CPU time: 10.6667 s c =============================================================================== c | 144 | 2978 3452 1291350 | 5000 144 2739 | 0.000 % | c =============================================================================== c New solution: 15218 c Elapsed CPU time: 170.211 s Remaining CPU time: 9.78888 s c =============================================================================== c | 154 | 2978 3453 1294200 | 5000 154 2740 | 0.000 % | c =============================================================================== c New solution: 15217 c Elapsed CPU time: 170.99 s Remaining CPU time: 9.01 s c =============================================================================== c | 154 | 2978 3454 1297050 | 5000 154 2740 | 0.000 % | c =============================================================================== c New solution: 15216 c Elapsed CPU time: 171.798 s Remaining CPU time: 8.20212 s c =============================================================================== c | 157 | 2978 3455 1299900 | 5000 157 2740 | 0.000 % | c =============================================================================== c New solution: 15215 c Elapsed CPU time: 172.53 s Remaining CPU time: 7.47023 s c =============================================================================== c | 157 | 2978 3456 1302750 | 5000 157 2740 | 0.000 % | c =============================================================================== c New solution: 15214 c Elapsed CPU time: 173.307 s Remaining CPU time: 6.69335 s c =============================================================================== c | 157 | 2978 3457 1305600 | 5000 157 2740 | 0.000 % | c =============================================================================== c New solution: 15213 c Elapsed CPU time: 174.051 s Remaining CPU time: 5.94946 s c =============================================================================== c | 160 | 2978 3458 1308450 | 5000 160 2740 | 0.000 % | c =============================================================================== c New solution: 15212 c Elapsed CPU time: 174.807 s Remaining CPU time: 5.19258 s c =============================================================================== c | 163 | 2978 3459 1311300 | 5000 163 2740 | 0.000 % | c =============================================================================== c New solution: 15211 c Elapsed CPU time: 175.617 s Remaining CPU time: 4.3827 s c =============================================================================== c | 164 | 2978 3460 1314150 | 5000 164 2740 | 0.000 % | c =============================================================================== c New solution: 15210 c Elapsed CPU time: 176.366 s Remaining CPU time: 3.63381 s c =============================================================================== c | 164 | 2978 3461 1317000 | 5000 164 2740 | 0.000 % | c =============================================================================== c New solution: 15209 c Elapsed CPU time: 177.059 s Remaining CPU time: 2.94092 s c =============================================================================== c | 164 | 2978 3462 1319850 | 5000 164 2740 | 0.000 % | c =============================================================================== c New solution: 15208 c Elapsed CPU time: 177.768 s Remaining CPU time: 2.23202 s c =============================================================================== c | 164 | 2978 3463 1322700 | 5000 164 2740 | 0.000 % | c =============================================================================== c New solution: 15207 c Elapsed CPU time: 178.502 s Remaining CPU time: 1.49814 s c =============================================================================== c | 164 | 2978 3464 1325550 | 5000 164 2740 | 0.000 % | c =============================================================================== c New solution: 15206 c Elapsed CPU time: 179.418 s Remaining CPU time: 0.582276 s c =============================================================================== c | 166 | 2978 3465 1328400 | 5000 166 2740 | 0.000 % | c There are 22 assigned variables. 5 in cost function.