c wbo 1.4 beta - 20100610 c | Number of variables: 100 | c | Number of clauses: 600 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 600 | c | Number Clauses: 600 | 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 | 600 600 2300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2663 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 0 | 600 601 2800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2654 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 600 602 3300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2653 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 0 | 600 603 3800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2644 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 600 604 4300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2643 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 600 605 4800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2642 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 600 606 5300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2641 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 0 | 600 607 5800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2640 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 600 608 6300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2639 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 600 609 6800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2636 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 0 | 600 610 7300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2635 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 0 | 600 611 7800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2632 c Elapsed CPU time: 0.021996 s Remaining CPU time: 179.978 s c =============================================================================== c | 0 | 600 612 8300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2631 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 0 | 600 613 8800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2630 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s c =============================================================================== c | 0 | 600 614 9300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2629 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 0 | 600 615 9800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2628 c Elapsed CPU time: 0.028995 s Remaining CPU time: 179.971 s c =============================================================================== c | 0 | 600 616 10300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2627 c Elapsed CPU time: 0.030995 s Remaining CPU time: 179.969 s c =============================================================================== c | 0 | 600 617 10800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2626 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 0 | 600 618 11300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2625 c Elapsed CPU time: 0.035994 s Remaining CPU time: 179.964 s c =============================================================================== c | 0 | 600 619 11800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2624 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 0 | 600 620 12300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2621 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 0 | 600 621 12800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2620 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 0 | 600 622 13300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2619 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s c =============================================================================== c | 0 | 600 623 13800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2618 c Elapsed CPU time: 0.051992 s Remaining CPU time: 179.948 s c =============================================================================== c | 0 | 600 624 14300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2617 c Elapsed CPU time: 0.055991 s Remaining CPU time: 179.944 s c =============================================================================== c | 0 | 600 625 14800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2616 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s c =============================================================================== c | 0 | 600 626 15300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2615 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 0 | 600 627 15800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2614 c Elapsed CPU time: 0.065989 s Remaining CPU time: 179.934 s c =============================================================================== c | 0 | 600 628 16300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2612 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 0 | 600 629 16800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2610 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s c =============================================================================== c | 0 | 600 630 17300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2609 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 0 | 600 631 17800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2608 c Elapsed CPU time: 0.082987 s Remaining CPU time: 179.917 s c =============================================================================== c | 0 | 600 632 18300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2607 c Elapsed CPU time: 0.086986 s Remaining CPU time: 179.913 s c =============================================================================== c | 0 | 600 633 18800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2605 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 0 | 600 634 19300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2604 c Elapsed CPU time: 0.093985 s Remaining CPU time: 179.906 s c =============================================================================== c | 0 | 600 635 19800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2601 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s c =============================================================================== c | 0 | 600 636 20300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2600 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s c =============================================================================== c | 0 | 600 637 20800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2599 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s c =============================================================================== c | 0 | 600 638 21300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2598 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s c =============================================================================== c | 0 | 600 639 21800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2597 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s c =============================================================================== c | 0 | 600 640 22300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2596 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s c =============================================================================== c | 0 | 600 641 22800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2595 c Elapsed CPU time: 0.12698 s Remaining CPU time: 179.873 s c =============================================================================== c | 0 | 600 642 23300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2594 c Elapsed CPU time: 0.131979 s Remaining CPU time: 179.868 s c =============================================================================== c | 0 | 600 643 23800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2593 c Elapsed CPU time: 0.135979 s Remaining CPU time: 179.864 s c =============================================================================== c | 0 | 600 644 24300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2590 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s c =============================================================================== c | 0 | 600 645 24800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2586 c Elapsed CPU time: 0.146977 s Remaining CPU time: 179.853 s c =============================================================================== c | 0 | 600 646 25300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2585 c Elapsed CPU time: 0.150977 s Remaining CPU time: 179.849 s c =============================================================================== c | 0 | 600 647 25800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2584 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s c =============================================================================== c | 0 | 600 648 26300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2583 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s c =============================================================================== c | 0 | 600 649 26800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2582 c Elapsed CPU time: 0.168974 s Remaining CPU time: 179.831 s c =============================================================================== c | 0 | 600 650 27300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2580 c Elapsed CPU time: 0.174973 s Remaining CPU time: 179.825 s c =============================================================================== c | 0 | 600 651 27800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2579 c Elapsed CPU time: 0.181972 s Remaining CPU time: 179.818 s c =============================================================================== c | 0 | 600 652 28300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2578 c Elapsed CPU time: 0.188971 s Remaining CPU time: 179.811 s c =============================================================================== c | 0 | 600 653 28800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2577 c Elapsed CPU time: 0.19597 s Remaining CPU time: 179.804 s c =============================================================================== c | 0 | 600 654 29300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2576 c Elapsed CPU time: 0.202969 s Remaining CPU time: 179.797 s c =============================================================================== c | 0 | 600 655 29800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2575 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s c =============================================================================== c | 0 | 600 656 30300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2571 c Elapsed CPU time: 0.216967 s Remaining CPU time: 179.783 s c =============================================================================== c | 0 | 600 657 30800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2567 c Elapsed CPU time: 0.223965 s Remaining CPU time: 179.776 s c =============================================================================== c | 0 | 600 658 31300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2565 c Elapsed CPU time: 0.230964 s Remaining CPU time: 179.769 s c =============================================================================== c | 0 | 600 659 31800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2564 c Elapsed CPU time: 0.237963 s Remaining CPU time: 179.762 s c =============================================================================== c | 0 | 600 660 32300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2559 c Elapsed CPU time: 0.242963 s Remaining CPU time: 179.757 s c =============================================================================== c | 0 | 600 661 32800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2558 c Elapsed CPU time: 0.250961 s Remaining CPU time: 179.749 s c =============================================================================== c | 0 | 600 662 33300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2554 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s c =============================================================================== c | 0 | 600 663 33800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2550 c Elapsed CPU time: 0.267959 s Remaining CPU time: 179.732 s c =============================================================================== c | 0 | 600 664 34300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2548 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s c =============================================================================== c | 0 | 600 665 34800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2545 c Elapsed CPU time: 0.284956 s Remaining CPU time: 179.715 s c =============================================================================== c | 0 | 600 666 35300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2543 c Elapsed CPU time: 0.293955 s Remaining CPU time: 179.706 s c =============================================================================== c | 0 | 600 667 35800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2541 c Elapsed CPU time: 0.303953 s Remaining CPU time: 179.696 s c =============================================================================== c | 0 | 600 668 36300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2540 c Elapsed CPU time: 0.313952 s Remaining CPU time: 179.686 s c =============================================================================== c | 0 | 600 669 36800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2537 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 0 | 600 670 37300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2536 c Elapsed CPU time: 0.332949 s Remaining CPU time: 179.667 s c =============================================================================== c | 0 | 600 671 37800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2534 c Elapsed CPU time: 0.342947 s Remaining CPU time: 179.657 s c =============================================================================== c | 0 | 600 672 38300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2533 c Elapsed CPU time: 0.353946 s Remaining CPU time: 179.646 s c =============================================================================== c | 0 | 600 673 38800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2530 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s c =============================================================================== c | 0 | 600 674 39300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2529 c Elapsed CPU time: 0.374943 s Remaining CPU time: 179.625 s c =============================================================================== c | 0 | 600 675 39800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2528 c Elapsed CPU time: 0.385941 s Remaining CPU time: 179.614 s c =============================================================================== c | 0 | 600 676 40300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2527 c Elapsed CPU time: 0.397939 s Remaining CPU time: 179.602 s c =============================================================================== c | 0 | 600 677 40800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2526 c Elapsed CPU time: 0.410937 s Remaining CPU time: 179.589 s c =============================================================================== c | 0 | 600 678 41300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2525 c Elapsed CPU time: 0.421935 s Remaining CPU time: 179.578 s c =============================================================================== c | 0 | 600 679 41800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2524 c Elapsed CPU time: 0.432934 s Remaining CPU time: 179.567 s c =============================================================================== c | 0 | 600 680 42300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2522 c Elapsed CPU time: 0.443932 s Remaining CPU time: 179.556 s c =============================================================================== c | 0 | 600 681 42800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2521 c Elapsed CPU time: 0.45593 s Remaining CPU time: 179.544 s c =============================================================================== c | 0 | 600 682 43300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2520 c Elapsed CPU time: 0.466929 s Remaining CPU time: 179.533 s c =============================================================================== c | 0 | 600 683 43800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2517 c Elapsed CPU time: 0.477927 s Remaining CPU time: 179.522 s c =============================================================================== c | 0 | 600 684 44300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2512 c Elapsed CPU time: 0.489925 s Remaining CPU time: 179.51 s c =============================================================================== c | 0 | 600 685 44800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2511 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s c =============================================================================== c | 0 | 600 686 45300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2508 c Elapsed CPU time: 0.513921 s Remaining CPU time: 179.486 s c =============================================================================== c | 0 | 600 687 45800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2505 c Elapsed CPU time: 0.52492 s Remaining CPU time: 179.475 s c =============================================================================== c | 0 | 600 688 46300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2500 c Elapsed CPU time: 0.536918 s Remaining CPU time: 179.463 s c =============================================================================== c | 0 | 600 689 46800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2498 c Elapsed CPU time: 0.549916 s Remaining CPU time: 179.45 s c =============================================================================== c | 0 | 600 690 47300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2497 c Elapsed CPU time: 0.562914 s Remaining CPU time: 179.437 s c =============================================================================== c | 0 | 600 691 47800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2496 c Elapsed CPU time: 0.578911 s Remaining CPU time: 179.421 s c =============================================================================== c | 0 | 600 692 48300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2493 c Elapsed CPU time: 0.593909 s Remaining CPU time: 179.406 s c =============================================================================== c | 0 | 600 693 48800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2489 c Elapsed CPU time: 0.609907 s Remaining CPU time: 179.39 s c =============================================================================== c | 0 | 600 694 49300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2486 c Elapsed CPU time: 0.625904 s Remaining CPU time: 179.374 s c =============================================================================== c | 0 | 600 695 49800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2485 c Elapsed CPU time: 0.640902 s Remaining CPU time: 179.359 s c =============================================================================== c | 0 | 600 696 50300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2482 c Elapsed CPU time: 0.6559 s Remaining CPU time: 179.344 s c =============================================================================== c | 0 | 600 697 50800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2481 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s c =============================================================================== c | 0 | 600 698 51300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2479 c Elapsed CPU time: 0.686895 s Remaining CPU time: 179.313 s c =============================================================================== c | 0 | 600 699 51800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2478 c Elapsed CPU time: 0.697893 s Remaining CPU time: 179.302 s c =============================================================================== c | 0 | 600 700 52300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2476 c Elapsed CPU time: 0.712891 s Remaining CPU time: 179.287 s c =============================================================================== c | 0 | 600 701 52800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2472 c Elapsed CPU time: 0.727889 s Remaining CPU time: 179.272 s c =============================================================================== c | 0 | 600 702 53300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2471 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s c =============================================================================== c | 0 | 600 703 53800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2470 c Elapsed CPU time: 0.758884 s Remaining CPU time: 179.241 s c =============================================================================== c | 0 | 600 704 54300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2469 c Elapsed CPU time: 0.772882 s Remaining CPU time: 179.227 s c =============================================================================== c | 0 | 600 705 54800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2468 c Elapsed CPU time: 0.78688 s Remaining CPU time: 179.213 s c =============================================================================== c | 0 | 600 706 55300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2466 c Elapsed CPU time: 0.801878 s Remaining CPU time: 179.198 s c =============================================================================== c | 0 | 600 707 55800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2461 c Elapsed CPU time: 0.817875 s Remaining CPU time: 179.182 s c =============================================================================== c | 0 | 600 708 56300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2458 c Elapsed CPU time: 0.832873 s Remaining CPU time: 179.167 s c =============================================================================== c | 0 | 600 709 56800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2456 c Elapsed CPU time: 0.846871 s Remaining CPU time: 179.153 s c =============================================================================== c | 0 | 600 710 57300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2455 c Elapsed CPU time: 0.863868 s Remaining CPU time: 179.136 s c =============================================================================== c | 0 | 600 711 57800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2453 c Elapsed CPU time: 0.883865 s Remaining CPU time: 179.116 s c =============================================================================== c | 0 | 600 712 58300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2452 c Elapsed CPU time: 0.902862 s Remaining CPU time: 179.097 s c =============================================================================== c | 0 | 600 713 58800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2451 c Elapsed CPU time: 0.92086 s Remaining CPU time: 179.079 s c =============================================================================== c | 0 | 600 714 59300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2450 c Elapsed CPU time: 0.939857 s Remaining CPU time: 179.06 s c =============================================================================== c | 0 | 600 715 59800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2449 c Elapsed CPU time: 0.958854 s Remaining CPU time: 179.041 s c =============================================================================== c | 0 | 600 716 60300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2448 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 0 | 600 717 60800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2445 c Elapsed CPU time: 0.994848 s Remaining CPU time: 179.005 s c =============================================================================== c | 0 | 600 718 61300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2444 c Elapsed CPU time: 1.01385 s Remaining CPU time: 178.986 s c =============================================================================== c | 0 | 600 719 61800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2443 c Elapsed CPU time: 1.03384 s Remaining CPU time: 178.966 s c =============================================================================== c | 0 | 600 720 62300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2442 c Elapsed CPU time: 1.05384 s Remaining CPU time: 178.946 s c =============================================================================== c | 0 | 600 721 62800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2440 c Elapsed CPU time: 1.07384 s Remaining CPU time: 178.926 s c =============================================================================== c | 0 | 600 722 63300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2437 c Elapsed CPU time: 1.09283 s Remaining CPU time: 178.907 s c =============================================================================== c | 0 | 600 723 63800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2436 c Elapsed CPU time: 1.11383 s Remaining CPU time: 178.886 s c =============================================================================== c | 0 | 600 724 64300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2435 c Elapsed CPU time: 1.13583 s Remaining CPU time: 178.864 s c =============================================================================== c | 0 | 600 725 64800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2434 c Elapsed CPU time: 1.15682 s Remaining CPU time: 178.843 s c =============================================================================== c | 0 | 600 726 65300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2432 c Elapsed CPU time: 1.17682 s Remaining CPU time: 178.823 s c =============================================================================== c | 0 | 600 727 65800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2429 c Elapsed CPU time: 1.19782 s Remaining CPU time: 178.802 s c =============================================================================== c | 0 | 600 728 66300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2427 c Elapsed CPU time: 1.21781 s Remaining CPU time: 178.782 s c =============================================================================== c | 0 | 600 729 66800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2423 c Elapsed CPU time: 1.23781 s Remaining CPU time: 178.762 s c =============================================================================== c | 0 | 600 730 67300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2421 c Elapsed CPU time: 1.26181 s Remaining CPU time: 178.738 s c =============================================================================== c | 0 | 600 731 67800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2416 c Elapsed CPU time: 1.2848 s Remaining CPU time: 178.715 s c =============================================================================== c | 0 | 600 732 68300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2415 c Elapsed CPU time: 1.3088 s Remaining CPU time: 178.691 s c =============================================================================== c | 0 | 600 733 68800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2414 c Elapsed CPU time: 1.3308 s Remaining CPU time: 178.669 s c =============================================================================== c | 0 | 600 734 69300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2413 c Elapsed CPU time: 1.35379 s Remaining CPU time: 178.646 s c =============================================================================== c | 0 | 600 735 69800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2412 c Elapsed CPU time: 1.37579 s Remaining CPU time: 178.624 s c =============================================================================== c | 0 | 600 736 70300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2410 c Elapsed CPU time: 1.39879 s Remaining CPU time: 178.601 s c =============================================================================== c | 0 | 600 737 70800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2409 c Elapsed CPU time: 1.42078 s Remaining CPU time: 178.579 s c =============================================================================== c | 0 | 600 738 71300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2408 c Elapsed CPU time: 1.44578 s Remaining CPU time: 178.554 s c =============================================================================== c | 0 | 600 739 71800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2407 c Elapsed CPU time: 1.46778 s Remaining CPU time: 178.532 s c =============================================================================== c | 0 | 600 740 72300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2406 c Elapsed CPU time: 1.48977 s Remaining CPU time: 178.51 s c =============================================================================== c | 0 | 600 741 72800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2404 c Elapsed CPU time: 1.51477 s Remaining CPU time: 178.485 s c =============================================================================== c | 0 | 600 742 73300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2401 c Elapsed CPU time: 1.53877 s Remaining CPU time: 178.461 s c =============================================================================== c | 0 | 600 743 73800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2400 c Elapsed CPU time: 1.56376 s Remaining CPU time: 178.436 s c =============================================================================== c | 0 | 600 744 74300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2399 c Elapsed CPU time: 1.58776 s Remaining CPU time: 178.412 s c =============================================================================== c | 0 | 600 745 74800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2398 c Elapsed CPU time: 1.61175 s Remaining CPU time: 178.388 s c =============================================================================== c | 0 | 600 746 75300 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2397 c Elapsed CPU time: 1.63575 s Remaining CPU time: 178.364 s c =============================================================================== c | 0 | 600 747 75800 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 2396 c Elapsed CPU time: 1.65875 s Remaining CPU time: 178.341 s c =============================================================================== c | 1 | 600 748 76300 | 5000 1 466 | 0.000 % | c =============================================================================== c New solution: 2395 c Elapsed CPU time: 1.68474 s Remaining CPU time: 178.315 s c =============================================================================== c | 1 | 600 749 76800 | 5000 1 466 | 0.000 % | c =============================================================================== c New solution: 2394 c Elapsed CPU time: 1.71274 s Remaining CPU time: 178.287 s c =============================================================================== c | 1 | 600 750 77300 | 5000 1 466 | 0.000 % | c =============================================================================== c New solution: 2393 c Elapsed CPU time: 1.74174 s Remaining CPU time: 178.258 s c =============================================================================== c | 2 | 600 751 77800 | 5000 2 234 | 0.000 % | c =============================================================================== c New solution: 2392 c Elapsed CPU time: 1.77073 s Remaining CPU time: 178.229 s c =============================================================================== c | 2 | 600 752 78300 | 5000 2 234 | 0.000 % | c =============================================================================== c New solution: 2391 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s c =============================================================================== c | 2 | 600 753 78800 | 5000 2 234 | 0.000 % | c =============================================================================== c New solution: 2390 c Elapsed CPU time: 1.82772 s Remaining CPU time: 178.172 s c =============================================================================== c | 2 | 600 754 79300 | 5000 2 234 | 0.000 % | c =============================================================================== c New solution: 2389 c Elapsed CPU time: 1.85772 s Remaining CPU time: 178.142 s c =============================================================================== c | 2 | 600 755 79800 | 5000 2 234 | 0.000 % | c =============================================================================== c New solution: 2386 c Elapsed CPU time: 1.88971 s Remaining CPU time: 178.11 s c =============================================================================== c | 2 | 600 756 80300 | 5000 2 234 | 0.000 % | c =============================================================================== c New solution: 2385 c Elapsed CPU time: 1.91771 s Remaining CPU time: 178.082 s c =============================================================================== c | 2 | 600 757 80800 | 5000 2 234 | 0.000 % | c =============================================================================== c New solution: 2384 c Elapsed CPU time: 1.9467 s Remaining CPU time: 178.053 s c =============================================================================== c | 3 | 600 758 81300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2383 c Elapsed CPU time: 1.9767 s Remaining CPU time: 178.023 s c =============================================================================== c | 3 | 600 759 81800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2382 c Elapsed CPU time: 2.00869 s Remaining CPU time: 177.991 s c =============================================================================== c | 3 | 600 760 82300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2381 c Elapsed CPU time: 2.04069 s Remaining CPU time: 177.959 s c =============================================================================== c | 3 | 600 761 82800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2380 c Elapsed CPU time: 2.07069 s Remaining CPU time: 177.929 s c =============================================================================== c | 3 | 600 762 83300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2379 c Elapsed CPU time: 2.10268 s Remaining CPU time: 177.897 s c =============================================================================== c | 3 | 600 763 83800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2377 c Elapsed CPU time: 2.13567 s Remaining CPU time: 177.864 s c =============================================================================== c | 3 | 600 764 84300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2376 c Elapsed CPU time: 2.16667 s Remaining CPU time: 177.833 s c =============================================================================== c | 3 | 600 765 84800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2374 c Elapsed CPU time: 2.20267 s Remaining CPU time: 177.797 s c =============================================================================== c | 3 | 600 766 85300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2373 c Elapsed CPU time: 2.23466 s Remaining CPU time: 177.765 s c =============================================================================== c | 3 | 600 767 85800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2372 c Elapsed CPU time: 2.26465 s Remaining CPU time: 177.735 s c =============================================================================== c | 3 | 600 768 86300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2371 c Elapsed CPU time: 2.29865 s Remaining CPU time: 177.701 s c =============================================================================== c | 3 | 600 769 86800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2370 c Elapsed CPU time: 2.32665 s Remaining CPU time: 177.673 s c =============================================================================== c | 3 | 600 770 87300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2369 c Elapsed CPU time: 2.36464 s Remaining CPU time: 177.635 s c =============================================================================== c | 3 | 600 771 87800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2368 c Elapsed CPU time: 2.39663 s Remaining CPU time: 177.603 s c =============================================================================== c | 3 | 600 772 88300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2367 c Elapsed CPU time: 2.43163 s Remaining CPU time: 177.568 s c =============================================================================== c | 3 | 600 773 88800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2366 c Elapsed CPU time: 2.46762 s Remaining CPU time: 177.532 s c =============================================================================== c | 3 | 600 774 89300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2365 c Elapsed CPU time: 2.50062 s Remaining CPU time: 177.499 s c =============================================================================== c | 3 | 600 775 89800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2364 c Elapsed CPU time: 2.53761 s Remaining CPU time: 177.462 s c =============================================================================== c | 3 | 600 776 90300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2363 c Elapsed CPU time: 2.57061 s Remaining CPU time: 177.429 s c =============================================================================== c | 3 | 600 777 90800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2362 c Elapsed CPU time: 2.6046 s Remaining CPU time: 177.395 s c =============================================================================== c | 3 | 600 778 91300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2361 c Elapsed CPU time: 2.6406 s Remaining CPU time: 177.359 s c =============================================================================== c | 3 | 600 779 91800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2360 c Elapsed CPU time: 2.67459 s Remaining CPU time: 177.325 s c =============================================================================== c | 3 | 600 780 92300 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2359 c Elapsed CPU time: 2.70859 s Remaining CPU time: 177.291 s c =============================================================================== c | 3 | 600 781 92800 | 5000 3 158 | 0.000 % | c =============================================================================== c New solution: 2358 c Elapsed CPU time: 2.74658 s Remaining CPU time: 177.253 s c =============================================================================== c | 4 | 600 782 93300 | 5000 4 120 | 0.000 % | c =============================================================================== c New solution: 2357 c Elapsed CPU time: 2.78458 s Remaining CPU time: 177.215 s c =============================================================================== c | 4 | 600 783 93800 | 5000 4 120 | 0.000 % | c =============================================================================== c New solution: 2356 c Elapsed CPU time: 2.82357 s Remaining CPU time: 177.176 s c =============================================================================== c | 5 | 600 784 94300 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2354 c Elapsed CPU time: 2.85956 s Remaining CPU time: 177.14 s c =============================================================================== c | 5 | 600 785 94800 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2353 c Elapsed CPU time: 2.89456 s Remaining CPU time: 177.105 s c =============================================================================== c | 5 | 600 786 95300 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2352 c Elapsed CPU time: 2.93155 s Remaining CPU time: 177.068 s c =============================================================================== c | 5 | 600 787 95800 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2351 c Elapsed CPU time: 2.96655 s Remaining CPU time: 177.033 s c =============================================================================== c | 5 | 600 788 96300 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2350 c Elapsed CPU time: 3.00454 s Remaining CPU time: 176.995 s c =============================================================================== c | 5 | 600 789 96800 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2349 c Elapsed CPU time: 3.04054 s Remaining CPU time: 176.959 s c =============================================================================== c | 5 | 600 790 97300 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2348 c Elapsed CPU time: 3.08053 s Remaining CPU time: 176.919 s c =============================================================================== c | 5 | 600 791 97800 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2347 c Elapsed CPU time: 3.11753 s Remaining CPU time: 176.882 s c =============================================================================== c | 5 | 600 792 98300 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2346 c Elapsed CPU time: 3.15352 s Remaining CPU time: 176.846 s c =============================================================================== c | 5 | 600 793 98800 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2345 c Elapsed CPU time: 3.19051 s Remaining CPU time: 176.809 s c =============================================================================== c | 5 | 600 794 99300 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2343 c Elapsed CPU time: 3.22751 s Remaining CPU time: 176.772 s c =============================================================================== c | 5 | 600 795 99800 | 5000 5 96 | 0.000 % | c =============================================================================== c New solution: 2342 c Elapsed CPU time: 3.2665 s Remaining CPU time: 176.733 s c =============================================================================== c | 6 | 600 796 100300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2341 c Elapsed CPU time: 3.3075 s Remaining CPU time: 176.693 s c =============================================================================== c | 6 | 600 797 100800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2340 c Elapsed CPU time: 3.34649 s Remaining CPU time: 176.654 s c =============================================================================== c | 6 | 600 798 101300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2339 c Elapsed CPU time: 3.38748 s Remaining CPU time: 176.613 s c =============================================================================== c | 6 | 600 799 101800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2338 c Elapsed CPU time: 3.42648 s Remaining CPU time: 176.574 s c =============================================================================== c | 6 | 600 800 102300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2337 c Elapsed CPU time: 3.47147 s Remaining CPU time: 176.529 s c =============================================================================== c | 6 | 600 801 102800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2336 c Elapsed CPU time: 3.51647 s Remaining CPU time: 176.484 s c =============================================================================== c | 6 | 600 802 103300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2335 c Elapsed CPU time: 3.55846 s Remaining CPU time: 176.442 s c =============================================================================== c | 6 | 600 803 103800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2334 c Elapsed CPU time: 3.59845 s Remaining CPU time: 176.402 s c =============================================================================== c | 6 | 600 804 104300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2333 c Elapsed CPU time: 3.64045 s Remaining CPU time: 176.36 s c =============================================================================== c | 6 | 600 805 104800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2332 c Elapsed CPU time: 3.67944 s Remaining CPU time: 176.321 s c =============================================================================== c | 6 | 600 806 105300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2331 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s c =============================================================================== c | 6 | 600 807 105800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2330 c Elapsed CPU time: 3.76343 s Remaining CPU time: 176.237 s c =============================================================================== c | 6 | 600 808 106300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2329 c Elapsed CPU time: 3.80542 s Remaining CPU time: 176.195 s c =============================================================================== c | 6 | 600 809 106800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2328 c Elapsed CPU time: 3.84841 s Remaining CPU time: 176.152 s c =============================================================================== c | 6 | 600 810 107300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2325 c Elapsed CPU time: 3.89041 s Remaining CPU time: 176.11 s c =============================================================================== c | 6 | 600 811 107800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2324 c Elapsed CPU time: 3.9334 s Remaining CPU time: 176.067 s c =============================================================================== c | 6 | 600 812 108300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2323 c Elapsed CPU time: 3.98039 s Remaining CPU time: 176.02 s c =============================================================================== c | 6 | 600 813 108800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2322 c Elapsed CPU time: 4.02839 s Remaining CPU time: 175.972 s c =============================================================================== c | 6 | 600 814 109300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2321 c Elapsed CPU time: 4.07238 s Remaining CPU time: 175.928 s c =============================================================================== c | 6 | 600 815 109800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2320 c Elapsed CPU time: 4.12037 s Remaining CPU time: 175.88 s c =============================================================================== c | 6 | 600 816 110300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2319 c Elapsed CPU time: 4.16637 s Remaining CPU time: 175.834 s c =============================================================================== c | 6 | 600 817 110800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2318 c Elapsed CPU time: 4.21336 s Remaining CPU time: 175.787 s c =============================================================================== c | 6 | 600 818 111300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2317 c Elapsed CPU time: 4.25835 s Remaining CPU time: 175.742 s c =============================================================================== c | 6 | 600 819 111800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2316 c Elapsed CPU time: 4.30234 s Remaining CPU time: 175.698 s c =============================================================================== c | 6 | 600 820 112300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2315 c Elapsed CPU time: 4.34934 s Remaining CPU time: 175.651 s c =============================================================================== c | 6 | 600 821 112800 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2314 c Elapsed CPU time: 4.39233 s Remaining CPU time: 175.608 s c =============================================================================== c | 6 | 600 822 113300 | 5000 6 81 | 0.000 % | c =============================================================================== c New solution: 2313 c Elapsed CPU time: 4.43933 s Remaining CPU time: 175.561 s c =============================================================================== c | 7 | 600 823 113800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2312 c Elapsed CPU time: 4.48632 s Remaining CPU time: 175.514 s c =============================================================================== c | 7 | 600 824 114300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2311 c Elapsed CPU time: 4.53231 s Remaining CPU time: 175.468 s c =============================================================================== c | 7 | 600 825 114800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2310 c Elapsed CPU time: 4.5773 s Remaining CPU time: 175.423 s c =============================================================================== c | 7 | 600 826 115300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2309 c Elapsed CPU time: 4.6283 s Remaining CPU time: 175.372 s c =============================================================================== c | 7 | 600 827 115800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2308 c Elapsed CPU time: 4.67729 s Remaining CPU time: 175.323 s c =============================================================================== c | 7 | 600 828 116300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2307 c Elapsed CPU time: 4.72728 s Remaining CPU time: 175.273 s c =============================================================================== c | 7 | 600 829 116800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2306 c Elapsed CPU time: 4.77827 s Remaining CPU time: 175.222 s c =============================================================================== c | 7 | 600 830 117300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2305 c Elapsed CPU time: 4.82727 s Remaining CPU time: 175.173 s c =============================================================================== c | 7 | 600 831 117800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2304 c Elapsed CPU time: 4.87526 s Remaining CPU time: 175.125 s c =============================================================================== c | 7 | 600 832 118300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2303 c Elapsed CPU time: 4.92225 s Remaining CPU time: 175.078 s c =============================================================================== c | 7 | 600 833 118800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2302 c Elapsed CPU time: 4.97224 s Remaining CPU time: 175.028 s c =============================================================================== c | 7 | 600 834 119300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2301 c Elapsed CPU time: 5.02524 s Remaining CPU time: 174.975 s c =============================================================================== c | 7 | 600 835 119800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2300 c Elapsed CPU time: 5.07623 s Remaining CPU time: 174.924 s c =============================================================================== c | 7 | 600 836 120300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2299 c Elapsed CPU time: 5.12622 s Remaining CPU time: 174.874 s c =============================================================================== c | 7 | 600 837 120800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2298 c Elapsed CPU time: 5.18121 s Remaining CPU time: 174.819 s c =============================================================================== c | 7 | 600 838 121300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2297 c Elapsed CPU time: 5.2302 s Remaining CPU time: 174.77 s c =============================================================================== c | 7 | 600 839 121800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2296 c Elapsed CPU time: 5.2782 s Remaining CPU time: 174.722 s c =============================================================================== c | 7 | 600 840 122300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2295 c Elapsed CPU time: 5.32619 s Remaining CPU time: 174.674 s c =============================================================================== c | 7 | 600 841 122800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2294 c Elapsed CPU time: 5.37618 s Remaining CPU time: 174.624 s c =============================================================================== c | 7 | 600 842 123300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2293 c Elapsed CPU time: 5.42717 s Remaining CPU time: 174.573 s c =============================================================================== c | 7 | 600 843 123800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2292 c Elapsed CPU time: 5.48017 s Remaining CPU time: 174.52 s c =============================================================================== c | 7 | 600 844 124300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2291 c Elapsed CPU time: 5.53316 s Remaining CPU time: 174.467 s c =============================================================================== c | 7 | 600 845 124800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2290 c Elapsed CPU time: 5.58615 s Remaining CPU time: 174.414 s c =============================================================================== c | 7 | 600 846 125300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2289 c Elapsed CPU time: 5.64114 s Remaining CPU time: 174.359 s c =============================================================================== c | 7 | 600 847 125800 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2288 c Elapsed CPU time: 5.69213 s Remaining CPU time: 174.308 s c =============================================================================== c | 7 | 600 848 126300 | 5000 7 134 | 0.000 % | c =============================================================================== c New solution: 2287 c Elapsed CPU time: 5.74413 s Remaining CPU time: 174.256 s c =============================================================================== c | 8 | 600 849 126800 | 5000 8 118 | 0.000 % | c =============================================================================== c New solution: 2286 c Elapsed CPU time: 5.80012 s Remaining CPU time: 174.2 s c =============================================================================== c | 9 | 600 850 127300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 2285 c Elapsed CPU time: 5.85311 s Remaining CPU time: 174.147 s c =============================================================================== c | 9 | 600 851 127800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 2284 c Elapsed CPU time: 5.9081 s Remaining CPU time: 174.092 s c =============================================================================== c | 9 | 600 852 128300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 2283 c Elapsed CPU time: 5.96409 s Remaining CPU time: 174.036 s c =============================================================================== c | 9 | 600 853 128800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 2282 c Elapsed CPU time: 6.01708 s Remaining CPU time: 173.983 s c =============================================================================== c | 9 | 600 854 129300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 2281 c Elapsed CPU time: 6.07608 s Remaining CPU time: 173.924 s c =============================================================================== c | 9 | 600 855 129800 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 2280 c Elapsed CPU time: 6.13007 s Remaining CPU time: 173.87 s c =============================================================================== c | 9 | 600 856 130300 | 5000 9 106 | 0.000 % | c =============================================================================== c New solution: 2279 c Elapsed CPU time: 6.18606 s Remaining CPU time: 173.814 s c =============================================================================== c | 10 | 600 857 130800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2278 c Elapsed CPU time: 6.23905 s Remaining CPU time: 173.761 s c =============================================================================== c | 10 | 600 858 131300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2277 c Elapsed CPU time: 6.29504 s Remaining CPU time: 173.705 s c =============================================================================== c | 10 | 600 859 131800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2276 c Elapsed CPU time: 6.35203 s Remaining CPU time: 173.648 s c =============================================================================== c | 10 | 600 860 132300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2275 c Elapsed CPU time: 6.40902 s Remaining CPU time: 173.591 s c =============================================================================== c | 10 | 600 861 132800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2274 c Elapsed CPU time: 6.46602 s Remaining CPU time: 173.534 s c =============================================================================== c | 10 | 600 862 133300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2273 c Elapsed CPU time: 6.52601 s Remaining CPU time: 173.474 s c =============================================================================== c | 10 | 600 863 133800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2272 c Elapsed CPU time: 6.583 s Remaining CPU time: 173.417 s c =============================================================================== c | 10 | 600 864 134300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2271 c Elapsed CPU time: 6.64199 s Remaining CPU time: 173.358 s c =============================================================================== c | 10 | 600 865 134800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2270 c Elapsed CPU time: 6.70098 s Remaining CPU time: 173.299 s c =============================================================================== c | 10 | 600 866 135300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2269 c Elapsed CPU time: 6.75697 s Remaining CPU time: 173.243 s c =============================================================================== c | 10 | 600 867 135800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2268 c Elapsed CPU time: 6.81196 s Remaining CPU time: 173.188 s c =============================================================================== c | 10 | 600 868 136300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2267 c Elapsed CPU time: 6.87096 s Remaining CPU time: 173.129 s c =============================================================================== c | 10 | 600 869 136800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2266 c Elapsed CPU time: 6.92795 s Remaining CPU time: 173.072 s c =============================================================================== c | 10 | 600 870 137300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2265 c Elapsed CPU time: 6.98994 s Remaining CPU time: 173.01 s c =============================================================================== c | 10 | 600 871 137800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2264 c Elapsed CPU time: 7.04793 s Remaining CPU time: 172.952 s c =============================================================================== c | 10 | 600 872 138300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2263 c Elapsed CPU time: 7.10892 s Remaining CPU time: 172.891 s c =============================================================================== c | 10 | 600 873 138800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2262 c Elapsed CPU time: 7.16691 s Remaining CPU time: 172.833 s c =============================================================================== c | 10 | 600 874 139300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2261 c Elapsed CPU time: 7.2299 s Remaining CPU time: 172.77 s c =============================================================================== c | 10 | 600 875 139800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2260 c Elapsed CPU time: 7.28989 s Remaining CPU time: 172.71 s c =============================================================================== c | 10 | 600 876 140300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2259 c Elapsed CPU time: 7.35088 s Remaining CPU time: 172.649 s c =============================================================================== c | 10 | 600 877 140800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2258 c Elapsed CPU time: 7.41487 s Remaining CPU time: 172.585 s c =============================================================================== c | 10 | 600 878 141300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2257 c Elapsed CPU time: 7.47986 s Remaining CPU time: 172.52 s c =============================================================================== c | 10 | 600 879 141800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2256 c Elapsed CPU time: 7.53985 s Remaining CPU time: 172.46 s c =============================================================================== c | 10 | 600 880 142300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2255 c Elapsed CPU time: 7.60184 s Remaining CPU time: 172.398 s c =============================================================================== c | 10 | 600 881 142800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2254 c Elapsed CPU time: 7.66883 s Remaining CPU time: 172.331 s c =============================================================================== c | 10 | 600 882 143300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2253 c Elapsed CPU time: 7.73582 s Remaining CPU time: 172.264 s c =============================================================================== c | 10 | 600 883 143800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2252 c Elapsed CPU time: 7.79981 s Remaining CPU time: 172.2 s c =============================================================================== c | 10 | 600 884 144300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2251 c Elapsed CPU time: 7.8628 s Remaining CPU time: 172.137 s c =============================================================================== c | 10 | 600 885 144800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2250 c Elapsed CPU time: 7.92579 s Remaining CPU time: 172.074 s c =============================================================================== c | 10 | 600 886 145300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2249 c Elapsed CPU time: 7.99078 s Remaining CPU time: 172.009 s c =============================================================================== c | 10 | 600 887 145800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2248 c Elapsed CPU time: 8.05377 s Remaining CPU time: 171.946 s c =============================================================================== c | 10 | 600 888 146300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2247 c Elapsed CPU time: 8.12276 s Remaining CPU time: 171.877 s c =============================================================================== c | 10 | 600 889 146800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2246 c Elapsed CPU time: 8.18975 s Remaining CPU time: 171.81 s c =============================================================================== c | 10 | 600 890 147300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2245 c Elapsed CPU time: 8.25474 s Remaining CPU time: 171.745 s c =============================================================================== c | 10 | 600 891 147800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2244 c Elapsed CPU time: 8.31774 s Remaining CPU time: 171.682 s c =============================================================================== c | 10 | 600 892 148300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2243 c Elapsed CPU time: 8.38373 s Remaining CPU time: 171.616 s c =============================================================================== c | 10 | 600 893 148800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2242 c Elapsed CPU time: 8.45371 s Remaining CPU time: 171.546 s c =============================================================================== c | 10 | 600 894 149300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2241 c Elapsed CPU time: 8.5207 s Remaining CPU time: 171.479 s c =============================================================================== c | 10 | 600 895 149800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2240 c Elapsed CPU time: 8.58969 s Remaining CPU time: 171.41 s c =============================================================================== c | 10 | 600 896 150300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2239 c Elapsed CPU time: 8.65668 s Remaining CPU time: 171.343 s c =============================================================================== c | 10 | 600 897 150800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2238 c Elapsed CPU time: 8.72267 s Remaining CPU time: 171.277 s c =============================================================================== c | 10 | 600 898 151300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2237 c Elapsed CPU time: 8.79266 s Remaining CPU time: 171.207 s c =============================================================================== c | 10 | 600 899 151800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2236 c Elapsed CPU time: 8.86165 s Remaining CPU time: 171.138 s c =============================================================================== c | 10 | 600 900 152300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 8.92864 s Remaining CPU time: 171.071 s c =============================================================================== c | 10 | 600 901 152800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2234 c Elapsed CPU time: 8.99963 s Remaining CPU time: 171 s c =============================================================================== c | 10 | 600 902 153300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2233 c Elapsed CPU time: 9.06862 s Remaining CPU time: 170.931 s c =============================================================================== c | 10 | 600 903 153800 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2232 c Elapsed CPU time: 9.13661 s Remaining CPU time: 170.863 s c =============================================================================== c | 10 | 600 904 154300 | 5000 10 96 | 0.000 % | c =============================================================================== c New solution: 2231 c Elapsed CPU time: 9.2036 s Remaining CPU time: 170.796 s c =============================================================================== c | 11 | 600 905 154800 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2230 c Elapsed CPU time: 9.27859 s Remaining CPU time: 170.721 s c =============================================================================== c | 11 | 600 906 155300 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2229 c Elapsed CPU time: 9.34458 s Remaining CPU time: 170.655 s c =============================================================================== c | 11 | 600 907 155800 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2228 c Elapsed CPU time: 9.42057 s Remaining CPU time: 170.579 s c =============================================================================== c | 11 | 600 908 156300 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2227 c Elapsed CPU time: 9.49256 s Remaining CPU time: 170.507 s c =============================================================================== c | 11 | 600 909 156800 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2226 c Elapsed CPU time: 9.57054 s Remaining CPU time: 170.429 s c =============================================================================== c | 11 | 600 910 157300 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2225 c Elapsed CPU time: 9.63953 s Remaining CPU time: 170.36 s c =============================================================================== c | 11 | 600 911 157800 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2224 c Elapsed CPU time: 9.70852 s Remaining CPU time: 170.291 s c =============================================================================== c | 11 | 600 912 158300 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2223 c Elapsed CPU time: 9.77951 s Remaining CPU time: 170.22 s c =============================================================================== c | 11 | 600 913 158800 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2222 c Elapsed CPU time: 9.8535 s Remaining CPU time: 170.146 s c =============================================================================== c | 11 | 600 914 159300 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2221 c Elapsed CPU time: 9.92549 s Remaining CPU time: 170.075 s c =============================================================================== c | 11 | 600 915 159800 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2220 c Elapsed CPU time: 9.99748 s Remaining CPU time: 170.003 s c =============================================================================== c | 11 | 600 916 160300 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2219 c Elapsed CPU time: 10.0735 s Remaining CPU time: 169.927 s c =============================================================================== c | 11 | 600 917 160800 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2218 c Elapsed CPU time: 10.1485 s Remaining CPU time: 169.852 s c =============================================================================== c | 11 | 600 918 161300 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2217 c Elapsed CPU time: 10.2234 s Remaining CPU time: 169.777 s c =============================================================================== c | 11 | 600 919 161800 | 5000 11 87 | 0.000 % | c =============================================================================== c New solution: 2216 c Elapsed CPU time: 10.2974 s Remaining CPU time: 169.703 s c =============================================================================== c | 12 | 600 920 162300 | 5000 12 80 | 0.000 % | c =============================================================================== c New solution: 2215 c Elapsed CPU time: 10.3704 s Remaining CPU time: 169.63 s c =============================================================================== c | 13 | 600 921 162800 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2214 c Elapsed CPU time: 10.4494 s Remaining CPU time: 169.551 s c =============================================================================== c | 13 | 600 922 163300 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2213 c Elapsed CPU time: 10.5244 s Remaining CPU time: 169.476 s c =============================================================================== c | 13 | 600 923 163800 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2212 c Elapsed CPU time: 10.5984 s Remaining CPU time: 169.402 s c =============================================================================== c | 13 | 600 924 164300 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2211 c Elapsed CPU time: 10.6754 s Remaining CPU time: 169.325 s c =============================================================================== c | 13 | 600 925 164800 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2210 c Elapsed CPU time: 10.7464 s Remaining CPU time: 169.254 s c =============================================================================== c | 13 | 600 926 165300 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2209 c Elapsed CPU time: 10.8224 s Remaining CPU time: 169.178 s c =============================================================================== c | 13 | 600 927 165800 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2208 c Elapsed CPU time: 10.8963 s Remaining CPU time: 169.104 s c =============================================================================== c | 13 | 600 928 166300 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2207 c Elapsed CPU time: 10.9683 s Remaining CPU time: 169.032 s c =============================================================================== c | 13 | 600 929 166800 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2206 c Elapsed CPU time: 11.0463 s Remaining CPU time: 168.954 s c =============================================================================== c | 13 | 600 930 167300 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2205 c Elapsed CPU time: 11.1213 s Remaining CPU time: 168.879 s c =============================================================================== c | 13 | 600 931 167800 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2204 c Elapsed CPU time: 11.1993 s Remaining CPU time: 168.801 s c =============================================================================== c | 13 | 600 932 168300 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2203 c Elapsed CPU time: 11.2763 s Remaining CPU time: 168.724 s c =============================================================================== c | 13 | 600 933 168800 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2202 c Elapsed CPU time: 11.3503 s Remaining CPU time: 168.65 s c =============================================================================== c | 13 | 600 934 169300 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2201 c Elapsed CPU time: 11.4323 s Remaining CPU time: 168.568 s c =============================================================================== c | 13 | 600 935 169800 | 5000 13 75 | 0.000 % | c =============================================================================== c New solution: 2200 c Elapsed CPU time: 11.5122 s Remaining CPU time: 168.488 s c =============================================================================== c | 14 | 600 936 170300 | 5000 14 70 | 0.000 % | c =============================================================================== c New solution: 2199 c Elapsed CPU time: 11.5932 s Remaining CPU time: 168.407 s c =============================================================================== c | 14 | 600 937 170800 | 5000 14 70 | 0.000 % | c =============================================================================== c New solution: 2198 c Elapsed CPU time: 11.6772 s Remaining CPU time: 168.323 s c =============================================================================== c | 14 | 600 938 171300 | 5000 14 70 | 0.000 % | c =============================================================================== c New solution: 2197 c Elapsed CPU time: 11.7572 s Remaining CPU time: 168.243 s c =============================================================================== c | 14 | 600 939 171800 | 5000 14 70 | 0.000 % | c =============================================================================== c New solution: 2196 c Elapsed CPU time: 11.8372 s Remaining CPU time: 168.163 s c =============================================================================== c | 14 | 600 940 172300 | 5000 14 70 | 0.000 % | c =============================================================================== c New solution: 2195 c Elapsed CPU time: 11.9192 s Remaining CPU time: 168.081 s c =============================================================================== c | 14 | 600 941 172800 | 5000 14 70 | 0.000 % | c =============================================================================== c New solution: 2194 c Elapsed CPU time: 11.9992 s Remaining CPU time: 168.001 s c =============================================================================== c | 15 | 600 942 173300 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2193 c Elapsed CPU time: 12.0792 s Remaining CPU time: 167.921 s c =============================================================================== c | 15 | 600 943 173800 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2192 c Elapsed CPU time: 12.1582 s Remaining CPU time: 167.842 s c =============================================================================== c | 15 | 600 944 174300 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2191 c Elapsed CPU time: 12.2361 s Remaining CPU time: 167.764 s c =============================================================================== c | 15 | 600 945 174800 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2190 c Elapsed CPU time: 12.3181 s Remaining CPU time: 167.682 s c =============================================================================== c | 15 | 600 946 175300 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2189 c Elapsed CPU time: 12.4021 s Remaining CPU time: 167.598 s c =============================================================================== c | 15 | 600 947 175800 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2188 c Elapsed CPU time: 12.4841 s Remaining CPU time: 167.516 s c =============================================================================== c | 15 | 600 948 176300 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2187 c Elapsed CPU time: 12.5711 s Remaining CPU time: 167.429 s c =============================================================================== c | 15 | 600 949 176800 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2186 c Elapsed CPU time: 12.6561 s Remaining CPU time: 167.344 s c =============================================================================== c | 15 | 600 950 177300 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2185 c Elapsed CPU time: 12.7341 s Remaining CPU time: 167.266 s c =============================================================================== c | 15 | 600 951 177800 | 5000 15 94 | 0.000 % | c =============================================================================== c New solution: 2184 c Elapsed CPU time: 12.8171 s Remaining CPU time: 167.183 s c =============================================================================== c | 17 | 600 952 178300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2183 c Elapsed CPU time: 12.9 s Remaining CPU time: 167.1 s c =============================================================================== c | 17 | 600 953 178800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2182 c Elapsed CPU time: 12.979 s Remaining CPU time: 167.021 s c =============================================================================== c | 17 | 600 954 179300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2181 c Elapsed CPU time: 13.064 s Remaining CPU time: 166.936 s c =============================================================================== c | 17 | 600 955 179800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2180 c Elapsed CPU time: 13.148 s Remaining CPU time: 166.852 s c =============================================================================== c | 17 | 600 956 180300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2179 c Elapsed CPU time: 13.235 s Remaining CPU time: 166.765 s c =============================================================================== c | 17 | 600 957 180800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2178 c Elapsed CPU time: 13.318 s Remaining CPU time: 166.682 s c =============================================================================== c | 17 | 600 958 181300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2177 c Elapsed CPU time: 13.4 s Remaining CPU time: 166.6 s c =============================================================================== c | 17 | 600 959 181800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2176 c Elapsed CPU time: 13.484 s Remaining CPU time: 166.516 s c =============================================================================== c | 17 | 600 960 182300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2175 c Elapsed CPU time: 13.5699 s Remaining CPU time: 166.43 s c =============================================================================== c | 17 | 600 961 182800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2174 c Elapsed CPU time: 13.6519 s Remaining CPU time: 166.348 s c =============================================================================== c | 17 | 600 962 183300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2173 c Elapsed CPU time: 13.7339 s Remaining CPU time: 166.266 s c =============================================================================== c | 17 | 600 963 183800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2172 c Elapsed CPU time: 13.8219 s Remaining CPU time: 166.178 s c =============================================================================== c | 17 | 600 964 184300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2171 c Elapsed CPU time: 13.9089 s Remaining CPU time: 166.091 s c =============================================================================== c | 17 | 600 965 184800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2170 c Elapsed CPU time: 13.9959 s Remaining CPU time: 166.004 s c =============================================================================== c | 17 | 600 966 185300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2169 c Elapsed CPU time: 14.0869 s Remaining CPU time: 165.913 s c =============================================================================== c | 17 | 600 967 185800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2168 c Elapsed CPU time: 14.1738 s Remaining CPU time: 165.826 s c =============================================================================== c | 17 | 600 968 186300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2167 c Elapsed CPU time: 14.2638 s Remaining CPU time: 165.736 s c =============================================================================== c | 17 | 600 969 186800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2166 c Elapsed CPU time: 14.3458 s Remaining CPU time: 165.654 s c =============================================================================== c | 17 | 600 970 187300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2165 c Elapsed CPU time: 14.4318 s Remaining CPU time: 165.568 s c =============================================================================== c | 17 | 600 971 187800 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2164 c Elapsed CPU time: 14.5198 s Remaining CPU time: 165.48 s c =============================================================================== c | 17 | 600 972 188300 | 5000 17 84 | 0.000 % | c =============================================================================== c New solution: 2163 c Elapsed CPU time: 14.6098 s Remaining CPU time: 165.39 s c =============================================================================== c | 18 | 600 973 188800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2162 c Elapsed CPU time: 14.7028 s Remaining CPU time: 165.297 s c =============================================================================== c | 18 | 600 974 189300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2161 c Elapsed CPU time: 14.7908 s Remaining CPU time: 165.209 s c =============================================================================== c | 18 | 600 975 189800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2160 c Elapsed CPU time: 14.8737 s Remaining CPU time: 165.126 s c =============================================================================== c | 18 | 600 976 190300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2159 c Elapsed CPU time: 14.9667 s Remaining CPU time: 165.033 s c =============================================================================== c | 18 | 600 977 190800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2158 c Elapsed CPU time: 15.0567 s Remaining CPU time: 164.943 s c =============================================================================== c | 18 | 600 978 191300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2157 c Elapsed CPU time: 15.1487 s Remaining CPU time: 164.851 s c =============================================================================== c | 18 | 600 979 191800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2156 c Elapsed CPU time: 15.2417 s Remaining CPU time: 164.758 s c =============================================================================== c | 18 | 600 980 192300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2155 c Elapsed CPU time: 15.3267 s Remaining CPU time: 164.673 s c =============================================================================== c | 18 | 600 981 192800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2154 c Elapsed CPU time: 15.4127 s Remaining CPU time: 164.587 s c =============================================================================== c | 18 | 600 982 193300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2153 c Elapsed CPU time: 15.5036 s Remaining CPU time: 164.496 s c =============================================================================== c | 18 | 600 983 193800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2152 c Elapsed CPU time: 15.5946 s Remaining CPU time: 164.405 s c =============================================================================== c | 18 | 600 984 194300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2151 c Elapsed CPU time: 15.6876 s Remaining CPU time: 164.312 s c =============================================================================== c | 18 | 600 985 194800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2150 c Elapsed CPU time: 15.7766 s Remaining CPU time: 164.223 s c =============================================================================== c | 18 | 600 986 195300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2149 c Elapsed CPU time: 15.8696 s Remaining CPU time: 164.13 s c =============================================================================== c | 18 | 600 987 195800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2148 c Elapsed CPU time: 15.9656 s Remaining CPU time: 164.034 s c =============================================================================== c | 18 | 600 988 196300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2147 c Elapsed CPU time: 16.0576 s Remaining CPU time: 163.942 s c =============================================================================== c | 18 | 600 989 196800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2146 c Elapsed CPU time: 16.1515 s Remaining CPU time: 163.848 s c =============================================================================== c | 18 | 600 990 197300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2145 c Elapsed CPU time: 16.2425 s Remaining CPU time: 163.757 s c =============================================================================== c | 18 | 600 991 197800 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2144 c Elapsed CPU time: 16.3355 s Remaining CPU time: 163.664 s c =============================================================================== c | 18 | 600 992 198300 | 5000 18 80 | 0.000 % | c =============================================================================== c New solution: 2143 c Elapsed CPU time: 16.4265 s Remaining CPU time: 163.573 s c =============================================================================== c | 19 | 600 993 198800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2142 c Elapsed CPU time: 16.5195 s Remaining CPU time: 163.481 s c =============================================================================== c | 19 | 600 994 199300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2141 c Elapsed CPU time: 16.6125 s Remaining CPU time: 163.388 s c =============================================================================== c | 19 | 600 995 199800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2140 c Elapsed CPU time: 16.7105 s Remaining CPU time: 163.29 s c =============================================================================== c | 19 | 600 996 200300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2139 c Elapsed CPU time: 16.8024 s Remaining CPU time: 163.198 s c =============================================================================== c | 19 | 600 997 200800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2138 c Elapsed CPU time: 16.8994 s Remaining CPU time: 163.101 s c =============================================================================== c | 19 | 600 998 201300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2137 c Elapsed CPU time: 16.9984 s Remaining CPU time: 163.002 s c =============================================================================== c | 19 | 600 999 201800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2136 c Elapsed CPU time: 17.0914 s Remaining CPU time: 162.909 s c =============================================================================== c | 19 | 600 1000 202300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2135 c Elapsed CPU time: 17.1814 s Remaining CPU time: 162.819 s c =============================================================================== c | 19 | 600 1001 202800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2134 c Elapsed CPU time: 17.2744 s Remaining CPU time: 162.726 s c =============================================================================== c | 19 | 600 1002 203300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2133 c Elapsed CPU time: 17.3734 s Remaining CPU time: 162.627 s c =============================================================================== c | 19 | 600 1003 203800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2132 c Elapsed CPU time: 17.4643 s Remaining CPU time: 162.536 s c =============================================================================== c | 19 | 600 1004 204300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2131 c Elapsed CPU time: 17.5583 s Remaining CPU time: 162.442 s c =============================================================================== c | 19 | 600 1005 204800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2130 c Elapsed CPU time: 17.6553 s Remaining CPU time: 162.345 s c =============================================================================== c | 19 | 600 1006 205300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2129 c Elapsed CPU time: 17.7513 s Remaining CPU time: 162.249 s c =============================================================================== c | 19 | 600 1007 205800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2128 c Elapsed CPU time: 17.8483 s Remaining CPU time: 162.152 s c =============================================================================== c | 19 | 600 1008 206300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2127 c Elapsed CPU time: 17.9443 s Remaining CPU time: 162.056 s c =============================================================================== c | 19 | 600 1009 206800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2126 c Elapsed CPU time: 18.0413 s Remaining CPU time: 161.959 s c =============================================================================== c | 19 | 600 1010 207300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2125 c Elapsed CPU time: 18.1412 s Remaining CPU time: 161.859 s c =============================================================================== c | 19 | 600 1011 207800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2124 c Elapsed CPU time: 18.2422 s Remaining CPU time: 161.758 s c =============================================================================== c | 19 | 600 1012 208300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2123 c Elapsed CPU time: 18.3382 s Remaining CPU time: 161.662 s c =============================================================================== c | 19 | 600 1013 208800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2122 c Elapsed CPU time: 18.4342 s Remaining CPU time: 161.566 s c =============================================================================== c | 19 | 600 1014 209300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2121 c Elapsed CPU time: 18.5392 s Remaining CPU time: 161.461 s c =============================================================================== c | 19 | 600 1015 209800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2120 c Elapsed CPU time: 18.6362 s Remaining CPU time: 161.364 s c =============================================================================== c | 19 | 600 1016 210300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2119 c Elapsed CPU time: 18.7322 s Remaining CPU time: 161.268 s c =============================================================================== c | 19 | 600 1017 210800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2118 c Elapsed CPU time: 18.8261 s Remaining CPU time: 161.174 s c =============================================================================== c | 19 | 600 1018 211300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2117 c Elapsed CPU time: 18.9261 s Remaining CPU time: 161.074 s c =============================================================================== c | 19 | 600 1019 211800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2116 c Elapsed CPU time: 19.0311 s Remaining CPU time: 160.969 s c =============================================================================== c | 19 | 600 1020 212300 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2115 c Elapsed CPU time: 19.1281 s Remaining CPU time: 160.872 s c =============================================================================== c | 19 | 600 1021 212800 | 5000 19 76 | 0.000 % | c =============================================================================== c New solution: 2114 c Elapsed CPU time: 19.2321 s Remaining CPU time: 160.768 s c =============================================================================== c | 20 | 600 1022 213300 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2113 c Elapsed CPU time: 19.3341 s Remaining CPU time: 160.666 s c =============================================================================== c | 20 | 600 1023 213800 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2112 c Elapsed CPU time: 19.434 s Remaining CPU time: 160.566 s c =============================================================================== c | 20 | 600 1024 214300 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2111 c Elapsed CPU time: 19.539 s Remaining CPU time: 160.461 s c =============================================================================== c | 20 | 600 1025 214800 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2110 c Elapsed CPU time: 19.642 s Remaining CPU time: 160.358 s c =============================================================================== c | 20 | 600 1026 215300 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2109 c Elapsed CPU time: 19.744 s Remaining CPU time: 160.256 s c =============================================================================== c | 20 | 600 1027 215800 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2108 c Elapsed CPU time: 19.846 s Remaining CPU time: 160.154 s c =============================================================================== c | 20 | 600 1028 216300 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2107 c Elapsed CPU time: 19.946 s Remaining CPU time: 160.054 s c =============================================================================== c | 20 | 600 1029 216800 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2106 c Elapsed CPU time: 20.048 s Remaining CPU time: 159.952 s c =============================================================================== c | 20 | 600 1030 217300 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2105 c Elapsed CPU time: 20.1579 s Remaining CPU time: 159.842 s c =============================================================================== c | 20 | 600 1031 217800 | 5000 20 72 | 0.000 % | c =============================================================================== c New solution: 2104 c Elapsed CPU time: 20.2559 s Remaining CPU time: 159.744 s c =============================================================================== c | 21 | 600 1032 218300 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2103 c Elapsed CPU time: 20.3599 s Remaining CPU time: 159.64 s c =============================================================================== c | 21 | 600 1033 218800 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2102 c Elapsed CPU time: 20.4609 s Remaining CPU time: 159.539 s c =============================================================================== c | 21 | 600 1034 219300 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2101 c Elapsed CPU time: 20.5619 s Remaining CPU time: 159.438 s c =============================================================================== c | 21 | 600 1035 219800 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2100 c Elapsed CPU time: 20.6649 s Remaining CPU time: 159.335 s c =============================================================================== c | 21 | 600 1036 220300 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2099 c Elapsed CPU time: 20.7698 s Remaining CPU time: 159.23 s c =============================================================================== c | 21 | 600 1037 220800 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2098 c Elapsed CPU time: 20.8798 s Remaining CPU time: 159.12 s c =============================================================================== c | 21 | 600 1038 221300 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2097 c Elapsed CPU time: 20.9788 s Remaining CPU time: 159.021 s c =============================================================================== c | 21 | 600 1039 221800 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2096 c Elapsed CPU time: 21.0898 s Remaining CPU time: 158.91 s c =============================================================================== c | 21 | 600 1040 222300 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2095 c Elapsed CPU time: 21.1898 s Remaining CPU time: 158.81 s c =============================================================================== c | 21 | 600 1041 222800 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2094 c Elapsed CPU time: 21.2938 s Remaining CPU time: 158.706 s c =============================================================================== c | 21 | 600 1042 223300 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2093 c Elapsed CPU time: 21.3967 s Remaining CPU time: 158.603 s c =============================================================================== c | 21 | 600 1043 223800 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2092 c Elapsed CPU time: 21.4987 s Remaining CPU time: 158.501 s c =============================================================================== c | 21 | 600 1044 224300 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2091 c Elapsed CPU time: 21.6067 s Remaining CPU time: 158.393 s c =============================================================================== c | 21 | 600 1045 224800 | 5000 21 69 | 0.000 % | c =============================================================================== c New solution: 2090 c Elapsed CPU time: 21.7287 s Remaining CPU time: 158.271 s c =============================================================================== c | 23 | 600 1046 225300 | 5000 23 64 | 0.000 % | c =============================================================================== c New solution: 2089 c Elapsed CPU time: 21.8307 s Remaining CPU time: 158.169 s c =============================================================================== c | 24 | 600 1047 225800 | 5000 24 61 | 0.000 % | c =============================================================================== c New solution: 2088 c Elapsed CPU time: 21.9347 s Remaining CPU time: 158.065 s c =============================================================================== c | 25 | 600 1048 226300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2087 c Elapsed CPU time: 22.0386 s Remaining CPU time: 157.961 s c =============================================================================== c | 25 | 600 1049 226800 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2086 c Elapsed CPU time: 22.1526 s Remaining CPU time: 157.847 s c =============================================================================== c | 25 | 600 1050 227300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2085 c Elapsed CPU time: 22.2596 s Remaining CPU time: 157.74 s c =============================================================================== c | 25 | 600 1051 227800 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2084 c Elapsed CPU time: 22.3706 s Remaining CPU time: 157.629 s c =============================================================================== c | 25 | 600 1052 228300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2083 c Elapsed CPU time: 22.4796 s Remaining CPU time: 157.52 s c =============================================================================== c | 25 | 600 1053 228800 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2082 c Elapsed CPU time: 22.5876 s Remaining CPU time: 157.412 s c =============================================================================== c | 25 | 600 1054 229300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2081 c Elapsed CPU time: 22.6965 s Remaining CPU time: 157.303 s c =============================================================================== c | 25 | 600 1055 229800 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2080 c Elapsed CPU time: 22.8095 s Remaining CPU time: 157.19 s c =============================================================================== c | 25 | 600 1056 230300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2079 c Elapsed CPU time: 22.9195 s Remaining CPU time: 157.08 s c =============================================================================== c | 25 | 600 1057 230800 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2078 c Elapsed CPU time: 23.0265 s Remaining CPU time: 156.974 s c =============================================================================== c | 25 | 600 1058 231300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2077 c Elapsed CPU time: 23.1355 s Remaining CPU time: 156.865 s c =============================================================================== c | 25 | 600 1059 231800 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2076 c Elapsed CPU time: 23.2465 s Remaining CPU time: 156.754 s c =============================================================================== c | 25 | 600 1060 232300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2075 c Elapsed CPU time: 23.3534 s Remaining CPU time: 156.647 s c =============================================================================== c | 25 | 600 1061 232800 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2074 c Elapsed CPU time: 23.4664 s Remaining CPU time: 156.534 s c =============================================================================== c | 25 | 600 1062 233300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2073 c Elapsed CPU time: 23.5794 s Remaining CPU time: 156.421 s c =============================================================================== c | 25 | 600 1063 233800 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2072 c Elapsed CPU time: 23.6954 s Remaining CPU time: 156.305 s c =============================================================================== c | 25 | 600 1064 234300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2071 c Elapsed CPU time: 23.8004 s Remaining CPU time: 156.2 s c =============================================================================== c | 25 | 600 1065 234800 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2070 c Elapsed CPU time: 23.9114 s Remaining CPU time: 156.089 s c =============================================================================== c | 25 | 600 1066 235300 | 5000 25 75 | 0.000 % | c =============================================================================== c New solution: 2069 c Elapsed CPU time: 24.0183 s Remaining CPU time: 155.982 s c =============================================================================== c | 26 | 600 1067 235800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2068 c Elapsed CPU time: 24.1313 s Remaining CPU time: 155.869 s c =============================================================================== c | 26 | 600 1068 236300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2067 c Elapsed CPU time: 24.2493 s Remaining CPU time: 155.751 s c =============================================================================== c | 26 | 600 1069 236800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2066 c Elapsed CPU time: 24.3623 s Remaining CPU time: 155.638 s c =============================================================================== c | 26 | 600 1070 237300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2065 c Elapsed CPU time: 24.4743 s Remaining CPU time: 155.526 s c =============================================================================== c | 26 | 600 1071 237800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2064 c Elapsed CPU time: 24.5863 s Remaining CPU time: 155.414 s c =============================================================================== c | 26 | 600 1072 238300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2063 c Elapsed CPU time: 24.7032 s Remaining CPU time: 155.297 s c =============================================================================== c | 26 | 600 1073 238800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2062 c Elapsed CPU time: 24.8152 s Remaining CPU time: 155.185 s c =============================================================================== c | 26 | 600 1074 239300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2061 c Elapsed CPU time: 24.9332 s Remaining CPU time: 155.067 s c =============================================================================== c | 26 | 600 1075 239800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2060 c Elapsed CPU time: 25.0422 s Remaining CPU time: 154.958 s c =============================================================================== c | 26 | 600 1076 240300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2059 c Elapsed CPU time: 25.1622 s Remaining CPU time: 154.838 s c =============================================================================== c | 26 | 600 1077 240800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2058 c Elapsed CPU time: 25.2742 s Remaining CPU time: 154.726 s c =============================================================================== c | 26 | 600 1078 241300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2057 c Elapsed CPU time: 25.3801 s Remaining CPU time: 154.62 s c =============================================================================== c | 26 | 600 1079 241800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2056 c Elapsed CPU time: 25.4941 s Remaining CPU time: 154.506 s c =============================================================================== c | 26 | 600 1080 242300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2055 c Elapsed CPU time: 25.6101 s Remaining CPU time: 154.39 s c =============================================================================== c | 26 | 600 1081 242800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2054 c Elapsed CPU time: 25.7211 s Remaining CPU time: 154.279 s c =============================================================================== c | 26 | 600 1082 243300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2053 c Elapsed CPU time: 25.8381 s Remaining CPU time: 154.162 s c =============================================================================== c | 26 | 600 1083 243800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2052 c Elapsed CPU time: 25.9541 s Remaining CPU time: 154.046 s c =============================================================================== c | 26 | 600 1084 244300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2051 c Elapsed CPU time: 26.069 s Remaining CPU time: 153.931 s c =============================================================================== c | 26 | 600 1085 244800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2050 c Elapsed CPU time: 26.181 s Remaining CPU time: 153.819 s c =============================================================================== c | 26 | 600 1086 245300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2049 c Elapsed CPU time: 26.296 s Remaining CPU time: 153.704 s c =============================================================================== c | 26 | 600 1087 245800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2048 c Elapsed CPU time: 26.408 s Remaining CPU time: 153.592 s c =============================================================================== c | 26 | 600 1088 246300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2047 c Elapsed CPU time: 26.527 s Remaining CPU time: 153.473 s c =============================================================================== c | 26 | 600 1089 246800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2046 c Elapsed CPU time: 26.6489 s Remaining CPU time: 153.351 s c =============================================================================== c | 26 | 600 1090 247300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2045 c Elapsed CPU time: 26.7689 s Remaining CPU time: 153.231 s c =============================================================================== c | 26 | 600 1091 247800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2044 c Elapsed CPU time: 26.8819 s Remaining CPU time: 153.118 s c =============================================================================== c | 26 | 600 1092 248300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2043 c Elapsed CPU time: 27.0009 s Remaining CPU time: 152.999 s c =============================================================================== c | 26 | 600 1093 248800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2042 c Elapsed CPU time: 27.1189 s Remaining CPU time: 152.881 s c =============================================================================== c | 26 | 600 1094 249300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2041 c Elapsed CPU time: 27.2339 s Remaining CPU time: 152.766 s c =============================================================================== c | 26 | 600 1095 249800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2040 c Elapsed CPU time: 27.3478 s Remaining CPU time: 152.652 s c =============================================================================== c | 26 | 600 1096 250300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2039 c Elapsed CPU time: 27.4678 s Remaining CPU time: 152.532 s c =============================================================================== c | 26 | 600 1097 250800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2038 c Elapsed CPU time: 27.5788 s Remaining CPU time: 152.421 s c =============================================================================== c | 26 | 600 1098 251300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2037 c Elapsed CPU time: 27.6928 s Remaining CPU time: 152.307 s c =============================================================================== c | 26 | 600 1099 251800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2036 c Elapsed CPU time: 27.8108 s Remaining CPU time: 152.189 s c =============================================================================== c | 26 | 600 1100 252300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2035 c Elapsed CPU time: 27.9218 s Remaining CPU time: 152.078 s c =============================================================================== c | 26 | 600 1101 252800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2034 c Elapsed CPU time: 28.0367 s Remaining CPU time: 151.963 s c =============================================================================== c | 26 | 600 1102 253300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2033 c Elapsed CPU time: 28.1567 s Remaining CPU time: 151.843 s c =============================================================================== c | 26 | 600 1103 253800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2032 c Elapsed CPU time: 28.2747 s Remaining CPU time: 151.725 s c =============================================================================== c | 26 | 600 1104 254300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2031 c Elapsed CPU time: 28.3907 s Remaining CPU time: 151.609 s c =============================================================================== c | 26 | 600 1105 254800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2030 c Elapsed CPU time: 28.5147 s Remaining CPU time: 151.485 s c =============================================================================== c | 26 | 600 1106 255300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2029 c Elapsed CPU time: 28.6356 s Remaining CPU time: 151.364 s c =============================================================================== c | 26 | 600 1107 255800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2028 c Elapsed CPU time: 28.7516 s Remaining CPU time: 151.248 s c =============================================================================== c | 26 | 600 1108 256300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2027 c Elapsed CPU time: 28.8716 s Remaining CPU time: 151.128 s c =============================================================================== c | 26 | 600 1109 256800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2026 c Elapsed CPU time: 28.9916 s Remaining CPU time: 151.008 s c =============================================================================== c | 26 | 600 1110 257300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2025 c Elapsed CPU time: 29.1106 s Remaining CPU time: 150.889 s c =============================================================================== c | 26 | 600 1111 257800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2024 c Elapsed CPU time: 29.2296 s Remaining CPU time: 150.77 s c =============================================================================== c | 26 | 600 1112 258300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2023 c Elapsed CPU time: 29.3545 s Remaining CPU time: 150.645 s c =============================================================================== c | 26 | 600 1113 258800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2022 c Elapsed CPU time: 29.4805 s Remaining CPU time: 150.519 s c =============================================================================== c | 26 | 600 1114 259300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2021 c Elapsed CPU time: 29.5995 s Remaining CPU time: 150.4 s c =============================================================================== c | 26 | 600 1115 259800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2020 c Elapsed CPU time: 29.7245 s Remaining CPU time: 150.276 s c =============================================================================== c | 26 | 600 1116 260300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2019 c Elapsed CPU time: 29.8515 s Remaining CPU time: 150.149 s c =============================================================================== c | 26 | 600 1117 260800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2018 c Elapsed CPU time: 29.9764 s Remaining CPU time: 150.024 s c =============================================================================== c | 26 | 600 1118 261300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2017 c Elapsed CPU time: 30.0984 s Remaining CPU time: 149.902 s c =============================================================================== c | 26 | 600 1119 261800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2016 c Elapsed CPU time: 30.2204 s Remaining CPU time: 149.78 s c =============================================================================== c | 26 | 600 1120 262300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2015 c Elapsed CPU time: 30.3424 s Remaining CPU time: 149.658 s c =============================================================================== c | 26 | 600 1121 262800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2014 c Elapsed CPU time: 30.4684 s Remaining CPU time: 149.532 s c =============================================================================== c | 26 | 600 1122 263300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2013 c Elapsed CPU time: 30.5874 s Remaining CPU time: 149.413 s c =============================================================================== c | 26 | 600 1123 263800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2012 c Elapsed CPU time: 30.7043 s Remaining CPU time: 149.296 s c =============================================================================== c | 26 | 600 1124 264300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2011 c Elapsed CPU time: 30.8303 s Remaining CPU time: 149.17 s c =============================================================================== c | 26 | 600 1125 264800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2010 c Elapsed CPU time: 30.9523 s Remaining CPU time: 149.048 s c =============================================================================== c | 26 | 600 1126 265300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2009 c Elapsed CPU time: 31.0783 s Remaining CPU time: 148.922 s c =============================================================================== c | 26 | 600 1127 265800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2008 c Elapsed CPU time: 31.2023 s Remaining CPU time: 148.798 s c =============================================================================== c | 26 | 600 1128 266300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2007 c Elapsed CPU time: 31.3212 s Remaining CPU time: 148.679 s c =============================================================================== c | 26 | 600 1129 266800 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2006 c Elapsed CPU time: 31.4352 s Remaining CPU time: 148.565 s c =============================================================================== c | 26 | 600 1130 267300 | 5000 26 72 | 0.000 % | c =============================================================================== c New solution: 2005 c Elapsed CPU time: 31.5622 s Remaining CPU time: 148.438 s c =============================================================================== c | 27 | 600 1131 267800 | 5000 27 70 | 0.000 % | c =============================================================================== c New solution: 2004 c Elapsed CPU time: 31.6842 s Remaining CPU time: 148.316 s c =============================================================================== c | 27 | 600 1132 268300 | 5000 27 70 | 0.000 % | c =============================================================================== c New solution: 2003 c Elapsed CPU time: 31.8072 s Remaining CPU time: 148.193 s c =============================================================================== c | 27 | 600 1133 268800 | 5000 27 70 | 0.000 % | c =============================================================================== c New solution: 2002 c Elapsed CPU time: 31.9221 s Remaining CPU time: 148.078 s c =============================================================================== c | 27 | 600 1134 269300 | 5000 27 70 | 0.000 % | c =============================================================================== c New solution: 2001 c Elapsed CPU time: 32.0481 s Remaining CPU time: 147.952 s c =============================================================================== c | 27 | 600 1135 269800 | 5000 27 70 | 0.000 % | c =============================================================================== c New solution: 2000 c Elapsed CPU time: 32.1661 s Remaining CPU time: 147.834 s c =============================================================================== c | 27 | 600 1136 270300 | 5000 27 70 | 0.000 % | c =============================================================================== c New solution: 1999 c Elapsed CPU time: 32.2891 s Remaining CPU time: 147.711 s c =============================================================================== c | 28 | 600 1137 270800 | 5000 28 68 | 0.000 % | c =============================================================================== c New solution: 1998 c Elapsed CPU time: 32.4221 s Remaining CPU time: 147.578 s c =============================================================================== c | 29 | 600 1138 271300 | 5000 29 66 | 0.000 % | c =============================================================================== c New solution: 1997 c Elapsed CPU time: 32.5461 s Remaining CPU time: 147.454 s c =============================================================================== c | 29 | 600 1139 271800 | 5000 29 66 | 0.000 % | c =============================================================================== c New solution: 1996 c Elapsed CPU time: 32.67 s Remaining CPU time: 147.33 s c =============================================================================== c | 30 | 600 1140 272300 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1995 c Elapsed CPU time: 32.796 s Remaining CPU time: 147.204 s c =============================================================================== c | 30 | 600 1141 272800 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1994 c Elapsed CPU time: 32.918 s Remaining CPU time: 147.082 s c =============================================================================== c | 30 | 600 1142 273300 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1993 c Elapsed CPU time: 33.04 s Remaining CPU time: 146.96 s c =============================================================================== c | 30 | 600 1143 273800 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1992 c Elapsed CPU time: 33.164 s Remaining CPU time: 146.836 s c =============================================================================== c | 30 | 600 1144 274300 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1991 c Elapsed CPU time: 33.2899 s Remaining CPU time: 146.71 s c =============================================================================== c | 30 | 600 1145 274800 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1990 c Elapsed CPU time: 33.4189 s Remaining CPU time: 146.581 s c =============================================================================== c | 30 | 600 1146 275300 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1989 c Elapsed CPU time: 33.5429 s Remaining CPU time: 146.457 s c =============================================================================== c | 30 | 600 1147 275800 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1988 c Elapsed CPU time: 33.6679 s Remaining CPU time: 146.332 s c =============================================================================== c | 30 | 600 1148 276300 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1987 c Elapsed CPU time: 33.7929 s Remaining CPU time: 146.207 s c =============================================================================== c | 30 | 600 1149 276800 | 5000 30 64 | 0.000 % | c =============================================================================== c New solution: 1986 c Elapsed CPU time: 33.9298 s Remaining CPU time: 146.07 s c =============================================================================== c | 31 | 600 1150 277300 | 5000 31 62 | 0.000 % | c =============================================================================== c New solution: 1985 c Elapsed CPU time: 34.0558 s Remaining CPU time: 145.944 s c =============================================================================== c | 31 | 600 1151 277800 | 5000 31 62 | 0.000 % | c =============================================================================== c New solution: 1984 c Elapsed CPU time: 34.1778 s Remaining CPU time: 145.822 s c =============================================================================== c | 31 | 600 1152 278300 | 5000 31 62 | 0.000 % | c =============================================================================== c New solution: 1983 c Elapsed CPU time: 34.2988 s Remaining CPU time: 145.701 s c =============================================================================== c | 32 | 600 1153 278800 | 5000 32 60 | 0.000 % | c =============================================================================== c New solution: 1982 c Elapsed CPU time: 34.4258 s Remaining CPU time: 145.574 s c =============================================================================== c | 32 | 600 1154 279300 | 5000 32 60 | 0.000 % | c =============================================================================== c New solution: 1981 c Elapsed CPU time: 34.5487 s Remaining CPU time: 145.451 s c =============================================================================== c | 32 | 600 1155 279800 | 5000 32 60 | 0.000 % | c =============================================================================== c New solution: 1980 c Elapsed CPU time: 34.6717 s Remaining CPU time: 145.328 s c =============================================================================== c | 32 | 600 1156 280300 | 5000 32 60 | 0.000 % | c =============================================================================== c New solution: 1979 c Elapsed CPU time: 34.7957 s Remaining CPU time: 145.204 s c =============================================================================== c | 32 | 600 1157 280800 | 5000 32 60 | 0.000 % | c =============================================================================== c New solution: 1978 c Elapsed CPU time: 34.9217 s Remaining CPU time: 145.078 s c =============================================================================== c | 32 | 600 1158 281300 | 5000 32 60 | 0.000 % | c =============================================================================== c New solution: 1977 c Elapsed CPU time: 35.0627 s Remaining CPU time: 144.937 s c =============================================================================== c | 33 | 600 1159 281800 | 5000 33 70 | 0.000 % | c =============================================================================== c New solution: 1976 c Elapsed CPU time: 35.1917 s Remaining CPU time: 144.808 s c =============================================================================== c | 33 | 600 1160 282300 | 5000 33 70 | 0.000 % | c =============================================================================== c New solution: 1975 c Elapsed CPU time: 35.3206 s Remaining CPU time: 144.679 s c =============================================================================== c | 34 | 600 1161 282800 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1974 c Elapsed CPU time: 35.4476 s Remaining CPU time: 144.552 s c =============================================================================== c | 34 | 600 1162 283300 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1973 c Elapsed CPU time: 35.5846 s Remaining CPU time: 144.415 s c =============================================================================== c | 34 | 600 1163 283800 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1972 c Elapsed CPU time: 35.7156 s Remaining CPU time: 144.284 s c =============================================================================== c | 34 | 600 1164 284300 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1971 c Elapsed CPU time: 35.8475 s Remaining CPU time: 144.152 s c =============================================================================== c | 34 | 600 1165 284800 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1970 c Elapsed CPU time: 35.9895 s Remaining CPU time: 144.01 s c =============================================================================== c | 34 | 600 1166 285300 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1969 c Elapsed CPU time: 36.1195 s Remaining CPU time: 143.88 s c =============================================================================== c | 34 | 600 1167 285800 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1968 c Elapsed CPU time: 36.2505 s Remaining CPU time: 143.75 s c =============================================================================== c | 34 | 600 1168 286300 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1967 c Elapsed CPU time: 36.3935 s Remaining CPU time: 143.607 s c =============================================================================== c | 34 | 600 1169 286800 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1966 c Elapsed CPU time: 36.5204 s Remaining CPU time: 143.48 s c =============================================================================== c | 34 | 600 1170 287300 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1965 c Elapsed CPU time: 36.6464 s Remaining CPU time: 143.354 s c =============================================================================== c | 34 | 600 1171 287800 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1964 c Elapsed CPU time: 36.7864 s Remaining CPU time: 143.214 s c =============================================================================== c | 34 | 600 1172 288300 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1963 c Elapsed CPU time: 36.9294 s Remaining CPU time: 143.071 s c =============================================================================== c | 34 | 600 1173 288800 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1962 c Elapsed CPU time: 37.0634 s Remaining CPU time: 142.937 s c =============================================================================== c | 34 | 600 1174 289300 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1961 c Elapsed CPU time: 37.2023 s Remaining CPU time: 142.798 s c =============================================================================== c | 34 | 600 1175 289800 | 5000 34 68 | 0.000 % | c =============================================================================== c New solution: 1960 c Elapsed CPU time: 37.3313 s Remaining CPU time: 142.669 s c =============================================================================== c | 35 | 600 1176 290300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1959 c Elapsed CPU time: 37.4613 s Remaining CPU time: 142.539 s c =============================================================================== c | 35 | 600 1177 290800 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1958 c Elapsed CPU time: 37.5943 s Remaining CPU time: 142.406 s c =============================================================================== c | 35 | 600 1178 291300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1957 c Elapsed CPU time: 37.7223 s Remaining CPU time: 142.278 s c =============================================================================== c | 35 | 600 1179 291800 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1956 c Elapsed CPU time: 37.8512 s Remaining CPU time: 142.149 s c =============================================================================== c | 35 | 600 1180 292300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1955 c Elapsed CPU time: 37.9932 s Remaining CPU time: 142.007 s c =============================================================================== c | 35 | 600 1181 292800 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1954 c Elapsed CPU time: 38.1362 s Remaining CPU time: 141.864 s c =============================================================================== c | 35 | 600 1182 293300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1953 c Elapsed CPU time: 38.2762 s Remaining CPU time: 141.724 s c =============================================================================== c | 35 | 600 1183 293800 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1952 c Elapsed CPU time: 38.4162 s Remaining CPU time: 141.584 s c =============================================================================== c | 35 | 600 1184 294300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1951 c Elapsed CPU time: 38.5491 s Remaining CPU time: 141.451 s c =============================================================================== c | 35 | 600 1185 294800 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1950 c Elapsed CPU time: 38.6881 s Remaining CPU time: 141.312 s c =============================================================================== c | 35 | 600 1186 295300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1949 c Elapsed CPU time: 38.8261 s Remaining CPU time: 141.174 s c =============================================================================== c | 35 | 600 1187 295800 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1948 c Elapsed CPU time: 38.9611 s Remaining CPU time: 141.039 s c =============================================================================== c | 35 | 600 1188 296300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1947 c Elapsed CPU time: 39.1051 s Remaining CPU time: 140.895 s c =============================================================================== c | 35 | 600 1189 296800 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1946 c Elapsed CPU time: 39.258 s Remaining CPU time: 140.742 s c =============================================================================== c | 35 | 600 1190 297300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1945 c Elapsed CPU time: 39.402 s Remaining CPU time: 140.598 s c =============================================================================== c | 35 | 600 1191 297800 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1944 c Elapsed CPU time: 39.547 s Remaining CPU time: 140.453 s c =============================================================================== c | 35 | 600 1192 298300 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1943 c Elapsed CPU time: 39.693 s Remaining CPU time: 140.307 s c =============================================================================== c | 35 | 600 1193 298800 | 5000 35 66 | 0.000 % | c =============================================================================== c New solution: 1942 c Elapsed CPU time: 39.8339 s Remaining CPU time: 140.166 s c =============================================================================== c | 36 | 600 1194 299300 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1941 c Elapsed CPU time: 39.9749 s Remaining CPU time: 140.025 s c =============================================================================== c | 36 | 600 1195 299800 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1940 c Elapsed CPU time: 40.1129 s Remaining CPU time: 139.887 s c =============================================================================== c | 36 | 600 1196 300300 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1939 c Elapsed CPU time: 40.2569 s Remaining CPU time: 139.743 s c =============================================================================== c | 36 | 600 1197 300800 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1938 c Elapsed CPU time: 40.3959 s Remaining CPU time: 139.604 s c =============================================================================== c | 36 | 600 1198 301300 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1937 c Elapsed CPU time: 40.5378 s Remaining CPU time: 139.462 s c =============================================================================== c | 36 | 600 1199 301800 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1936 c Elapsed CPU time: 40.6718 s Remaining CPU time: 139.328 s c =============================================================================== c | 36 | 600 1200 302300 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1935 c Elapsed CPU time: 40.8068 s Remaining CPU time: 139.193 s c =============================================================================== c | 36 | 600 1201 302800 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1934 c Elapsed CPU time: 40.9448 s Remaining CPU time: 139.055 s c =============================================================================== c | 36 | 600 1202 303300 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1933 c Elapsed CPU time: 41.0838 s Remaining CPU time: 138.916 s c =============================================================================== c | 36 | 600 1203 303800 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1932 c Elapsed CPU time: 41.2297 s Remaining CPU time: 138.77 s c =============================================================================== c | 36 | 600 1204 304300 | 5000 36 65 | 0.000 % | c =============================================================================== c New solution: 1931 c Elapsed CPU time: 41.3677 s Remaining CPU time: 138.632 s c =============================================================================== c | 37 | 600 1205 304800 | 5000 37 63 | 0.000 % | c =============================================================================== c New solution: 1930 c Elapsed CPU time: 41.5097 s Remaining CPU time: 138.49 s c =============================================================================== c | 37 | 600 1206 305300 | 5000 37 63 | 0.000 % | c =============================================================================== c New solution: 1929 c Elapsed CPU time: 41.6557 s Remaining CPU time: 138.344 s c =============================================================================== c | 38 | 600 1207 305800 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 1928 c Elapsed CPU time: 41.7916 s Remaining CPU time: 138.208 s c =============================================================================== c | 38 | 600 1208 306300 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 1927 c Elapsed CPU time: 41.9356 s Remaining CPU time: 138.064 s c =============================================================================== c | 38 | 600 1209 306800 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 1926 c Elapsed CPU time: 42.0716 s Remaining CPU time: 137.928 s c =============================================================================== c | 38 | 600 1210 307300 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 1925 c Elapsed CPU time: 42.2096 s Remaining CPU time: 137.79 s c =============================================================================== c | 38 | 600 1211 307800 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 1924 c Elapsed CPU time: 42.3466 s Remaining CPU time: 137.653 s c =============================================================================== c | 38 | 600 1212 308300 | 5000 38 62 | 0.000 % | c =============================================================================== c New solution: 1923 c Elapsed CPU time: 42.4845 s Remaining CPU time: 137.515 s c =============================================================================== c | 39 | 600 1213 308800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1922 c Elapsed CPU time: 42.6205 s Remaining CPU time: 137.379 s c =============================================================================== c | 39 | 600 1214 309300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1921 c Elapsed CPU time: 42.7555 s Remaining CPU time: 137.245 s c =============================================================================== c | 39 | 600 1215 309800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1920 c Elapsed CPU time: 42.9005 s Remaining CPU time: 137.1 s c =============================================================================== c | 39 | 600 1216 310300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1919 c Elapsed CPU time: 43.0505 s Remaining CPU time: 136.95 s c =============================================================================== c | 39 | 600 1217 310800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1918 c Elapsed CPU time: 43.1914 s Remaining CPU time: 136.809 s c =============================================================================== c | 39 | 600 1218 311300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1917 c Elapsed CPU time: 43.3354 s Remaining CPU time: 136.665 s c =============================================================================== c | 39 | 600 1219 311800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1916 c Elapsed CPU time: 43.4874 s Remaining CPU time: 136.513 s c =============================================================================== c | 39 | 600 1220 312300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1915 c Elapsed CPU time: 43.6234 s Remaining CPU time: 136.377 s c =============================================================================== c | 39 | 600 1221 312800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1914 c Elapsed CPU time: 43.7683 s Remaining CPU time: 136.232 s c =============================================================================== c | 39 | 600 1222 313300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1913 c Elapsed CPU time: 43.9113 s Remaining CPU time: 136.089 s c =============================================================================== c | 39 | 600 1223 313800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1912 c Elapsed CPU time: 44.0583 s Remaining CPU time: 135.942 s c =============================================================================== c | 39 | 600 1224 314300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1911 c Elapsed CPU time: 44.2073 s Remaining CPU time: 135.793 s c =============================================================================== c | 39 | 600 1225 314800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1910 c Elapsed CPU time: 44.3503 s Remaining CPU time: 135.65 s c =============================================================================== c | 39 | 600 1226 315300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1909 c Elapsed CPU time: 44.4962 s Remaining CPU time: 135.504 s c =============================================================================== c | 39 | 600 1227 315800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1908 c Elapsed CPU time: 44.6442 s Remaining CPU time: 135.356 s c =============================================================================== c | 39 | 600 1228 316300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1907 c Elapsed CPU time: 44.7862 s Remaining CPU time: 135.214 s c =============================================================================== c | 39 | 600 1229 316800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1906 c Elapsed CPU time: 44.9322 s Remaining CPU time: 135.068 s c =============================================================================== c | 39 | 600 1230 317300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1905 c Elapsed CPU time: 45.0791 s Remaining CPU time: 134.921 s c =============================================================================== c | 39 | 600 1231 317800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1904 c Elapsed CPU time: 45.2331 s Remaining CPU time: 134.767 s c =============================================================================== c | 39 | 600 1232 318300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1903 c Elapsed CPU time: 45.3721 s Remaining CPU time: 134.628 s c =============================================================================== c | 39 | 600 1233 318800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1902 c Elapsed CPU time: 45.5161 s Remaining CPU time: 134.484 s c =============================================================================== c | 39 | 600 1234 319300 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1901 c Elapsed CPU time: 45.6641 s Remaining CPU time: 134.336 s c =============================================================================== c | 39 | 600 1235 319800 | 5000 39 70 | 0.000 % | c =============================================================================== c New solution: 1900 c Elapsed CPU time: 45.813 s Remaining CPU time: 134.187 s c =============================================================================== c | 40 | 600 1236 320300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1899 c Elapsed CPU time: 45.97 s Remaining CPU time: 134.03 s c =============================================================================== c | 40 | 600 1237 320800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1898 c Elapsed CPU time: 46.111 s Remaining CPU time: 133.889 s c =============================================================================== c | 40 | 600 1238 321300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1897 c Elapsed CPU time: 46.253 s Remaining CPU time: 133.747 s c =============================================================================== c | 40 | 600 1239 321800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1896 c Elapsed CPU time: 46.4079 s Remaining CPU time: 133.592 s c =============================================================================== c | 40 | 600 1240 322300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1895 c Elapsed CPU time: 46.5529 s Remaining CPU time: 133.447 s c =============================================================================== c | 40 | 600 1241 322800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1894 c Elapsed CPU time: 46.7089 s Remaining CPU time: 133.291 s c =============================================================================== c | 40 | 600 1242 323300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1893 c Elapsed CPU time: 46.8519 s Remaining CPU time: 133.148 s c =============================================================================== c | 40 | 600 1243 323800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1892 c Elapsed CPU time: 47.0029 s Remaining CPU time: 132.997 s c =============================================================================== c | 40 | 600 1244 324300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1891 c Elapsed CPU time: 47.1588 s Remaining CPU time: 132.841 s c =============================================================================== c | 40 | 600 1245 324800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1890 c Elapsed CPU time: 47.3128 s Remaining CPU time: 132.687 s c =============================================================================== c | 40 | 600 1246 325300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1889 c Elapsed CPU time: 47.4618 s Remaining CPU time: 132.538 s c =============================================================================== c | 40 | 600 1247 325800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1888 c Elapsed CPU time: 47.6128 s Remaining CPU time: 132.387 s c =============================================================================== c | 40 | 600 1248 326300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1887 c Elapsed CPU time: 47.7577 s Remaining CPU time: 132.242 s c =============================================================================== c | 40 | 600 1249 326800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1886 c Elapsed CPU time: 47.9037 s Remaining CPU time: 132.096 s c =============================================================================== c | 40 | 600 1250 327300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1885 c Elapsed CPU time: 48.0457 s Remaining CPU time: 131.954 s c =============================================================================== c | 40 | 600 1251 327800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1884 c Elapsed CPU time: 48.1937 s Remaining CPU time: 131.806 s c =============================================================================== c | 40 | 600 1252 328300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1883 c Elapsed CPU time: 48.3397 s Remaining CPU time: 131.66 s c =============================================================================== c | 40 | 600 1253 328800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1882 c Elapsed CPU time: 48.4956 s Remaining CPU time: 131.504 s c =============================================================================== c | 40 | 600 1254 329300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1881 c Elapsed CPU time: 48.6546 s Remaining CPU time: 131.345 s c =============================================================================== c | 40 | 600 1255 329800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1880 c Elapsed CPU time: 48.7976 s Remaining CPU time: 131.202 s c =============================================================================== c | 40 | 600 1256 330300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1879 c Elapsed CPU time: 48.9626 s Remaining CPU time: 131.037 s c =============================================================================== c | 40 | 600 1257 330800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1878 c Elapsed CPU time: 49.1115 s Remaining CPU time: 130.888 s c =============================================================================== c | 40 | 600 1258 331300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1877 c Elapsed CPU time: 49.2685 s Remaining CPU time: 130.731 s c =============================================================================== c | 40 | 600 1259 331800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1876 c Elapsed CPU time: 49.4215 s Remaining CPU time: 130.579 s c =============================================================================== c | 40 | 600 1260 332300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1875 c Elapsed CPU time: 49.5715 s Remaining CPU time: 130.429 s c =============================================================================== c | 40 | 600 1261 332800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1874 c Elapsed CPU time: 49.7304 s Remaining CPU time: 130.27 s c =============================================================================== c | 40 | 600 1262 333300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1873 c Elapsed CPU time: 49.8814 s Remaining CPU time: 130.119 s c =============================================================================== c | 40 | 600 1263 333800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1872 c Elapsed CPU time: 50.0334 s Remaining CPU time: 129.967 s c =============================================================================== c | 40 | 600 1264 334300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1871 c Elapsed CPU time: 50.1874 s Remaining CPU time: 129.813 s c =============================================================================== c | 40 | 600 1265 334800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1870 c Elapsed CPU time: 50.3513 s Remaining CPU time: 129.649 s c =============================================================================== c | 40 | 600 1266 335300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1869 c Elapsed CPU time: 50.5063 s Remaining CPU time: 129.494 s c =============================================================================== c | 40 | 600 1267 335800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1868 c Elapsed CPU time: 50.6563 s Remaining CPU time: 129.344 s c =============================================================================== c | 40 | 600 1268 336300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1867 c Elapsed CPU time: 50.8063 s Remaining CPU time: 129.194 s c =============================================================================== c | 40 | 600 1269 336800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1866 c Elapsed CPU time: 50.9563 s Remaining CPU time: 129.044 s c =============================================================================== c | 40 | 600 1270 337300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1865 c Elapsed CPU time: 51.1192 s Remaining CPU time: 128.881 s c =============================================================================== c | 40 | 600 1271 337800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1864 c Elapsed CPU time: 51.2762 s Remaining CPU time: 128.724 s c =============================================================================== c | 40 | 600 1272 338300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1863 c Elapsed CPU time: 51.4312 s Remaining CPU time: 128.569 s c =============================================================================== c | 40 | 600 1273 338800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1862 c Elapsed CPU time: 51.5902 s Remaining CPU time: 128.41 s c =============================================================================== c | 40 | 600 1274 339300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1861 c Elapsed CPU time: 51.7491 s Remaining CPU time: 128.251 s c =============================================================================== c | 40 | 600 1275 339800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1860 c Elapsed CPU time: 51.9021 s Remaining CPU time: 128.098 s c =============================================================================== c | 40 | 600 1276 340300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1859 c Elapsed CPU time: 52.0531 s Remaining CPU time: 127.947 s c =============================================================================== c | 40 | 600 1277 340800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1858 c Elapsed CPU time: 52.2141 s Remaining CPU time: 127.786 s c =============================================================================== c | 40 | 600 1278 341300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1857 c Elapsed CPU time: 52.367 s Remaining CPU time: 127.633 s c =============================================================================== c | 40 | 600 1279 341800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1856 c Elapsed CPU time: 52.528 s Remaining CPU time: 127.472 s c =============================================================================== c | 40 | 600 1280 342300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1855 c Elapsed CPU time: 52.684 s Remaining CPU time: 127.316 s c =============================================================================== c | 40 | 600 1281 342800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1854 c Elapsed CPU time: 52.838 s Remaining CPU time: 127.162 s c =============================================================================== c | 40 | 600 1282 343300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1853 c Elapsed CPU time: 52.9919 s Remaining CPU time: 127.008 s c =============================================================================== c | 40 | 600 1283 343800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1852 c Elapsed CPU time: 53.1439 s Remaining CPU time: 126.856 s c =============================================================================== c | 40 | 600 1284 344300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1851 c Elapsed CPU time: 53.3149 s Remaining CPU time: 126.685 s c =============================================================================== c | 40 | 600 1285 344800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1850 c Elapsed CPU time: 53.4669 s Remaining CPU time: 126.533 s c =============================================================================== c | 40 | 600 1286 345300 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1849 c Elapsed CPU time: 53.6138 s Remaining CPU time: 126.386 s c =============================================================================== c | 40 | 600 1287 345800 | 5000 40 77 | 0.000 % | c =============================================================================== c New solution: 1848 c Elapsed CPU time: 53.7778 s Remaining CPU time: 126.222 s c =============================================================================== c | 41 | 600 1288 346300 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1847 c Elapsed CPU time: 53.9328 s Remaining CPU time: 126.067 s c =============================================================================== c | 41 | 600 1289 346800 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1846 c Elapsed CPU time: 54.0918 s Remaining CPU time: 125.908 s c =============================================================================== c | 41 | 600 1290 347300 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1845 c Elapsed CPU time: 54.2418 s Remaining CPU time: 125.758 s c =============================================================================== c | 41 | 600 1291 347800 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1844 c Elapsed CPU time: 54.3917 s Remaining CPU time: 125.608 s c =============================================================================== c | 41 | 600 1292 348300 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1843 c Elapsed CPU time: 54.5477 s Remaining CPU time: 125.452 s c =============================================================================== c | 41 | 600 1293 348800 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1842 c Elapsed CPU time: 54.6947 s Remaining CPU time: 125.305 s c =============================================================================== c | 41 | 600 1294 349300 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1841 c Elapsed CPU time: 54.8557 s Remaining CPU time: 125.144 s c =============================================================================== c | 41 | 600 1295 349800 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1840 c Elapsed CPU time: 55.0136 s Remaining CPU time: 124.986 s c =============================================================================== c | 41 | 600 1296 350300 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1839 c Elapsed CPU time: 55.1786 s Remaining CPU time: 124.821 s c =============================================================================== c | 41 | 600 1297 350800 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1838 c Elapsed CPU time: 55.3386 s Remaining CPU time: 124.661 s c =============================================================================== c | 41 | 600 1298 351300 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1837 c Elapsed CPU time: 55.4986 s Remaining CPU time: 124.501 s c =============================================================================== c | 41 | 600 1299 351800 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1836 c Elapsed CPU time: 55.6485 s Remaining CPU time: 124.351 s c =============================================================================== c | 41 | 600 1300 352300 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1835 c Elapsed CPU time: 55.8015 s Remaining CPU time: 124.198 s c =============================================================================== c | 41 | 600 1301 352800 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1834 c Elapsed CPU time: 55.9565 s Remaining CPU time: 124.044 s c =============================================================================== c | 41 | 600 1302 353300 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1833 c Elapsed CPU time: 56.1115 s Remaining CPU time: 123.889 s c =============================================================================== c | 41 | 600 1303 353800 | 5000 41 76 | 0.000 % | c =============================================================================== c New solution: 1832 c Elapsed CPU time: 56.2774 s Remaining CPU time: 123.723 s c =============================================================================== c | 42 | 600 1304 354300 | 5000 42 74 | 0.000 % | c =============================================================================== c New solution: 1831 c Elapsed CPU time: 56.4284 s Remaining CPU time: 123.572 s c =============================================================================== c | 42 | 600 1305 354800 | 5000 42 74 | 0.000 % | c =============================================================================== c New solution: 1830 c Elapsed CPU time: 56.5844 s Remaining CPU time: 123.416 s c =============================================================================== c | 42 | 600 1306 355300 | 5000 42 74 | 0.000 % | c =============================================================================== c New solution: 1829 c Elapsed CPU time: 56.7514 s Remaining CPU time: 123.249 s c =============================================================================== c | 42 | 600 1307 355800 | 5000 42 74 | 0.000 % | c =============================================================================== c New solution: 1828 c Elapsed CPU time: 56.9093 s Remaining CPU time: 123.091 s c =============================================================================== c | 42 | 600 1308 356300 | 5000 42 74 | 0.000 % | c =============================================================================== c New solution: 1827 c Elapsed CPU time: 57.0723 s Remaining CPU time: 122.928 s c =============================================================================== c | 42 | 600 1309 356800 | 5000 42 74 | 0.000 % | c =============================================================================== c New solution: 1826 c Elapsed CPU time: 57.2273 s Remaining CPU time: 122.773 s c =============================================================================== c | 42 | 600 1310 357300 | 5000 42 74 | 0.000 % | c =============================================================================== c New solution: 1825 c Elapsed CPU time: 57.3913 s Remaining CPU time: 122.609 s c =============================================================================== c | 43 | 600 1311 357800 | 5000 43 72 | 0.000 % | c =============================================================================== c New solution: 1824 c Elapsed CPU time: 57.5602 s Remaining CPU time: 122.44 s c =============================================================================== c | 43 | 600 1312 358300 | 5000 43 72 | 0.000 % | c =============================================================================== c New solution: 1823 c Elapsed CPU time: 57.7242 s Remaining CPU time: 122.276 s c =============================================================================== c | 43 | 600 1313 358800 | 5000 43 72 | 0.000 % | c =============================================================================== c New solution: 1822 c Elapsed CPU time: 57.8802 s Remaining CPU time: 122.12 s c =============================================================================== c | 43 | 600 1314 359300 | 5000 43 72 | 0.000 % | c =============================================================================== c New solution: 1821 c Elapsed CPU time: 58.0382 s Remaining CPU time: 121.962 s c =============================================================================== c | 43 | 600 1315 359800 | 5000 43 72 | 0.000 % | c =============================================================================== c New solution: 1820 c Elapsed CPU time: 58.1982 s Remaining CPU time: 121.802 s c =============================================================================== c | 44 | 600 1316 360300 | 5000 44 71 | 0.000 % | c =============================================================================== c New solution: 1819 c Elapsed CPU time: 58.3691 s Remaining CPU time: 121.631 s c =============================================================================== c | 46 | 600 1317 360800 | 5000 46 68 | 0.000 % | c =============================================================================== c New solution: 1818 c Elapsed CPU time: 58.5291 s Remaining CPU time: 121.471 s c =============================================================================== c | 46 | 600 1318 361300 | 5000 46 68 | 0.000 % | c =============================================================================== c New solution: 1817 c Elapsed CPU time: 58.6961 s Remaining CPU time: 121.304 s c =============================================================================== c | 46 | 600 1319 361800 | 5000 46 68 | 0.000 % | c =============================================================================== c New solution: 1816 c Elapsed CPU time: 58.8591 s Remaining CPU time: 121.141 s c =============================================================================== c | 46 | 600 1320 362300 | 5000 46 68 | 0.000 % | c =============================================================================== c New solution: 1815 c Elapsed CPU time: 59.021 s Remaining CPU time: 120.979 s c =============================================================================== c | 46 | 600 1321 362800 | 5000 46 68 | 0.000 % | c =============================================================================== c New solution: 1814 c Elapsed CPU time: 59.18 s Remaining CPU time: 120.82 s c =============================================================================== c | 46 | 600 1322 363300 | 5000 46 68 | 0.000 % | c =============================================================================== c New solution: 1813 c Elapsed CPU time: 59.341 s Remaining CPU time: 120.659 s c =============================================================================== c | 46 | 600 1323 363800 | 5000 46 68 | 0.000 % | c =============================================================================== c New solution: 1812 c Elapsed CPU time: 59.501 s Remaining CPU time: 120.499 s c =============================================================================== c | 46 | 600 1324 364300 | 5000 46 68 | 0.000 % | c =============================================================================== c New solution: 1811 c Elapsed CPU time: 59.6669 s Remaining CPU time: 120.333 s c =============================================================================== c | 49 | 600 1325 364800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1810 c Elapsed CPU time: 59.8339 s Remaining CPU time: 120.166 s c =============================================================================== c | 49 | 600 1326 365300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1809 c Elapsed CPU time: 59.9969 s Remaining CPU time: 120.003 s c =============================================================================== c | 49 | 600 1327 365800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1808 c Elapsed CPU time: 60.1649 s Remaining CPU time: 119.835 s c =============================================================================== c | 49 | 600 1328 366300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1807 c Elapsed CPU time: 60.3168 s Remaining CPU time: 119.683 s c =============================================================================== c | 49 | 600 1329 366800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1806 c Elapsed CPU time: 60.4788 s Remaining CPU time: 119.521 s c =============================================================================== c | 49 | 600 1330 367300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1805 c Elapsed CPU time: 60.6368 s Remaining CPU time: 119.363 s c =============================================================================== c | 49 | 600 1331 367800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1804 c Elapsed CPU time: 60.8008 s Remaining CPU time: 119.199 s c =============================================================================== c | 49 | 600 1332 368300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1803 c Elapsed CPU time: 60.9527 s Remaining CPU time: 119.047 s c =============================================================================== c | 49 | 600 1333 368800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1802 c Elapsed CPU time: 61.1177 s Remaining CPU time: 118.882 s c =============================================================================== c | 49 | 600 1334 369300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1801 c Elapsed CPU time: 61.2867 s Remaining CPU time: 118.713 s c =============================================================================== c | 49 | 600 1335 369800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1800 c Elapsed CPU time: 61.4647 s Remaining CPU time: 118.535 s c =============================================================================== c | 49 | 600 1336 370300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1799 c Elapsed CPU time: 61.6236 s Remaining CPU time: 118.376 s c =============================================================================== c | 49 | 600 1337 370800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1798 c Elapsed CPU time: 61.7916 s Remaining CPU time: 118.208 s c =============================================================================== c | 49 | 600 1338 371300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1797 c Elapsed CPU time: 61.9536 s Remaining CPU time: 118.046 s c =============================================================================== c | 49 | 600 1339 371800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1796 c Elapsed CPU time: 62.1256 s Remaining CPU time: 117.874 s c =============================================================================== c | 49 | 600 1340 372300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1795 c Elapsed CPU time: 62.2965 s Remaining CPU time: 117.703 s c =============================================================================== c | 49 | 600 1341 372800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1794 c Elapsed CPU time: 62.4665 s Remaining CPU time: 117.533 s c =============================================================================== c | 49 | 600 1342 373300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1793 c Elapsed CPU time: 62.6365 s Remaining CPU time: 117.364 s c =============================================================================== c | 49 | 600 1343 373800 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1792 c Elapsed CPU time: 62.7975 s Remaining CPU time: 117.203 s c =============================================================================== c | 49 | 600 1344 374300 | 5000 49 72 | 0.000 % | c =============================================================================== c New solution: 1791 c Elapsed CPU time: 62.9534 s Remaining CPU time: 117.047 s c =============================================================================== c | 50 | 600 1345 374800 | 5000 50 71 | 0.000 % | c =============================================================================== c New solution: 1790 c Elapsed CPU time: 63.1204 s Remaining CPU time: 116.88 s c =============================================================================== c | 50 | 600 1346 375300 | 5000 50 71 | 0.000 % | c =============================================================================== c New solution: 1789 c Elapsed CPU time: 63.2904 s Remaining CPU time: 116.71 s c =============================================================================== c | 50 | 600 1347 375800 | 5000 50 71 | 0.000 % | c =============================================================================== c New solution: 1788 c Elapsed CPU time: 63.4534 s Remaining CPU time: 116.547 s c =============================================================================== c | 50 | 600 1348 376300 | 5000 50 71 | 0.000 % | c =============================================================================== c New solution: 1787 c Elapsed CPU time: 63.6173 s Remaining CPU time: 116.383 s c =============================================================================== c | 51 | 600 1349 376800 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1786 c Elapsed CPU time: 63.7803 s Remaining CPU time: 116.22 s c =============================================================================== c | 51 | 600 1350 377300 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1785 c Elapsed CPU time: 63.9413 s Remaining CPU time: 116.059 s c =============================================================================== c | 51 | 600 1351 377800 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1784 c Elapsed CPU time: 64.1083 s Remaining CPU time: 115.892 s c =============================================================================== c | 51 | 600 1352 378300 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1783 c Elapsed CPU time: 64.2652 s Remaining CPU time: 115.735 s c =============================================================================== c | 51 | 600 1353 378800 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1782 c Elapsed CPU time: 64.4362 s Remaining CPU time: 115.564 s c =============================================================================== c | 51 | 600 1354 379300 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1781 c Elapsed CPU time: 64.6022 s Remaining CPU time: 115.398 s c =============================================================================== c | 51 | 600 1355 379800 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1780 c Elapsed CPU time: 64.7692 s Remaining CPU time: 115.231 s c =============================================================================== c | 51 | 600 1356 380300 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1779 c Elapsed CPU time: 64.9321 s Remaining CPU time: 115.068 s c =============================================================================== c | 51 | 600 1357 380800 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1778 c Elapsed CPU time: 65.0981 s Remaining CPU time: 114.902 s c =============================================================================== c | 51 | 600 1358 381300 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1777 c Elapsed CPU time: 65.2701 s Remaining CPU time: 114.73 s c =============================================================================== c | 51 | 600 1359 381800 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1776 c Elapsed CPU time: 65.4421 s Remaining CPU time: 114.558 s c =============================================================================== c | 51 | 600 1360 382300 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1775 c Elapsed CPU time: 65.622 s Remaining CPU time: 114.378 s c =============================================================================== c | 51 | 600 1361 382800 | 5000 51 69 | 0.000 % | c =============================================================================== c New solution: 1774 c Elapsed CPU time: 65.793 s Remaining CPU time: 114.207 s c =============================================================================== c | 52 | 600 1362 383300 | 5000 52 68 | 0.000 % | c =============================================================================== c New solution: 1773 c Elapsed CPU time: 65.967 s Remaining CPU time: 114.033 s c =============================================================================== c | 52 | 600 1363 383800 | 5000 52 68 | 0.000 % | c =============================================================================== c New solution: 1772 c Elapsed CPU time: 66.1359 s Remaining CPU time: 113.864 s c =============================================================================== c | 52 | 600 1364 384300 | 5000 52 68 | 0.000 % | c =============================================================================== c New solution: 1771 c Elapsed CPU time: 66.3049 s Remaining CPU time: 113.695 s c =============================================================================== c | 53 | 600 1365 384800 | 5000 53 73 | 0.000 % | c =============================================================================== c New solution: 1770 c Elapsed CPU time: 66.4869 s Remaining CPU time: 113.513 s c =============================================================================== c | 54 | 600 1366 385300 | 5000 54 72 | 0.000 % | c =============================================================================== c New solution: 1769 c Elapsed CPU time: 66.6549 s Remaining CPU time: 113.345 s c =============================================================================== c | 54 | 600 1367 385800 | 5000 54 72 | 0.000 % | c =============================================================================== c New solution: 1768 c Elapsed CPU time: 66.8348 s Remaining CPU time: 113.165 s c =============================================================================== c | 54 | 600 1368 386300 | 5000 54 72 | 0.000 % | c =============================================================================== c New solution: 1767 c Elapsed CPU time: 67.0078 s Remaining CPU time: 112.992 s c =============================================================================== c | 54 | 600 1369 386800 | 5000 54 72 | 0.000 % | c =============================================================================== c New solution: 1766 c Elapsed CPU time: 67.1738 s Remaining CPU time: 112.826 s c =============================================================================== c | 54 | 600 1370 387300 | 5000 54 72 | 0.000 % | c =============================================================================== c New solution: 1765 c Elapsed CPU time: 67.3438 s Remaining CPU time: 112.656 s c =============================================================================== c | 54 | 600 1371 387800 | 5000 54 72 | 0.000 % | c =============================================================================== c New solution: 1764 c Elapsed CPU time: 67.5217 s Remaining CPU time: 112.478 s c =============================================================================== c | 55 | 600 1372 388300 | 5000 55 77 | 0.000 % | c =============================================================================== c New solution: 1763 c Elapsed CPU time: 67.7027 s Remaining CPU time: 112.297 s c =============================================================================== c | 55 | 600 1373 388800 | 5000 55 77 | 0.000 % | c =============================================================================== c New solution: 1762 c Elapsed CPU time: 67.8767 s Remaining CPU time: 112.123 s c =============================================================================== c | 55 | 600 1374 389300 | 5000 55 77 | 0.000 % | c =============================================================================== c New solution: 1761 c Elapsed CPU time: 68.0387 s Remaining CPU time: 111.961 s c =============================================================================== c | 55 | 600 1375 389800 | 5000 55 77 | 0.000 % | c =============================================================================== c New solution: 1760 c Elapsed CPU time: 68.2046 s Remaining CPU time: 111.795 s c =============================================================================== c | 56 | 600 1376 390300 | 5000 56 76 | 0.000 % | c =============================================================================== c New solution: 1759 c Elapsed CPU time: 68.3646 s Remaining CPU time: 111.635 s c =============================================================================== c | 56 | 600 1377 390800 | 5000 56 76 | 0.000 % | c =============================================================================== c New solution: 1758 c Elapsed CPU time: 68.5326 s Remaining CPU time: 111.467 s c =============================================================================== c | 56 | 600 1378 391300 | 5000 56 76 | 0.000 % | c =============================================================================== c New solution: 1757 c Elapsed CPU time: 68.7156 s Remaining CPU time: 111.284 s c =============================================================================== c | 56 | 600 1379 391800 | 5000 56 76 | 0.000 % | c =============================================================================== c New solution: 1756 c Elapsed CPU time: 68.8805 s Remaining CPU time: 111.119 s c =============================================================================== c | 56 | 600 1380 392300 | 5000 56 76 | 0.000 % | c =============================================================================== c New solution: 1755 c Elapsed CPU time: 69.0475 s Remaining CPU time: 110.952 s c =============================================================================== c | 56 | 600 1381 392800 | 5000 56 76 | 0.000 % | c =============================================================================== c New solution: 1754 c Elapsed CPU time: 69.2225 s Remaining CPU time: 110.778 s c =============================================================================== c | 57 | 600 1382 393300 | 5000 57 81 | 0.000 % | c =============================================================================== c New solution: 1753 c Elapsed CPU time: 69.3984 s Remaining CPU time: 110.602 s c =============================================================================== c | 57 | 600 1383 393800 | 5000 57 81 | 0.000 % | c =============================================================================== c New solution: 1752 c Elapsed CPU time: 69.5634 s Remaining CPU time: 110.437 s c =============================================================================== c | 58 | 600 1384 394300 | 5000 58 79 | 0.000 % | c =============================================================================== c New solution: 1751 c Elapsed CPU time: 69.7344 s Remaining CPU time: 110.266 s c =============================================================================== c | 58 | 600 1385 394800 | 5000 58 79 | 0.000 % | c =============================================================================== c New solution: 1750 c Elapsed CPU time: 69.8924 s Remaining CPU time: 110.108 s c =============================================================================== c | 59 | 600 1386 395300 | 5000 59 78 | 0.000 % | c =============================================================================== c New solution: 1749 c Elapsed CPU time: 70.0593 s Remaining CPU time: 109.941 s c =============================================================================== c | 59 | 600 1387 395800 | 5000 59 78 | 0.000 % | c =============================================================================== c New solution: 1748 c Elapsed CPU time: 70.2293 s Remaining CPU time: 109.771 s c =============================================================================== c | 59 | 600 1388 396300 | 5000 59 78 | 0.000 % | c =============================================================================== c New solution: 1747 c Elapsed CPU time: 70.4003 s Remaining CPU time: 109.6 s c =============================================================================== c | 59 | 600 1389 396800 | 5000 59 78 | 0.000 % | c =============================================================================== c New solution: 1746 c Elapsed CPU time: 70.5643 s Remaining CPU time: 109.436 s c =============================================================================== c | 59 | 600 1390 397300 | 5000 59 78 | 0.000 % | c =============================================================================== c New solution: 1745 c Elapsed CPU time: 70.7452 s Remaining CPU time: 109.255 s c =============================================================================== c | 59 | 600 1391 397800 | 5000 59 78 | 0.000 % | c =============================================================================== c New solution: 1744 c Elapsed CPU time: 70.9142 s Remaining CPU time: 109.086 s c =============================================================================== c | 60 | 600 1392 398300 | 5000 60 77 | 0.000 % | c =============================================================================== c New solution: 1743 c Elapsed CPU time: 71.0962 s Remaining CPU time: 108.904 s c =============================================================================== c | 61 | 600 1393 398800 | 5000 61 76 | 0.000 % | c =============================================================================== c New solution: 1742 c Elapsed CPU time: 71.2702 s Remaining CPU time: 108.73 s c =============================================================================== c | 61 | 600 1394 399300 | 5000 61 76 | 0.000 % | c =============================================================================== c New solution: 1741 c Elapsed CPU time: 71.4441 s Remaining CPU time: 108.556 s c =============================================================================== c | 61 | 600 1395 399800 | 5000 61 76 | 0.000 % | c =============================================================================== c New solution: 1740 c Elapsed CPU time: 71.6161 s Remaining CPU time: 108.384 s c =============================================================================== c | 61 | 600 1396 400300 | 5000 61 76 | 0.000 % | c =============================================================================== c New solution: 1739 c Elapsed CPU time: 71.7901 s Remaining CPU time: 108.21 s c =============================================================================== c | 61 | 600 1397 400800 | 5000 61 76 | 0.000 % | c =============================================================================== c New solution: 1738 c Elapsed CPU time: 71.9651 s Remaining CPU time: 108.035 s c =============================================================================== c | 61 | 600 1398 401300 | 5000 61 76 | 0.000 % | c =============================================================================== c New solution: 1737 c Elapsed CPU time: 72.138 s Remaining CPU time: 107.862 s c =============================================================================== c | 64 | 600 1399 401800 | 5000 64 78 | 0.000 % | c =============================================================================== c New solution: 1736 c Elapsed CPU time: 72.304 s Remaining CPU time: 107.696 s c =============================================================================== c | 65 | 600 1400 402300 | 5000 65 77 | 0.000 % | c =============================================================================== c New solution: 1735 c Elapsed CPU time: 72.491 s Remaining CPU time: 107.509 s c =============================================================================== c | 65 | 600 1401 402800 | 5000 65 77 | 0.000 % | c =============================================================================== c New solution: 1734 c Elapsed CPU time: 72.661 s Remaining CPU time: 107.339 s c =============================================================================== c | 65 | 600 1402 403300 | 5000 65 77 | 0.000 % | c =============================================================================== c New solution: 1733 c Elapsed CPU time: 72.8389 s Remaining CPU time: 107.161 s c =============================================================================== c | 65 | 600 1403 403800 | 5000 65 77 | 0.000 % | c =============================================================================== c New solution: 1732 c Elapsed CPU time: 73.0079 s Remaining CPU time: 106.992 s c =============================================================================== c | 65 | 600 1404 404300 | 5000 65 77 | 0.000 % | c =============================================================================== c New solution: 1731 c Elapsed CPU time: 73.1779 s Remaining CPU time: 106.822 s c =============================================================================== c | 66 | 600 1405 404800 | 5000 66 81 | 0.000 % | c =============================================================================== c New solution: 1730 c Elapsed CPU time: 73.3439 s Remaining CPU time: 106.656 s c =============================================================================== c | 66 | 600 1406 405300 | 5000 66 81 | 0.000 % | c =============================================================================== c New solution: 1729 c Elapsed CPU time: 73.5078 s Remaining CPU time: 106.492 s c =============================================================================== c | 66 | 600 1407 405800 | 5000 66 81 | 0.000 % | c =============================================================================== c New solution: 1728 c Elapsed CPU time: 73.6748 s Remaining CPU time: 106.325 s c =============================================================================== c | 66 | 600 1408 406300 | 5000 66 81 | 0.000 % | c =============================================================================== c New solution: 1727 c Elapsed CPU time: 73.8538 s Remaining CPU time: 106.146 s c =============================================================================== c | 66 | 600 1409 406800 | 5000 66 81 | 0.000 % | c =============================================================================== c New solution: 1726 c Elapsed CPU time: 74.0407 s Remaining CPU time: 105.959 s c =============================================================================== c | 66 | 600 1410 407300 | 5000 66 81 | 0.000 % | c =============================================================================== c New solution: 1725 c Elapsed CPU time: 74.2067 s Remaining CPU time: 105.793 s c =============================================================================== c | 66 | 600 1411 407800 | 5000 66 81 | 0.000 % | c =============================================================================== c New solution: 1724 c Elapsed CPU time: 74.3807 s Remaining CPU time: 105.619 s c =============================================================================== c | 66 | 600 1412 408300 | 5000 66 81 | 0.000 % | c =============================================================================== c New solution: 1723 c Elapsed CPU time: 74.5477 s Remaining CPU time: 105.452 s c =============================================================================== c | 66 | 600 1413 408800 | 5000 66 81 | 0.000 % | c =============================================================================== c New solution: 1722 c Elapsed CPU time: 74.7436 s Remaining CPU time: 105.256 s c =============================================================================== c | 68 | 600 1414 409300 | 5000 68 89 | 0.000 % | c =============================================================================== c New solution: 1721 c Elapsed CPU time: 74.9176 s Remaining CPU time: 105.082 s c =============================================================================== c | 69 | 600 1415 409800 | 5000 69 88 | 0.000 % | c =============================================================================== c New solution: 1720 c Elapsed CPU time: 75.0976 s Remaining CPU time: 104.902 s c =============================================================================== c | 69 | 600 1416 410300 | 5000 69 88 | 0.000 % | c =============================================================================== c New solution: 1719 c Elapsed CPU time: 75.2806 s Remaining CPU time: 104.719 s c =============================================================================== c | 69 | 600 1417 410800 | 5000 69 88 | 0.000 % | c =============================================================================== c New solution: 1718 c Elapsed CPU time: 75.4685 s Remaining CPU time: 104.531 s c =============================================================================== c | 71 | 600 1418 411300 | 5000 71 90 | 0.000 % | c =============================================================================== c New solution: 1717 c Elapsed CPU time: 75.6415 s Remaining CPU time: 104.359 s c =============================================================================== c | 71 | 600 1419 411800 | 5000 71 90 | 0.000 % | c =============================================================================== c New solution: 1716 c Elapsed CPU time: 75.8415 s Remaining CPU time: 104.159 s c =============================================================================== c | 71 | 600 1420 412300 | 5000 71 90 | 0.000 % | c =============================================================================== c New solution: 1715 c Elapsed CPU time: 76.0304 s Remaining CPU time: 103.97 s c =============================================================================== c | 71 | 600 1421 412800 | 5000 71 90 | 0.000 % | c =============================================================================== c New solution: 1714 c Elapsed CPU time: 76.1994 s Remaining CPU time: 103.801 s c =============================================================================== c | 72 | 600 1422 413300 | 5000 72 94 | 0.000 % | c =============================================================================== c New solution: 1713 c Elapsed CPU time: 76.3844 s Remaining CPU time: 103.616 s c =============================================================================== c | 72 | 600 1423 413800 | 5000 72 94 | 0.000 % | c =============================================================================== c New solution: 1712 c Elapsed CPU time: 76.5554 s Remaining CPU time: 103.445 s c =============================================================================== c | 73 | 600 1424 414300 | 5000 73 97 | 0.000 % | c =============================================================================== c New solution: 1711 c Elapsed CPU time: 76.7203 s Remaining CPU time: 103.28 s c =============================================================================== c | 73 | 600 1425 414800 | 5000 73 97 | 0.000 % | c =============================================================================== c New solution: 1710 c Elapsed CPU time: 76.8983 s Remaining CPU time: 103.102 s c =============================================================================== c | 74 | 600 1426 415300 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1709 c Elapsed CPU time: 77.0933 s Remaining CPU time: 102.907 s c =============================================================================== c | 74 | 600 1427 415800 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1708 c Elapsed CPU time: 77.2903 s Remaining CPU time: 102.71 s c =============================================================================== c | 74 | 600 1428 416300 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1707 c Elapsed CPU time: 77.4832 s Remaining CPU time: 102.517 s c =============================================================================== c | 74 | 600 1429 416800 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1706 c Elapsed CPU time: 77.6862 s Remaining CPU time: 102.314 s c =============================================================================== c | 74 | 600 1430 417300 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1705 c Elapsed CPU time: 77.8812 s Remaining CPU time: 102.119 s c =============================================================================== c | 74 | 600 1431 417800 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1704 c Elapsed CPU time: 78.0541 s Remaining CPU time: 101.946 s c =============================================================================== c | 74 | 600 1432 418300 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1703 c Elapsed CPU time: 78.2351 s Remaining CPU time: 101.765 s c =============================================================================== c | 74 | 600 1433 418800 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1702 c Elapsed CPU time: 78.4181 s Remaining CPU time: 101.582 s c =============================================================================== c | 74 | 600 1434 419300 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1701 c Elapsed CPU time: 78.5971 s Remaining CPU time: 101.403 s c =============================================================================== c | 74 | 600 1435 419800 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1700 c Elapsed CPU time: 78.782 s Remaining CPU time: 101.218 s c =============================================================================== c | 74 | 600 1436 420300 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1699 c Elapsed CPU time: 78.962 s Remaining CPU time: 101.038 s c =============================================================================== c | 74 | 600 1437 420800 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1698 c Elapsed CPU time: 79.144 s Remaining CPU time: 100.856 s c =============================================================================== c | 74 | 600 1438 421300 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1697 c Elapsed CPU time: 79.3279 s Remaining CPU time: 100.672 s c =============================================================================== c | 74 | 600 1439 421800 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1696 c Elapsed CPU time: 79.5269 s Remaining CPU time: 100.473 s c =============================================================================== c | 74 | 600 1440 422300 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1695 c Elapsed CPU time: 79.7099 s Remaining CPU time: 100.29 s c =============================================================================== c | 74 | 600 1441 422800 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1694 c Elapsed CPU time: 79.9119 s Remaining CPU time: 100.088 s c =============================================================================== c | 74 | 600 1442 423300 | 5000 74 96 | 0.000 % | c =============================================================================== c New solution: 1693 c Elapsed CPU time: 80.1088 s Remaining CPU time: 99.8912 s c =============================================================================== c | 75 | 600 1443 423800 | 5000 75 99 | 0.000 % | c =============================================================================== c New solution: 1692 c Elapsed CPU time: 80.2938 s Remaining CPU time: 99.7062 s c =============================================================================== c | 75 | 600 1444 424300 | 5000 75 99 | 0.000 % | c =============================================================================== c New solution: 1691 c Elapsed CPU time: 80.4708 s Remaining CPU time: 99.5292 s c =============================================================================== c | 75 | 600 1445 424800 | 5000 75 99 | 0.000 % | c =============================================================================== c New solution: 1690 c Elapsed CPU time: 80.6667 s Remaining CPU time: 99.3333 s c =============================================================================== c | 75 | 600 1446 425300 | 5000 75 99 | 0.000 % | c =============================================================================== c New solution: 1689 c Elapsed CPU time: 80.8607 s Remaining CPU time: 99.1393 s c =============================================================================== c | 75 | 600 1447 425800 | 5000 75 99 | 0.000 % | c =============================================================================== c New solution: 1688 c Elapsed CPU time: 81.0777 s Remaining CPU time: 98.9223 s c =============================================================================== c | 76 | 600 1448 426300 | 5000 76 102 | 0.000 % | c =============================================================================== c New solution: 1687 c Elapsed CPU time: 81.2566 s Remaining CPU time: 98.7434 s c =============================================================================== c | 78 | 600 1449 426800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1686 c Elapsed CPU time: 81.4486 s Remaining CPU time: 98.5514 s c =============================================================================== c | 78 | 600 1450 427300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1685 c Elapsed CPU time: 81.6516 s Remaining CPU time: 98.3484 s c =============================================================================== c | 78 | 600 1451 427800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1684 c Elapsed CPU time: 81.8356 s Remaining CPU time: 98.1644 s c =============================================================================== c | 78 | 600 1452 428300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1683 c Elapsed CPU time: 82.0245 s Remaining CPU time: 97.9755 s c =============================================================================== c | 78 | 600 1453 428800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1682 c Elapsed CPU time: 82.1965 s Remaining CPU time: 97.8035 s c =============================================================================== c | 78 | 600 1454 429300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1681 c Elapsed CPU time: 82.3845 s Remaining CPU time: 97.6155 s c =============================================================================== c | 78 | 600 1455 429800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1680 c Elapsed CPU time: 82.5604 s Remaining CPU time: 97.4396 s c =============================================================================== c | 78 | 600 1456 430300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1679 c Elapsed CPU time: 82.7474 s Remaining CPU time: 97.2526 s c =============================================================================== c | 78 | 600 1457 430800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1678 c Elapsed CPU time: 82.9364 s Remaining CPU time: 97.0636 s c =============================================================================== c | 78 | 600 1458 431300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1677 c Elapsed CPU time: 83.1104 s Remaining CPU time: 96.8896 s c =============================================================================== c | 78 | 600 1459 431800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1676 c Elapsed CPU time: 83.3063 s Remaining CPU time: 96.6937 s c =============================================================================== c | 78 | 600 1460 432300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1675 c Elapsed CPU time: 83.5053 s Remaining CPU time: 96.4947 s c =============================================================================== c | 78 | 600 1461 432800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1674 c Elapsed CPU time: 83.6813 s Remaining CPU time: 96.3187 s c =============================================================================== c | 78 | 600 1462 433300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1673 c Elapsed CPU time: 83.8543 s Remaining CPU time: 96.1457 s c =============================================================================== c | 78 | 600 1463 433800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1672 c Elapsed CPU time: 84.0292 s Remaining CPU time: 95.9708 s c =============================================================================== c | 78 | 600 1464 434300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1671 c Elapsed CPU time: 84.2182 s Remaining CPU time: 95.7818 s c =============================================================================== c | 78 | 600 1465 434800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1670 c Elapsed CPU time: 84.4062 s Remaining CPU time: 95.5938 s c =============================================================================== c | 78 | 600 1466 435300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1669 c Elapsed CPU time: 84.5891 s Remaining CPU time: 95.4109 s c =============================================================================== c | 78 | 600 1467 435800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1668 c Elapsed CPU time: 84.7711 s Remaining CPU time: 95.2289 s c =============================================================================== c | 78 | 600 1468 436300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1667 c Elapsed CPU time: 84.9571 s Remaining CPU time: 95.0429 s c =============================================================================== c | 78 | 600 1469 436800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1666 c Elapsed CPU time: 85.1381 s Remaining CPU time: 94.8619 s c =============================================================================== c | 78 | 600 1470 437300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1665 c Elapsed CPU time: 85.319 s Remaining CPU time: 94.681 s c =============================================================================== c | 78 | 600 1471 437800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1664 c Elapsed CPU time: 85.507 s Remaining CPU time: 94.493 s c =============================================================================== c | 78 | 600 1472 438300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1663 c Elapsed CPU time: 85.699 s Remaining CPU time: 94.301 s c =============================================================================== c | 78 | 600 1473 438800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1662 c Elapsed CPU time: 85.8859 s Remaining CPU time: 94.1141 s c =============================================================================== c | 78 | 600 1474 439300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1661 c Elapsed CPU time: 86.0679 s Remaining CPU time: 93.9321 s c =============================================================================== c | 78 | 600 1475 439800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1660 c Elapsed CPU time: 86.2499 s Remaining CPU time: 93.7501 s c =============================================================================== c | 78 | 600 1476 440300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1659 c Elapsed CPU time: 86.4359 s Remaining CPU time: 93.5641 s c =============================================================================== c | 78 | 600 1477 440800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1658 c Elapsed CPU time: 86.6118 s Remaining CPU time: 93.3882 s c =============================================================================== c | 78 | 600 1478 441300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1657 c Elapsed CPU time: 86.7928 s Remaining CPU time: 93.2072 s c =============================================================================== c | 78 | 600 1479 441800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1656 c Elapsed CPU time: 86.9698 s Remaining CPU time: 93.0302 s c =============================================================================== c | 78 | 600 1480 442300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1655 c Elapsed CPU time: 87.1418 s Remaining CPU time: 92.8582 s c =============================================================================== c | 78 | 600 1481 442800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1654 c Elapsed CPU time: 87.3177 s Remaining CPU time: 92.6823 s c =============================================================================== c | 78 | 600 1482 443300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1653 c Elapsed CPU time: 87.4927 s Remaining CPU time: 92.5073 s c =============================================================================== c | 78 | 600 1483 443800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1652 c Elapsed CPU time: 87.6797 s Remaining CPU time: 92.3203 s c =============================================================================== c | 78 | 600 1484 444300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1651 c Elapsed CPU time: 87.8566 s Remaining CPU time: 92.1434 s c =============================================================================== c | 78 | 600 1485 444800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1650 c Elapsed CPU time: 88.0426 s Remaining CPU time: 91.9574 s c =============================================================================== c | 78 | 600 1486 445300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1649 c Elapsed CPU time: 88.2196 s Remaining CPU time: 91.7804 s c =============================================================================== c | 78 | 600 1487 445800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1648 c Elapsed CPU time: 88.4006 s Remaining CPU time: 91.5994 s c =============================================================================== c | 78 | 600 1488 446300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1647 c Elapsed CPU time: 88.5955 s Remaining CPU time: 91.4045 s c =============================================================================== c | 78 | 600 1489 446800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1646 c Elapsed CPU time: 88.7845 s Remaining CPU time: 91.2155 s c =============================================================================== c | 78 | 600 1490 447300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1645 c Elapsed CPU time: 88.9745 s Remaining CPU time: 91.0255 s c =============================================================================== c | 78 | 600 1491 447800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1644 c Elapsed CPU time: 89.1484 s Remaining CPU time: 90.8516 s c =============================================================================== c | 78 | 600 1492 448300 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1643 c Elapsed CPU time: 89.3374 s Remaining CPU time: 90.6626 s c =============================================================================== c | 78 | 600 1493 448800 | 5000 78 100 | 0.000 % | c =============================================================================== c New solution: 1642 c Elapsed CPU time: 89.5204 s Remaining CPU time: 90.4796 s c =============================================================================== c | 80 | 600 1494 449300 | 5000 80 97 | 0.000 % | c =============================================================================== c New solution: 1641 c Elapsed CPU time: 89.7044 s Remaining CPU time: 90.2956 s c =============================================================================== c | 80 | 600 1495 449800 | 5000 80 97 | 0.000 % | c =============================================================================== c New solution: 1640 c Elapsed CPU time: 89.8893 s Remaining CPU time: 90.1107 s c =============================================================================== c | 81 | 600 1496 450300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1639 c Elapsed CPU time: 90.0793 s Remaining CPU time: 89.9207 s c =============================================================================== c | 81 | 600 1497 450800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1638 c Elapsed CPU time: 90.2703 s Remaining CPU time: 89.7297 s c =============================================================================== c | 81 | 600 1498 451300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1637 c Elapsed CPU time: 90.4612 s Remaining CPU time: 89.5388 s c =============================================================================== c | 81 | 600 1499 451800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1636 c Elapsed CPU time: 90.6512 s Remaining CPU time: 89.3488 s c =============================================================================== c | 81 | 600 1500 452300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1635 c Elapsed CPU time: 90.8412 s Remaining CPU time: 89.1588 s c =============================================================================== c | 81 | 600 1501 452800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1634 c Elapsed CPU time: 91.0292 s Remaining CPU time: 88.9708 s c =============================================================================== c | 81 | 600 1502 453300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1633 c Elapsed CPU time: 91.2201 s Remaining CPU time: 88.7799 s c =============================================================================== c | 81 | 600 1503 453800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1632 c Elapsed CPU time: 91.4071 s Remaining CPU time: 88.5929 s c =============================================================================== c | 81 | 600 1504 454300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1631 c Elapsed CPU time: 91.5911 s Remaining CPU time: 88.4089 s c =============================================================================== c | 81 | 600 1505 454800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1630 c Elapsed CPU time: 91.776 s Remaining CPU time: 88.224 s c =============================================================================== c | 81 | 600 1506 455300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1629 c Elapsed CPU time: 91.967 s Remaining CPU time: 88.033 s c =============================================================================== c | 81 | 600 1507 455800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1628 c Elapsed CPU time: 92.163 s Remaining CPU time: 87.837 s c =============================================================================== c | 81 | 600 1508 456300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1627 c Elapsed CPU time: 92.353 s Remaining CPU time: 87.647 s c =============================================================================== c | 81 | 600 1509 456800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1626 c Elapsed CPU time: 92.5429 s Remaining CPU time: 87.4571 s c =============================================================================== c | 81 | 600 1510 457300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1625 c Elapsed CPU time: 92.7299 s Remaining CPU time: 87.2701 s c =============================================================================== c | 81 | 600 1511 457800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1624 c Elapsed CPU time: 92.9169 s Remaining CPU time: 87.0831 s c =============================================================================== c | 81 | 600 1512 458300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1623 c Elapsed CPU time: 93.1158 s Remaining CPU time: 86.8842 s c =============================================================================== c | 81 | 600 1513 458800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1622 c Elapsed CPU time: 93.3018 s Remaining CPU time: 86.6982 s c =============================================================================== c | 81 | 600 1514 459300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1621 c Elapsed CPU time: 93.4818 s Remaining CPU time: 86.5182 s c =============================================================================== c | 81 | 600 1515 459800 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1620 c Elapsed CPU time: 93.6618 s Remaining CPU time: 86.3382 s c =============================================================================== c | 81 | 600 1516 460300 | 5000 81 96 | 0.000 % | c =============================================================================== c New solution: 1619 c Elapsed CPU time: 93.8567 s Remaining CPU time: 86.1433 s c =============================================================================== c | 83 | 600 1517 460800 | 5000 83 94 | 0.000 % | c =============================================================================== c New solution: 1618 c Elapsed CPU time: 94.0677 s Remaining CPU time: 85.9323 s c =============================================================================== c | 85 | 600 1518 461300 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1617 c Elapsed CPU time: 94.2497 s Remaining CPU time: 85.7503 s c =============================================================================== c | 85 | 600 1519 461800 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1616 c Elapsed CPU time: 94.4436 s Remaining CPU time: 85.5564 s c =============================================================================== c | 85 | 600 1520 462300 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1615 c Elapsed CPU time: 94.6356 s Remaining CPU time: 85.3644 s c =============================================================================== c | 85 | 600 1521 462800 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1614 c Elapsed CPU time: 94.8146 s Remaining CPU time: 85.1854 s c =============================================================================== c | 85 | 600 1522 463300 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1613 c Elapsed CPU time: 95.0036 s Remaining CPU time: 84.9964 s c =============================================================================== c | 85 | 600 1523 463800 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1612 c Elapsed CPU time: 95.1855 s Remaining CPU time: 84.8145 s c =============================================================================== c | 85 | 600 1524 464300 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1611 c Elapsed CPU time: 95.3765 s Remaining CPU time: 84.6235 s c =============================================================================== c | 85 | 600 1525 464800 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1610 c Elapsed CPU time: 95.5625 s Remaining CPU time: 84.4375 s c =============================================================================== c | 85 | 600 1526 465300 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1609 c Elapsed CPU time: 95.7484 s Remaining CPU time: 84.2516 s c =============================================================================== c | 85 | 600 1527 465800 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1608 c Elapsed CPU time: 95.9404 s Remaining CPU time: 84.0596 s c =============================================================================== c | 85 | 600 1528 466300 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1607 c Elapsed CPU time: 96.1404 s Remaining CPU time: 83.8596 s c =============================================================================== c | 85 | 600 1529 466800 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1606 c Elapsed CPU time: 96.3394 s Remaining CPU time: 83.6606 s c =============================================================================== c | 85 | 600 1530 467300 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1605 c Elapsed CPU time: 96.5213 s Remaining CPU time: 83.4787 s c =============================================================================== c | 85 | 600 1531 467800 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1604 c Elapsed CPU time: 96.7153 s Remaining CPU time: 83.2847 s c =============================================================================== c | 85 | 600 1532 468300 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1603 c Elapsed CPU time: 96.9193 s Remaining CPU time: 83.0807 s c =============================================================================== c | 85 | 600 1533 468800 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1602 c Elapsed CPU time: 97.1252 s Remaining CPU time: 82.8748 s c =============================================================================== c | 85 | 600 1534 469300 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1601 c Elapsed CPU time: 97.3112 s Remaining CPU time: 82.6888 s c =============================================================================== c | 85 | 600 1535 469800 | 5000 85 100 | 0.000 % | c =============================================================================== c New solution: 1600 c Elapsed CPU time: 97.5082 s Remaining CPU time: 82.4918 s c =============================================================================== c | 86 | 600 1536 470300 | 5000 86 99 | 0.000 % | c =============================================================================== c New solution: 1599 c Elapsed CPU time: 97.6921 s Remaining CPU time: 82.3079 s c =============================================================================== c | 86 | 600 1537 470800 | 5000 86 99 | 0.000 % | c =============================================================================== c New solution: 1598 c Elapsed CPU time: 97.8871 s Remaining CPU time: 82.1129 s c =============================================================================== c | 86 | 600 1538 471300 | 5000 86 99 | 0.000 % | c =============================================================================== c New solution: 1597 c Elapsed CPU time: 98.0861 s Remaining CPU time: 81.9139 s c =============================================================================== c | 86 | 600 1539 471800 | 5000 86 99 | 0.000 % | c =============================================================================== c New solution: 1596 c Elapsed CPU time: 98.2921 s Remaining CPU time: 81.7079 s c =============================================================================== c | 86 | 600 1540 472300 | 5000 86 99 | 0.000 % | c =============================================================================== c New solution: 1595 c Elapsed CPU time: 98.49 s Remaining CPU time: 81.51 s c =============================================================================== c | 86 | 600 1541 472800 | 5000 86 99 | 0.000 % | c =============================================================================== c New solution: 1594 c Elapsed CPU time: 98.677 s Remaining CPU time: 81.323 s c =============================================================================== c | 86 | 600 1542 473300 | 5000 86 99 | 0.000 % | c =============================================================================== c New solution: 1593 c Elapsed CPU time: 98.877 s Remaining CPU time: 81.123 s c =============================================================================== c | 86 | 600 1543 473800 | 5000 86 99 | 0.000 % | c =============================================================================== c New solution: 1592 c Elapsed CPU time: 99.0789 s Remaining CPU time: 80.9211 s c =============================================================================== c | 89 | 600 1544 474300 | 5000 89 96 | 0.000 % | c =============================================================================== c New solution: 1591 c Elapsed CPU time: 99.2789 s Remaining CPU time: 80.7211 s c =============================================================================== c | 89 | 600 1545 474800 | 5000 89 96 | 0.000 % | c =============================================================================== c New solution: 1590 c Elapsed CPU time: 99.4789 s Remaining CPU time: 80.5211 s c =============================================================================== c | 89 | 600 1546 475300 | 5000 89 96 | 0.000 % | c =============================================================================== c New solution: 1589 c Elapsed CPU time: 99.6758 s Remaining CPU time: 80.3242 s c =============================================================================== c | 90 | 600 1547 475800 | 5000 90 98 | 0.000 % | c =============================================================================== c New solution: 1588 c Elapsed CPU time: 99.8758 s Remaining CPU time: 80.1242 s c =============================================================================== c | 90 | 600 1548 476300 | 5000 90 98 | 0.000 % | c =============================================================================== c New solution: 1587 c Elapsed CPU time: 100.071 s Remaining CPU time: 79.9292 s c =============================================================================== c | 90 | 600 1549 476800 | 5000 90 98 | 0.000 % | c =============================================================================== c New solution: 1586 c Elapsed CPU time: 100.26 s Remaining CPU time: 79.7402 s c =============================================================================== c | 91 | 600 1550 477300 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1585 c Elapsed CPU time: 100.456 s Remaining CPU time: 79.5443 s c =============================================================================== c | 91 | 600 1551 477800 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1584 c Elapsed CPU time: 100.65 s Remaining CPU time: 79.3503 s c =============================================================================== c | 91 | 600 1552 478300 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1583 c Elapsed CPU time: 100.84 s Remaining CPU time: 79.1603 s c =============================================================================== c | 91 | 600 1553 478800 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1582 c Elapsed CPU time: 101.028 s Remaining CPU time: 78.9724 s c =============================================================================== c | 91 | 600 1554 479300 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1581 c Elapsed CPU time: 101.22 s Remaining CPU time: 78.7804 s c =============================================================================== c | 91 | 600 1555 479800 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1580 c Elapsed CPU time: 101.408 s Remaining CPU time: 78.5924 s c =============================================================================== c | 91 | 600 1556 480300 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1579 c Elapsed CPU time: 101.606 s Remaining CPU time: 78.3944 s c =============================================================================== c | 91 | 600 1557 480800 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1578 c Elapsed CPU time: 101.789 s Remaining CPU time: 78.2115 s c =============================================================================== c | 91 | 600 1558 481300 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1577 c Elapsed CPU time: 101.967 s Remaining CPU time: 78.0325 s c =============================================================================== c | 91 | 600 1559 481800 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1576 c Elapsed CPU time: 102.155 s Remaining CPU time: 77.8445 s c =============================================================================== c | 91 | 600 1560 482300 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1575 c Elapsed CPU time: 102.356 s Remaining CPU time: 77.6436 s c =============================================================================== c | 91 | 600 1561 482800 | 5000 91 97 | 0.000 % | c =============================================================================== c New solution: 1574 c Elapsed CPU time: 102.559 s Remaining CPU time: 77.4406 s c =============================================================================== c | 93 | 600 1562 483300 | 5000 93 96 | 0.000 % | c =============================================================================== c New solution: 1573 c Elapsed CPU time: 102.742 s Remaining CPU time: 77.2576 s c =============================================================================== c | 93 | 600 1563 483800 | 5000 93 96 | 0.000 % | c =============================================================================== c New solution: 1572 c Elapsed CPU time: 102.934 s Remaining CPU time: 77.0656 s c =============================================================================== c | 94 | 600 1564 484300 | 5000 94 95 | 0.000 % | c =============================================================================== c New solution: 1571 c Elapsed CPU time: 103.134 s Remaining CPU time: 76.8657 s c =============================================================================== c | 94 | 600 1565 484800 | 5000 94 95 | 0.000 % | c =============================================================================== c New solution: 1570 c Elapsed CPU time: 103.329 s Remaining CPU time: 76.6707 s c =============================================================================== c | 95 | 600 1566 485300 | 5000 95 97 | 0.000 % | c =============================================================================== c New solution: 1569 c Elapsed CPU time: 103.511 s Remaining CPU time: 76.4887 s c =============================================================================== c | 95 | 600 1567 485800 | 5000 95 97 | 0.000 % | c =============================================================================== c New solution: 1568 c Elapsed CPU time: 103.714 s Remaining CPU time: 76.2858 s c =============================================================================== c | 95 | 600 1568 486300 | 5000 95 97 | 0.000 % | c =============================================================================== c New solution: 1567 c Elapsed CPU time: 103.91 s Remaining CPU time: 76.0898 s c =============================================================================== c | 96 | 600 1569 486800 | 5000 96 96 | 0.000 % | c =============================================================================== c New solution: 1566 c Elapsed CPU time: 104.112 s Remaining CPU time: 75.8878 s c =============================================================================== c | 96 | 600 1570 487300 | 5000 96 96 | 0.000 % | c =============================================================================== c New solution: 1565 c Elapsed CPU time: 104.303 s Remaining CPU time: 75.6969 s c =============================================================================== c | 97 | 600 1571 487800 | 5000 97 95 | 0.000 % | c =============================================================================== c New solution: 1564 c Elapsed CPU time: 104.498 s Remaining CPU time: 75.5019 s c =============================================================================== c | 97 | 600 1572 488300 | 5000 97 95 | 0.000 % | c =============================================================================== c New solution: 1563 c Elapsed CPU time: 104.701 s Remaining CPU time: 75.2989 s c =============================================================================== c | 97 | 600 1573 488800 | 5000 97 95 | 0.000 % | c =============================================================================== c New solution: 1562 c Elapsed CPU time: 104.908 s Remaining CPU time: 75.0919 s c =============================================================================== c | 97 | 600 1574 489300 | 5000 97 95 | 0.000 % | c =============================================================================== c New solution: 1561 c Elapsed CPU time: 105.11 s Remaining CPU time: 74.89 s c =============================================================================== c | 97 | 600 1575 489800 | 5000 97 95 | 0.000 % | c =============================================================================== c New solution: 1560 c Elapsed CPU time: 105.305 s Remaining CPU time: 74.695 s c =============================================================================== c | 98 | 600 1576 490300 | 5000 98 94 | 0.000 % | c =============================================================================== c New solution: 1559 c Elapsed CPU time: 105.505 s Remaining CPU time: 74.495 s c =============================================================================== c | 98 | 600 1577 490800 | 5000 98 94 | 0.000 % | c =============================================================================== c New solution: 1558 c Elapsed CPU time: 105.696 s Remaining CPU time: 74.3041 s c =============================================================================== c | 98 | 600 1578 491300 | 5000 98 94 | 0.000 % | c =============================================================================== c New solution: 1557 c Elapsed CPU time: 105.893 s Remaining CPU time: 74.1071 s c =============================================================================== c | 98 | 600 1579 491800 | 5000 98 94 | 0.000 % | c =============================================================================== c New solution: 1556 c Elapsed CPU time: 106.089 s Remaining CPU time: 73.9111 s c =============================================================================== c | 98 | 600 1580 492300 | 5000 98 94 | 0.000 % | c =============================================================================== c New solution: 1555 c Elapsed CPU time: 106.298 s Remaining CPU time: 73.7022 s c =============================================================================== c | 98 | 600 1581 492800 | 5000 98 94 | 0.000 % | c =============================================================================== c New solution: 1554 c Elapsed CPU time: 106.489 s Remaining CPU time: 73.5112 s c =============================================================================== c | 98 | 600 1582 493300 | 5000 98 94 | 0.000 % | c =============================================================================== c New solution: 1553 c Elapsed CPU time: 106.688 s Remaining CPU time: 73.3122 s c =============================================================================== c | 98 | 600 1583 493800 | 5000 98 94 | 0.000 % | c =============================================================================== c New solution: 1552 c Elapsed CPU time: 106.893 s Remaining CPU time: 73.1073 s c =============================================================================== c | 98 | 600 1584 494300 | 5000 98 94 | 0.000 % | c =============================================================================== c New solution: 1551 c Elapsed CPU time: 107.09 s Remaining CPU time: 72.9103 s c =============================================================================== c | 99 | 600 1585 494800 | 5000 99 96 | 0.000 % | c =============================================================================== c New solution: 1550 c Elapsed CPU time: 107.3 s Remaining CPU time: 72.7003 s c =============================================================================== c | 100 | 600 1586 495300 | 5000 100 98 | 0.000 % | c =============================================================================== c New solution: 1549 c Elapsed CPU time: 107.503 s Remaining CPU time: 72.4973 s c =============================================================================== c | 100 | 600 1587 495800 | 5000 100 98 | 0.000 % | c =============================================================================== c New solution: 1548 c Elapsed CPU time: 107.755 s Remaining CPU time: 72.2454 s c =============================================================================== c | 108 | 600 1588 496300 | 5000 108 109 | 0.000 % | c =============================================================================== c New solution: 1547 c Elapsed CPU time: 107.979 s Remaining CPU time: 72.0214 s c =============================================================================== c | 111 | 600 1589 496800 | 5000 111 114 | 0.000 % | c =============================================================================== c New solution: 1546 c Elapsed CPU time: 108.171 s Remaining CPU time: 71.8294 s c =============================================================================== c | 111 | 600 1590 497300 | 5000 111 114 | 0.000 % | c =============================================================================== c New solution: 1545 c Elapsed CPU time: 108.381 s Remaining CPU time: 71.6195 s c =============================================================================== c | 111 | 600 1591 497800 | 5000 111 114 | 0.000 % | c =============================================================================== c New solution: 1544 c Elapsed CPU time: 108.571 s Remaining CPU time: 71.4285 s c =============================================================================== c | 111 | 600 1592 498300 | 5000 111 114 | 0.000 % | c =============================================================================== c New solution: 1543 c Elapsed CPU time: 108.793 s Remaining CPU time: 71.2065 s c =============================================================================== c | 112 | 600 1593 498800 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1542 c Elapsed CPU time: 108.988 s Remaining CPU time: 71.0116 s c =============================================================================== c | 112 | 600 1594 499300 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1541 c Elapsed CPU time: 109.189 s Remaining CPU time: 70.8106 s c =============================================================================== c | 112 | 600 1595 499800 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1540 c Elapsed CPU time: 109.399 s Remaining CPU time: 70.6006 s c =============================================================================== c | 112 | 600 1596 500300 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1539 c Elapsed CPU time: 109.613 s Remaining CPU time: 70.3867 s c =============================================================================== c | 112 | 600 1597 500800 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1538 c Elapsed CPU time: 109.812 s Remaining CPU time: 70.1877 s c =============================================================================== c | 112 | 600 1598 501300 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1537 c Elapsed CPU time: 110.007 s Remaining CPU time: 69.9927 s c =============================================================================== c | 112 | 600 1599 501800 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1536 c Elapsed CPU time: 110.211 s Remaining CPU time: 69.7888 s c =============================================================================== c | 112 | 600 1600 502300 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1535 c Elapsed CPU time: 110.404 s Remaining CPU time: 69.5958 s c =============================================================================== c | 112 | 600 1601 502800 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1534 c Elapsed CPU time: 110.599 s Remaining CPU time: 69.4008 s c =============================================================================== c | 112 | 600 1602 503300 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1533 c Elapsed CPU time: 110.794 s Remaining CPU time: 69.2058 s c =============================================================================== c | 112 | 600 1603 503800 | 5000 112 116 | 0.000 % | c =============================================================================== c New solution: 1532 c Elapsed CPU time: 110.998 s Remaining CPU time: 69.0019 s c =============================================================================== c | 113 | 600 1604 504300 | 5000 113 117 | 0.000 % | c =============================================================================== c New solution: 1531 c Elapsed CPU time: 111.195 s Remaining CPU time: 68.8049 s c =============================================================================== c | 113 | 600 1605 504800 | 5000 113 117 | 0.000 % | c =============================================================================== c New solution: 1530 c Elapsed CPU time: 111.405 s Remaining CPU time: 68.5949 s c =============================================================================== c | 115 | 600 1606 505300 | 5000 115 115 | 0.000 % | c =============================================================================== c New solution: 1529 c Elapsed CPU time: 111.602 s Remaining CPU time: 68.398 s c =============================================================================== c | 116 | 600 1607 505800 | 5000 116 115 | 0.000 % | c =============================================================================== c New solution: 1528 c Elapsed CPU time: 111.801 s Remaining CPU time: 68.199 s c =============================================================================== c | 116 | 600 1608 506300 | 5000 116 115 | 0.000 % | c =============================================================================== c New solution: 1527 c Elapsed CPU time: 112.002 s Remaining CPU time: 67.998 s c =============================================================================== c | 119 | 600 1609 506800 | 5000 119 112 | 0.000 % | c =============================================================================== c New solution: 1526 c Elapsed CPU time: 112.203 s Remaining CPU time: 67.7971 s c =============================================================================== c | 119 | 600 1610 507300 | 5000 119 112 | 0.000 % | c =============================================================================== c New solution: 1525 c Elapsed CPU time: 112.389 s Remaining CPU time: 67.6111 s c =============================================================================== c | 121 | 600 1611 507800 | 5000 121 111 | 0.000 % | c =============================================================================== c New solution: 1524 c Elapsed CPU time: 112.595 s Remaining CPU time: 67.4051 s c =============================================================================== c | 121 | 600 1612 508300 | 5000 121 111 | 0.000 % | c =============================================================================== c New solution: 1523 c Elapsed CPU time: 112.788 s Remaining CPU time: 67.2121 s c =============================================================================== c | 122 | 600 1613 508800 | 5000 122 110 | 0.000 % | c =============================================================================== c New solution: 1522 c Elapsed CPU time: 112.994 s Remaining CPU time: 67.0062 s c =============================================================================== c | 122 | 600 1614 509300 | 5000 122 110 | 0.000 % | c =============================================================================== c New solution: 1521 c Elapsed CPU time: 113.194 s Remaining CPU time: 66.8062 s c =============================================================================== c | 123 | 600 1615 509800 | 5000 123 109 | 0.000 % | c =============================================================================== c New solution: 1520 c Elapsed CPU time: 113.475 s Remaining CPU time: 66.5253 s c =============================================================================== c | 127 | 600 1616 510300 | 5000 127 115 | 0.000 % | c =============================================================================== c New solution: 1519 c Elapsed CPU time: 113.681 s Remaining CPU time: 66.3193 s c =============================================================================== c | 127 | 600 1617 510800 | 5000 127 115 | 0.000 % | c =============================================================================== c New solution: 1518 c Elapsed CPU time: 113.874 s Remaining CPU time: 66.1263 s c =============================================================================== c | 129 | 600 1618 511300 | 5000 129 114 | 0.000 % | c =============================================================================== c New solution: 1517 c Elapsed CPU time: 114.066 s Remaining CPU time: 65.9343 s c =============================================================================== c | 129 | 600 1619 511800 | 5000 129 114 | 0.000 % | c =============================================================================== c New solution: 1516 c Elapsed CPU time: 114.273 s Remaining CPU time: 65.7274 s c =============================================================================== c | 129 | 600 1620 512300 | 5000 129 114 | 0.000 % | c =============================================================================== c New solution: 1515 c Elapsed CPU time: 114.476 s Remaining CPU time: 65.5244 s c =============================================================================== c | 129 | 600 1621 512800 | 5000 129 114 | 0.000 % | c =============================================================================== c New solution: 1514 c Elapsed CPU time: 114.696 s Remaining CPU time: 65.3044 s c =============================================================================== c | 131 | 600 1622 513300 | 5000 131 117 | 0.000 % | c =============================================================================== c New solution: 1513 c Elapsed CPU time: 114.907 s Remaining CPU time: 65.0935 s c =============================================================================== c | 131 | 600 1623 513800 | 5000 131 117 | 0.000 % | c =============================================================================== c New solution: 1512 c Elapsed CPU time: 115.106 s Remaining CPU time: 64.8945 s c =============================================================================== c | 132 | 600 1624 514300 | 5000 132 116 | 0.000 % | c =============================================================================== c New solution: 1511 c Elapsed CPU time: 115.303 s Remaining CPU time: 64.6965 s c =============================================================================== c | 132 | 600 1625 514800 | 5000 132 116 | 0.000 % | c =============================================================================== c New solution: 1510 c Elapsed CPU time: 115.493 s Remaining CPU time: 64.5066 s c =============================================================================== c | 132 | 600 1626 515300 | 5000 132 116 | 0.000 % | c =============================================================================== c New solution: 1509 c Elapsed CPU time: 115.689 s Remaining CPU time: 64.3106 s c =============================================================================== c | 132 | 600 1627 515800 | 5000 132 116 | 0.000 % | c =============================================================================== c New solution: 1508 c Elapsed CPU time: 115.889 s Remaining CPU time: 64.1106 s c =============================================================================== c | 132 | 600 1628 516300 | 5000 132 116 | 0.000 % | c =============================================================================== c New solution: 1507 c Elapsed CPU time: 116.079 s Remaining CPU time: 63.9206 s c =============================================================================== c | 134 | 600 1629 516800 | 5000 134 114 | 0.000 % | c =============================================================================== c New solution: 1506 c Elapsed CPU time: 116.291 s Remaining CPU time: 63.7087 s c =============================================================================== c | 134 | 600 1630 517300 | 5000 134 114 | 0.000 % | c =============================================================================== c New solution: 1505 c Elapsed CPU time: 116.497 s Remaining CPU time: 63.5027 s c =============================================================================== c | 134 | 600 1631 517800 | 5000 134 114 | 0.000 % | c =============================================================================== c New solution: 1504 c Elapsed CPU time: 116.718 s Remaining CPU time: 63.2817 s c =============================================================================== c | 134 | 600 1632 518300 | 5000 134 114 | 0.000 % | c =============================================================================== c New solution: 1503 c Elapsed CPU time: 116.915 s Remaining CPU time: 63.0848 s c =============================================================================== c | 134 | 600 1633 518800 | 5000 134 114 | 0.000 % | c =============================================================================== c New solution: 1502 c Elapsed CPU time: 117.13 s Remaining CPU time: 62.8698 s c =============================================================================== c | 135 | 600 1634 519300 | 5000 135 116 | 0.000 % | c =============================================================================== c New solution: 1501 c Elapsed CPU time: 117.343 s Remaining CPU time: 62.6568 s c =============================================================================== c | 135 | 600 1635 519800 | 5000 135 116 | 0.000 % | c =============================================================================== c New solution: 1500 c Elapsed CPU time: 117.555 s Remaining CPU time: 62.4449 s c =============================================================================== c | 137 | 600 1636 520300 | 5000 137 116 | 0.000 % | c =============================================================================== c New solution: 1499 c Elapsed CPU time: 117.754 s Remaining CPU time: 62.2459 s c =============================================================================== c | 137 | 600 1637 520800 | 5000 137 116 | 0.000 % | c =============================================================================== c New solution: 1498 c Elapsed CPU time: 117.973 s Remaining CPU time: 62.0269 s c =============================================================================== c | 138 | 600 1638 521300 | 5000 138 118 | 0.000 % | c =============================================================================== c New solution: 1497 c Elapsed CPU time: 118.188 s Remaining CPU time: 61.812 s c =============================================================================== c | 138 | 600 1639 521800 | 5000 138 118 | 0.000 % | c =============================================================================== c New solution: 1496 c Elapsed CPU time: 118.405 s Remaining CPU time: 61.595 s c =============================================================================== c | 138 | 600 1640 522300 | 5000 138 118 | 0.000 % | c =============================================================================== c New solution: 1495 c Elapsed CPU time: 118.617 s Remaining CPU time: 61.383 s c =============================================================================== c | 139 | 600 1641 522800 | 5000 139 119 | 0.000 % | c =============================================================================== c New solution: 1494 c Elapsed CPU time: 118.89 s Remaining CPU time: 61.1101 s c =============================================================================== c | 144 | 600 1642 523300 | 5000 144 124 | 0.000 % | c =============================================================================== c New solution: 1493 c Elapsed CPU time: 119.124 s Remaining CPU time: 60.8761 s c =============================================================================== c | 145 | 600 1643 523800 | 5000 145 123 | 0.000 % | c =============================================================================== c New solution: 1492 c Elapsed CPU time: 119.331 s Remaining CPU time: 60.6691 s c =============================================================================== c | 145 | 600 1644 524300 | 5000 145 123 | 0.000 % | c =============================================================================== c New solution: 1491 c Elapsed CPU time: 119.586 s Remaining CPU time: 60.4142 s c =============================================================================== c | 150 | 600 1645 524800 | 5000 150 127 | 0.000 % | c =============================================================================== c New solution: 1490 c Elapsed CPU time: 119.794 s Remaining CPU time: 60.2062 s c =============================================================================== c | 150 | 600 1646 525300 | 5000 150 127 | 0.000 % | c =============================================================================== c New solution: 1489 c Elapsed CPU time: 119.994 s Remaining CPU time: 60.0062 s c =============================================================================== c | 154 | 600 1647 525800 | 5000 154 124 | 0.000 % | c =============================================================================== c New solution: 1488 c Elapsed CPU time: 120.201 s Remaining CPU time: 59.7993 s c =============================================================================== c | 157 | 600 1648 526300 | 5000 157 122 | 0.000 % | c =============================================================================== c New solution: 1487 c Elapsed CPU time: 120.43 s Remaining CPU time: 59.5703 s c =============================================================================== c | 159 | 600 1649 526800 | 5000 159 124 | 0.000 % | c =============================================================================== c New solution: 1486 c Elapsed CPU time: 120.641 s Remaining CPU time: 59.3593 s c =============================================================================== c | 159 | 600 1650 527300 | 5000 159 124 | 0.000 % | c =============================================================================== c New solution: 1485 c Elapsed CPU time: 120.834 s Remaining CPU time: 59.1664 s c =============================================================================== c | 159 | 600 1651 527800 | 5000 159 124 | 0.000 % | c =============================================================================== c New solution: 1484 c Elapsed CPU time: 121.051 s Remaining CPU time: 58.9494 s c =============================================================================== c | 159 | 600 1652 528300 | 5000 159 124 | 0.000 % | c =============================================================================== c New solution: 1483 c Elapsed CPU time: 121.255 s Remaining CPU time: 58.7454 s c =============================================================================== c | 161 | 600 1653 528800 | 5000 161 123 | 0.000 % | c =============================================================================== c New solution: 1482 c Elapsed CPU time: 121.471 s Remaining CPU time: 58.5295 s c =============================================================================== c | 165 | 600 1654 529300 | 5000 165 127 | 0.000 % | c =============================================================================== c New solution: 1481 c Elapsed CPU time: 121.682 s Remaining CPU time: 58.3185 s c =============================================================================== c | 165 | 600 1655 529800 | 5000 165 127 | 0.000 % | c =============================================================================== c New solution: 1480 c Elapsed CPU time: 121.885 s Remaining CPU time: 58.1145 s c =============================================================================== c | 171 | 600 1656 530300 | 5000 171 125 | 0.000 % | c =============================================================================== c New solution: 1479 c Elapsed CPU time: 122.08 s Remaining CPU time: 57.9196 s c =============================================================================== c | 173 | 600 1657 530800 | 5000 173 127 | 0.000 % | c =============================================================================== c New solution: 1478 c Elapsed CPU time: 122.295 s Remaining CPU time: 57.7046 s c =============================================================================== c | 174 | 600 1658 531300 | 5000 174 128 | 0.000 % | c =============================================================================== c New solution: 1477 c Elapsed CPU time: 122.486 s Remaining CPU time: 57.5136 s c =============================================================================== c | 175 | 600 1659 531800 | 5000 175 129 | 0.000 % | c =============================================================================== c New solution: 1476 c Elapsed CPU time: 122.701 s Remaining CPU time: 57.2987 s c =============================================================================== c | 181 | 600 1660 532300 | 5000 181 134 | 0.000 % | c =============================================================================== c New solution: 1475 c Elapsed CPU time: 122.915 s Remaining CPU time: 57.0847 s c =============================================================================== c | 183 | 600 1661 532800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1474 c Elapsed CPU time: 123.122 s Remaining CPU time: 56.8777 s c =============================================================================== c | 183 | 600 1662 533300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1473 c Elapsed CPU time: 123.329 s Remaining CPU time: 56.6707 s c =============================================================================== c | 183 | 600 1663 533800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1472 c Elapsed CPU time: 123.547 s Remaining CPU time: 56.4528 s c =============================================================================== c | 183 | 600 1664 534300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1471 c Elapsed CPU time: 123.754 s Remaining CPU time: 56.2458 s c =============================================================================== c | 183 | 600 1665 534800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1470 c Elapsed CPU time: 123.972 s Remaining CPU time: 56.0278 s c =============================================================================== c | 183 | 600 1666 535300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1469 c Elapsed CPU time: 124.184 s Remaining CPU time: 55.8159 s c =============================================================================== c | 183 | 600 1667 535800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1468 c Elapsed CPU time: 124.384 s Remaining CPU time: 55.6159 s c =============================================================================== c | 183 | 600 1668 536300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1467 c Elapsed CPU time: 124.596 s Remaining CPU time: 55.4039 s c =============================================================================== c | 183 | 600 1669 536800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1466 c Elapsed CPU time: 124.797 s Remaining CPU time: 55.203 s c =============================================================================== c | 183 | 600 1670 537300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1465 c Elapsed CPU time: 124.997 s Remaining CPU time: 55.003 s c =============================================================================== c | 183 | 600 1671 537800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1464 c Elapsed CPU time: 125.209 s Remaining CPU time: 54.791 s c =============================================================================== c | 183 | 600 1672 538300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1463 c Elapsed CPU time: 125.418 s Remaining CPU time: 54.5821 s c =============================================================================== c | 183 | 600 1673 538800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1462 c Elapsed CPU time: 125.63 s Remaining CPU time: 54.3701 s c =============================================================================== c | 183 | 600 1674 539300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1461 c Elapsed CPU time: 125.84 s Remaining CPU time: 54.1601 s c =============================================================================== c | 183 | 600 1675 539800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1460 c Elapsed CPU time: 126.057 s Remaining CPU time: 53.9432 s c =============================================================================== c | 183 | 600 1676 540300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1459 c Elapsed CPU time: 126.265 s Remaining CPU time: 53.7352 s c =============================================================================== c | 183 | 600 1677 540800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1458 c Elapsed CPU time: 126.473 s Remaining CPU time: 53.5272 s c =============================================================================== c | 183 | 600 1678 541300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1457 c Elapsed CPU time: 126.695 s Remaining CPU time: 53.3053 s c =============================================================================== c | 183 | 600 1679 541800 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1456 c Elapsed CPU time: 126.909 s Remaining CPU time: 53.0913 s c =============================================================================== c | 183 | 600 1680 542300 | 5000 183 134 | 0.000 % | c =============================================================================== c New solution: 1455 c Elapsed CPU time: 127.138 s Remaining CPU time: 52.8623 s c =============================================================================== c | 187 | 600 1681 542800 | 5000 187 133 | 0.000 % | c =============================================================================== c New solution: 1454 c Elapsed CPU time: 127.349 s Remaining CPU time: 52.6514 s c =============================================================================== c | 187 | 600 1682 543300 | 5000 187 133 | 0.000 % | c =============================================================================== c New solution: 1453 c Elapsed CPU time: 127.568 s Remaining CPU time: 52.4324 s c =============================================================================== c | 187 | 600 1683 543800 | 5000 187 133 | 0.000 % | c =============================================================================== c New solution: 1452 c Elapsed CPU time: 127.788 s Remaining CPU time: 52.2124 s c =============================================================================== c | 187 | 600 1684 544300 | 5000 187 133 | 0.000 % | c =============================================================================== c New solution: 1451 c Elapsed CPU time: 128.007 s Remaining CPU time: 51.9935 s c =============================================================================== c | 187 | 600 1685 544800 | 5000 187 133 | 0.000 % | c =============================================================================== c New solution: 1450 c Elapsed CPU time: 128.207 s Remaining CPU time: 51.7935 s c =============================================================================== c | 189 | 600 1686 545300 | 5000 189 132 | 0.000 % | c =============================================================================== c New solution: 1449 c Elapsed CPU time: 128.457 s Remaining CPU time: 51.5425 s c =============================================================================== c | 192 | 600 1687 545800 | 5000 192 134 | 0.000 % | c =============================================================================== c New solution: 1448 c Elapsed CPU time: 128.676 s Remaining CPU time: 51.3236 s c =============================================================================== c | 192 | 600 1688 546300 | 5000 192 134 | 0.000 % | c =============================================================================== c New solution: 1447 c Elapsed CPU time: 128.871 s Remaining CPU time: 51.1286 s c =============================================================================== c | 192 | 600 1689 546800 | 5000 192 134 | 0.000 % | c =============================================================================== c New solution: 1446 c Elapsed CPU time: 129.084 s Remaining CPU time: 50.9156 s c =============================================================================== c | 192 | 600 1690 547300 | 5000 192 134 | 0.000 % | c =============================================================================== c New solution: 1445 c Elapsed CPU time: 129.283 s Remaining CPU time: 50.7167 s c =============================================================================== c | 192 | 600 1691 547800 | 5000 192 134 | 0.000 % | c =============================================================================== c New solution: 1444 c Elapsed CPU time: 129.478 s Remaining CPU time: 50.5217 s c =============================================================================== c | 192 | 600 1692 548300 | 5000 192 134 | 0.000 % | c =============================================================================== c New solution: 1443 c Elapsed CPU time: 129.699 s Remaining CPU time: 50.3007 s c =============================================================================== c | 192 | 600 1693 548800 | 5000 192 134 | 0.000 % | c =============================================================================== c New solution: 1442 c Elapsed CPU time: 129.924 s Remaining CPU time: 50.0758 s c =============================================================================== c | 193 | 600 1694 549300 | 5000 193 135 | 0.000 % | c =============================================================================== c New solution: 1441 c Elapsed CPU time: 130.127 s Remaining CPU time: 49.8728 s c =============================================================================== c | 194 | 600 1695 549800 | 5000 194 135 | 0.000 % | c =============================================================================== c New solution: 1440 c Elapsed CPU time: 130.331 s Remaining CPU time: 49.6688 s c =============================================================================== c | 194 | 600 1696 550300 | 5000 194 135 | 0.000 % | c =============================================================================== c New solution: 1439 c Elapsed CPU time: 130.551 s Remaining CPU time: 49.4488 s c =============================================================================== c | 194 | 600 1697 550800 | 5000 194 135 | 0.000 % | c =============================================================================== c New solution: 1438 c Elapsed CPU time: 130.759 s Remaining CPU time: 49.2409 s c =============================================================================== c | 195 | 600 1698 551300 | 5000 195 134 | 0.000 % | c =============================================================================== c New solution: 1437 c Elapsed CPU time: 130.976 s Remaining CPU time: 49.0239 s c =============================================================================== c | 195 | 600 1699 551800 | 5000 195 134 | 0.000 % | c =============================================================================== c New solution: 1436 c Elapsed CPU time: 131.186 s Remaining CPU time: 48.8139 s c =============================================================================== c | 195 | 600 1700 552300 | 5000 195 134 | 0.000 % | c =============================================================================== c New solution: 1435 c Elapsed CPU time: 131.399 s Remaining CPU time: 48.601 s c =============================================================================== c | 195 | 600 1701 552800 | 5000 195 134 | 0.000 % | c =============================================================================== c New solution: 1434 c Elapsed CPU time: 131.614 s Remaining CPU time: 48.386 s c =============================================================================== c | 196 | 600 1702 553300 | 5000 196 133 | 0.000 % | c =============================================================================== c New solution: 1433 c Elapsed CPU time: 131.819 s Remaining CPU time: 48.181 s c =============================================================================== c | 196 | 600 1703 553800 | 5000 196 133 | 0.000 % | c =============================================================================== c New solution: 1432 c Elapsed CPU time: 132.037 s Remaining CPU time: 47.9631 s c =============================================================================== c | 196 | 600 1704 554300 | 5000 196 133 | 0.000 % | c =============================================================================== c New solution: 1431 c Elapsed CPU time: 132.251 s Remaining CPU time: 47.7491 s c =============================================================================== c | 196 | 600 1705 554800 | 5000 196 133 | 0.000 % | c =============================================================================== c New solution: 1430 c Elapsed CPU time: 132.456 s Remaining CPU time: 47.5441 s c =============================================================================== c | 196 | 600 1706 555300 | 5000 196 133 | 0.000 % | c =============================================================================== c New solution: 1429 c Elapsed CPU time: 132.66 s Remaining CPU time: 47.3402 s c =============================================================================== c | 196 | 600 1707 555800 | 5000 196 133 | 0.000 % | c =============================================================================== c New solution: 1428 c Elapsed CPU time: 132.888 s Remaining CPU time: 47.1122 s c =============================================================================== c | 196 | 600 1708 556300 | 5000 196 133 | 0.000 % | c =============================================================================== c New solution: 1427 c Elapsed CPU time: 133.103 s Remaining CPU time: 46.8972 s c =============================================================================== c | 196 | 600 1709 556800 | 5000 196 133 | 0.000 % | c =============================================================================== c New solution: 1426 c Elapsed CPU time: 133.325 s Remaining CPU time: 46.6753 s c =============================================================================== c | 201 | 600 1710 557300 | 5000 201 131 | 0.000 % | c =============================================================================== c New solution: 1425 c Elapsed CPU time: 133.54 s Remaining CPU time: 46.4603 s c =============================================================================== c | 204 | 600 1711 557800 | 5000 204 129 | 0.000 % | c =============================================================================== c New solution: 1424 c Elapsed CPU time: 133.745 s Remaining CPU time: 46.2553 s c =============================================================================== c | 207 | 600 1712 558300 | 5000 207 127 | 0.000 % | c =============================================================================== c New solution: 1423 c Elapsed CPU time: 133.979 s Remaining CPU time: 46.0214 s c =============================================================================== c | 208 | 600 1713 558800 | 5000 208 128 | 0.000 % | c =============================================================================== c New solution: 1422 c Elapsed CPU time: 134.184 s Remaining CPU time: 45.8164 s c =============================================================================== c | 208 | 600 1714 559300 | 5000 208 128 | 0.000 % | c =============================================================================== c New solution: 1421 c Elapsed CPU time: 134.407 s Remaining CPU time: 45.5934 s c =============================================================================== c | 208 | 600 1715 559800 | 5000 208 128 | 0.000 % | c =============================================================================== c New solution: 1420 c Elapsed CPU time: 134.61 s Remaining CPU time: 45.3905 s c =============================================================================== c | 208 | 600 1716 560300 | 5000 208 128 | 0.000 % | c =============================================================================== c New solution: 1419 c Elapsed CPU time: 134.869 s Remaining CPU time: 45.1305 s c =============================================================================== c | 214 | 600 1717 560800 | 5000 214 132 | 0.000 % | c =============================================================================== c New solution: 1418 c Elapsed CPU time: 135.095 s Remaining CPU time: 44.9045 s c =============================================================================== c | 216 | 600 1718 561300 | 5000 216 132 | 0.000 % | c =============================================================================== c New solution: 1417 c Elapsed CPU time: 135.321 s Remaining CPU time: 44.6786 s c =============================================================================== c | 216 | 600 1719 561800 | 5000 216 132 | 0.000 % | c =============================================================================== c New solution: 1416 c Elapsed CPU time: 135.532 s Remaining CPU time: 44.4676 s c =============================================================================== c | 216 | 600 1720 562300 | 5000 216 132 | 0.000 % | c =============================================================================== c New solution: 1415 c Elapsed CPU time: 135.738 s Remaining CPU time: 44.2616 s c =============================================================================== c | 216 | 600 1721 562800 | 5000 216 132 | 0.000 % | c =============================================================================== c New solution: 1414 c Elapsed CPU time: 135.958 s Remaining CPU time: 44.0417 s c =============================================================================== c | 216 | 600 1722 563300 | 5000 216 132 | 0.000 % | c =============================================================================== c New solution: 1413 c Elapsed CPU time: 136.181 s Remaining CPU time: 43.8187 s c =============================================================================== c | 216 | 600 1723 563800 | 5000 216 132 | 0.000 % | c =============================================================================== c New solution: 1412 c Elapsed CPU time: 136.41 s Remaining CPU time: 43.5897 s c =============================================================================== c | 216 | 600 1724 564300 | 5000 216 132 | 0.000 % | c =============================================================================== c New solution: 1411 c Elapsed CPU time: 136.629 s Remaining CPU time: 43.3708 s c =============================================================================== c | 216 | 600 1725 564800 | 5000 216 132 | 0.000 % | c =============================================================================== c New solution: 1410 c Elapsed CPU time: 136.849 s Remaining CPU time: 43.1508 s c =============================================================================== c | 219 | 600 1726 565300 | 5000 219 133 | 0.000 % | c =============================================================================== c New solution: 1409 c Elapsed CPU time: 137.085 s Remaining CPU time: 42.9148 s c =============================================================================== c | 220 | 600 1727 565800 | 5000 220 133 | 0.000 % | c =============================================================================== c New solution: 1408 c Elapsed CPU time: 137.367 s Remaining CPU time: 42.6329 s c =============================================================================== c | 229 | 600 1728 566300 | 5000 229 139 | 0.000 % | c =============================================================================== c New solution: 1407 c Elapsed CPU time: 137.569 s Remaining CPU time: 42.4309 s c =============================================================================== c | 231 | 600 1729 566800 | 5000 231 138 | 0.000 % | c =============================================================================== c New solution: 1406 c Elapsed CPU time: 137.773 s Remaining CPU time: 42.2269 s c =============================================================================== c | 232 | 600 1730 567300 | 5000 232 138 | 0.000 % | c =============================================================================== c New solution: 1405 c Elapsed CPU time: 137.981 s Remaining CPU time: 42.019 s c =============================================================================== c | 233 | 600 1731 567800 | 5000 233 137 | 0.000 % | c =============================================================================== c New solution: 1404 c Elapsed CPU time: 138.206 s Remaining CPU time: 41.794 s c =============================================================================== c | 234 | 600 1732 568300 | 5000 234 137 | 0.000 % | c =============================================================================== c New solution: 1403 c Elapsed CPU time: 138.486 s Remaining CPU time: 41.5141 s c =============================================================================== c | 239 | 600 1733 568800 | 5000 239 140 | 0.000 % | c =============================================================================== c New solution: 1402 c Elapsed CPU time: 138.698 s Remaining CPU time: 41.3021 s c =============================================================================== c | 239 | 600 1734 569300 | 5000 239 140 | 0.000 % | c =============================================================================== c New solution: 1401 c Elapsed CPU time: 138.902 s Remaining CPU time: 41.0981 s c =============================================================================== c | 239 | 600 1735 569800 | 5000 239 140 | 0.000 % | c =============================================================================== c New solution: 1400 c Elapsed CPU time: 139.112 s Remaining CPU time: 40.8881 s c =============================================================================== c | 240 | 600 1736 570300 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1399 c Elapsed CPU time: 139.328 s Remaining CPU time: 40.6722 s c =============================================================================== c | 240 | 600 1737 570800 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1398 c Elapsed CPU time: 139.541 s Remaining CPU time: 40.4592 s c =============================================================================== c | 240 | 600 1738 571300 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1397 c Elapsed CPU time: 139.757 s Remaining CPU time: 40.2432 s c =============================================================================== c | 240 | 600 1739 571800 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1396 c Elapsed CPU time: 139.97 s Remaining CPU time: 40.0303 s c =============================================================================== c | 240 | 600 1740 572300 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1395 c Elapsed CPU time: 140.179 s Remaining CPU time: 39.8213 s c =============================================================================== c | 240 | 600 1741 572800 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1394 c Elapsed CPU time: 140.396 s Remaining CPU time: 39.6043 s c =============================================================================== c | 240 | 600 1742 573300 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1393 c Elapsed CPU time: 140.612 s Remaining CPU time: 39.3884 s c =============================================================================== c | 240 | 600 1743 573800 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1392 c Elapsed CPU time: 140.821 s Remaining CPU time: 39.1794 s c =============================================================================== c | 240 | 600 1744 574300 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1391 c Elapsed CPU time: 141.038 s Remaining CPU time: 38.9624 s c =============================================================================== c | 240 | 600 1745 574800 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1390 c Elapsed CPU time: 141.243 s Remaining CPU time: 38.7575 s c =============================================================================== c | 240 | 600 1746 575300 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1389 c Elapsed CPU time: 141.459 s Remaining CPU time: 38.5405 s c =============================================================================== c | 240 | 600 1747 575800 | 5000 240 139 | 0.000 % | c =============================================================================== c New solution: 1388 c Elapsed CPU time: 141.683 s Remaining CPU time: 38.3165 s c =============================================================================== c | 241 | 600 1748 576300 | 5000 241 140 | 0.000 % | c =============================================================================== c New solution: 1387 c Elapsed CPU time: 141.895 s Remaining CPU time: 38.1046 s c =============================================================================== c | 244 | 600 1749 576800 | 5000 244 138 | 0.000 % | c =============================================================================== c New solution: 1386 c Elapsed CPU time: 142.108 s Remaining CPU time: 37.8916 s c =============================================================================== c | 244 | 600 1750 577300 | 5000 244 138 | 0.000 % | c =============================================================================== c New solution: 1385 c Elapsed CPU time: 142.32 s Remaining CPU time: 37.6796 s c =============================================================================== c | 244 | 600 1751 577800 | 5000 244 138 | 0.000 % | c =============================================================================== c New solution: 1384 c Elapsed CPU time: 142.533 s Remaining CPU time: 37.4667 s c =============================================================================== c | 246 | 600 1752 578300 | 5000 246 137 | 0.000 % | c =============================================================================== c New solution: 1383 c Elapsed CPU time: 142.766 s Remaining CPU time: 37.2337 s c =============================================================================== c | 247 | 600 1753 578800 | 5000 247 137 | 0.000 % | c =============================================================================== c New solution: 1382 c Elapsed CPU time: 142.981 s Remaining CPU time: 37.0187 s c =============================================================================== c | 247 | 600 1754 579300 | 5000 247 137 | 0.000 % | c =============================================================================== c New solution: 1381 c Elapsed CPU time: 143.199 s Remaining CPU time: 36.8008 s c =============================================================================== c | 248 | 600 1755 579800 | 5000 248 136 | 0.000 % | c =============================================================================== c New solution: 1380 c Elapsed CPU time: 143.41 s Remaining CPU time: 36.5898 s c =============================================================================== c | 248 | 600 1756 580300 | 5000 248 136 | 0.000 % | c =============================================================================== c New solution: 1379 c Elapsed CPU time: 143.692 s Remaining CPU time: 36.3078 s c =============================================================================== c | 254 | 600 1757 580800 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1378 c Elapsed CPU time: 143.894 s Remaining CPU time: 36.1059 s c =============================================================================== c | 254 | 600 1758 581300 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1377 c Elapsed CPU time: 144.105 s Remaining CPU time: 35.8949 s c =============================================================================== c | 254 | 600 1759 581800 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1376 c Elapsed CPU time: 144.327 s Remaining CPU time: 35.6729 s c =============================================================================== c | 254 | 600 1760 582300 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1375 c Elapsed CPU time: 144.535 s Remaining CPU time: 35.465 s c =============================================================================== c | 254 | 600 1761 582800 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1374 c Elapsed CPU time: 144.765 s Remaining CPU time: 35.235 s c =============================================================================== c | 254 | 600 1762 583300 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1373 c Elapsed CPU time: 144.989 s Remaining CPU time: 35.011 s c =============================================================================== c | 254 | 600 1763 583800 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1372 c Elapsed CPU time: 145.21 s Remaining CPU time: 34.7901 s c =============================================================================== c | 254 | 600 1764 584300 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1371 c Elapsed CPU time: 145.435 s Remaining CPU time: 34.5651 s c =============================================================================== c | 254 | 600 1765 584800 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1370 c Elapsed CPU time: 145.648 s Remaining CPU time: 34.3521 s c =============================================================================== c | 254 | 600 1766 585300 | 5000 254 138 | 0.000 % | c =============================================================================== c New solution: 1369 c Elapsed CPU time: 145.874 s Remaining CPU time: 34.1262 s c =============================================================================== c | 255 | 600 1767 585800 | 5000 255 137 | 0.000 % | c =============================================================================== c New solution: 1368 c Elapsed CPU time: 146.076 s Remaining CPU time: 33.9242 s c =============================================================================== c | 255 | 600 1768 586300 | 5000 255 137 | 0.000 % | c =============================================================================== c New solution: 1367 c Elapsed CPU time: 146.282 s Remaining CPU time: 33.7182 s c =============================================================================== c | 255 | 600 1769 586800 | 5000 255 137 | 0.000 % | c =============================================================================== c New solution: 1366 c Elapsed CPU time: 146.492 s Remaining CPU time: 33.5083 s c =============================================================================== c | 255 | 600 1770 587300 | 5000 255 137 | 0.000 % | c =============================================================================== c New solution: 1365 c Elapsed CPU time: 146.739 s Remaining CPU time: 33.2613 s c =============================================================================== c | 259 | 600 1771 587800 | 5000 259 136 | 0.000 % | c =============================================================================== c New solution: 1364 c Elapsed CPU time: 146.954 s Remaining CPU time: 33.0463 s c =============================================================================== c | 264 | 600 1772 588300 | 5000 264 134 | 0.000 % | c =============================================================================== c New solution: 1363 c Elapsed CPU time: 147.171 s Remaining CPU time: 32.8294 s c =============================================================================== c | 267 | 600 1773 588800 | 5000 267 136 | 0.000 % | c =============================================================================== c New solution: 1362 c Elapsed CPU time: 147.389 s Remaining CPU time: 32.6114 s c =============================================================================== c | 274 | 600 1774 589300 | 5000 274 133 | 0.000 % | c =============================================================================== c New solution: 1361 c Elapsed CPU time: 147.668 s Remaining CPU time: 32.3324 s c =============================================================================== c | 280 | 600 1775 589800 | 5000 280 136 | 0.000 % | c =============================================================================== c New solution: 1360 c Elapsed CPU time: 147.899 s Remaining CPU time: 32.1015 s c =============================================================================== c | 280 | 600 1776 590300 | 5000 280 136 | 0.000 % | c =============================================================================== c New solution: 1359 c Elapsed CPU time: 148.127 s Remaining CPU time: 31.8725 s c =============================================================================== c | 282 | 600 1777 590800 | 5000 282 136 | 0.000 % | c =============================================================================== c New solution: 1358 c Elapsed CPU time: 148.343 s Remaining CPU time: 31.6566 s c =============================================================================== c | 283 | 600 1778 591300 | 5000 283 135 | 0.000 % | c =============================================================================== c New solution: 1357 c Elapsed CPU time: 148.556 s Remaining CPU time: 31.4436 s c =============================================================================== c | 283 | 600 1779 591800 | 5000 283 135 | 0.000 % | c =============================================================================== c New solution: 1356 c Elapsed CPU time: 148.8 s Remaining CPU time: 31.1996 s c =============================================================================== c | 288 | 600 1780 592300 | 5000 288 135 | 0.000 % | c =============================================================================== c New solution: 1355 c Elapsed CPU time: 149.01 s Remaining CPU time: 30.9897 s c =============================================================================== c | 292 | 600 1781 592800 | 5000 292 134 | 0.000 % | c =============================================================================== c New solution: 1354 c Elapsed CPU time: 149.231 s Remaining CPU time: 30.7687 s c =============================================================================== c | 292 | 600 1782 593300 | 5000 292 134 | 0.000 % | c =============================================================================== c New solution: 1353 c Elapsed CPU time: 149.453 s Remaining CPU time: 30.5467 s c =============================================================================== c | 293 | 600 1783 593800 | 5000 293 133 | 0.000 % | c =============================================================================== c New solution: 1352 c Elapsed CPU time: 149.663 s Remaining CPU time: 30.3368 s c =============================================================================== c | 293 | 600 1784 594300 | 5000 293 133 | 0.000 % | c =============================================================================== c New solution: 1351 c Elapsed CPU time: 149.879 s Remaining CPU time: 30.1208 s c =============================================================================== c | 293 | 600 1785 594800 | 5000 293 133 | 0.000 % | c =============================================================================== c New solution: 1350 c Elapsed CPU time: 150.089 s Remaining CPU time: 29.9108 s c =============================================================================== c | 293 | 600 1786 595300 | 5000 293 133 | 0.000 % | c =============================================================================== c New solution: 1349 c Elapsed CPU time: 150.309 s Remaining CPU time: 29.6909 s c =============================================================================== c | 293 | 600 1787 595800 | 5000 293 133 | 0.000 % | c =============================================================================== c New solution: 1348 c Elapsed CPU time: 150.536 s Remaining CPU time: 29.4639 s c =============================================================================== c | 294 | 600 1788 596300 | 5000 294 134 | 0.000 % | c =============================================================================== c New solution: 1347 c Elapsed CPU time: 150.754 s Remaining CPU time: 29.2459 s c =============================================================================== c | 294 | 600 1789 596800 | 5000 294 134 | 0.000 % | c =============================================================================== c New solution: 1346 c Elapsed CPU time: 150.971 s Remaining CPU time: 29.029 s c =============================================================================== c | 295 | 600 1790 597300 | 5000 295 133 | 0.000 % | c =============================================================================== c New solution: 1345 c Elapsed CPU time: 151.211 s Remaining CPU time: 28.789 s c =============================================================================== c | 297 | 600 1791 597800 | 5000 297 134 | 0.000 % | c =============================================================================== c New solution: 1344 c Elapsed CPU time: 151.421 s Remaining CPU time: 28.579 s c =============================================================================== c | 297 | 600 1792 598300 | 5000 297 134 | 0.000 % | c =============================================================================== c New solution: 1343 c Elapsed CPU time: 151.645 s Remaining CPU time: 28.3551 s c =============================================================================== c | 297 | 600 1793 598800 | 5000 297 134 | 0.000 % | c =============================================================================== c New solution: 1342 c Elapsed CPU time: 151.869 s Remaining CPU time: 28.1311 s c =============================================================================== c | 297 | 600 1794 599300 | 5000 297 134 | 0.000 % | c =============================================================================== c New solution: 1341 c Elapsed CPU time: 152.082 s Remaining CPU time: 27.9181 s c =============================================================================== c | 297 | 600 1795 599800 | 5000 297 134 | 0.000 % | c =============================================================================== c New solution: 1340 c Elapsed CPU time: 152.3 s Remaining CPU time: 27.7002 s c =============================================================================== c | 297 | 600 1796 600300 | 5000 297 134 | 0.000 % | c =============================================================================== c New solution: 1339 c Elapsed CPU time: 152.511 s Remaining CPU time: 27.4892 s c =============================================================================== c | 297 | 600 1797 600800 | 5000 297 134 | 0.000 % | c =============================================================================== c New solution: 1338 c Elapsed CPU time: 152.738 s Remaining CPU time: 27.2622 s c =============================================================================== c | 301 | 600 1798 601300 | 5000 301 133 | 0.000 % | c =============================================================================== c New solution: 1337 c Elapsed CPU time: 152.951 s Remaining CPU time: 27.0493 s c =============================================================================== c | 301 | 600 1799 601800 | 5000 301 133 | 0.000 % | c =============================================================================== c New solution: 1336 c Elapsed CPU time: 153.184 s Remaining CPU time: 26.8163 s c =============================================================================== c | 301 | 600 1800 602300 | 5000 301 133 | 0.000 % | c =============================================================================== c New solution: 1335 c Elapsed CPU time: 153.404 s Remaining CPU time: 26.5963 s c =============================================================================== c | 301 | 600 1801 602800 | 5000 301 133 | 0.000 % | c =============================================================================== c New solution: 1334 c Elapsed CPU time: 153.619 s Remaining CPU time: 26.3814 s c =============================================================================== c | 301 | 600 1802 603300 | 5000 301 133 | 0.000 % | c =============================================================================== c New solution: 1333 c Elapsed CPU time: 153.825 s Remaining CPU time: 26.1754 s c =============================================================================== c | 301 | 600 1803 603800 | 5000 301 133 | 0.000 % | c =============================================================================== c New solution: 1332 c Elapsed CPU time: 154.048 s Remaining CPU time: 25.9524 s c =============================================================================== c | 301 | 600 1804 604300 | 5000 301 133 | 0.000 % | c =============================================================================== c New solution: 1331 c Elapsed CPU time: 154.272 s Remaining CPU time: 25.7285 s c =============================================================================== c | 301 | 600 1805 604800 | 5000 301 133 | 0.000 % | c =============================================================================== c New solution: 1330 c Elapsed CPU time: 154.496 s Remaining CPU time: 25.5045 s c =============================================================================== c | 301 | 600 1806 605300 | 5000 301 133 | 0.000 % | c =============================================================================== c New solution: 1329 c Elapsed CPU time: 154.772 s Remaining CPU time: 25.2275 s c =============================================================================== c | 308 | 600 1807 605800 | 5000 308 136 | 0.000 % | c =============================================================================== c New solution: 1328 c Elapsed CPU time: 154.998 s Remaining CPU time: 25.0016 s c =============================================================================== c | 309 | 600 1808 606300 | 5000 309 135 | 0.000 % | c =============================================================================== c New solution: 1327 c Elapsed CPU time: 155.204 s Remaining CPU time: 24.7956 s c =============================================================================== c | 309 | 600 1809 606800 | 5000 309 135 | 0.000 % | c =============================================================================== c New solution: 1326 c Elapsed CPU time: 155.427 s Remaining CPU time: 24.5726 s c =============================================================================== c | 309 | 600 1810 607300 | 5000 309 135 | 0.000 % | c =============================================================================== c New solution: 1325 c Elapsed CPU time: 155.653 s Remaining CPU time: 24.3467 s c =============================================================================== c | 309 | 600 1811 607800 | 5000 309 135 | 0.000 % | c =============================================================================== c New solution: 1324 c Elapsed CPU time: 155.928 s Remaining CPU time: 24.0717 s c =============================================================================== c | 314 | 600 1812 608300 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1323 c Elapsed CPU time: 156.139 s Remaining CPU time: 23.8607 s c =============================================================================== c | 314 | 600 1813 608800 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1322 c Elapsed CPU time: 156.362 s Remaining CPU time: 23.6378 s c =============================================================================== c | 314 | 600 1814 609300 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1321 c Elapsed CPU time: 156.572 s Remaining CPU time: 23.4278 s c =============================================================================== c | 314 | 600 1815 609800 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1320 c Elapsed CPU time: 156.796 s Remaining CPU time: 23.2038 s c =============================================================================== c | 314 | 600 1816 610300 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1319 c Elapsed CPU time: 157.019 s Remaining CPU time: 22.9809 s c =============================================================================== c | 314 | 600 1817 610800 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1318 c Elapsed CPU time: 157.236 s Remaining CPU time: 22.7639 s c =============================================================================== c | 314 | 600 1818 611300 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1317 c Elapsed CPU time: 157.464 s Remaining CPU time: 22.5359 s c =============================================================================== c | 314 | 600 1819 611800 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1316 c Elapsed CPU time: 157.689 s Remaining CPU time: 22.311 s c =============================================================================== c | 314 | 600 1820 612300 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1315 c Elapsed CPU time: 157.92 s Remaining CPU time: 22.08 s c =============================================================================== c | 314 | 600 1821 612800 | 5000 314 136 | 0.000 % | c =============================================================================== c New solution: 1314 c Elapsed CPU time: 158.173 s Remaining CPU time: 21.827 s c =============================================================================== c | 315 | 600 1822 613300 | 5000 315 136 | 0.000 % | c =============================================================================== c New solution: 1313 c Elapsed CPU time: 158.397 s Remaining CPU time: 21.6031 s c =============================================================================== c | 315 | 600 1823 613800 | 5000 315 136 | 0.000 % | c =============================================================================== c New solution: 1312 c Elapsed CPU time: 158.974 s Remaining CPU time: 21.0262 s c =============================================================================== c | 361 | 600 1824 614300 | 5000 361 147 | 0.000 % | c =============================================================================== c New solution: 1311 c Elapsed CPU time: 159.197 s Remaining CPU time: 20.8032 s c =============================================================================== c | 367 | 600 1825 614800 | 5000 367 145 | 0.000 % | c =============================================================================== c New solution: 1310 c Elapsed CPU time: 159.422 s Remaining CPU time: 20.5782 s c =============================================================================== c | 367 | 600 1826 615300 | 5000 367 145 | 0.000 % | c =============================================================================== c New solution: 1309 c Elapsed CPU time: 159.655 s Remaining CPU time: 20.3453 s c =============================================================================== c | 368 | 600 1827 615800 | 5000 368 145 | 0.000 % | c =============================================================================== c New solution: 1308 c Elapsed CPU time: 159.922 s Remaining CPU time: 20.0783 s c =============================================================================== c | 378 | 600 1828 616300 | 5000 378 145 | 0.000 % | c =============================================================================== c New solution: 1307 c Elapsed CPU time: 160.148 s Remaining CPU time: 19.8523 s c =============================================================================== c | 380 | 600 1829 616800 | 5000 380 144 | 0.000 % | c =============================================================================== c New solution: 1306 c Elapsed CPU time: 160.371 s Remaining CPU time: 19.6294 s c =============================================================================== c | 380 | 600 1830 617300 | 5000 380 144 | 0.000 % | c =============================================================================== c New solution: 1305 c Elapsed CPU time: 160.595 s Remaining CPU time: 19.4054 s c =============================================================================== c | 380 | 600 1831 617800 | 5000 380 144 | 0.000 % | c =============================================================================== c New solution: 1304 c Elapsed CPU time: 160.845 s Remaining CPU time: 19.1555 s c =============================================================================== c | 385 | 600 1832 618300 | 5000 385 146 | 0.000 % | c =============================================================================== c New solution: 1303 c Elapsed CPU time: 161.073 s Remaining CPU time: 18.9275 s c =============================================================================== c | 385 | 600 1833 618800 | 5000 385 146 | 0.000 % | c =============================================================================== c New solution: 1302 c Elapsed CPU time: 161.319 s Remaining CPU time: 18.6805 s c =============================================================================== c | 386 | 600 1834 619300 | 5000 386 146 | 0.000 % | c =============================================================================== c New solution: 1301 c Elapsed CPU time: 161.565 s Remaining CPU time: 18.4346 s c =============================================================================== c | 387 | 600 1835 619800 | 5000 387 146 | 0.000 % | c =============================================================================== c New solution: 1300 c Elapsed CPU time: 161.799 s Remaining CPU time: 18.2006 s c =============================================================================== c | 387 | 600 1836 620300 | 5000 387 146 | 0.000 % | c =============================================================================== c New solution: 1299 c Elapsed CPU time: 162.041 s Remaining CPU time: 17.9586 s c =============================================================================== c | 389 | 600 1837 620800 | 5000 389 146 | 0.000 % | c =============================================================================== c New solution: 1298 c Elapsed CPU time: 162.272 s Remaining CPU time: 17.7277 s c =============================================================================== c | 389 | 600 1838 621300 | 5000 389 146 | 0.000 % | c =============================================================================== c New solution: 1297 c Elapsed CPU time: 162.522 s Remaining CPU time: 17.4777 s c =============================================================================== c | 389 | 600 1839 621800 | 5000 389 146 | 0.000 % | c =============================================================================== c New solution: 1296 c Elapsed CPU time: 162.753 s Remaining CPU time: 17.2467 s c =============================================================================== c | 391 | 600 1840 622300 | 5000 391 145 | 0.000 % | c =============================================================================== c New solution: 1295 c Elapsed CPU time: 162.978 s Remaining CPU time: 17.0218 s c =============================================================================== c | 391 | 600 1841 622800 | 5000 391 145 | 0.000 % | c =============================================================================== c New solution: 1294 c Elapsed CPU time: 163.187 s Remaining CPU time: 16.8128 s c =============================================================================== c | 392 | 600 1842 623300 | 5000 392 145 | 0.000 % | c =============================================================================== c New solution: 1293 c Elapsed CPU time: 163.415 s Remaining CPU time: 16.5848 s c =============================================================================== c | 393 | 600 1843 623800 | 5000 393 144 | 0.000 % | c =============================================================================== c New solution: 1292 c Elapsed CPU time: 163.648 s Remaining CPU time: 16.3519 s c =============================================================================== c | 397 | 600 1844 624300 | 5000 397 143 | 0.000 % | c =============================================================================== c New solution: 1291 c Elapsed CPU time: 163.953 s Remaining CPU time: 16.0469 s c =============================================================================== c | 405 | 600 1845 624800 | 5000 405 144 | 0.000 % | c =============================================================================== c New solution: 1290 c Elapsed CPU time: 164.251 s Remaining CPU time: 15.749 s c =============================================================================== c | 414 | 600 1846 625300 | 5000 414 147 | 0.000 % | c =============================================================================== c New solution: 1289 c Elapsed CPU time: 164.487 s Remaining CPU time: 15.513 s c =============================================================================== c | 417 | 600 1847 625800 | 5000 417 146 | 0.000 % | c =============================================================================== c New solution: 1288 c Elapsed CPU time: 164.729 s Remaining CPU time: 15.271 s c =============================================================================== c | 419 | 600 1848 626300 | 5000 419 146 | 0.000 % | c =============================================================================== c New solution: 1287 c Elapsed CPU time: 164.974 s Remaining CPU time: 15.0261 s c =============================================================================== c | 420 | 600 1849 626800 | 5000 420 146 | 0.000 % | c =============================================================================== c New solution: 1286 c Elapsed CPU time: 165.203 s Remaining CPU time: 14.7971 s c =============================================================================== c | 427 | 600 1850 627300 | 5000 427 144 | 0.000 % | c =============================================================================== c New solution: 1285 c Elapsed CPU time: 165.438 s Remaining CPU time: 14.5622 s c =============================================================================== c | 432 | 600 1851 627800 | 5000 432 143 | 0.000 % | c =============================================================================== c New solution: 1284 c Elapsed CPU time: 165.765 s Remaining CPU time: 14.2352 s c =============================================================================== c | 444 | 600 1852 628300 | 5000 444 146 | 0.000 % | c =============================================================================== c New solution: 1283 c Elapsed CPU time: 165.995 s Remaining CPU time: 14.0052 s c =============================================================================== c | 446 | 600 1853 628800 | 5000 446 146 | 0.000 % | c =============================================================================== c New solution: 1282 c Elapsed CPU time: 166.241 s Remaining CPU time: 13.7593 s c =============================================================================== c | 447 | 600 1854 629300 | 5000 447 146 | 0.000 % | c =============================================================================== c New solution: 1281 c Elapsed CPU time: 166.523 s Remaining CPU time: 13.4773 s c =============================================================================== c | 450 | 600 1855 629800 | 5000 450 146 | 0.000 % | c =============================================================================== c New solution: 1280 c Elapsed CPU time: 166.904 s Remaining CPU time: 13.0964 s c =============================================================================== c | 470 | 600 1856 630300 | 5000 470 150 | 0.000 % | c =============================================================================== c New solution: 1279 c Elapsed CPU time: 167.174 s Remaining CPU time: 12.8264 s c =============================================================================== c | 471 | 600 1857 630800 | 5000 471 151 | 0.000 % | c =============================================================================== c New solution: 1278 c Elapsed CPU time: 167.512 s Remaining CPU time: 12.4885 s c =============================================================================== c | 482 | 600 1858 631300 | 5000 482 152 | 0.000 % | c =============================================================================== c New solution: 1277 c Elapsed CPU time: 167.751 s Remaining CPU time: 12.2485 s c =============================================================================== c | 483 | 600 1859 631800 | 5000 483 151 | 0.000 % | c =============================================================================== c New solution: 1276 c Elapsed CPU time: 167.988 s Remaining CPU time: 12.0115 s c =============================================================================== c | 513 | 600 1860 632300 | 5000 513 145 | 0.000 % | c =============================================================================== c New solution: 1275 c Elapsed CPU time: 168.46 s Remaining CPU time: 11.5396 s c =============================================================================== c | 534 | 600 1861 632800 | 5000 534 149 | 0.000 % | c =============================================================================== c New solution: 1274 c Elapsed CPU time: 168.813 s Remaining CPU time: 11.1867 s c =============================================================================== c | 551 | 600 1862 633300 | 5000 551 146 | 0.000 % | c =============================================================================== c New solution: 1273 c Elapsed CPU time: 169.063 s Remaining CPU time: 10.9367 s c =============================================================================== c | 554 | 600 1863 633800 | 5000 554 147 | 0.000 % | c =============================================================================== c New solution: 1272 c Elapsed CPU time: 169.334 s Remaining CPU time: 10.6657 s c =============================================================================== c | 557 | 600 1864 634300 | 5000 557 147 | 0.000 % | c =============================================================================== c New solution: 1271 c Elapsed CPU time: 169.582 s Remaining CPU time: 10.4178 s c =============================================================================== c | 559 | 600 1865 634800 | 5000 559 147 | 0.000 % | c =============================================================================== c New solution: 1270 c Elapsed CPU time: 169.789 s Remaining CPU time: 10.2108 s c =============================================================================== c | 559 | 600 1866 635300 | 5000 559 147 | 0.000 % | c =============================================================================== c New solution: 1269 c Elapsed CPU time: 170.031 s Remaining CPU time: 9.96885 s c =============================================================================== c | 560 | 600 1867 635800 | 5000 560 148 | 0.000 % | c =============================================================================== c New solution: 1268 c Elapsed CPU time: 170.245 s Remaining CPU time: 9.75488 s c =============================================================================== c | 560 | 600 1868 636300 | 5000 560 148 | 0.000 % | c =============================================================================== c New solution: 1267 c Elapsed CPU time: 170.459 s Remaining CPU time: 9.54091 s c =============================================================================== c | 561 | 600 1869 636800 | 5000 561 147 | 0.000 % | c =============================================================================== c New solution: 1266 c Elapsed CPU time: 170.673 s Remaining CPU time: 9.32695 s c =============================================================================== c | 567 | 600 1870 637300 | 5000 567 146 | 0.000 % | c =============================================================================== c New solution: 1265 c Elapsed CPU time: 170.88 s Remaining CPU time: 9.11998 s c =============================================================================== c | 571 | 600 1871 637800 | 5000 571 146 | 0.000 % | c =============================================================================== c New solution: 1264 c Elapsed CPU time: 171.086 s Remaining CPU time: 8.91401 s c =============================================================================== c | 572 | 600 1872 638300 | 5000 572 146 | 0.000 % | c =============================================================================== c New solution: 1263 c Elapsed CPU time: 171.318 s Remaining CPU time: 8.68204 s c =============================================================================== c | 573 | 600 1873 638800 | 5000 573 146 | 0.000 % | c =============================================================================== c New solution: 1262 c Elapsed CPU time: 171.527 s Remaining CPU time: 8.47308 s c =============================================================================== c | 574 | 600 1874 639300 | 5000 574 146 | 0.000 % | c =============================================================================== c New solution: 1261 c Elapsed CPU time: 171.754 s Remaining CPU time: 8.24611 s c =============================================================================== c | 574 | 600 1875 639800 | 5000 574 146 | 0.000 % | c =============================================================================== c New solution: 1260 c Elapsed CPU time: 171.964 s Remaining CPU time: 8.03614 s c =============================================================================== c | 575 | 600 1876 640300 | 5000 575 146 | 0.000 % | c =============================================================================== c New solution: 1259 c Elapsed CPU time: 172.176 s Remaining CPU time: 7.82417 s c =============================================================================== c | 575 | 600 1877 640800 | 5000 575 146 | 0.000 % | c =============================================================================== c New solution: 1258 c Elapsed CPU time: 172.401 s Remaining CPU time: 7.59921 s c =============================================================================== c | 575 | 600 1878 641300 | 5000 575 146 | 0.000 % | c =============================================================================== c New solution: 1257 c Elapsed CPU time: 172.655 s Remaining CPU time: 7.34525 s c =============================================================================== c | 578 | 600 1879 641800 | 5000 578 147 | 0.000 % | c =============================================================================== c New solution: 1256 c Elapsed CPU time: 172.866 s Remaining CPU time: 7.13428 s c =============================================================================== c | 579 | 600 1880 642300 | 5000 579 147 | 0.000 % | c =============================================================================== c New solution: 1255 c Elapsed CPU time: 173.08 s Remaining CPU time: 6.92031 s c =============================================================================== c | 579 | 600 1881 642800 | 5000 579 147 | 0.000 % | c =============================================================================== c New solution: 1254 c Elapsed CPU time: 173.319 s Remaining CPU time: 6.68135 s c =============================================================================== c | 580 | 600 1882 643300 | 5000 580 147 | 0.000 % | c =============================================================================== c New solution: 1253 c Elapsed CPU time: 173.542 s Remaining CPU time: 6.45838 s c =============================================================================== c | 581 | 600 1883 643800 | 5000 581 146 | 0.000 % | c =============================================================================== c New solution: 1252 c Elapsed CPU time: 173.745 s Remaining CPU time: 6.25541 s c =============================================================================== c | 583 | 600 1884 644300 | 5000 583 146 | 0.000 % | c =============================================================================== c New solution: 1251 c Elapsed CPU time: 173.969 s Remaining CPU time: 6.03145 s c =============================================================================== c | 584 | 600 1885 644800 | 5000 584 146 | 0.000 % | c =============================================================================== c New solution: 1250 c Elapsed CPU time: 174.199 s Remaining CPU time: 5.80148 s c =============================================================================== c | 588 | 600 1886 645300 | 5000 588 145 | 0.000 % | c =============================================================================== c New solution: 1249 c Elapsed CPU time: 174.735 s Remaining CPU time: 5.26456 s c =============================================================================== c | 616 | 600 1887 645800 | 5000 616 148 | 0.000 % | c =============================================================================== c New solution: 1248 c Elapsed CPU time: 174.975 s Remaining CPU time: 5.0246 s c =============================================================================== c | 617 | 600 1888 646300 | 5000 617 149 | 0.000 % | c =============================================================================== c New solution: 1247 c Elapsed CPU time: 175.341 s Remaining CPU time: 4.65866 s c =============================================================================== c | 626 | 600 1889 646800 | 5000 626 149 | 0.000 % | c =============================================================================== c New solution: 1246 c Elapsed CPU time: 175.616 s Remaining CPU time: 4.3837 s c =============================================================================== c | 631 | 600 1890 647300 | 5000 631 150 | 0.000 % | c =============================================================================== c New solution: 1245 c Elapsed CPU time: 175.882 s Remaining CPU time: 4.11774 s c =============================================================================== c | 636 | 600 1891 647800 | 5000 636 149 | 0.000 % | c =============================================================================== c New solution: 1244 c Elapsed CPU time: 176.109 s Remaining CPU time: 3.89077 s c =============================================================================== c | 638 | 600 1892 648300 | 5000 638 149 | 0.000 % | c =============================================================================== c New solution: 1243 c Elapsed CPU time: 176.377 s Remaining CPU time: 3.62281 s c =============================================================================== c | 644 | 600 1893 648800 | 5000 644 149 | 0.000 % | c =============================================================================== c New solution: 1242 c Elapsed CPU time: 176.625 s Remaining CPU time: 3.37485 s c =============================================================================== c | 650 | 600 1894 649300 | 5000 650 148 | 0.000 % | c =============================================================================== c New solution: 1241 c Elapsed CPU time: 176.834 s Remaining CPU time: 3.16588 s c =============================================================================== c | 650 | 600 1895 649800 | 5000 650 148 | 0.000 % | c =============================================================================== c New solution: 1240 c Elapsed CPU time: 177.044 s Remaining CPU time: 2.95592 s c =============================================================================== c | 650 | 600 1896 650300 | 5000 650 148 | 0.000 % | c =============================================================================== c New solution: 1239 c Elapsed CPU time: 177.264 s Remaining CPU time: 2.73595 s c =============================================================================== c | 650 | 600 1897 650800 | 5000 650 148 | 0.000 % | c =============================================================================== c New solution: 1238 c Elapsed CPU time: 177.674 s Remaining CPU time: 2.32601 s c =============================================================================== c | 662 | 600 1898 651300 | 5000 662 150 | 0.000 % | c =============================================================================== c New solution: 1237 c Elapsed CPU time: 177.901 s Remaining CPU time: 2.09905 s c =============================================================================== c | 663 | 600 1899 651800 | 5000 663 150 | 0.000 % | c =============================================================================== c New solution: 1236 c Elapsed CPU time: 178.153 s Remaining CPU time: 1.84708 s c =============================================================================== c | 669 | 600 1900 652300 | 5000 669 149 | 0.000 % | c =============================================================================== c New solution: 1235 c Elapsed CPU time: 178.478 s Remaining CPU time: 1.52213 s c =============================================================================== c | 686 | 600 1901 652800 | 5000 686 150 | 0.000 % | c =============================================================================== c New solution: 1234 c Elapsed CPU time: 178.684 s Remaining CPU time: 1.31617 s c =============================================================================== c | 712 | 600 1902 653300 | 5000 712 146 | 0.000 % | c =============================================================================== c New solution: 1233 c Elapsed CPU time: 179.082 s Remaining CPU time: 0.918225 s c =============================================================================== c | 735 | 600 1903 653800 | 5000 735 148 | 0.000 % | c =============================================================================== c New solution: 1232 c Elapsed CPU time: 179.277 s Remaining CPU time: 0.723255 s c =============================================================================== c | 747 | 600 1904 654300 | 5000 747 146 | 0.000 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 100 2410 2315 | 5000 0 nan | 0.000 % | c | 100 | 100 2410 2315 | 5500 100 36 | 83.334 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 463 2692 2719 | 5000 0 nan | 0.000 % | c | 101 | 463 2692 2719 | 5500 101 37 | 49.783 % | c | 251 | 462 2692 2719 | 6050 149 27 | 49.892 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 871 3011 3230 | 5000 0 nan | 0.000 % | c | 100 | 871 3011 3230 | 5500 100 47 | 32.741 % | c | 250 | 868 3011 3230 | 6050 170 38 | 32.973 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1255 3304 3771 | 5000 0 nan | 0.000 % | c | 100 | 1255 3304 3771 | 5500 100 31 | 23.662 % | c | 250 | 1254 3304 3771 | 6050 114 27 | 23.723 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1682 3589 4522 | 5000 0 nan | 0.000 % | c | 100 | 1682 3589 4522 | 5500 100 40 | 16.897 % | c | 251 | 1682 3589 4522 | 6050 251 36 | 16.897 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2146 3834 5493 | 5000 0 nan | 0.000 % | c | 102 | 2146 3834 5493 | 5500 102 58 | 11.651 % | c | 253 | 2146 3834 5493 | 6050 253 44 | 11.651 % | c | 479 | 2146 3834 5493 | 6655 479 41 | 11.651 % | c | 817 | 2145 3834 5493 | 7320 452 33 | 11.692 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2866 4059 7101 | 5000 0 nan | 0.000 % | c | 100 | 2866 4059 7101 | 5500 100 39 | 7.399 % | c | 250 | 2866 4059 7101 | 6050 250 25 | 7.399 % | c | 475 | 2866 4059 7101 | 6655 475 24 | 7.399 % | c | 813 | 2866 4059 7101 | 7320 813 28 | 7.399 % | c | 1319 | 2866 4059 7101 | 8052 1319 35 | 7.399 % | c | 2081 | 2866 4059 7101 | 8857 2081 42 | 7.399 % | c | 3220 | 2865 4059 7101 | 9743 2352 42 | 7.431 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3862 4249 9207 | 5000 0 nan | 0.000 % | c | 101 | 3862 4249 9207 | 5500 101 47 | 4.689 % | c | 251 | 3862 4249 9207 | 6050 251 40 | 4.689 % | c | 477 | 3862 4249 9207 | 6655 477 34 | 4.689 % | c | 817 | 3862 4249 9207 | 7320 817 30 | 4.689 % | c | 1325 | 3862 4249 9207 | 8052 1325 29 | 4.689 % | c | 2085 | 3862 4249 9207 | 8857 2085 30 | 4.689 % | c | 3224 | 3862 4249 9207 | 9743 3224 47 | 4.705 % | c | 4934 | 3862 4249 9207 | 10717 4934 50 | 4.689 % | c | 7496 | 3862 4249 9207 | 11789 7496 58 | 4.689 % | c | 11340 | 3862 4249 9207 | 12968 11340 62 | 4.689 % | c | 17107 | 3860 4249 9207 | 14265 6139 36 | 4.738 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5131 4393 103156 | 5000 0 nan | 0.000 % | c | 101 | 5131 4393 103156 | 5500 101 32 | 2.693 % | c | 251 | 5131 4393 103156 | 6050 251 20 | 2.693 % | c | 476 | 5131 4393 103156 | 6655 476 23 | 2.693 % | c | 813 | 5131 4393 103156 | 7320 813 19 | 2.693 % | c | 1319 | 5131 4393 103156 | 8052 1319 27 | 2.697 % | c | 2078 | 5131 4393 103156 | 8857 2078 27 | 2.693 % | c | 3217 | 5130 4393 103156 | 9743 2752 31 | 2.712 % | c | 4926 | 5129 4393 103156 | 10717 3488 29 | 2.731 % | c | 7488 | 5129 4393 103156 | 11789 6050 68 | 2.731 % | c | 11333 | 5129 4393 103156 | 12968 9895 59 | 2.731 % | c | 17100 | 5128 4393 103156 | 14265 8447 42 | 2.750 % | c | 25749 | 5127 4393 103156 | 15692 9350 52 | 2.769 % | c | 38725 | 5127 4393 103156 | 17261 14367 42 | 2.769 % | c | 58186 | 5127 4393 103156 | 18987 16359 43 | 2.769 % | c | 87379 | 5126 4393 103156 | 20886 18682 40 | 2.788 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6730 4491 282826 | 5000 0 nan | 0.000 % | c | 100 | 6730 4491 282826 | 5500 100 32 | 1.421 % | c | 251 | 6730 4491 282826 | 6050 251 19 | 1.421 % | c | 477 | 6730 4491 282826 | 6655 477 24 | 1.421 % | c | 815 | 6730 4491 282826 | 7320 815 20 | 1.421 % | c | 1322 | 6730 4491 282826 | 8052 1322 29 | 1.421 % | c | 2081 | 6730 4491 282826 | 8857 2081 25 | 1.421 % | c | 3221 | 6730 4491 282826 | 9743 3221 44 | 1.421 % | c | 4930 | 6730 4491 282826 | 10717 4930 64 | 1.421 % | c | 7492 | 6730 4491 282826 | 11789 7492 70 | 1.421 % | c | 11336 | 6730 4491 282826 | 12968 11336 86 | 1.421 % | c | 17102 | 6730 4491 282826 | 14265 10398 57 | 1.421 % | c | 25752 | 6730 4491 282826 | 15692 10723 90 | 1.421 % | c | 38726 | 6730 4491 282826 | 17261 15054 186 | 1.421 % | c | 58188 | 6730 4491 282826 | 18987 15426 174 | 1.421 % | c | 87380 | 6730 4491 282826 | 20886 15415 61 | 1.421 % | c | 131169 | 6730 4491 282826 | 22974 14151 125 | 1.422 % | c | 196854 | 6730 4491 282826 | 25272 20762 69 | 1.421 % | c Memory used : 241.34 MB c CPU time : 1800 s c c Total CPU time: 1800 s