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 | 2489 2504 7342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 0.027995 s Remaining CPU time: 179.972 s c =============================================================================== c | 0 | 2489 2505 9692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 2489 2506 12042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 0.032994 s Remaining CPU time: 179.967 s c =============================================================================== c | 0 | 2489 2507 14392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s c =============================================================================== c | 0 | 2489 2508 16742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s c =============================================================================== c | 0 | 2489 2509 19092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s c =============================================================================== c | 0 | 2489 2510 21442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2344 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 2489 2511 23792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s c =============================================================================== c | 0 | 2489 2512 26142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2342 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 2489 2513 28492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2341 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s c =============================================================================== c | 0 | 2489 2514 30842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s c =============================================================================== c | 0 | 2489 2515 33192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s c =============================================================================== c | 0 | 2489 2516 35542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 0.085986 s Remaining CPU time: 179.914 s c =============================================================================== c | 0 | 2489 2517 37892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 0.092985 s Remaining CPU time: 179.907 s c =============================================================================== c | 0 | 2489 2518 40242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s c =============================================================================== c | 0 | 2489 2519 42592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 2489 2520 44942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2334 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s c =============================================================================== c | 0 | 2489 2521 47292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s c =============================================================================== c | 0 | 2489 2522 49642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 0.138978 s Remaining CPU time: 179.861 s c =============================================================================== c | 0 | 2489 2523 51992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 2489 2524 54342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 0.165974 s Remaining CPU time: 179.834 s c =============================================================================== c | 0 | 2489 2525 56692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 0.179972 s Remaining CPU time: 179.82 s c =============================================================================== c | 0 | 2489 2526 59042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 0.19497 s Remaining CPU time: 179.805 s c =============================================================================== c | 0 | 2489 2527 61392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2327 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s c =============================================================================== c | 0 | 2489 2528 63742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2326 c Elapsed CPU time: 0.227965 s Remaining CPU time: 179.772 s c =============================================================================== c | 0 | 2489 2529 66092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s c =============================================================================== c | 0 | 2489 2530 68442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s c =============================================================================== c | 0 | 2489 2531 70792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 0.282956 s Remaining CPU time: 179.717 s c =============================================================================== c | 0 | 2489 2532 73142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s c =============================================================================== c | 0 | 2489 2533 75492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 0.32595 s Remaining CPU time: 179.674 s c =============================================================================== c | 1 | 2489 2534 77842 | 5000 1 2323 | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 0.348946 s Remaining CPU time: 179.651 s c =============================================================================== c | 1 | 2489 2535 80192 | 5000 1 2323 | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 0.377942 s Remaining CPU time: 179.622 s c =============================================================================== c | 1 | 2489 2536 82542 | 5000 1 2323 | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 0.408937 s Remaining CPU time: 179.591 s c =============================================================================== c | 1 | 2489 2537 84892 | 5000 1 2323 | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 2 | 2489 2538 87242 | 5000 2 2321 | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 2 | 2489 2539 89592 | 5000 2 2321 | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 0.510922 s Remaining CPU time: 179.489 s c =============================================================================== c | 2 | 2489 2540 91942 | 5000 2 2321 | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 0.546916 s Remaining CPU time: 179.453 s c =============================================================================== c | 2 | 2489 2541 94292 | 5000 2 2321 | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 0.58591 s Remaining CPU time: 179.414 s c =============================================================================== c | 2 | 2489 2542 96642 | 5000 2 2321 | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 0.623905 s Remaining CPU time: 179.376 s c =============================================================================== c | 2 | 2489 2543 98992 | 5000 2 2321 | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 0.664898 s Remaining CPU time: 179.335 s c =============================================================================== c | 2 | 2489 2544 101342 | 5000 2 2321 | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s c =============================================================================== c | 3 | 2489 2545 103692 | 5000 3 2318 | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 0.750885 s Remaining CPU time: 179.249 s c =============================================================================== c | 4 | 2489 2546 106042 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 4 | 2489 2547 108392 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 0.84987 s Remaining CPU time: 179.15 s c =============================================================================== c | 4 | 2489 2548 110742 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 0.901862 s Remaining CPU time: 179.098 s c =============================================================================== c | 4 | 2489 2549 113092 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 4 | 2489 2550 115442 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 1.00385 s Remaining CPU time: 178.996 s c =============================================================================== c | 4 | 2489 2551 117792 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 1.06384 s Remaining CPU time: 178.936 s c =============================================================================== c | 4 | 2489 2552 120142 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 1.11983 s Remaining CPU time: 178.88 s c =============================================================================== c | 4 | 2489 2553 122492 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 1.17682 s Remaining CPU time: 178.823 s c =============================================================================== c | 4 | 2489 2554 124842 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 1.22881 s Remaining CPU time: 178.771 s c =============================================================================== c | 4 | 2489 2555 127192 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 1.2828 s Remaining CPU time: 178.717 s c =============================================================================== c | 4 | 2489 2556 129542 | 5000 4 2316 | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 1.3378 s Remaining CPU time: 178.662 s c =============================================================================== c | 5 | 2489 2557 131892 | 5000 5 2313 | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 5 | 2489 2558 134242 | 5000 5 2313 | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 1.44878 s Remaining CPU time: 178.551 s c =============================================================================== c | 5 | 2489 2559 136592 | 5000 5 2313 | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s c =============================================================================== c | 5 | 2489 2560 138942 | 5000 5 2313 | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 1.57976 s Remaining CPU time: 178.42 s c =============================================================================== c | 5 | 2489 2561 141292 | 5000 5 2313 | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 1.64575 s Remaining CPU time: 178.354 s c =============================================================================== c | 5 | 2489 2562 143642 | 5000 5 2313 | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 1.71574 s Remaining CPU time: 178.284 s c =============================================================================== c | 10 | 2489 2563 145992 | 5000 10 2303 | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 1.78673 s Remaining CPU time: 178.213 s c =============================================================================== c | 12 | 2489 2564 148342 | 5000 12 2302 | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 1.85772 s Remaining CPU time: 178.142 s c =============================================================================== c | 12 | 2489 2565 150692 | 5000 12 2302 | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 1.92871 s Remaining CPU time: 178.071 s c =============================================================================== c | 12 | 2489 2566 153042 | 5000 12 2302 | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 2.0027 s Remaining CPU time: 177.997 s c =============================================================================== c | 14 | 2489 2567 155392 | 5000 14 2300 | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 2.08268 s Remaining CPU time: 177.917 s c =============================================================================== c | 24 | 2489 2568 157742 | 5000 24 2295 | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 2.15667 s Remaining CPU time: 177.843 s c =============================================================================== c | 25 | 2489 2569 160092 | 5000 25 2295 | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 2.23366 s Remaining CPU time: 177.766 s c =============================================================================== c | 25 | 2489 2570 162442 | 5000 25 2295 | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 2.31965 s Remaining CPU time: 177.68 s c =============================================================================== c | 41 | 2489 2571 164792 | 5000 41 2292 | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 2.40163 s Remaining CPU time: 177.598 s c =============================================================================== c | 45 | 2489 2572 167142 | 5000 45 2291 | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 2.48062 s Remaining CPU time: 177.519 s c =============================================================================== c | 45 | 2489 2573 169492 | 5000 45 2291 | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 2.56361 s Remaining CPU time: 177.436 s c =============================================================================== c | 48 | 2489 2574 171842 | 5000 48 2290 | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 2.6446 s Remaining CPU time: 177.355 s c =============================================================================== c | 54 | 2489 2575 174192 | 5000 54 2290 | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 2.73358 s Remaining CPU time: 177.266 s c =============================================================================== c | 60 | 2489 2576 176542 | 5000 60 2289 | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 2.82057 s Remaining CPU time: 177.179 s c =============================================================================== c | 65 | 2489 2577 178892 | 5000 65 2288 | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 2.90456 s Remaining CPU time: 177.095 s c =============================================================================== c | 66 | 2489 2578 181242 | 5000 66 2288 | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 2.99354 s Remaining CPU time: 177.006 s c =============================================================================== c | 71 | 2489 2579 183592 | 5000 71 2287 | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 3.08653 s Remaining CPU time: 176.913 s c =============================================================================== c | 82 | 2489 2580 185942 | 5000 82 2286 | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 3.20151 s Remaining CPU time: 176.798 s c =============================================================================== c | 111 | 2489 2581 188292 | 5000 111 2283 | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 3.3175 s Remaining CPU time: 176.683 s c =============================================================================== c | 139 | 2489 2582 190642 | 5000 139 2282 | 0.000 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 3.41148 s Remaining CPU time: 176.589 s c =============================================================================== c | 144 | 2489 2583 192992 | 5000 144 2281 | 0.000 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 3.53646 s Remaining CPU time: 176.464 s c =============================================================================== c | 192 | 2489 2584 195342 | 5000 192 2279 | 0.000 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 3.65344 s Remaining CPU time: 176.347 s c =============================================================================== c | 211 | 2489 2585 197692 | 5000 211 2279 | 0.000 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 3.75643 s Remaining CPU time: 176.244 s c =============================================================================== c | 218 | 2489 2586 200042 | 5000 218 2279 | 0.000 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 3.86041 s Remaining CPU time: 176.14 s c =============================================================================== c | 225 | 2489 2587 202392 | 5000 225 2278 | 0.000 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 4.00239 s Remaining CPU time: 175.998 s c =============================================================================== c | 275 | 2489 2588 204742 | 5000 275 2277 | 0.000 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 4.12137 s Remaining CPU time: 175.879 s c =============================================================================== c | 298 | 2489 2589 207092 | 5000 298 2276 | 0.000 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 4.26135 s Remaining CPU time: 175.739 s c =============================================================================== c | 349 | 2489 2590 209442 | 5000 349 2275 | 0.000 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 4.37233 s Remaining CPU time: 175.628 s c =============================================================================== c | 355 | 2489 2591 211792 | 5000 355 2275 | 0.000 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 4.48132 s Remaining CPU time: 175.519 s c =============================================================================== c | 357 | 2489 2592 214142 | 5000 357 2275 | 0.000 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 4.6213 s Remaining CPU time: 175.379 s c =============================================================================== c | 399 | 2489 2593 216492 | 5000 399 2273 | 0.000 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 4.80727 s Remaining CPU time: 175.193 s c =============================================================================== c | 484 | 2489 2594 218842 | 5000 484 2272 | 0.000 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 4.95025 s Remaining CPU time: 175.05 s c =============================================================================== c | 542 | 2489 2595 221192 | 5000 542 2266 | 0.000 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 5.06923 s Remaining CPU time: 174.931 s c =============================================================================== c | 563 | 2489 2596 223542 | 5000 563 2266 | 0.000 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 5.19221 s Remaining CPU time: 174.808 s c =============================================================================== c | 582 | 2489 2597 225892 | 5000 582 2262 | 0.000 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 5.35919 s Remaining CPU time: 174.641 s c =============================================================================== c | 660 | 2489 2598 228242 | 5000 660 2262 | 0.000 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 5.48916 s Remaining CPU time: 174.511 s c =============================================================================== c | 683 | 2489 2599 230592 | 5000 683 2262 | 0.000 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 5.65414 s Remaining CPU time: 174.346 s c =============================================================================== c | 747 | 2489 2600 232942 | 5000 747 2261 | 0.000 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 5.82211 s Remaining CPU time: 174.178 s c =============================================================================== c | 811 | 2489 2601 235292 | 5000 811 2261 | 0.000 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 6.09207 s Remaining CPU time: 173.908 s c =============================================================================== c | 887 | 2489 2602 237642 | 5000 887 2261 | 0.000 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 6.23605 s Remaining CPU time: 173.764 s c =============================================================================== c | 904 | 2489 2603 239992 | 5000 904 2258 | 0.000 % | c | 1005 | 2489 2603 239992 | 5500 1005 2257 | 0.440 % | c | 1156 | 2489 2603 239992 | 6050 1156 2257 | 0.440 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 6.94694 s Remaining CPU time: 173.053 s c =============================================================================== c | 1242 | 2489 2604 242342 | 5000 1242 2257 | 0.440 % | c | 1342 | 2489 2604 242342 | 5500 1342 2256 | 0.440 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 7.30089 s Remaining CPU time: 172.699 s c =============================================================================== c | 1359 | 2489 2605 244692 | 5000 1359 2256 | 0.440 % | c | 1460 | 2489 2605 244692 | 5500 1460 2254 | 0.440 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 7.65284 s Remaining CPU time: 172.347 s c =============================================================================== c | 1498 | 2489 2606 247042 | 5000 1498 2254 | 0.440 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 7.80881 s Remaining CPU time: 172.191 s c =============================================================================== c | 1519 | 2489 2607 249392 | 5000 1519 2254 | 0.440 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 7.97179 s Remaining CPU time: 172.028 s c =============================================================================== c | 1561 | 2489 2608 251742 | 5000 1561 2254 | 0.440 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 8.16876 s Remaining CPU time: 171.831 s c =============================================================================== c | 1613 | 2489 2609 254092 | 5000 1613 2254 | 0.440 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 8.31673 s Remaining CPU time: 171.683 s c =============================================================================== c | 1633 | 2489 2610 256442 | 5000 1633 2254 | 0.440 % | c | 1733 | 2489 2610 256442 | 5500 1733 2253 | 0.440 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 8.78766 s Remaining CPU time: 171.212 s c =============================================================================== c | 1851 | 2489 2611 258792 | 5000 1851 2253 | 0.440 % | c | 1951 | 2489 2611 258792 | 5500 1951 2253 | 0.440 % | c | 2101 | 2489 2611 258792 | 6050 2101 2252 | 0.440 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 9.42657 s Remaining CPU time: 170.573 s c =============================================================================== c | 2178 | 2489 2612 261142 | 5000 2178 2252 | 0.440 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 9.61254 s Remaining CPU time: 170.387 s c =============================================================================== c | 2224 | 2489 2613 263492 | 5000 2224 2252 | 0.440 % | c | 2324 | 2489 2613 263492 | 5500 2324 2251 | 0.440 % | c | 2474 | 2489 2613 263492 | 6050 2474 2251 | 0.440 % | c | 2699 | 2489 2613 263492 | 6655 2699 2250 | 0.440 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 10.5714 s Remaining CPU time: 169.429 s c =============================================================================== c | 2772 | 2489 2614 265842 | 5000 2772 2250 | 0.440 % | c | 2872 | 2489 2614 265842 | 5500 2872 2250 | 0.440 % | c | 3024 | 2489 2614 265842 | 6050 3024 2249 | 0.440 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 11.2913 s Remaining CPU time: 168.709 s c =============================================================================== c | 3058 | 2489 2615 268192 | 5000 3058 2249 | 0.440 % | c | 3159 | 2489 2615 268192 | 5500 3159 2249 | 0.440 % | c | 3310 | 2489 2615 268192 | 6050 3310 2249 | 0.440 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 12.0812 s Remaining CPU time: 167.919 s c =============================================================================== c | 3490 | 2489 2616 270542 | 5000 3490 2248 | 0.440 % | c | 3592 | 2489 2616 270542 | 5500 3592 2248 | 0.440 % | c | 3742 | 2489 2616 270542 | 6050 3742 2248 | 0.440 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 12.8201 s Remaining CPU time: 167.18 s c =============================================================================== c | 3813 | 2489 2617 272892 | 5000 3813 2248 | 0.440 % | c | 3914 | 2489 2617 272892 | 5500 3914 2247 | 0.440 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 13.27 s Remaining CPU time: 166.73 s c =============================================================================== c | 4017 | 2489 2618 275242 | 5000 4017 2247 | 0.440 % | c | 4118 | 2489 2618 275242 | 5500 4118 2246 | 0.440 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 13.7149 s Remaining CPU time: 166.285 s c =============================================================================== c | 4170 | 2489 2619 277592 | 5000 4170 2246 | 0.440 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 13.9859 s Remaining CPU time: 166.014 s c =============================================================================== c | 4268 | 2489 2620 279942 | 5000 4268 2246 | 0.440 % | c | 4368 | 2489 2620 279942 | 5500 4368 2245 | 0.440 % | c | 4518 | 2489 2620 279942 | 6050 4518 2245 | 0.440 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 14.7318 s Remaining CPU time: 165.268 s c =============================================================================== c | 4626 | 2489 2621 282292 | 5000 4626 2245 | 0.440 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 14.9317 s Remaining CPU time: 165.068 s c =============================================================================== c | 4667 | 2489 2622 284642 | 5000 4667 2245 | 0.440 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 15.1567 s Remaining CPU time: 164.843 s c =============================================================================== c | 4755 | 2489 2623 286992 | 5000 4755 2245 | 0.440 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 15.3897 s Remaining CPU time: 164.61 s c =============================================================================== c | 4834 | 2489 2624 289342 | 5000 4834 2244 | 0.440 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 15.5586 s Remaining CPU time: 164.441 s c =============================================================================== c | 4863 | 2489 2625 291692 | 5000 4863 2244 | 0.440 % | c | 4964 | 2489 2625 291692 | 5500 4964 2244 | 0.440 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 16.0836 s Remaining CPU time: 163.916 s c =============================================================================== c | 5051 | 2489 2626 294042 | 5000 5051 2244 | 0.440 % | c | 5151 | 2489 2626 294042 | 5500 2626 2234 | 0.440 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 16.5795 s Remaining CPU time: 163.421 s c =============================================================================== c | 5215 | 2489 2627 296392 | 5000 2690 2233 | 0.440 % | c | 5315 | 2489 2627 296392 | 5500 2790 2233 | 0.440 % | c | 5465 | 2489 2627 296392 | 6050 2940 2233 | 0.440 % | c | 5690 | 2489 2627 296392 | 6655 3165 2233 | 0.440 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 17.9033 s Remaining CPU time: 162.097 s c =============================================================================== c | 5996 | 2489 2628 298742 | 5000 3471 2233 | 0.440 % | c | 6097 | 2489 2628 298742 | 5500 3572 2233 | 0.440 % | c | 6247 | 2489 2628 298742 | 6050 3722 2232 | 0.440 % | c | 6472 | 2489 2628 298742 | 6655 3947 2232 | 0.440 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 19.1211 s Remaining CPU time: 160.879 s c =============================================================================== c | 6551 | 2489 2629 301092 | 5000 4026 2232 | 0.440 % | c | 6652 | 2489 2629 301092 | 5500 4127 2232 | 0.440 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 19.581 s Remaining CPU time: 160.419 s c =============================================================================== c | 6668 | 2489 2630 303442 | 5000 4143 2232 | 0.440 % | c | 6769 | 2489 2630 303442 | 5500 4244 2232 | 0.440 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 20.044 s Remaining CPU time: 159.956 s c =============================================================================== c | 6823 | 2489 2631 305792 | 5000 4298 2232 | 0.440 % | c | 6924 | 2489 2631 305792 | 5500 4399 2232 | 0.440 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 20.5079 s Remaining CPU time: 159.492 s c =============================================================================== c | 6967 | 2489 2632 308142 | 5000 4442 2231 | 0.440 % | c | 7067 | 2489 2632 308142 | 5500 4542 2231 | 0.440 % | c | 7217 | 2489 2632 308142 | 6050 4692 2231 | 0.440 % | c | 7442 | 2489 2632 308142 | 6655 4917 2231 | 0.440 % | c | 7780 | 2489 2632 308142 | 7320 5255 2230 | 0.440 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 22.5126 s Remaining CPU time: 157.487 s c =============================================================================== c | 7990 | 2489 2633 310492 | 5000 5465 2230 | 0.440 % | c | 8090 | 2489 2633 310492 | 5500 2833 2222 | 0.440 % | c | 8241 | 2489 2633 310492 | 6050 2984 2222 | 0.440 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 23.3534 s Remaining CPU time: 156.647 s c =============================================================================== c | 8290 | 2489 2634 312842 | 5000 3033 2222 | 0.440 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 23.5634 s Remaining CPU time: 156.437 s c =============================================================================== c | 8360 | 2489 2635 315192 | 5000 3103 2222 | 0.440 % | c | 8460 | 2489 2635 315192 | 5500 3203 2222 | 0.440 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 24.0843 s Remaining CPU time: 155.916 s c =============================================================================== c | 8543 | 2489 2636 317542 | 5000 3286 2222 | 0.440 % | c | 8644 | 2489 2636 317542 | 5500 3387 2222 | 0.440 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 24.5803 s Remaining CPU time: 155.42 s c =============================================================================== c | 8708 | 2489 2637 319892 | 5000 3451 2222 | 0.440 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 24.7672 s Remaining CPU time: 155.233 s c =============================================================================== c | 8730 | 2489 2638 322242 | 5000 3473 2222 | 0.440 % | c | 8830 | 2489 2638 322242 | 5500 3573 2222 | 0.440 % | c | 8980 | 2489 2638 322242 | 6050 3723 2222 | 0.440 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 25.6171 s Remaining CPU time: 154.383 s c =============================================================================== c | 8997 | 2489 2639 324592 | 5000 3740 2222 | 0.440 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 25.8031 s Remaining CPU time: 154.197 s c =============================================================================== c | 9011 | 2489 2640 326942 | 5000 3754 2222 | 0.440 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 26.054 s Remaining CPU time: 153.946 s c =============================================================================== c | 9067 | 2489 2641 329292 | 5000 3810 2222 | 0.440 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 26.308 s Remaining CPU time: 153.692 s c =============================================================================== c | 9144 | 2489 2642 331642 | 5000 3887 2222 | 0.440 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 26.555 s Remaining CPU time: 153.445 s c =============================================================================== c | 9241 | 2489 2643 333992 | 5000 3984 2221 | 0.440 % | c | 9341 | 2489 2643 333992 | 5500 4084 2221 | 0.440 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 27.0599 s Remaining CPU time: 152.94 s c =============================================================================== c | 9376 | 2489 2644 336342 | 5000 4119 2221 | 0.440 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 27.2569 s Remaining CPU time: 152.743 s c =============================================================================== c | 9392 | 2489 2645 338692 | 5000 4135 2221 | 0.440 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 27.4588 s Remaining CPU time: 152.541 s c =============================================================================== c | 9420 | 2489 2646 341042 | 5000 4163 2221 | 0.440 % | c | 9520 | 2489 2646 341042 | 5500 4263 2221 | 0.440 % | c | 9671 | 2489 2646 341042 | 6050 4414 2220 | 0.440 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 28.3617 s Remaining CPU time: 151.638 s c =============================================================================== c | 9703 | 2489 2647 343392 | 5000 4446 2220 | 0.440 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 28.5647 s Remaining CPU time: 151.435 s c =============================================================================== c | 9729 | 2489 2648 345742 | 5000 4472 2220 | 0.440 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 28.8046 s Remaining CPU time: 151.195 s c =============================================================================== c | 9791 | 2489 2649 348092 | 5000 4534 2220 | 0.440 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 29.0246 s Remaining CPU time: 150.975 s c =============================================================================== c | 9828 | 2489 2650 350442 | 5000 4571 2220 | 0.440 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 29.2825 s Remaining CPU time: 150.717 s c =============================================================================== c | 9880 | 2489 2651 352792 | 5000 4623 2219 | 0.440 % | c | 9980 | 2489 2651 352792 | 5500 4723 2219 | 0.440 % | c | 10130 | 2489 2651 352792 | 6050 4873 2219 | 0.440 % | c | 10356 | 2489 2651 352792 | 6655 5099 2218 | 0.440 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 30.8523 s Remaining CPU time: 149.148 s c =============================================================================== c | 10637 | 2489 2652 355142 | 5000 5380 2217 | 0.440 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 31.1123 s Remaining CPU time: 148.888 s c =============================================================================== c | 10717 | 2489 2653 357492 | 5000 2770 2208 | 0.440 % | c | 10817 | 2489 2653 357492 | 5500 2870 2208 | 0.440 % | c | 10968 | 2489 2653 357492 | 6050 3021 2207 | 0.440 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 32.0081 s Remaining CPU time: 147.992 s c =============================================================================== c | 11017 | 2489 2654 359842 | 5000 3070 2207 | 0.440 % | c | 11119 | 2489 2654 359842 | 5500 3172 2207 | 0.440 % | c | 11269 | 2489 2654 359842 | 6050 3322 2207 | 0.440 % | c | 11496 | 2489 2654 359842 | 6655 3549 2207 | 0.440 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 33.7999 s Remaining CPU time: 146.2 s c =============================================================================== c | 11830 | 2489 2655 362192 | 5000 3883 2206 | 0.440 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 34.0098 s Remaining CPU time: 145.99 s c =============================================================================== c | 11855 | 2489 2656 364542 | 5000 3908 2206 | 0.440 % | c | 11955 | 2489 2656 364542 | 5500 4008 2206 | 0.440 % | c | 12106 | 2489 2656 364542 | 6050 4159 2206 | 0.440 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 34.8917 s Remaining CPU time: 145.108 s c =============================================================================== c | 12115 | 2489 2657 366892 | 5000 4168 2206 | 0.440 % | c | 12216 | 2489 2657 366892 | 5500 4269 2206 | 0.440 % | c | 12366 | 2489 2657 366892 | 6050 4419 2206 | 0.440 % | c | 12593 | 2489 2657 366892 | 6655 4646 2205 | 0.440 % | c | 12931 | 2489 2657 366892 | 7320 4984 2205 | 0.440 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 36.8894 s Remaining CPU time: 143.111 s c =============================================================================== c | 12946 | 2489 2658 369242 | 5000 4999 2205 | 0.440 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 37.1334 s Remaining CPU time: 142.867 s c =============================================================================== c | 13009 | 2489 2659 371592 | 5000 5062 2205 | 0.440 % | c | 13109 | 2489 2659 371592 | 5500 2631 2196 | 0.440 % | c | 13259 | 2489 2659 371592 | 6050 2781 2196 | 0.440 % | c | 13484 | 2489 2659 371592 | 6655 3006 2196 | 0.440 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 38.4162 s Remaining CPU time: 141.584 s c =============================================================================== c | 13540 | 2489 2660 373942 | 5000 3062 2196 | 0.440 % | c | 13640 | 2489 2660 373942 | 5500 3162 2196 | 0.440 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 39.0851 s Remaining CPU time: 140.915 s c =============================================================================== c | 13681 | 2489 2661 376292 | 5000 3203 2196 | 0.440 % | c | 13782 | 2489 2661 376292 | 5500 3304 2195 | 0.440 % | c | 13933 | 2489 2661 376292 | 6050 3455 2195 | 0.440 % | c | 14159 | 2489 2661 376292 | 6655 3681 2195 | 0.440 % | c | 14496 | 2489 2661 376292 | 7320 4018 2195 | 0.440 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 41.1967 s Remaining CPU time: 138.803 s c =============================================================================== c | 14525 | 2489 2662 378642 | 5000 4047 2195 | 0.440 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 41.4907 s Remaining CPU time: 138.509 s c =============================================================================== c | 14599 | 2489 2663 380992 | 5000 4121 2195 | 0.440 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 41.7507 s Remaining CPU time: 138.249 s c =============================================================================== c | 14634 | 2489 2664 383342 | 5000 4156 2195 | 0.440 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 41.9926 s Remaining CPU time: 138.007 s c =============================================================================== c | 14666 | 2489 2665 385692 | 5000 4188 2195 | 0.440 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 42.2076 s Remaining CPU time: 137.792 s c =============================================================================== c | 14677 | 2489 2666 388042 | 5000 4199 2195 | 0.440 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 42.4615 s Remaining CPU time: 137.538 s c =============================================================================== c | 14726 | 2489 2667 390392 | 5000 4248 2195 | 0.440 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 42.7225 s Remaining CPU time: 137.277 s c =============================================================================== c | 14762 | 2489 2668 392742 | 5000 4284 2195 | 0.440 % | c | 14862 | 2489 2668 392742 | 5500 4384 2195 | 0.440 % | c =============================================================================== c New solution: 2186 c Elapsed CPU time: 43.3454 s Remaining CPU time: 136.655 s c =============================================================================== c | 14877 | 2489 2669 395092 | 5000 4399 2194 | 0.440 % | c | 14978 | 2489 2669 395092 | 5500 4500 2194 | 0.440 % | c | 15130 | 2489 2669 395092 | 6050 4652 2194 | 0.440 % | c =============================================================================== c New solution: 2185 c Elapsed CPU time: 44.2853 s Remaining CPU time: 135.715 s c =============================================================================== c | 15203 | 2489 2670 397442 | 5000 4725 2194 | 0.440 % | c | 15304 | 2489 2670 397442 | 5500 4826 2194 | 0.440 % | c =============================================================================== c New solution: 2184 c Elapsed CPU time: 44.7202 s Remaining CPU time: 135.28 s c =============================================================================== c | 15330 | 2489 2671 399792 | 5000 4852 2194 | 0.440 % | c =============================================================================== c New solution: 2183 c Elapsed CPU time: 44.9732 s Remaining CPU time: 135.027 s c =============================================================================== c | 15376 | 2489 2672 402142 | 5000 4898 2194 | 0.440 % | c | 15476 | 2489 2672 402142 | 5500 4998 2194 | 0.440 % | c | 15627 | 2489 2672 402142 | 6050 5149 2193 | 0.440 % | c | 15852 | 2489 2672 402142 | 6655 5374 2193 | 0.440 % | c =============================================================================== c New solution: 2182 c Elapsed CPU time: 46.363 s Remaining CPU time: 133.637 s c =============================================================================== c | 15943 | 2489 2673 404492 | 5000 5465 2193 | 0.440 % | c | 16043 | 2489 2673 404492 | 5500 2833 2184 | 0.440 % | c | 16193 | 2489 2673 404492 | 6050 2983 2184 | 0.440 % | c | 16418 | 2489 2673 404492 | 6655 3208 2184 | 0.440 % | c =============================================================================== c New solution: 2181 c Elapsed CPU time: 47.7857 s Remaining CPU time: 132.214 s c =============================================================================== c | 16510 | 2489 2674 406842 | 5000 3300 2184 | 0.440 % | c =============================================================================== c New solution: 2180 c Elapsed CPU time: 47.9957 s Remaining CPU time: 132.004 s c =============================================================================== c | 16543 | 2489 2675 409192 | 5000 3333 2184 | 0.440 % | c | 16644 | 2489 2675 409192 | 5500 3434 2184 | 0.440 % | c =============================================================================== c New solution: 2179 c Elapsed CPU time: 48.4986 s Remaining CPU time: 131.501 s c =============================================================================== c | 16677 | 2489 2676 411542 | 5000 3467 2184 | 0.440 % | c | 16778 | 2489 2676 411542 | 5500 3568 2184 | 0.440 % | c | 16928 | 2489 2676 411542 | 6050 3718 2184 | 0.440 % | c | 17153 | 2489 2676 411542 | 6655 3943 2184 | 0.440 % | c | 17490 | 2489 2676 411542 | 7320 4280 2183 | 0.440 % | c =============================================================================== c New solution: 2178 c Elapsed CPU time: 50.4153 s Remaining CPU time: 129.585 s c =============================================================================== c | 17600 | 2489 2677 413892 | 5000 4390 2183 | 0.440 % | c | 17701 | 2489 2677 413892 | 5500 4491 2183 | 0.440 % | c | 17851 | 2489 2677 413892 | 6050 4641 2183 | 0.440 % | c | 18076 | 2489 2677 413892 | 6655 4866 2182 | 0.440 % | c | 18413 | 2489 2677 413892 | 7320 5203 2182 | 0.440 % | c | 18919 | 2489 2677 413892 | 8052 5709 2182 | 0.440 % | c | 19679 | 2489 2677 413892 | 8857 6469 2181 | 0.440 % | c =============================================================================== c New solution: 2177 c Elapsed CPU time: 54.7117 s Remaining CPU time: 125.288 s c =============================================================================== c | 19863 | 2489 2678 416242 | 5000 6653 2181 | 0.440 % | c | 19963 | 2489 2678 416242 | 5500 3427 2172 | 0.440 % | c | 20115 | 2489 2678 416242 | 6050 3579 2173 | 0.440 % | c =============================================================================== c New solution: 2176 c Elapsed CPU time: 55.7535 s Remaining CPU time: 124.246 s c =============================================================================== c | 20242 | 2489 2679 418592 | 5000 3706 2173 | 0.440 % | c | 20342 | 2489 2679 418592 | 5500 3806 2173 | 0.440 % | c | 20493 | 2489 2679 418592 | 6050 3957 2173 | 0.440 % | c | 20719 | 2489 2679 418592 | 6655 4183 2173 | 0.440 % | c =============================================================================== c New solution: 2175 c Elapsed CPU time: 57.6432 s Remaining CPU time: 122.357 s c =============================================================================== c | 21036 | 2489 2680 420942 | 5000 4500 2174 | 0.440 % | c | 21138 | 2489 2680 420942 | 5500 4602 2174 | 0.440 % | c | 21288 | 2489 2680 420942 | 6050 4752 2174 | 0.440 % | c | 21513 | 2489 2680 420942 | 6655 4977 2174 | 0.440 % | c =============================================================================== c New solution: 2174 c Elapsed CPU time: 59.365 s Remaining CPU time: 120.635 s c =============================================================================== c | 21719 | 2489 2681 423292 | 5000 5183 2174 | 0.440 % | c | 21820 | 2489 2681 423292 | 5500 2693 2169 | 0.440 % | c | 21971 | 2489 2681 423292 | 6050 2844 2169 | 0.440 % | c | 22196 | 2489 2681 423292 | 6655 3069 2170 | 0.440 % | c | 22534 | 2489 2681 423292 | 7320 3407 2170 | 0.440 % | c | 23040 | 2489 2681 423292 | 8052 3913 2171 | 0.440 % | c =============================================================================== c New solution: 2173 c Elapsed CPU time: 63.3084 s Remaining CPU time: 116.692 s c =============================================================================== c | 23312 | 2489 2682 425642 | 5000 4185 2171 | 0.440 % | c | 23412 | 2489 2682 425642 | 5500 4285 2171 | 0.440 % | c =============================================================================== c New solution: 2172 c Elapsed CPU time: 63.9363 s Remaining CPU time: 116.064 s c =============================================================================== c | 23445 | 2489 2683 427992 | 5000 4318 2171 | 0.440 % | c | 23545 | 2489 2683 427992 | 5500 4418 2171 | 0.440 % | c | 23697 | 2489 2683 427992 | 6050 4570 2171 | 0.440 % | c | 23923 | 2489 2683 427992 | 6655 4796 2171 | 0.440 % | c | 24260 | 2489 2683 427992 | 7320 5133 2171 | 0.440 % | c =============================================================================== c New solution: 2171 c Elapsed CPU time: 66.4459 s Remaining CPU time: 113.554 s c =============================================================================== c | 24509 | 2489 2684 430342 | 5000 5382 2171 | 0.440 % | c | 24610 | 2489 2684 430342 | 5500 2792 2165 | 0.440 % | c | 24760 | 2489 2684 430342 | 6050 2942 2165 | 0.440 % | c | 24986 | 2489 2684 430342 | 6655 3168 2166 | 0.440 % | c | 25324 | 2489 2684 430342 | 7320 3506 2166 | 0.440 % | c | 25831 | 2489 2684 430342 | 8052 4013 2167 | 0.440 % | c | 26591 | 2489 2684 430342 | 8857 4773 2168 | 0.440 % | c | 27731 | 2489 2684 430342 | 9743 5913 2168 | 0.440 % | c | 29440 | 2489 2684 430342 | 10717 7622 2169 | 0.440 % | c | 32004 | 2489 2684 430342 | 11789 10186 2170 | 0.440 % | c | 35848 | 2489 2684 430342 | 12968 7024 2168 | 0.440 % | c | 41614 | 2489 2684 430342 | 14265 12790 2170 | 0.440 % |