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 | 2496 2503 7346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12794 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s c =============================================================================== c | 0 | 2496 2504 9696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12793 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s c =============================================================================== c | 0 | 2496 2505 12046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12786 c Elapsed CPU time: 0.088986 s Remaining CPU time: 179.911 s c =============================================================================== c | 0 | 2496 2506 14396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12785 c Elapsed CPU time: 0.110983 s Remaining CPU time: 179.889 s c =============================================================================== c | 0 | 2496 2507 16746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12781 c Elapsed CPU time: 0.13098 s Remaining CPU time: 179.869 s c =============================================================================== c | 0 | 2496 2508 19096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12780 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s c =============================================================================== c | 0 | 2496 2509 21446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12779 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s c =============================================================================== c | 0 | 2496 2510 23796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12778 c Elapsed CPU time: 0.200969 s Remaining CPU time: 179.799 s c =============================================================================== c | 0 | 2496 2511 26146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12777 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s c =============================================================================== c | 0 | 2496 2512 28496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12776 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 2496 2513 30846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12771 c Elapsed CPU time: 0.277957 s Remaining CPU time: 179.722 s c =============================================================================== c | 0 | 2496 2514 33196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12770 c Elapsed CPU time: 0.302953 s Remaining CPU time: 179.697 s c =============================================================================== c | 0 | 2496 2515 35546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12769 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 2496 2516 37896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12768 c Elapsed CPU time: 0.360945 s Remaining CPU time: 179.639 s c =============================================================================== c | 0 | 2496 2517 40246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12767 c Elapsed CPU time: 0.39194 s Remaining CPU time: 179.608 s c =============================================================================== c | 0 | 2496 2518 42596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12766 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 0 | 2496 2519 44946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12763 c Elapsed CPU time: 0.450931 s Remaining CPU time: 179.549 s c =============================================================================== c | 0 | 2496 2520 47296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12760 c Elapsed CPU time: 0.479927 s Remaining CPU time: 179.52 s c =============================================================================== c | 0 | 2496 2521 49646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12759 c Elapsed CPU time: 0.512922 s Remaining CPU time: 179.487 s c =============================================================================== c | 0 | 2496 2522 51996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12758 c Elapsed CPU time: 0.547916 s Remaining CPU time: 179.452 s c =============================================================================== c | 0 | 2496 2523 54346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12757 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s c =============================================================================== c | 0 | 2496 2524 56696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12756 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s c =============================================================================== c | 0 | 2496 2525 59046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12755 c Elapsed CPU time: 0.647901 s Remaining CPU time: 179.352 s c =============================================================================== c | 0 | 2496 2526 61396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12754 c Elapsed CPU time: 0.682896 s Remaining CPU time: 179.317 s c =============================================================================== c | 0 | 2496 2527 63746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12753 c Elapsed CPU time: 0.716891 s Remaining CPU time: 179.283 s c =============================================================================== c | 0 | 2496 2528 66096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12752 c Elapsed CPU time: 0.754885 s Remaining CPU time: 179.245 s c =============================================================================== c | 0 | 2496 2529 68446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12751 c Elapsed CPU time: 0.793879 s Remaining CPU time: 179.206 s c =============================================================================== c | 0 | 2496 2530 70796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12750 c Elapsed CPU time: 0.835872 s Remaining CPU time: 179.164 s c =============================================================================== c | 0 | 2496 2531 73146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12749 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 0 | 2496 2532 75496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12748 c Elapsed CPU time: 0.91886 s Remaining CPU time: 179.081 s c =============================================================================== c | 0 | 2496 2533 77846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12746 c Elapsed CPU time: 0.963853 s Remaining CPU time: 179.036 s c =============================================================================== c | 0 | 2496 2534 80196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12745 c Elapsed CPU time: 1.00785 s Remaining CPU time: 178.992 s c =============================================================================== c | 0 | 2496 2535 82546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12744 c Elapsed CPU time: 1.05284 s Remaining CPU time: 178.947 s c =============================================================================== c | 0 | 2496 2536 84896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12743 c Elapsed CPU time: 1.09783 s Remaining CPU time: 178.902 s c =============================================================================== c | 0 | 2496 2537 87246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12740 c Elapsed CPU time: 1.14583 s Remaining CPU time: 178.854 s c =============================================================================== c | 0 | 2496 2538 89596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12739 c Elapsed CPU time: 1.19282 s Remaining CPU time: 178.807 s c =============================================================================== c | 0 | 2496 2539 91946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12735 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s c =============================================================================== c | 0 | 2496 2540 94296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12733 c Elapsed CPU time: 1.2878 s Remaining CPU time: 178.712 s c =============================================================================== c | 0 | 2496 2541 96646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12731 c Elapsed CPU time: 1.3398 s Remaining CPU time: 178.66 s c =============================================================================== c | 0 | 2496 2542 98996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12727 c Elapsed CPU time: 1.39279 s Remaining CPU time: 178.607 s c =============================================================================== c | 0 | 2496 2543 101346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12724 c Elapsed CPU time: 1.44578 s Remaining CPU time: 178.554 s c =============================================================================== c | 0 | 2496 2544 103696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12720 c Elapsed CPU time: 1.50377 s Remaining CPU time: 178.496 s c =============================================================================== c | 0 | 2496 2545 106046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12719 c Elapsed CPU time: 1.55776 s Remaining CPU time: 178.442 s c =============================================================================== c | 0 | 2496 2546 108396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12718 c Elapsed CPU time: 1.61575 s Remaining CPU time: 178.384 s c =============================================================================== c | 0 | 2496 2547 110746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12717 c Elapsed CPU time: 1.67375 s Remaining CPU time: 178.326 s c =============================================================================== c | 0 | 2496 2548 113096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12714 c Elapsed CPU time: 1.73673 s Remaining CPU time: 178.263 s c =============================================================================== c | 0 | 2496 2549 115446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12708 c Elapsed CPU time: 1.79673 s Remaining CPU time: 178.203 s c =============================================================================== c | 0 | 2496 2550 117796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12706 c Elapsed CPU time: 1.86072 s Remaining CPU time: 178.139 s c =============================================================================== c | 0 | 2496 2551 120146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12705 c Elapsed CPU time: 1.92371 s Remaining CPU time: 178.076 s c =============================================================================== c | 0 | 2496 2552 122496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12703 c Elapsed CPU time: 1.9907 s Remaining CPU time: 178.009 s c =============================================================================== c | 0 | 2496 2553 124846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12702 c Elapsed CPU time: 2.05669 s Remaining CPU time: 177.943 s c =============================================================================== c | 0 | 2496 2554 127196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12698 c Elapsed CPU time: 2.12368 s Remaining CPU time: 177.876 s c =============================================================================== c | 0 | 2496 2555 129546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12696 c Elapsed CPU time: 2.19067 s Remaining CPU time: 177.809 s c =============================================================================== c | 0 | 2496 2556 131896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12695 c Elapsed CPU time: 2.26066 s Remaining CPU time: 177.739 s c =============================================================================== c | 0 | 2496 2557 134246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12691 c Elapsed CPU time: 2.33465 s Remaining CPU time: 177.665 s c =============================================================================== c | 0 | 2496 2558 136596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12690 c Elapsed CPU time: 2.40963 s Remaining CPU time: 177.59 s c =============================================================================== c | 0 | 2496 2559 138946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12688 c Elapsed CPU time: 2.48962 s Remaining CPU time: 177.51 s c =============================================================================== c | 0 | 2496 2560 141296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12687 c Elapsed CPU time: 2.56761 s Remaining CPU time: 177.432 s c =============================================================================== c | 0 | 2496 2561 143646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12685 c Elapsed CPU time: 2.6466 s Remaining CPU time: 177.353 s c =============================================================================== c | 0 | 2496 2562 145996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12683 c Elapsed CPU time: 2.72559 s Remaining CPU time: 177.274 s c =============================================================================== c | 0 | 2496 2563 148346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12682 c Elapsed CPU time: 2.80757 s Remaining CPU time: 177.192 s c =============================================================================== c | 0 | 2496 2564 150696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12679 c Elapsed CPU time: 2.89256 s Remaining CPU time: 177.107 s c =============================================================================== c | 0 | 2496 2565 153046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12678 c Elapsed CPU time: 2.97855 s Remaining CPU time: 177.021 s c =============================================================================== c | 0 | 2496 2566 155396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12677 c Elapsed CPU time: 3.06553 s Remaining CPU time: 176.934 s c =============================================================================== c | 0 | 2496 2567 157746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12676 c Elapsed CPU time: 3.15252 s Remaining CPU time: 176.847 s c =============================================================================== c | 0 | 2496 2568 160096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12672 c Elapsed CPU time: 3.24151 s Remaining CPU time: 176.758 s c =============================================================================== c | 0 | 2496 2569 162446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12670 c Elapsed CPU time: 3.33249 s Remaining CPU time: 176.668 s c =============================================================================== c | 0 | 2496 2570 164796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12667 c Elapsed CPU time: 3.42748 s Remaining CPU time: 176.573 s c =============================================================================== c | 0 | 2496 2571 167146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12665 c Elapsed CPU time: 3.52446 s Remaining CPU time: 176.476 s c =============================================================================== c | 0 | 2496 2572 169496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12664 c Elapsed CPU time: 3.62245 s Remaining CPU time: 176.378 s c =============================================================================== c | 0 | 2496 2573 171846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12660 c Elapsed CPU time: 3.71843 s Remaining CPU time: 176.282 s c =============================================================================== c | 0 | 2496 2574 174196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12659 c Elapsed CPU time: 3.82342 s Remaining CPU time: 176.177 s c =============================================================================== c | 0 | 2496 2575 176546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12656 c Elapsed CPU time: 3.9214 s Remaining CPU time: 176.079 s c =============================================================================== c | 0 | 2496 2576 178896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12655 c Elapsed CPU time: 4.02439 s Remaining CPU time: 175.976 s c =============================================================================== c | 0 | 2496 2577 181246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12653 c Elapsed CPU time: 4.12737 s Remaining CPU time: 175.873 s c =============================================================================== c | 0 | 2496 2578 183596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12650 c Elapsed CPU time: 4.23536 s Remaining CPU time: 175.765 s c =============================================================================== c | 0 | 2496 2579 185946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12648 c Elapsed CPU time: 4.34034 s Remaining CPU time: 175.66 s c =============================================================================== c | 0 | 2496 2580 188296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12645 c Elapsed CPU time: 4.45232 s Remaining CPU time: 175.548 s c =============================================================================== c | 0 | 2496 2581 190646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12642 c Elapsed CPU time: 4.56331 s Remaining CPU time: 175.437 s c =============================================================================== c | 0 | 2496 2582 192996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12641 c Elapsed CPU time: 4.67429 s Remaining CPU time: 175.326 s c =============================================================================== c | 0 | 2496 2583 195346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12640 c Elapsed CPU time: 4.78727 s Remaining CPU time: 175.213 s c =============================================================================== c | 0 | 2496 2584 197696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12636 c Elapsed CPU time: 4.89926 s Remaining CPU time: 175.101 s c =============================================================================== c | 0 | 2496 2585 200046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12635 c Elapsed CPU time: 5.01024 s Remaining CPU time: 174.99 s c =============================================================================== c | 0 | 2496 2586 202396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12633 c Elapsed CPU time: 5.12122 s Remaining CPU time: 174.879 s c =============================================================================== c | 0 | 2496 2587 204746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12631 c Elapsed CPU time: 5.2362 s Remaining CPU time: 174.764 s c =============================================================================== c | 0 | 2496 2588 207096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12630 c Elapsed CPU time: 5.35719 s Remaining CPU time: 174.643 s c =============================================================================== c | 0 | 2496 2589 209446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12629 c Elapsed CPU time: 5.48217 s Remaining CPU time: 174.518 s c =============================================================================== c | 0 | 2496 2590 211796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12628 c Elapsed CPU time: 5.60315 s Remaining CPU time: 174.397 s c =============================================================================== c | 0 | 2496 2591 214146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12627 c Elapsed CPU time: 5.72713 s Remaining CPU time: 174.273 s c =============================================================================== c | 0 | 2496 2592 216496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12626 c Elapsed CPU time: 5.84911 s Remaining CPU time: 174.151 s c =============================================================================== c | 0 | 2496 2593 218846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12625 c Elapsed CPU time: 5.97109 s Remaining CPU time: 174.029 s c =============================================================================== c | 0 | 2496 2594 221196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12623 c Elapsed CPU time: 6.10007 s Remaining CPU time: 173.9 s c =============================================================================== c | 0 | 2496 2595 223546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12619 c Elapsed CPU time: 6.23005 s Remaining CPU time: 173.77 s c =============================================================================== c | 0 | 2496 2596 225896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12617 c Elapsed CPU time: 6.37103 s Remaining CPU time: 173.629 s c =============================================================================== c | 0 | 2496 2597 228246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12616 c Elapsed CPU time: 6.51401 s Remaining CPU time: 173.486 s c =============================================================================== c | 0 | 2496 2598 230596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12615 c Elapsed CPU time: 6.64699 s Remaining CPU time: 173.353 s c =============================================================================== c | 0 | 2496 2599 232946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12614 c Elapsed CPU time: 6.78597 s Remaining CPU time: 173.214 s c =============================================================================== c | 0 | 2496 2600 235296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12613 c Elapsed CPU time: 6.92395 s Remaining CPU time: 173.076 s c =============================================================================== c | 0 | 2496 2601 237646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12612 c Elapsed CPU time: 7.05993 s Remaining CPU time: 172.94 s c =============================================================================== c | 0 | 2496 2602 239996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12610 c Elapsed CPU time: 7.20191 s Remaining CPU time: 172.798 s c =============================================================================== c | 0 | 2496 2603 242346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12609 c Elapsed CPU time: 7.34488 s Remaining CPU time: 172.655 s c =============================================================================== c | 0 | 2496 2604 244696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12608 c Elapsed CPU time: 7.48986 s Remaining CPU time: 172.51 s c =============================================================================== c | 0 | 2496 2605 247046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12607 c Elapsed CPU time: 7.63684 s Remaining CPU time: 172.363 s c =============================================================================== c | 0 | 2496 2606 249396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12604 c Elapsed CPU time: 7.77782 s Remaining CPU time: 172.222 s c =============================================================================== c | 0 | 2496 2607 251746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12603 c Elapsed CPU time: 7.9238 s Remaining CPU time: 172.076 s c =============================================================================== c | 0 | 2496 2608 254096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12602 c Elapsed CPU time: 8.07277 s Remaining CPU time: 171.927 s c =============================================================================== c | 0 | 2496 2609 256446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12601 c Elapsed CPU time: 8.22575 s Remaining CPU time: 171.774 s c =============================================================================== c | 0 | 2496 2610 258796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12597 c Elapsed CPU time: 8.38172 s Remaining CPU time: 171.618 s c =============================================================================== c | 0 | 2496 2611 261146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12596 c Elapsed CPU time: 8.5397 s Remaining CPU time: 171.46 s c =============================================================================== c | 0 | 2496 2612 263496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12595 c Elapsed CPU time: 8.69568 s Remaining CPU time: 171.304 s c =============================================================================== c | 0 | 2496 2613 265846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12594 c Elapsed CPU time: 8.86965 s Remaining CPU time: 171.13 s c =============================================================================== c | 0 | 2496 2614 268196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12593 c Elapsed CPU time: 9.03962 s Remaining CPU time: 170.96 s c =============================================================================== c | 0 | 2496 2615 270546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12592 c Elapsed CPU time: 9.2146 s Remaining CPU time: 170.785 s c =============================================================================== c | 0 | 2496 2616 272896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12591 c Elapsed CPU time: 9.38557 s Remaining CPU time: 170.614 s c =============================================================================== c | 0 | 2496 2617 275246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12589 c Elapsed CPU time: 9.56255 s Remaining CPU time: 170.437 s c =============================================================================== c | 0 | 2496 2618 277596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12588 c Elapsed CPU time: 9.75252 s Remaining CPU time: 170.247 s c =============================================================================== c | 0 | 2496 2619 279946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12587 c Elapsed CPU time: 9.92949 s Remaining CPU time: 170.071 s c =============================================================================== c | 0 | 2496 2620 282296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12586 c Elapsed CPU time: 10.1075 s Remaining CPU time: 169.893 s c =============================================================================== c | 0 | 2496 2621 284646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12584 c Elapsed CPU time: 10.2924 s Remaining CPU time: 169.708 s c =============================================================================== c | 0 | 2496 2622 286996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12583 c Elapsed CPU time: 10.4724 s Remaining CPU time: 169.528 s c =============================================================================== c | 0 | 2496 2623 289346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12582 c Elapsed CPU time: 10.6554 s Remaining CPU time: 169.345 s c =============================================================================== c | 0 | 2496 2624 291696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12579 c Elapsed CPU time: 10.8434 s Remaining CPU time: 169.157 s c =============================================================================== c | 0 | 2496 2625 294046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12576 c Elapsed CPU time: 11.0343 s Remaining CPU time: 168.966 s c =============================================================================== c | 0 | 2496 2626 296396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12573 c Elapsed CPU time: 11.2233 s Remaining CPU time: 168.777 s c =============================================================================== c | 0 | 2496 2627 298746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12572 c Elapsed CPU time: 11.4263 s Remaining CPU time: 168.574 s c =============================================================================== c | 0 | 2496 2628 301096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12571 c Elapsed CPU time: 11.6242 s Remaining CPU time: 168.376 s c =============================================================================== c | 0 | 2496 2629 303446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12570 c Elapsed CPU time: 11.8222 s Remaining CPU time: 168.178 s c =============================================================================== c | 0 | 2496 2630 305796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12569 c Elapsed CPU time: 12.0152 s Remaining CPU time: 167.985 s c =============================================================================== c | 0 | 2496 2631 308146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12568 c Elapsed CPU time: 12.2151 s Remaining CPU time: 167.785 s c =============================================================================== c | 0 | 2496 2632 310496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12567 c Elapsed CPU time: 12.4091 s Remaining CPU time: 167.591 s c =============================================================================== c | 0 | 2496 2633 312846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12565 c Elapsed CPU time: 12.6161 s Remaining CPU time: 167.384 s c =============================================================================== c | 0 | 2496 2634 315196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12564 c Elapsed CPU time: 12.8201 s Remaining CPU time: 167.18 s c =============================================================================== c | 0 | 2496 2635 317546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12563 c Elapsed CPU time: 13.026 s Remaining CPU time: 166.974 s c =============================================================================== c | 0 | 2496 2636 319896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12562 c Elapsed CPU time: 13.239 s Remaining CPU time: 166.761 s c =============================================================================== c | 0 | 2496 2637 322246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12561 c Elapsed CPU time: 13.451 s Remaining CPU time: 166.549 s c =============================================================================== c | 0 | 2496 2638 324596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12560 c Elapsed CPU time: 13.6579 s Remaining CPU time: 166.342 s c =============================================================================== c | 0 | 2496 2639 326946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12559 c Elapsed CPU time: 13.8679 s Remaining CPU time: 166.132 s c =============================================================================== c | 0 | 2496 2640 329296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12558 c Elapsed CPU time: 14.0749 s Remaining CPU time: 165.925 s c =============================================================================== c | 0 | 2496 2641 331646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12557 c Elapsed CPU time: 14.2838 s Remaining CPU time: 165.716 s c =============================================================================== c | 0 | 2496 2642 333996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12556 c Elapsed CPU time: 14.4988 s Remaining CPU time: 165.501 s c =============================================================================== c | 0 | 2496 2643 336346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12555 c Elapsed CPU time: 14.7228 s Remaining CPU time: 165.277 s c =============================================================================== c | 0 | 2496 2644 338696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12552 c Elapsed CPU time: 14.9407 s Remaining CPU time: 165.059 s c =============================================================================== c | 0 | 2496 2645 341046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12551 c Elapsed CPU time: 15.1607 s Remaining CPU time: 164.839 s c =============================================================================== c | 0 | 2496 2646 343396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12550 c Elapsed CPU time: 15.3837 s Remaining CPU time: 164.616 s c =============================================================================== c | 0 | 2496 2647 345746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12546 c Elapsed CPU time: 15.6006 s Remaining CPU time: 164.399 s c =============================================================================== c | 0 | 2496 2648 348096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12544 c Elapsed CPU time: 15.8216 s Remaining CPU time: 164.178 s c =============================================================================== c | 0 | 2496 2649 350446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12539 c Elapsed CPU time: 16.0446 s Remaining CPU time: 163.955 s c =============================================================================== c | 0 | 2496 2650 352796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12538 c Elapsed CPU time: 16.2705 s Remaining CPU time: 163.729 s c =============================================================================== c | 0 | 2496 2651 355146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12537 c Elapsed CPU time: 16.4945 s Remaining CPU time: 163.506 s c =============================================================================== c | 0 | 2496 2652 357496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12536 c Elapsed CPU time: 16.7215 s Remaining CPU time: 163.279 s c =============================================================================== c | 0 | 2496 2653 359846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12535 c Elapsed CPU time: 16.9594 s Remaining CPU time: 163.041 s c =============================================================================== c | 0 | 2496 2654 362196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12534 c Elapsed CPU time: 17.2014 s Remaining CPU time: 162.799 s c =============================================================================== c | 0 | 2496 2655 364546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12533 c Elapsed CPU time: 17.4333 s Remaining CPU time: 162.567 s c =============================================================================== c | 0 | 2496 2656 366896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12531 c Elapsed CPU time: 17.6633 s Remaining CPU time: 162.337 s c =============================================================================== c | 0 | 2496 2657 369246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12530 c Elapsed CPU time: 17.9013 s Remaining CPU time: 162.099 s c =============================================================================== c | 0 | 2496 2658 371596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12528 c Elapsed CPU time: 18.1442 s Remaining CPU time: 161.856 s c =============================================================================== c | 0 | 2496 2659 373946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12527 c Elapsed CPU time: 18.3872 s Remaining CPU time: 161.613 s c =============================================================================== c | 0 | 2496 2660 376296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12526 c Elapsed CPU time: 18.6382 s Remaining CPU time: 161.362 s c =============================================================================== c | 0 | 2496 2661 378646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12525 c Elapsed CPU time: 18.8911 s Remaining CPU time: 161.109 s c =============================================================================== c | 0 | 2496 2662 380996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12523 c Elapsed CPU time: 19.1401 s Remaining CPU time: 160.86 s c =============================================================================== c | 0 | 2496 2663 383346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12522 c Elapsed CPU time: 19.3941 s Remaining CPU time: 160.606 s c =============================================================================== c | 0 | 2496 2664 385696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12521 c Elapsed CPU time: 19.651 s Remaining CPU time: 160.349 s c =============================================================================== c | 0 | 2496 2665 388046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12520 c Elapsed CPU time: 19.902 s Remaining CPU time: 160.098 s c =============================================================================== c | 0 | 2496 2666 390396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12517 c Elapsed CPU time: 20.1529 s Remaining CPU time: 159.847 s c =============================================================================== c | 0 | 2496 2667 392746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12515 c Elapsed CPU time: 20.4059 s Remaining CPU time: 159.594 s c =============================================================================== c | 0 | 2496 2668 395096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12513 c Elapsed CPU time: 20.6539 s Remaining CPU time: 159.346 s c =============================================================================== c | 0 | 2496 2669 397446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12512 c Elapsed CPU time: 20.9058 s Remaining CPU time: 159.094 s c =============================================================================== c | 0 | 2496 2670 399796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12511 c Elapsed CPU time: 21.1688 s Remaining CPU time: 158.831 s c =============================================================================== c | 0 | 2496 2671 402146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12508 c Elapsed CPU time: 21.4317 s Remaining CPU time: 158.568 s c =============================================================================== c | 0 | 2496 2672 404496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12507 c Elapsed CPU time: 21.6857 s Remaining CPU time: 158.314 s c =============================================================================== c | 0 | 2496 2673 406846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12505 c Elapsed CPU time: 21.9407 s Remaining CPU time: 158.059 s c =============================================================================== c | 0 | 2496 2674 409196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12503 c Elapsed CPU time: 22.1966 s Remaining CPU time: 157.803 s c =============================================================================== c | 0 | 2496 2675 411546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12499 c Elapsed CPU time: 22.4556 s Remaining CPU time: 157.544 s c =============================================================================== c | 0 | 2496 2676 413896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12498 c Elapsed CPU time: 22.7195 s Remaining CPU time: 157.28 s c =============================================================================== c | 0 | 2496 2677 416246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12496 c Elapsed CPU time: 22.9855 s Remaining CPU time: 157.014 s c =============================================================================== c | 0 | 2496 2678 418596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12494 c Elapsed CPU time: 23.2455 s Remaining CPU time: 156.755 s c =============================================================================== c | 0 | 2496 2679 420946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12490 c Elapsed CPU time: 23.5164 s Remaining CPU time: 156.484 s c =============================================================================== c | 0 | 2496 2680 423296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12489 c Elapsed CPU time: 23.7894 s Remaining CPU time: 156.211 s c =============================================================================== c | 0 | 2496 2681 425646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12486 c Elapsed CPU time: 24.0553 s Remaining CPU time: 155.945 s c =============================================================================== c | 0 | 2496 2682 427996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12484 c Elapsed CPU time: 24.3273 s Remaining CPU time: 155.673 s c =============================================================================== c | 0 | 2496 2683 430346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12483 c Elapsed CPU time: 24.6043 s Remaining CPU time: 155.396 s c =============================================================================== c | 0 | 2496 2684 432696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12482 c Elapsed CPU time: 24.8842 s Remaining CPU time: 155.116 s c =============================================================================== c | 0 | 2496 2685 435046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12481 c Elapsed CPU time: 25.1602 s Remaining CPU time: 154.84 s c =============================================================================== c | 0 | 2496 2686 437396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12480 c Elapsed CPU time: 25.4401 s Remaining CPU time: 154.56 s c =============================================================================== c | 0 | 2496 2687 439746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12478 c Elapsed CPU time: 25.7231 s Remaining CPU time: 154.277 s c =============================================================================== c | 0 | 2496 2688 442096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12476 c Elapsed CPU time: 26.004 s Remaining CPU time: 153.996 s c =============================================================================== c | 0 | 2496 2689 444446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12475 c Elapsed CPU time: 26.29 s Remaining CPU time: 153.71 s c =============================================================================== c | 0 | 2496 2690 446796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12473 c Elapsed CPU time: 26.573 s Remaining CPU time: 153.427 s c =============================================================================== c | 0 | 2496 2691 449146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12472 c Elapsed CPU time: 26.8599 s Remaining CPU time: 153.14 s c =============================================================================== c | 0 | 2496 2692 451496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12470 c Elapsed CPU time: 27.1439 s Remaining CPU time: 152.856 s c =============================================================================== c | 0 | 2496 2693 453846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12467 c Elapsed CPU time: 27.4278 s Remaining CPU time: 152.572 s c =============================================================================== c | 0 | 2496 2694 456196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12466 c Elapsed CPU time: 27.7158 s Remaining CPU time: 152.284 s c =============================================================================== c | 0 | 2496 2695 458546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12465 c Elapsed CPU time: 27.9997 s Remaining CPU time: 152 s c =============================================================================== c | 0 | 2496 2696 460896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12464 c Elapsed CPU time: 28.2897 s Remaining CPU time: 151.71 s c =============================================================================== c | 0 | 2496 2697 463246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12462 c Elapsed CPU time: 28.5747 s Remaining CPU time: 151.425 s c =============================================================================== c | 0 | 2496 2698 465596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12460 c Elapsed CPU time: 28.8626 s Remaining CPU time: 151.137 s c =============================================================================== c | 0 | 2496 2699 467946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12459 c Elapsed CPU time: 29.1636 s Remaining CPU time: 150.836 s c =============================================================================== c | 0 | 2496 2700 470296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12458 c Elapsed CPU time: 29.4615 s Remaining CPU time: 150.538 s c =============================================================================== c | 0 | 2496 2701 472646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12456 c Elapsed CPU time: 29.7605 s Remaining CPU time: 150.24 s c =============================================================================== c | 0 | 2496 2702 474996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12454 c Elapsed CPU time: 30.0524 s Remaining CPU time: 149.948 s c =============================================================================== c | 0 | 2496 2703 477346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12453 c Elapsed CPU time: 30.3514 s Remaining CPU time: 149.649 s c =============================================================================== c | 0 | 2496 2704 479696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12452 c Elapsed CPU time: 30.6593 s Remaining CPU time: 149.341 s c =============================================================================== c | 0 | 2496 2705 482046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12451 c Elapsed CPU time: 30.9753 s Remaining CPU time: 149.025 s c =============================================================================== c | 0 | 2496 2706 484396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12449 c Elapsed CPU time: 31.2852 s Remaining CPU time: 148.715 s c =============================================================================== c | 0 | 2496 2707 486746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12448 c Elapsed CPU time: 31.6032 s Remaining CPU time: 148.397 s c =============================================================================== c | 0 | 2496 2708 489096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12446 c Elapsed CPU time: 31.9141 s Remaining CPU time: 148.086 s c =============================================================================== c | 0 | 2496 2709 491446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12445 c Elapsed CPU time: 32.2301 s Remaining CPU time: 147.77 s c =============================================================================== c | 0 | 2496 2710 493796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12444 c Elapsed CPU time: 32.5511 s Remaining CPU time: 147.449 s c =============================================================================== c | 0 | 2496 2711 496146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12443 c Elapsed CPU time: 32.862 s Remaining CPU time: 147.138 s c =============================================================================== c | 0 | 2496 2712 498496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12442 c Elapsed CPU time: 33.18 s Remaining CPU time: 146.82 s c =============================================================================== c | 0 | 2496 2713 500846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12441 c Elapsed CPU time: 33.4969 s Remaining CPU time: 146.503 s c =============================================================================== c | 0 | 2496 2714 503196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12440 c Elapsed CPU time: 33.8229 s Remaining CPU time: 146.177 s c =============================================================================== c | 0 | 2496 2715 505546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12439 c Elapsed CPU time: 34.1428 s Remaining CPU time: 145.857 s c =============================================================================== c | 0 | 2496 2716 507896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12438 c Elapsed CPU time: 34.4568 s Remaining CPU time: 145.543 s c =============================================================================== c | 0 | 2496 2717 510246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12437 c Elapsed CPU time: 34.7877 s Remaining CPU time: 145.212 s c =============================================================================== c | 0 | 2496 2718 512596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12436 c Elapsed CPU time: 35.1107 s Remaining CPU time: 144.889 s c =============================================================================== c | 0 | 2496 2719 514946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12435 c Elapsed CPU time: 35.4446 s Remaining CPU time: 144.555 s c =============================================================================== c | 0 | 2496 2720 517296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12434 c Elapsed CPU time: 35.7816 s Remaining CPU time: 144.218 s c =============================================================================== c | 0 | 2496 2721 519646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12433 c Elapsed CPU time: 36.1225 s Remaining CPU time: 143.877 s c =============================================================================== c | 0 | 2496 2722 521996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12432 c Elapsed CPU time: 36.4605 s Remaining CPU time: 143.54 s c =============================================================================== c | 0 | 2496 2723 524346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12431 c Elapsed CPU time: 36.7954 s Remaining CPU time: 143.205 s c =============================================================================== c | 0 | 2496 2724 526696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12430 c Elapsed CPU time: 37.1304 s Remaining CPU time: 142.87 s c =============================================================================== c | 0 | 2496 2725 529046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12428 c Elapsed CPU time: 37.4663 s Remaining CPU time: 142.534 s c =============================================================================== c | 0 | 2496 2726 531396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12427 c Elapsed CPU time: 37.8083 s Remaining CPU time: 142.192 s c =============================================================================== c | 0 | 2496 2727 533746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12425 c Elapsed CPU time: 38.1462 s Remaining CPU time: 141.854 s c =============================================================================== c | 0 | 2496 2728 536096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12423 c Elapsed CPU time: 38.4881 s Remaining CPU time: 141.512 s c =============================================================================== c | 0 | 2496 2729 538446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12422 c Elapsed CPU time: 38.8201 s Remaining CPU time: 141.18 s c =============================================================================== c | 0 | 2496 2730 540796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12421 c Elapsed CPU time: 39.165 s Remaining CPU time: 140.835 s c =============================================================================== c | 0 | 2496 2731 543146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12419 c Elapsed CPU time: 39.52 s Remaining CPU time: 140.48 s c =============================================================================== c | 0 | 2496 2732 545496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12418 c Elapsed CPU time: 39.8659 s Remaining CPU time: 140.134 s c =============================================================================== c | 0 | 2496 2733 547846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12417 c Elapsed CPU time: 40.2099 s Remaining CPU time: 139.79 s c =============================================================================== c | 0 | 2496 2734 550196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12416 c Elapsed CPU time: 40.5548 s Remaining CPU time: 139.445 s c =============================================================================== c | 0 | 2496 2735 552546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12413 c Elapsed CPU time: 40.8988 s Remaining CPU time: 139.101 s c =============================================================================== c | 0 | 2496 2736 554896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12412 c Elapsed CPU time: 41.2537 s Remaining CPU time: 138.746 s c =============================================================================== c | 0 | 2496 2737 557246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12411 c Elapsed CPU time: 41.6017 s Remaining CPU time: 138.398 s c =============================================================================== c | 0 | 2496 2738 559596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12410 c Elapsed CPU time: 41.9556 s Remaining CPU time: 138.044 s c =============================================================================== c | 0 | 2496 2739 561946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12409 c Elapsed CPU time: 42.3146 s Remaining CPU time: 137.685 s c =============================================================================== c | 0 | 2496 2740 564296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12408 c Elapsed CPU time: 42.6785 s Remaining CPU time: 137.321 s c =============================================================================== c | 0 | 2496 2741 566646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12407 c Elapsed CPU time: 43.0395 s Remaining CPU time: 136.961 s c =============================================================================== c | 0 | 2496 2742 568996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12404 c Elapsed CPU time: 43.4004 s Remaining CPU time: 136.6 s c =============================================================================== c | 0 | 2496 2743 571346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12402 c Elapsed CPU time: 43.7573 s Remaining CPU time: 136.243 s c =============================================================================== c | 0 | 2496 2744 573696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12398 c Elapsed CPU time: 44.1163 s Remaining CPU time: 135.884 s c =============================================================================== c | 0 | 2496 2745 576046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12395 c Elapsed CPU time: 44.4802 s Remaining CPU time: 135.52 s c =============================================================================== c | 0 | 2496 2746 578396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12394 c Elapsed CPU time: 44.8532 s Remaining CPU time: 135.147 s c =============================================================================== c | 0 | 2496 2747 580746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12391 c Elapsed CPU time: 45.2171 s Remaining CPU time: 134.783 s c =============================================================================== c | 0 | 2496 2748 583096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12390 c Elapsed CPU time: 45.5871 s Remaining CPU time: 134.413 s c =============================================================================== c | 0 | 2496 2749 585446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12389 c Elapsed CPU time: 45.957 s Remaining CPU time: 134.043 s c =============================================================================== c | 0 | 2496 2750 587796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12388 c Elapsed CPU time: 46.33 s Remaining CPU time: 133.67 s c =============================================================================== c | 0 | 2496 2751 590146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12387 c Elapsed CPU time: 46.7089 s Remaining CPU time: 133.291 s c =============================================================================== c | 0 | 2496 2752 592496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12386 c Elapsed CPU time: 47.0808 s Remaining CPU time: 132.919 s c =============================================================================== c | 0 | 2496 2753 594846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12383 c Elapsed CPU time: 47.4528 s Remaining CPU time: 132.547 s c =============================================================================== c | 0 | 2496 2754 597196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12382 c Elapsed CPU time: 47.8397 s Remaining CPU time: 132.16 s c =============================================================================== c | 0 | 2496 2755 599546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12380 c Elapsed CPU time: 48.2247 s Remaining CPU time: 131.775 s c =============================================================================== c | 0 | 2496 2756 601896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12379 c Elapsed CPU time: 48.6136 s Remaining CPU time: 131.386 s c =============================================================================== c | 0 | 2496 2757 604246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12377 c Elapsed CPU time: 49.0085 s Remaining CPU time: 130.991 s c =============================================================================== c | 0 | 2496 2758 606596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12375 c Elapsed CPU time: 49.3885 s Remaining CPU time: 130.612 s c =============================================================================== c | 0 | 2496 2759 608946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12374 c Elapsed CPU time: 49.7764 s Remaining CPU time: 130.224 s c =============================================================================== c | 0 | 2496 2760 611296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12373 c Elapsed CPU time: 50.1764 s Remaining CPU time: 129.824 s c =============================================================================== c | 0 | 2496 2761 613646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12372 c Elapsed CPU time: 50.5793 s Remaining CPU time: 129.421 s c =============================================================================== c | 0 | 2496 2762 615996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12371 c Elapsed CPU time: 50.9742 s Remaining CPU time: 129.026 s c =============================================================================== c | 0 | 2496 2763 618346 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12370 c Elapsed CPU time: 51.3742 s Remaining CPU time: 128.626 s c =============================================================================== c | 0 | 2496 2764 620696 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12369 c Elapsed CPU time: 51.7631 s Remaining CPU time: 128.237 s c =============================================================================== c | 0 | 2496 2765 623046 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12368 c Elapsed CPU time: 52.1641 s Remaining CPU time: 127.836 s c =============================================================================== c | 0 | 2496 2766 625396 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12367 c Elapsed CPU time: 52.572 s Remaining CPU time: 127.428 s c =============================================================================== c | 0 | 2496 2767 627746 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12366 c Elapsed CPU time: 52.9649 s Remaining CPU time: 127.035 s c =============================================================================== c | 0 | 2496 2768 630096 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12364 c Elapsed CPU time: 53.3689 s Remaining CPU time: 126.631 s c =============================================================================== c | 0 | 2496 2769 632446 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12362 c Elapsed CPU time: 53.7628 s Remaining CPU time: 126.237 s c =============================================================================== c | 0 | 2496 2770 634796 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12361 c Elapsed CPU time: 54.1618 s Remaining CPU time: 125.838 s c =============================================================================== c | 0 | 2496 2771 637146 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12360 c Elapsed CPU time: 54.5817 s Remaining CPU time: 125.418 s c =============================================================================== c | 0 | 2496 2772 639496 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12359 c Elapsed CPU time: 54.9936 s Remaining CPU time: 125.006 s c =============================================================================== c | 0 | 2496 2773 641846 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12358 c Elapsed CPU time: 55.3966 s Remaining CPU time: 124.603 s c =============================================================================== c | 0 | 2496 2774 644196 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12357 c Elapsed CPU time: 55.8055 s Remaining CPU time: 124.194 s c =============================================================================== c | 0 | 2496 2775 646546 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12356 c Elapsed CPU time: 56.2245 s Remaining CPU time: 123.776 s c =============================================================================== c | 0 | 2496 2776 648896 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12355 c Elapsed CPU time: 56.6414 s Remaining CPU time: 123.359 s c =============================================================================== c | 0 | 2496 2777 651246 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12352 c Elapsed CPU time: 57.0653 s Remaining CPU time: 122.935 s c =============================================================================== c | 0 | 2496 2778 653596 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12351 c Elapsed CPU time: 57.4993 s Remaining CPU time: 122.501 s c =============================================================================== c | 0 | 2496 2779 655946 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12350 c Elapsed CPU time: 57.9162 s Remaining CPU time: 122.084 s c =============================================================================== c | 0 | 2496 2780 658296 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12349 c Elapsed CPU time: 58.3371 s Remaining CPU time: 121.663 s c =============================================================================== c | 0 | 2496 2781 660646 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12348 c Elapsed CPU time: 58.7521 s Remaining CPU time: 121.248 s c =============================================================================== c | 0 | 2496 2782 662996 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 12347 c Elapsed CPU time: 59.184 s Remaining CPU time: 120.816 s c =============================================================================== c | 1 | 2496 2783 665346 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12346 c Elapsed CPU time: 59.6459 s Remaining CPU time: 120.354 s c =============================================================================== c | 1 | 2496 2784 667696 | 5000 1 2286 | 0.000 % | c =============================================================================== c New solution: 12345 c Elapsed CPU time: 60.0699 s Remaining CPU time: 119.93 s c =============================================================================== c | 2 | 2496 2785 670046 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12344 c Elapsed CPU time: 60.4928 s Remaining CPU time: 119.507 s c =============================================================================== c | 2 | 2496 2786 672396 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12343 c Elapsed CPU time: 60.9247 s Remaining CPU time: 119.075 s c =============================================================================== c | 2 | 2496 2787 674746 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12342 c Elapsed CPU time: 61.3677 s Remaining CPU time: 118.632 s c =============================================================================== c | 2 | 2496 2788 677096 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12341 c Elapsed CPU time: 61.8026 s Remaining CPU time: 118.197 s c =============================================================================== c | 2 | 2496 2789 679446 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12340 c Elapsed CPU time: 62.2545 s Remaining CPU time: 117.745 s c =============================================================================== c | 2 | 2496 2790 681796 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12339 c Elapsed CPU time: 62.6915 s Remaining CPU time: 117.309 s c =============================================================================== c | 2 | 2496 2791 684146 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12338 c Elapsed CPU time: 63.1444 s Remaining CPU time: 116.856 s c =============================================================================== c | 2 | 2496 2792 686496 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12337 c Elapsed CPU time: 63.5933 s Remaining CPU time: 116.407 s c =============================================================================== c | 2 | 2496 2793 688846 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12336 c Elapsed CPU time: 64.0493 s Remaining CPU time: 115.951 s c =============================================================================== c | 2 | 2496 2794 691196 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12335 c Elapsed CPU time: 64.4812 s Remaining CPU time: 115.519 s c =============================================================================== c | 2 | 2496 2795 693546 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12334 c Elapsed CPU time: 64.9281 s Remaining CPU time: 115.072 s c =============================================================================== c | 2 | 2496 2796 695896 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12333 c Elapsed CPU time: 65.3961 s Remaining CPU time: 114.604 s c =============================================================================== c | 2 | 2496 2797 698246 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12332 c Elapsed CPU time: 65.852 s Remaining CPU time: 114.148 s c =============================================================================== c | 2 | 2496 2798 700596 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12331 c Elapsed CPU time: 66.3269 s Remaining CPU time: 113.673 s c =============================================================================== c | 2 | 2496 2799 702946 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12330 c Elapsed CPU time: 66.7828 s Remaining CPU time: 113.217 s c =============================================================================== c | 2 | 2496 2800 705296 | 5000 2 2286 | 0.000 % | c =============================================================================== c New solution: 12329 c Elapsed CPU time: 67.2588 s Remaining CPU time: 112.741 s c =============================================================================== c | 3 | 2496 2801 707646 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12328 c Elapsed CPU time: 67.7077 s Remaining CPU time: 112.292 s c =============================================================================== c | 3 | 2496 2802 709996 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12327 c Elapsed CPU time: 68.1576 s Remaining CPU time: 111.842 s c =============================================================================== c | 3 | 2496 2803 712346 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12326 c Elapsed CPU time: 68.6306 s Remaining CPU time: 111.369 s c =============================================================================== c | 3 | 2496 2804 714696 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12325 c Elapsed CPU time: 69.1005 s Remaining CPU time: 110.9 s c =============================================================================== c | 3 | 2496 2805 717046 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12323 c Elapsed CPU time: 69.5704 s Remaining CPU time: 110.43 s c =============================================================================== c | 3 | 2496 2806 719396 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12322 c Elapsed CPU time: 70.0513 s Remaining CPU time: 109.949 s c =============================================================================== c | 3 | 2496 2807 721746 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12321 c Elapsed CPU time: 70.5393 s Remaining CPU time: 109.461 s c =============================================================================== c | 3 | 2496 2808 724096 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12320 c Elapsed CPU time: 71.0272 s Remaining CPU time: 108.973 s c =============================================================================== c | 3 | 2496 2809 726446 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12319 c Elapsed CPU time: 71.5131 s Remaining CPU time: 108.487 s c =============================================================================== c | 3 | 2496 2810 728796 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12318 c Elapsed CPU time: 71.9911 s Remaining CPU time: 108.009 s c =============================================================================== c | 3 | 2496 2811 731146 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12317 c Elapsed CPU time: 72.456 s Remaining CPU time: 107.544 s c =============================================================================== c | 3 | 2496 2812 733496 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12316 c Elapsed CPU time: 72.9419 s Remaining CPU time: 107.058 s c =============================================================================== c | 3 | 2496 2813 735846 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12315 c Elapsed CPU time: 73.4108 s Remaining CPU time: 106.589 s c =============================================================================== c | 3 | 2496 2814 738196 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12314 c Elapsed CPU time: 73.8838 s Remaining CPU time: 106.116 s c =============================================================================== c | 3 | 2496 2815 740546 | 5000 3 2284 | 0.000 % | c =============================================================================== c New solution: 12313 c Elapsed CPU time: 74.3607 s Remaining CPU time: 105.639 s c =============================================================================== c | 4 | 2496 2816 742896 | 5000 4 2283 | 0.000 % | c =============================================================================== c New solution: 12312 c Elapsed CPU time: 74.8396 s Remaining CPU time: 105.16 s c =============================================================================== c | 4 | 2496 2817 745246 | 5000 4 2283 | 0.000 % | c =============================================================================== c New solution: 12311 c Elapsed CPU time: 75.3335 s Remaining CPU time: 104.666 s c =============================================================================== c | 4 | 2496 2818 747596 | 5000 4 2283 | 0.000 % | c =============================================================================== c New solution: 12310 c Elapsed CPU time: 75.8525 s Remaining CPU time: 104.148 s c =============================================================================== c | 4 | 2496 2819 749946 | 5000 4 2283 | 0.000 % | c =============================================================================== c New solution: 12309 c Elapsed CPU time: 76.3474 s Remaining CPU time: 103.653 s c =============================================================================== c | 4 | 2496 2820 752296 | 5000 4 2283 | 0.000 % | c =============================================================================== c New solution: 12308 c Elapsed CPU time: 76.8373 s Remaining CPU time: 103.163 s c =============================================================================== c | 4 | 2496 2821 754646 | 5000 4 2283 | 0.000 % | c =============================================================================== c New solution: 12307 c Elapsed CPU time: 77.3212 s Remaining CPU time: 102.679 s c =============================================================================== c | 4 | 2496 2822 756996 | 5000 4 2283 | 0.000 % | c =============================================================================== c New solution: 12306 c Elapsed CPU time: 77.8022 s Remaining CPU time: 102.198 s c =============================================================================== c | 4 | 2496 2823 759346 | 5000 4 2283 | 0.000 % | c =============================================================================== c New solution: 12305 c Elapsed CPU time: 78.3051 s Remaining CPU time: 101.695 s c =============================================================================== c | 4 | 2496 2824 761696 | 5000 4 2283 | 0.000 % | c =============================================================================== c New solution: 12304 c Elapsed CPU time: 78.786 s Remaining CPU time: 101.214 s c =============================================================================== c | 8 | 2496 2825 764046 | 5000 8 2279 | 0.000 % | c =============================================================================== c New solution: 12303 c Elapsed CPU time: 79.2859 s Remaining CPU time: 100.714 s c =============================================================================== c | 8 | 2496 2826 766396 | 5000 8 2279 | 0.000 % | c =============================================================================== c New solution: 12302 c Elapsed CPU time: 79.7959 s Remaining CPU time: 100.204 s c =============================================================================== c | 8 | 2496 2827 768746 | 5000 8 2279 | 0.000 % | c =============================================================================== c New solution: 12301 c Elapsed CPU time: 80.2838 s Remaining CPU time: 99.7162 s c =============================================================================== c | 8 | 2496 2828 771096 | 5000 8 2279 | 0.000 % | c =============================================================================== c New solution: 12300 c Elapsed CPU time: 80.7777 s Remaining CPU time: 99.2223 s c =============================================================================== c | 8 | 2496 2829 773446 | 5000 8 2279 | 0.000 % | c =============================================================================== c New solution: 12299 c Elapsed CPU time: 81.2836 s Remaining CPU time: 98.7164 s c =============================================================================== c | 8 | 2496 2830 775796 | 5000 8 2279 | 0.000 % | c =============================================================================== c New solution: 12298 c Elapsed CPU time: 81.7756 s Remaining CPU time: 98.2244 s c =============================================================================== c | 9 | 2496 2831 778146 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12296 c Elapsed CPU time: 82.2955 s Remaining CPU time: 97.7045 s c =============================================================================== c | 9 | 2496 2832 780496 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12295 c Elapsed CPU time: 82.8284 s Remaining CPU time: 97.1716 s c =============================================================================== c | 9 | 2496 2833 782846 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12294 c Elapsed CPU time: 83.3433 s Remaining CPU time: 96.6567 s c =============================================================================== c | 9 | 2496 2834 785196 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12293 c Elapsed CPU time: 83.8792 s Remaining CPU time: 96.1208 s c =============================================================================== c | 9 | 2496 2835 787546 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12292 c Elapsed CPU time: 84.4082 s Remaining CPU time: 95.5918 s c =============================================================================== c | 9 | 2496 2836 789896 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12291 c Elapsed CPU time: 84.9241 s Remaining CPU time: 95.0759 s c =============================================================================== c | 9 | 2496 2837 792246 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12290 c Elapsed CPU time: 85.469 s Remaining CPU time: 94.531 s c =============================================================================== c | 9 | 2496 2838 794596 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12289 c Elapsed CPU time: 86.0109 s Remaining CPU time: 93.9891 s c =============================================================================== c | 9 | 2496 2839 796946 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12288 c Elapsed CPU time: 86.5248 s Remaining CPU time: 93.4752 s c =============================================================================== c | 9 | 2496 2840 799296 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12287 c Elapsed CPU time: 87.0498 s Remaining CPU time: 92.9502 s c =============================================================================== c | 9 | 2496 2841 801646 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12286 c Elapsed CPU time: 87.5557 s Remaining CPU time: 92.4443 s c =============================================================================== c | 9 | 2496 2842 803996 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12285 c Elapsed CPU time: 88.0896 s Remaining CPU time: 91.9104 s c =============================================================================== c | 9 | 2496 2843 806346 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12284 c Elapsed CPU time: 88.6025 s Remaining CPU time: 91.3975 s c =============================================================================== c | 9 | 2496 2844 808696 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12283 c Elapsed CPU time: 89.1384 s Remaining CPU time: 90.8616 s c =============================================================================== c | 9 | 2496 2845 811046 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12282 c Elapsed CPU time: 89.6824 s Remaining CPU time: 90.3176 s c =============================================================================== c | 9 | 2496 2846 813396 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12281 c Elapsed CPU time: 90.2193 s Remaining CPU time: 89.7807 s c =============================================================================== c | 9 | 2496 2847 815746 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12280 c Elapsed CPU time: 90.7542 s Remaining CPU time: 89.2458 s c =============================================================================== c | 9 | 2496 2848 818096 | 5000 9 2026 | 0.000 % | c =============================================================================== c New solution: 12279 c Elapsed CPU time: 91.3181 s Remaining CPU time: 88.6819 s c =============================================================================== c | 12 | 2496 2849 820446 | 5000 12 2088 | 0.000 % | c =============================================================================== c New solution: 12278 c Elapsed CPU time: 91.87 s Remaining CPU time: 88.13 s c =============================================================================== c | 12 | 2496 2850 822796 | 5000 12 2088 | 0.000 % | c =============================================================================== c New solution: 12277 c Elapsed CPU time: 92.4169 s Remaining CPU time: 87.5831 s c =============================================================================== c | 12 | 2496 2851 825146 | 5000 12 2088 | 0.000 % | c =============================================================================== c New solution: 12276 c Elapsed CPU time: 92.9709 s Remaining CPU time: 87.0291 s c =============================================================================== c | 13 | 2496 2852 827496 | 5000 13 1928 | 0.000 % | c =============================================================================== c New solution: 12275 c Elapsed CPU time: 93.5238 s Remaining CPU time: 86.4762 s c =============================================================================== c | 13 | 2496 2853 829846 | 5000 13 1928 | 0.000 % | c =============================================================================== c New solution: 12274 c Elapsed CPU time: 94.0707 s Remaining CPU time: 85.9293 s c =============================================================================== c | 15 | 2496 2854 832196 | 5000 15 1974 | 0.000 % | c =============================================================================== c New solution: 12273 c Elapsed CPU time: 94.6096 s Remaining CPU time: 85.3904 s c =============================================================================== c | 15 | 2496 2855 834546 | 5000 15 1974 | 0.000 % | c =============================================================================== c New solution: 12272 c Elapsed CPU time: 95.1475 s Remaining CPU time: 84.8525 s c =============================================================================== c | 15 | 2496 2856 836896 | 5000 15 1974 | 0.000 % | c =============================================================================== c New solution: 12271 c Elapsed CPU time: 95.6995 s Remaining CPU time: 84.3005 s c =============================================================================== c | 18 | 2496 2857 839246 | 5000 18 2023 | 0.000 % | c =============================================================================== c New solution: 12270 c Elapsed CPU time: 96.2354 s Remaining CPU time: 83.7646 s c =============================================================================== c | 18 | 2496 2858 841596 | 5000 18 2023 | 0.000 % | c =============================================================================== c New solution: 12269 c Elapsed CPU time: 96.7993 s Remaining CPU time: 83.2007 s c =============================================================================== c | 18 | 2496 2859 843946 | 5000 18 2023 | 0.000 % | c =============================================================================== c New solution: 12268 c Elapsed CPU time: 97.3432 s Remaining CPU time: 82.6568 s c =============================================================================== c | 18 | 2496 2860 846296 | 5000 18 2023 | 0.000 % | c =============================================================================== c New solution: 12267 c Elapsed CPU time: 97.8861 s Remaining CPU time: 82.1139 s c =============================================================================== c | 19 | 2496 2861 848646 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12266 c Elapsed CPU time: 98.448 s Remaining CPU time: 81.552 s c =============================================================================== c | 19 | 2496 2862 850996 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12265 c Elapsed CPU time: 99.0149 s Remaining CPU time: 80.9851 s c =============================================================================== c | 19 | 2496 2863 853346 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12264 c Elapsed CPU time: 99.5839 s Remaining CPU time: 80.4161 s c =============================================================================== c | 19 | 2496 2864 855696 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12263 c Elapsed CPU time: 100.133 s Remaining CPU time: 79.8672 s c =============================================================================== c | 19 | 2496 2865 858046 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12262 c Elapsed CPU time: 100.694 s Remaining CPU time: 79.3063 s c =============================================================================== c | 19 | 2496 2866 860396 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12261 c Elapsed CPU time: 101.284 s Remaining CPU time: 78.7164 s c =============================================================================== c | 19 | 2496 2867 862746 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12260 c Elapsed CPU time: 101.855 s Remaining CPU time: 78.1455 s c =============================================================================== c | 19 | 2496 2868 865096 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12259 c Elapsed CPU time: 102.435 s Remaining CPU time: 77.5646 s c =============================================================================== c | 19 | 2496 2869 867446 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12258 c Elapsed CPU time: 103.016 s Remaining CPU time: 76.9837 s c =============================================================================== c | 19 | 2496 2870 869796 | 5000 19 2036 | 0.000 % | c =============================================================================== c New solution: 12257 c Elapsed CPU time: 103.612 s Remaining CPU time: 76.3878 s c =============================================================================== c | 31 | 2496 2871 872146 | 5000 31 2126 | 0.000 % | c =============================================================================== c New solution: 12256 c Elapsed CPU time: 104.181 s Remaining CPU time: 75.8188 s c =============================================================================== c | 31 | 2496 2872 874496 | 5000 31 2126 | 0.000 % | c =============================================================================== c New solution: 12255 c Elapsed CPU time: 104.79 s Remaining CPU time: 75.2099 s c =============================================================================== c | 41 | 2496 2873 876846 | 5000 41 2161 | 0.000 % | c =============================================================================== c New solution: 12254 c Elapsed CPU time: 105.364 s Remaining CPU time: 74.636 s c =============================================================================== c | 46 | 2496 2874 879196 | 5000 46 2172 | 0.000 % | c =============================================================================== c New solution: 12253 c Elapsed CPU time: 105.945 s Remaining CPU time: 74.0551 s c =============================================================================== c | 46 | 2496 2875 881546 | 5000 46 2172 | 0.000 % | c =============================================================================== c New solution: 12252 c Elapsed CPU time: 106.527 s Remaining CPU time: 73.4732 s c =============================================================================== c | 46 | 2496 2876 883896 | 5000 46 2172 | 0.000 % | c =============================================================================== c New solution: 12251 c Elapsed CPU time: 107.115 s Remaining CPU time: 72.8853 s c =============================================================================== c | 47 | 2496 2877 886246 | 5000 47 2174 | 0.000 % | c =============================================================================== c New solution: 12250 c Elapsed CPU time: 107.692 s Remaining CPU time: 72.3084 s c =============================================================================== c | 47 | 2496 2878 888596 | 5000 47 2174 | 0.000 % | c =============================================================================== c New solution: 12249 c Elapsed CPU time: 108.28 s Remaining CPU time: 71.7205 s c =============================================================================== c | 48 | 2496 2879 890946 | 5000 48 2176 | 0.000 % | c =============================================================================== c New solution: 12248 c Elapsed CPU time: 108.873 s Remaining CPU time: 71.1266 s c =============================================================================== c | 50 | 2496 2880 893296 | 5000 50 2180 | 0.000 % | c =============================================================================== c New solution: 12247 c Elapsed CPU time: 109.443 s Remaining CPU time: 70.5566 s c =============================================================================== c | 51 | 2496 2881 895646 | 5000 51 2137 | 0.000 % | c =============================================================================== c New solution: 12246 c Elapsed CPU time: 110.039 s Remaining CPU time: 69.9607 s c =============================================================================== c | 55 | 2496 2882 897996 | 5000 55 2147 | 0.000 % | c =============================================================================== c New solution: 12245 c Elapsed CPU time: 110.65 s Remaining CPU time: 69.3498 s c =============================================================================== c | 56 | 2496 2883 900346 | 5000 56 2149 | 0.000 % | c =============================================================================== c New solution: 12244 c Elapsed CPU time: 111.241 s Remaining CPU time: 68.7589 s c =============================================================================== c | 56 | 2496 2884 902696 | 5000 56 2149 | 0.000 % | c =============================================================================== c New solution: 12243 c Elapsed CPU time: 111.827 s Remaining CPU time: 68.173 s c =============================================================================== c | 56 | 2496 2885 905046 | 5000 56 2149 | 0.000 % | c =============================================================================== c New solution: 12242 c Elapsed CPU time: 112.433 s Remaining CPU time: 67.5671 s c =============================================================================== c | 56 | 2496 2886 907396 | 5000 56 2149 | 0.000 % | c =============================================================================== c New solution: 12241 c Elapsed CPU time: 113.065 s Remaining CPU time: 66.9352 s c =============================================================================== c | 56 | 2496 2887 909746 | 5000 56 2149 | 0.000 % | c =============================================================================== c New solution: 12240 c Elapsed CPU time: 113.716 s Remaining CPU time: 66.2843 s c =============================================================================== c | 56 | 2496 2888 912096 | 5000 56 2149 | 0.000 % | c =============================================================================== c New solution: 12239 c Elapsed CPU time: 114.328 s Remaining CPU time: 65.6724 s c =============================================================================== c | 58 | 2496 2889 914446 | 5000 58 2153 | 0.000 % | c =============================================================================== c New solution: 12238 c Elapsed CPU time: 114.929 s Remaining CPU time: 65.0715 s c =============================================================================== c | 58 | 2496 2890 916796 | 5000 58 2153 | 0.000 % | c =============================================================================== c New solution: 12237 c Elapsed CPU time: 115.556 s Remaining CPU time: 64.4436 s c =============================================================================== c | 59 | 2496 2891 919146 | 5000 59 2155 | 0.000 % | c =============================================================================== c New solution: 12236 c Elapsed CPU time: 116.188 s Remaining CPU time: 63.8117 s c =============================================================================== c | 59 | 2496 2892 921496 | 5000 59 2155 | 0.000 % | c =============================================================================== c New solution: 12235 c Elapsed CPU time: 116.807 s Remaining CPU time: 63.1928 s c =============================================================================== c | 61 | 2496 2893 923846 | 5000 61 2158 | 0.000 % | c =============================================================================== c New solution: 12234 c Elapsed CPU time: 117.426 s Remaining CPU time: 62.5739 s c =============================================================================== c | 61 | 2496 2894 926196 | 5000 61 2158 | 0.000 % | c =============================================================================== c New solution: 12233 c Elapsed CPU time: 118.031 s Remaining CPU time: 61.9689 s c =============================================================================== c | 61 | 2496 2895 928546 | 5000 61 2158 | 0.000 % | c =============================================================================== c New solution: 12232 c Elapsed CPU time: 118.636 s Remaining CPU time: 61.364 s c =============================================================================== c | 66 | 2496 2896 930896 | 5000 66 2167 | 0.000 % | c =============================================================================== c New solution: 12231 c Elapsed CPU time: 119.247 s Remaining CPU time: 60.7531 s c =============================================================================== c | 66 | 2496 2897 933246 | 5000 66 2167 | 0.000 % | c =============================================================================== c New solution: 12230 c Elapsed CPU time: 119.859 s Remaining CPU time: 60.1412 s c =============================================================================== c | 66 | 2496 2898 935596 | 5000 66 2167 | 0.000 % | c =============================================================================== c New solution: 12229 c Elapsed CPU time: 120.481 s Remaining CPU time: 59.5193 s c =============================================================================== c | 66 | 2496 2899 937946 | 5000 66 2167 | 0.000 % | c =============================================================================== c New solution: 12228 c Elapsed CPU time: 121.107 s Remaining CPU time: 58.8934 s c =============================================================================== c | 66 | 2496 2900 940296 | 5000 66 2167 | 0.000 % | c =============================================================================== c New solution: 12227 c Elapsed CPU time: 121.725 s Remaining CPU time: 58.2745 s c =============================================================================== c | 66 | 2496 2901 942646 | 5000 66 2167 | 0.000 % | c =============================================================================== c New solution: 12226 c Elapsed CPU time: 122.347 s Remaining CPU time: 57.6526 s c =============================================================================== c | 70 | 2496 2902 944996 | 5000 70 2172 | 0.000 % | c =============================================================================== c New solution: 12225 c Elapsed CPU time: 122.967 s Remaining CPU time: 57.0327 s c =============================================================================== c | 70 | 2496 2903 947346 | 5000 70 2172 | 0.000 % | c =============================================================================== c New solution: 12224 c Elapsed CPU time: 123.586 s Remaining CPU time: 56.4138 s c =============================================================================== c | 70 | 2496 2904 949696 | 5000 70 2172 | 0.000 % | c =============================================================================== c New solution: 12223 c Elapsed CPU time: 124.222 s Remaining CPU time: 55.7779 s c =============================================================================== c | 75 | 2496 2905 952046 | 5000 75 2178 | 0.000 % | c =============================================================================== c New solution: 12222 c Elapsed CPU time: 124.859 s Remaining CPU time: 55.141 s c =============================================================================== c | 78 | 2496 2906 954396 | 5000 78 2182 | 0.000 % | c =============================================================================== c New solution: 12221 c Elapsed CPU time: 125.492 s Remaining CPU time: 54.5081 s c =============================================================================== c | 78 | 2496 2907 956746 | 5000 78 2182 | 0.000 % | c =============================================================================== c New solution: 12220 c Elapsed CPU time: 126.163 s Remaining CPU time: 53.8372 s c =============================================================================== c | 78 | 2496 2908 959096 | 5000 78 2182 | 0.000 % | c =============================================================================== c New solution: 12219 c Elapsed CPU time: 126.841 s Remaining CPU time: 53.1593 s c =============================================================================== c | 79 | 2496 2909 961446 | 5000 79 2183 | 0.000 % | c =============================================================================== c New solution: 12218 c Elapsed CPU time: 127.492 s Remaining CPU time: 52.5084 s c =============================================================================== c | 79 | 2496 2910 963796 | 5000 79 2183 | 0.000 % | c =============================================================================== c New solution: 12217 c Elapsed CPU time: 128.131 s Remaining CPU time: 51.8695 s c =============================================================================== c | 79 | 2496 2911 966146 | 5000 79 2183 | 0.000 % | c =============================================================================== c New solution: 12216 c Elapsed CPU time: 128.781 s Remaining CPU time: 51.2186 s c =============================================================================== c | 79 | 2496 2912 968496 | 5000 79 2183 | 0.000 % | c =============================================================================== c New solution: 12215 c Elapsed CPU time: 129.429 s Remaining CPU time: 50.5707 s c =============================================================================== c | 79 | 2496 2913 970846 | 5000 79 2183 | 0.000 % | c =============================================================================== c New solution: 12214 c Elapsed CPU time: 130.108 s Remaining CPU time: 49.8918 s c =============================================================================== c | 81 | 2496 2914 973196 | 5000 81 2185 | 0.000 % | c =============================================================================== c New solution: 12213 c Elapsed CPU time: 130.764 s Remaining CPU time: 49.2359 s c =============================================================================== c | 81 | 2496 2915 975546 | 5000 81 2185 | 0.000 % | c =============================================================================== c New solution: 12212 c Elapsed CPU time: 131.446 s Remaining CPU time: 48.554 s c =============================================================================== c | 88 | 2496 2916 977896 | 5000 88 2191 | 0.000 % | c =============================================================================== c New solution: 12211 c Elapsed CPU time: 132.08 s Remaining CPU time: 47.9201 s c =============================================================================== c | 88 | 2496 2917 980246 | 5000 88 2191 | 0.000 % | c =============================================================================== c New solution: 12210 c Elapsed CPU time: 132.736 s Remaining CPU time: 47.2642 s c =============================================================================== c | 88 | 2496 2918 982596 | 5000 88 2191 | 0.000 % | c =============================================================================== c New solution: 12209 c Elapsed CPU time: 133.414 s Remaining CPU time: 46.5863 s c =============================================================================== c | 90 | 2496 2919 984946 | 5000 90 2192 | 0.000 % | c =============================================================================== c New solution: 12208 c Elapsed CPU time: 134.089 s Remaining CPU time: 45.9114 s c =============================================================================== c | 91 | 2496 2920 987296 | 5000 91 2193 | 0.000 % | c =============================================================================== c New solution: 12207 c Elapsed CPU time: 134.769 s Remaining CPU time: 45.2315 s c =============================================================================== c | 92 | 2496 2921 989646 | 5000 92 2169 | 0.000 % | c =============================================================================== c New solution: 12206 c Elapsed CPU time: 135.432 s Remaining CPU time: 44.5676 s c =============================================================================== c | 92 | 2496 2922 991996 | 5000 92 2169 | 0.000 % | c =============================================================================== c New solution: 12205 c Elapsed CPU time: 136.173 s Remaining CPU time: 43.8267 s c =============================================================================== c | 97 | 2496 2923 994346 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12204 c Elapsed CPU time: 136.818 s Remaining CPU time: 43.1818 s c =============================================================================== c | 97 | 2496 2924 996696 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12203 c Elapsed CPU time: 137.499 s Remaining CPU time: 42.5009 s c =============================================================================== c | 97 | 2496 2925 999046 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12202 c Elapsed CPU time: 138.147 s Remaining CPU time: 41.853 s c =============================================================================== c | 97 | 2496 2926 1001396 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12201 c Elapsed CPU time: 138.797 s Remaining CPU time: 41.2031 s c =============================================================================== c | 97 | 2496 2927 1003746 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12200 c Elapsed CPU time: 139.487 s Remaining CPU time: 40.5132 s c =============================================================================== c | 97 | 2496 2928 1006096 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12199 c Elapsed CPU time: 140.14 s Remaining CPU time: 39.8603 s c =============================================================================== c | 97 | 2496 2929 1008446 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12198 c Elapsed CPU time: 140.788 s Remaining CPU time: 39.2124 s c =============================================================================== c | 97 | 2496 2930 1010796 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12197 c Elapsed CPU time: 141.471 s Remaining CPU time: 38.5285 s c =============================================================================== c | 97 | 2496 2931 1013146 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12196 c Elapsed CPU time: 142.146 s Remaining CPU time: 37.8536 s c =============================================================================== c | 97 | 2496 2932 1015496 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12195 c Elapsed CPU time: 142.823 s Remaining CPU time: 37.1767 s c =============================================================================== c | 97 | 2496 2933 1017846 | 5000 97 2174 | 0.000 % | c =============================================================================== c New solution: 12194 c Elapsed CPU time: 143.546 s Remaining CPU time: 36.4538 s c =============================================================================== c | 105 | 2496 2934 1020196 | 5000 105 2180 | 0.000 % | c =============================================================================== c New solution: 12193 c Elapsed CPU time: 144.235 s Remaining CPU time: 35.7649 s c =============================================================================== c | 111 | 2496 2935 1022546 | 5000 111 2185 | 0.000 % | c =============================================================================== c New solution: 12192 c Elapsed CPU time: 144.901 s Remaining CPU time: 35.099 s c =============================================================================== c | 111 | 2496 2936 1024896 | 5000 111 2185 | 0.000 % | c =============================================================================== c New solution: 12191 c Elapsed CPU time: 145.572 s Remaining CPU time: 34.4281 s c =============================================================================== c | 111 | 2496 2937 1027246 | 5000 111 2185 | 0.000 % | c =============================================================================== c New solution: 12190 c Elapsed CPU time: 146.244 s Remaining CPU time: 33.7562 s c =============================================================================== c | 111 | 2496 2938 1029596 | 5000 111 2185 | 0.000 % | c =============================================================================== c New solution: 12189 c Elapsed CPU time: 146.973 s Remaining CPU time: 33.0273 s c =============================================================================== c | 114 | 2496 2939 1031946 | 5000 114 2187 | 0.000 % | c =============================================================================== c New solution: 12188 c Elapsed CPU time: 147.65 s Remaining CPU time: 32.3504 s c =============================================================================== c | 114 | 2496 2940 1034296 | 5000 114 2187 | 0.000 % | c =============================================================================== c New solution: 12187 c Elapsed CPU time: 148.342 s Remaining CPU time: 31.6576 s c =============================================================================== c | 114 | 2496 2941 1036646 | 5000 114 2187 | 0.000 % | c =============================================================================== c New solution: 12186 c Elapsed CPU time: 149.028 s Remaining CPU time: 30.9717 s c =============================================================================== c | 114 | 2496 2942 1038996 | 5000 114 2187 | 0.000 % | c =============================================================================== c New solution: 12185 c Elapsed CPU time: 149.7 s Remaining CPU time: 30.2998 s c =============================================================================== c | 114 | 2496 2943 1041346 | 5000 114 2187 | 0.000 % | c =============================================================================== c New solution: 12184 c Elapsed CPU time: 150.379 s Remaining CPU time: 29.6209 s c =============================================================================== c | 114 | 2496 2944 1043696 | 5000 114 2187 | 0.000 % | c =============================================================================== c New solution: 12183 c Elapsed CPU time: 151.05 s Remaining CPU time: 28.95 s c =============================================================================== c | 114 | 2496 2945 1046046 | 5000 114 2187 | 0.000 % | c =============================================================================== c New solution: 12182 c Elapsed CPU time: 151.737 s Remaining CPU time: 28.2631 s c =============================================================================== c | 114 | 2496 2946 1048396 | 5000 114 2187 | 0.000 % | c =============================================================================== c New solution: 12181 c Elapsed CPU time: 152.484 s Remaining CPU time: 27.5162 s c =============================================================================== c | 120 | 2496 2947 1050746 | 5000 120 2190 | 0.000 % | c =============================================================================== c New solution: 12180 c Elapsed CPU time: 153.187 s Remaining CPU time: 26.8133 s c =============================================================================== c | 120 | 2496 2948 1053096 | 5000 120 2190 | 0.000 % | c =============================================================================== c New solution: 12179 c Elapsed CPU time: 153.879 s Remaining CPU time: 26.1214 s c =============================================================================== c | 120 | 2496 2949 1055446 | 5000 120 2190 | 0.000 % | c =============================================================================== c New solution: 12178 c Elapsed CPU time: 154.579 s Remaining CPU time: 25.4205 s c =============================================================================== c | 125 | 2496 2950 1057796 | 5000 125 2193 | 0.000 % | c =============================================================================== c New solution: 12177 c Elapsed CPU time: 155.297 s Remaining CPU time: 24.7026 s c =============================================================================== c | 125 | 2496 2951 1060146 | 5000 125 2193 | 0.000 % | c =============================================================================== c New solution: 12176 c Elapsed CPU time: 155.978 s Remaining CPU time: 24.0217 s c =============================================================================== c | 125 | 2496 2952 1062496 | 5000 125 2193 | 0.000 % | c =============================================================================== c New solution: 12175 c Elapsed CPU time: 156.669 s Remaining CPU time: 23.3308 s c =============================================================================== c | 125 | 2496 2953 1064846 | 5000 125 2193 | 0.000 % | c =============================================================================== c New solution: 12174 c Elapsed CPU time: 157.367 s Remaining CPU time: 22.6329 s c =============================================================================== c | 131 | 2496 2954 1067196 | 5000 131 2196 | 0.000 % | c =============================================================================== c New solution: 12173 c Elapsed CPU time: 158.101 s Remaining CPU time: 21.899 s c =============================================================================== c | 132 | 2496 2955 1069546 | 5000 132 2196 | 0.000 % | c =============================================================================== c New solution: 12172 c Elapsed CPU time: 158.814 s Remaining CPU time: 21.1861 s c =============================================================================== c | 132 | 2496 2956 1071896 | 5000 132 2196 | 0.000 % | c =============================================================================== c New solution: 12171 c Elapsed CPU time: 159.654 s Remaining CPU time: 20.3463 s c =============================================================================== c | 167 | 2496 2957 1074246 | 5000 167 2209 | 0.000 % | c =============================================================================== c New solution: 12170 c Elapsed CPU time: 160.35 s Remaining CPU time: 19.6504 s c =============================================================================== c | 167 | 2496 2958 1076596 | 5000 167 2209 | 0.000 % | c =============================================================================== c New solution: 12169 c Elapsed CPU time: 161.121 s Remaining CPU time: 18.8795 s c =============================================================================== c | 170 | 2496 2959 1078946 | 5000 170 2210 | 0.000 % | c =============================================================================== c New solution: 12168 c Elapsed CPU time: 161.876 s Remaining CPU time: 18.1236 s c =============================================================================== c | 171 | 2496 2960 1081296 | 5000 171 2210 | 0.000 % | c =============================================================================== c New solution: 12167 c Elapsed CPU time: 162.577 s Remaining CPU time: 17.4227 s c =============================================================================== c | 178 | 2496 2961 1083646 | 5000 178 2212 | 0.000 % | c =============================================================================== c New solution: 12166 c Elapsed CPU time: 163.324 s Remaining CPU time: 16.6758 s c =============================================================================== c | 181 | 2496 2962 1085996 | 5000 181 2213 | 0.000 % | c =============================================================================== c New solution: 12165 c Elapsed CPU time: 164.048 s Remaining CPU time: 15.9519 s c =============================================================================== c | 187 | 2496 2963 1088346 | 5000 187 2214 | 0.000 % | c =============================================================================== c New solution: 12164 c Elapsed CPU time: 164.751 s Remaining CPU time: 15.249 s c =============================================================================== c | 188 | 2496 2964 1090696 | 5000 188 2202 | 0.000 % | c =============================================================================== c New solution: 12163 c Elapsed CPU time: 165.483 s Remaining CPU time: 14.5172 s c =============================================================================== c | 188 | 2496 2965 1093046 | 5000 188 2202 | 0.000 % | c =============================================================================== c New solution: 12162 c Elapsed CPU time: 166.2 s Remaining CPU time: 13.8003 s c =============================================================================== c | 188 | 2496 2966 1095396 | 5000 188 2202 | 0.000 % | c =============================================================================== c New solution: 12161 c Elapsed CPU time: 166.92 s Remaining CPU time: 13.0804 s c =============================================================================== c | 188 | 2496 2967 1097746 | 5000 188 2202 | 0.000 % | c =============================================================================== c New solution: 12160 c Elapsed CPU time: 167.642 s Remaining CPU time: 12.3585 s c =============================================================================== c | 188 | 2496 2968 1100096 | 5000 188 2202 | 0.000 % | c =============================================================================== c New solution: 12159 c Elapsed CPU time: 168.344 s Remaining CPU time: 11.6556 s c =============================================================================== c | 190 | 2496 2969 1102446 | 5000 190 2203 | 0.000 % | c =============================================================================== c New solution: 12158 c Elapsed CPU time: 169.098 s Remaining CPU time: 10.9017 s c =============================================================================== c | 193 | 2496 2970 1104796 | 5000 193 2192 | 0.000 % | c =============================================================================== c New solution: 12157 c Elapsed CPU time: 170.019 s Remaining CPU time: 9.98085 s c =============================================================================== c | 204 | 2496 2971 1107146 | 5000 204 2195 | 0.000 % | c =============================================================================== c New solution: 12156 c Elapsed CPU time: 170.741 s Remaining CPU time: 9.25896 s c =============================================================================== c | 205 | 2496 2972 1109496 | 5000 205 2196 | 0.000 % | c =============================================================================== c New solution: 12155 c Elapsed CPU time: 171.347 s Remaining CPU time: 8.65305 s c =============================================================================== c | 205 | 2496 2973 1111846 | 5000 205 2196 | 0.000 % | c =============================================================================== c New solution: 12154 c Elapsed CPU time: 171.904 s Remaining CPU time: 8.09613 s c =============================================================================== c | 205 | 2496 2974 1114196 | 5000 205 2196 | 0.000 % | c =============================================================================== c New solution: 12153 c Elapsed CPU time: 172.46 s Remaining CPU time: 7.54022 s c =============================================================================== c | 205 | 2496 2975 1116546 | 5000 205 2196 | 0.000 % | c =============================================================================== c New solution: 12152 c Elapsed CPU time: 173.026 s Remaining CPU time: 6.9743 s c =============================================================================== c | 205 | 2496 2976 1118896 | 5000 205 2196 | 0.000 % | c =============================================================================== c New solution: 12151 c Elapsed CPU time: 173.628 s Remaining CPU time: 6.3724 s c =============================================================================== c | 207 | 2496 2977 1121246 | 5000 207 2185 | 0.000 % | c =============================================================================== c New solution: 12150 c Elapsed CPU time: 174.31 s Remaining CPU time: 5.6895 s c =============================================================================== c | 218 | 2496 2978 1123596 | 5000 218 2189 | 0.000 % | c =============================================================================== c New solution: 12149 c Elapsed CPU time: 174.879 s Remaining CPU time: 5.12059 s c =============================================================================== c | 218 | 2496 2979 1125946 | 5000 218 2189 | 0.000 % | c =============================================================================== c New solution: 12148 c Elapsed CPU time: 175.503 s Remaining CPU time: 4.49668 s c =============================================================================== c | 230 | 2496 2980 1128296 | 5000 230 2192 | 0.000 % | c =============================================================================== c New solution: 12147 c Elapsed CPU time: 176.064 s Remaining CPU time: 3.93577 s c =============================================================================== c | 234 | 2496 2981 1130646 | 5000 234 2193 | 0.000 % | c =============================================================================== c New solution: 12146 c Elapsed CPU time: 176.667 s Remaining CPU time: 3.33286 s c =============================================================================== c | 238 | 2496 2982 1132996 | 5000 238 2194 | 0.000 % | c =============================================================================== c New solution: 12145 c Elapsed CPU time: 177.245 s Remaining CPU time: 2.75495 s c =============================================================================== c | 239 | 2496 2983 1135346 | 5000 239 2195 | 0.000 % | c =============================================================================== c New solution: 12144 c Elapsed CPU time: 177.891 s Remaining CPU time: 2.10904 s c =============================================================================== c | 241 | 2496 2984 1137696 | 5000 241 2195 | 0.000 % | c =============================================================================== c New solution: 12143 c Elapsed CPU time: 178.527 s Remaining CPU time: 1.47314 s c =============================================================================== c | 241 | 2496 2985 1140046 | 5000 241 2195 | 0.000 % | c =============================================================================== c New solution: 12142 c Elapsed CPU time: 179.221 s Remaining CPU time: 0.779246 s c =============================================================================== c | 248 | 2496 2986 1142396 | 5000 248 2197 | 0.000 % | c =============================================================================== c New solution: 12141 c Elapsed CPU time: 179.856 s Remaining CPU time: 0.144343 s c =============================================================================== c | 266 | 2496 2987 1144746 | 5000 266 2200 | 0.000 % | c There are 4 assigned variables. 0 in cost function.