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 | 2485 2502 7346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 2485 2503 9696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 0 | 2485 2504 12046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 2485 2505 14396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s c =============================================================================== c | 0 | 2485 2506 16746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 2485 2507 19096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2485 2508 21446 | 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 | 2485 2509 23796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 0 | 2485 2510 26146 | 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 | 2485 2511 28496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2341 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s c =============================================================================== c | 0 | 2485 2512 30846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s c =============================================================================== c | 0 | 2485 2513 33196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 2485 2514 35546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 2485 2515 37896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 0.080987 s Remaining CPU time: 179.919 s c =============================================================================== c | 0 | 2485 2516 40246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 2485 2517 42596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 2485 2518 44946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2334 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 1 | 2485 2519 47296 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s c =============================================================================== c | 1 | 2485 2520 49646 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 1 | 2485 2521 51996 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 0.144977 s Remaining CPU time: 179.855 s c =============================================================================== c | 1 | 2485 2522 54346 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s c =============================================================================== c | 1 | 2485 2523 56696 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 1 | 2485 2524 59046 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 0.19397 s Remaining CPU time: 179.806 s c =============================================================================== c | 1 | 2485 2525 61396 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2327 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 1 | 2485 2526 63746 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2326 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s c =============================================================================== c | 1 | 2485 2527 66096 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s c =============================================================================== c | 1 | 2485 2528 68446 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 1 | 2485 2529 70796 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 0.292955 s Remaining CPU time: 179.707 s c =============================================================================== c | 1 | 2485 2530 73146 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 0.317951 s Remaining CPU time: 179.682 s c =============================================================================== c | 1 | 2485 2531 75496 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 1 | 2485 2532 77846 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 0.370943 s Remaining CPU time: 179.629 s c =============================================================================== c | 1 | 2485 2533 80196 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 1 | 2485 2534 82546 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 0.426935 s Remaining CPU time: 179.573 s c =============================================================================== c | 1 | 2485 2535 84896 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 0.45493 s Remaining CPU time: 179.545 s c =============================================================================== c | 1 | 2485 2536 87246 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 0.485926 s Remaining CPU time: 179.514 s c =============================================================================== c | 1 | 2485 2537 89596 | 5000 1 2336 | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 0.517921 s Remaining CPU time: 179.482 s c =============================================================================== c | 3 | 2485 2538 91946 | 5000 3 2323 | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 0.552915 s Remaining CPU time: 179.447 s c =============================================================================== c | 5 | 2485 2539 94296 | 5000 5 2320 | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 0.58891 s Remaining CPU time: 179.411 s c =============================================================================== c | 6 | 2485 2540 96646 | 5000 6 2319 | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 6 | 2485 2541 98996 | 5000 6 2319 | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 0.663899 s Remaining CPU time: 179.336 s c =============================================================================== c | 6 | 2485 2542 101346 | 5000 6 2319 | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 6 | 2485 2543 103696 | 5000 6 2319 | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 0.744886 s Remaining CPU time: 179.255 s c =============================================================================== c | 9 | 2485 2544 106046 | 5000 9 2317 | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 0.78388 s Remaining CPU time: 179.216 s c =============================================================================== c | 9 | 2485 2545 108396 | 5000 9 2317 | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 0.827874 s Remaining CPU time: 179.172 s c =============================================================================== c | 9 | 2485 2546 110746 | 5000 9 2317 | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 0.873867 s Remaining CPU time: 179.126 s c =============================================================================== c | 9 | 2485 2547 113096 | 5000 9 2317 | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 0.921859 s Remaining CPU time: 179.078 s c =============================================================================== c | 13 | 2485 2548 115446 | 5000 13 2314 | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 0.969852 s Remaining CPU time: 179.03 s c =============================================================================== c | 16 | 2485 2549 117796 | 5000 16 2312 | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 1.01784 s Remaining CPU time: 178.982 s c =============================================================================== c | 16 | 2485 2550 120146 | 5000 16 2312 | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 1.06684 s Remaining CPU time: 178.933 s c =============================================================================== c | 16 | 2485 2551 122496 | 5000 16 2312 | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 1.11783 s Remaining CPU time: 178.882 s c =============================================================================== c | 19 | 2485 2552 124846 | 5000 19 2311 | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 1.17182 s Remaining CPU time: 178.828 s c =============================================================================== c | 23 | 2485 2553 127196 | 5000 23 2309 | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 1.22781 s Remaining CPU time: 178.772 s c =============================================================================== c | 27 | 2485 2554 129546 | 5000 27 2308 | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s c =============================================================================== c | 30 | 2485 2555 131896 | 5000 30 2307 | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 1.36379 s Remaining CPU time: 178.636 s c =============================================================================== c | 54 | 2485 2556 134246 | 5000 54 2304 | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s c =============================================================================== c | 54 | 2485 2557 136596 | 5000 54 2304 | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 1.47978 s Remaining CPU time: 178.52 s c =============================================================================== c | 54 | 2485 2558 138946 | 5000 54 2304 | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 1.54076 s Remaining CPU time: 178.459 s c =============================================================================== c | 54 | 2485 2559 141296 | 5000 54 2304 | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 1.60376 s Remaining CPU time: 178.396 s c =============================================================================== c | 54 | 2485 2560 143646 | 5000 54 2304 | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 1.66575 s Remaining CPU time: 178.334 s c =============================================================================== c | 54 | 2485 2561 145996 | 5000 54 2304 | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 1.72974 s Remaining CPU time: 178.27 s c =============================================================================== c | 54 | 2485 2562 148346 | 5000 54 2304 | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 59 | 2485 2563 150696 | 5000 59 2303 | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 1.86472 s Remaining CPU time: 178.135 s c =============================================================================== c | 59 | 2485 2564 153046 | 5000 59 2303 | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 1.93571 s Remaining CPU time: 178.064 s c =============================================================================== c | 59 | 2485 2565 155396 | 5000 59 2303 | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 2.01069 s Remaining CPU time: 177.989 s c =============================================================================== c | 66 | 2485 2566 157746 | 5000 66 2301 | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 2.07868 s Remaining CPU time: 177.921 s c =============================================================================== c | 66 | 2485 2567 160096 | 5000 66 2301 | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 2.14867 s Remaining CPU time: 177.851 s c =============================================================================== c | 66 | 2485 2568 162446 | 5000 66 2301 | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 2.22266 s Remaining CPU time: 177.777 s c =============================================================================== c | 66 | 2485 2569 164796 | 5000 66 2301 | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 2.29765 s Remaining CPU time: 177.702 s c =============================================================================== c | 66 | 2485 2570 167146 | 5000 66 2301 | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 2.37664 s Remaining CPU time: 177.623 s c =============================================================================== c | 73 | 2485 2571 169496 | 5000 73 2300 | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 2.44963 s Remaining CPU time: 177.55 s c =============================================================================== c | 73 | 2485 2572 171846 | 5000 73 2300 | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 2.52861 s Remaining CPU time: 177.471 s c =============================================================================== c | 73 | 2485 2573 174196 | 5000 73 2300 | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 2.6106 s Remaining CPU time: 177.389 s c =============================================================================== c | 73 | 2485 2574 176546 | 5000 73 2300 | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 2.69159 s Remaining CPU time: 177.308 s c =============================================================================== c | 73 | 2485 2575 178896 | 5000 73 2300 | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 2.77958 s Remaining CPU time: 177.22 s c =============================================================================== c | 82 | 2485 2576 181246 | 5000 82 2297 | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 2.86556 s Remaining CPU time: 177.134 s c =============================================================================== c | 82 | 2485 2577 183596 | 5000 82 2297 | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 2.95055 s Remaining CPU time: 177.049 s c =============================================================================== c | 82 | 2485 2578 185946 | 5000 82 2297 | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 3.04254 s Remaining CPU time: 176.957 s c =============================================================================== c | 88 | 2485 2579 188296 | 5000 88 2296 | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 3.13052 s Remaining CPU time: 176.869 s c =============================================================================== c | 88 | 2485 2580 190646 | 5000 88 2296 | 0.000 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 3.22151 s Remaining CPU time: 176.778 s c =============================================================================== c | 88 | 2485 2581 192996 | 5000 88 2296 | 0.000 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 3.3205 s Remaining CPU time: 176.68 s c =============================================================================== c | 98 | 2485 2582 195346 | 5000 98 2294 | 0.000 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 3.41548 s Remaining CPU time: 176.585 s c =============================================================================== c | 102 | 2485 2583 197696 | 5000 102 2293 | 0.000 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 3.51147 s Remaining CPU time: 176.489 s c =============================================================================== c | 104 | 2485 2584 200046 | 5000 104 2292 | 0.000 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 3.60545 s Remaining CPU time: 176.395 s c =============================================================================== c | 104 | 2485 2585 202396 | 5000 104 2292 | 0.000 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 3.71843 s Remaining CPU time: 176.282 s c =============================================================================== c | 117 | 2485 2586 204746 | 5000 117 2290 | 0.000 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 3.81742 s Remaining CPU time: 176.183 s c =============================================================================== c | 117 | 2485 2587 207096 | 5000 117 2290 | 0.000 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 3.9174 s Remaining CPU time: 176.083 s c =============================================================================== c | 117 | 2485 2588 209446 | 5000 117 2290 | 0.000 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 4.02239 s Remaining CPU time: 175.978 s c =============================================================================== c | 126 | 2485 2589 211796 | 5000 126 2288 | 0.000 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 4.12937 s Remaining CPU time: 175.871 s c =============================================================================== c | 129 | 2485 2590 214146 | 5000 129 2287 | 0.000 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 4.23236 s Remaining CPU time: 175.768 s c =============================================================================== c | 129 | 2485 2591 216496 | 5000 129 2287 | 0.000 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 4.33834 s Remaining CPU time: 175.662 s c =============================================================================== c | 129 | 2485 2592 218846 | 5000 129 2287 | 0.000 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 4.44732 s Remaining CPU time: 175.553 s c =============================================================================== c | 129 | 2485 2593 221196 | 5000 129 2287 | 0.000 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 4.5683 s Remaining CPU time: 175.432 s c =============================================================================== c | 155 | 2485 2594 223546 | 5000 155 2283 | 0.000 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 4.73328 s Remaining CPU time: 175.267 s c =============================================================================== c | 232 | 2485 2595 225896 | 5000 232 2266 | 0.000 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 4.86626 s Remaining CPU time: 175.134 s c =============================================================================== c | 260 | 2485 2596 228246 | 5000 260 2265 | 0.000 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 4.99724 s Remaining CPU time: 175.003 s c =============================================================================== c | 276 | 2485 2597 230596 | 5000 276 2265 | 0.000 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 5.11522 s Remaining CPU time: 174.885 s c =============================================================================== c | 281 | 2485 2598 232946 | 5000 281 2265 | 0.000 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 5.2362 s Remaining CPU time: 174.764 s c =============================================================================== c | 290 | 2485 2599 235296 | 5000 290 2264 | 0.000 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 5.38118 s Remaining CPU time: 174.619 s c =============================================================================== c | 339 | 2485 2600 237646 | 5000 339 2263 | 0.000 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 5.51416 s Remaining CPU time: 174.486 s c =============================================================================== c | 358 | 2485 2601 239996 | 5000 358 2263 | 0.000 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 5.68114 s Remaining CPU time: 174.319 s c =============================================================================== c | 412 | 2485 2602 242346 | 5000 412 2261 | 0.000 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 5.8981 s Remaining CPU time: 174.102 s c =============================================================================== c | 474 | 2485 2603 244696 | 5000 474 2260 | 0.000 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 6.04408 s Remaining CPU time: 173.956 s c =============================================================================== c | 505 | 2485 2604 247046 | 5000 505 2260 | 0.000 % | c | 605 | 2485 2604 247046 | 5500 605 2258 | 0.600 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 6.44302 s Remaining CPU time: 173.557 s c =============================================================================== c | 708 | 2485 2605 249396 | 5000 708 2257 | 0.600 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 6.582 s Remaining CPU time: 173.418 s c =============================================================================== c | 725 | 2485 2606 251746 | 5000 725 2257 | 0.600 % | c | 826 | 2485 2606 251746 | 5500 826 2256 | 0.600 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 6.92095 s Remaining CPU time: 173.079 s c =============================================================================== c | 846 | 2485 2607 254096 | 5000 846 2256 | 0.600 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 7.10192 s Remaining CPU time: 172.898 s c =============================================================================== c | 906 | 2485 2608 256446 | 5000 906 2255 | 0.600 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 7.26689 s Remaining CPU time: 172.733 s c =============================================================================== c | 946 | 2485 2609 258796 | 5000 946 2255 | 0.600 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 7.42487 s Remaining CPU time: 172.575 s c =============================================================================== c | 984 | 2485 2610 261146 | 5000 984 2254 | 0.600 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 7.62684 s Remaining CPU time: 172.373 s c =============================================================================== c | 1020 | 2485 2611 263496 | 5000 1020 2254 | 0.600 % | c | 1120 | 2485 2611 263496 | 5500 1120 2253 | 0.600 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 7.97479 s Remaining CPU time: 172.025 s c =============================================================================== c | 1123 | 2485 2612 265846 | 5000 1123 2253 | 0.600 % | c | 1224 | 2485 2612 265846 | 5500 1224 2252 | 0.600 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 8.34373 s Remaining CPU time: 171.656 s c =============================================================================== c | 1269 | 2485 2613 268196 | 5000 1269 2252 | 0.600 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 8.48871 s Remaining CPU time: 171.511 s c =============================================================================== c | 1278 | 2485 2614 270546 | 5000 1278 2252 | 0.600 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 8.67168 s Remaining CPU time: 171.328 s c =============================================================================== c | 1337 | 2485 2615 272896 | 5000 1337 2251 | 0.600 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 8.88865 s Remaining CPU time: 171.111 s c =============================================================================== c | 1427 | 2485 2616 275246 | 5000 1427 2250 | 0.600 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 9.10062 s Remaining CPU time: 170.899 s c =============================================================================== c | 1488 | 2485 2617 277596 | 5000 1488 2250 | 0.600 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 9.30158 s Remaining CPU time: 170.698 s c =============================================================================== c | 1570 | 2485 2618 279946 | 5000 1570 2249 | 0.600 % | c | 1670 | 2485 2618 279946 | 5500 1670 2247 | 0.600 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 9.68753 s Remaining CPU time: 170.312 s c =============================================================================== c | 1702 | 2485 2619 282296 | 5000 1702 2247 | 0.600 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 9.90649 s Remaining CPU time: 170.094 s c =============================================================================== c | 1772 | 2485 2620 284646 | 5000 1772 2247 | 0.600 % | c | 1873 | 2485 2620 284646 | 5500 1873 2246 | 0.600 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 10.3064 s Remaining CPU time: 169.694 s c =============================================================================== c | 1906 | 2485 2621 286996 | 5000 1906 2246 | 0.600 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 10.5004 s Remaining CPU time: 169.5 s c =============================================================================== c | 1969 | 2485 2622 289346 | 5000 1969 2245 | 0.600 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 10.6904 s Remaining CPU time: 169.31 s c =============================================================================== c | 2026 | 2485 2623 291696 | 5000 2026 2245 | 0.600 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 10.9383 s Remaining CPU time: 169.062 s c =============================================================================== c | 2092 | 2485 2624 294046 | 5000 2092 2245 | 0.600 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 11.1123 s Remaining CPU time: 168.888 s c =============================================================================== c | 2123 | 2485 2625 296396 | 5000 2123 2244 | 0.600 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 11.3073 s Remaining CPU time: 168.693 s c =============================================================================== c | 2160 | 2485 2626 298746 | 5000 2160 2243 | 0.600 % | c | 2260 | 2485 2626 298746 | 5500 2260 2242 | 0.600 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 11.7442 s Remaining CPU time: 168.256 s c =============================================================================== c | 2283 | 2485 2627 301096 | 5000 2283 2242 | 0.600 % | c | 2383 | 2485 2627 301096 | 5500 2383 2242 | 0.600 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 12.2121 s Remaining CPU time: 167.788 s c =============================================================================== c | 2407 | 2485 2628 303446 | 5000 2407 2242 | 0.600 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 12.3991 s Remaining CPU time: 167.601 s c =============================================================================== c | 2435 | 2485 2629 305796 | 5000 2435 2241 | 0.600 % | c | 2535 | 2485 2629 305796 | 5500 2535 2241 | 0.600 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 12.8081 s Remaining CPU time: 167.192 s c =============================================================================== c | 2568 | 2485 2630 308146 | 5000 2568 2240 | 0.600 % | c | 2669 | 2485 2630 308146 | 5500 2669 2240 | 0.600 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 13.248 s Remaining CPU time: 166.752 s c =============================================================================== c | 2713 | 2485 2631 310496 | 5000 2713 2240 | 0.600 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 13.467 s Remaining CPU time: 166.533 s c =============================================================================== c | 2756 | 2485 2632 312846 | 5000 2756 2239 | 0.600 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 13.7129 s Remaining CPU time: 166.287 s c =============================================================================== c | 2828 | 2485 2633 315196 | 5000 2828 2239 | 0.600 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 13.9259 s Remaining CPU time: 166.074 s c =============================================================================== c | 2868 | 2485 2634 317546 | 5000 2868 2239 | 0.600 % | c | 2968 | 2485 2634 317546 | 5500 2968 2238 | 0.600 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 14.5078 s Remaining CPU time: 165.492 s c =============================================================================== c | 3101 | 2485 2635 319896 | 5000 3101 2237 | 0.600 % | c | 3201 | 2485 2635 319896 | 5500 3201 2237 | 0.600 % | c | 3351 | 2485 2635 319896 | 6050 3351 2236 | 0.600 % | c | 3576 | 2485 2635 319896 | 6655 3576 2235 | 0.600 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 15.8096 s Remaining CPU time: 164.19 s c =============================================================================== c | 3621 | 2485 2636 322246 | 5000 3621 2235 | 0.600 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 16.0796 s Remaining CPU time: 163.92 s c =============================================================================== c | 3701 | 2485 2637 324596 | 5000 3701 2234 | 0.600 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 16.2765 s Remaining CPU time: 163.723 s c =============================================================================== c | 3730 | 2485 2638 326946 | 5000 3730 2234 | 0.600 % | c | 3831 | 2485 2638 326946 | 5500 3831 2234 | 0.600 % | c | 3981 | 2485 2638 326946 | 6050 3981 2233 | 0.600 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 17.2624 s Remaining CPU time: 162.738 s c =============================================================================== c | 4109 | 2485 2639 329296 | 5000 4109 2233 | 0.600 % | c | 4209 | 2485 2639 329296 | 5500 4209 2232 | 0.600 % | c | 4359 | 2485 2639 329296 | 6050 4359 2232 | 0.600 % | c | 4584 | 2485 2639 329296 | 6655 4584 2231 | 0.600 % | c | 4921 | 2485 2639 329296 | 7320 4921 2230 | 0.600 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 19.2021 s Remaining CPU time: 160.798 s c =============================================================================== c | 5043 | 2485 2640 331646 | 5000 5043 2229 | 0.600 % | c | 5143 | 2485 2640 331646 | 5500 2622 2215 | 0.600 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 19.663 s Remaining CPU time: 160.337 s c =============================================================================== c | 5165 | 2485 2641 333996 | 5000 2644 2215 | 0.600 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 19.895 s Remaining CPU time: 160.105 s c =============================================================================== c | 5218 | 2485 2642 336346 | 5000 2697 2215 | 0.600 % | c | 5318 | 2485 2642 336346 | 5500 2797 2215 | 0.600 % | c | 5469 | 2485 2642 336346 | 6050 2948 2215 | 0.600 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 20.7808 s Remaining CPU time: 159.219 s c =============================================================================== c | 5627 | 2485 2643 338696 | 5000 3106 2214 | 0.600 % | c | 5727 | 2485 2643 338696 | 5500 3206 2214 | 0.600 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 21.4157 s Remaining CPU time: 158.584 s c =============================================================================== c | 5855 | 2485 2644 341046 | 5000 3334 2214 | 0.600 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 21.7147 s Remaining CPU time: 158.285 s c =============================================================================== c | 5942 | 2485 2645 343396 | 5000 3421 2214 | 0.600 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 21.9297 s Remaining CPU time: 158.07 s c =============================================================================== c | 5985 | 2485 2646 345746 | 5000 3464 2214 | 0.600 % | c | 6085 | 2485 2646 345746 | 5500 3564 2214 | 0.600 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 22.5296 s Remaining CPU time: 157.47 s c =============================================================================== c | 6162 | 2485 2647 348096 | 5000 3641 2214 | 0.600 % | c | 6262 | 2485 2647 348096 | 5500 3741 2214 | 0.600 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 23.0555 s Remaining CPU time: 156.945 s c =============================================================================== c | 6296 | 2485 2648 350446 | 5000 3775 2214 | 0.600 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 23.2425 s Remaining CPU time: 156.758 s c =============================================================================== c | 6300 | 2485 2649 352796 | 5000 3779 2214 | 0.600 % | c | 6401 | 2485 2649 352796 | 5500 3880 2213 | 0.600 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 23.8194 s Remaining CPU time: 156.181 s c =============================================================================== c | 6504 | 2485 2650 355146 | 5000 3983 2213 | 0.600 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 24.0303 s Remaining CPU time: 155.97 s c =============================================================================== c | 6528 | 2485 2651 357496 | 5000 4007 2213 | 0.600 % | c | 6629 | 2485 2651 357496 | 5500 4108 2213 | 0.600 % | c | 6779 | 2485 2651 357496 | 6050 4258 2213 | 0.600 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 25.2042 s Remaining CPU time: 154.796 s c =============================================================================== c | 6959 | 2485 2652 359846 | 5000 4438 2212 | 0.600 % | c | 7059 | 2485 2652 359846 | 5500 4538 2212 | 0.600 % | c | 7209 | 2485 2652 359846 | 6050 4688 2212 | 0.600 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 26.026 s Remaining CPU time: 153.974 s c =============================================================================== c | 7285 | 2485 2653 362196 | 5000 4764 2212 | 0.600 % | c | 7385 | 2485 2653 362196 | 5500 4864 2211 | 0.600 % | c | 7536 | 2485 2653 362196 | 6050 5015 2211 | 0.600 % | c | 7761 | 2485 2653 362196 | 6655 5240 2211 | 0.600 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 27.3488 s Remaining CPU time: 152.651 s c =============================================================================== c | 7811 | 2485 2654 364546 | 5000 5290 2211 | 0.600 % | c | 7911 | 2485 2654 364546 | 5500 2745 2203 | 0.600 % | c | 8061 | 2485 2654 364546 | 6050 2895 2203 | 0.600 % | c | 8286 | 2485 2654 364546 | 6655 3120 2202 | 0.600 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 29.1276 s Remaining CPU time: 150.872 s c =============================================================================== c | 8523 | 2485 2655 366896 | 5000 3357 2201 | 0.600 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 29.3405 s Remaining CPU time: 150.659 s c =============================================================================== c | 8540 | 2485 2656 369246 | 5000 3374 2201 | 0.600 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 29.5805 s Remaining CPU time: 150.419 s c =============================================================================== c | 8569 | 2485 2657 371596 | 5000 3403 2201 | 0.600 % | c | 8670 | 2485 2657 371596 | 5500 3504 2201 | 0.600 % | c | 8820 | 2485 2657 371596 | 6050 3654 2201 | 0.600 % | c | 9046 | 2485 2657 371596 | 6655 3880 2201 | 0.600 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 31.3582 s Remaining CPU time: 148.642 s c =============================================================================== c | 9324 | 2485 2658 373946 | 5000 4158 2201 | 0.600 % | c | 9426 | 2485 2658 373946 | 5500 4260 2200 | 0.600 % | c | 9577 | 2485 2658 373946 | 6050 4411 2200 | 0.600 % | c | 9802 | 2485 2658 373946 | 6655 4636 2200 | 0.600 % | c | 10139 | 2485 2658 373946 | 7320 4973 2200 | 0.600 % | c | 10646 | 2485 2658 373946 | 8052 5480 2200 | 0.600 % | c | 11405 | 2485 2658 373946 | 8857 6239 2199 | 0.600 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 35.3836 s Remaining CPU time: 144.616 s c =============================================================================== c | 11803 | 2485 2659 376296 | 5000 6637 2199 | 0.600 % | c | 11904 | 2485 2659 376296 | 5500 3420 2193 | 0.600 % | c | 12054 | 2485 2659 376296 | 6050 3570 2193 | 0.600 % | c | 12279 | 2485 2659 376296 | 6655 3795 2193 | 0.600 % | c | 12616 | 2485 2659 376296 | 7320 4132 2193 | 0.600 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 37.5553 s Remaining CPU time: 142.445 s c =============================================================================== c | 12890 | 2485 2660 378646 | 5000 4406 2194 | 0.600 % | c | 12990 | 2485 2660 378646 | 5500 4506 2194 | 0.600 % | c | 13140 | 2485 2660 378646 | 6050 4656 2194 | 0.600 % | c | 13366 | 2485 2660 378646 | 6655 4882 2194 | 0.600 % | c | 13704 | 2485 2660 378646 | 7320 5220 2194 | 0.600 % | c | 14210 | 2485 2660 378646 | 8052 5726 2194 | 0.600 % | c | 14969 | 2485 2660 378646 | 8857 6485 2193 | 0.600 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 41.6867 s Remaining CPU time: 138.313 s c =============================================================================== c | 15462 | 2485 2661 380996 | 5000 6978 2193 | 0.600 % | c | 15563 | 2485 2661 380996 | 5500 3590 2190 | 0.600 % | c | 15713 | 2485 2661 380996 | 6050 3740 2190 | 0.600 % | c | 15938 | 2485 2661 380996 | 6655 3965 2190 | 0.600 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 43.2764 s Remaining CPU time: 136.724 s c =============================================================================== c | 16172 | 2485 2662 383346 | 5000 4199 2190 | 0.600 % | c | 16272 | 2485 2662 383346 | 5500 4299 2190 | 0.600 % | c | 16423 | 2485 2662 383346 | 6050 4450 2190 | 0.600 % | c | 16648 | 2485 2662 383346 | 6655 4675 2190 | 0.600 % | c | 16985 | 2485 2662 383346 | 7320 5012 2190 | 0.600 % | c | 17492 | 2485 2662 383346 | 8052 5519 2190 | 0.600 % | c | 18251 | 2485 2662 383346 | 8857 6278 2191 | 0.600 % | c | 19391 | 2485 2662 383346 | 9743 7418 2191 | 0.600 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 50.7233 s Remaining CPU time: 129.277 s c =============================================================================== c | 20626 | 2485 2663 385696 | 5000 8653 2191 | 0.600 % | c | 20727 | 2485 2663 385696 | 5500 4428 2188 | 0.600 % | c | 20878 | 2485 2663 385696 | 6050 4579 2189 | 0.600 % | c | 21103 | 2485 2663 385696 | 6655 4804 2189 | 0.600 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 52.2341 s Remaining CPU time: 127.766 s c =============================================================================== c | 21277 | 2485 2664 388046 | 5000 4978 2188 | 0.600 % | c | 21377 | 2485 2664 388046 | 5500 5078 2188 | 0.600 % | c | 21527 | 2485 2664 388046 | 6050 5228 2188 | 0.600 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 53.2049 s Remaining CPU time: 126.795 s c =============================================================================== c | 21693 | 2485 2665 390396 | 5000 5394 2188 | 0.600 % | c | 21794 | 2485 2665 390396 | 5500 2798 2185 | 0.600 % | c | 21944 | 2485 2665 390396 | 6050 2948 2185 | 0.600 % | c | 22169 | 2485 2665 390396 | 6655 3173 2185 | 0.600 % | c | 22506 | 2485 2665 390396 | 7320 3510 2186 | 0.600 % | c | 23012 | 2485 2665 390396 | 8052 4016 2186 | 0.600 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 55.9185 s Remaining CPU time: 124.082 s c =============================================================================== c | 23338 | 2485 2666 392746 | 5000 4342 2186 | 0.600 % | c | 23438 | 2485 2666 392746 | 5500 4442 2186 | 0.600 % | c | 23589 | 2485 2666 392746 | 6050 4593 2186 | 0.600 % | c | 23814 | 2485 2666 392746 | 6655 4818 2186 | 0.600 % | c | 24152 | 2485 2666 392746 | 7320 5156 2186 | 0.600 % | c | 24658 | 2485 2666 392746 | 8052 5662 2186 | 0.600 % | c =============================================================================== c New solution: 2186 c Elapsed CPU time: 59.8159 s Remaining CPU time: 120.184 s c =============================================================================== c | 25385 | 2485 2667 395096 | 5000 6389 2187 | 0.600 % | c | 25485 | 2485 2667 395096 | 5500 3295 2183 | 0.600 % | c =============================================================================== c New solution: 2185 c Elapsed CPU time: 60.6078 s Remaining CPU time: 119.392 s c =============================================================================== c | 25613 | 2485 2668 397446 | 5000 3423 2183 | 0.600 % | c =============================================================================== c New solution: 2184 c Elapsed CPU time: 60.8727 s Remaining CPU time: 119.127 s c =============================================================================== c | 25674 | 2485 2669 399796 | 5000 3484 2183 | 0.600 % | c =============================================================================== c New solution: 2183 c Elapsed CPU time: 61.2377 s Remaining CPU time: 118.762 s c =============================================================================== c | 25751 | 2485 2670 402146 | 5000 3561 2183 | 0.600 % | c =============================================================================== c New solution: 2182 c Elapsed CPU time: 61.4717 s Remaining CPU time: 118.528 s c =============================================================================== c | 25766 | 2485 2671 404496 | 5000 3576 2183 | 0.600 % | c | 25866 | 2485 2671 404496 | 5500 3676 2183 | 0.600 % | c =============================================================================== c New solution: 2181 c Elapsed CPU time: 61.9986 s Remaining CPU time: 118.001 s c =============================================================================== c | 25886 | 2485 2672 406846 | 5000 3696 2183 | 0.600 % | c =============================================================================== c New solution: 2180 c Elapsed CPU time: 62.2465 s Remaining CPU time: 117.753 s c =============================================================================== c | 25911 | 2485 2673 409196 | 5000 3721 2183 | 0.600 % | c | 26011 | 2485 2673 409196 | 5500 3821 2183 | 0.600 % | c | 26161 | 2485 2673 409196 | 6050 3971 2183 | 0.600 % | c | 26387 | 2485 2673 409196 | 6655 4197 2183 | 0.600 % | c | 26725 | 2485 2673 409196 | 7320 4535 2183 | 0.600 % | c | 27231 | 2485 2673 409196 | 8052 5041 2183 | 0.600 % | c | 27990 | 2485 2673 409196 | 8857 5800 2182 | 0.600 % | c | 29129 | 2485 2673 409196 | 9743 6939 2182 | 0.600 % | c | 30838 | 2485 2673 409196 | 10717 8648 2182 | 0.600 % | c =============================================================================== c New solution: 2179 c Elapsed CPU time: 73.4678 s Remaining CPU time: 106.532 s c =============================================================================== c | 32540 | 2485 2674 411546 | 5000 10350 2182 | 0.600 % | c | 32640 | 2485 2674 411546 | 5500 2688 2176 | 0.600 % | c | 32790 | 2485 2674 411546 | 6050 2838 2176 | 0.600 % | c | 33017 | 2485 2674 411546 | 6655 3065 2177 | 0.600 % | c | 33354 | 2485 2674 411546 | 7320 3402 2177 | 0.600 % | c | 33860 | 2485 2674 411546 | 8052 3908 2177 | 0.600 % | c | 34619 | 2485 2674 411546 | 8857 4667 2177 | 0.600 % | c =============================================================================== c New solution: 2178 c Elapsed CPU time: 78.875 s Remaining CPU time: 101.125 s c =============================================================================== c | 35360 | 2485 2675 413896 | 5000 5408 2178 | 0.600 % | c | 35460 | 2485 2675 413896 | 5500 2804 2174 | 0.600 % | c | 35610 | 2485 2675 413896 | 6050 2954 2174 | 0.600 % | c | 35837 | 2485 2675 413896 | 6655 3181 2175 | 0.600 % | c | 36174 | 2485 2675 413896 | 7320 3518 2175 | 0.600 % | c | 36681 | 2485 2675 413896 | 8052 4025 2176 | 0.600 % | c =============================================================================== c New solution: 2177 c Elapsed CPU time: 82.7434 s Remaining CPU time: 97.2566 s c =============================================================================== c | 37140 | 2485 2676 416246 | 5000 4484 2176 | 0.600 % | c | 37240 | 2485 2676 416246 | 5500 4584 2176 | 0.600 % | c | 37390 | 2485 2676 416246 | 6050 4734 2176 | 0.600 % | c =============================================================================== c New solution: 2176 c Elapsed CPU time: 83.8163 s Remaining CPU time: 96.1837 s c =============================================================================== c | 37504 | 2485 2677 418596 | 5000 4848 2176 | 0.600 % | c | 37604 | 2485 2677 418596 | 5500 4948 2176 | 0.600 % | c =============================================================================== c New solution: 2175 c Elapsed CPU time: 84.4222 s Remaining CPU time: 95.5778 s c =============================================================================== c | 37641 | 2485 2678 420946 | 5000 4985 2176 | 0.600 % | c | 37742 | 2485 2678 420946 | 5500 5086 2176 | 0.600 % | c =============================================================================== c New solution: 2174 c Elapsed CPU time: 85.1311 s Remaining CPU time: 94.8689 s c =============================================================================== c | 37797 | 2485 2679 423296 | 5000 5141 2176 | 0.600 % | c | 37897 | 2485 2679 423296 | 5500 2671 2173 | 0.600 % | c | 38047 | 2485 2679 423296 | 6050 2821 2173 | 0.600 % | c | 38272 | 2485 2679 423296 | 6655 3046 2173 | 0.600 % | c | 38609 | 2485 2679 423296 | 7320 3383 2173 | 0.600 % | c | 39115 | 2485 2679 423296 | 8052 3889 2174 | 0.600 % | c =============================================================================== c New solution: 2173 c Elapsed CPU time: 88.3536 s Remaining CPU time: 91.6464 s c =============================================================================== c | 39373 | 2485 2680 425646 | 5000 4147 2174 | 0.600 % | c | 39473 | 2485 2680 425646 | 5500 4247 2174 | 0.600 % | c =============================================================================== c New solution: 2172 c Elapsed CPU time: 88.9505 s Remaining CPU time: 91.0495 s c =============================================================================== c | 39505 | 2485 2681 427996 | 5000 4279 2174 | 0.600 % | c =============================================================================== c New solution: 2171 c Elapsed CPU time: 89.1924 s Remaining CPU time: 90.8076 s c =============================================================================== c | 39517 | 2485 2682 430346 | 5000 4291 2174 | 0.600 % | c | 39618 | 2485 2682 430346 | 5500 4392 2174 | 0.600 % | c | 39768 | 2485 2682 430346 | 6050 4542 2174 | 0.600 % | c | 39994 | 2485 2682 430346 | 6655 4768 2174 | 0.600 % | c =============================================================================== c New solution: 2170 c Elapsed CPU time: 91.1061 s Remaining CPU time: 88.8939 s c =============================================================================== c | 40328 | 2485 2683 432696 | 5000 5102 2174 | 0.600 % | c | 40429 | 2485 2683 432696 | 5500 2652 2168 | 0.600 % | c | 40579 | 2485 2683 432696 | 6050 2802 2167 | 0.600 % | c | 40804 | 2485 2683 432696 | 6655 3027 2168 | 0.600 % | c =============================================================================== c New solution: 2169 c Elapsed CPU time: 92.6399 s Remaining CPU time: 87.3601 s c =============================================================================== c | 40818 | 2485 2684 435046 | 5000 3041 2168 | 0.600 % | c | 40918 | 2485 2684 435046 | 5500 3141 2167 | 0.600 % | c | 41068 | 2485 2684 435046 | 6050 3291 2167 | 0.600 % | c | 41294 | 2485 2684 435046 | 6655 3517 2167 | 0.600 % | c | 41631 | 2485 2684 435046 | 7320 3854 2168 | 0.600 % | c | 42138 | 2485 2684 435046 | 8052 4361 2168 | 0.600 % | c | 42897 | 2485 2684 435046 | 8857 5120 2169 | 0.600 % | c =============================================================================== c New solution: 2168 c Elapsed CPU time: 98.0411 s Remaining CPU time: 81.9589 s c =============================================================================== c | 43350 | 2485 2685 437396 | 5000 5573 2168 | 0.600 % |