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: 12920 c Elapsed CPU time: 0.047992 s Remaining CPU time: 179.952 s c =============================================================================== c | 0 | 2489 2505 9692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12910 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s c =============================================================================== c | 0 | 2489 2506 12042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12907 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s c =============================================================================== c | 0 | 2489 2507 14392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12900 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s c =============================================================================== c | 0 | 2489 2508 16742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12897 c Elapsed CPU time: 0.12998 s Remaining CPU time: 179.87 s c =============================================================================== c | 0 | 2489 2509 19092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12895 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s c =============================================================================== c | 0 | 2489 2510 21442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12892 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 0 | 2489 2511 23792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12891 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 2489 2512 26142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12890 c Elapsed CPU time: 0.219966 s Remaining CPU time: 179.78 s c =============================================================================== c | 0 | 2489 2513 28492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12886 c Elapsed CPU time: 0.243962 s Remaining CPU time: 179.756 s c =============================================================================== c | 0 | 2489 2514 30842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12885 c Elapsed CPU time: 0.268959 s Remaining CPU time: 179.731 s c =============================================================================== c | 0 | 2489 2515 33192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12884 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s c =============================================================================== c | 0 | 2489 2516 35542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12883 c Elapsed CPU time: 0.319951 s Remaining CPU time: 179.68 s c =============================================================================== c | 0 | 2489 2517 37892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12882 c Elapsed CPU time: 0.343947 s Remaining CPU time: 179.656 s c =============================================================================== c | 0 | 2489 2518 40242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12880 c Elapsed CPU time: 0.368943 s Remaining CPU time: 179.631 s c =============================================================================== c | 0 | 2489 2519 42592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12879 c Elapsed CPU time: 0.395939 s Remaining CPU time: 179.604 s c =============================================================================== c | 0 | 2489 2520 44942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12878 c Elapsed CPU time: 0.423935 s Remaining CPU time: 179.576 s c =============================================================================== c | 0 | 2489 2521 47292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12877 c Elapsed CPU time: 0.452931 s Remaining CPU time: 179.547 s c =============================================================================== c | 0 | 2489 2522 49642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12874 c Elapsed CPU time: 0.480926 s Remaining CPU time: 179.519 s c =============================================================================== c | 0 | 2489 2523 51992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12872 c Elapsed CPU time: 0.511922 s Remaining CPU time: 179.488 s c =============================================================================== c | 0 | 2489 2524 54342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12867 c Elapsed CPU time: 0.540917 s Remaining CPU time: 179.459 s c =============================================================================== c | 0 | 2489 2525 56692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12863 c Elapsed CPU time: 0.570913 s Remaining CPU time: 179.429 s c =============================================================================== c | 0 | 2489 2526 59042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12859 c Elapsed CPU time: 0.601908 s Remaining CPU time: 179.398 s c =============================================================================== c | 0 | 2489 2527 61392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12857 c Elapsed CPU time: 0.635903 s Remaining CPU time: 179.364 s c =============================================================================== c | 0 | 2489 2528 63742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12856 c Elapsed CPU time: 0.667898 s Remaining CPU time: 179.332 s c =============================================================================== c | 0 | 2489 2529 66092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12853 c Elapsed CPU time: 0.701893 s Remaining CPU time: 179.298 s c =============================================================================== c | 0 | 2489 2530 68442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12848 c Elapsed CPU time: 0.737887 s Remaining CPU time: 179.262 s c =============================================================================== c | 0 | 2489 2531 70792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12847 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 0 | 2489 2532 73142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12846 c Elapsed CPU time: 0.809876 s Remaining CPU time: 179.19 s c =============================================================================== c | 0 | 2489 2533 75492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12845 c Elapsed CPU time: 0.847871 s Remaining CPU time: 179.152 s c =============================================================================== c | 0 | 2489 2534 77842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12843 c Elapsed CPU time: 0.886865 s Remaining CPU time: 179.113 s c =============================================================================== c | 0 | 2489 2535 80192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12840 c Elapsed CPU time: 0.926859 s Remaining CPU time: 179.073 s c =============================================================================== c | 0 | 2489 2536 82542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12838 c Elapsed CPU time: 0.966853 s Remaining CPU time: 179.033 s c =============================================================================== c | 0 | 2489 2537 84892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12835 c Elapsed CPU time: 1.00885 s Remaining CPU time: 178.991 s c =============================================================================== c | 0 | 2489 2538 87242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12828 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s c =============================================================================== c | 0 | 2489 2539 89592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12822 c Elapsed CPU time: 1.09183 s Remaining CPU time: 178.908 s c =============================================================================== c | 0 | 2489 2540 91942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12819 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 0 | 2489 2541 94292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12818 c Elapsed CPU time: 1.17982 s Remaining CPU time: 178.82 s c =============================================================================== c | 0 | 2489 2542 96642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12816 c Elapsed CPU time: 1.22681 s Remaining CPU time: 178.773 s c =============================================================================== c | 0 | 2489 2543 98992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12815 c Elapsed CPU time: 1.27281 s Remaining CPU time: 178.727 s c =============================================================================== c | 0 | 2489 2544 101342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12813 c Elapsed CPU time: 1.3198 s Remaining CPU time: 178.68 s c =============================================================================== c | 0 | 2489 2545 103692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12812 c Elapsed CPU time: 1.36979 s Remaining CPU time: 178.63 s c =============================================================================== c | 0 | 2489 2546 106042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12811 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s c =============================================================================== c | 0 | 2489 2547 108392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12809 c Elapsed CPU time: 1.47078 s Remaining CPU time: 178.529 s c =============================================================================== c | 0 | 2489 2548 110742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12808 c Elapsed CPU time: 1.51977 s Remaining CPU time: 178.48 s c =============================================================================== c | 0 | 2489 2549 113092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12804 c Elapsed CPU time: 1.58076 s Remaining CPU time: 178.419 s c =============================================================================== c | 0 | 2489 2550 115442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12803 c Elapsed CPU time: 1.64275 s Remaining CPU time: 178.357 s c =============================================================================== c | 0 | 2489 2551 117792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12801 c Elapsed CPU time: 1.70574 s Remaining CPU time: 178.294 s c =============================================================================== c | 0 | 2489 2552 120142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12799 c Elapsed CPU time: 1.76573 s Remaining CPU time: 178.234 s c =============================================================================== c | 0 | 2489 2553 122492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12797 c Elapsed CPU time: 1.82872 s Remaining CPU time: 178.171 s c =============================================================================== c | 0 | 2489 2554 124842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12793 c Elapsed CPU time: 1.89271 s Remaining CPU time: 178.107 s c =============================================================================== c | 0 | 2489 2555 127192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12791 c Elapsed CPU time: 1.9567 s Remaining CPU time: 178.043 s c =============================================================================== c | 0 | 2489 2556 129542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12790 c Elapsed CPU time: 2.02269 s Remaining CPU time: 177.977 s c =============================================================================== c | 0 | 2489 2557 131892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12786 c Elapsed CPU time: 2.08668 s Remaining CPU time: 177.913 s c =============================================================================== c | 0 | 2489 2558 134242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12785 c Elapsed CPU time: 2.15367 s Remaining CPU time: 177.846 s c =============================================================================== c | 0 | 2489 2559 136592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12781 c Elapsed CPU time: 2.22166 s Remaining CPU time: 177.778 s c =============================================================================== c | 0 | 2489 2560 138942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12780 c Elapsed CPU time: 2.29065 s Remaining CPU time: 177.709 s c =============================================================================== c | 0 | 2489 2561 141292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12779 c Elapsed CPU time: 2.36264 s Remaining CPU time: 177.637 s c =============================================================================== c | 0 | 2489 2562 143642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12778 c Elapsed CPU time: 2.43363 s Remaining CPU time: 177.566 s c =============================================================================== c | 0 | 2489 2563 145992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12777 c Elapsed CPU time: 2.50962 s Remaining CPU time: 177.49 s c =============================================================================== c | 0 | 2489 2564 148342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12776 c Elapsed CPU time: 2.58161 s Remaining CPU time: 177.418 s c =============================================================================== c | 0 | 2489 2565 150692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12774 c Elapsed CPU time: 2.6586 s Remaining CPU time: 177.341 s c =============================================================================== c | 0 | 2489 2566 153042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12772 c Elapsed CPU time: 2.73558 s Remaining CPU time: 177.264 s c =============================================================================== c | 0 | 2489 2567 155392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12771 c Elapsed CPU time: 2.81857 s Remaining CPU time: 177.181 s c =============================================================================== c | 0 | 2489 2568 157742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12770 c Elapsed CPU time: 2.89956 s Remaining CPU time: 177.1 s c =============================================================================== c | 0 | 2489 2569 160092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12769 c Elapsed CPU time: 2.97755 s Remaining CPU time: 177.022 s c =============================================================================== c | 0 | 2489 2570 162442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12767 c Elapsed CPU time: 3.05854 s Remaining CPU time: 176.941 s c =============================================================================== c | 0 | 2489 2571 164792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12766 c Elapsed CPU time: 3.13952 s Remaining CPU time: 176.86 s c =============================================================================== c | 0 | 2489 2572 167142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12765 c Elapsed CPU time: 3.22051 s Remaining CPU time: 176.779 s c =============================================================================== c | 0 | 2489 2573 169492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12762 c Elapsed CPU time: 3.3035 s Remaining CPU time: 176.697 s c =============================================================================== c | 0 | 2489 2574 171842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12761 c Elapsed CPU time: 3.39048 s Remaining CPU time: 176.61 s c =============================================================================== c | 0 | 2489 2575 174192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12757 c Elapsed CPU time: 3.47347 s Remaining CPU time: 176.527 s c =============================================================================== c | 0 | 2489 2576 176542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12754 c Elapsed CPU time: 3.55746 s Remaining CPU time: 176.443 s c =============================================================================== c | 0 | 2489 2577 178892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12753 c Elapsed CPU time: 3.64045 s Remaining CPU time: 176.36 s c =============================================================================== c | 0 | 2489 2578 181242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12752 c Elapsed CPU time: 3.72743 s Remaining CPU time: 176.273 s c =============================================================================== c | 0 | 2489 2579 183592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12751 c Elapsed CPU time: 3.81242 s Remaining CPU time: 176.188 s c =============================================================================== c | 0 | 2489 2580 185942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12749 c Elapsed CPU time: 3.90941 s Remaining CPU time: 176.091 s c =============================================================================== c | 0 | 2489 2581 188292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12748 c Elapsed CPU time: 4.00139 s Remaining CPU time: 175.999 s c =============================================================================== c | 0 | 2489 2582 190642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12746 c Elapsed CPU time: 4.09238 s Remaining CPU time: 175.908 s c =============================================================================== c | 0 | 2489 2583 192992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12745 c Elapsed CPU time: 4.18636 s Remaining CPU time: 175.814 s c =============================================================================== c | 0 | 2489 2584 195342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12744 c Elapsed CPU time: 4.28035 s Remaining CPU time: 175.72 s c =============================================================================== c | 0 | 2489 2585 197692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12743 c Elapsed CPU time: 4.38033 s Remaining CPU time: 175.62 s c =============================================================================== c | 0 | 2489 2586 200042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12742 c Elapsed CPU time: 4.48032 s Remaining CPU time: 175.52 s c =============================================================================== c | 0 | 2489 2587 202392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12741 c Elapsed CPU time: 4.5823 s Remaining CPU time: 175.418 s c =============================================================================== c | 0 | 2489 2588 204742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12740 c Elapsed CPU time: 4.67729 s Remaining CPU time: 175.323 s c =============================================================================== c | 0 | 2489 2589 207092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12737 c Elapsed CPU time: 4.77427 s Remaining CPU time: 175.226 s c =============================================================================== c | 0 | 2489 2590 209442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12736 c Elapsed CPU time: 4.88026 s Remaining CPU time: 175.12 s c =============================================================================== c | 0 | 2489 2591 211792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12735 c Elapsed CPU time: 4.98124 s Remaining CPU time: 175.019 s c =============================================================================== c | 0 | 2489 2592 214142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12734 c Elapsed CPU time: 5.08223 s Remaining CPU time: 174.918 s c =============================================================================== c | 0 | 2489 2593 216492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12733 c Elapsed CPU time: 5.18621 s Remaining CPU time: 174.814 s c =============================================================================== c | 0 | 2489 2594 218842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12732 c Elapsed CPU time: 5.2882 s Remaining CPU time: 174.712 s c =============================================================================== c | 0 | 2489 2595 221192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12731 c Elapsed CPU time: 5.39418 s Remaining CPU time: 174.606 s c =============================================================================== c | 0 | 2489 2596 223542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12729 c Elapsed CPU time: 5.49916 s Remaining CPU time: 174.501 s c =============================================================================== c | 0 | 2489 2597 225892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12728 c Elapsed CPU time: 5.61315 s Remaining CPU time: 174.387 s c =============================================================================== c | 0 | 2489 2598 228242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12726 c Elapsed CPU time: 5.72613 s Remaining CPU time: 174.274 s c =============================================================================== c | 0 | 2489 2599 230592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12724 c Elapsed CPU time: 5.84211 s Remaining CPU time: 174.158 s c =============================================================================== c | 0 | 2489 2600 232942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12723 c Elapsed CPU time: 5.95309 s Remaining CPU time: 174.047 s c =============================================================================== c | 0 | 2489 2601 235292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12722 c Elapsed CPU time: 6.06508 s Remaining CPU time: 173.935 s c =============================================================================== c | 0 | 2489 2602 237642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12720 c Elapsed CPU time: 6.18706 s Remaining CPU time: 173.813 s c =============================================================================== c | 0 | 2489 2603 239992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12719 c Elapsed CPU time: 6.31104 s Remaining CPU time: 173.689 s c =============================================================================== c | 0 | 2489 2604 242342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12717 c Elapsed CPU time: 6.43902 s Remaining CPU time: 173.561 s c =============================================================================== c | 0 | 2489 2605 244692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12716 c Elapsed CPU time: 6.563 s Remaining CPU time: 173.437 s c =============================================================================== c | 0 | 2489 2606 247042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12715 c Elapsed CPU time: 6.68698 s Remaining CPU time: 173.313 s c =============================================================================== c | 0 | 2489 2607 249392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12713 c Elapsed CPU time: 6.81096 s Remaining CPU time: 173.189 s c =============================================================================== c | 0 | 2489 2608 251742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12711 c Elapsed CPU time: 6.94494 s Remaining CPU time: 173.055 s c =============================================================================== c | 0 | 2489 2609 254092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12709 c Elapsed CPU time: 7.07092 s Remaining CPU time: 172.929 s c =============================================================================== c | 0 | 2489 2610 256442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12707 c Elapsed CPU time: 7.2009 s Remaining CPU time: 172.799 s c =============================================================================== c | 0 | 2489 2611 258792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12706 c Elapsed CPU time: 7.33488 s Remaining CPU time: 172.665 s c =============================================================================== c | 0 | 2489 2612 261142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12705 c Elapsed CPU time: 7.47586 s Remaining CPU time: 172.524 s c =============================================================================== c | 0 | 2489 2613 263492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12704 c Elapsed CPU time: 7.61184 s Remaining CPU time: 172.388 s c =============================================================================== c | 0 | 2489 2614 265842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12702 c Elapsed CPU time: 7.74482 s Remaining CPU time: 172.255 s c =============================================================================== c | 0 | 2489 2615 268192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12699 c Elapsed CPU time: 7.8758 s Remaining CPU time: 172.124 s c =============================================================================== c | 0 | 2489 2616 270542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12698 c Elapsed CPU time: 8.01878 s Remaining CPU time: 171.981 s c =============================================================================== c | 0 | 2489 2617 272892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12696 c Elapsed CPU time: 8.18076 s Remaining CPU time: 171.819 s c =============================================================================== c | 0 | 2489 2618 275242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12694 c Elapsed CPU time: 8.34273 s Remaining CPU time: 171.657 s c =============================================================================== c | 0 | 2489 2619 277592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12693 c Elapsed CPU time: 8.50671 s Remaining CPU time: 171.493 s c =============================================================================== c | 0 | 2489 2620 279942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12692 c Elapsed CPU time: 8.67068 s Remaining CPU time: 171.329 s c =============================================================================== c | 0 | 2489 2621 282292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12691 c Elapsed CPU time: 8.83166 s Remaining CPU time: 171.168 s c =============================================================================== c | 0 | 2489 2622 284642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12690 c Elapsed CPU time: 8.99663 s Remaining CPU time: 171.003 s c =============================================================================== c | 0 | 2489 2623 286992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12689 c Elapsed CPU time: 9.16061 s Remaining CPU time: 170.839 s c =============================================================================== c | 0 | 2489 2624 289342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12688 c Elapsed CPU time: 9.33258 s Remaining CPU time: 170.667 s c =============================================================================== c | 0 | 2489 2625 291692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12687 c Elapsed CPU time: 9.50755 s Remaining CPU time: 170.492 s c =============================================================================== c | 0 | 2489 2626 294042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12686 c Elapsed CPU time: 9.67653 s Remaining CPU time: 170.323 s c =============================================================================== c | 0 | 2489 2627 296392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12685 c Elapsed CPU time: 9.8455 s Remaining CPU time: 170.154 s c =============================================================================== c | 0 | 2489 2628 298742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12684 c Elapsed CPU time: 10.0195 s Remaining CPU time: 169.981 s c =============================================================================== c | 0 | 2489 2629 301092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12683 c Elapsed CPU time: 10.1984 s Remaining CPU time: 169.802 s c =============================================================================== c | 0 | 2489 2630 303442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12682 c Elapsed CPU time: 10.3734 s Remaining CPU time: 169.627 s c =============================================================================== c | 0 | 2489 2631 305792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12681 c Elapsed CPU time: 10.5514 s Remaining CPU time: 169.449 s c =============================================================================== c | 0 | 2489 2632 308142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12680 c Elapsed CPU time: 10.7304 s Remaining CPU time: 169.27 s c =============================================================================== c | 0 | 2489 2633 310492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12679 c Elapsed CPU time: 10.9043 s Remaining CPU time: 169.096 s c =============================================================================== c | 0 | 2489 2634 312842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12678 c Elapsed CPU time: 11.0863 s Remaining CPU time: 168.914 s c =============================================================================== c | 0 | 2489 2635 315192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12677 c Elapsed CPU time: 11.2633 s Remaining CPU time: 168.737 s c =============================================================================== c | 0 | 2489 2636 317542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12676 c Elapsed CPU time: 11.4413 s Remaining CPU time: 168.559 s c =============================================================================== c | 0 | 2489 2637 319892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12673 c Elapsed CPU time: 11.6152 s Remaining CPU time: 168.385 s c =============================================================================== c | 0 | 2489 2638 322242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12668 c Elapsed CPU time: 11.7912 s Remaining CPU time: 168.209 s c =============================================================================== c | 0 | 2489 2639 324592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12667 c Elapsed CPU time: 11.9672 s Remaining CPU time: 168.033 s c =============================================================================== c | 0 | 2489 2640 326942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12665 c Elapsed CPU time: 12.1482 s Remaining CPU time: 167.852 s c =============================================================================== c | 0 | 2489 2641 329292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12662 c Elapsed CPU time: 12.3301 s Remaining CPU time: 167.67 s c =============================================================================== c | 0 | 2489 2642 331642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12660 c Elapsed CPU time: 12.5121 s Remaining CPU time: 167.488 s c =============================================================================== c | 0 | 2489 2643 333992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12659 c Elapsed CPU time: 12.6881 s Remaining CPU time: 167.312 s c =============================================================================== c | 0 | 2489 2644 336342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12658 c Elapsed CPU time: 12.872 s Remaining CPU time: 167.128 s c =============================================================================== c | 0 | 2489 2645 338692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12657 c Elapsed CPU time: 13.058 s Remaining CPU time: 166.942 s c =============================================================================== c | 0 | 2489 2646 341042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12655 c Elapsed CPU time: 13.246 s Remaining CPU time: 166.754 s c =============================================================================== c | 0 | 2489 2647 343392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12653 c Elapsed CPU time: 13.433 s Remaining CPU time: 166.567 s c =============================================================================== c | 0 | 2489 2648 345742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12651 c Elapsed CPU time: 13.6159 s Remaining CPU time: 166.384 s c =============================================================================== c | 0 | 2489 2649 348092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12650 c Elapsed CPU time: 13.7999 s Remaining CPU time: 166.2 s c =============================================================================== c | 0 | 2489 2650 350442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12648 c Elapsed CPU time: 13.9919 s Remaining CPU time: 166.008 s c =============================================================================== c | 0 | 2489 2651 352792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12647 c Elapsed CPU time: 14.1838 s Remaining CPU time: 165.816 s c =============================================================================== c | 0 | 2489 2652 355142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12646 c Elapsed CPU time: 14.3758 s Remaining CPU time: 165.624 s c =============================================================================== c | 0 | 2489 2653 357492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12645 c Elapsed CPU time: 14.5708 s Remaining CPU time: 165.429 s c =============================================================================== c | 0 | 2489 2654 359842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12641 c Elapsed CPU time: 14.7558 s Remaining CPU time: 165.244 s c =============================================================================== c | 0 | 2489 2655 362192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12639 c Elapsed CPU time: 14.9557 s Remaining CPU time: 165.044 s c =============================================================================== c | 0 | 2489 2656 364542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12638 c Elapsed CPU time: 15.1577 s Remaining CPU time: 164.842 s c =============================================================================== c | 0 | 2489 2657 366892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12636 c Elapsed CPU time: 15.3857 s Remaining CPU time: 164.614 s c =============================================================================== c | 0 | 2489 2658 369242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12635 c Elapsed CPU time: 15.6106 s Remaining CPU time: 164.389 s c =============================================================================== c | 0 | 2489 2659 371592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12634 c Elapsed CPU time: 15.8326 s Remaining CPU time: 164.167 s c =============================================================================== c | 0 | 2489 2660 373942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12633 c Elapsed CPU time: 16.0456 s Remaining CPU time: 163.954 s c =============================================================================== c | 0 | 2489 2661 376292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12632 c Elapsed CPU time: 16.2575 s Remaining CPU time: 163.742 s c =============================================================================== c | 0 | 2489 2662 378642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12629 c Elapsed CPU time: 16.4695 s Remaining CPU time: 163.531 s c =============================================================================== c | 0 | 2489 2663 380992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12627 c Elapsed CPU time: 16.6845 s Remaining CPU time: 163.316 s c =============================================================================== c | 0 | 2489 2664 383342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12625 c Elapsed CPU time: 16.9004 s Remaining CPU time: 163.1 s c =============================================================================== c | 0 | 2489 2665 385692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12621 c Elapsed CPU time: 17.1204 s Remaining CPU time: 162.88 s c =============================================================================== c | 0 | 2489 2666 388042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12619 c Elapsed CPU time: 17.3384 s Remaining CPU time: 162.662 s c =============================================================================== c | 0 | 2489 2667 390392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12616 c Elapsed CPU time: 17.5553 s Remaining CPU time: 162.445 s c =============================================================================== c | 0 | 2489 2668 392742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12614 c Elapsed CPU time: 17.7763 s Remaining CPU time: 162.224 s c =============================================================================== c | 0 | 2489 2669 395092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12612 c Elapsed CPU time: 17.9923 s Remaining CPU time: 162.008 s c =============================================================================== c | 0 | 2489 2670 397442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12611 c Elapsed CPU time: 18.2232 s Remaining CPU time: 161.777 s c =============================================================================== c | 0 | 2489 2671 399792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12610 c Elapsed CPU time: 18.4452 s Remaining CPU time: 161.555 s c =============================================================================== c | 0 | 2489 2672 402142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12609 c Elapsed CPU time: 18.6642 s Remaining CPU time: 161.336 s c =============================================================================== c | 0 | 2489 2673 404492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12608 c Elapsed CPU time: 18.8941 s Remaining CPU time: 161.106 s c =============================================================================== c | 0 | 2489 2674 406842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12607 c Elapsed CPU time: 19.1281 s Remaining CPU time: 160.872 s c =============================================================================== c | 0 | 2489 2675 409192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12605 c Elapsed CPU time: 19.3601 s Remaining CPU time: 160.64 s c =============================================================================== c | 0 | 2489 2676 411542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12603 c Elapsed CPU time: 19.591 s Remaining CPU time: 160.409 s c =============================================================================== c | 0 | 2489 2677 413892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12602 c Elapsed CPU time: 19.83 s Remaining CPU time: 160.17 s c =============================================================================== c | 0 | 2489 2678 416242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12601 c Elapsed CPU time: 20.0699 s Remaining CPU time: 159.93 s c =============================================================================== c | 0 | 2489 2679 418592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12600 c Elapsed CPU time: 20.3019 s Remaining CPU time: 159.698 s c =============================================================================== c | 0 | 2489 2680 420942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12599 c Elapsed CPU time: 20.5269 s Remaining CPU time: 159.473 s c =============================================================================== c | 0 | 2489 2681 423292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12598 c Elapsed CPU time: 20.7618 s Remaining CPU time: 159.238 s c =============================================================================== c | 0 | 2489 2682 425642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12597 c Elapsed CPU time: 20.9928 s Remaining CPU time: 159.007 s c =============================================================================== c | 0 | 2489 2683 427992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12596 c Elapsed CPU time: 21.2258 s Remaining CPU time: 158.774 s c =============================================================================== c | 0 | 2489 2684 430342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12593 c Elapsed CPU time: 21.4557 s Remaining CPU time: 158.544 s c =============================================================================== c | 0 | 2489 2685 432692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12592 c Elapsed CPU time: 21.6857 s Remaining CPU time: 158.314 s c =============================================================================== c | 0 | 2489 2686 435042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12591 c Elapsed CPU time: 21.9177 s Remaining CPU time: 158.082 s c =============================================================================== c | 0 | 2489 2687 437392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12590 c Elapsed CPU time: 22.1496 s Remaining CPU time: 157.85 s c =============================================================================== c | 0 | 2489 2688 439742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12589 c Elapsed CPU time: 22.3816 s Remaining CPU time: 157.618 s c =============================================================================== c | 0 | 2489 2689 442092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12586 c Elapsed CPU time: 22.6196 s Remaining CPU time: 157.38 s c =============================================================================== c | 0 | 2489 2690 444442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12585 c Elapsed CPU time: 22.8565 s Remaining CPU time: 157.143 s c =============================================================================== c | 0 | 2489 2691 446792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12584 c Elapsed CPU time: 23.0875 s Remaining CPU time: 156.913 s c =============================================================================== c | 0 | 2489 2692 449142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12582 c Elapsed CPU time: 23.3365 s Remaining CPU time: 156.664 s c =============================================================================== c | 0 | 2489 2693 451492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12580 c Elapsed CPU time: 23.5704 s Remaining CPU time: 156.43 s c =============================================================================== c | 0 | 2489 2694 453842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12579 c Elapsed CPU time: 23.8044 s Remaining CPU time: 156.196 s c =============================================================================== c | 0 | 2489 2695 456192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12578 c Elapsed CPU time: 24.0493 s Remaining CPU time: 155.951 s c =============================================================================== c | 0 | 2489 2696 458542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12575 c Elapsed CPU time: 24.2873 s Remaining CPU time: 155.713 s c =============================================================================== c | 0 | 2489 2697 460892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12571 c Elapsed CPU time: 24.5233 s Remaining CPU time: 155.477 s c =============================================================================== c | 0 | 2489 2698 463242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12567 c Elapsed CPU time: 24.7652 s Remaining CPU time: 155.235 s c =============================================================================== c | 0 | 2489 2699 465592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12566 c Elapsed CPU time: 25.0232 s Remaining CPU time: 154.977 s c =============================================================================== c | 0 | 2489 2700 467942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12564 c Elapsed CPU time: 25.2792 s Remaining CPU time: 154.721 s c =============================================================================== c | 0 | 2489 2701 470292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12562 c Elapsed CPU time: 25.5291 s Remaining CPU time: 154.471 s c =============================================================================== c | 0 | 2489 2702 472642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12560 c Elapsed CPU time: 25.7891 s Remaining CPU time: 154.211 s c =============================================================================== c | 0 | 2489 2703 474992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12559 c Elapsed CPU time: 26.04 s Remaining CPU time: 153.96 s c =============================================================================== c | 0 | 2489 2704 477342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12558 c Elapsed CPU time: 26.293 s Remaining CPU time: 153.707 s c =============================================================================== c | 0 | 2489 2705 479692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12557 c Elapsed CPU time: 26.551 s Remaining CPU time: 153.449 s c =============================================================================== c | 0 | 2489 2706 482042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12556 c Elapsed CPU time: 26.8009 s Remaining CPU time: 153.199 s c =============================================================================== c | 0 | 2489 2707 484392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12554 c Elapsed CPU time: 27.0499 s Remaining CPU time: 152.95 s c =============================================================================== c | 0 | 2489 2708 486742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12551 c Elapsed CPU time: 27.2988 s Remaining CPU time: 152.701 s c =============================================================================== c | 0 | 2489 2709 489092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12550 c Elapsed CPU time: 27.5548 s Remaining CPU time: 152.445 s c =============================================================================== c | 0 | 2489 2710 491442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12549 c Elapsed CPU time: 27.8118 s Remaining CPU time: 152.188 s c =============================================================================== c | 0 | 2489 2711 493792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12548 c Elapsed CPU time: 28.0817 s Remaining CPU time: 151.918 s c =============================================================================== c | 0 | 2489 2712 496142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12545 c Elapsed CPU time: 28.3397 s Remaining CPU time: 151.66 s c =============================================================================== c | 0 | 2489 2713 498492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12544 c Elapsed CPU time: 28.6037 s Remaining CPU time: 151.396 s c =============================================================================== c | 0 | 2489 2714 500842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12543 c Elapsed CPU time: 28.8686 s Remaining CPU time: 151.131 s c =============================================================================== c | 0 | 2489 2715 503192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12542 c Elapsed CPU time: 29.1236 s Remaining CPU time: 150.876 s c =============================================================================== c | 0 | 2489 2716 505542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12540 c Elapsed CPU time: 29.3875 s Remaining CPU time: 150.612 s c =============================================================================== c | 0 | 2489 2717 507892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12539 c Elapsed CPU time: 29.6605 s Remaining CPU time: 150.34 s c =============================================================================== c | 0 | 2489 2718 510242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12538 c Elapsed CPU time: 29.9454 s Remaining CPU time: 150.055 s c =============================================================================== c | 0 | 2489 2719 512592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12537 c Elapsed CPU time: 30.2204 s Remaining CPU time: 149.78 s c =============================================================================== c | 0 | 2489 2720 514942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12536 c Elapsed CPU time: 30.4984 s Remaining CPU time: 149.502 s c =============================================================================== c | 0 | 2489 2721 517292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12535 c Elapsed CPU time: 30.7753 s Remaining CPU time: 149.225 s c =============================================================================== c | 0 | 2489 2722 519642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12533 c Elapsed CPU time: 31.0493 s Remaining CPU time: 148.951 s c =============================================================================== c | 0 | 2489 2723 521992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12529 c Elapsed CPU time: 31.3262 s Remaining CPU time: 148.674 s c =============================================================================== c | 0 | 2489 2724 524342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12527 c Elapsed CPU time: 31.5952 s Remaining CPU time: 148.405 s c =============================================================================== c | 0 | 2489 2725 526692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12525 c Elapsed CPU time: 31.8642 s Remaining CPU time: 148.136 s c =============================================================================== c | 0 | 2489 2726 529042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12524 c Elapsed CPU time: 32.1591 s Remaining CPU time: 147.841 s c =============================================================================== c | 0 | 2489 2727 531392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12523 c Elapsed CPU time: 32.4411 s Remaining CPU time: 147.559 s c =============================================================================== c | 0 | 2489 2728 533742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12522 c Elapsed CPU time: 32.728 s Remaining CPU time: 147.272 s c =============================================================================== c | 0 | 2489 2729 536092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12520 c Elapsed CPU time: 33.007 s Remaining CPU time: 146.993 s c =============================================================================== c | 0 | 2489 2730 538442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12519 c Elapsed CPU time: 33.2959 s Remaining CPU time: 146.704 s c =============================================================================== c | 0 | 2489 2731 540792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12517 c Elapsed CPU time: 33.5699 s Remaining CPU time: 146.43 s c =============================================================================== c | 0 | 2489 2732 543142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12515 c Elapsed CPU time: 33.8489 s Remaining CPU time: 146.151 s c =============================================================================== c | 0 | 2489 2733 545492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12514 c Elapsed CPU time: 34.1368 s Remaining CPU time: 145.863 s c =============================================================================== c | 0 | 2489 2734 547842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12513 c Elapsed CPU time: 34.4228 s Remaining CPU time: 145.577 s c =============================================================================== c | 0 | 2489 2735 550192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12512 c Elapsed CPU time: 34.7107 s Remaining CPU time: 145.289 s c =============================================================================== c | 0 | 2489 2736 552542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12511 c Elapsed CPU time: 35.0007 s Remaining CPU time: 144.999 s c =============================================================================== c | 0 | 2489 2737 554892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12508 c Elapsed CPU time: 35.2846 s Remaining CPU time: 144.715 s c =============================================================================== c | 0 | 2489 2738 557242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12505 c Elapsed CPU time: 35.5676 s Remaining CPU time: 144.432 s c =============================================================================== c | 0 | 2489 2739 559592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12504 c Elapsed CPU time: 35.8545 s Remaining CPU time: 144.145 s c =============================================================================== c | 0 | 2489 2740 561942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12502 c Elapsed CPU time: 36.1345 s Remaining CPU time: 143.865 s c =============================================================================== c | 0 | 2489 2741 564292 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12500 c Elapsed CPU time: 36.4285 s Remaining CPU time: 143.572 s c =============================================================================== c | 0 | 2489 2742 566642 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12498 c Elapsed CPU time: 36.7314 s Remaining CPU time: 143.269 s c =============================================================================== c | 0 | 2489 2743 568992 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12497 c Elapsed CPU time: 37.0274 s Remaining CPU time: 142.973 s c =============================================================================== c | 0 | 2489 2744 571342 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12496 c Elapsed CPU time: 37.3193 s Remaining CPU time: 142.681 s c =============================================================================== c | 0 | 2489 2745 573692 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12495 c Elapsed CPU time: 37.6063 s Remaining CPU time: 142.394 s c =============================================================================== c | 0 | 2489 2746 576042 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12494 c Elapsed CPU time: 37.9052 s Remaining CPU time: 142.095 s c =============================================================================== c | 0 | 2489 2747 578392 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12492 c Elapsed CPU time: 38.2062 s Remaining CPU time: 141.794 s c =============================================================================== c | 0 | 2489 2748 580742 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12491 c Elapsed CPU time: 38.5151 s Remaining CPU time: 141.485 s c =============================================================================== c | 0 | 2489 2749 583092 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12490 c Elapsed CPU time: 38.8261 s Remaining CPU time: 141.174 s c =============================================================================== c | 0 | 2489 2750 585442 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12489 c Elapsed CPU time: 39.1341 s Remaining CPU time: 140.866 s c =============================================================================== c | 0 | 2489 2751 587792 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12487 c Elapsed CPU time: 39.429 s Remaining CPU time: 140.571 s c =============================================================================== c | 0 | 2489 2752 590142 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12486 c Elapsed CPU time: 39.735 s Remaining CPU time: 140.265 s c =============================================================================== c | 0 | 2489 2753 592492 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12485 c Elapsed CPU time: 40.0389 s Remaining CPU time: 139.961 s c =============================================================================== c | 0 | 2489 2754 594842 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12482 c Elapsed CPU time: 40.3509 s Remaining CPU time: 139.649 s c =============================================================================== c | 0 | 2489 2755 597192 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12481 c Elapsed CPU time: 40.6528 s Remaining CPU time: 139.347 s c =============================================================================== c | 0 | 2489 2756 599542 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12480 c Elapsed CPU time: 40.9578 s Remaining CPU time: 139.042 s c =============================================================================== c | 0 | 2489 2757 601892 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12479 c Elapsed CPU time: 41.2767 s Remaining CPU time: 138.723 s c =============================================================================== c | 0 | 2489 2758 604242 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12477 c Elapsed CPU time: 41.5957 s Remaining CPU time: 138.404 s c =============================================================================== c | 0 | 2489 2759 606592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12476 c Elapsed CPU time: 41.9166 s Remaining CPU time: 138.083 s c =============================================================================== c | 0 | 2489 2760 608942 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12474 c Elapsed CPU time: 42.2346 s Remaining CPU time: 137.765 s c =============================================================================== c | 1 | 2489 2761 611292 | 5000 1 2281 | 0.000 % | c =============================================================================== c New solution: 12473 c Elapsed CPU time: 42.5525 s Remaining CPU time: 137.447 s c =============================================================================== c | 1 | 2489 2762 613642 | 5000 1 2281 | 0.000 % | c =============================================================================== c New solution: 12472 c Elapsed CPU time: 42.8945 s Remaining CPU time: 137.106 s c =============================================================================== c | 13 | 2489 2763 615992 | 5000 13 2282 | 0.000 % | c =============================================================================== c New solution: 12471 c Elapsed CPU time: 43.2184 s Remaining CPU time: 136.782 s c =============================================================================== c | 13 | 2489 2764 618342 | 5000 13 2282 | 0.000 % | c =============================================================================== c New solution: 12470 c Elapsed CPU time: 43.5484 s Remaining CPU time: 136.452 s c =============================================================================== c | 14 | 2489 2765 620692 | 5000 14 2119 | 0.000 % | c =============================================================================== c New solution: 12468 c Elapsed CPU time: 43.8583 s Remaining CPU time: 136.142 s c =============================================================================== c | 14 | 2489 2766 623042 | 5000 14 2119 | 0.000 % | c =============================================================================== c New solution: 12467 c Elapsed CPU time: 44.1683 s Remaining CPU time: 135.832 s c =============================================================================== c | 14 | 2489 2767 625392 | 5000 14 2119 | 0.000 % | c =============================================================================== c New solution: 12465 c Elapsed CPU time: 44.4932 s Remaining CPU time: 135.507 s c =============================================================================== c | 14 | 2489 2768 627742 | 5000 14 2119 | 0.000 % | c =============================================================================== c New solution: 12464 c Elapsed CPU time: 44.8122 s Remaining CPU time: 135.188 s c =============================================================================== c | 14 | 2489 2769 630092 | 5000 14 2119 | 0.000 % | c =============================================================================== c New solution: 12463 c Elapsed CPU time: 45.1341 s Remaining CPU time: 134.866 s c =============================================================================== c | 14 | 2489 2770 632442 | 5000 14 2119 | 0.000 % | c =============================================================================== c New solution: 12462 c Elapsed CPU time: 45.4661 s Remaining CPU time: 134.534 s c =============================================================================== c | 14 | 2489 2771 634792 | 5000 14 2119 | 0.000 % | c =============================================================================== c New solution: 12460 c Elapsed CPU time: 45.781 s Remaining CPU time: 134.219 s c =============================================================================== c | 14 | 2489 2772 637142 | 5000 14 2119 | 0.000 % | c =============================================================================== c New solution: 12459 c Elapsed CPU time: 46.107 s Remaining CPU time: 133.893 s c =============================================================================== c | 14 | 2489 2773 639492 | 5000 14 2119 | 0.000 % | c =============================================================================== c New solution: 12458 c Elapsed CPU time: 46.4439 s Remaining CPU time: 133.556 s c =============================================================================== c | 19 | 2489 2774 641842 | 5000 19 2161 | 0.000 % | c =============================================================================== c New solution: 12456 c Elapsed CPU time: 46.7699 s Remaining CPU time: 133.23 s c =============================================================================== c | 19 | 2489 2775 644192 | 5000 19 2161 | 0.000 % | c =============================================================================== c New solution: 12454 c Elapsed CPU time: 47.1018 s Remaining CPU time: 132.898 s c =============================================================================== c | 21 | 2489 2776 646542 | 5000 21 2172 | 0.000 % | c =============================================================================== c New solution: 12452 c Elapsed CPU time: 47.4478 s Remaining CPU time: 132.552 s c =============================================================================== c | 21 | 2489 2777 648892 | 5000 21 2172 | 0.000 % | c =============================================================================== c New solution: 12451 c Elapsed CPU time: 47.7747 s Remaining CPU time: 132.225 s c =============================================================================== c | 21 | 2489 2778 651242 | 5000 21 2172 | 0.000 % | c =============================================================================== c New solution: 12450 c Elapsed CPU time: 48.1047 s Remaining CPU time: 131.895 s c =============================================================================== c | 21 | 2489 2779 653592 | 5000 21 2172 | 0.000 % | c =============================================================================== c New solution: 12449 c Elapsed CPU time: 48.4326 s Remaining CPU time: 131.567 s c =============================================================================== c | 23 | 2489 2780 655942 | 5000 23 2181 | 0.000 % | c =============================================================================== c New solution: 12447 c Elapsed CPU time: 48.7626 s Remaining CPU time: 131.237 s c =============================================================================== c | 29 | 2489 2781 658292 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12446 c Elapsed CPU time: 49.0945 s Remaining CPU time: 130.905 s c =============================================================================== c | 29 | 2489 2782 660642 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12444 c Elapsed CPU time: 49.4295 s Remaining CPU time: 130.571 s c =============================================================================== c | 29 | 2489 2783 662992 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12443 c Elapsed CPU time: 49.7774 s Remaining CPU time: 130.223 s c =============================================================================== c | 29 | 2489 2784 665342 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12441 c Elapsed CPU time: 50.1354 s Remaining CPU time: 129.865 s c =============================================================================== c | 29 | 2489 2785 667692 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12440 c Elapsed CPU time: 50.4993 s Remaining CPU time: 129.501 s c =============================================================================== c | 29 | 2489 2786 670042 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12439 c Elapsed CPU time: 50.8613 s Remaining CPU time: 129.139 s c =============================================================================== c | 29 | 2489 2787 672392 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12438 c Elapsed CPU time: 51.2282 s Remaining CPU time: 128.772 s c =============================================================================== c | 29 | 2489 2788 674742 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12437 c Elapsed CPU time: 51.5972 s Remaining CPU time: 128.403 s c =============================================================================== c | 29 | 2489 2789 677092 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12435 c Elapsed CPU time: 51.9821 s Remaining CPU time: 128.018 s c =============================================================================== c | 29 | 2489 2790 679442 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12434 c Elapsed CPU time: 52.339 s Remaining CPU time: 127.661 s c =============================================================================== c | 29 | 2489 2791 681792 | 5000 29 2201 | 0.000 % | c =============================================================================== c New solution: 12433 c Elapsed CPU time: 52.738 s Remaining CPU time: 127.262 s c =============================================================================== c | 59 | 2489 2792 684142 | 5000 59 2237 | 0.000 % | c =============================================================================== c New solution: 12432 c Elapsed CPU time: 53.0909 s Remaining CPU time: 126.909 s c =============================================================================== c | 59 | 2489 2793 686492 | 5000 59 2237 | 0.000 % | c =============================================================================== c New solution: 12431 c Elapsed CPU time: 53.4529 s Remaining CPU time: 126.547 s c =============================================================================== c | 59 | 2489 2794 688842 | 5000 59 2237 | 0.000 % | c =============================================================================== c New solution: 12430 c Elapsed CPU time: 53.8068 s Remaining CPU time: 126.193 s c =============================================================================== c | 60 | 2489 2795 691192 | 5000 60 2237 | 0.000 % | c =============================================================================== c New solution: 12429 c Elapsed CPU time: 54.1818 s Remaining CPU time: 125.818 s c =============================================================================== c | 60 | 2489 2796 693542 | 5000 60 2237 | 0.000 % | c =============================================================================== c New solution: 12428 c Elapsed CPU time: 54.5447 s Remaining CPU time: 125.455 s c =============================================================================== c | 61 | 2489 2797 695892 | 5000 61 2238 | 0.000 % | c =============================================================================== c New solution: 12427 c Elapsed CPU time: 54.9157 s Remaining CPU time: 125.084 s c =============================================================================== c | 61 | 2489 2798 698242 | 5000 61 2238 | 0.000 % | c =============================================================================== c New solution: 12426 c Elapsed CPU time: 55.2926 s Remaining CPU time: 124.707 s c =============================================================================== c | 61 | 2489 2799 700592 | 5000 61 2238 | 0.000 % | c =============================================================================== c New solution: 12425 c Elapsed CPU time: 55.6635 s Remaining CPU time: 124.336 s c =============================================================================== c | 61 | 2489 2800 702942 | 5000 61 2238 | 0.000 % | c =============================================================================== c New solution: 12424 c Elapsed CPU time: 56.0555 s Remaining CPU time: 123.945 s c =============================================================================== c | 73 | 2489 2801 705292 | 5000 73 2243 | 0.000 % | c =============================================================================== c New solution: 12423 c Elapsed CPU time: 56.4164 s Remaining CPU time: 123.584 s c =============================================================================== c | 73 | 2489 2802 707642 | 5000 73 2243 | 0.000 % | c =============================================================================== c New solution: 12422 c Elapsed CPU time: 56.7954 s Remaining CPU time: 123.205 s c =============================================================================== c | 73 | 2489 2803 709992 | 5000 73 2243 | 0.000 % | c =============================================================================== c New solution: 12421 c Elapsed CPU time: 57.1493 s Remaining CPU time: 122.851 s c =============================================================================== c | 73 | 2489 2804 712342 | 5000 73 2243 | 0.000 % | c =============================================================================== c New solution: 12420 c Elapsed CPU time: 57.5233 s Remaining CPU time: 122.477 s c =============================================================================== c | 73 | 2489 2805 714692 | 5000 73 2243 | 0.000 % | c =============================================================================== c New solution: 12419 c Elapsed CPU time: 57.9062 s Remaining CPU time: 122.094 s c =============================================================================== c | 73 | 2489 2806 717042 | 5000 73 2243 | 0.000 % | c =============================================================================== c New solution: 12418 c Elapsed CPU time: 58.2881 s Remaining CPU time: 121.712 s c =============================================================================== c | 73 | 2489 2807 719392 | 5000 73 2243 | 0.000 % | c =============================================================================== c New solution: 12417 c Elapsed CPU time: 58.6751 s Remaining CPU time: 121.325 s c =============================================================================== c | 81 | 2489 2808 721742 | 5000 81 2245 | 0.000 % | c =============================================================================== c New solution: 12415 c Elapsed CPU time: 59.063 s Remaining CPU time: 120.937 s c =============================================================================== c | 89 | 2489 2809 724092 | 5000 89 2247 | 0.000 % | c =============================================================================== c New solution: 12414 c Elapsed CPU time: 59.428 s Remaining CPU time: 120.572 s c =============================================================================== c | 90 | 2489 2810 726442 | 5000 90 2248 | 0.000 % | c =============================================================================== c New solution: 12413 c Elapsed CPU time: 59.8139 s Remaining CPU time: 120.186 s c =============================================================================== c | 90 | 2489 2811 728792 | 5000 90 2248 | 0.000 % | c =============================================================================== c New solution: 12412 c Elapsed CPU time: 60.2108 s Remaining CPU time: 119.789 s c =============================================================================== c | 90 | 2489 2812 731142 | 5000 90 2248 | 0.000 % | c =============================================================================== c New solution: 12411 c Elapsed CPU time: 60.6048 s Remaining CPU time: 119.395 s c =============================================================================== c | 90 | 2489 2813 733492 | 5000 90 2248 | 0.000 % | c =============================================================================== c New solution: 12410 c Elapsed CPU time: 61.0177 s Remaining CPU time: 118.982 s c =============================================================================== c | 95 | 2489 2814 735842 | 5000 95 2249 | 0.000 % | c =============================================================================== c New solution: 12409 c Elapsed CPU time: 61.4177 s Remaining CPU time: 118.582 s c =============================================================================== c | 97 | 2489 2815 738192 | 5000 97 2249 | 0.000 % | c =============================================================================== c New solution: 12408 c Elapsed CPU time: 61.8166 s Remaining CPU time: 118.183 s c =============================================================================== c | 98 | 2489 2816 740542 | 5000 98 2249 | 0.000 % | c =============================================================================== c New solution: 12407 c Elapsed CPU time: 62.2225 s Remaining CPU time: 117.777 s c =============================================================================== c | 98 | 2489 2817 742892 | 5000 98 2249 | 0.000 % | c =============================================================================== c New solution: 12406 c Elapsed CPU time: 62.6015 s Remaining CPU time: 117.399 s c =============================================================================== c | 104 | 2489 2818 745242 | 5000 104 2250 | 0.000 % | c =============================================================================== c New solution: 12405 c Elapsed CPU time: 63.0014 s Remaining CPU time: 116.999 s c =============================================================================== c | 104 | 2489 2819 747592 | 5000 104 2250 | 0.000 % | c =============================================================================== c New solution: 12404 c Elapsed CPU time: 63.3974 s Remaining CPU time: 116.603 s c =============================================================================== c | 104 | 2489 2820 749942 | 5000 104 2250 | 0.000 % | c =============================================================================== c New solution: 12403 c Elapsed CPU time: 63.7833 s Remaining CPU time: 116.217 s c =============================================================================== c | 104 | 2489 2821 752292 | 5000 104 2250 | 0.000 % | c =============================================================================== c New solution: 12402 c Elapsed CPU time: 64.1642 s Remaining CPU time: 115.836 s c =============================================================================== c | 107 | 2489 2822 754642 | 5000 107 2251 | 0.000 % | c =============================================================================== c New solution: 12401 c Elapsed CPU time: 64.5392 s Remaining CPU time: 115.461 s c =============================================================================== c | 107 | 2489 2823 756992 | 5000 107 2251 | 0.000 % | c =============================================================================== c New solution: 12400 c Elapsed CPU time: 64.9351 s Remaining CPU time: 115.065 s c =============================================================================== c | 107 | 2489 2824 759342 | 5000 107 2251 | 0.000 % | c =============================================================================== c New solution: 12399 c Elapsed CPU time: 65.3591 s Remaining CPU time: 114.641 s c =============================================================================== c | 111 | 2489 2825 761692 | 5000 111 2251 | 0.000 % | c =============================================================================== c New solution: 12398 c Elapsed CPU time: 65.757 s Remaining CPU time: 114.243 s c =============================================================================== c | 112 | 2489 2826 764042 | 5000 112 2252 | 0.000 % | c =============================================================================== c New solution: 12397 c Elapsed CPU time: 66.1549 s Remaining CPU time: 113.845 s c =============================================================================== c | 112 | 2489 2827 766392 | 5000 112 2252 | 0.000 % | c =============================================================================== c New solution: 12396 c Elapsed CPU time: 66.5639 s Remaining CPU time: 113.436 s c =============================================================================== c | 114 | 2489 2828 768742 | 5000 114 2252 | 0.000 % | c =============================================================================== c New solution: 12395 c Elapsed CPU time: 66.9808 s Remaining CPU time: 113.019 s c =============================================================================== c | 114 | 2489 2829 771092 | 5000 114 2252 | 0.000 % | c =============================================================================== c New solution: 12394 c Elapsed CPU time: 67.3858 s Remaining CPU time: 112.614 s c =============================================================================== c | 114 | 2489 2830 773442 | 5000 114 2252 | 0.000 % | c =============================================================================== c New solution: 12393 c Elapsed CPU time: 67.7917 s Remaining CPU time: 112.208 s c =============================================================================== c | 114 | 2489 2831 775792 | 5000 114 2252 | 0.000 % | c =============================================================================== c New solution: 12392 c Elapsed CPU time: 68.1916 s Remaining CPU time: 111.808 s c =============================================================================== c | 114 | 2489 2832 778142 | 5000 114 2252 | 0.000 % | c =============================================================================== c New solution: 12391 c Elapsed CPU time: 68.6076 s Remaining CPU time: 111.392 s c =============================================================================== c | 114 | 2489 2833 780492 | 5000 114 2252 | 0.000 % | c =============================================================================== c New solution: 12390 c Elapsed CPU time: 69.0065 s Remaining CPU time: 110.993 s c =============================================================================== c | 114 | 2489 2834 782842 | 5000 114 2252 | 0.000 % | c =============================================================================== c New solution: 12389 c Elapsed CPU time: 69.4134 s Remaining CPU time: 110.587 s c =============================================================================== c | 114 | 2489 2835 785192 | 5000 114 2252 | 0.000 % | c =============================================================================== c New solution: 12388 c Elapsed CPU time: 69.8334 s Remaining CPU time: 110.167 s c =============================================================================== c | 120 | 2489 2836 787542 | 5000 120 2252 | 0.000 % | c =============================================================================== c New solution: 12386 c Elapsed CPU time: 70.2503 s Remaining CPU time: 109.75 s c =============================================================================== c | 120 | 2489 2837 789892 | 5000 120 2252 | 0.000 % | c =============================================================================== c New solution: 12385 c Elapsed CPU time: 70.6843 s Remaining CPU time: 109.316 s c =============================================================================== c | 120 | 2489 2838 792242 | 5000 120 2252 | 0.000 % | c =============================================================================== c New solution: 12384 c Elapsed CPU time: 71.1302 s Remaining CPU time: 108.87 s c =============================================================================== c | 120 | 2489 2839 794592 | 5000 120 2252 | 0.000 % | c =============================================================================== c New solution: 12383 c Elapsed CPU time: 71.5561 s Remaining CPU time: 108.444 s c =============================================================================== c | 120 | 2489 2840 796942 | 5000 120 2252 | 0.000 % | c =============================================================================== c New solution: 12382 c Elapsed CPU time: 71.9931 s Remaining CPU time: 108.007 s c =============================================================================== c | 121 | 2489 2841 799292 | 5000 121 2253 | 0.000 % | c =============================================================================== c New solution: 12381 c Elapsed CPU time: 72.415 s Remaining CPU time: 107.585 s c =============================================================================== c | 121 | 2489 2842 801642 | 5000 121 2253 | 0.000 % | c =============================================================================== c New solution: 12380 c Elapsed CPU time: 72.8349 s Remaining CPU time: 107.165 s c =============================================================================== c | 122 | 2489 2843 803992 | 5000 122 2253 | 0.000 % | c =============================================================================== c New solution: 12379 c Elapsed CPU time: 73.2529 s Remaining CPU time: 106.747 s c =============================================================================== c | 122 | 2489 2844 806342 | 5000 122 2253 | 0.000 % | c =============================================================================== c New solution: 12378 c Elapsed CPU time: 73.6868 s Remaining CPU time: 106.313 s c =============================================================================== c | 122 | 2489 2845 808692 | 5000 122 2253 | 0.000 % | c =============================================================================== c New solution: 12377 c Elapsed CPU time: 74.1277 s Remaining CPU time: 105.872 s c =============================================================================== c | 122 | 2489 2846 811042 | 5000 122 2253 | 0.000 % | c =============================================================================== c New solution: 12376 c Elapsed CPU time: 74.5687 s Remaining CPU time: 105.431 s c =============================================================================== c | 122 | 2489 2847 813392 | 5000 122 2253 | 0.000 % | c =============================================================================== c New solution: 12375 c Elapsed CPU time: 74.9976 s Remaining CPU time: 105.002 s c =============================================================================== c | 122 | 2489 2848 815742 | 5000 122 2253 | 0.000 % | c =============================================================================== c New solution: 12374 c Elapsed CPU time: 75.4315 s Remaining CPU time: 104.568 s c =============================================================================== c | 122 | 2489 2849 818092 | 5000 122 2253 | 0.000 % | c =============================================================================== c New solution: 12373 c Elapsed CPU time: 75.8635 s Remaining CPU time: 104.137 s c =============================================================================== c | 122 | 2489 2850 820442 | 5000 122 2253 | 0.000 % | c =============================================================================== c New solution: 12372 c Elapsed CPU time: 76.5104 s Remaining CPU time: 103.49 s c =============================================================================== c | 145 | 2489 2851 822792 | 5000 145 2254 | 0.000 % | c =============================================================================== c New solution: 12371 c Elapsed CPU time: 76.9543 s Remaining CPU time: 103.046 s c =============================================================================== c | 145 | 2489 2852 825142 | 5000 145 2254 | 0.000 % | c =============================================================================== c New solution: 12370 c Elapsed CPU time: 77.3932 s Remaining CPU time: 102.607 s c =============================================================================== c | 145 | 2489 2853 827492 | 5000 145 2254 | 0.000 % | c =============================================================================== c New solution: 12369 c Elapsed CPU time: 77.8282 s Remaining CPU time: 102.172 s c =============================================================================== c | 147 | 2489 2854 829842 | 5000 147 2254 | 0.000 % | c =============================================================================== c New solution: 12368 c Elapsed CPU time: 78.2481 s Remaining CPU time: 101.752 s c =============================================================================== c | 149 | 2489 2855 832192 | 5000 149 2254 | 0.000 % | c =============================================================================== c New solution: 12367 c Elapsed CPU time: 78.689 s Remaining CPU time: 101.311 s c =============================================================================== c | 156 | 2489 2856 834542 | 5000 156 2254 | 0.000 % | c =============================================================================== c New solution: 12366 c Elapsed CPU time: 79.125 s Remaining CPU time: 100.875 s c =============================================================================== c | 156 | 2489 2857 836892 | 5000 156 2254 | 0.000 % | c =============================================================================== c New solution: 12365 c Elapsed CPU time: 79.5569 s Remaining CPU time: 100.443 s c =============================================================================== c | 157 | 2489 2858 839242 | 5000 157 2240 | 0.000 % | c =============================================================================== c New solution: 12364 c Elapsed CPU time: 79.9988 s Remaining CPU time: 100.001 s c =============================================================================== c | 157 | 2489 2859 841592 | 5000 157 2240 | 0.000 % | c =============================================================================== c New solution: 12363 c Elapsed CPU time: 80.4578 s Remaining CPU time: 99.5422 s c =============================================================================== c | 158 | 2489 2860 843942 | 5000 158 2226 | 0.000 % | c =============================================================================== c New solution: 12362 c Elapsed CPU time: 80.9017 s Remaining CPU time: 99.0983 s c =============================================================================== c | 158 | 2489 2861 846292 | 5000 158 2226 | 0.000 % | c =============================================================================== c New solution: 12361 c Elapsed CPU time: 81.3536 s Remaining CPU time: 98.6464 s c =============================================================================== c | 158 | 2489 2862 848642 | 5000 158 2226 | 0.000 % | c =============================================================================== c New solution: 12360 c Elapsed CPU time: 81.8116 s Remaining CPU time: 98.1884 s c =============================================================================== c | 164 | 2489 2863 850992 | 5000 164 2227 | 0.000 % | c =============================================================================== c New solution: 12359 c Elapsed CPU time: 82.2565 s Remaining CPU time: 97.7435 s c =============================================================================== c | 164 | 2489 2864 853342 | 5000 164 2227 | 0.000 % | c =============================================================================== c New solution: 12358 c Elapsed CPU time: 82.6984 s Remaining CPU time: 97.3016 s c =============================================================================== c | 164 | 2489 2865 855692 | 5000 164 2227 | 0.000 % | c =============================================================================== c New solution: 12357 c Elapsed CPU time: 83.1474 s Remaining CPU time: 96.8526 s c =============================================================================== c | 164 | 2489 2866 858042 | 5000 164 2227 | 0.000 % | c =============================================================================== c New solution: 12356 c Elapsed CPU time: 83.5883 s Remaining CPU time: 96.4117 s c =============================================================================== c | 164 | 2489 2867 860392 | 5000 164 2227 | 0.000 % | c =============================================================================== c New solution: 12355 c Elapsed CPU time: 84.0732 s Remaining CPU time: 95.9268 s c =============================================================================== c | 164 | 2489 2868 862742 | 5000 164 2227 | 0.000 % | c =============================================================================== c New solution: 12354 c Elapsed CPU time: 84.5242 s Remaining CPU time: 95.4758 s c =============================================================================== c | 166 | 2489 2869 865092 | 5000 166 2228 | 0.000 % | c =============================================================================== c New solution: 12353 c Elapsed CPU time: 85.0411 s Remaining CPU time: 94.9589 s c =============================================================================== c | 170 | 2489 2870 867442 | 5000 170 2228 | 0.000 % | c =============================================================================== c New solution: 12352 c Elapsed CPU time: 85.513 s Remaining CPU time: 94.487 s c =============================================================================== c | 177 | 2489 2871 869792 | 5000 177 2229 | 0.000 % | c =============================================================================== c New solution: 12351 c Elapsed CPU time: 85.9789 s Remaining CPU time: 94.0211 s c =============================================================================== c | 178 | 2489 2872 872142 | 5000 178 2230 | 0.000 % | c =============================================================================== c New solution: 12350 c Elapsed CPU time: 86.4299 s Remaining CPU time: 93.5701 s c =============================================================================== c | 178 | 2489 2873 874492 | 5000 178 2230 | 0.000 % | c =============================================================================== c New solution: 12349 c Elapsed CPU time: 86.8818 s Remaining CPU time: 93.1182 s c =============================================================================== c | 178 | 2489 2874 876842 | 5000 178 2230 | 0.000 % | c =============================================================================== c New solution: 12348 c Elapsed CPU time: 87.3307 s Remaining CPU time: 92.6693 s c =============================================================================== c | 178 | 2489 2875 879192 | 5000 178 2230 | 0.000 % | c =============================================================================== c New solution: 12347 c Elapsed CPU time: 87.7917 s Remaining CPU time: 92.2083 s c =============================================================================== c | 178 | 2489 2876 881542 | 5000 178 2230 | 0.000 % | c =============================================================================== c New solution: 12346 c Elapsed CPU time: 88.2626 s Remaining CPU time: 91.7374 s c =============================================================================== c | 179 | 2489 2877 883892 | 5000 179 2230 | 0.000 % | c =============================================================================== c New solution: 12345 c Elapsed CPU time: 88.7365 s Remaining CPU time: 91.2635 s c =============================================================================== c | 181 | 2489 2878 886242 | 5000 181 2230 | 0.000 % | c =============================================================================== c New solution: 12344 c Elapsed CPU time: 89.2124 s Remaining CPU time: 90.7876 s c =============================================================================== c | 181 | 2489 2879 888592 | 5000 181 2230 | 0.000 % | c =============================================================================== c New solution: 12343 c Elapsed CPU time: 89.7084 s Remaining CPU time: 90.2916 s c =============================================================================== c | 181 | 2489 2880 890942 | 5000 181 2230 | 0.000 % | c =============================================================================== c New solution: 12342 c Elapsed CPU time: 90.2433 s Remaining CPU time: 89.7567 s c =============================================================================== c | 183 | 2489 2881 893292 | 5000 183 2230 | 0.000 % | c =============================================================================== c New solution: 12341 c Elapsed CPU time: 90.7182 s Remaining CPU time: 89.2818 s c =============================================================================== c | 183 | 2489 2882 895642 | 5000 183 2230 | 0.000 % | c =============================================================================== c New solution: 12340 c Elapsed CPU time: 91.1961 s Remaining CPU time: 88.8039 s c =============================================================================== c | 183 | 2489 2883 897992 | 5000 183 2230 | 0.000 % | c =============================================================================== c New solution: 12339 c Elapsed CPU time: 91.6831 s Remaining CPU time: 88.3169 s c =============================================================================== c | 186 | 2489 2884 900342 | 5000 186 2219 | 0.000 % | c =============================================================================== c New solution: 12338 c Elapsed CPU time: 92.156 s Remaining CPU time: 87.844 s c =============================================================================== c | 186 | 2489 2885 902692 | 5000 186 2219 | 0.000 % | c =============================================================================== c New solution: 12337 c Elapsed CPU time: 92.6299 s Remaining CPU time: 87.3701 s c =============================================================================== c | 186 | 2489 2886 905042 | 5000 186 2219 | 0.000 % | c =============================================================================== c New solution: 12336 c Elapsed CPU time: 93.1098 s Remaining CPU time: 86.8902 s c =============================================================================== c | 186 | 2489 2887 907392 | 5000 186 2219 | 0.000 % | c =============================================================================== c New solution: 12335 c Elapsed CPU time: 93.5958 s Remaining CPU time: 86.4042 s c =============================================================================== c | 187 | 2489 2888 909742 | 5000 187 2219 | 0.000 % | c =============================================================================== c New solution: 12334 c Elapsed CPU time: 94.1077 s Remaining CPU time: 85.8923 s c =============================================================================== c | 193 | 2489 2889 912092 | 5000 193 2220 | 0.000 % | c =============================================================================== c New solution: 12333 c Elapsed CPU time: 94.5926 s Remaining CPU time: 85.4074 s c =============================================================================== c | 193 | 2489 2890 914442 | 5000 193 2220 | 0.000 % | c =============================================================================== c New solution: 12332 c Elapsed CPU time: 95.1395 s Remaining CPU time: 84.8605 s c =============================================================================== c | 193 | 2489 2891 916792 | 5000 193 2220 | 0.000 % | c =============================================================================== c New solution: 12331 c Elapsed CPU time: 95.7844 s Remaining CPU time: 84.2156 s c =============================================================================== c | 214 | 2489 2892 919142 | 5000 214 2223 | 0.000 % | c =============================================================================== c New solution: 12330 c Elapsed CPU time: 96.2824 s Remaining CPU time: 83.7176 s c =============================================================================== c | 216 | 2489 2893 921492 | 5000 216 2223 | 0.000 % | c =============================================================================== c New solution: 12329 c Elapsed CPU time: 96.7723 s Remaining CPU time: 83.2277 s c =============================================================================== c | 216 | 2489 2894 923842 | 5000 216 2223 | 0.000 % | c =============================================================================== c New solution: 12328 c Elapsed CPU time: 97.2672 s Remaining CPU time: 82.7328 s c =============================================================================== c | 218 | 2489 2895 926192 | 5000 218 2224 | 0.000 % | c =============================================================================== c New solution: 12327 c Elapsed CPU time: 97.7601 s Remaining CPU time: 82.2399 s c =============================================================================== c | 218 | 2489 2896 928542 | 5000 218 2224 | 0.000 % | c =============================================================================== c New solution: 12326 c Elapsed CPU time: 98.2571 s Remaining CPU time: 81.7429 s c =============================================================================== c | 218 | 2489 2897 930892 | 5000 218 2224 | 0.000 % | c =============================================================================== c New solution: 12325 c Elapsed CPU time: 98.751 s Remaining CPU time: 81.249 s c =============================================================================== c | 218 | 2489 2898 933242 | 5000 218 2224 | 0.000 % | c =============================================================================== c New solution: 12324 c Elapsed CPU time: 99.2559 s Remaining CPU time: 80.7441 s c =============================================================================== c | 220 | 2489 2899 935592 | 5000 220 2224 | 0.000 % | c =============================================================================== c New solution: 12323 c Elapsed CPU time: 99.7538 s Remaining CPU time: 80.2462 s c =============================================================================== c | 220 | 2489 2900 937942 | 5000 220 2224 | 0.000 % | c =============================================================================== c New solution: 12322 c Elapsed CPU time: 100.247 s Remaining CPU time: 79.7532 s c =============================================================================== c | 220 | 2489 2901 940292 | 5000 220 2224 | 0.000 % | c =============================================================================== c New solution: 12321 c Elapsed CPU time: 100.75 s Remaining CPU time: 79.2503 s c =============================================================================== c | 220 | 2489 2902 942642 | 5000 220 2224 | 0.000 % | c =============================================================================== c New solution: 12320 c Elapsed CPU time: 101.272 s Remaining CPU time: 78.7284 s c =============================================================================== c | 220 | 2489 2903 944992 | 5000 220 2224 | 0.000 % | c =============================================================================== c New solution: 12319 c Elapsed CPU time: 101.797 s Remaining CPU time: 78.2035 s c =============================================================================== c | 220 | 2489 2904 947342 | 5000 220 2224 | 0.000 % | c =============================================================================== c New solution: 12318 c Elapsed CPU time: 102.313 s Remaining CPU time: 77.6866 s c =============================================================================== c | 220 | 2489 2905 949692 | 5000 220 2224 | 0.000 % | c =============================================================================== c New solution: 12317 c Elapsed CPU time: 102.839 s Remaining CPU time: 77.1606 s c =============================================================================== c | 220 | 2489 2906 952042 | 5000 220 2224 | 0.000 % | c =============================================================================== c New solution: 12316 c Elapsed CPU time: 103.36 s Remaining CPU time: 76.6397 s c =============================================================================== c | 222 | 2489 2907 954392 | 5000 222 2224 | 0.000 % | c =============================================================================== c New solution: 12315 c Elapsed CPU time: 103.972 s Remaining CPU time: 76.0278 s c =============================================================================== c | 230 | 2489 2908 956742 | 5000 230 2225 | 0.000 % | c =============================================================================== c New solution: 12314 c Elapsed CPU time: 104.472 s Remaining CPU time: 75.5279 s c =============================================================================== c | 230 | 2489 2909 959092 | 5000 230 2225 | 0.000 % | c =============================================================================== c New solution: 12313 c Elapsed CPU time: 104.961 s Remaining CPU time: 75.039 s c =============================================================================== c | 230 | 2489 2910 961442 | 5000 230 2225 | 0.000 % | c =============================================================================== c New solution: 12312 c Elapsed CPU time: 105.493 s Remaining CPU time: 74.507 s c =============================================================================== c | 231 | 2489 2911 963792 | 5000 231 2225 | 0.000 % | c =============================================================================== c New solution: 12311 c Elapsed CPU time: 105.985 s Remaining CPU time: 74.0151 s c =============================================================================== c | 231 | 2489 2912 966142 | 5000 231 2225 | 0.000 % | c =============================================================================== c New solution: 12310 c Elapsed CPU time: 106.523 s Remaining CPU time: 73.4772 s c =============================================================================== c | 232 | 2489 2913 968492 | 5000 232 2225 | 0.000 % | c =============================================================================== c New solution: 12309 c Elapsed CPU time: 107.054 s Remaining CPU time: 72.9463 s c =============================================================================== c | 232 | 2489 2914 970842 | 5000 232 2225 | 0.000 % | c =============================================================================== c New solution: 12308 c Elapsed CPU time: 107.598 s Remaining CPU time: 72.4024 s c =============================================================================== c | 234 | 2489 2915 973192 | 5000 234 2225 | 0.000 % | c =============================================================================== c New solution: 12307 c Elapsed CPU time: 108.124 s Remaining CPU time: 71.8764 s c =============================================================================== c | 235 | 2489 2916 975542 | 5000 235 2226 | 0.000 % | c =============================================================================== c New solution: 12306 c Elapsed CPU time: 108.634 s Remaining CPU time: 71.3655 s c =============================================================================== c | 235 | 2489 2917 977892 | 5000 235 2226 | 0.000 % | c =============================================================================== c New solution: 12305 c Elapsed CPU time: 109.147 s Remaining CPU time: 70.8526 s c =============================================================================== c | 240 | 2489 2918 980242 | 5000 240 2226 | 0.000 % | c =============================================================================== c New solution: 12304 c Elapsed CPU time: 109.69 s Remaining CPU time: 70.3097 s c =============================================================================== c | 240 | 2489 2919 982592 | 5000 240 2226 | 0.000 % | c =============================================================================== c New solution: 12303 c Elapsed CPU time: 110.237 s Remaining CPU time: 69.7628 s c =============================================================================== c | 265 | 2489 2920 984942 | 5000 265 2228 | 0.000 % | c =============================================================================== c New solution: 12302 c Elapsed CPU time: 110.801 s Remaining CPU time: 69.1988 s c =============================================================================== c | 267 | 2489 2921 987292 | 5000 267 2228 | 0.000 % | c =============================================================================== c New solution: 12301 c Elapsed CPU time: 111.353 s Remaining CPU time: 68.6469 s c =============================================================================== c | 268 | 2489 2922 989642 | 5000 268 2229 | 0.000 % | c =============================================================================== c New solution: 12300 c Elapsed CPU time: 111.894 s Remaining CPU time: 68.106 s c =============================================================================== c | 278 | 2489 2923 991992 | 5000 278 2229 | 0.000 % | c =============================================================================== c New solution: 12299 c Elapsed CPU time: 112.463 s Remaining CPU time: 67.5371 s c =============================================================================== c | 278 | 2489 2924 994342 | 5000 278 2229 | 0.000 % | c =============================================================================== c New solution: 12298 c Elapsed CPU time: 112.964 s Remaining CPU time: 67.0362 s c =============================================================================== c | 278 | 2489 2925 996692 | 5000 278 2229 | 0.000 % | c =============================================================================== c New solution: 12297 c Elapsed CPU time: 113.478 s Remaining CPU time: 66.5223 s c =============================================================================== c | 278 | 2489 2926 999042 | 5000 278 2229 | 0.000 % | c =============================================================================== c New solution: 12296 c Elapsed CPU time: 113.984 s Remaining CPU time: 66.0163 s c =============================================================================== c | 278 | 2489 2927 1001392 | 5000 278 2229 | 0.000 % | c =============================================================================== c New solution: 12295 c Elapsed CPU time: 114.625 s Remaining CPU time: 65.3754 s c =============================================================================== c | 295 | 2489 2928 1003742 | 5000 295 2230 | 0.000 % | c =============================================================================== c New solution: 12294 c Elapsed CPU time: 115.211 s Remaining CPU time: 64.7885 s c =============================================================================== c | 297 | 2489 2929 1006092 | 5000 297 2231 | 0.000 % | c =============================================================================== c New solution: 12293 c Elapsed CPU time: 115.749 s Remaining CPU time: 64.2506 s c =============================================================================== c | 297 | 2489 2930 1008442 | 5000 297 2231 | 0.000 % | c =============================================================================== c New solution: 12292 c Elapsed CPU time: 116.289 s Remaining CPU time: 63.7107 s c =============================================================================== c | 297 | 2489 2931 1010792 | 5000 297 2231 | 0.000 % | c =============================================================================== c New solution: 12291 c Elapsed CPU time: 116.833 s Remaining CPU time: 63.1668 s c =============================================================================== c | 297 | 2489 2932 1013142 | 5000 297 2231 | 0.000 % | c =============================================================================== c New solution: 12290 c Elapsed CPU time: 117.369 s Remaining CPU time: 62.6308 s c =============================================================================== c | 297 | 2489 2933 1015492 | 5000 297 2231 | 0.000 % | c =============================================================================== c New solution: 12289 c Elapsed CPU time: 117.914 s Remaining CPU time: 62.0859 s c =============================================================================== c | 298 | 2489 2934 1017842 | 5000 298 2231 | 0.000 % | c =============================================================================== c New solution: 12288 c Elapsed CPU time: 118.446 s Remaining CPU time: 61.554 s c =============================================================================== c | 298 | 2489 2935 1020192 | 5000 298 2231 | 0.000 % | c =============================================================================== c New solution: 12287 c Elapsed CPU time: 118.962 s Remaining CPU time: 61.0381 s c =============================================================================== c | 302 | 2489 2936 1022542 | 5000 302 2231 | 0.000 % | c =============================================================================== c New solution: 12286 c Elapsed CPU time: 119.473 s Remaining CPU time: 60.5272 s c =============================================================================== c | 302 | 2489 2937 1024892 | 5000 302 2231 | 0.000 % | c =============================================================================== c New solution: 12285 c Elapsed CPU time: 120.015 s Remaining CPU time: 59.9852 s c =============================================================================== c | 303 | 2489 2938 1027242 | 5000 303 2231 | 0.000 % | c =============================================================================== c New solution: 12284 c Elapsed CPU time: 120.79 s Remaining CPU time: 59.2104 s c =============================================================================== c | 327 | 2489 2939 1029592 | 5000 327 2232 | 0.000 % | c =============================================================================== c New solution: 12283 c Elapsed CPU time: 121.342 s Remaining CPU time: 58.6584 s c =============================================================================== c | 327 | 2489 2940 1031942 | 5000 327 2232 | 0.000 % | c =============================================================================== c New solution: 12282 c Elapsed CPU time: 121.913 s Remaining CPU time: 58.0865 s c =============================================================================== c | 334 | 2489 2941 1034292 | 5000 334 2232 | 0.000 % | c =============================================================================== c New solution: 12281 c Elapsed CPU time: 122.547 s Remaining CPU time: 57.4526 s c =============================================================================== c | 339 | 2489 2942 1036642 | 5000 339 2232 | 0.000 % | c =============================================================================== c New solution: 12280 c Elapsed CPU time: 123.114 s Remaining CPU time: 56.8857 s c =============================================================================== c | 339 | 2489 2943 1038992 | 5000 339 2232 | 0.000 % | c =============================================================================== c New solution: 12279 c Elapsed CPU time: 123.735 s Remaining CPU time: 56.2648 s c =============================================================================== c | 339 | 2489 2944 1041342 | 5000 339 2232 | 0.000 % | c =============================================================================== c New solution: 12278 c Elapsed CPU time: 124.301 s Remaining CPU time: 55.6989 s c =============================================================================== c | 340 | 2489 2945 1043692 | 5000 340 2232 | 0.000 % | c =============================================================================== c New solution: 12277 c Elapsed CPU time: 124.851 s Remaining CPU time: 55.149 s c =============================================================================== c | 340 | 2489 2946 1046042 | 5000 340 2232 | 0.000 % | c =============================================================================== c New solution: 12276 c Elapsed CPU time: 125.398 s Remaining CPU time: 54.6021 s c =============================================================================== c | 340 | 2489 2947 1048392 | 5000 340 2232 | 0.000 % | c =============================================================================== c New solution: 12275 c Elapsed CPU time: 125.951 s Remaining CPU time: 54.0491 s c =============================================================================== c | 340 | 2489 2948 1050742 | 5000 340 2232 | 0.000 % | c =============================================================================== c New solution: 12274 c Elapsed CPU time: 126.641 s Remaining CPU time: 53.3593 s c =============================================================================== c | 342 | 2489 2949 1053092 | 5000 342 2232 | 0.000 % | c =============================================================================== c New solution: 12273 c Elapsed CPU time: 127.203 s Remaining CPU time: 52.7973 s c =============================================================================== c | 342 | 2489 2950 1055442 | 5000 342 2232 | 0.000 % | c =============================================================================== c New solution: 12272 c Elapsed CPU time: 127.796 s Remaining CPU time: 52.2044 s c =============================================================================== c | 343 | 2489 2951 1057792 | 5000 343 2226 | 0.000 % | c =============================================================================== c New solution: 12271 c Elapsed CPU time: 128.564 s Remaining CPU time: 51.4355 s c =============================================================================== c | 358 | 2489 2952 1060142 | 5000 358 2227 | 0.000 % | c =============================================================================== c New solution: 12270 c Elapsed CPU time: 129.187 s Remaining CPU time: 50.8126 s c =============================================================================== c | 360 | 2489 2953 1062492 | 5000 360 2227 | 0.000 % | c =============================================================================== c New solution: 12269 c Elapsed CPU time: 129.832 s Remaining CPU time: 50.1677 s c =============================================================================== c | 376 | 2489 2954 1064842 | 5000 376 2227 | 0.000 % | c =============================================================================== c New solution: 12268 c Elapsed CPU time: 130.453 s Remaining CPU time: 49.5468 s c =============================================================================== c | 380 | 2489 2955 1067192 | 5000 380 2228 | 0.000 % | c =============================================================================== c New solution: 12267 c Elapsed CPU time: 131.007 s Remaining CPU time: 48.9929 s c =============================================================================== c | 382 | 2489 2956 1069542 | 5000 382 2228 | 0.000 % | c =============================================================================== c New solution: 12266 c Elapsed CPU time: 131.554 s Remaining CPU time: 48.446 s c =============================================================================== c | 382 | 2489 2957 1071892 | 5000 382 2228 | 0.000 % | c =============================================================================== c New solution: 12265 c Elapsed CPU time: 132.134 s Remaining CPU time: 47.8661 s c =============================================================================== c | 382 | 2489 2958 1074242 | 5000 382 2228 | 0.000 % | c =============================================================================== c New solution: 12264 c Elapsed CPU time: 132.706 s Remaining CPU time: 47.2942 s c =============================================================================== c | 382 | 2489 2959 1076592 | 5000 382 2228 | 0.000 % | c =============================================================================== c New solution: 12263 c Elapsed CPU time: 133.29 s Remaining CPU time: 46.7103 s c =============================================================================== c | 382 | 2489 2960 1078942 | 5000 382 2228 | 0.000 % | c =============================================================================== c New solution: 12262 c Elapsed CPU time: 133.87 s Remaining CPU time: 46.1304 s c =============================================================================== c | 382 | 2489 2961 1081292 | 5000 382 2228 | 0.000 % | c =============================================================================== c New solution: 12261 c Elapsed CPU time: 134.686 s Remaining CPU time: 45.3145 s c =============================================================================== c | 445 | 2489 2962 1083642 | 5000 445 2229 | 0.000 % | c =============================================================================== c New solution: 12260 c Elapsed CPU time: 135.263 s Remaining CPU time: 44.7366 s c =============================================================================== c | 445 | 2489 2963 1085992 | 5000 445 2229 | 0.000 % | c =============================================================================== c New solution: 12259 c Elapsed CPU time: 135.841 s Remaining CPU time: 44.1587 s c =============================================================================== c | 445 | 2489 2964 1088342 | 5000 445 2229 | 0.000 % | c =============================================================================== c New solution: 12258 c Elapsed CPU time: 136.416 s Remaining CPU time: 43.5837 s c =============================================================================== c | 445 | 2489 2965 1090692 | 5000 445 2229 | 0.000 % | c =============================================================================== c New solution: 12257 c Elapsed CPU time: 137.263 s Remaining CPU time: 42.7369 s c =============================================================================== c | 500 | 2489 2966 1093042 | 5000 500 2230 | 0.000 % | c =============================================================================== c New solution: 12256 c Elapsed CPU time: 137.911 s Remaining CPU time: 42.089 s c =============================================================================== c | 502 | 2489 2967 1095392 | 5000 502 2230 | 0.000 % | c =============================================================================== c New solution: 12255 c Elapsed CPU time: 138.51 s Remaining CPU time: 41.4901 s c =============================================================================== c | 502 | 2489 2968 1097742 | 5000 502 2230 | 0.000 % | c =============================================================================== c New solution: 12254 c Elapsed CPU time: 139.121 s Remaining CPU time: 40.8792 s c =============================================================================== c | 507 | 2489 2969 1100092 | 5000 507 2230 | 0.000 % | c =============================================================================== c New solution: 12253 c Elapsed CPU time: 139.768 s Remaining CPU time: 40.2322 s c =============================================================================== c | 515 | 2489 2970 1102442 | 5000 515 2230 | 0.000 % | c =============================================================================== c New solution: 12252 c Elapsed CPU time: 140.368 s Remaining CPU time: 39.6323 s c =============================================================================== c | 519 | 2489 2971 1104792 | 5000 519 2231 | 0.000 % | c =============================================================================== c New solution: 12251 c Elapsed CPU time: 140.979 s Remaining CPU time: 39.0214 s c =============================================================================== c | 519 | 2489 2972 1107142 | 5000 519 2231 | 0.000 % | c =============================================================================== c New solution: 12250 c Elapsed CPU time: 141.704 s Remaining CPU time: 38.2955 s c =============================================================================== c | 534 | 2489 2973 1109492 | 5000 534 2231 | 0.000 % | c =============================================================================== c New solution: 12249 c Elapsed CPU time: 142.675 s Remaining CPU time: 37.3247 s c =============================================================================== c | 573 | 2489 2974 1111842 | 5000 573 2231 | 0.000 % | c =============================================================================== c New solution: 12248 c Elapsed CPU time: 143.295 s Remaining CPU time: 36.7048 s c =============================================================================== c | 583 | 2489 2975 1114192 | 5000 583 2231 | 0.000 % | c =============================================================================== c New solution: 12247 c Elapsed CPU time: 144.153 s Remaining CPU time: 35.8469 s c =============================================================================== c | 606 | 2489 2976 1116542 | 5000 606 2232 | 0.000 % | c =============================================================================== c New solution: 12246 c Elapsed CPU time: 145.104 s Remaining CPU time: 34.8961 s c =============================================================================== c | 650 | 2489 2977 1118892 | 5000 650 2232 | 0.000 % | c =============================================================================== c New solution: 12245 c Elapsed CPU time: 145.744 s Remaining CPU time: 34.2562 s c =============================================================================== c | 658 | 2489 2978 1121242 | 5000 658 2232 | 0.000 % | c =============================================================================== c New solution: 12244 c Elapsed CPU time: 146.359 s Remaining CPU time: 33.6413 s c =============================================================================== c | 660 | 2489 2979 1123592 | 5000 660 2232 | 0.000 % | c =============================================================================== c New solution: 12243 c Elapsed CPU time: 147.081 s Remaining CPU time: 32.9194 s c =============================================================================== c | 674 | 2489 2980 1125942 | 5000 674 2232 | 0.000 % | c =============================================================================== c New solution: 12242 c Elapsed CPU time: 147.68 s Remaining CPU time: 32.3205 s c =============================================================================== c | 676 | 2489 2981 1128292 | 5000 676 2232 | 0.000 % | c =============================================================================== c New solution: 12241 c Elapsed CPU time: 148.268 s Remaining CPU time: 31.7315 s c =============================================================================== c | 676 | 2489 2982 1130642 | 5000 676 2232 | 0.000 % | c =============================================================================== c New solution: 12240 c Elapsed CPU time: 148.999 s Remaining CPU time: 31.0007 s c =============================================================================== c | 693 | 2489 2983 1132992 | 5000 693 2232 | 0.000 % | c =============================================================================== c New solution: 12239 c Elapsed CPU time: 149.626 s Remaining CPU time: 30.3737 s c =============================================================================== c | 696 | 2489 2984 1135342 | 5000 696 2232 | 0.000 % | c =============================================================================== c New solution: 12238 c Elapsed CPU time: 150.232 s Remaining CPU time: 29.7678 s c =============================================================================== c | 698 | 2489 2985 1137692 | 5000 698 2232 | 0.000 % | c =============================================================================== c New solution: 12237 c Elapsed CPU time: 150.849 s Remaining CPU time: 29.1509 s c =============================================================================== c | 700 | 2489 2986 1140042 | 5000 700 2232 | 0.000 % | c =============================================================================== c New solution: 12236 c Elapsed CPU time: 151.464 s Remaining CPU time: 28.536 s c =============================================================================== c | 700 | 2489 2987 1142392 | 5000 700 2232 | 0.000 % | c =============================================================================== c New solution: 12235 c Elapsed CPU time: 152.081 s Remaining CPU time: 27.9191 s c =============================================================================== c | 700 | 2489 2988 1144742 | 5000 700 2232 | 0.000 % | c =============================================================================== c New solution: 12234 c Elapsed CPU time: 152.846 s Remaining CPU time: 27.1542 s c =============================================================================== c | 722 | 2489 2989 1147092 | 5000 722 2232 | 0.000 % | c =============================================================================== c New solution: 12233 c Elapsed CPU time: 153.452 s Remaining CPU time: 26.5483 s c =============================================================================== c | 722 | 2489 2990 1149442 | 5000 722 2232 | 0.000 % | c =============================================================================== c New solution: 12232 c Elapsed CPU time: 154.126 s Remaining CPU time: 25.8744 s c =============================================================================== c | 738 | 2489 2991 1151792 | 5000 738 2232 | 0.000 % | c =============================================================================== c New solution: 12231 c Elapsed CPU time: 154.742 s Remaining CPU time: 25.2575 s c =============================================================================== c | 738 | 2489 2992 1154142 | 5000 738 2232 | 0.000 % | c =============================================================================== c New solution: 12230 c Elapsed CPU time: 155.422 s Remaining CPU time: 24.5776 s c =============================================================================== c | 745 | 2489 2993 1156492 | 5000 745 2232 | 0.000 % | c =============================================================================== c New solution: 12229 c Elapsed CPU time: 156.07 s Remaining CPU time: 23.9297 s c =============================================================================== c | 753 | 2489 2994 1158842 | 5000 753 2232 | 0.000 % | c =============================================================================== c New solution: 12228 c Elapsed CPU time: 156.711 s Remaining CPU time: 23.2888 s c =============================================================================== c | 759 | 2489 2995 1161192 | 5000 759 2232 | 0.000 % | c =============================================================================== c New solution: 12227 c Elapsed CPU time: 157.473 s Remaining CPU time: 22.5269 s c =============================================================================== c | 767 | 2489 2996 1163542 | 5000 767 2232 | 0.000 % | c =============================================================================== c New solution: 12226 c Elapsed CPU time: 158.149 s Remaining CPU time: 21.851 s c =============================================================================== c | 768 | 2489 2997 1165892 | 5000 768 2232 | 0.000 % | c =============================================================================== c New solution: 12225 c Elapsed CPU time: 159.13 s Remaining CPU time: 20.8702 s c =============================================================================== c | 798 | 2489 2998 1168242 | 5000 798 2232 | 0.000 % | c =============================================================================== c New solution: 12224 c Elapsed CPU time: 159.889 s Remaining CPU time: 20.1113 s c =============================================================================== c | 802 | 2489 2999 1170592 | 5000 802 2232 | 0.000 % | c =============================================================================== c New solution: 12223 c Elapsed CPU time: 160.744 s Remaining CPU time: 19.2564 s c =============================================================================== c | 821 | 2489 3000 1172942 | 5000 821 2232 | 0.000 % | c =============================================================================== c New solution: 12222 c Elapsed CPU time: 161.846 s Remaining CPU time: 18.1536 s c =============================================================================== c | 913 | 2489 3001 1175292 | 5000 913 2232 | 0.000 % | c =============================================================================== c New solution: 12221 c Elapsed CPU time: 162.67 s Remaining CPU time: 17.3297 s c =============================================================================== c | 929 | 2489 3002 1177642 | 5000 929 2232 | 0.000 % | c =============================================================================== c New solution: 12220 c Elapsed CPU time: 163.517 s Remaining CPU time: 16.4829 s c =============================================================================== c | 955 | 2489 3003 1179992 | 5000 955 2232 | 0.000 % | c =============================================================================== c New solution: 12219 c Elapsed CPU time: 164.258 s Remaining CPU time: 15.742 s c =============================================================================== c | 994 | 2489 3004 1182342 | 5000 994 2232 | 0.000 % | c =============================================================================== c New solution: 12218 c Elapsed CPU time: 165.231 s Remaining CPU time: 14.7691 s c =============================================================================== c | 1030 | 2489 3005 1184692 | 5000 1030 2232 | 0.000 % | c =============================================================================== c New solution: 12217 c Elapsed CPU time: 165.848 s Remaining CPU time: 14.1522 s c =============================================================================== c | 1030 | 2489 3006 1187042 | 5000 1030 2232 | 0.000 % | c =============================================================================== c New solution: 12216 c Elapsed CPU time: 166.519 s Remaining CPU time: 13.4813 s c =============================================================================== c | 1034 | 2489 3007 1189392 | 5000 1034 2232 | 0.000 % | c =============================================================================== c New solution: 12215 c Elapsed CPU time: 167.165 s Remaining CPU time: 12.8354 s c =============================================================================== c | 1036 | 2489 3008 1191742 | 5000 1036 2232 | 0.000 % | c =============================================================================== c New solution: 12214 c Elapsed CPU time: 167.896 s Remaining CPU time: 12.1035 s c =============================================================================== c | 1055 | 2489 3009 1194092 | 5000 1055 2232 | 0.000 % | c =============================================================================== c New solution: 12213 c Elapsed CPU time: 168.582 s Remaining CPU time: 11.4176 s c =============================================================================== c | 1059 | 2489 3010 1196442 | 5000 1059 2232 | 0.000 % | c =============================================================================== c New solution: 12212 c Elapsed CPU time: 169.261 s Remaining CPU time: 10.7387 s c =============================================================================== c | 1077 | 2489 3011 1198792 | 5000 1077 2232 | 0.000 % | c =============================================================================== c New solution: 12211 c Elapsed CPU time: 170.007 s Remaining CPU time: 9.99285 s c =============================================================================== c | 1083 | 2489 3012 1201142 | 5000 1083 2230 | 0.000 % | c =============================================================================== c New solution: 12210 c Elapsed CPU time: 170.71 s Remaining CPU time: 9.28995 s c =============================================================================== c | 1087 | 2489 3013 1203492 | 5000 1087 2230 | 0.000 % | c =============================================================================== c New solution: 12209 c Elapsed CPU time: 171.377 s Remaining CPU time: 8.62305 s c =============================================================================== c | 1088 | 2489 3014 1205842 | 5000 1088 2230 | 0.000 % | c =============================================================================== c New solution: 12208 c Elapsed CPU time: 172.03 s Remaining CPU time: 7.97015 s c =============================================================================== c | 1088 | 2489 3015 1208192 | 5000 1088 2230 | 0.000 % | c =============================================================================== c New solution: 12207 c Elapsed CPU time: 173.403 s Remaining CPU time: 6.59736 s c =============================================================================== c | 1137 | 2489 3016 1210542 | 5000 1137 2230 | 0.000 % | c =============================================================================== c New solution: 12206 c Elapsed CPU time: 174.306 s Remaining CPU time: 5.6945 s c =============================================================================== c | 1151 | 2489 3017 1212892 | 5000 1151 2230 | 0.000 % | c =============================================================================== c New solution: 12205 c Elapsed CPU time: 175.074 s Remaining CPU time: 4.92562 s c =============================================================================== c | 1161 | 2489 3018 1215242 | 5000 1161 2230 | 0.000 % | c =============================================================================== c New solution: 12204 c Elapsed CPU time: 175.833 s Remaining CPU time: 4.16673 s c =============================================================================== c | 1168 | 2489 3019 1217592 | 5000 1168 2230 | 0.000 % | c =============================================================================== c New solution: 12203 c Elapsed CPU time: 176.642 s Remaining CPU time: 3.35785 s c =============================================================================== c | 1194 | 2489 3020 1219942 | 5000 1194 2230 | 0.000 % | c =============================================================================== c New solution: 12202 c Elapsed CPU time: 177.446 s Remaining CPU time: 2.55398 s c =============================================================================== c | 1233 | 2489 3021 1222292 | 5000 1233 2230 | 0.000 % | c =============================================================================== c New solution: 12201 c Elapsed CPU time: 178.799 s Remaining CPU time: 1.20118 s c =============================================================================== c | 1302 | 2489 3022 1224642 | 5000 1302 2230 | 0.000 % | c =============================================================================== c New solution: 12200 c Elapsed CPU time: 179.487 s Remaining CPU time: 0.513287 s c =============================================================================== c | 1305 | 2489 3023 1226992 | 5000 1305 2230 | 0.000 % | c =============================================================================== c New solution: 12199 c Elapsed CPU time: 180.224 s Remaining CPU time: -0.223601 s c =============================================================================== c | 1313 | 2489 3024 1229342 | 5000 1313 2230 | 0.000 % | c There are 11 assigned variables. 1 in cost function.