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 | 2497 2503 7350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12745 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 2497 2504 9700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12741 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 2497 2505 12050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12737 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 2497 2506 14400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12735 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 2497 2507 16750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12734 c Elapsed CPU time: 0.124981 s Remaining CPU time: 179.875 s c =============================================================================== c | 0 | 2497 2508 19100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12733 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s c =============================================================================== c | 0 | 2497 2509 21450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12732 c Elapsed CPU time: 0.172973 s Remaining CPU time: 179.827 s c =============================================================================== c | 0 | 2497 2510 23800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12731 c Elapsed CPU time: 0.197969 s Remaining CPU time: 179.802 s c =============================================================================== c | 0 | 2497 2511 26150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12730 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s c =============================================================================== c | 0 | 2497 2512 28500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12729 c Elapsed CPU time: 0.246962 s Remaining CPU time: 179.753 s c =============================================================================== c | 0 | 2497 2513 30850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12728 c Elapsed CPU time: 0.271958 s Remaining CPU time: 179.728 s c =============================================================================== c | 0 | 2497 2514 33200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12727 c Elapsed CPU time: 0.298954 s Remaining CPU time: 179.701 s c =============================================================================== c | 0 | 2497 2515 35550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12725 c Elapsed CPU time: 0.32695 s Remaining CPU time: 179.673 s c =============================================================================== c | 0 | 2497 2516 37900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12723 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 0 | 2497 2517 40250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12721 c Elapsed CPU time: 0.378942 s Remaining CPU time: 179.621 s c =============================================================================== c | 0 | 2497 2518 42600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12719 c Elapsed CPU time: 0.404938 s Remaining CPU time: 179.595 s c =============================================================================== c | 0 | 2497 2519 44950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12717 c Elapsed CPU time: 0.433934 s Remaining CPU time: 179.566 s c =============================================================================== c | 0 | 2497 2520 47300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12715 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 2497 2521 49650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12713 c Elapsed CPU time: 0.497924 s Remaining CPU time: 179.502 s c =============================================================================== c | 0 | 2497 2522 52000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12712 c Elapsed CPU time: 0.532918 s Remaining CPU time: 179.467 s c =============================================================================== c | 0 | 2497 2523 54350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12711 c Elapsed CPU time: 0.565913 s Remaining CPU time: 179.434 s c =============================================================================== c | 0 | 2497 2524 56700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12710 c Elapsed CPU time: 0.600908 s Remaining CPU time: 179.399 s c =============================================================================== c | 0 | 2497 2525 59050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12709 c Elapsed CPU time: 0.634903 s Remaining CPU time: 179.365 s c =============================================================================== c | 0 | 2497 2526 61400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12708 c Elapsed CPU time: 0.670898 s Remaining CPU time: 179.329 s c =============================================================================== c | 0 | 2497 2527 63750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12707 c Elapsed CPU time: 0.708892 s Remaining CPU time: 179.291 s c =============================================================================== c | 0 | 2497 2528 66100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12705 c Elapsed CPU time: 0.747886 s Remaining CPU time: 179.252 s c =============================================================================== c | 0 | 2497 2529 68450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12704 c Elapsed CPU time: 0.78588 s Remaining CPU time: 179.214 s c =============================================================================== c | 0 | 2497 2530 70800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12703 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 0 | 2497 2531 73150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12702 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s c =============================================================================== c | 0 | 2497 2532 75500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12701 c Elapsed CPU time: 0.906862 s Remaining CPU time: 179.093 s c =============================================================================== c | 0 | 2497 2533 77850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12700 c Elapsed CPU time: 0.949855 s Remaining CPU time: 179.05 s c =============================================================================== c | 0 | 2497 2534 80200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12698 c Elapsed CPU time: 0.992849 s Remaining CPU time: 179.007 s c =============================================================================== c | 0 | 2497 2535 82550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12697 c Elapsed CPU time: 1.03584 s Remaining CPU time: 178.964 s c =============================================================================== c | 0 | 2497 2536 84900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12694 c Elapsed CPU time: 1.07984 s Remaining CPU time: 178.92 s c =============================================================================== c | 0 | 2497 2537 87250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12689 c Elapsed CPU time: 1.12483 s Remaining CPU time: 178.875 s c =============================================================================== c | 0 | 2497 2538 89600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12687 c Elapsed CPU time: 1.17282 s Remaining CPU time: 178.827 s c =============================================================================== c | 0 | 2497 2539 91950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12682 c Elapsed CPU time: 1.21981 s Remaining CPU time: 178.78 s c =============================================================================== c | 0 | 2497 2540 94300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12678 c Elapsed CPU time: 1.26581 s Remaining CPU time: 178.734 s c =============================================================================== c | 0 | 2497 2541 96650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12676 c Elapsed CPU time: 1.3178 s Remaining CPU time: 178.682 s c =============================================================================== c | 0 | 2497 2542 99000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12673 c Elapsed CPU time: 1.36979 s Remaining CPU time: 178.63 s c =============================================================================== c | 0 | 2497 2543 101350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12671 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s c =============================================================================== c | 0 | 2497 2544 103700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12667 c Elapsed CPU time: 1.47578 s Remaining CPU time: 178.524 s c =============================================================================== c | 0 | 2497 2545 106050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12662 c Elapsed CPU time: 1.53377 s Remaining CPU time: 178.466 s c =============================================================================== c | 0 | 2497 2546 108400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12661 c Elapsed CPU time: 1.59676 s Remaining CPU time: 178.403 s c =============================================================================== c | 0 | 2497 2547 110750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12660 c Elapsed CPU time: 1.65375 s Remaining CPU time: 178.346 s c =============================================================================== c | 0 | 2497 2548 113100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12659 c Elapsed CPU time: 1.71374 s Remaining CPU time: 178.286 s c =============================================================================== c | 0 | 2497 2549 115450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12658 c Elapsed CPU time: 1.77473 s Remaining CPU time: 178.225 s c =============================================================================== c | 0 | 2497 2550 117800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12657 c Elapsed CPU time: 1.83572 s Remaining CPU time: 178.164 s c =============================================================================== c | 0 | 2497 2551 120150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12656 c Elapsed CPU time: 1.90071 s Remaining CPU time: 178.099 s c =============================================================================== c | 0 | 2497 2552 122500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12654 c Elapsed CPU time: 1.9667 s Remaining CPU time: 178.033 s c =============================================================================== c | 0 | 2497 2553 124850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12653 c Elapsed CPU time: 2.03669 s Remaining CPU time: 177.963 s c =============================================================================== c | 0 | 2497 2554 127200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12650 c Elapsed CPU time: 2.10168 s Remaining CPU time: 177.898 s c =============================================================================== c | 0 | 2497 2555 129550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12645 c Elapsed CPU time: 2.17267 s Remaining CPU time: 177.827 s c =============================================================================== c | 0 | 2497 2556 131900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12644 c Elapsed CPU time: 2.24666 s Remaining CPU time: 177.753 s c =============================================================================== c | 0 | 2497 2557 134250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12641 c Elapsed CPU time: 2.32065 s Remaining CPU time: 177.679 s c =============================================================================== c | 0 | 2497 2558 136600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12637 c Elapsed CPU time: 2.39364 s Remaining CPU time: 177.606 s c =============================================================================== c | 0 | 2497 2559 138950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12635 c Elapsed CPU time: 2.46462 s Remaining CPU time: 177.535 s c =============================================================================== c | 0 | 2497 2560 141300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12634 c Elapsed CPU time: 2.53961 s Remaining CPU time: 177.46 s c =============================================================================== c | 0 | 2497 2561 143650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12633 c Elapsed CPU time: 2.6206 s Remaining CPU time: 177.379 s c =============================================================================== c | 0 | 2497 2562 146000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12632 c Elapsed CPU time: 2.69759 s Remaining CPU time: 177.302 s c =============================================================================== c | 0 | 2497 2563 148350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12628 c Elapsed CPU time: 2.77758 s Remaining CPU time: 177.222 s c =============================================================================== c | 0 | 2497 2564 150700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12627 c Elapsed CPU time: 2.86057 s Remaining CPU time: 177.139 s c =============================================================================== c | 0 | 2497 2565 153050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12626 c Elapsed CPU time: 2.94755 s Remaining CPU time: 177.052 s c =============================================================================== c | 0 | 2497 2566 155400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12622 c Elapsed CPU time: 3.03354 s Remaining CPU time: 176.966 s c =============================================================================== c | 0 | 2497 2567 157750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12620 c Elapsed CPU time: 3.12352 s Remaining CPU time: 176.876 s c =============================================================================== c | 0 | 2497 2568 160100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12619 c Elapsed CPU time: 3.20951 s Remaining CPU time: 176.79 s c =============================================================================== c | 0 | 2497 2569 162450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12618 c Elapsed CPU time: 3.2995 s Remaining CPU time: 176.701 s c =============================================================================== c | 0 | 2497 2570 164800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12617 c Elapsed CPU time: 3.38848 s Remaining CPU time: 176.612 s c =============================================================================== c | 0 | 2497 2571 167150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12615 c Elapsed CPU time: 3.48147 s Remaining CPU time: 176.519 s c =============================================================================== c | 0 | 2497 2572 169500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12614 c Elapsed CPU time: 3.57946 s Remaining CPU time: 176.421 s c =============================================================================== c | 0 | 2497 2573 171850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12613 c Elapsed CPU time: 3.67744 s Remaining CPU time: 176.323 s c =============================================================================== c | 0 | 2497 2574 174200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12610 c Elapsed CPU time: 3.77643 s Remaining CPU time: 176.224 s c =============================================================================== c | 0 | 2497 2575 176550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12609 c Elapsed CPU time: 3.87741 s Remaining CPU time: 176.123 s c =============================================================================== c | 0 | 2497 2576 178900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12608 c Elapsed CPU time: 3.98339 s Remaining CPU time: 176.017 s c =============================================================================== c | 0 | 2497 2577 181250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12607 c Elapsed CPU time: 4.08438 s Remaining CPU time: 175.916 s c =============================================================================== c | 0 | 2497 2578 183600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12605 c Elapsed CPU time: 4.18636 s Remaining CPU time: 175.814 s c =============================================================================== c | 0 | 2497 2579 185950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12603 c Elapsed CPU time: 4.29235 s Remaining CPU time: 175.708 s c =============================================================================== c | 0 | 2497 2580 188300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12600 c Elapsed CPU time: 4.39533 s Remaining CPU time: 175.605 s c =============================================================================== c | 0 | 2497 2581 190650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12596 c Elapsed CPU time: 4.50031 s Remaining CPU time: 175.5 s c =============================================================================== c | 0 | 2497 2582 193000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12592 c Elapsed CPU time: 4.6063 s Remaining CPU time: 175.394 s c =============================================================================== c | 0 | 2497 2583 195350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12589 c Elapsed CPU time: 4.71328 s Remaining CPU time: 175.287 s c =============================================================================== c | 0 | 2497 2584 197700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12585 c Elapsed CPU time: 4.82227 s Remaining CPU time: 175.178 s c =============================================================================== c | 0 | 2497 2585 200050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12584 c Elapsed CPU time: 4.93525 s Remaining CPU time: 175.065 s c =============================================================================== c | 0 | 2497 2586 202400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12582 c Elapsed CPU time: 5.04723 s Remaining CPU time: 174.953 s c =============================================================================== c | 0 | 2497 2587 204750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12580 c Elapsed CPU time: 5.16421 s Remaining CPU time: 174.836 s c =============================================================================== c | 0 | 2497 2588 207100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12578 c Elapsed CPU time: 5.2772 s Remaining CPU time: 174.723 s c =============================================================================== c | 0 | 2497 2589 209450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12577 c Elapsed CPU time: 5.39618 s Remaining CPU time: 174.604 s c =============================================================================== c | 0 | 2497 2590 211800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12574 c Elapsed CPU time: 5.53016 s Remaining CPU time: 174.47 s c =============================================================================== c | 0 | 2497 2591 214150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12572 c Elapsed CPU time: 5.65814 s Remaining CPU time: 174.342 s c =============================================================================== c | 0 | 2497 2592 216500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12569 c Elapsed CPU time: 5.78812 s Remaining CPU time: 174.212 s c =============================================================================== c | 0 | 2497 2593 218850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12567 c Elapsed CPU time: 5.9201 s Remaining CPU time: 174.08 s c =============================================================================== c | 0 | 2497 2594 221200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12566 c Elapsed CPU time: 6.05508 s Remaining CPU time: 173.945 s c =============================================================================== c | 0 | 2497 2595 223550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12565 c Elapsed CPU time: 6.19306 s Remaining CPU time: 173.807 s c =============================================================================== c | 0 | 2497 2596 225900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12563 c Elapsed CPU time: 6.33204 s Remaining CPU time: 173.668 s c =============================================================================== c | 0 | 2497 2597 228250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12562 c Elapsed CPU time: 6.47302 s Remaining CPU time: 173.527 s c =============================================================================== c | 0 | 2497 2598 230600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12558 c Elapsed CPU time: 6.61299 s Remaining CPU time: 173.387 s c =============================================================================== c | 0 | 2497 2599 232950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12557 c Elapsed CPU time: 6.75597 s Remaining CPU time: 173.244 s c =============================================================================== c | 0 | 2497 2600 235300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12556 c Elapsed CPU time: 6.90095 s Remaining CPU time: 173.099 s c =============================================================================== c | 0 | 2497 2601 237650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12553 c Elapsed CPU time: 7.04393 s Remaining CPU time: 172.956 s c =============================================================================== c | 0 | 2497 2602 240000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12551 c Elapsed CPU time: 7.18791 s Remaining CPU time: 172.812 s c =============================================================================== c | 0 | 2497 2603 242350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12548 c Elapsed CPU time: 7.33289 s Remaining CPU time: 172.667 s c =============================================================================== c | 0 | 2497 2604 244700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12544 c Elapsed CPU time: 7.48586 s Remaining CPU time: 172.514 s c =============================================================================== c | 0 | 2497 2605 247050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12543 c Elapsed CPU time: 7.64084 s Remaining CPU time: 172.359 s c =============================================================================== c | 0 | 2497 2606 249400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12542 c Elapsed CPU time: 7.79781 s Remaining CPU time: 172.202 s c =============================================================================== c | 0 | 2497 2607 251750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12539 c Elapsed CPU time: 7.95479 s Remaining CPU time: 172.045 s c =============================================================================== c | 0 | 2497 2608 254100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12538 c Elapsed CPU time: 8.10477 s Remaining CPU time: 171.895 s c =============================================================================== c | 0 | 2497 2609 256450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12537 c Elapsed CPU time: 8.26174 s Remaining CPU time: 171.738 s c =============================================================================== c | 0 | 2497 2610 258800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12536 c Elapsed CPU time: 8.42072 s Remaining CPU time: 171.579 s c =============================================================================== c | 0 | 2497 2611 261150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12535 c Elapsed CPU time: 8.5837 s Remaining CPU time: 171.416 s c =============================================================================== c | 0 | 2497 2612 263500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12534 c Elapsed CPU time: 8.74267 s Remaining CPU time: 171.257 s c =============================================================================== c | 0 | 2497 2613 265850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12532 c Elapsed CPU time: 8.91165 s Remaining CPU time: 171.088 s c =============================================================================== c | 0 | 2497 2614 268200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12530 c Elapsed CPU time: 9.08362 s Remaining CPU time: 170.916 s c =============================================================================== c | 0 | 2497 2615 270550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12527 c Elapsed CPU time: 9.24859 s Remaining CPU time: 170.751 s c =============================================================================== c | 0 | 2497 2616 272900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12525 c Elapsed CPU time: 9.42157 s Remaining CPU time: 170.578 s c =============================================================================== c | 0 | 2497 2617 275250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12524 c Elapsed CPU time: 9.59254 s Remaining CPU time: 170.407 s c =============================================================================== c | 0 | 2497 2618 277600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12523 c Elapsed CPU time: 9.76652 s Remaining CPU time: 170.233 s c =============================================================================== c | 0 | 2497 2619 279950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12522 c Elapsed CPU time: 9.93549 s Remaining CPU time: 170.065 s c =============================================================================== c | 0 | 2497 2620 282300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12521 c Elapsed CPU time: 10.1185 s Remaining CPU time: 169.882 s c =============================================================================== c | 0 | 2497 2621 284650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12518 c Elapsed CPU time: 10.2924 s Remaining CPU time: 169.708 s c =============================================================================== c | 0 | 2497 2622 287000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12517 c Elapsed CPU time: 10.4674 s Remaining CPU time: 169.533 s c =============================================================================== c | 0 | 2497 2623 289350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12516 c Elapsed CPU time: 10.6504 s Remaining CPU time: 169.35 s c =============================================================================== c | 0 | 2497 2624 291700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12515 c Elapsed CPU time: 10.8344 s Remaining CPU time: 169.166 s c =============================================================================== c | 0 | 2497 2625 294050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12514 c Elapsed CPU time: 11.0193 s Remaining CPU time: 168.981 s c =============================================================================== c | 0 | 2497 2626 296400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12511 c Elapsed CPU time: 11.2063 s Remaining CPU time: 168.794 s c =============================================================================== c | 0 | 2497 2627 298750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12509 c Elapsed CPU time: 11.3933 s Remaining CPU time: 168.607 s c =============================================================================== c | 0 | 2497 2628 301100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12507 c Elapsed CPU time: 11.5832 s Remaining CPU time: 168.417 s c =============================================================================== c | 0 | 2497 2629 303450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12506 c Elapsed CPU time: 11.7752 s Remaining CPU time: 168.225 s c =============================================================================== c | 0 | 2497 2630 305800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12503 c Elapsed CPU time: 11.9682 s Remaining CPU time: 168.032 s c =============================================================================== c | 0 | 2497 2631 308150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12502 c Elapsed CPU time: 12.1652 s Remaining CPU time: 167.835 s c =============================================================================== c | 0 | 2497 2632 310500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12501 c Elapsed CPU time: 12.3631 s Remaining CPU time: 167.637 s c =============================================================================== c | 0 | 2497 2633 312850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12500 c Elapsed CPU time: 12.5611 s Remaining CPU time: 167.439 s c =============================================================================== c | 0 | 2497 2634 315200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12499 c Elapsed CPU time: 12.7541 s Remaining CPU time: 167.246 s c =============================================================================== c | 0 | 2497 2635 317550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12498 c Elapsed CPU time: 12.963 s Remaining CPU time: 167.037 s c =============================================================================== c | 0 | 2497 2636 319900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12497 c Elapsed CPU time: 13.168 s Remaining CPU time: 166.832 s c =============================================================================== c | 0 | 2497 2637 322250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12496 c Elapsed CPU time: 13.37 s Remaining CPU time: 166.63 s c =============================================================================== c | 0 | 2497 2638 324600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12495 c Elapsed CPU time: 13.5699 s Remaining CPU time: 166.43 s c =============================================================================== c | 0 | 2497 2639 326950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12494 c Elapsed CPU time: 13.7779 s Remaining CPU time: 166.222 s c =============================================================================== c | 0 | 2497 2640 329300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12492 c Elapsed CPU time: 13.9809 s Remaining CPU time: 166.019 s c =============================================================================== c | 0 | 2497 2641 331650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12490 c Elapsed CPU time: 14.1918 s Remaining CPU time: 165.808 s c =============================================================================== c | 0 | 2497 2642 334000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12489 c Elapsed CPU time: 14.3968 s Remaining CPU time: 165.603 s c =============================================================================== c | 0 | 2497 2643 336350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12487 c Elapsed CPU time: 14.6098 s Remaining CPU time: 165.39 s c =============================================================================== c | 0 | 2497 2644 338700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12486 c Elapsed CPU time: 14.8237 s Remaining CPU time: 165.176 s c =============================================================================== c | 0 | 2497 2645 341050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12485 c Elapsed CPU time: 15.0407 s Remaining CPU time: 164.959 s c =============================================================================== c | 0 | 2497 2646 343400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12484 c Elapsed CPU time: 15.2527 s Remaining CPU time: 164.747 s c =============================================================================== c | 0 | 2497 2647 345750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12483 c Elapsed CPU time: 15.4736 s Remaining CPU time: 164.526 s c =============================================================================== c | 0 | 2497 2648 348100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12481 c Elapsed CPU time: 15.6896 s Remaining CPU time: 164.31 s c =============================================================================== c | 0 | 2497 2649 350450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12479 c Elapsed CPU time: 15.9066 s Remaining CPU time: 164.093 s c =============================================================================== c | 0 | 2497 2650 352800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12477 c Elapsed CPU time: 16.1215 s Remaining CPU time: 163.878 s c =============================================================================== c | 0 | 2497 2651 355150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12476 c Elapsed CPU time: 16.3365 s Remaining CPU time: 163.663 s c =============================================================================== c | 0 | 2497 2652 357500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12475 c Elapsed CPU time: 16.5615 s Remaining CPU time: 163.439 s c =============================================================================== c | 0 | 2497 2653 359850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12474 c Elapsed CPU time: 16.7844 s Remaining CPU time: 163.216 s c =============================================================================== c | 0 | 2497 2654 362200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12473 c Elapsed CPU time: 17.0124 s Remaining CPU time: 162.988 s c =============================================================================== c | 0 | 2497 2655 364550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12472 c Elapsed CPU time: 17.2364 s Remaining CPU time: 162.764 s c =============================================================================== c | 0 | 2497 2656 366900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12470 c Elapsed CPU time: 17.4603 s Remaining CPU time: 162.54 s c =============================================================================== c | 0 | 2497 2657 369250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12469 c Elapsed CPU time: 17.6863 s Remaining CPU time: 162.314 s c =============================================================================== c | 0 | 2497 2658 371600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12468 c Elapsed CPU time: 17.9203 s Remaining CPU time: 162.08 s c =============================================================================== c | 0 | 2497 2659 373950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12467 c Elapsed CPU time: 18.1492 s Remaining CPU time: 161.851 s c =============================================================================== c | 0 | 2497 2660 376300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12466 c Elapsed CPU time: 18.3892 s Remaining CPU time: 161.611 s c =============================================================================== c | 0 | 2497 2661 378650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12465 c Elapsed CPU time: 18.6242 s Remaining CPU time: 161.376 s c =============================================================================== c | 0 | 2497 2662 381000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12464 c Elapsed CPU time: 18.8621 s Remaining CPU time: 161.138 s c =============================================================================== c | 0 | 2497 2663 383350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12461 c Elapsed CPU time: 19.0991 s Remaining CPU time: 160.901 s c =============================================================================== c | 0 | 2497 2664 385700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12460 c Elapsed CPU time: 19.3381 s Remaining CPU time: 160.662 s c =============================================================================== c | 0 | 2497 2665 388050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12459 c Elapsed CPU time: 19.575 s Remaining CPU time: 160.425 s c =============================================================================== c | 0 | 2497 2666 390400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12458 c Elapsed CPU time: 19.818 s Remaining CPU time: 160.182 s c =============================================================================== c | 0 | 2497 2667 392750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12457 c Elapsed CPU time: 20.0639 s Remaining CPU time: 159.936 s c =============================================================================== c | 0 | 2497 2668 395100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12456 c Elapsed CPU time: 20.3069 s Remaining CPU time: 159.693 s c =============================================================================== c | 0 | 2497 2669 397450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12455 c Elapsed CPU time: 20.5529 s Remaining CPU time: 159.447 s c =============================================================================== c | 0 | 2497 2670 399800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12452 c Elapsed CPU time: 20.8018 s Remaining CPU time: 159.198 s c =============================================================================== c | 0 | 2497 2671 402150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12450 c Elapsed CPU time: 21.0578 s Remaining CPU time: 158.942 s c =============================================================================== c | 0 | 2497 2672 404500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12447 c Elapsed CPU time: 21.3078 s Remaining CPU time: 158.692 s c =============================================================================== c | 0 | 2497 2673 406850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12444 c Elapsed CPU time: 21.5607 s Remaining CPU time: 158.439 s c =============================================================================== c | 0 | 2497 2674 409200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12441 c Elapsed CPU time: 21.8147 s Remaining CPU time: 158.185 s c =============================================================================== c | 0 | 2497 2675 411550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12440 c Elapsed CPU time: 22.0726 s Remaining CPU time: 157.927 s c =============================================================================== c | 0 | 2497 2676 413900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12439 c Elapsed CPU time: 22.3426 s Remaining CPU time: 157.657 s c =============================================================================== c | 0 | 2497 2677 416250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12438 c Elapsed CPU time: 22.6056 s Remaining CPU time: 157.394 s c =============================================================================== c | 0 | 2497 2678 418600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12434 c Elapsed CPU time: 22.8695 s Remaining CPU time: 157.13 s c =============================================================================== c | 0 | 2497 2679 420950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12433 c Elapsed CPU time: 23.1375 s Remaining CPU time: 156.863 s c =============================================================================== c | 0 | 2497 2680 423300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12432 c Elapsed CPU time: 23.4064 s Remaining CPU time: 156.594 s c =============================================================================== c | 0 | 2497 2681 425650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12431 c Elapsed CPU time: 23.6784 s Remaining CPU time: 156.322 s c =============================================================================== c | 0 | 2497 2682 428000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12429 c Elapsed CPU time: 23.9444 s Remaining CPU time: 156.056 s c =============================================================================== c | 0 | 2497 2683 430350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12428 c Elapsed CPU time: 24.2073 s Remaining CPU time: 155.793 s c =============================================================================== c | 0 | 2497 2684 432700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12427 c Elapsed CPU time: 24.4913 s Remaining CPU time: 155.509 s c =============================================================================== c | 0 | 2497 2685 435050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12426 c Elapsed CPU time: 24.7602 s Remaining CPU time: 155.24 s c =============================================================================== c | 0 | 2497 2686 437400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12425 c Elapsed CPU time: 25.0332 s Remaining CPU time: 154.967 s c =============================================================================== c | 0 | 2497 2687 439750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12424 c Elapsed CPU time: 25.3112 s Remaining CPU time: 154.689 s c =============================================================================== c | 0 | 2497 2688 442100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12421 c Elapsed CPU time: 25.5961 s Remaining CPU time: 154.404 s c =============================================================================== c | 0 | 2497 2689 444450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12420 c Elapsed CPU time: 25.8741 s Remaining CPU time: 154.126 s c =============================================================================== c | 0 | 2497 2690 446800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12419 c Elapsed CPU time: 26.153 s Remaining CPU time: 153.847 s c =============================================================================== c | 0 | 2497 2691 449150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12418 c Elapsed CPU time: 26.43 s Remaining CPU time: 153.57 s c =============================================================================== c | 0 | 2497 2692 451500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12417 c Elapsed CPU time: 26.7069 s Remaining CPU time: 153.293 s c =============================================================================== c | 0 | 2497 2693 453850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12416 c Elapsed CPU time: 26.9909 s Remaining CPU time: 153.009 s c =============================================================================== c | 0 | 2497 2694 456200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12415 c Elapsed CPU time: 27.2779 s Remaining CPU time: 152.722 s c =============================================================================== c | 0 | 2497 2695 458550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12413 c Elapsed CPU time: 27.5648 s Remaining CPU time: 152.435 s c =============================================================================== c | 0 | 2497 2696 460900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12412 c Elapsed CPU time: 27.8578 s Remaining CPU time: 152.142 s c =============================================================================== c | 0 | 2497 2697 463250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12411 c Elapsed CPU time: 28.1537 s Remaining CPU time: 151.846 s c =============================================================================== c | 0 | 2497 2698 465600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12410 c Elapsed CPU time: 28.4497 s Remaining CPU time: 151.55 s c =============================================================================== c | 0 | 2497 2699 467950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12408 c Elapsed CPU time: 28.7366 s Remaining CPU time: 151.263 s c =============================================================================== c | 0 | 2497 2700 470300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12407 c Elapsed CPU time: 29.0386 s Remaining CPU time: 150.961 s c =============================================================================== c | 0 | 2497 2701 472650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12406 c Elapsed CPU time: 29.3295 s Remaining CPU time: 150.67 s c =============================================================================== c | 0 | 2497 2702 475000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12404 c Elapsed CPU time: 29.6245 s Remaining CPU time: 150.376 s c =============================================================================== c | 0 | 2497 2703 477350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12403 c Elapsed CPU time: 29.9354 s Remaining CPU time: 150.065 s c =============================================================================== c | 0 | 2497 2704 479700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12402 c Elapsed CPU time: 30.2334 s Remaining CPU time: 149.767 s c =============================================================================== c | 0 | 2497 2705 482050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12401 c Elapsed CPU time: 30.5434 s Remaining CPU time: 149.457 s c =============================================================================== c | 0 | 2497 2706 484400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12400 c Elapsed CPU time: 30.8673 s Remaining CPU time: 149.133 s c =============================================================================== c | 0 | 2497 2707 486750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12399 c Elapsed CPU time: 31.1683 s Remaining CPU time: 148.832 s c =============================================================================== c | 0 | 2497 2708 489100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12398 c Elapsed CPU time: 31.4872 s Remaining CPU time: 148.513 s c =============================================================================== c | 0 | 2497 2709 491450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12397 c Elapsed CPU time: 31.7992 s Remaining CPU time: 148.201 s c =============================================================================== c | 0 | 2497 2710 493800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12396 c Elapsed CPU time: 32.1171 s Remaining CPU time: 147.883 s c =============================================================================== c | 0 | 2497 2711 496150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12395 c Elapsed CPU time: 32.4361 s Remaining CPU time: 147.564 s c =============================================================================== c | 0 | 2497 2712 498500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12394 c Elapsed CPU time: 32.752 s Remaining CPU time: 147.248 s c =============================================================================== c | 0 | 2497 2713 500850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12393 c Elapsed CPU time: 33.06 s Remaining CPU time: 146.94 s c =============================================================================== c | 0 | 2497 2714 503200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12392 c Elapsed CPU time: 33.3779 s Remaining CPU time: 146.622 s c =============================================================================== c | 0 | 2497 2715 505550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12390 c Elapsed CPU time: 33.6929 s Remaining CPU time: 146.307 s c =============================================================================== c | 0 | 2497 2716 507900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12388 c Elapsed CPU time: 34.0078 s Remaining CPU time: 145.992 s c =============================================================================== c | 0 | 2497 2717 510250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12385 c Elapsed CPU time: 34.3448 s Remaining CPU time: 145.655 s c =============================================================================== c | 0 | 2497 2718 512600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12384 c Elapsed CPU time: 34.6857 s Remaining CPU time: 145.314 s c =============================================================================== c | 0 | 2497 2719 514950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12383 c Elapsed CPU time: 35.0317 s Remaining CPU time: 144.968 s c =============================================================================== c | 0 | 2497 2720 517300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12382 c Elapsed CPU time: 35.3686 s Remaining CPU time: 144.631 s c =============================================================================== c | 0 | 2497 2721 519650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12381 c Elapsed CPU time: 35.6986 s Remaining CPU time: 144.301 s c =============================================================================== c | 0 | 2497 2722 522000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12380 c Elapsed CPU time: 36.0275 s Remaining CPU time: 143.972 s c =============================================================================== c | 0 | 2497 2723 524350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12378 c Elapsed CPU time: 36.3675 s Remaining CPU time: 143.633 s c =============================================================================== c | 0 | 2497 2724 526700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12377 c Elapsed CPU time: 36.7084 s Remaining CPU time: 143.292 s c =============================================================================== c | 0 | 2497 2725 529050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12375 c Elapsed CPU time: 37.0534 s Remaining CPU time: 142.947 s c =============================================================================== c | 0 | 2497 2726 531400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12373 c Elapsed CPU time: 37.3923 s Remaining CPU time: 142.608 s c =============================================================================== c | 0 | 2497 2727 533750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12372 c Elapsed CPU time: 37.7463 s Remaining CPU time: 142.254 s c =============================================================================== c | 0 | 2497 2728 536100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12370 c Elapsed CPU time: 38.1012 s Remaining CPU time: 141.899 s c =============================================================================== c | 0 | 2497 2729 538450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12369 c Elapsed CPU time: 38.4582 s Remaining CPU time: 141.542 s c =============================================================================== c | 0 | 2497 2730 540800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12367 c Elapsed CPU time: 38.8241 s Remaining CPU time: 141.176 s c =============================================================================== c | 0 | 2497 2731 543150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12366 c Elapsed CPU time: 39.179 s Remaining CPU time: 140.821 s c =============================================================================== c | 0 | 2497 2732 545500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12365 c Elapsed CPU time: 39.547 s Remaining CPU time: 140.453 s c =============================================================================== c | 0 | 2497 2733 547850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12363 c Elapsed CPU time: 39.9049 s Remaining CPU time: 140.095 s c =============================================================================== c | 0 | 2497 2734 550200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12362 c Elapsed CPU time: 40.2689 s Remaining CPU time: 139.731 s c =============================================================================== c | 0 | 2497 2735 552550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12361 c Elapsed CPU time: 40.6328 s Remaining CPU time: 139.367 s c =============================================================================== c | 0 | 2497 2736 554900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12360 c Elapsed CPU time: 40.9938 s Remaining CPU time: 139.006 s c =============================================================================== c | 0 | 2497 2737 557250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12359 c Elapsed CPU time: 41.3637 s Remaining CPU time: 138.636 s c =============================================================================== c | 0 | 2497 2738 559600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12357 c Elapsed CPU time: 41.7287 s Remaining CPU time: 138.271 s c =============================================================================== c | 0 | 2497 2739 561950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12356 c Elapsed CPU time: 42.0896 s Remaining CPU time: 137.91 s c =============================================================================== c | 0 | 2497 2740 564300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12355 c Elapsed CPU time: 42.4625 s Remaining CPU time: 137.537 s c =============================================================================== c | 0 | 2497 2741 566650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12354 c Elapsed CPU time: 42.8395 s Remaining CPU time: 137.161 s c =============================================================================== c | 0 | 2497 2742 569000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12353 c Elapsed CPU time: 43.2174 s Remaining CPU time: 136.783 s c =============================================================================== c | 0 | 2497 2743 571350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12351 c Elapsed CPU time: 43.6034 s Remaining CPU time: 136.397 s c =============================================================================== c | 0 | 2497 2744 573700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12350 c Elapsed CPU time: 44.0053 s Remaining CPU time: 135.995 s c =============================================================================== c | 0 | 2497 2745 576050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12349 c Elapsed CPU time: 44.3952 s Remaining CPU time: 135.605 s c =============================================================================== c | 0 | 2497 2746 578400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12348 c Elapsed CPU time: 44.7902 s Remaining CPU time: 135.21 s c =============================================================================== c | 0 | 2497 2747 580750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12347 c Elapsed CPU time: 45.1981 s Remaining CPU time: 134.802 s c =============================================================================== c | 0 | 2497 2748 583100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12346 c Elapsed CPU time: 45.6031 s Remaining CPU time: 134.397 s c =============================================================================== c | 0 | 2497 2749 585450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12345 c Elapsed CPU time: 45.997 s Remaining CPU time: 134.003 s c =============================================================================== c | 0 | 2497 2750 587800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12344 c Elapsed CPU time: 46.3839 s Remaining CPU time: 133.616 s c =============================================================================== c | 0 | 2497 2751 590150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12343 c Elapsed CPU time: 46.7729 s Remaining CPU time: 133.227 s c =============================================================================== c | 0 | 2497 2752 592500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12342 c Elapsed CPU time: 47.1598 s Remaining CPU time: 132.84 s c =============================================================================== c | 0 | 2497 2753 594850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12341 c Elapsed CPU time: 47.5588 s Remaining CPU time: 132.441 s c =============================================================================== c | 0 | 2497 2754 597200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12339 c Elapsed CPU time: 47.9437 s Remaining CPU time: 132.056 s c =============================================================================== c | 0 | 2497 2755 599550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12338 c Elapsed CPU time: 48.3436 s Remaining CPU time: 131.656 s c =============================================================================== c | 0 | 2497 2756 601900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12337 c Elapsed CPU time: 48.7506 s Remaining CPU time: 131.249 s c =============================================================================== c | 0 | 2497 2757 604250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12335 c Elapsed CPU time: 49.1495 s Remaining CPU time: 130.85 s c =============================================================================== c | 0 | 2497 2758 606600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12334 c Elapsed CPU time: 49.5575 s Remaining CPU time: 130.443 s c =============================================================================== c | 0 | 2497 2759 608950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12333 c Elapsed CPU time: 49.9714 s Remaining CPU time: 130.029 s c =============================================================================== c | 0 | 2497 2760 611300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12332 c Elapsed CPU time: 50.3833 s Remaining CPU time: 129.617 s c =============================================================================== c | 0 | 2497 2761 613650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12330 c Elapsed CPU time: 50.7783 s Remaining CPU time: 129.222 s c =============================================================================== c | 0 | 2497 2762 616000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12329 c Elapsed CPU time: 51.1802 s Remaining CPU time: 128.82 s c =============================================================================== c | 0 | 2497 2763 618350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12328 c Elapsed CPU time: 51.5962 s Remaining CPU time: 128.404 s c =============================================================================== c | 0 | 2497 2764 620700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12327 c Elapsed CPU time: 52.0151 s Remaining CPU time: 127.985 s c =============================================================================== c | 0 | 2497 2765 623050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12326 c Elapsed CPU time: 52.421 s Remaining CPU time: 127.579 s c =============================================================================== c | 0 | 2497 2766 625400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12325 c Elapsed CPU time: 52.831 s Remaining CPU time: 127.169 s c =============================================================================== c | 0 | 2497 2767 627750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12324 c Elapsed CPU time: 53.2389 s Remaining CPU time: 126.761 s c =============================================================================== c | 0 | 2497 2768 630100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12323 c Elapsed CPU time: 53.6618 s Remaining CPU time: 126.338 s c =============================================================================== c | 0 | 2497 2769 632450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12321 c Elapsed CPU time: 54.0758 s Remaining CPU time: 125.924 s c =============================================================================== c | 0 | 2497 2770 634800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12320 c Elapsed CPU time: 54.5037 s Remaining CPU time: 125.496 s c =============================================================================== c | 0 | 2497 2771 637150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12319 c Elapsed CPU time: 54.9286 s Remaining CPU time: 125.071 s c =============================================================================== c | 0 | 2497 2772 639500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12318 c Elapsed CPU time: 55.3686 s Remaining CPU time: 124.631 s c =============================================================================== c | 0 | 2497 2773 641850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12317 c Elapsed CPU time: 55.8075 s Remaining CPU time: 124.192 s c =============================================================================== c | 0 | 2497 2774 644200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12316 c Elapsed CPU time: 56.2424 s Remaining CPU time: 123.758 s c =============================================================================== c | 0 | 2497 2775 646550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12315 c Elapsed CPU time: 56.6754 s Remaining CPU time: 123.325 s c =============================================================================== c | 0 | 2497 2776 648900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12313 c Elapsed CPU time: 57.1013 s Remaining CPU time: 122.899 s c =============================================================================== c | 0 | 2497 2777 651250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12311 c Elapsed CPU time: 57.5323 s Remaining CPU time: 122.468 s c =============================================================================== c | 0 | 2497 2778 653600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12310 c Elapsed CPU time: 57.9822 s Remaining CPU time: 122.018 s c =============================================================================== c | 0 | 2497 2779 655950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12308 c Elapsed CPU time: 58.4221 s Remaining CPU time: 121.578 s c =============================================================================== c | 0 | 2497 2780 658300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12307 c Elapsed CPU time: 58.8601 s Remaining CPU time: 121.14 s c =============================================================================== c | 0 | 2497 2781 660650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12306 c Elapsed CPU time: 59.306 s Remaining CPU time: 120.694 s c =============================================================================== c | 0 | 2497 2782 663000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12305 c Elapsed CPU time: 59.7569 s Remaining CPU time: 120.243 s c =============================================================================== c | 0 | 2497 2783 665350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12304 c Elapsed CPU time: 60.1948 s Remaining CPU time: 119.805 s c =============================================================================== c | 0 | 2497 2784 667700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12303 c Elapsed CPU time: 60.6388 s Remaining CPU time: 119.361 s c =============================================================================== c | 0 | 2497 2785 670050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12301 c Elapsed CPU time: 61.0897 s Remaining CPU time: 118.91 s c =============================================================================== c | 0 | 2497 2786 672400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12300 c Elapsed CPU time: 61.5256 s Remaining CPU time: 118.474 s c =============================================================================== c | 0 | 2497 2787 674750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12299 c Elapsed CPU time: 61.9686 s Remaining CPU time: 118.031 s c =============================================================================== c | 0 | 2497 2788 677100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12298 c Elapsed CPU time: 62.4125 s Remaining CPU time: 117.587 s c =============================================================================== c | 0 | 2497 2789 679450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12296 c Elapsed CPU time: 62.8564 s Remaining CPU time: 117.144 s c =============================================================================== c | 0 | 2497 2790 681800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12295 c Elapsed CPU time: 63.3124 s Remaining CPU time: 116.688 s c =============================================================================== c | 0 | 2497 2791 684150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12293 c Elapsed CPU time: 63.7633 s Remaining CPU time: 116.237 s c =============================================================================== c | 0 | 2497 2792 686500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12290 c Elapsed CPU time: 64.2082 s Remaining CPU time: 115.792 s c =============================================================================== c | 0 | 2497 2793 688850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12289 c Elapsed CPU time: 64.6642 s Remaining CPU time: 115.336 s c =============================================================================== c | 0 | 2497 2794 691200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12287 c Elapsed CPU time: 65.1171 s Remaining CPU time: 114.883 s c =============================================================================== c | 0 | 2497 2795 693550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12286 c Elapsed CPU time: 65.563 s Remaining CPU time: 114.437 s c =============================================================================== c | 0 | 2497 2796 695900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12285 c Elapsed CPU time: 66.002 s Remaining CPU time: 113.998 s c =============================================================================== c | 0 | 2497 2797 698250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12284 c Elapsed CPU time: 66.4519 s Remaining CPU time: 113.548 s c =============================================================================== c | 0 | 2497 2798 700600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12282 c Elapsed CPU time: 66.8958 s Remaining CPU time: 113.104 s c =============================================================================== c | 0 | 2497 2799 702950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12281 c Elapsed CPU time: 67.3448 s Remaining CPU time: 112.655 s c =============================================================================== c | 0 | 2497 2800 705300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12280 c Elapsed CPU time: 67.7967 s Remaining CPU time: 112.203 s c =============================================================================== c | 0 | 2497 2801 707650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12278 c Elapsed CPU time: 68.2636 s Remaining CPU time: 111.736 s c =============================================================================== c | 0 | 2497 2802 710000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12276 c Elapsed CPU time: 68.7415 s Remaining CPU time: 111.258 s c =============================================================================== c | 0 | 2497 2803 712350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12274 c Elapsed CPU time: 69.2005 s Remaining CPU time: 110.8 s c =============================================================================== c | 0 | 2497 2804 714700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12272 c Elapsed CPU time: 69.6664 s Remaining CPU time: 110.334 s c =============================================================================== c | 0 | 2497 2805 717050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12270 c Elapsed CPU time: 70.1313 s Remaining CPU time: 109.869 s c =============================================================================== c | 0 | 2497 2806 719400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12269 c Elapsed CPU time: 70.6003 s Remaining CPU time: 109.4 s c =============================================================================== c | 0 | 2497 2807 721750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12266 c Elapsed CPU time: 71.0692 s Remaining CPU time: 108.931 s c =============================================================================== c | 0 | 2497 2808 724100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12264 c Elapsed CPU time: 71.5441 s Remaining CPU time: 108.456 s c =============================================================================== c | 0 | 2497 2809 726450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12262 c Elapsed CPU time: 72.022 s Remaining CPU time: 107.978 s c =============================================================================== c | 0 | 2497 2810 728800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12261 c Elapsed CPU time: 72.492 s Remaining CPU time: 107.508 s c =============================================================================== c | 0 | 2497 2811 731150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12260 c Elapsed CPU time: 72.9619 s Remaining CPU time: 107.038 s c =============================================================================== c | 0 | 2497 2812 733500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12258 c Elapsed CPU time: 73.4578 s Remaining CPU time: 106.542 s c =============================================================================== c | 0 | 2497 2813 735850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12257 c Elapsed CPU time: 73.9408 s Remaining CPU time: 106.059 s c =============================================================================== c | 0 | 2497 2814 738200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12256 c Elapsed CPU time: 74.3747 s Remaining CPU time: 105.625 s c =============================================================================== c | 0 | 2497 2815 740550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12253 c Elapsed CPU time: 74.7596 s Remaining CPU time: 105.24 s c =============================================================================== c | 0 | 2497 2816 742900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12251 c Elapsed CPU time: 75.1456 s Remaining CPU time: 104.854 s c =============================================================================== c | 0 | 2497 2817 745250 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12250 c Elapsed CPU time: 75.5405 s Remaining CPU time: 104.459 s c =============================================================================== c | 0 | 2497 2818 747600 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12247 c Elapsed CPU time: 75.9205 s Remaining CPU time: 104.08 s c =============================================================================== c | 0 | 2497 2819 749950 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12246 c Elapsed CPU time: 76.3234 s Remaining CPU time: 103.677 s c =============================================================================== c | 0 | 2497 2820 752300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12245 c Elapsed CPU time: 76.7293 s Remaining CPU time: 103.271 s c =============================================================================== c | 0 | 2497 2821 754650 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12243 c Elapsed CPU time: 77.1243 s Remaining CPU time: 102.876 s c =============================================================================== c | 0 | 2497 2822 757000 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12242 c Elapsed CPU time: 77.5182 s Remaining CPU time: 102.482 s c =============================================================================== c | 0 | 2497 2823 759350 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12239 c Elapsed CPU time: 77.9092 s Remaining CPU time: 102.091 s c =============================================================================== c | 0 | 2497 2824 761700 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12238 c Elapsed CPU time: 78.3091 s Remaining CPU time: 101.691 s c =============================================================================== c | 0 | 2497 2825 764050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12235 c Elapsed CPU time: 78.7 s Remaining CPU time: 101.3 s c =============================================================================== c | 0 | 2497 2826 766400 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12234 c Elapsed CPU time: 79.092 s Remaining CPU time: 100.908 s c =============================================================================== c | 0 | 2497 2827 768750 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12230 c Elapsed CPU time: 79.4839 s Remaining CPU time: 100.516 s c =============================================================================== c | 0 | 2497 2828 771100 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12229 c Elapsed CPU time: 79.8869 s Remaining CPU time: 100.113 s c =============================================================================== c | 0 | 2497 2829 773450 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12226 c Elapsed CPU time: 80.2778 s Remaining CPU time: 99.7222 s c =============================================================================== c | 0 | 2497 2830 775800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12223 c Elapsed CPU time: 80.6667 s Remaining CPU time: 99.3333 s c =============================================================================== c | 0 | 2497 2831 778150 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12221 c Elapsed CPU time: 81.0637 s Remaining CPU time: 98.9363 s c =============================================================================== c | 0 | 2497 2832 780500 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12219 c Elapsed CPU time: 81.4596 s Remaining CPU time: 98.5404 s c =============================================================================== c | 0 | 2497 2833 782850 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12218 c Elapsed CPU time: 81.8756 s Remaining CPU time: 98.1244 s c =============================================================================== c | 0 | 2497 2834 785200 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12215 c Elapsed CPU time: 82.2955 s Remaining CPU time: 97.7045 s c =============================================================================== c | 0 | 2497 2835 787550 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12214 c Elapsed CPU time: 82.7274 s Remaining CPU time: 97.2726 s c =============================================================================== c | 0 | 2497 2836 789900 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12213 c Elapsed CPU time: 83.1744 s Remaining CPU time: 96.8256 s c =============================================================================== c | 1 | 2497 2837 792250 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12210 c Elapsed CPU time: 83.6083 s Remaining CPU time: 96.3917 s c =============================================================================== c | 1 | 2497 2838 794600 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12209 c Elapsed CPU time: 84.0652 s Remaining CPU time: 95.9348 s c =============================================================================== c | 1 | 2497 2839 796950 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12208 c Elapsed CPU time: 84.5341 s Remaining CPU time: 95.4659 s c =============================================================================== c | 1 | 2497 2840 799300 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12206 c Elapsed CPU time: 84.9711 s Remaining CPU time: 95.0289 s c =============================================================================== c | 1 | 2497 2841 801650 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12205 c Elapsed CPU time: 85.44 s Remaining CPU time: 94.56 s c =============================================================================== c | 1 | 2497 2842 804000 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12202 c Elapsed CPU time: 85.8759 s Remaining CPU time: 94.1241 s c =============================================================================== c | 1 | 2497 2843 806350 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12201 c Elapsed CPU time: 86.3489 s Remaining CPU time: 93.6511 s c =============================================================================== c | 1 | 2497 2844 808700 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12200 c Elapsed CPU time: 86.8078 s Remaining CPU time: 93.1922 s c =============================================================================== c | 1 | 2497 2845 811050 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12199 c Elapsed CPU time: 87.2437 s Remaining CPU time: 92.7563 s c =============================================================================== c | 1 | 2497 2846 813400 | 5000 1 2275 | 0.000 % | c =============================================================================== c New solution: 12198 c Elapsed CPU time: 87.7577 s Remaining CPU time: 92.2423 s c =============================================================================== c | 6 | 2497 2847 815750 | 5000 6 2269 | 0.000 % | c =============================================================================== c New solution: 12197 c Elapsed CPU time: 88.2036 s Remaining CPU time: 91.7964 s c =============================================================================== c | 7 | 2497 2848 818100 | 5000 7 2269 | 0.000 % | c =============================================================================== c New solution: 12196 c Elapsed CPU time: 88.6275 s Remaining CPU time: 91.3725 s c =============================================================================== c | 7 | 2497 2849 820450 | 5000 7 2269 | 0.000 % | c =============================================================================== c New solution: 12195 c Elapsed CPU time: 89.0525 s Remaining CPU time: 90.9475 s c =============================================================================== c | 8 | 2497 2850 822800 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12194 c Elapsed CPU time: 89.4734 s Remaining CPU time: 90.5266 s c =============================================================================== c | 8 | 2497 2851 825150 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12193 c Elapsed CPU time: 89.9123 s Remaining CPU time: 90.0877 s c =============================================================================== c | 8 | 2497 2852 827500 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12192 c Elapsed CPU time: 90.3543 s Remaining CPU time: 89.6457 s c =============================================================================== c | 8 | 2497 2853 829850 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12191 c Elapsed CPU time: 90.7942 s Remaining CPU time: 89.2058 s c =============================================================================== c | 8 | 2497 2854 832200 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12190 c Elapsed CPU time: 91.2481 s Remaining CPU time: 88.7519 s c =============================================================================== c | 8 | 2497 2855 834550 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12189 c Elapsed CPU time: 91.7041 s Remaining CPU time: 88.2959 s c =============================================================================== c | 8 | 2497 2856 836900 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12188 c Elapsed CPU time: 92.15 s Remaining CPU time: 87.85 s c =============================================================================== c | 8 | 2497 2857 839250 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12187 c Elapsed CPU time: 92.6589 s Remaining CPU time: 87.3411 s c =============================================================================== c | 8 | 2497 2858 841600 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12186 c Elapsed CPU time: 93.1178 s Remaining CPU time: 86.8822 s c =============================================================================== c | 8 | 2497 2859 843950 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12185 c Elapsed CPU time: 93.5668 s Remaining CPU time: 86.4332 s c =============================================================================== c | 8 | 2497 2860 846300 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12184 c Elapsed CPU time: 94.0377 s Remaining CPU time: 85.9623 s c =============================================================================== c | 8 | 2497 2861 848650 | 5000 8 1985 | 0.000 % | c =============================================================================== c New solution: 12183 c Elapsed CPU time: 94.5156 s Remaining CPU time: 85.4844 s c =============================================================================== c | 9 | 2497 2862 851000 | 5000 9 1765 | 0.000 % | c =============================================================================== c New solution: 12182 c Elapsed CPU time: 95.0066 s Remaining CPU time: 84.9934 s c =============================================================================== c | 9 | 2497 2863 853350 | 5000 9 1765 | 0.000 % | c =============================================================================== c New solution: 12181 c Elapsed CPU time: 95.4735 s Remaining CPU time: 84.5265 s c =============================================================================== c | 11 | 2497 2864 855700 | 5000 11 1856 | 0.000 % | c =============================================================================== c New solution: 12180 c Elapsed CPU time: 95.9184 s Remaining CPU time: 84.0816 s c =============================================================================== c | 11 | 2497 2865 858050 | 5000 11 1856 | 0.000 % | c =============================================================================== c New solution: 12179 c Elapsed CPU time: 96.3823 s Remaining CPU time: 83.6177 s c =============================================================================== c | 11 | 2497 2866 860400 | 5000 11 1856 | 0.000 % | c =============================================================================== c New solution: 12178 c Elapsed CPU time: 96.8543 s Remaining CPU time: 83.1457 s c =============================================================================== c | 11 | 2497 2867 862750 | 5000 11 1856 | 0.000 % | c =============================================================================== c New solution: 12177 c Elapsed CPU time: 97.3572 s Remaining CPU time: 82.6428 s c =============================================================================== c | 11 | 2497 2868 865100 | 5000 11 1856 | 0.000 % | c =============================================================================== c New solution: 12176 c Elapsed CPU time: 97.8561 s Remaining CPU time: 82.1439 s c =============================================================================== c | 13 | 2497 2869 867450 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12175 c Elapsed CPU time: 98.3331 s Remaining CPU time: 81.6669 s c =============================================================================== c | 13 | 2497 2870 869800 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12174 c Elapsed CPU time: 98.85 s Remaining CPU time: 81.15 s c =============================================================================== c | 13 | 2497 2871 872150 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12173 c Elapsed CPU time: 99.3479 s Remaining CPU time: 80.6521 s c =============================================================================== c | 13 | 2497 2872 874500 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12172 c Elapsed CPU time: 99.8358 s Remaining CPU time: 80.1642 s c =============================================================================== c | 13 | 2497 2873 876850 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12171 c Elapsed CPU time: 100.321 s Remaining CPU time: 79.6793 s c =============================================================================== c | 13 | 2497 2874 879200 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12170 c Elapsed CPU time: 100.809 s Remaining CPU time: 79.1913 s c =============================================================================== c | 13 | 2497 2875 881550 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12169 c Elapsed CPU time: 101.295 s Remaining CPU time: 78.7054 s c =============================================================================== c | 13 | 2497 2876 883900 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12168 c Elapsed CPU time: 101.775 s Remaining CPU time: 78.2255 s c =============================================================================== c | 13 | 2497 2877 886250 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12167 c Elapsed CPU time: 102.245 s Remaining CPU time: 77.7545 s c =============================================================================== c | 13 | 2497 2878 888600 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12166 c Elapsed CPU time: 102.728 s Remaining CPU time: 77.2716 s c =============================================================================== c | 13 | 2497 2879 890950 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12165 c Elapsed CPU time: 103.212 s Remaining CPU time: 76.7877 s c =============================================================================== c | 13 | 2497 2880 893300 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12164 c Elapsed CPU time: 103.712 s Remaining CPU time: 76.2878 s c =============================================================================== c | 13 | 2497 2881 895650 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12163 c Elapsed CPU time: 104.256 s Remaining CPU time: 75.7438 s c =============================================================================== c | 13 | 2497 2882 898000 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12162 c Elapsed CPU time: 104.801 s Remaining CPU time: 75.1989 s c =============================================================================== c | 13 | 2497 2883 900350 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12161 c Elapsed CPU time: 105.335 s Remaining CPU time: 74.665 s c =============================================================================== c | 13 | 2497 2884 902700 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12160 c Elapsed CPU time: 105.873 s Remaining CPU time: 74.1271 s c =============================================================================== c | 13 | 2497 2885 905050 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12159 c Elapsed CPU time: 106.379 s Remaining CPU time: 73.6212 s c =============================================================================== c | 13 | 2497 2886 907400 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12158 c Elapsed CPU time: 106.849 s Remaining CPU time: 73.1512 s c =============================================================================== c | 13 | 2497 2887 909750 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12157 c Elapsed CPU time: 107.325 s Remaining CPU time: 72.6753 s c =============================================================================== c | 13 | 2497 2888 912100 | 5000 13 1919 | 0.000 % | c =============================================================================== c New solution: 12156 c Elapsed CPU time: 107.832 s Remaining CPU time: 72.1684 s c =============================================================================== c | 17 | 2497 2889 914450 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12155 c Elapsed CPU time: 108.345 s Remaining CPU time: 71.6555 s c =============================================================================== c | 17 | 2497 2890 916800 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12154 c Elapsed CPU time: 108.842 s Remaining CPU time: 71.1575 s c =============================================================================== c | 17 | 2497 2891 919150 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12153 c Elapsed CPU time: 109.38 s Remaining CPU time: 70.6196 s c =============================================================================== c | 17 | 2497 2892 921500 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12152 c Elapsed CPU time: 109.922 s Remaining CPU time: 70.0777 s c =============================================================================== c | 17 | 2497 2893 923850 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12151 c Elapsed CPU time: 110.446 s Remaining CPU time: 69.5538 s c =============================================================================== c | 17 | 2497 2894 926200 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12150 c Elapsed CPU time: 110.962 s Remaining CPU time: 69.0379 s c =============================================================================== c | 17 | 2497 2895 928550 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12149 c Elapsed CPU time: 111.459 s Remaining CPU time: 68.5409 s c =============================================================================== c | 17 | 2497 2896 930900 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12148 c Elapsed CPU time: 111.962 s Remaining CPU time: 68.038 s c =============================================================================== c | 17 | 2497 2897 933250 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12147 c Elapsed CPU time: 112.468 s Remaining CPU time: 67.5321 s c =============================================================================== c | 17 | 2497 2898 935600 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12146 c Elapsed CPU time: 113.017 s Remaining CPU time: 66.9832 s c =============================================================================== c | 17 | 2497 2899 937950 | 5000 17 1999 | 0.000 % | c =============================================================================== c New solution: 12145 c Elapsed CPU time: 113.594 s Remaining CPU time: 66.4063 s c =============================================================================== c | 22 | 2497 2900 940300 | 5000 22 2058 | 0.000 % | c =============================================================================== c New solution: 12144 c Elapsed CPU time: 114.167 s Remaining CPU time: 65.8334 s c =============================================================================== c | 22 | 2497 2901 942650 | 5000 22 2058 | 0.000 % | c =============================================================================== c New solution: 12143 c Elapsed CPU time: 114.722 s Remaining CPU time: 65.2784 s c =============================================================================== c | 22 | 2497 2902 945000 | 5000 22 2058 | 0.000 % | c =============================================================================== c New solution: 12142 c Elapsed CPU time: 115.258 s Remaining CPU time: 64.7415 s c =============================================================================== c | 22 | 2497 2903 947350 | 5000 22 2058 | 0.000 % | c =============================================================================== c New solution: 12141 c Elapsed CPU time: 115.793 s Remaining CPU time: 64.2066 s c =============================================================================== c | 24 | 2497 2904 949700 | 5000 24 2075 | 0.000 % | c =============================================================================== c New solution: 12140 c Elapsed CPU time: 116.305 s Remaining CPU time: 63.6947 s c =============================================================================== c | 24 | 2497 2905 952050 | 5000 24 2075 | 0.000 % | c =============================================================================== c New solution: 12139 c Elapsed CPU time: 116.865 s Remaining CPU time: 63.1348 s c =============================================================================== c | 34 | 2497 2906 954400 | 5000 34 2129 | 0.000 % | c =============================================================================== c New solution: 12138 c Elapsed CPU time: 117.391 s Remaining CPU time: 62.6088 s c =============================================================================== c | 34 | 2497 2907 956750 | 5000 34 2129 | 0.000 % | c =============================================================================== c New solution: 12137 c Elapsed CPU time: 117.936 s Remaining CPU time: 62.0639 s c =============================================================================== c | 36 | 2497 2908 959100 | 5000 36 2136 | 0.000 % | c =============================================================================== c New solution: 12136 c Elapsed CPU time: 118.51 s Remaining CPU time: 61.49 s c =============================================================================== c | 36 | 2497 2909 961450 | 5000 36 2136 | 0.000 % | c =============================================================================== c New solution: 12135 c Elapsed CPU time: 119.082 s Remaining CPU time: 60.9181 s c =============================================================================== c | 50 | 2497 2910 963800 | 5000 50 2125 | 0.000 % | c =============================================================================== c New solution: 12134 c Elapsed CPU time: 119.756 s Remaining CPU time: 60.2442 s c =============================================================================== c | 75 | 2497 2911 966150 | 5000 75 2168 | 0.000 % | c =============================================================================== c New solution: 12133 c Elapsed CPU time: 120.307 s Remaining CPU time: 59.6933 s c =============================================================================== c | 75 | 2497 2912 968500 | 5000 75 2168 | 0.000 % | c =============================================================================== c New solution: 12132 c Elapsed CPU time: 120.813 s Remaining CPU time: 59.1874 s c =============================================================================== c | 75 | 2497 2913 970850 | 5000 75 2168 | 0.000 % | c =============================================================================== c New solution: 12131 c Elapsed CPU time: 121.38 s Remaining CPU time: 58.6205 s c =============================================================================== c | 82 | 2497 2914 973200 | 5000 82 2175 | 0.000 % | c =============================================================================== c New solution: 12130 c Elapsed CPU time: 121.907 s Remaining CPU time: 58.0925 s c =============================================================================== c | 85 | 2497 2915 975550 | 5000 85 2178 | 0.000 % | c =============================================================================== c New solution: 12129 c Elapsed CPU time: 122.432 s Remaining CPU time: 57.5676 s c =============================================================================== c | 86 | 2497 2916 977900 | 5000 86 2179 | 0.000 % | c =============================================================================== c New solution: 12128 c Elapsed CPU time: 122.977 s Remaining CPU time: 57.0227 s c =============================================================================== c | 93 | 2497 2917 980250 | 5000 93 2185 | 0.000 % | c =============================================================================== c New solution: 12127 c Elapsed CPU time: 123.53 s Remaining CPU time: 56.4698 s c =============================================================================== c | 93 | 2497 2918 982600 | 5000 93 2185 | 0.000 % | c =============================================================================== c New solution: 12126 c Elapsed CPU time: 124.073 s Remaining CPU time: 55.9269 s c =============================================================================== c | 93 | 2497 2919 984950 | 5000 93 2185 | 0.000 % | c =============================================================================== c New solution: 12125 c Elapsed CPU time: 124.598 s Remaining CPU time: 55.4019 s c =============================================================================== c | 96 | 2497 2920 987300 | 5000 96 2187 | 0.000 % | c =============================================================================== c New solution: 12124 c Elapsed CPU time: 125.105 s Remaining CPU time: 54.895 s c =============================================================================== c | 100 | 2497 2921 989650 | 5000 100 2190 | 0.000 % | c =============================================================================== c New solution: 12123 c Elapsed CPU time: 125.623 s Remaining CPU time: 54.3771 s c =============================================================================== c | 100 | 2497 2922 992000 | 5000 100 2190 | 0.000 % | c =============================================================================== c New solution: 12122 c Elapsed CPU time: 126.152 s Remaining CPU time: 53.8482 s c =============================================================================== c | 100 | 2497 2923 994350 | 5000 100 2190 | 0.000 % | c =============================================================================== c New solution: 12121 c Elapsed CPU time: 126.693 s Remaining CPU time: 53.3073 s c =============================================================================== c | 100 | 2497 2924 996700 | 5000 100 2190 | 0.000 % | c =============================================================================== c New solution: 12120 c Elapsed CPU time: 127.207 s Remaining CPU time: 52.7933 s c =============================================================================== c | 100 | 2497 2925 999050 | 5000 100 2190 | 0.000 % | c =============================================================================== c New solution: 12119 c Elapsed CPU time: 127.761 s Remaining CPU time: 52.2394 s c =============================================================================== c | 101 | 2497 2926 1001400 | 5000 101 2190 | 0.000 % | c =============================================================================== c New solution: 12118 c Elapsed CPU time: 128.325 s Remaining CPU time: 51.6745 s c =============================================================================== c | 104 | 2497 2927 1003750 | 5000 104 2192 | 0.000 % | c =============================================================================== c New solution: 12117 c Elapsed CPU time: 128.909 s Remaining CPU time: 51.0906 s c =============================================================================== c | 106 | 2497 2928 1006100 | 5000 106 2193 | 0.000 % | c =============================================================================== c New solution: 12116 c Elapsed CPU time: 129.489 s Remaining CPU time: 50.5107 s c =============================================================================== c | 106 | 2497 2929 1008450 | 5000 106 2193 | 0.000 % | c =============================================================================== c New solution: 12115 c Elapsed CPU time: 130.088 s Remaining CPU time: 49.9118 s c =============================================================================== c | 106 | 2497 2930 1010800 | 5000 106 2193 | 0.000 % | c =============================================================================== c New solution: 12114 c Elapsed CPU time: 130.72 s Remaining CPU time: 49.2799 s c =============================================================================== c | 112 | 2497 2931 1013150 | 5000 112 2196 | 0.000 % | c =============================================================================== c New solution: 12113 c Elapsed CPU time: 131.306 s Remaining CPU time: 48.694 s c =============================================================================== c | 112 | 2497 2932 1015500 | 5000 112 2196 | 0.000 % | c =============================================================================== c New solution: 12112 c Elapsed CPU time: 131.882 s Remaining CPU time: 48.1181 s c =============================================================================== c | 112 | 2497 2933 1017850 | 5000 112 2196 | 0.000 % | c =============================================================================== c New solution: 12111 c Elapsed CPU time: 132.421 s Remaining CPU time: 47.5791 s c =============================================================================== c | 112 | 2497 2934 1020200 | 5000 112 2196 | 0.000 % | c =============================================================================== c New solution: 12110 c Elapsed CPU time: 132.984 s Remaining CPU time: 47.0162 s c =============================================================================== c | 119 | 2497 2935 1022550 | 5000 119 2200 | 0.000 % | c =============================================================================== c New solution: 12109 c Elapsed CPU time: 133.55 s Remaining CPU time: 46.4503 s c =============================================================================== c | 119 | 2497 2936 1024900 | 5000 119 2200 | 0.000 % | c =============================================================================== c New solution: 12108 c Elapsed CPU time: 134.092 s Remaining CPU time: 45.9084 s c =============================================================================== c | 119 | 2497 2937 1027250 | 5000 119 2200 | 0.000 % | c =============================================================================== c New solution: 12107 c Elapsed CPU time: 134.644 s Remaining CPU time: 45.3565 s c =============================================================================== c | 119 | 2497 2938 1029600 | 5000 119 2200 | 0.000 % | c =============================================================================== c New solution: 12106 c Elapsed CPU time: 135.24 s Remaining CPU time: 44.7596 s c =============================================================================== c | 119 | 2497 2939 1031950 | 5000 119 2200 | 0.000 % | c =============================================================================== c New solution: 12105 c Elapsed CPU time: 135.842 s Remaining CPU time: 44.1577 s c =============================================================================== c | 122 | 2497 2940 1034300 | 5000 122 2201 | 0.000 % | c =============================================================================== c New solution: 12104 c Elapsed CPU time: 136.421 s Remaining CPU time: 43.5787 s c =============================================================================== c | 122 | 2497 2941 1036650 | 5000 122 2201 | 0.000 % | c =============================================================================== c New solution: 12103 c Elapsed CPU time: 136.965 s Remaining CPU time: 43.0348 s c =============================================================================== c | 122 | 2497 2942 1039000 | 5000 122 2201 | 0.000 % | c =============================================================================== c New solution: 12102 c Elapsed CPU time: 137.531 s Remaining CPU time: 42.4689 s c =============================================================================== c | 122 | 2497 2943 1041350 | 5000 122 2201 | 0.000 % | c =============================================================================== c New solution: 12101 c Elapsed CPU time: 138.117 s Remaining CPU time: 41.883 s c =============================================================================== c | 122 | 2497 2944 1043700 | 5000 122 2201 | 0.000 % | c =============================================================================== c New solution: 12100 c Elapsed CPU time: 138.755 s Remaining CPU time: 41.2451 s c =============================================================================== c | 124 | 2497 2945 1046050 | 5000 124 2202 | 0.000 % | c =============================================================================== c New solution: 12099 c Elapsed CPU time: 139.357 s Remaining CPU time: 40.6432 s c =============================================================================== c | 124 | 2497 2946 1048400 | 5000 124 2202 | 0.000 % | c =============================================================================== c New solution: 12098 c Elapsed CPU time: 139.962 s Remaining CPU time: 40.0383 s c =============================================================================== c | 127 | 2497 2947 1050750 | 5000 127 2203 | 0.000 % | c =============================================================================== c New solution: 12097 c Elapsed CPU time: 140.544 s Remaining CPU time: 39.4564 s c =============================================================================== c | 127 | 2497 2948 1053100 | 5000 127 2203 | 0.000 % | c =============================================================================== c New solution: 12096 c Elapsed CPU time: 141.096 s Remaining CPU time: 38.9044 s c =============================================================================== c | 131 | 2497 2949 1055450 | 5000 131 2204 | 0.000 % | c =============================================================================== c New solution: 12095 c Elapsed CPU time: 141.68 s Remaining CPU time: 38.3195 s c =============================================================================== c | 131 | 2497 2950 1057800 | 5000 131 2204 | 0.000 % | c =============================================================================== c New solution: 12094 c Elapsed CPU time: 142.282 s Remaining CPU time: 37.7176 s c =============================================================================== c | 131 | 2497 2951 1060150 | 5000 131 2204 | 0.000 % | c =============================================================================== c New solution: 12093 c Elapsed CPU time: 142.892 s Remaining CPU time: 37.1077 s c =============================================================================== c | 131 | 2497 2952 1062500 | 5000 131 2204 | 0.000 % | c =============================================================================== c New solution: 12092 c Elapsed CPU time: 143.504 s Remaining CPU time: 36.4958 s c =============================================================================== c | 131 | 2497 2953 1064850 | 5000 131 2204 | 0.000 % | c =============================================================================== c New solution: 12091 c Elapsed CPU time: 144.157 s Remaining CPU time: 35.8429 s c =============================================================================== c | 154 | 2497 2954 1067200 | 5000 154 2211 | 0.000 % | c =============================================================================== c New solution: 12090 c Elapsed CPU time: 144.784 s Remaining CPU time: 35.216 s c =============================================================================== c | 154 | 2497 2955 1069550 | 5000 154 2211 | 0.000 % | c =============================================================================== c New solution: 12089 c Elapsed CPU time: 145.368 s Remaining CPU time: 34.6321 s c =============================================================================== c | 159 | 2497 2956 1071900 | 5000 159 2212 | 0.000 % | c =============================================================================== c New solution: 12088 c Elapsed CPU time: 145.986 s Remaining CPU time: 34.0142 s c =============================================================================== c | 159 | 2497 2957 1074250 | 5000 159 2212 | 0.000 % | c =============================================================================== c New solution: 12087 c Elapsed CPU time: 146.63 s Remaining CPU time: 33.3703 s c =============================================================================== c | 176 | 2497 2958 1076600 | 5000 176 2216 | 0.000 % | c =============================================================================== c New solution: 12086 c Elapsed CPU time: 147.2 s Remaining CPU time: 32.8004 s c =============================================================================== c | 177 | 2497 2959 1078950 | 5000 177 2203 | 0.000 % | c =============================================================================== c New solution: 12085 c Elapsed CPU time: 147.879 s Remaining CPU time: 32.1215 s c =============================================================================== c | 189 | 2497 2960 1081300 | 5000 189 2206 | 0.000 % | c =============================================================================== c New solution: 12084 c Elapsed CPU time: 148.47 s Remaining CPU time: 31.5296 s c =============================================================================== c | 189 | 2497 2961 1083650 | 5000 189 2206 | 0.000 % | c =============================================================================== c New solution: 12083 c Elapsed CPU time: 149.068 s Remaining CPU time: 30.9317 s c =============================================================================== c | 191 | 2497 2962 1086000 | 5000 191 2207 | 0.000 % | c =============================================================================== c New solution: 12082 c Elapsed CPU time: 149.645 s Remaining CPU time: 30.3547 s c =============================================================================== c | 191 | 2497 2963 1088350 | 5000 191 2207 | 0.000 % | c =============================================================================== c New solution: 12081 c Elapsed CPU time: 150.226 s Remaining CPU time: 29.7738 s c =============================================================================== c | 191 | 2497 2964 1090700 | 5000 191 2207 | 0.000 % | c =============================================================================== c New solution: 12080 c Elapsed CPU time: 150.813 s Remaining CPU time: 29.1869 s c =============================================================================== c | 191 | 2497 2965 1093050 | 5000 191 2207 | 0.000 % | c =============================================================================== c New solution: 12079 c Elapsed CPU time: 151.428 s Remaining CPU time: 28.572 s c =============================================================================== c | 196 | 2497 2966 1095400 | 5000 196 2208 | 0.000 % | c =============================================================================== c New solution: 12078 c Elapsed CPU time: 152.034 s Remaining CPU time: 27.9661 s c =============================================================================== c | 197 | 2497 2967 1097750 | 5000 197 2208 | 0.000 % | c =============================================================================== c New solution: 12077 c Elapsed CPU time: 152.616 s Remaining CPU time: 27.3842 s c =============================================================================== c | 197 | 2497 2968 1100100 | 5000 197 2208 | 0.000 % | c =============================================================================== c New solution: 12076 c Elapsed CPU time: 153.193 s Remaining CPU time: 26.8073 s c =============================================================================== c | 203 | 2497 2969 1102450 | 5000 203 2209 | 0.000 % | c =============================================================================== c New solution: 12075 c Elapsed CPU time: 153.898 s Remaining CPU time: 26.1024 s c =============================================================================== c | 203 | 2497 2970 1104800 | 5000 203 2209 | 0.000 % | c =============================================================================== c New solution: 12074 c Elapsed CPU time: 154.584 s Remaining CPU time: 25.4155 s c =============================================================================== c | 203 | 2497 2971 1107150 | 5000 203 2209 | 0.000 % | c =============================================================================== c New solution: 12073 c Elapsed CPU time: 155.218 s Remaining CPU time: 24.7816 s c =============================================================================== c | 203 | 2497 2972 1109500 | 5000 203 2209 | 0.000 % | c =============================================================================== c New solution: 12072 c Elapsed CPU time: 155.843 s Remaining CPU time: 24.1567 s c =============================================================================== c | 203 | 2497 2973 1111850 | 5000 203 2209 | 0.000 % | c =============================================================================== c New solution: 12071 c Elapsed CPU time: 156.472 s Remaining CPU time: 23.5278 s c =============================================================================== c | 203 | 2497 2974 1114200 | 5000 203 2209 | 0.000 % | c =============================================================================== c New solution: 12070 c Elapsed CPU time: 157.145 s Remaining CPU time: 22.8549 s c =============================================================================== c | 221 | 2497 2975 1116550 | 5000 221 2212 | 0.000 % | c =============================================================================== c New solution: 12069 c Elapsed CPU time: 157.756 s Remaining CPU time: 22.244 s c =============================================================================== c | 221 | 2497 2976 1118900 | 5000 221 2212 | 0.000 % | c =============================================================================== c New solution: 12068 c Elapsed CPU time: 158.386 s Remaining CPU time: 21.6141 s c =============================================================================== c | 223 | 2497 2977 1121250 | 5000 223 2212 | 0.000 % | c =============================================================================== c New solution: 12067 c Elapsed CPU time: 159.002 s Remaining CPU time: 20.9982 s c =============================================================================== c | 223 | 2497 2978 1123600 | 5000 223 2212 | 0.000 % | c =============================================================================== c New solution: 12066 c Elapsed CPU time: 159.648 s Remaining CPU time: 20.3523 s c =============================================================================== c | 223 | 2497 2979 1125950 | 5000 223 2212 | 0.000 % | c =============================================================================== c New solution: 12065 c Elapsed CPU time: 160.332 s Remaining CPU time: 19.6684 s c =============================================================================== c | 225 | 2497 2980 1128300 | 5000 225 2213 | 0.000 % | c =============================================================================== c New solution: 12064 c Elapsed CPU time: 160.996 s Remaining CPU time: 19.0045 s c =============================================================================== c | 228 | 2497 2981 1130650 | 5000 228 2203 | 0.000 % | c =============================================================================== c New solution: 12063 c Elapsed CPU time: 161.603 s Remaining CPU time: 18.3966 s c =============================================================================== c | 228 | 2497 2982 1133000 | 5000 228 2203 | 0.000 % | c =============================================================================== c New solution: 12062 c Elapsed CPU time: 162.236 s Remaining CPU time: 17.7637 s c =============================================================================== c | 228 | 2497 2983 1135350 | 5000 228 2203 | 0.000 % | c =============================================================================== c New solution: 12061 c Elapsed CPU time: 162.855 s Remaining CPU time: 17.1448 s c =============================================================================== c | 229 | 2497 2984 1137700 | 5000 229 2203 | 0.000 % | c =============================================================================== c New solution: 12060 c Elapsed CPU time: 163.568 s Remaining CPU time: 16.4319 s c =============================================================================== c | 232 | 2497 2985 1140050 | 5000 232 2204 | 0.000 % | c =============================================================================== c New solution: 12059 c Elapsed CPU time: 164.205 s Remaining CPU time: 15.795 s c =============================================================================== c | 232 | 2497 2986 1142400 | 5000 232 2204 | 0.000 % | c =============================================================================== c New solution: 12058 c Elapsed CPU time: 164.866 s Remaining CPU time: 15.1341 s c =============================================================================== c | 239 | 2497 2987 1144750 | 5000 239 2205 | 0.000 % | c =============================================================================== c New solution: 12057 c Elapsed CPU time: 165.485 s Remaining CPU time: 14.5152 s c =============================================================================== c | 241 | 2497 2988 1147100 | 5000 241 2205 | 0.000 % | c =============================================================================== c New solution: 12056 c Elapsed CPU time: 166.196 s Remaining CPU time: 13.8043 s c =============================================================================== c | 259 | 2497 2989 1149450 | 5000 259 2208 | 0.000 % | c =============================================================================== c New solution: 12055 c Elapsed CPU time: 166.812 s Remaining CPU time: 13.1884 s c =============================================================================== c | 259 | 2497 2990 1151800 | 5000 259 2208 | 0.000 % | c =============================================================================== c New solution: 12054 c Elapsed CPU time: 167.648 s Remaining CPU time: 12.3525 s c =============================================================================== c | 288 | 2497 2991 1154150 | 5000 288 2212 | 0.000 % | c =============================================================================== c New solution: 12053 c Elapsed CPU time: 168.473 s Remaining CPU time: 11.5266 s c =============================================================================== c | 308 | 2497 2992 1156500 | 5000 308 2214 | 0.000 % | c =============================================================================== c New solution: 12052 c Elapsed CPU time: 169.177 s Remaining CPU time: 10.8227 s c =============================================================================== c | 311 | 2497 2993 1158850 | 5000 311 2214 | 0.000 % | c =============================================================================== c New solution: 12051 c Elapsed CPU time: 169.971 s Remaining CPU time: 10.0288 s c =============================================================================== c | 337 | 2497 2994 1161200 | 5000 337 2216 | 0.000 % | c =============================================================================== c New solution: 12050 c Elapsed CPU time: 170.69 s Remaining CPU time: 9.30995 s c =============================================================================== c | 340 | 2497 2995 1163550 | 5000 340 2216 | 0.000 % | c =============================================================================== c New solution: 12049 c Elapsed CPU time: 171.363 s Remaining CPU time: 8.63705 s c =============================================================================== c | 341 | 2497 2996 1165900 | 5000 341 2216 | 0.000 % | c =============================================================================== c New solution: 12048 c Elapsed CPU time: 172.202 s Remaining CPU time: 7.79818 s c =============================================================================== c | 366 | 2497 2997 1168250 | 5000 366 2218 | 0.000 % | c =============================================================================== c New solution: 12047 c Elapsed CPU time: 172.862 s Remaining CPU time: 7.13828 s c =============================================================================== c | 370 | 2497 2998 1170600 | 5000 370 2218 | 0.000 % | c =============================================================================== c New solution: 12046 c Elapsed CPU time: 173.527 s Remaining CPU time: 6.47338 s c =============================================================================== c | 370 | 2497 2999 1172950 | 5000 370 2218 | 0.000 % | c =============================================================================== c New solution: 12045 c Elapsed CPU time: 174.303 s Remaining CPU time: 5.6975 s c =============================================================================== c | 388 | 2497 3000 1175300 | 5000 388 2220 | 0.000 % | c =============================================================================== c New solution: 12044 c Elapsed CPU time: 175.013 s Remaining CPU time: 4.98661 s c =============================================================================== c | 402 | 2497 3001 1177650 | 5000 402 2220 | 0.000 % | c =============================================================================== c New solution: 12043 c Elapsed CPU time: 175.641 s Remaining CPU time: 4.3587 s c =============================================================================== c | 402 | 2497 3002 1180000 | 5000 402 2220 | 0.000 % | c =============================================================================== c New solution: 12042 c Elapsed CPU time: 176.547 s Remaining CPU time: 3.45284 s c =============================================================================== c | 473 | 2497 3003 1182350 | 5000 473 2223 | 0.000 % | c =============================================================================== c New solution: 12041 c Elapsed CPU time: 177.208 s Remaining CPU time: 2.79194 s c =============================================================================== c | 473 | 2497 3004 1184700 | 5000 473 2223 | 0.000 % | c =============================================================================== c New solution: 12040 c Elapsed CPU time: 177.866 s Remaining CPU time: 2.13404 s c =============================================================================== c | 482 | 2497 3005 1187050 | 5000 482 2224 | 0.000 % | c =============================================================================== c New solution: 12039 c Elapsed CPU time: 178.769 s Remaining CPU time: 1.23118 s c =============================================================================== c | 514 | 2497 3006 1189400 | 5000 514 2224 | 0.000 % | c =============================================================================== c New solution: 12038 c Elapsed CPU time: 179.456 s Remaining CPU time: 0.544282 s c =============================================================================== c | 520 | 2497 3007 1191750 | 5000 520 2225 | 0.000 % | c =============================================================================== c New solution: 12037 c Elapsed CPU time: 180.097 s Remaining CPU time: -0.096621 s c =============================================================================== c | 520 | 2497 3008 1194100 | 5000 520 2225 | 0.000 % | c There are 3 assigned variables. 0 in cost function.