c wbo 1.4 beta - 20100610 c | Number of variables: 295 | c | Number of clauses: 2206 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2369 | c | Number Clauses: 2170 | 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 | 2369 2170 8325 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4168646 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 2369 2171 10435 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4167663 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 2369 2172 12545 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4165998 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 2369 2173 14655 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 4164566 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 1 | 2369 2174 16765 | 5000 1 2084 | 0.000 % | c =============================================================================== c New solution: 4163565 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s c =============================================================================== c | 2 | 2369 2175 18875 | 5000 2 2086 | 0.000 % | c =============================================================================== c New solution: 4163389 c Elapsed CPU time: 0.170974 s Remaining CPU time: 179.829 s c =============================================================================== c | 64 | 2369 2176 20985 | 5000 64 2086 | 0.000 % | c =============================================================================== c New solution: 4162627 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 65 | 2369 2177 23095 | 5000 65 2086 | 0.000 % | c =============================================================================== c New solution: 4159316 c Elapsed CPU time: 0.213967 s Remaining CPU time: 179.786 s c =============================================================================== c | 65 | 2369 2178 25205 | 5000 65 2086 | 0.000 % | c =============================================================================== c New solution: 4159154 c Elapsed CPU time: 0.25896 s Remaining CPU time: 179.741 s c =============================================================================== c | 87 | 2369 2179 27315 | 5000 87 2086 | 0.000 % | c | 188 | 2369 2179 27315 | 5500 188 2085 | 0.000 % | c | 338 | 2369 2179 27315 | 6050 338 2085 | 0.000 % | c | 564 | 2369 2179 27315 | 6655 564 2084 | 0.000 % | c =============================================================================== c New solution: 4159137 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 825 | 2369 2180 29425 | 5000 825 2085 | 0.000 % | c | 926 | 2369 2180 29425 | 5500 926 2084 | 0.000 % | c | 1076 | 2369 2180 29425 | 6050 1076 2084 | 0.000 % | c | 1302 | 2369 2180 29425 | 6655 1302 2084 | 0.000 % | c | 1640 | 2369 2180 29425 | 7320 1640 2084 | 0.000 % | c =============================================================================== c New solution: 4159072 c Elapsed CPU time: 2.39864 s Remaining CPU time: 177.601 s c =============================================================================== c | 1831 | 2369 2181 31535 | 5000 1831 2084 | 0.000 % | c | 1933 | 2369 2181 31535 | 5500 1933 2084 | 0.000 % | c | 2083 | 2369 2181 31535 | 6050 2083 2084 | 0.000 % | c | 2308 | 2369 2181 31535 | 6655 2308 2084 | 0.000 % | c =============================================================================== c New solution: 4158890 c Elapsed CPU time: 3.41448 s Remaining CPU time: 176.586 s c =============================================================================== c | 2417 | 2369 2182 33645 | 5000 2417 2084 | 0.000 % | c | 2517 | 2369 2182 33645 | 5500 2517 2084 | 0.000 % | c | 2667 | 2369 2182 33645 | 6050 2667 2084 | 0.000 % | c | 2892 | 2369 2182 33645 | 6655 2892 2084 | 0.000 % | c | 3229 | 2369 2182 33645 | 7320 3229 2084 | 0.000 % | c =============================================================================== c New solution: 4158724 c Elapsed CPU time: 5.73513 s Remaining CPU time: 174.265 s c =============================================================================== c | 3466 | 2369 2183 35755 | 5000 3466 2084 | 0.000 % | c | 3568 | 2369 2183 35755 | 5500 3568 2085 | 0.000 % | c | 3719 | 2369 2183 35755 | 6050 3719 2085 | 0.000 % | c | 3944 | 2369 2183 35755 | 6655 3944 2085 | 0.000 % | c =============================================================================== c New solution: 4158512 c Elapsed CPU time: 7.55985 s Remaining CPU time: 172.44 s c =============================================================================== c | 4137 | 2369 2184 37865 | 5000 4137 2084 | 0.000 % | c | 4237 | 2369 2184 37865 | 5500 4237 2084 | 0.000 % | c | 4387 | 2369 2184 37865 | 6050 4387 2084 | 0.000 % | c | 4613 | 2369 2184 37865 | 6655 4613 2084 | 0.000 % | c | 4951 | 2369 2184 37865 | 7320 4951 2084 | 0.000 % | c =============================================================================== c New solution: 4158495 c Elapsed CPU time: 8.80266 s Remaining CPU time: 171.197 s c =============================================================================== c | 4998 | 2369 2185 39975 | 5000 4998 2084 | 0.000 % | c | 5098 | 2369 2185 39975 | 5500 5098 2084 | 0.000 % | c =============================================================================== c New solution: 4158304 c Elapsed CPU time: 9.12461 s Remaining CPU time: 170.875 s c =============================================================================== c | 5190 | 2369 2186 42085 | 5000 5190 2084 | 0.000 % | c | 5291 | 2369 2186 42085 | 5500 2696 2084 | 0.000 % | c | 5442 | 2369 2186 42085 | 6050 2847 2084 | 0.000 % | c =============================================================================== c New solution: 4158100 c Elapsed CPU time: 9.60054 s Remaining CPU time: 170.399 s c =============================================================================== c | 5444 | 2369 2187 44195 | 5000 2849 2084 | 0.000 % | c =============================================================================== c New solution: 4158068 c Elapsed CPU time: 9.73652 s Remaining CPU time: 170.263 s c =============================================================================== c | 5522 | 2369 2188 46305 | 5000 2927 2084 | 0.000 % | c =============================================================================== c New solution: 4158010 c Elapsed CPU time: 9.82051 s Remaining CPU time: 170.179 s c =============================================================================== c | 5562 | 2369 2189 48415 | 5000 2967 2084 | 0.000 % | c =============================================================================== c New solution: 4157698 c Elapsed CPU time: 9.8575 s Remaining CPU time: 170.142 s c =============================================================================== c | 5562 | 2369 2190 50525 | 5000 2967 2084 | 0.000 % | c =============================================================================== c New solution: 4157063 c Elapsed CPU time: 9.8905 s Remaining CPU time: 170.11 s c =============================================================================== c | 5563 | 2369 2191 52635 | 5000 2968 2084 | 0.000 % | c =============================================================================== c New solution: 4156743 c Elapsed CPU time: 9.93149 s Remaining CPU time: 170.069 s c =============================================================================== c | 5565 | 2369 2192 54745 | 5000 2970 2084 | 0.000 % | c =============================================================================== c New solution: 4156552 c Elapsed CPU time: 9.97148 s Remaining CPU time: 170.029 s c =============================================================================== c | 5566 | 2369 2193 56855 | 5000 2971 2084 | 0.000 % | c | 5666 | 2369 2193 56855 | 5500 3071 2084 | 0.000 % | c =============================================================================== c New solution: 4156485 c Elapsed CPU time: 10.1974 s Remaining CPU time: 169.803 s c =============================================================================== c | 5684 | 2369 2194 58965 | 5000 3089 2084 | 0.000 % | c | 5788 | 2369 2194 58965 | 5500 3193 2084 | 0.000 % | c | 5938 | 2369 2194 58965 | 6050 3343 2084 | 0.000 % | c | 6163 | 2369 2194 58965 | 6655 3568 2084 | 0.000 % | c | 6500 | 2369 2194 58965 | 7320 3905 2084 | 0.000 % | c =============================================================================== c New solution: 4156302 c Elapsed CPU time: 11.7452 s Remaining CPU time: 168.255 s c =============================================================================== c | 6543 | 2369 2195 61075 | 5000 3948 2084 | 0.000 % | c | 6643 | 2369 2195 61075 | 5500 4048 2083 | 0.000 % | c =============================================================================== c New solution: 4156022 c Elapsed CPU time: 12.1202 s Remaining CPU time: 167.88 s c =============================================================================== c | 6672 | 2369 2196 63185 | 5000 4077 2083 | 0.000 % | c | 6773 | 2369 2196 63185 | 5500 4178 2083 | 0.000 % | c | 6924 | 2369 2196 63185 | 6050 4329 2083 | 0.000 % | c =============================================================================== c New solution: 4155975 c Elapsed CPU time: 13.105 s Remaining CPU time: 166.895 s c =============================================================================== c | 6944 | 2369 2197 65295 | 5000 4349 2083 | 0.000 % | c | 7044 | 2369 2197 65295 | 5500 4449 2083 | 0.000 % | c | 7195 | 2369 2197 65295 | 6050 4600 2083 | 0.000 % | c | 7422 | 2369 2197 65295 | 6655 4827 2083 | 0.000 % | c | 7759 | 2369 2197 65295 | 7320 5164 2083 | 0.000 % | c | 8268 | 2369 2197 65295 | 8052 5673 2083 | 0.000 % | c =============================================================================== c New solution: 4155923 c Elapsed CPU time: 15.7786 s Remaining CPU time: 164.221 s c =============================================================================== c | 8273 | 2369 2198 67405 | 5000 5678 2083 | 0.000 % | c =============================================================================== c New solution: 4154908 c Elapsed CPU time: 15.9036 s Remaining CPU time: 164.096 s c =============================================================================== c | 8303 | 2369 2199 69515 | 5000 2869 2083 | 0.000 % | c =============================================================================== c New solution: 4154902 c Elapsed CPU time: 15.9526 s Remaining CPU time: 164.047 s c =============================================================================== c | 8305 | 2369 2200 71625 | 5000 2871 2083 | 0.000 % | c | 8407 | 2369 2200 71625 | 5500 2973 2083 | 0.000 % | c =============================================================================== c New solution: 4154706 c Elapsed CPU time: 16.2085 s Remaining CPU time: 163.791 s c =============================================================================== c | 8413 | 2369 2201 73735 | 5000 2979 2083 | 0.000 % | c =============================================================================== c New solution: 4154100 c Elapsed CPU time: 16.3485 s Remaining CPU time: 163.651 s c =============================================================================== c | 8461 | 2369 2202 75845 | 5000 3027 2083 | 0.000 % | c =============================================================================== c New solution: 4154050 c Elapsed CPU time: 16.4185 s Remaining CPU time: 163.581 s c =============================================================================== c | 8475 | 2369 2203 77955 | 5000 3041 2083 | 0.000 % | c | 8575 | 2369 2203 77955 | 5500 3141 2083 | 0.000 % | c =============================================================================== c New solution: 4153866 c Elapsed CPU time: 16.6995 s Remaining CPU time: 163.301 s c =============================================================================== c | 8604 | 2369 2204 80065 | 5000 3170 2083 | 0.000 % | c | 8704 | 2369 2204 80065 | 5500 3270 2083 | 0.000 % | c =============================================================================== c New solution: 4153645 c Elapsed CPU time: 16.9404 s Remaining CPU time: 163.06 s c =============================================================================== c | 8719 | 2369 2205 82175 | 5000 3285 2083 | 0.000 % | c | 8819 | 2369 2205 82175 | 5500 3385 2083 | 0.000 % | c | 8969 | 2369 2205 82175 | 6050 3535 2083 | 0.000 % | c | 9194 | 2369 2205 82175 | 6655 3760 2083 | 0.000 % | c | 9531 | 2369 2205 82175 | 7320 4097 2082 | 0.000 % | c =============================================================================== c New solution: 4153447 c Elapsed CPU time: 19.1551 s Remaining CPU time: 160.845 s c =============================================================================== c | 9745 | 2369 2206 84285 | 5000 4311 2083 | 0.000 % | c | 9846 | 2369 2206 84285 | 5500 4412 2083 | 0.000 % | c | 9998 | 2369 2206 84285 | 6050 4564 2083 | 0.000 % | c =============================================================================== c New solution: 4153348 c Elapsed CPU time: 20.047 s Remaining CPU time: 159.953 s c =============================================================================== c | 10174 | 2369 2207 86395 | 5000 4740 2083 | 0.000 % | c | 10274 | 2369 2207 86395 | 5500 4840 2082 | 0.000 % | c | 10424 | 2369 2207 86395 | 6050 4990 2082 | 0.000 % | c | 10650 | 2369 2207 86395 | 6655 5216 2082 | 0.000 % | c | 10991 | 2369 2207 86395 | 7320 5557 2082 | 0.000 % | c | 11498 | 2369 2207 86395 | 8052 6064 2082 | 0.000 % | c =============================================================================== c New solution: 4153235 c Elapsed CPU time: 24.0133 s Remaining CPU time: 155.987 s c =============================================================================== c | 11771 | 2369 2208 88505 | 5000 6337 2082 | 0.000 % | c | 11873 | 2369 2208 88505 | 5500 3271 2082 | 0.000 % | c | 12024 | 2369 2208 88505 | 6050 3422 2082 | 0.000 % | c | 12249 | 2369 2208 88505 | 6655 3647 2082 | 0.000 % | c | 12586 | 2369 2208 88505 | 7320 3984 2082 | 0.000 % | c | 13092 | 2369 2208 88505 | 8052 4490 2082 | 0.000 % | c =============================================================================== c New solution: 4153054 c Elapsed CPU time: 28.6276 s Remaining CPU time: 151.372 s c =============================================================================== c | 13256 | 2369 2209 90615 | 5000 4654 2082 | 0.000 % | c | 13356 | 2369 2209 90615 | 5500 4754 2082 | 0.000 % | c | 13507 | 2369 2209 90615 | 6050 4905 2082 | 0.000 % | c | 13734 | 2369 2209 90615 | 6655 5132 2082 | 0.000 % | c =============================================================================== c New solution: 4153043 c Elapsed CPU time: 30.6063 s Remaining CPU time: 149.394 s c =============================================================================== c | 13900 | 2369 2210 92725 | 5000 5298 2082 | 0.000 % | c | 14000 | 2369 2210 92725 | 5500 2749 2081 | 0.000 % | c | 14150 | 2369 2210 92725 | 6050 2899 2081 | 0.000 % | c =============================================================================== c New solution: 4152975 c Elapsed CPU time: 31.6112 s Remaining CPU time: 148.389 s c =============================================================================== c | 14256 | 2369 2211 94835 | 5000 3005 2081 | 0.000 % | c | 14356 | 2369 2211 94835 | 5500 3105 2081 | 0.000 % | c | 14506 | 2369 2211 94835 | 6050 3255 2081 | 0.000 % | c | 14732 | 2369 2211 94835 | 6655 3481 2081 | 0.000 % | c | 15069 | 2369 2211 94835 | 7320 3818 2081 | 0.000 % | c =============================================================================== c New solution: 4152950 c Elapsed CPU time: 34.4548 s Remaining CPU time: 145.545 s c =============================================================================== c | 15301 | 2369 2212 96945 | 5000 4050 2081 | 0.000 % | c | 15404 | 2369 2212 96945 | 5500 4153 2081 | 0.000 % | c | 15555 | 2369 2212 96945 | 6050 4304 2081 | 0.000 % | c | 15780 | 2369 2212 96945 | 6655 4529 2081 | 0.000 % | c | 16118 | 2369 2212 96945 | 7320 4867 2081 | 0.000 % | c =============================================================================== c New solution: 4152748 c Elapsed CPU time: 38.9141 s Remaining CPU time: 141.086 s c =============================================================================== c | 16510 | 2369 2213 99055 | 5000 5259 2082 | 0.000 % | c | 16610 | 2369 2213 99055 | 5500 2730 2082 | 0.000 % | c | 16760 | 2369 2213 99055 | 6050 2880 2082 | 0.000 % | c | 16985 | 2369 2213 99055 | 6655 3105 2082 | 0.000 % | c =============================================================================== c New solution: 4152695 c Elapsed CPU time: 40.4439 s Remaining CPU time: 139.556 s c =============================================================================== c | 17008 | 2369 2214 101165 | 5000 3128 2082 | 0.000 % | c | 17108 | 2369 2214 101165 | 5500 3228 2082 | 0.000 % | c | 17258 | 2369 2214 101165 | 6050 3378 2082 | 0.000 % | c | 17483 | 2369 2214 101165 | 6655 3603 2082 | 0.000 % | c | 17820 | 2369 2214 101165 | 7320 3940 2082 | 0.000 % | c | 18327 | 2369 2214 101165 | 8052 4447 2082 | 0.000 % | c =============================================================================== c New solution: 4152413 c Elapsed CPU time: 44.7552 s Remaining CPU time: 135.245 s c =============================================================================== c | 18421 | 2369 2215 103275 | 5000 4541 2082 | 0.000 % | c =============================================================================== c New solution: 4152376 c Elapsed CPU time: 44.9112 s Remaining CPU time: 135.089 s c =============================================================================== c | 18434 | 2369 2216 105385 | 5000 4554 2082 | 0.000 % | c | 18534 | 2369 2216 105385 | 5500 4654 2081 | 0.000 % | c | 18684 | 2369 2216 105385 | 6050 4804 2081 | 0.000 % | c | 18909 | 2369 2216 105385 | 6655 5029 2081 | 0.000 % | c | 19246 | 2369 2216 105385 | 7320 5366 2081 | 0.000 % | c | 19755 | 2369 2216 105385 | 8052 5875 2081 | 0.000 % | c =============================================================================== c New solution: 4152371 c Elapsed CPU time: 49.0675 s Remaining CPU time: 130.932 s c =============================================================================== c | 19875 | 2369 2217 107495 | 5000 5995 2081 | 0.000 % | c | 19975 | 2369 2217 107495 | 5500 3098 2081 | 0.000 % | c =============================================================================== c New solution: 4152151 c Elapsed CPU time: 49.7584 s Remaining CPU time: 130.242 s c =============================================================================== c | 20089 | 2369 2218 109605 | 5000 3212 2081 | 0.000 % | c | 20189 | 2369 2218 109605 | 5500 3312 2081 | 0.000 % | c | 20341 | 2369 2218 109605 | 6050 3464 2081 | 0.000 % | c =============================================================================== c New solution: 4152070 c Elapsed CPU time: 50.9683 s Remaining CPU time: 129.032 s c =============================================================================== c | 20467 | 2369 2219 111715 | 5000 3590 2081 | 0.000 % | c | 20567 | 2369 2219 111715 | 5500 3690 2081 | 0.000 % | c | 20718 | 2369 2219 111715 | 6050 3841 2081 | 0.000 % | c | 20943 | 2369 2219 111715 | 6655 4066 2081 | 0.000 % | c | 21281 | 2369 2219 111715 | 7320 4404 2081 | 0.000 % | c | 21790 | 2369 2219 111715 | 8052 4913 2081 | 0.000 % | c =============================================================================== c New solution: 4152056 c Elapsed CPU time: 56.8114 s Remaining CPU time: 123.189 s c =============================================================================== c | 22281 | 2369 2220 113825 | 5000 5404 2081 | 0.000 % | c | 22381 | 2369 2220 113825 | 5500 2802 2080 | 0.000 % | c | 22531 | 2369 2220 113825 | 6050 2952 2080 | 0.000 % | c | 22758 | 2369 2220 113825 | 6655 3179 2080 | 0.000 % | c =============================================================================== c New solution: 4151979 c Elapsed CPU time: 59.027 s Remaining CPU time: 120.973 s c =============================================================================== c | 22963 | 2369 2221 115935 | 5000 3384 2080 | 0.000 % | c | 23063 | 2369 2221 115935 | 5500 3484 2080 | 0.000 % | c | 23213 | 2369 2221 115935 | 6050 3634 2080 | 0.000 % | c =============================================================================== c New solution: 4151955 c Elapsed CPU time: 60.5028 s Remaining CPU time: 119.497 s c =============================================================================== c | 23261 | 2369 2222 118045 | 5000 3682 2080 | 0.000 % | c | 23361 | 2369 2222 118045 | 5500 3782 2080 | 0.000 % | c | 23513 | 2369 2222 118045 | 6050 3934 2080 | 0.000 % | c | 23738 | 2369 2222 118045 | 6655 4159 2080 | 0.000 % | c =============================================================================== c New solution: 4151831 c Elapsed CPU time: 63.4314 s Remaining CPU time: 116.569 s c =============================================================================== c | 23900 | 2369 2223 120155 | 5000 4321 2080 | 0.000 % | c | 24002 | 2369 2223 120155 | 5500 4423 2080 | 0.000 % | c =============================================================================== c New solution: 4151803 c Elapsed CPU time: 64.1522 s Remaining CPU time: 115.848 s c =============================================================================== c | 24065 | 2369 2224 122265 | 5000 4486 2080 | 0.000 % | c | 24166 | 2369 2224 122265 | 5500 4587 2080 | 0.000 % | c | 24317 | 2369 2224 122265 | 6050 4738 2080 | 0.000 % | c =============================================================================== c New solution: 4151749 c Elapsed CPU time: 65.676 s Remaining CPU time: 114.324 s c =============================================================================== c | 24393 | 2369 2225 124375 | 5000 4814 2080 | 0.000 % | c | 24495 | 2369 2225 124375 | 5500 4916 2081 | 0.000 % | c | 24645 | 2369 2225 124375 | 6050 5066 2080 | 0.000 % | c | 24870 | 2369 2225 124375 | 6655 5291 2080 | 0.000 % | c | 25208 | 2369 2225 124375 | 7320 5629 2080 | 0.000 % | c | 25714 | 2369 2225 124375 | 8052 6135 2080 | 0.000 % | c =============================================================================== c New solution: 4151568 c Elapsed CPU time: 71.0262 s Remaining CPU time: 108.974 s c =============================================================================== c | 26086 | 2369 2226 126485 | 5000 6507 2080 | 0.000 % | c | 26186 | 2369 2226 126485 | 5500 3354 2080 | 0.000 % | c | 26336 | 2369 2226 126485 | 6050 3504 2080 | 0.000 % | c | 26561 | 2369 2226 126485 | 6655 3729 2080 | 0.000 % | c | 26899 | 2369 2226 126485 | 7320 4067 2080 | 0.000 % | c =============================================================================== c New solution: 4151382 c Elapsed CPU time: 74.2267 s Remaining CPU time: 105.773 s c =============================================================================== c | 27134 | 2369 2227 128595 | 5000 4302 2080 | 0.000 % | c | 27234 | 2369 2227 128595 | 5500 4402 2080 | 0.000 % | c | 27385 | 2369 2227 128595 | 6050 4553 2080 | 0.000 % | c =============================================================================== c New solution: 4151317 c Elapsed CPU time: 75.8725 s Remaining CPU time: 104.128 s c =============================================================================== c | 27478 | 2369 2228 130705 | 5000 4646 2080 | 0.000 % | c | 27578 | 2369 2228 130705 | 5500 4746 2080 | 0.000 % | c | 27728 | 2369 2228 130705 | 6050 4896 2080 | 0.000 % | c | 27955 | 2369 2228 130705 | 6655 5123 2080 | 0.000 % | c | 28293 | 2369 2228 130705 | 7320 5461 2080 | 0.000 % | c | 28800 | 2369 2228 130705 | 8052 5968 2080 | 0.000 % | c =============================================================================== c New solution: 4151174 c Elapsed CPU time: 81.6276 s Remaining CPU time: 98.3724 s c =============================================================================== c | 29173 | 2369 2229 132815 | 5000 6341 2080 | 0.000 % | c | 29274 | 2369 2229 132815 | 5500 3272 2080 | 0.000 % | c | 29429 | 2369 2229 132815 | 6050 3427 2080 | 0.000 % | c | 29654 | 2369 2229 132815 | 6655 3652 2080 | 0.000 % | c | 29992 | 2369 2229 132815 | 7320 3990 2080 | 0.000 % | c | 30498 | 2369 2229 132815 | 8052 4496 2080 | 0.000 % | c =============================================================================== c New solution: 4151161 c Elapsed CPU time: 88.0336 s Remaining CPU time: 91.9664 s c =============================================================================== c | 31083 | 2369 2230 134925 | 5000 5081 2080 | 0.000 % | c | 31183 | 2369 2230 134925 | 5500 2641 2080 | 0.000 % | c | 31333 | 2369 2230 134925 | 6050 2791 2080 | 0.000 % | c | 31558 | 2369 2230 134925 | 6655 3016 2080 | 0.000 % | c =============================================================================== c New solution: 4150978 c Elapsed CPU time: 90.2153 s Remaining CPU time: 89.7847 s c =============================================================================== c | 31691 | 2369 2231 137035 | 5000 3149 2080 | 0.000 % | c | 31791 | 2369 2231 137035 | 5500 3249 2080 | 0.000 % | c | 31941 | 2369 2231 137035 | 6050 3399 2079 | 0.000 % | c | 32167 | 2369 2231 137035 | 6655 3625 2079 | 0.000 % | c | 32505 | 2369 2231 137035 | 7320 3963 2079 | 0.000 % | c =============================================================================== c New solution: 4150825 c Elapsed CPU time: 94.5256 s Remaining CPU time: 85.4744 s c =============================================================================== c | 33006 | 2369 2232 139145 | 5000 4464 2079 | 0.000 % | c | 33108 | 2369 2232 139145 | 5500 4566 2079 | 0.000 % | c | 33258 | 2369 2232 139145 | 6050 4716 2079 | 0.000 % | c | 33483 | 2369 2232 139145 | 6655 4941 2079 | 0.000 % | c | 33820 | 2369 2232 139145 | 7320 5278 2079 | 0.000 % | c =============================================================================== c New solution: 4150821 c Elapsed CPU time: 99.2319 s Remaining CPU time: 80.7681 s c =============================================================================== c | 34170 | 2369 2233 141255 | 5000 5628 2079 | 0.000 % | c | 34271 | 2369 2233 141255 | 5500 2915 2078 | 0.000 % | c | 34423 | 2369 2233 141255 | 6050 3067 2078 | 0.000 % | c =============================================================================== c New solution: 4150188 c Elapsed CPU time: 100.219 s Remaining CPU time: 79.7812 s c =============================================================================== c | 34432 | 2369 2234 143365 | 5000 3076 2078 | 0.000 % | c =============================================================================== c New solution: 4150147 c Elapsed CPU time: 100.393 s Remaining CPU time: 79.6073 s c =============================================================================== c | 34471 | 2369 2235 145475 | 5000 3115 2078 | 0.000 % | c | 34572 | 2369 2235 145475 | 5500 3216 2078 | 0.000 % | c =============================================================================== c New solution: 4149832 c Elapsed CPU time: 101.012 s Remaining CPU time: 78.9884 s c =============================================================================== c | 34643 | 2369 2236 147585 | 5000 3287 2078 | 0.000 % | c | 34744 | 2369 2236 147585 | 5500 3388 2078 | 0.000 % | c | 34894 | 2369 2236 147585 | 6050 3538 2078 | 0.000 % | c | 35119 | 2369 2236 147585 | 6655 3763 2078 | 0.000 % | c | 35456 | 2369 2236 147585 | 7320 4100 2078 | 0.000 % | c | 35965 | 2369 2236 147585 | 8052 4609 2078 | 0.000 % | c =============================================================================== c New solution: 4149823 c Elapsed CPU time: 104.917 s Remaining CPU time: 75.0829 s c =============================================================================== c | 36065 | 2369 2237 149695 | 5000 4709 2078 | 0.000 % | c | 36165 | 2369 2237 149695 | 5500 4809 2078 | 0.000 % | c | 36317 | 2369 2237 149695 | 6050 4961 2078 | 0.000 % | c | 36543 | 2369 2237 149695 | 6655 5187 2078 | 0.000 % | c | 36881 | 2369 2237 149695 | 7320 5525 2078 | 0.000 % | c | 37389 | 2369 2237 149695 | 8052 6033 2078 | 0.000 % | c | 38148 | 2369 2237 149695 | 8857 6792 2078 | 0.000 % | c | 39287 | 2369 2237 149695 | 9743 7931 2078 | 0.000 % | c =============================================================================== c New solution: 4149702 c Elapsed CPU time: 115.608 s Remaining CPU time: 64.3916 s c =============================================================================== c | 40102 | 2369 2238 151805 | 5000 8746 2078 | 0.000 % | c | 40203 | 2369 2238 151805 | 5500 4474 2078 | 0.000 % | c =============================================================================== c New solution: 4149464 c Elapsed CPU time: 116.639 s Remaining CPU time: 63.3607 s c =============================================================================== c | 40338 | 2369 2239 153915 | 5000 4609 2078 | 0.000 % | c | 40438 | 2369 2239 153915 | 5500 4709 2078 | 0.000 % | c | 40589 | 2369 2239 153915 | 6050 4860 2078 | 0.000 % | c | 40814 | 2369 2239 153915 | 6655 5085 2078 | 0.000 % | c | 41152 | 2369 2239 153915 | 7320 5423 2078 | 0.000 % | c | 41658 | 2369 2239 153915 | 8052 5929 2078 | 0.000 % | c =============================================================================== c New solution: 4149308 c Elapsed CPU time: 121.426 s Remaining CPU time: 58.5745 s c =============================================================================== c | 42058 | 2369 2240 156025 | 5000 6329 2078 | 0.000 % | c | 42160 | 2369 2240 156025 | 5500 3267 2078 | 0.000 % | c | 42311 | 2369 2240 156025 | 6050 3418 2078 | 0.000 % | c | 42536 | 2369 2240 156025 | 6655 3643 2078 | 0.000 % | c | 42876 | 2369 2240 156025 | 7320 3983 2078 | 0.000 % | c | 43382 | 2369 2240 156025 | 8052 4489 2078 | 0.000 % | c | 44141 | 2369 2240 156025 | 8857 5248 2078 | 0.000 % | c =============================================================================== c New solution: 4149253 c Elapsed CPU time: 130.048 s Remaining CPU time: 49.9518 s c =============================================================================== c | 44750 | 2369 2241 158135 | 5000 5857 2078 | 0.000 % | c | 44851 | 2369 2241 158135 | 5500 3030 2078 | 0.000 % | c | 45005 | 2369 2241 158135 | 6050 3184 2079 | 0.000 % | c | 45230 | 2369 2241 158135 | 6655 3409 2079 | 0.000 % | c =============================================================================== c New solution: 4149188 c Elapsed CPU time: 131.965 s Remaining CPU time: 48.0351 s c =============================================================================== c | 45430 | 2369 2242 160245 | 5000 3609 2079 | 0.000 % | c | 45532 | 2369 2242 160245 | 5500 3711 2079 | 0.000 % | c | 45683 | 2369 2242 160245 | 6050 3862 2079 | 0.000 % | c =============================================================================== c New solution: 4149125 c Elapsed CPU time: 133.325 s Remaining CPU time: 46.6753 s c =============================================================================== c | 45872 | 2369 2243 162355 | 5000 4051 2079 | 0.000 % | c | 45972 | 2369 2243 162355 | 5500 4151 2079 | 0.000 % | c | 46123 | 2369 2243 162355 | 6050 4302 2079 | 0.000 % | c | 46348 | 2369 2243 162355 | 6655 4527 2079 | 0.000 % |