c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 2500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2500 | c | Number Clauses: 2500 | 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 | 2476 2504 7343 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 0 | 2476 2505 9693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 2476 2506 12043 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 2476 2507 14393 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 2476 2508 16743 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 2476 2509 19093 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 2476 2510 21443 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2344 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s c =============================================================================== c | 0 | 2476 2511 23793 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 2476 2512 26143 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2342 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 2476 2513 28493 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2341 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 2476 2514 30843 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 2476 2515 33193 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s c =============================================================================== c | 0 | 2476 2516 35543 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 2476 2517 37893 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 2476 2518 40243 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 0.094985 s Remaining CPU time: 179.905 s c =============================================================================== c | 1 | 2476 2519 42593 | 5000 1 2338 | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 1 | 2476 2520 44943 | 5000 1 2338 | 0.000 % | c =============================================================================== c New solution: 2334 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 1 | 2476 2521 47293 | 5000 1 2338 | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 1 | 2476 2522 49643 | 5000 1 2338 | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s c =============================================================================== c | 1 | 2476 2523 51993 | 5000 1 2338 | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 1 | 2476 2524 54343 | 5000 1 2338 | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 2 | 2476 2525 56693 | 5000 2 2335 | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s c =============================================================================== c | 2 | 2476 2526 59043 | 5000 2 2335 | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 0.19197 s Remaining CPU time: 179.808 s c =============================================================================== c | 2 | 2476 2527 61393 | 5000 2 2335 | 0.000 % | c =============================================================================== c New solution: 2327 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s c =============================================================================== c | 2 | 2476 2528 63743 | 5000 2 2335 | 0.000 % | c =============================================================================== c New solution: 2326 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s c =============================================================================== c | 4 | 2476 2529 66093 | 5000 4 2332 | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 0.248962 s Remaining CPU time: 179.751 s c =============================================================================== c | 5 | 2476 2530 68443 | 5000 5 1866 | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s c =============================================================================== c | 5 | 2476 2531 70793 | 5000 5 1866 | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 0.288956 s Remaining CPU time: 179.711 s c =============================================================================== c | 6 | 2476 2532 73143 | 5000 6 1942 | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 0.310952 s Remaining CPU time: 179.689 s c =============================================================================== c | 6 | 2476 2533 75493 | 5000 6 1942 | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 0.331949 s Remaining CPU time: 179.668 s c =============================================================================== c | 7 | 2476 2534 77843 | 5000 7 1997 | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s c =============================================================================== c | 7 | 2476 2535 80193 | 5000 7 1997 | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 0.376942 s Remaining CPU time: 179.623 s c =============================================================================== c | 8 | 2476 2536 82543 | 5000 8 2037 | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 0.402938 s Remaining CPU time: 179.597 s c =============================================================================== c | 8 | 2476 2537 84893 | 5000 8 2037 | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 0.425935 s Remaining CPU time: 179.574 s c =============================================================================== c | 8 | 2476 2538 87243 | 5000 8 2037 | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 0.45393 s Remaining CPU time: 179.546 s c =============================================================================== c | 8 | 2476 2539 89593 | 5000 8 2037 | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 0.478927 s Remaining CPU time: 179.521 s c =============================================================================== c | 8 | 2476 2540 91943 | 5000 8 2037 | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 0.504923 s Remaining CPU time: 179.495 s c =============================================================================== c | 8 | 2476 2541 94293 | 5000 8 2037 | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 0.531919 s Remaining CPU time: 179.468 s c =============================================================================== c | 9 | 2476 2542 96643 | 5000 9 2068 | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 0.559914 s Remaining CPU time: 179.44 s c =============================================================================== c | 9 | 2476 2543 98993 | 5000 9 2068 | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s c =============================================================================== c | 9 | 2476 2544 101343 | 5000 9 2068 | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 0.621905 s Remaining CPU time: 179.378 s c =============================================================================== c | 9 | 2476 2545 103693 | 5000 9 2068 | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 0.6569 s Remaining CPU time: 179.343 s c =============================================================================== c | 9 | 2476 2546 106043 | 5000 9 2068 | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 0.690894 s Remaining CPU time: 179.309 s c =============================================================================== c | 10 | 2476 2547 108393 | 5000 10 2092 | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s c =============================================================================== c | 10 | 2476 2548 110743 | 5000 10 2092 | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 0.761884 s Remaining CPU time: 179.238 s c =============================================================================== c | 10 | 2476 2549 113093 | 5000 10 2092 | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 0.798878 s Remaining CPU time: 179.201 s c =============================================================================== c | 10 | 2476 2550 115443 | 5000 10 2092 | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 0.836872 s Remaining CPU time: 179.163 s c =============================================================================== c | 11 | 2476 2551 117793 | 5000 11 2112 | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s c =============================================================================== c | 11 | 2476 2552 120143 | 5000 11 2112 | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 0.91486 s Remaining CPU time: 179.085 s c =============================================================================== c | 12 | 2476 2553 122493 | 5000 12 2128 | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 0.957854 s Remaining CPU time: 179.042 s c =============================================================================== c | 12 | 2476 2554 124843 | 5000 12 2128 | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 1.00485 s Remaining CPU time: 178.995 s c =============================================================================== c | 18 | 2476 2555 127193 | 5000 18 2186 | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 1.04684 s Remaining CPU time: 178.953 s c =============================================================================== c | 18 | 2476 2556 129543 | 5000 18 2186 | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 18 | 2476 2557 131893 | 5000 18 2186 | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 1.13883 s Remaining CPU time: 178.861 s c =============================================================================== c | 18 | 2476 2558 134243 | 5000 18 2186 | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 1.18482 s Remaining CPU time: 178.815 s c =============================================================================== c | 21 | 2476 2559 136593 | 5000 21 2202 | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 1.22981 s Remaining CPU time: 178.77 s c =============================================================================== c | 22 | 2476 2560 138943 | 5000 22 2206 | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 1.2808 s Remaining CPU time: 178.719 s c =============================================================================== c | 25 | 2476 2561 141293 | 5000 25 2217 | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 1.3328 s Remaining CPU time: 178.667 s c =============================================================================== c | 26 | 2476 2562 143643 | 5000 26 2220 | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 1.38679 s Remaining CPU time: 178.613 s c =============================================================================== c | 32 | 2476 2563 145993 | 5000 32 2234 | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 1.43878 s Remaining CPU time: 178.561 s c =============================================================================== c | 33 | 2476 2564 148343 | 5000 33 2236 | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 1.49577 s Remaining CPU time: 178.504 s c =============================================================================== c | 40 | 2476 2565 150693 | 5000 40 2245 | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 1.55176 s Remaining CPU time: 178.448 s c =============================================================================== c | 42 | 2476 2566 153043 | 5000 42 2248 | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 1.61175 s Remaining CPU time: 178.388 s c =============================================================================== c | 44 | 2476 2567 155393 | 5000 44 2250 | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s c =============================================================================== c | 46 | 2476 2568 157743 | 5000 46 2251 | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 1.74573 s Remaining CPU time: 178.254 s c =============================================================================== c | 61 | 2476 2569 160093 | 5000 61 2260 | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 1.80773 s Remaining CPU time: 178.192 s c =============================================================================== c | 62 | 2476 2570 162443 | 5000 62 2261 | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 1.87372 s Remaining CPU time: 178.126 s c =============================================================================== c | 67 | 2476 2571 164793 | 5000 67 2263 | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 1.9427 s Remaining CPU time: 178.057 s c =============================================================================== c | 70 | 2476 2572 167143 | 5000 70 2264 | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 2.00969 s Remaining CPU time: 177.99 s c =============================================================================== c | 71 | 2476 2573 169493 | 5000 71 2264 | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 76 | 2476 2574 171843 | 5000 76 2265 | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 2.15167 s Remaining CPU time: 177.848 s c =============================================================================== c | 87 | 2476 2575 174193 | 5000 87 2267 | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 2.22366 s Remaining CPU time: 177.776 s c =============================================================================== c | 94 | 2476 2576 176543 | 5000 94 2268 | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 2.29465 s Remaining CPU time: 177.705 s c =============================================================================== c | 96 | 2476 2577 178893 | 5000 96 2269 | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 2.36764 s Remaining CPU time: 177.632 s c =============================================================================== c | 103 | 2476 2578 181243 | 5000 103 2269 | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 2.45263 s Remaining CPU time: 177.547 s c =============================================================================== c | 120 | 2476 2579 183593 | 5000 120 2271 | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 2.52162 s Remaining CPU time: 177.478 s c =============================================================================== c | 120 | 2476 2580 185943 | 5000 120 2271 | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 2.6256 s Remaining CPU time: 177.374 s c =============================================================================== c | 152 | 2476 2581 188293 | 5000 152 2272 | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 2.74058 s Remaining CPU time: 177.259 s c =============================================================================== c | 201 | 2476 2582 190643 | 5000 201 2261 | 0.000 % | c | 302 | 2476 2582 190643 | 5500 302 2266 | 0.960 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 2.98754 s Remaining CPU time: 177.012 s c =============================================================================== c | 332 | 2476 2583 192993 | 5000 332 2260 | 0.960 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 3.08653 s Remaining CPU time: 176.913 s c =============================================================================== c | 371 | 2476 2584 195343 | 5000 371 2261 | 0.960 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 3.16552 s Remaining CPU time: 176.834 s c =============================================================================== c | 373 | 2476 2585 197693 | 5000 373 2261 | 0.960 % | c | 473 | 2476 2585 197693 | 5500 473 2263 | 0.960 % | c | 623 | 2476 2585 197693 | 6050 623 2265 | 0.960 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 3.67544 s Remaining CPU time: 176.325 s c =============================================================================== c | 694 | 2476 2586 200043 | 5000 694 2266 | 0.960 % | c | 794 | 2476 2586 200043 | 5500 794 2267 | 0.960 % | c | 944 | 2476 2586 200043 | 6050 944 2267 | 0.960 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 4.13037 s Remaining CPU time: 175.87 s c =============================================================================== c | 981 | 2476 2587 202393 | 5000 981 2267 | 0.960 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 4.24036 s Remaining CPU time: 175.76 s c =============================================================================== c | 1018 | 2476 2588 204743 | 5000 1018 2268 | 0.960 % | c | 1118 | 2476 2588 204743 | 5500 1118 2268 | 0.960 % | c | 1268 | 2476 2588 204743 | 6050 1268 2268 | 0.960 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 4.69029 s Remaining CPU time: 175.31 s c =============================================================================== c | 1280 | 2476 2589 207093 | 5000 1280 2268 | 0.960 % | c | 1381 | 2476 2589 207093 | 5500 1381 2268 | 0.960 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 5.07023 s Remaining CPU time: 174.93 s c =============================================================================== c | 1521 | 2476 2590 209443 | 5000 1521 2268 | 0.960 % | c | 1621 | 2476 2590 209443 | 5500 1621 2268 | 0.960 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 5.39718 s Remaining CPU time: 174.603 s c =============================================================================== c | 1720 | 2476 2591 211793 | 5000 1720 2268 | 0.960 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 5.54116 s Remaining CPU time: 174.459 s c =============================================================================== c | 1807 | 2476 2592 214143 | 5000 1807 2268 | 0.960 % | c | 1908 | 2476 2592 214143 | 5500 1908 2267 | 0.960 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 5.80412 s Remaining CPU time: 174.196 s c =============================================================================== c | 1922 | 2476 2593 216493 | 5000 1922 2267 | 0.960 % | c | 2022 | 2476 2593 216493 | 5500 2022 2267 | 0.960 % | c | 2172 | 2476 2593 216493 | 6050 2172 2267 | 0.960 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 6.30304 s Remaining CPU time: 173.697 s c =============================================================================== c | 2259 | 2476 2594 218843 | 5000 2259 2267 | 0.960 % | c | 2360 | 2476 2594 218843 | 5500 2360 2267 | 0.960 % | c | 2510 | 2476 2594 218843 | 6050 2510 2266 | 0.960 % | c | 2735 | 2476 2594 218843 | 6655 2735 2266 | 0.960 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 7.14991 s Remaining CPU time: 172.85 s c =============================================================================== c | 2809 | 2476 2595 221193 | 5000 2809 2266 | 0.960 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 7.27689 s Remaining CPU time: 172.723 s c =============================================================================== c | 2863 | 2476 2596 223543 | 5000 2863 2266 | 0.960 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 7.41787 s Remaining CPU time: 172.582 s c =============================================================================== c | 2929 | 2476 2597 225893 | 5000 2929 2266 | 0.960 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 7.53985 s Remaining CPU time: 172.46 s c =============================================================================== c | 2964 | 2476 2598 228243 | 5000 2964 2266 | 0.960 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 7.69283 s Remaining CPU time: 172.307 s c =============================================================================== c | 3026 | 2476 2599 230593 | 5000 3026 2266 | 0.960 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 7.85281 s Remaining CPU time: 172.147 s c =============================================================================== c | 3118 | 2476 2600 232943 | 5000 3118 2265 | 0.960 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 7.99578 s Remaining CPU time: 172.004 s c =============================================================================== c | 3176 | 2476 2601 235293 | 5000 3176 2265 | 0.960 % | c | 3276 | 2476 2601 235293 | 5500 3276 2265 | 0.960 % | c | 3426 | 2476 2601 235293 | 6050 3426 2264 | 0.960 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 8.5237 s Remaining CPU time: 171.476 s c =============================================================================== c | 3511 | 2476 2602 237643 | 5000 3511 2264 | 0.960 % | c | 3611 | 2476 2602 237643 | 5500 3611 2264 | 0.960 % | c | 3761 | 2476 2602 237643 | 6050 3761 2264 | 0.960 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 9.13461 s Remaining CPU time: 170.865 s c =============================================================================== c | 3869 | 2476 2603 239993 | 5000 3869 2263 | 0.960 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 9.31858 s Remaining CPU time: 170.681 s c =============================================================================== c | 3962 | 2476 2604 242343 | 5000 3962 2263 | 0.960 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 9.44356 s Remaining CPU time: 170.556 s c =============================================================================== c | 4005 | 2476 2605 244693 | 5000 4005 2263 | 0.960 % | c | 4105 | 2476 2605 244693 | 5500 4105 2263 | 0.960 % | c | 4257 | 2476 2605 244693 | 6050 4257 2262 | 0.960 % | c | 4482 | 2476 2605 244693 | 6655 4482 2261 | 0.960 % | c | 4820 | 2476 2605 244693 | 7320 4820 2261 | 0.960 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 10.6894 s Remaining CPU time: 169.311 s c =============================================================================== c | 4922 | 2476 2606 247043 | 5000 4922 2260 | 0.960 % | c | 5022 | 2476 2606 247043 | 5500 5022 2260 | 0.960 % | c | 5172 | 2476 2606 247043 | 6050 5172 2260 | 0.960 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 11.2983 s Remaining CPU time: 168.702 s c =============================================================================== c | 5228 | 2476 2607 249393 | 5000 5228 2260 | 0.960 % | c | 5328 | 2476 2607 249393 | 5500 2714 2252 | 0.960 % | c | 5478 | 2476 2607 249393 | 6050 2864 2252 | 0.960 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 11.9072 s Remaining CPU time: 168.093 s c =============================================================================== c | 5509 | 2476 2608 251743 | 5000 2895 2252 | 0.960 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 12.0562 s Remaining CPU time: 167.944 s c =============================================================================== c | 5551 | 2476 2609 254093 | 5000 2937 2252 | 0.960 % | c | 5651 | 2476 2609 254093 | 5500 3037 2251 | 0.960 % | c | 5802 | 2476 2609 254093 | 6050 3188 2251 | 0.960 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 12.6091 s Remaining CPU time: 167.391 s c =============================================================================== c | 5837 | 2476 2610 256443 | 5000 3223 2251 | 0.960 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 12.7681 s Remaining CPU time: 167.232 s c =============================================================================== c | 5922 | 2476 2611 258793 | 5000 3308 2251 | 0.960 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 12.891 s Remaining CPU time: 167.109 s c =============================================================================== c | 5945 | 2476 2612 261143 | 5000 3331 2251 | 0.960 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 13.043 s Remaining CPU time: 166.957 s c =============================================================================== c | 6011 | 2476 2613 263493 | 5000 3397 2251 | 0.960 % | c | 6112 | 2476 2613 263493 | 5500 3498 2251 | 0.960 % | c | 6262 | 2476 2613 263493 | 6050 3648 2250 | 0.960 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 13.6759 s Remaining CPU time: 166.324 s c =============================================================================== c | 6313 | 2476 2614 265843 | 5000 3699 2250 | 0.960 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 13.8009 s Remaining CPU time: 166.199 s c =============================================================================== c | 6343 | 2476 2615 268193 | 5000 3729 2250 | 0.960 % | c | 6443 | 2476 2615 268193 | 5500 3829 2250 | 0.960 % | c | 6594 | 2476 2615 268193 | 6050 3980 2250 | 0.960 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 14.4758 s Remaining CPU time: 165.524 s c =============================================================================== c | 6790 | 2476 2616 270543 | 5000 4176 2249 | 0.960 % | c | 6890 | 2476 2616 270543 | 5500 4276 2249 | 0.960 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 14.8607 s Remaining CPU time: 165.139 s c =============================================================================== c | 7004 | 2476 2617 272893 | 5000 4390 2249 | 0.960 % | c | 7105 | 2476 2617 272893 | 5500 4491 2249 | 0.960 % | c | 7255 | 2476 2617 272893 | 6050 4641 2248 | 0.960 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 15.5046 s Remaining CPU time: 164.495 s c =============================================================================== c | 7384 | 2476 2618 275243 | 5000 4770 2248 | 0.960 % | c | 7484 | 2476 2618 275243 | 5500 4870 2248 | 0.960 % | c | 7634 | 2476 2618 275243 | 6050 5020 2248 | 0.960 % | c | 7859 | 2476 2618 275243 | 6655 5245 2247 | 0.960 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 16.3825 s Remaining CPU time: 163.617 s c =============================================================================== c | 7895 | 2476 2619 277593 | 5000 5281 2247 | 0.960 % | c | 7995 | 2476 2619 277593 | 5500 2741 2240 | 0.960 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 16.7225 s Remaining CPU time: 163.278 s c =============================================================================== c | 8026 | 2476 2620 279943 | 5000 2772 2240 | 0.960 % | c | 8126 | 2476 2620 279943 | 5500 2872 2240 | 0.960 % | c | 8276 | 2476 2620 279943 | 6050 3022 2240 | 0.960 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 17.3944 s Remaining CPU time: 162.606 s c =============================================================================== c | 8379 | 2476 2621 282293 | 5000 3125 2240 | 0.960 % | c | 8479 | 2476 2621 282293 | 5500 3225 2240 | 0.960 % | c | 8629 | 2476 2621 282293 | 6050 3375 2239 | 0.960 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 18.0233 s Remaining CPU time: 161.977 s c =============================================================================== c | 8736 | 2476 2622 284643 | 5000 3482 2239 | 0.960 % | c | 8836 | 2476 2622 284643 | 5500 3582 2239 | 0.960 % | c | 8986 | 2476 2622 284643 | 6050 3732 2239 | 0.960 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 18.7252 s Remaining CPU time: 161.275 s c =============================================================================== c | 9209 | 2476 2623 286993 | 5000 3955 2238 | 0.960 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 18.9241 s Remaining CPU time: 161.076 s c =============================================================================== c | 9302 | 2476 2624 289343 | 5000 4048 2238 | 0.960 % | c | 9402 | 2476 2624 289343 | 5500 4148 2238 | 0.960 % | c | 9553 | 2476 2624 289343 | 6050 4299 2238 | 0.960 % | c | 9778 | 2476 2624 289343 | 6655 4524 2238 | 0.960 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 20.3819 s Remaining CPU time: 159.618 s c =============================================================================== c | 10036 | 2476 2625 291693 | 5000 4782 2237 | 0.960 % | c | 10136 | 2476 2625 291693 | 5500 4882 2237 | 0.960 % | c | 10286 | 2476 2625 291693 | 6050 5032 2237 | 0.960 % | c | 10511 | 2476 2625 291693 | 6655 5257 2237 | 0.960 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 21.4517 s Remaining CPU time: 158.548 s c =============================================================================== c | 10568 | 2476 2626 294043 | 5000 5314 2237 | 0.960 % | c | 10669 | 2476 2626 294043 | 5500 2758 2232 | 0.960 % | c | 10820 | 2476 2626 294043 | 6050 2909 2232 | 0.960 % | c | 11046 | 2476 2626 294043 | 6655 3135 2232 | 0.960 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 22.4796 s Remaining CPU time: 157.52 s c =============================================================================== c | 11205 | 2476 2627 296393 | 5000 3294 2232 | 0.960 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 22.7015 s Remaining CPU time: 157.298 s c =============================================================================== c | 11267 | 2476 2628 298743 | 5000 3356 2232 | 0.960 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 22.8395 s Remaining CPU time: 157.16 s c =============================================================================== c | 11294 | 2476 2629 301093 | 5000 3383 2232 | 0.960 % | c | 11394 | 2476 2629 301093 | 5500 3483 2232 | 0.960 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 23.2105 s Remaining CPU time: 156.79 s c =============================================================================== c | 11427 | 2476 2630 303443 | 5000 3516 2232 | 0.960 % | c | 11528 | 2476 2630 303443 | 5500 3617 2232 | 0.960 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 23.7384 s Remaining CPU time: 156.262 s c =============================================================================== c | 11649 | 2476 2631 305793 | 5000 3738 2232 | 0.960 % | c | 11749 | 2476 2631 305793 | 5500 3838 2231 | 0.960 % | c | 11899 | 2476 2631 305793 | 6050 3988 2231 | 0.960 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 24.6303 s Remaining CPU time: 155.37 s c =============================================================================== c | 12114 | 2476 2632 308143 | 5000 4203 2231 | 0.960 % | c | 12214 | 2476 2632 308143 | 5500 4303 2231 | 0.960 % | c | 12364 | 2476 2632 308143 | 6050 4453 2231 | 0.960 % | c | 12590 | 2476 2632 308143 | 6655 4679 2230 | 0.960 % | c | 12927 | 2476 2632 308143 | 7320 5016 2230 | 0.960 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 26.208 s Remaining CPU time: 153.792 s c =============================================================================== c | 13003 | 2476 2633 310493 | 5000 5092 2230 | 0.960 % | c | 13103 | 2476 2633 310493 | 5500 2646 2225 | 0.960 % | c | 13253 | 2476 2633 310493 | 6050 2796 2225 | 0.960 % | c | 13478 | 2476 2633 310493 | 6655 3021 2225 | 0.960 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 27.4088 s Remaining CPU time: 152.591 s c =============================================================================== c | 13615 | 2476 2634 312843 | 5000 3158 2225 | 0.960 % | c | 13715 | 2476 2634 312843 | 5500 3258 2225 | 0.960 % | c | 13865 | 2476 2634 312843 | 6050 3408 2225 | 0.960 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 28.1677 s Remaining CPU time: 151.832 s c =============================================================================== c | 13927 | 2476 2635 315193 | 5000 3470 2225 | 0.960 % | c | 14027 | 2476 2635 315193 | 5500 3570 2225 | 0.960 % | c | 14178 | 2476 2635 315193 | 6050 3721 2225 | 0.960 % | c | 14403 | 2476 2635 315193 | 6655 3946 2225 | 0.960 % | c | 14740 | 2476 2635 315193 | 7320 4283 2224 | 0.960 % | c | 15246 | 2476 2635 315193 | 8052 4789 2224 | 0.960 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 30.6463 s Remaining CPU time: 149.354 s c =============================================================================== c | 15408 | 2476 2636 317543 | 5000 4951 2224 | 0.960 % | c | 15508 | 2476 2636 317543 | 5500 5051 2224 | 0.960 % | c | 15658 | 2476 2636 317543 | 6050 5201 2224 | 0.960 % | c | 15884 | 2476 2636 317543 | 6655 5427 2224 | 0.960 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 31.7962 s Remaining CPU time: 148.204 s c =============================================================================== c | 15959 | 2476 2637 319893 | 5000 5502 2224 | 0.960 % | c | 16059 | 2476 2637 319893 | 5500 2851 2220 | 0.960 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 32.2271 s Remaining CPU time: 147.773 s c =============================================================================== c | 16143 | 2476 2638 322243 | 5000 2935 2220 | 0.960 % | c | 16244 | 2476 2638 322243 | 5500 3036 2220 | 0.960 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 32.661 s Remaining CPU time: 147.339 s c =============================================================================== c | 16265 | 2476 2639 324593 | 5000 3057 2220 | 0.960 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 32.838 s Remaining CPU time: 147.162 s c =============================================================================== c | 16324 | 2476 2640 326943 | 5000 3116 2220 | 0.960 % | c | 16424 | 2476 2640 326943 | 5500 3216 2220 | 0.960 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 33.3539 s Remaining CPU time: 146.646 s c =============================================================================== c | 16538 | 2476 2641 329293 | 5000 3330 2220 | 0.960 % | c | 16639 | 2476 2641 329293 | 5500 3431 2220 | 0.960 % | c | 16789 | 2476 2641 329293 | 6050 3581 2220 | 0.960 % | c | 17014 | 2476 2641 329293 | 6655 3806 2219 | 0.960 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 34.5567 s Remaining CPU time: 145.443 s c =============================================================================== c | 17152 | 2476 2642 331643 | 5000 3944 2219 | 0.960 % | c | 17252 | 2476 2642 331643 | 5500 4044 2219 | 0.960 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 34.9677 s Remaining CPU time: 145.032 s c =============================================================================== c | 17301 | 2476 2643 333993 | 5000 4093 2219 | 0.960 % | c | 17401 | 2476 2643 333993 | 5500 4193 2219 | 0.960 % | c | 17551 | 2476 2643 333993 | 6050 4343 2219 | 0.960 % | c | 17776 | 2476 2643 333993 | 6655 4568 2219 | 0.960 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 36.0045 s Remaining CPU time: 143.995 s c =============================================================================== c | 17802 | 2476 2644 336343 | 5000 4594 2219 | 0.960 % | c | 17903 | 2476 2644 336343 | 5500 4695 2218 | 0.960 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 36.3935 s Remaining CPU time: 143.607 s c =============================================================================== c | 17930 | 2476 2645 338693 | 5000 4722 2218 | 0.960 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 36.6024 s Remaining CPU time: 143.398 s c =============================================================================== c | 17999 | 2476 2646 341043 | 5000 4791 2218 | 0.960 % | c | 18100 | 2476 2646 341043 | 5500 4892 2218 | 0.960 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 37.1104 s Remaining CPU time: 142.89 s c =============================================================================== c | 18205 | 2476 2647 343393 | 5000 4997 2218 | 0.960 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 37.3423 s Remaining CPU time: 142.658 s c =============================================================================== c | 18281 | 2476 2648 345743 | 5000 5073 2218 | 0.960 % | c | 18381 | 2476 2648 345743 | 5500 2637 2213 | 0.960 % | c | 18532 | 2476 2648 345743 | 6050 2788 2213 | 0.960 % | c | 18757 | 2476 2648 345743 | 6655 3013 2213 | 0.960 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 38.5721 s Remaining CPU time: 141.428 s c =============================================================================== c | 18956 | 2476 2649 348093 | 5000 3212 2212 | 0.960 % | c | 19056 | 2476 2649 348093 | 5500 3312 2212 | 0.960 % | c | 19207 | 2476 2649 348093 | 6050 3463 2212 | 0.960 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 39.294 s Remaining CPU time: 140.706 s c =============================================================================== c | 19257 | 2476 2650 350443 | 5000 3513 2211 | 0.960 % | c | 19358 | 2476 2650 350443 | 5500 3614 2211 | 0.960 % | c | 19510 | 2476 2650 350443 | 6050 3766 2211 | 0.960 % | c | 19735 | 2476 2650 350443 | 6655 3991 2210 | 0.960 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 40.5128 s Remaining CPU time: 139.487 s c =============================================================================== c | 19846 | 2476 2651 352793 | 5000 4102 2210 | 0.960 % | c | 19947 | 2476 2651 352793 | 5500 4203 2210 | 0.960 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 40.9918 s Remaining CPU time: 139.008 s c =============================================================================== c | 20047 | 2476 2652 355143 | 5000 4303 2210 | 0.960 % | c | 20148 | 2476 2652 355143 | 5500 4404 2210 | 0.960 % | c | 20298 | 2476 2652 355143 | 6050 4554 2210 | 0.960 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 41.8196 s Remaining CPU time: 138.18 s c =============================================================================== c | 20393 | 2476 2653 357493 | 5000 4649 2210 | 0.960 % | c | 20493 | 2476 2653 357493 | 5500 4749 2209 | 0.960 % | c | 20643 | 2476 2653 357493 | 6050 4899 2209 | 0.960 % | c | 20868 | 2476 2653 357493 | 6655 5124 2209 | 0.960 % | c | 21206 | 2476 2653 357493 | 7320 5462 2209 | 0.960 % | c | 21712 | 2476 2653 357493 | 8052 5968 2208 | 0.960 % | c | 22471 | 2476 2653 357493 | 8857 6727 2208 | 0.960 % | c | 23610 | 2476 2653 357493 | 9743 7866 2207 | 0.960 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 47.0918 s Remaining CPU time: 132.908 s c =============================================================================== c | 24085 | 2476 2654 359843 | 5000 8341 2207 | 0.960 % | c | 24185 | 2476 2654 359843 | 5500 4271 2202 | 0.960 % | c | 24335 | 2476 2654 359843 | 6050 4421 2202 | 0.960 % | c | 24560 | 2476 2654 359843 | 6655 4646 2202 | 0.960 % | c | 24897 | 2476 2654 359843 | 7320 4983 2202 | 0.960 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 48.8996 s Remaining CPU time: 131.1 s c =============================================================================== c | 25112 | 2476 2655 362193 | 5000 5198 2202 | 0.960 % | c | 25212 | 2476 2655 362193 | 5500 2699 2201 | 0.960 % | c | 25362 | 2476 2655 362193 | 6050 2849 2201 | 0.960 % | c | 25587 | 2476 2655 362193 | 6655 3074 2201 | 0.960 % | c | 25924 | 2476 2655 362193 | 7320 3411 2201 | 0.960 % | c | 26430 | 2476 2655 362193 | 8052 3917 2201 | 0.960 % | c | 27189 | 2476 2655 362193 | 8857 4676 2201 | 0.960 % | c | 28328 | 2476 2655 362193 | 9743 5815 2201 | 0.960 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 54.5757 s Remaining CPU time: 125.424 s c =============================================================================== c | 29432 | 2476 2656 364543 | 5000 6919 2201 | 0.960 % | c | 29532 | 2476 2656 364543 | 5500 3560 2199 | 0.960 % | c | 29682 | 2476 2656 364543 | 6050 3710 2199 | 0.960 % | c | 29907 | 2476 2656 364543 | 6655 3935 2199 | 0.960 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 56.0105 s Remaining CPU time: 123.99 s c =============================================================================== c | 30099 | 2476 2657 366893 | 5000 4127 2199 | 0.960 % | c | 30200 | 2476 2657 366893 | 5500 4228 2199 | 0.960 % | c | 30350 | 2476 2657 366893 | 6050 4378 2199 | 0.960 % | c | 30575 | 2476 2657 366893 | 6655 4603 2198 | 0.960 % | c | 30912 | 2476 2657 366893 | 7320 4940 2199 | 0.960 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 57.9752 s Remaining CPU time: 122.025 s c =============================================================================== c | 31199 | 2476 2658 369243 | 5000 5227 2199 | 0.960 % | c | 31300 | 2476 2658 369243 | 5500 2715 2196 | 0.960 % | c | 31451 | 2476 2658 369243 | 6050 2866 2197 | 0.960 % | c | 31677 | 2476 2658 369243 | 6655 3092 2197 | 0.960 % | c | 32016 | 2476 2658 369243 | 7320 3431 2197 | 0.960 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 59.7309 s Remaining CPU time: 120.269 s c =============================================================================== c | 32175 | 2476 2659 371593 | 5000 3590 2197 | 0.960 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 59.9559 s Remaining CPU time: 120.044 s c =============================================================================== c | 32225 | 2476 2660 373943 | 5000 3640 2197 | 0.960 % | c | 32325 | 2476 2660 373943 | 5500 3740 2197 | 0.960 % | c | 32475 | 2476 2660 373943 | 6050 3890 2197 | 0.960 % | c | 32701 | 2476 2660 373943 | 6655 4116 2197 | 0.960 % | c | 33039 | 2476 2660 373943 | 7320 4454 2197 | 0.960 % | c | 33546 | 2476 2660 373943 | 8052 4961 2197 | 0.960 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 62.1036 s Remaining CPU time: 117.896 s c =============================================================================== c | 33582 | 2476 2661 376293 | 5000 4997 2197 | 0.960 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 62.3435 s Remaining CPU time: 117.656 s c =============================================================================== c | 33653 | 2476 2662 378643 | 5000 5068 2197 | 0.960 % | c | 33753 | 2476 2662 378643 | 5500 2634 2193 | 0.960 % | c | 33904 | 2476 2662 378643 | 6050 2785 2193 | 0.960 % | c | 34129 | 2476 2662 378643 | 6655 3010 2194 | 0.960 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 63.6163 s Remaining CPU time: 116.384 s c =============================================================================== c | 34225 | 2476 2663 380993 | 5000 3106 2194 | 0.960 % | c | 34325 | 2476 2663 380993 | 5500 3206 2194 | 0.960 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 64.0843 s Remaining CPU time: 115.916 s c =============================================================================== c | 34384 | 2476 2664 383343 | 5000 3265 2194 | 0.960 % | c | 34484 | 2476 2664 383343 | 5500 3365 2194 | 0.960 % | c | 34634 | 2476 2664 383343 | 6050 3515 2194 | 0.960 % | c | 34861 | 2476 2664 383343 | 6655 3742 2193 | 0.960 % | c | 35200 | 2476 2664 383343 | 7320 4081 2193 | 0.960 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 66.022 s Remaining CPU time: 113.978 s c =============================================================================== c | 35228 | 2476 2665 385693 | 5000 4109 2193 | 0.960 % | c | 35328 | 2476 2665 385693 | 5500 4209 2193 | 0.960 % | c | 35478 | 2476 2665 385693 | 6050 4359 2193 | 0.960 % | c | 35703 | 2476 2665 385693 | 6655 4584 2193 | 0.960 % | c | 36041 | 2476 2665 385693 | 7320 4922 2193 | 0.960 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 67.8297 s Remaining CPU time: 112.17 s c =============================================================================== c | 36239 | 2476 2666 388043 | 5000 5120 2193 | 0.960 % | c | 36339 | 2476 2666 388043 | 5500 2660 2190 | 0.960 % | c | 36489 | 2476 2666 388043 | 6050 2810 2190 | 0.960 % | c | 36714 | 2476 2666 388043 | 6655 3035 2190 | 0.960 % | c | 37052 | 2476 2666 388043 | 7320 3373 2190 | 0.960 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 70.0324 s Remaining CPU time: 109.968 s c =============================================================================== c | 37359 | 2476 2667 390393 | 5000 3680 2190 | 0.960 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 70.2793 s Remaining CPU time: 109.721 s c =============================================================================== c | 37432 | 2476 2668 392743 | 5000 3753 2190 | 0.960 % | c | 37532 | 2476 2668 392743 | 5500 3853 2190 | 0.960 % | c | 37684 | 2476 2668 392743 | 6050 4005 2190 | 0.960 % | c | 37909 | 2476 2668 392743 | 6655 4230 2190 | 0.960 % | c | 38246 | 2476 2668 392743 | 7320 4567 2190 | 0.960 % | c | 38752 | 2476 2668 392743 | 8052 5073 2190 | 0.960 % | c | 39511 | 2476 2668 392743 | 8857 5832 2189 | 0.960 % | c | 40650 | 2476 2668 392743 | 9743 6971 2189 | 0.960 % | c | 42358 | 2476 2668 392743 | 10717 8679 2189 | 0.960 % |